辽宁要抓住新的机遇期

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

三剪统一屈服准则在柱形孔扩张问题中的应用

基于三剪统一屈服准则,通过用3条折线来描述土体的本构特征,对柱形孔扩张问题进行分析,考虑岩土材料的软化和剪胀特性,推导出柱形孔扩张问题下的应力场、应变场、扩张压力、塑性区半径的解析解。算例表明,临界扩孔压力随土的软化程度的减小而增大,在一定剪胀和软化程度下,临界扩孔压力随b的增大而增大。     

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的原油储运管理决策支持系统的实现

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