思维缺欠型差生的特点及教学初探

对思维缺欠型差生的特点作了初步探讨,提出了相应的转化思路。     

扩展C／S模式的分布式应用软件安全控制系统

结合三层Client／Server应用软件安全控制系统模型，提出扩展形式的基于Client／Server的应用软件安全控制系统模型，增加了应用接口层和数据接口层，屏蔽了原模型各层间的模糊界限，使得各逻辑层的变动不再影响其它层，这有利于体系结构的建模与系统的一致性实现，进一步增强了分布式应用的伸缩性和灵活性。然后按四层Client／Setver模式设计出该安全控制系统的框架。最后利用本系统的扩充Web服务器实现了Web上的安全验证。     

基于构件的外部程序管理器的设计与实现

EPM(External Program Manager)通过封装复杂的程序逻辑，实现了一个界面简洁的构件化系统，它可以方便地集成到应用程序中，从而简化了应用程序调用其它程序的复杂性．文章主要介绍EPM的系统结构与实现方法．     

基于三层Client／Server模式的构件服务模型设计

针对基于构件的软件开发如何与面向对象方法有效结合,设计并实现高度灵活、可复用的构件式应用程序,从而实现软件分析、设计与实现的连续性与一致性问题,提出了基于三层Client/Server模式的构件服务模型,研究了从OOA＆OOD模型建立应用程序的构件服务模型的方法,同时给出了形式化的构件服务模型描述,这不仅为构件服务模型的形式化验证方法提供了新的研究思路,也为基于构件的软件开发提供了基础。文中的方法已成功用于实际的项目开发中,且取得了较好效果。     

Banach空间中积分-微分方程的周期边值问题

考虑Banach空间中非线性积分-微分方程的周期边值问题u ′=f(t,u,Tu),u(0)=u(2π) ∈E。其中Tu=∫0t h(t,s)u(s)ds, h > 0,f∈C[J×E×E,E].利用抽象锥、推广了的比较定理和定义域与值域不同的非线性算子的不动点定理,构造出两个单调迭代序列,证明了Banach空间中非线性积分-徽分方程具有周期边值的最小值、最大解存在定理。     

Banach空间中非线性积分-微分方程的正解

利用正锥的概念及近似方法,对抽象空间中的非线性Volterra型积分-微分方程x′=f(t,x,Tx),x(t0)=x0,这里f∈C[J×E×E,E],J=[t0,t0+α],(Tx)(t)＝∫t t0 h(t,s)x(s)ds,h(t,s)∈C[J×J,R+],h0=max t,s∈J h(t,s)进行了讨论,得到了两个比较定理,并以此为工具,给出其正解的存在性,推广了文献[1]中的结果.     

采用C/S和B/W/S模式的分布式应用软件体系结构的设计及应用

在充分结合C／S和B／W／S两种模式的基础上，提出并设计了一个基于构件的分布式应用软件系铁框架模型，同时，讨论了系统功能分解中的分层与分离原则，最后，以作者开发的通用注册系统为应用实例，说明了这种开放式体系结构带来的可扩展性、易适应性等优点。     

莱钢炼钢厂新区2#板坯连铸车间高效工艺改造的研究与应用

本文主要阐述了莱钢炼钢厂为适应后线宽带轧制产能需要,提升设备保障精度,与中冶连铸共同对新区2#板坯连铸车间进行了高效改造的设计和实施,通过对结晶器、二冷系统、振动台等方面的改造和改进,使单机年产量具备了200万吨钢的水平。     

基于遗传算法的广义非线性最小二乘测量平差

为了解决当前“数字地球”、“数字国家”、“数字城市”、“数字矿山”等数字化工程中广泛出现的具有多源、多维、多类型、多精度、动态和非线性等特点的测量数据的误差处理问题,本文采用了一类基于自然界生物进化基本法则而发展起来的新算法——遗传算法,在提出、设计基于遗传算法的广义非线性最小二乘参数平差方法的同时,给出了遗传算子中选择、交叉、变异算子的设计,以及具体的算法步骤。通过实例计算表明,该遗传算法是进行广义非线性最小二乘参数估计的具有全局最优化的有效方法,为广义非线性测量数据处理提供了又一新的思路。     

陇海铁路宝鸡至天水段无线列调系统改建GSM-R通信系统设计方案

根据中国铁路部门相关规定要求及西安铁路局规划需求,结合系统现状和运用情况,拟对陇海铁路宝鸡至天水段既有450M模拟无线列调系统进行GSM-R数字移动通信系统改建。通过方案比选,结合铁路实际现场情况,选择了合理的弱场覆盖方案。在满足系统需求的情况下,优化了GSM-R总体组网方案,提高了系统的可靠性,有效的保障了铁路行车安全,也为其它线路无线列调系统改造提供参考。