基于RT-LAB的某型导弹半实物仿真系统设计

半实物仿真是将部分硬件实物引入到仿真回路中的仿真,是导弹研制过程中的一个重要环节.介绍了基于先进的仿真运行框架软件RT-LAB搭建半实物仿真系统的方法.搭建了适用于RTLAB的仿真模型;针对自制板卡,开发了RT-LAB下的驱动;编写了基于RT-LAB的仿真控制软件,完成了半实物仿真平台的设计.研究表明,在RT-LAB环境下可以方便快捷地将Simulink模型应用于半实物仿真系统,降低了构建系统的难度,缩短研制周期,并提高仿真系统的灵活性和可靠性.     

基于构件技术的工业控制软件设计

针对工业控制软件的典型功能和特征,本文提出一种利用新兴的构件技术重新设计和实现工业控制软件的方案。文中结合工业控制软件的特点,分析了采用构件技术的可行性,并以构件技术为基础给出了基于构件技术的工业控制软件的体系结构设计方案。该结构不同于传统模式,更有利于软件的维护和重用,适合于工业控制的应用场合。     

分析模式在嵌入式系统建模中的应用研究

面向对象建模语言UML（Unified Modeling Language）已广泛用于嵌入式系统建模,但它在嵌入式实时系统建模时存在模型重用性不高、概念模型形式化复杂和状态图对时间约束方面的建模功能不强的问题,针对这些问题,提出了对象分析模式与实时规范模式相结合的新思想,并给出了使用对象分析模式和实时描述模式进行嵌入式系统建模及模型分析、验证的方法,然后介绍了基于UML的模式驱动的嵌入式系统建模及分析的实现步骤,最后以一个实际应用进行了详细说明。     

基于发展模式驱动的水安全调控模型研究

近年来人类活动引发的水危机受到社会各界的关注,如何找到解决水安全问题的有效手段成为新的研究热点.运用系统动力学理论建立了社会水循环系统动力学模型,模拟水资源在区域社会系统和水系统之间的转化和消耗过程;从提高水安全保障能力角度,设计了节水农业型、环保工业型和服务业驱动型三种发展模式,并研制了基于发展模式驱动的水安全调控模型;在对区域水安全状态关键指标模拟的基础上,评价在不同发展模式情景下的水安全度,对比给出推荐的调控方案.通过在郑州市的应用发现,设计的七种调控方案均能不同程度地提高水安全度,但采用复合模式方案的水安全度明显高于采用单一模式方案,综合考虑三种模式的方案7是最理想的推荐方案.     

硬件在环仿真试验台监控系统的设计与开发

针对基于xPC的硬件在环仿真系统,研究了Matlab GUI监控软件的相关开发技术,以解决时钟驱动模式下,数据更新速率慢、显示停顿的问题。在设计监控系统模块化方案的基础上,利用ActiveX控件技术建立虚拟仪表交互界面,提出S函数驱动GUI界面的实时显示方法,实现仿真数据的动态显示。试验台的使用表明,开发的监控系统具有良好的人机交互功能,对仿真数据的采集频率可达100Hz,虚拟仪表的更新速率超过20Hz,数据传输及显示过程耗时小于21毫秒,满足实时监控的要求。     

基于OPNET的导弹自主飞行编队通信网络建模研究

针对导弹自主飞行编队协同制导与领航-跟随控制模式对嵌入式、自主式、高可靠、强实时性专用无线通信网络的需要,研究并提出了基于自组网的编队协同制导通信网络方案和节点体系结构,实现了一种主从网络路由协议和数据链路控制机制,建立了基于OPNET的仿真模型,并仿真验证了方案和协议的可行性.     

非合作目标自主交会的开关控制

针对面向非合作目标的航天器相对轨道动力学系统,研究了基于视线制导的开关控制问题。详细推导了视线相对运动模型,并定性分析了重力差项。基于相平面法,分别独立设计了横向和纵向相对运动通道的开关曲线控制算法。针对横向控制,基于比例导引律设计了开关曲线,并利用李雅普诺夫方法给出了稳定性证明。针对纵向控制,采用双开关曲线,并给出了一种相应的设计方法。数值仿真分析验证了所提出的开关控制方法的有效性。     

电动车安全性控制系统研究

首先给出电动车在行驶时驱动与制动输入下的高阶双质量运动模型，然后针对数学模型的复杂性和强非线性特征设计基于小脑模型神经网络CMAC复合PID的控制器，并在Matlab下进行仿真。结果表明所设计的控制器可以得到较好的控制效果。     

多变量离散灰色幂模型构建及其优化研究

针对多变量小样本的非线性系统建模问题,提出了多变量离散灰色幂模型,并探讨其参数求解方法;鉴于驱动因素作用机制对模型精度的重要影响,通过引入驱动控制函数,多阶段识别起主导作用的驱动因素,构造多变量离散灰色幂模型的优化模型,并研究驱动控制函数参数识别方法,给出了模型建模预测步骤;最后,利用构建模型解决我国粮食产量预测问题,表明新模型能够更好地描述系统特征行为序列与驱动因素序列间的非线性关系,从而有效提升建模精度。     

澳门国际机场工程施工管理系统的设计与实现

本文简要介绍“澳门国际机场工程施工管理系统”的目标、功能、系统设计与实现技术，并详细给出了基于网络计划技术的工程进度控制软件的设计思想．     

软件工程视域下的软件复杂性研究

从软件工程的视角对软件复杂性进行了初步研究,讨论了软件复杂性的基本定义,分析了软件复杂性产生的原因及软件度量方法,最后提出了未来适应软件复杂性的几种技术解决方案.     

软件可靠性度量实例研究

为适应软件的不同特点和使用阶段,必须根据软件的具体情况,考虑在软件开发的整个生命周期中,从不同角度对可靠性进行度量和评价。在现有软件可靠性度量的基础上,选择改造了9个可用于评价软件可靠性的度量,在航天软件中进行了应用,并详细阐述了各个度量的目标、方法和过程,最后对度量结果进行了综合分析以及给出了对软件的改进建议。     

基于COTS的军用软件保障问题研究

商用货架产品在军事领域的应用趋势将给传统军用软件的保障模式带来冲击。对此,在研究基于商用货架产品的军用软件(CBMS)开发过程的基础上,讨论了CBMS的保障组织形式和实施方案,构建了CBMS保障过程模型用以描述军方软件保障机构在整个保障过程中的工作,并就CBMS开发过程中与保障密切相关的商用货架产品选择和风险评估等问题进行了讨论。     

基于检查点和Rejuvenation的软件可靠性建模分析

处于运行阶段的软件往往存在老化现象，即性能的逐渐下降或失效。为了避免软件老化造成的影响，人们提出了软件rejuvenation技术。这是一种预防性的软件容错策略，能有效的提高软件系统的可靠性和可用性。但由于rejuvenation操作过程的复杂性，它的成本也是不可忽略的。相对于rejuvenation来说，检查点是一种轻量级的软件容错策略，其成本远小于rejuvenation的成本。本文旨在结合rejuvenation和检查点技术，在rejuvenation周期间插入适当数目的检查点，以降低系统的宕机成本。丈中给出了系统的Detri网模型，并结合实例进行了分析。     

软件总线研究及其在水电仿真系统中的应用

针对复杂系统仿真软件开发中柔性设计和软件复用等问题,提出了基于软件总线体系结构的系统集成方案.并以此为基础,在水电仿真系统的设计实现中应用了该方案.在复杂仿真软件系统设计与实现中采用软件总线体系结构,有利于应对系统扩展和变化,同时也通过松耦合连接使得系统中组件的重用性得到加强.基于软件总线的仿真系统开发体系,易于实现复杂系统的仿真建模与定制实现,直接提高了生产效率和软件质量.     

面向机载软件适航验证的灰盒测试方法

针对国内大飞机及新一代战机机载软件综合化、模块化的特点,根据机载软件适航验证要求,在分析传统黑、白盒测试方法与DO-178B《机载系统和设备合格审定的软件考虑》中软件验证要求适用性的基础上,应用灰盒理论,建立了满足软件适航验证要求的灰盒测试方法及其应用过程,并对该方法展开了分析,说明了其局限性,并对测试环境提出了新的需求。     

一种实时多任务软件可靠性验证方法

针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法.该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的.实验证明该方法的有效性和灵活性.     

EnergyPlus中变频多联空调的模块开发和能耗仿真分析

为评价变频多联空调(VRV-II,以下简称VRV)的能耗特征,在建筑能耗动态模拟软件EnergyPlus的基础上,开发了VRV的能耗计算模块,并在一典型的商业建筑模型基础上,与几种常见的空调系统方案作了建筑物总能耗仿真比较。结果表明,VRV是最为节能的方案。同时,对于传统的空调系统,作为冷源方案的水冷式螺杆机相比风冷式螺杆机、以及作为系统方案的风机盘管加新风相比变风量空调,都显示出更为节能的特性。     

AOSE中Agent行为的形式化定义与描述方法

为了支持多Agent软件系统的设计与开发,提出了一种基于形式化方法的Agent行为的定义与描述方法.该方法从Agent的状态、动作、动作序列到活动,采用形式化描述语言,逐步建立对Agent行为的定义和描述,该方法结构清晰,可理解性和可操作性强,能够有效地表棕并发性的Agent行为,为在基于AOSE的多Agent软件系统设计中,进行Agent行为特征的分析、定义和描述提供了一套有效方法.     

基于混合体系结构的软件可靠性评估方法与应用

基于体系结构的软件可靠性模型建立在软件研制周期的初期阶段,能够对软件进行较早的可靠性分析,对早期软件结构的变更以及后期软件的更新与升级都提供了一定的指导依据。然而,早期的基于体系结构的软件可靠性模型只对单一的软件结构进行分析,这显然不满足如今同时存在多种体系结构风格的复杂软件的需求。分析了目前常用的软件体系结构风格,在基于混合体系结构的软件可靠性模型的基础上,阐述了应用体系结构模型进行评估的步骤,并结合实例进行了分析与验证。