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

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

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

航天飞机气动加热计算

介绍了国内外预测航天飞机气动加热的工程计算方法.给出了轴对称、非轴对称和机翼前缘等各种外形驻点热流密度的计算,分析和比较了平板、锥体的层流和湍流热流密度计算的各种方法,概述了航天飞机迎风面中心线和离开中心线横向热流密度的计算.计算结果表明,本文方法用在航天飞机气动热环境初步设计中比较简单并且有足够精度.     

项目风险的一种模糊分析方法

由于影响项目的不确定因素繁多,专家们在评估一个项目的风险时,通常不得不使用一些模糊性语言.为了定量地评估项目的不确定性,提出了一种分析项目风险的新方法:用模糊集理论将这种模糊性语言定量化,即用一种简单的模糊数--三角模糊数来有效地表示项目的风险,通过比较这种三角模糊数的大小来判断风险的大小,从而评估出项目的优劣.最后,本文还认为如何准确地量化项目的不确定性仍是有待于进一步深入研究的课题.     

导弹系统总体方案设计的研究

以空空导弹总体方案设计为例,简单扼要介绍了导弹系统总体方案设计的全过程,给出了设计流程图,介绍了方案评估时加权系数的确定方法及方案评估方法,这一方法有利于通过人机交互在计算机上实现总体方案设计,改变了传统设计方法,最后给出了空空导弹的设计结果并明确了使用时应注意的问题.      

基于UML活动图模型的测试用例生成技术研究

为了设计和生成系统工作流程的测试用例,引入测试大纲模型的概念,设计出从UML(Unified Modeling Language)活动图模型到测试大纲模型,再到测试用例模型的三级转换过程和一组消除活动图模型中的非结构化特征、将其转化为模块化的测试大纲模型,以及把并发子过程实例化为一组典型测试场景的基本规则.还研究了针对每一个输入操作,选择基本输入数据集,并将其赋予测试大纲模型之上,从而构造测试用例模型的方法,以及最终基于测试用例模型生成完备的测试用例集合的方法.      

飞机总体设计过程中的数据管理

飞机总体设计中所涉及到的是海量数据,且具有数据种类繁杂的特点,同时具有很高的安全性方面的要求. 在如何利用数据库技术对海量、繁杂的飞机总体设计数据进行合理、有效地分类组织管理方面作了一些探讨. 分析了总体设计过程中所涉及到的数据所具有的特点,对设计过程中的数据进行了归纳分类;提出了利用近年来迅速发展的面向对象技术对飞机总体设计数据进行分类、管理的概念并给出了一个简单的实例;最后介绍了利用数据库管理飞机总体设计数据的一些需要注意的问题.     

基于模块化设计的工程设计数据管理

在中国航空发动机行业传统工程数据管理模式下,零组件上下层关系惟一确定,但是更改封闭机制始终无法完整地解决多方案导致的关联更改问题,为此采用模块化设计理念,利用上下层模块之间允许灵活选配的特点,通过判断更改前后的互换性阻隔更改向上传递问题。基于模块的产品架构采用独立的编码系统进行标识,并根据产品研制特点定义模块层级。在基于模块可选配的模式下,采用互换性管理明确更改的传递原则及不同方案之间的替换关系;采用有效性管理明确零组件号的使用范围;采用EBOM管理实现基于统一产品架构的多方案集成。若由传统模式向可选配模式进行转变,企业需在设计、工艺和BOM管理上同步调整。     

航天扩频测控系统抗传统测控信号干扰研究

随着扩频技术的应用,航天测控网形成了传统测控体制与扩频测控体制相结合的局面,会出现潜在的相互干扰问题。针对这种情况,运用仿真软件建立模型,根据传统测控信号经过相关器后频谱的变化,分析扩频测控系统的处理增益,并详细说明了在扩频测控信号接收带宽内距中心载波不同位置的传统测控信号对扩频测控系统处理增益的影响,以及不同扩频码速率下系统处理增益的变化情况。最后运用本文的分析成果进行举例计算。     

基于 ACME 系统的军用飞机试飞技术状态管理研究与实践

目前,军用飞机试飞技术状态管理存在着流程不够完善、职责不够明确、体系不够健全等重难点问题尤其是飞机试飞技术状态更改控制不精准、不严格,信息化手段较为缺乏,试飞阶段技术状态管理工作存在较为明显断层。通过研究军用科研批飞机试飞技术状态管理组织机构、制度、流程及方法,构建了一种适用于军用飞机试飞技术状态管控体系,并基于 ACME 系统(Aircraft Configuration Management Environment,飞机构型管理平台)完善了相关信息化手段,打通了多类更改(结构、系统安装更改、软件更改、机载设备更改、用户资料更改)之间联系,并通过某型号的应用,验证了流程、方法及信息化手段的完整性及可行性,有效提高了飞机试飞技术状态管控能力和效果。