基于OOPN的实时软件开发方法与环境的研究

实时系统的与时间相关性以及与其环境的交互特点造成实时软件的开发十分困难,那么多处理机实时软件的开发就更加困难.为了简化多处理机环境下的并发程序设计、减少程序设计错误和提高编程效率,介绍一种用于多处理机系统的程序设计方法以及在此方法支持下的软件开发与运作环境.该方法以一种直观的图形方式(面向对象Petri网)辅助多处理机系统软件开发,在此环境下可完成高效的软件开发和获取安全可靠的软件结构.      

多目标优化方法库的开发与应用

多目标优化方法库是一个专门针对多目标问题的优化软件。本文介绍了用面向对象方法对方法库进行开发的过程,着重说明了该软件以优化模型为中心的主体框架和以优化算法为核心的模块化结构,以及库中采用的各种多目标优化算法特别是非劣分层遗传算法。最后通过算例说明了方法库的使用方法,证明了其良好的操作性和库中算法优良的性能。     

嵌入式电子飞行仪表系统软件设计

设计了一种基于嵌入式操作系统的电子飞行仪表系统软件。介绍了电子飞行仪表系统的基本构成,在嵌入式操作系统上设计并实现了主飞行模式、导航模式、发动机信息模式等功能。分析了电子飞行仪表系统软件设计的原则和结构,介绍了软件的类和消息机制。此外,通过在嵌入式系统的有限资源和三维处理的复杂算法间进行合理的折衷,实现了空间变换、立体投影和曲线消隐等算法模块,构成了自行设计的三维地形引擎。软件已经在基于Intel,Motorola等多种嵌入式处理器的系统上下载成功并且能够稳定运行。     

大厚度比窄焊缝不锈钢薄板缝焊工艺研究

采用电阻缝焊方法对航天推进剂贮箱用0.086 mm厚不锈钢网片(022Cr17Ni12Mo2)和1 mm厚不锈钢支板(1Cr18Ni9Ti)进行搭接缝焊工艺试验,通过控制不锈钢支板变形量和网片变形张力,检查焊缝外观质量、密封性和内部质量,解决了接头组合材料厚度比大于10:1和焊缝宽度1~1.2 mm的不锈钢薄板缝焊难题。研究结果表明,采用合适工艺参数可以避免缝焊过程焊缝成型不良等问题,保证了焊缝密封性;采用专用工装对缝焊过程不锈钢支板变形进行控制和焊后校形处理,可有效控制不锈钢薄板焊接变形;通过缝焊过程网片表面张力的调节,达到了控制网片性能的目的。     

基于CPN的飞机驾驶操纵过程建模及工效分析

驾驶舱人机界面的设计直接关系到飞行员在飞行任务中的操纵表现和飞行安全.分析了飞机驾驶操纵过程中的人机交互特性,基于着色Petri网构建了飞机操纵过程模型并给出了模型的公理化定义.提出了任务可达性,飞行员认知负荷和基于熵值的操纵程序复杂性评估方法,能够实现在驾驶舱设计初期对飞行员认知负荷与操纵过程的分析.结合某型飞机的起飞中断过程给出了操纵过程建模与工效分析实例,表明模型与方法的有效性.     

运用关系代数理论解析接口底层实现机制

接口是面向对象范式和工程领域中的重要概念,认识其实现原理和内部机制有利于提高软件实践过程中的设计开发能力。首先,从普通的接口调用语句的汇编命令入手,描述了接口的使用方法和外在特征;其次,运用数据模型和关系代数等关系理论技术,分析探讨了接口底层机制的实现原理;再次,给出了2种可能的接口实现机制,通过对比分析确立了比较接近真实的底层实现机制,并分析了其静态结构、执行过程及其他特点;最后,相关试验结果表明该模型机制能够满足软件底层体系结构要求并解释了软件的相关呈现现象,从而证明了推断过程和结果的正确性。     

基于改进OOPN的系统工作模式分析方法

针对空间有效载荷系统工作模式的复杂性问题,在研究其动态行为和运行特征的基础上给出了一种基于改进的面向对象Petri网(IOOPN,Improved Obiect Oriented Petri Net)的系统工作模式分析方法.该方法集合了Petri网和面向对象的优点;在面向对象Petri网模型中引入了对象间的行为约束关系;并根据约束关系实现了基于最小序列组的系统工作模式分析算法.最后,将该方法应用于某资源卫星有效载荷系统中,实践结果表明该方法满足对有效载荷系统工作模式的分析、仿真和验证的要求,为有效载荷系统的总体设计和集成测试提供了重要的参考.     

涡轮增压固体冲压发动机热力循环分析

针对未来导弹对推进系统高比冲、宽马赫、大空域的要求,将空速域宽广的空气涡轮火箭(ATR)和比冲性能好的固体火箭冲压发动机(SPR)进行集成,提出了涡轮增压固体冲压发动机(TSPR)的概念,对其进行热力循环分析,验证此组合概念发动机的原理可行性,建立了其热力循环分析模型.利用该模型在典型弹道上对ATR、SPR和TSPR的...     

基于克隆选择算法的学习型Petri网及在潜在通路分析中的应用

传统学习型Petri网(LPN)有2个缺陷:1)都是针对无回路PN模型,这不符合实际情况;2)大部分都是利用BP算法进行学习,带来BP算法固有的缺陷.针对这2个缺陷,提出基于克隆选择算法(CSA)的LPN(CSALPN).首先对系统进行PN建模,然后利用CSA训练PN,使得PN既可以学习先验知识又可以利用系统的结构信息...     

基于FWFPN的装备保障性定性指标评价算法

以模糊Petri网为基础,将权重、可信度等约束条件应用到模糊Petri网中,建立了一种新的、称之为加强的带权模糊Petri网;给出了加强带权模糊Petri网的形式化推理算法,并将推理算法与矩阵运算相结合,用Matlab进行计算;最后,结合舰炮装备的一些保障性定性指标对该推理算法进行了验证.