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

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

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

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

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万吨钢的水平。     

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

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

综合显示控制系统的设计与实现

针对飞机的综合量示控制系统,为了特大量复杂的数据通过显示嚣呈现给飞行员,采用图形开发软件IData来设计图形显示,实现了座舱信息图形化综合显示控制功能,系统综合化程度高、人机工效良好,通用性强,可兼容多载机平台,符合了座舱显控系统高度综合化的发展趋势.     

采用WOLFE搜索的BFGS—SQP算法

X.Chen给出了一个用于解决LC^1线性约束优化问题的BFGS－SQP算法,这个算法是用Armijo线性搜索原则来求步长的。采用Wolfe线性搜索原则来替代该BFGS－SQP算法的Armijo原则,经过类似的分析,同样得到了BFGS－SQP算法的全局收敛性及超线性收敛性。     

分布式数据库加锁与刷新机制

通过中小型企业商务信息管理网络系统对于数据库管理的通用要求分析以及对相关数据库理论的探讨,提出了一种分布式的数据库加锁与刷新机制.