基于知识库系统的飞机结构设计关键技术

该系统实现了与CATIA的无缝连接,对知识的浏览机制、检索策略、基于CAA的三维模型预览、工程算法使用以及图表插值等关键技术进行了描述,可处理公式、图表、表格和文字等多种知识类型.最后,通过一个实例验证了该系统的可行性.     

基于在线调试的串口通信协议测试方法

以测试某型数据传输数字地图子系统中数字地图生成模块软件的RS485通信协议为例,提出了两种基于在线调试的串口通信协议的测试方法。这两种方法不仅简单易行地解决了某些测试环境中无法利用串口调试工具进行串口通信协议测试的问题,还为软件测试领域提出了一种通过在线调试技术解决问题的思路。     

NH90航空电子系统演进

NH90是一种法、德、意、荷、葡联合研制的先进中型多用途直升机,未来将成为法、德、意等国的主力作战运输、突击、反潜、搜救机型。介绍了 NH90的航空电子系统,其中包括核心航空电子,任务航空电子及飞控系统。跟踪了 NH90航空电子软件开发团队使用软件产品线（SPL）技术对航空电子架构进一步升级的方向。     

一种基于MBD的部件装配工艺设计辅助系统

介绍了MBD模式下装配信息的表达特点,并针对这些特点,在Visual Studio2005平台下,利用CAA技术对CATIA进行二次开发,开发出部件装配工艺设计辅助系统.该系统方便、实用,为部件装配工艺设计所需信息提供快速、准确、规范的提取手段,提高了装配工艺设计的数字化水平.     

基于三维场路协同方法的静电损伤仿真测试平台

静电放电已经逐渐成为导致各类电子设备故障的主要原因之一,在电子产品研制过程中通常采用实物测试方式检验产品抗静电能力,但该方式耗费资金过大、可重复性差同时易损伤受试设备。在这种情况下,建立基于三维场路协同方法的静电损伤仿真测试平台有效地解决了上述问题。该平台以电脑仿真技术（CST）软件为基础,通过构建静电放电枪模块,结合受试设备模块和仿真参数设置模块,以时域有限积分法求解器进行仿真,并利用数据输出和处理模块得出结果。利用建立好的仿真测试平台对一台数据传输设备进行8 kV接触放电,观察其表面电流和磁场分布,并对其造成的传导干扰和辐射干扰进行分析。通过建立静电损伤仿真测试平台,实现了静电放电测试的可重复以及无损伤的目的,具有较强的工程指导意义。      

航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10...     

基于知识图谱和自动机器学习的软件缺陷预测

不稳定和召回率低效的软件缺陷预测模型难以在行业领域应用,为解决稳定和高效各项性能评价指标的软件缺陷预测模型在工程实践应用的问题,提出了一种基于知识图谱和自动化机器学习的软件缺陷预测方法AutoKGGAS,首先获取软件缺陷预测模型数据,对知识建模、知识获取、知识融合、知识储存与知识计算等知识图谱构建技术研究,实现知识图谱...     

面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

一个识别零件几何与工艺特征的自动分类系统

提出了一种在成组技术中应用模糊综合评判理论识别零件几何与工艺特征、进行计算机辅助零件分类的新方法，据此设计了自动分类软件。本法是根据零件本身间的相似性自动分类，不需建立一套分类用编码系统，也不需事先设定假想零件。对不同的分类要求，修改各种输入信息很方便，具有柔性。本文对２３００个航空附件回转类零件作了试验分析，讨论了特征抽取，目标类别，权级、权重分配，模糊关系矩阵计算，及自动分类应用软件设计．本软件是在ＩＢＭ－ＰＣ微型计算机上用Ｆｏｒｔｒａｎ－７７语言实现的，分类结果满意，自动分类正确率达９０％以上。本软件设计方法也适用于设计管理部门．     

运载火箭三冗余飞行控制软件的数字仿真设计

提出了一种采用三冗余技术保证运载火箭飞行控制软件可靠性的设计方案,选择合适的冗余模式建立了三余度飞控软件的数字仿真平台,并给出了实现余度策略、同步算法等关键技术工程的软件流程。测试结果表明,该方案设计合理,不仅较好地完成了飞控计算机的余度管理任务,而且有效地保证了系统的可靠性与容错能力。