辽宁要抓住新的机遇期

首先，我向这次会议的召开表示祝贺。据资料显示，去年，辽宁的水泥生产增速排在全国第8位。大家知道，去年全国的散装水泥工作取得了很大成绩，但是，全国的水泥增量出乎人们预料的增长，到“十一五”末水泥生产应达到12．4亿吨，而我们一年就实现了这个目标。同时，我们的散装水泥增量发展得更快。经济学家对水泥生产的超长增量进行了分析，认为水泥生产的年增长率已经超过了10％，原因是多方面的，包括我们国家的房地产发展很快，市场拉动很大等多方面的原因，所以水泥生产呈现了历史上效益最好的时期。     

DCAM平台下的分布式方面构件模型及协同框架的研究*

由于方面化中间件平台DCAM的方面内核实现机制没有提供对分布式环境下方面构件通信的支持,扩展了DCAM中方面内核的方面调用机制,提出了分布式方面构件模型以及分布式环境下方面构件的协同框架。扩展后的DCAM平台不仅保持了原平台对POJO的支持,同时通过对分布式协同框架的引入,使平台在分布式环境下具有更好的可扩展性和容错性,满足了按需计算的需求。最后通过应用实例对DCAM的分布式模型进行了可行性验证并给出了性能分析。     

Simulink模型到Modelica模型转换技术

针对Simulink模型重用到更高阶的Modelica平台上的需求,分析Simulink模型的数学本质和代码表达,以及Modelica对外部函数和外部类的支持,重用Simulink模型转换生成的S function目标C代码,实现Simulink模型到Modelica模型转换.     

基于 Modelica 的半物理仿真代码生成方法研究*

针对当前复杂机电系统的多领域模型不支持半物理仿真或者已有半物理仿真工具无法建立复杂机电系统多领域模型的问题,围绕目标代码生成这一关键技术,提出了两种由M o delica模型生成半物理仿真代码的方法。首先深入研究了Modelica模型直接代码生成技术,并详细描述了其实现过程。其次介绍了基于Simulink的联合建模方法及间接代码生成过程。最后通过示例对两种代码生成方法分别进行了应用验证。     

拟态路由器TCP代理设计实现与形式化验证研究

拟态路由器基于拟态防御的动态异构冗余架构进行设计,对于未知漏洞后门具有良好的防御能力。协议代理在拟态路由器中处于内外联络的枢纽位置,协议代理的安全性和功能正确性对于拟态路由器有着重要意义。本文设计实现了拟态路由器的TCP协议代理,并采用形式化方法,对其安全性和功能正确性进行了验证。TCP协议代理嗅探邻居和主执行体之间的TCP报文,模拟邻居和从执行体建立TCP连接,并向上层应用层协议代理提供程序接口。基于分离逻辑与组合思想,采用Verifast定理证明器,对TCP协议代理的低级属性,包括指针安全使用、无内存泄露、无死代码等,进行了验证;同时,还对TCP协议代理的各主要功能模块的部分高级属性进行了形式化验证。搭建了包含3个执行体的拟态路由器实验环境,对实现结果进行了实际测试,结果表明所实现的TCP代理实现了预期功能。TCP协议代理实现总计1611行C代码,其中形式化验证所需人工引导定理检查器书写的证明共计588行。实际开发过程中,书写代码实现与书写人工证明所需的时间约为1:1。本文对TCP协议代理的实现与形式化验证工作证明了将形式化验证引入拟态路由器的关键组件开发中是确实可行的,且证明代价可以接受。     

一种综合的概念语义相似度计算方法

针对概念语义相似度计算的片面性和不完善性问题,该文提出了一种综合的概念语义相似度计算方法。首先,基于传统的语义距离模型,综合考虑了有向边的类型、深度、密度、方向等因素,计算概念相似度;然后,根据本体的五元组组成元素,分别计算概念相似度;最后,使用sigmoid阈值函数求得各个相似度对应的调节因子值,并进行综合,实现了调节因子与各个相似度的自适应。实验证明,该方法有效且精确。     

基于WEB的原油储运管理决策支持系统的实现

本文通过对当前原油储运现状的分析,介绍了一种运用ＡｃｔｉｖｅＸ控件技术、ＡＳＰ技术和ＡＤＯ技术来开发原油储运管理决策支持系统的新方法,并给出了一个实例。     

基于组件技术的网上购物系统

为了提高软件的可重用性、软件开发的效率、软件系统的可靠性和灵活性,软件开发技术在传统的结构化程序设计和面向对象的程序设计方法的基础上,发展到了基于组件的开发阶段。文中介绍了系统采用的关键技术———组件技术及基于组件的软件开发过程,然后应用组件技术设计了网上购物系统。实践证明基于组件技术的软件设计方法可以缩短软件开发周期,降低开发费用,增强软件的复用能力。基于组件技术设计的网上购物系统具有很好的可靠性、可维护性以及安全性。     

坚硬灰岩顶板薄煤层无煤柱开采技术研究

16煤层开采区段巷道现采用留窄小煤柱形式,煤柱损失大,另掘巷道往往造成采掘接续紧张。锦丘煤矿对16煤层16111工作面皮带运输巷沿空留巷实验工作,创造出了一定的经济和社会效益。     

氟聚物基活性材料释能及毁伤特性研究进展

氟聚物基活性材料是一种具有冲击反应释能特性的新型材料,在军事领域具有广泛的应用前景。为掌握氟聚物基活性材料的释能与毁伤特性,推进其在高效毁伤战斗部中的应用,研究梳理了氟聚物基活性材料冲击释能反应行为以及引燃引爆、侵爆耦合毁伤效应的研究现状,着重介绍了分离式霍普金森压杆实验、准密闭弹道实验和爆炸加载实验等在释能特性方面的研究进展;毁伤特性方面整理了反应弹丸、破片及反应射流的相关研究进展,重点说明了氟聚物基活性材料在聚能装药中的应用设计和反应射流成型的研究成果,及相关的反应模型和数值仿真的研究。在此基础上,讨论了未来研究方向：建立系统性反应模型与仿真方法;通过配方、工艺等参数对其性能进行调控;释能反应观测表征技术的创新与探索以及工程应用设计等。