软件可靠性测试数据生成方法研究

阐述了构造非实时软件运行剖面的方法,以及根据运行剖面生成非实时软件可靠性测试数据的方法,并提出了构造实时软件运行剖面和生成实时软件可靠性测试数据的思路。最后给出实例,系统地演示非实时软件可靠性测试数据的生成过程。     

如何加强军用软件的质量管理

军用软件在武器装备系统中的地位已经越来越重要,但我国军用软件的质量管理起步较晚,因此很有必要研究如何加强军用软件的质量管理.本文在阐述软件生命周期的基础上,从开展军用软件研制单位的软件能力评价、加强软件配置管理和加强第三方独立测试三个方面探讨了如何加强军用软件的质量管理.     

复材制件数字化制造及先进设备的应用

随着复材零件结构的日益复杂,传统复合材料生产模式很难满足其精准化要求,复合材料数字化软件的开发使零件的制造过程更加便捷,同时能够满足对零件尺寸精准的验收技术要求。分别以某型号壁板蜂窝夹层件两类典型的零件作为研究实例,利用数字化软件对制造过程进行优化,开展数字化制造可行性研究,辅以数控下料机、激光铺层定位仪、自动铺带机等先进的数字化设备,更好地保障飞机构件外形的精度。复合材料制件实行数字化制造后,不但降低了生产成本保证了零件产品的质量,而且有效推进了复合材料零件制造技术的发展。     

高分辨率电流频率转换电路设计

随着惯性技术的发展,对电流频率转换电路的分辨率要求越来越高,以往常用的I/F转换电路已经不能满足要求,本文在传统电路的基础上结合FPGA和DSP提出了一种电路设计思路来提高分辨率.设计了硬件电路和软件电路.根据大量的试验数据分析,此改进电路在不损失电流频率转换电路线性度和稳定性的精度下,把电路的分辨率提高了一个数量级,解决了高精度电流频率转换电路分辨率低的问题,进一步扩大了电流频率转换电路的使用范围.     

Optimization of bits allocation and path planning with trajectory constraint in UAV-enabled mobile edge computing system

In this paper, an Unmanned Aerial Vehicle(UAV) enabled Mobile Edge Computing(MEC) system is studied, in which UAV acts as server to offer computing offloading service to the Mobile Users(MUs) with limited computing capability and energy budget. We aim to minimize the total energy consumption of MUs by jointly optimizing the bit allocation for uplink, computing at the UAV and downlink, along with the UAV trajectory in a unified framework. To this end, a trajectory constraint model is employed to ...     

民用飞机机载软件计划阶段评审方法研究

民用飞机机载软件的合格审定是民用飞机适航取证工作的重要内容,机载软件计划阶段评审是机载软件合格审定过程的重要里程碑,直接影响民用飞机主制造商的软件研制进度和适航取证进度。本文结合我国民用飞机机载软件研制过程中计划阶段工程评审与适航审查的经验,总结了适合我国国情的机载软件计划阶段评审的方法和流程,并对此过程中有关的重要问题进行了论述。     

航电系统集成验证环境中的试验总控系统建设

针对国内军用航空修理行业系统级综合试验现状,根据航电集成验证环境中总控系统的特点和应具有的基本功能,结合视情维修需求及现代软硬件技术状态和成熟试验验证的手段,介绍了航电系统集成验证环境中总控系统的建设思路,给出了总控系统硬件及上位机测试软件的实现方案。该总控系统的应用将提升航电系统的修理验证能力。     

S形蒙皮零件成形工艺

通过运用S3F软件对S形蒙皮拉形过程进行模拟仿真分析,评估S蒙皮拉形工艺性;预测拉形过程中将产生的缺陷;制定合理工艺方案;优化零件设计和模具结构;实现了该蒙皮零件在数控蒙皮拉伸机上的拉形。     

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

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

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

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