ASW-RTS:一种软件性能数据在线检测方法

在软件健康管理系统中,需要对相关被测构件的性能进行在线检测,从而确定构件的健康状态。针对被测构件的性能衰退检测问题,在AR(p)模型基础上,结合时间序列滚动式算法的准确性,提出了一种具有自适性策略的ASWRTS算法,用于对被测构件革新异常类性能数据的在线检测,提高检测的准确度,并基于该算法设计了构件性能异常数据的在线检测过程。实验结果表明,该算法将检测精度提高了50%左右,能够有效在线检测构件的性能衰退,说明了该算法的正确性和有效性。     

卫星结构中的非金属材料

介绍了各种复合材料、胶粘剂、高分子材料和工业陶瓷等非金属材料的性能及其在卫星结构中的应用情况。强调了非金属材料在提高卫星性能、减轻卫星结构质量，以及增大卫星有效栽荷方面的作用。最后指出了卫星结构材料高性能、多功能、复合化、智能化、低成本以及高环境相容性的发展趋势。     

专用瞄准设备自动检定系统

介绍了专用瞄准设备自动检定系统的系统配置、工作原理及软件设计，并对系统的测量不确定度进行了分析和评定。     

A formal approach using SysML for capturing functional requirements in avionics domain

In this work, a Model-Based Systems Engineering approach based on SysML is proposed. This approach is used for the capture and the definition of functional requirements in avionics domain. The motivation of this work is triple: guide the capture of functional requirements, validate these functional requirements through functional simulation, and verify efficiently the consistency of these functional requirements. The proposed approach is decomposed into several steps that are detailed to go from conceptual model of avionics domain to a formal functional model that can be simulated in its operating context. To achieve this work, a subset of SysML has been used as an intermediate modelling language to ensure progressive transformation that can be understood and agreed by system stakeholders. Formal concepts are introduced to ensure theoretical consistency of the approach. In addition, transformation rules are defined and the mappings between concepts of ARP4754A civil aircraft guidelines and SysML are formalized through meta-model. The resulting formalization enables engineers to perform functional simulation of the top-level functional architecture extracted from operational scenarios. Finally, the approach has been tested on an industrial avionics system called the Onboard Maintenance System.     

机械设计基础课虚拟实验的设计与开发

阐述了机械设计基础课程虚拟实验的主要功能和特点.提出了建立基于网络的虚拟实验体系内容.采用Solidworks、3Dmax、Flash开发的机构运动简图演示、机构运动测绘和减速器拆装等虚拟实验,大大提高了实验效率,解决了设备、教具不足的矛盾.打破了教师传统的示范演示,实现了教生互动,激发了学生学习的主动性,促进了教学效率和质量的提高.     

80x86汇编语言安全性编码规则检查工具的设计与实现

从安全性角度提出80x86汇编语言程序的编码规则.通过分析航天型号典型案例.依据型号软件的应用特点,从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类,提出具体要求.设计了对应规则的检查方法和检查工具,采用静态分析方法,从软件源代码中提取安全性规则的相关元素,判断代码与规则的符合性,实现规则自动检查.     

多通道智能场强计的研制

介绍87C51单片机在研制多通道场强计中的应用情况以及软件和硬件的研究设计。     

高职高专工程力学教材建设的研究与实践--《工程力学》教材编撰中的几点体会

通过总结高职高专工程力学教材的编写思路和使用效果，探讨了适合于高职教育特点的教材内容体系和研究对象，论证了教材对学生应用能力培养的重要性，同时，界定了课程内容“必需够用”的知识基础和知识要点，尝试并实践了对教材的特色设计和创新内容的开发。     

AEDMS工程文件编号的生成算法

工程文件编号生成算法是国航工程文件管理系统（AEDMS）开发的难点。提出的．工程文件编号生成算法包括．工程文件流水号和改版号的指派算法与自动编排算法。前者解决了新旧系统．工程文件编号的兼容问题；后者是一种新的基于关系代数的自动编号算法，其利用元组序号，具有紧凑简单、可靠性好、可维护性好、执行效率高、适用面广的特点。实算结果和AEDMS运行实践表明，此工程文件编号生成算法是可行的。     

可靠性维修性保障性CAD软件集成环境工程应用验证研究

工程应用验证可以说是一种新的软件测试手段和方法，是对常规软件测试的一种补充。工程应用验证主要适用于那些大型、复杂、开发周期长、与工程实际结合比较密切的，尤其像MS－CAD集成环境那样具有预先研究性质的软件，目的是软件能更好地满足潜在用户的需求。本文结合有关的课题工作进行，对工程应用验证的内涵、方法及实施途径进行了探讨。并针对RMS－CAD集成环境，对验证实施办法进行了详细分析。通过对集成环境应用验证工作的实施，对工程应用验证理论进行了检验，得出了相应的结论。从某些角度讲，工程应用验证应成为具有预研性质的大型工程软件开发的重要辅助手段。