基于XML的安全协议形式化描述方法

针对安全协议的设计与分析复杂且容易出错的问题,文章为编写一个自动验证工具提出一种基于XML(eXtensible Markup Language)语言的时间相关安全协议形式化描述方法。该方法将安全协议用树状结构表示,用XML语言进行描述,为简化安全协议的形式化分析提供了帮助。     

发布/订阅机制在协同作战系统中的应用

为了提升现代战场环境中作战系统的作战效能，引入了协同作战的思想。采用发布/订阅机制实现协同作战系统中应用数据的按需分发，并将发布/订阅机制以中间件的方式应用于协同作战系统的设计中，利用发布/订阅中间件所提供的丰富的QoS（Quality of Service）策略满足了系统内多类型数据复杂的分发需求。通过相关的测试，能够满足协同作战系统基本的信息交互需求。     

一种基于语义推理的多智能体协同功能设计框架

在功能设计知识本体表示模型的基础上，提出了一种基于语义推理的多智能体协同功能设计框架。该框架分为两个部分，其中，基于Multi-agent的通信协作平台将OWL本体嵌入到FIPAACL中以实现产品设计Agent之间的设计知识通信；基于本体的功能建模方法则将本体表示与本体推理结合以支持功能设计本体的存储与检索。最后，对该框架所包含的协同功能设计本体语义推理模型进行了分析与实现，以证明所建议框架的有效性。     

E级超级计算机故障预测的数据采集方法

面向未来E级超级计算机,提出用于故障预测的数据采集框架,能够全面采集与计算结点故障相关的状态数据。采用自适应多层分组数据汇集方法,有效解决随着系统规模增长数据汇集过程开销过大的问题。在TH-1A超级计算机上的实现和测试表明,该数据采集框架具有开销小、扩展性好的优点,能够满足未来大规模系统故障预测数据采集的需求。     

大学英语分级教学模式下的学习策略培养

大学英语分级教学模式下对学生的学习策略培养非常重要。教师在整个教学过程当中,要研究和掌握学生的语言学习习得过程,研究其学习特点,认知风格,心理特征,加强对学生学习策略的培养和指导,帮助学生积极参与、探索、建构和使用学习策略,为学生掌握学习策略提供条件与平台,使学生自觉运用学习策略自我管理、自我调控、自我评估学习过程和学习效果,不断提高自主学习的能力。     

AVS解码中插值算法的硬件实现

在AVS标准中的插值算法采用分像素提高视频解码的清晰度,也是解码端主要的访存和计算瓶颈.为了得到分像素位置的像素值,需要参考其周围相邻的像素值;针对亮度和色度插值设计了一种基于流水线的并行架构,计算出不同位置上的分像素值,提高了解码系统的运算速度,与其他设计完成的解码器模块配合,在FPGA上实现AVS高清实时解码.     

关于奥运临时用房消防设计问题的技术探讨

由于奥运临时用房项目建设的临时性、特殊性、紧迫性，导致了部分项目的消防设计存在难以满足现行规范的问题。笔者作为消防设计审核人员，以“为建筑内人员提供安全保障；为消防人员提供消防条件，保障其生命安全；尽量减少财产损失；保护结构安全；尽量减少对正常营运的干扰。”为安全目标，利用消防性能化设计，完善了消防设计中的火灾防控技术措施。     

基于结构光的柱体工件直径测量

为实现柱状工件直径的实时快速非接触测量,利用结构光原理,对柱体直径的视觉测量方法进行了研究.详细介绍了结构光法测直径的原理和步骤,以及激光平面的标定和坐标变换求解空间二次曲线方程及特征参数的方法.实验证明该方法测量速度快,精度适中的特点,适用于大批量产品在线测量,亦适用于恶劣环境下的测量.     

基于子空间近似算法的鱼雷总体多学科设计

在鱼雷总体多学科优化设计(MDO)中,学科间的耦合与解耦问题一直是研究的重点和难点.在子空间近似算法的基础上,结合鱼雷总体设计的实际特点,分析了各学科间的耦合因素,建立了鱼雷总体设计多学科设计优化的统一模型和子空间近似算法的数学模型,并进行了实例验证,结果表明基于子空间近似算法很好地解决了鱼雷总体设计多学科设计优化中学科间耦合关系复杂的问题,收敛速度快,可靠性高.该方法对提高鱼雷的设计质量,避免人力、物力的浪费,降低设计风险等有极为重要的作用.     

某型攻击机突击地面目标战术方案的优化

运用正交实验设计理论对某型攻击机对地面目标突击的战术方案进行优化,通过构建战术想定,制定实验方案,根据实验方案进行模拟,并利用方差分析方法对模拟结果数据进行分析,得出较优的战术方案.分析结果表明该方法简便实用,对战术方案优化具有较好的适用性.