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

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

2021年世界重要空间科学发射任务

2021年全球重要的空间科学发射任务逾10次，主要是美欧的空间天文、月球和深空探测任务，我国也将发射首颗空间地球科学卫星“广目”。此外，多个中外载人航天任务亦将为空间科学与探索搭建新的平台。      

航天飞行器结构应力腐蚀基因解析及应用

应力腐蚀(SCC)是一种易引起航天飞行器结构无征兆事故的多因素耦合作用失效类型。为厘清SCC机理,文章从基因角度解析SCC的应力因子和微观因素,探索SCC基因测取方法和无SCC事故内涵。分析表明,SCC应力基因位于远低于σ_S的量值区间,其微观基因包括溶解阳极、氢、电负性离子、滑移位错、钝化膜和晶体取向,可采用多尺寸断裂形貌、化学浓度、电位/电流、应力/应变等参数测取SCC基因组态和SCC敏感性。基于SCC基因分析,航天飞行器结构设计寿命内无SCC事故原则应包括合理设计、精准评价和正确失效分析三部分。     

PDM技术及其在直升机研制中的作用

本文首先分析了当前直升机在运用CAD/CAE/CAM技术进行研制中存在的一些问题,接着提供了解决的方法,介绍了PDM的概念、构成、主要功能。最后简述了PDM技术在直升机研制中的作用,以及企业在实施PDM当中应注意的一些问题。     

你们企业建立信息网络了吗

在全球经济一体化、生产力快 速发展的今天，企业的信息 化进程已经对提高企业的竞争力起到举足轻重的作用。 企业的信息网络建设，是信息化的重要组成部分。通过信息网络，可以加强内部管理，完成文件传送、软件分配等工作，大大提高办公效率，降低管 理成本。同时，信息网络普 遍应用于存货管理、产品 设计、项目管理和支持。通 过远端访问的销售人员， 提供丰富的供应链信息， 改善与战略伙伴、供应商 和其它机构的通信，及发 展未来的电子商务。在民 航领域广泛使用的运行控制、财务管理、机务管理、收益管理等系统也依赖于信息网络的建…     

如何避免企业在开发MIS中的失败

本文从认识、技术及管理几个方面论述了MIS建设失败的原因,阐述了企业如何避免MIS开发的失败以及企业如何选择协作单位来开发MIS。     

分形企业的概念和结构

本文介绍和分析了德国提出的分形企业的基本概念、主要特点和结构形式，并对分形企业与传统企业进行了比较。