Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

军用飞机使用保障费用估算

综述了飞机系统全寿命费用、使用保障费用的概念.介绍了军用飞机使用保障费用的估算方法和一般流程.     

平流层飞艇总体参数估算

介绍了飞艇设计中总体参数估算的一般步骤,指出了平流层飞艇设计与常规飞艇设计的主要不同点,描述了在一定条件下飞艇质量、体积、升力气体密度、空气密度间的相互关系,阐述了平流层飞艇部分总体参数的确定和估算过程.     

军用软件的可靠性统计分析

研究了军用软件的可靠性统计分析方法。对于失效数据极值分布函数的拟合检验,提出了一种解析法,克服了图解法的局限性;对于母体分布的参数估计,分别采用了最小二乘估计(LSE)和极大似然估计(MLE);最后通过一实例说明了统计过程,并用模拟的方法证明了最小二乘估计法较好。     

航天飞控软件操作概图开发

航天飞控软件是具有高可靠性要求的软件系统,对其进行可靠性测试是航天飞控任务的基本要求。操作概图是进行软件可靠性测试的基础。由于开发大型软件系统的操作概图比较复杂,使其成为了制约开展软件可靠性测试的主要困难之一。本文以地面航天飞控软件为例,介绍了实时飞控软件操作概图的开发步骤和方法。首先是确定软件系统的操作模式,并确定每个操作模式所运行的相关软件;然后给出了识别每个软件的操作发起者和操作方法;最后对不同类型的操作给出了确定其发生概率的方法。     

高阶辐射换热有限元算法研究

随着航空航天技术的发展,飞行器热结构所需承受的温度越来越高,辐射换热变得非常重要;当前大部分商业软件对于辐射问题的有限元计算方法还是基于一致表面温度和辐射热流假设,使得计算精度和网格密度的矛盾越来越严重.进行了选用高阶单元、采用高斯积分精确计算单元表面变辐射热流方法的研究,从而摆脱了一致表面温度和辐射热流的假设,使得在相同网格密度的情况下计算精度大大提高;同时,从包含辐射换热问题的有限元计算方程出发,采用与有限元数值计算时相同的积分方案,只在独立的积分点处计算辐射热流,克服了积分方法计算效率低的缺点.经与ANSYS的计算结果对比,应用辐射热流积分方法于高阶单元能大大提高计算精度;并且在相同计算精度条件下,此方法的计算效率更高,具有一定的实用价值.     

激光跟踪仪与CATIA结合在飞机外形测绘中的应用

就飞机外形的测绘需求，利用激光跟踪仪与CATIA V5版本的曲面造型功能，介绍获取数字化外形的若干应用技术。     

镍基单晶合金涡轮叶片蠕变分析的MARC用户子程序开发

基于通用有限元软件MARC开发了用于模拟单晶合金材料蠕变性能的用户子程序CRPLAW。该子程序采用经典Norton蠕变本构方程，可以模拟单晶材料在不同温度和不同取向下的蠕变性能。利用CRPLAW对镍基单晶叶片进行蠕变分析，得到了较为满意的结果。通过修改蠕变参数，CRPLAW也可以用来模拟其它晶体合金的蠕变性能。     

模具设备数据库系统的研究

基于Visual Foxpro(VFP)6．0建立模具设备的数据库，生成向导式的模具设备数据库管理与查询软件，实现设备管理与查询的智能化。     

软件化雷达中的频率综合器

分析了雷达系统软件化对频率综合器提出的新要求,系统地归纳和总结了现有的频率合成技术,探讨了雷达软件化过程中频率综合器的设计,并提出了一种具体实现方案.