基于NuSMV的系统安全性分析平台开发和应用

传统的安全性分析方法,受到分析人员自身技能和经验等因素的影响,容易疏漏系统的失效状态或误判失效的影响。模型检验使用严格的数学方法推理,能够验证产品的规范或设计是否符合要求。将模型检验引入飞机系统安全性分析中,基于模型检验工具NuSMV建立安全分析平台,并以＋5V电源监控系统为例,对其安全性进行了分析。     

嵌入式仿真技术及其在军事训练中的应用研究

嵌入式仿真训练是军事训练技术的最新发展趋势之一。本文阐述了嵌入式仿真的概念、原理及系统的主要组成,介绍了嵌入式在军事训练中的应用现状,分析了嵌入式训练方式在军事训练中的应用定位,最后结合航空兵战术对抗训练的嵌入式系统,给出了系统的模块组成及作战过程。     

IETM在我国军机领域的研究与工程应用

IETM是在技术资料数字化过程中出现的集成信息技术,其目的是采用标准化数据格式和自动化编制系统,实现技术手册的数字化、网络化和自动化编著、更改、管理、发布和使用。本文对比研究了国内外军用装备领域中IETM的应用,提出了工程实现中技术资料结构化规划、自动化编著、更改、管理、发布和使用,是数字化集成及应用的一条有效途径。     

对我国航天制造技术发展的探讨

在分析航天制造技术的重要作用及特征的基础上，总结了我国航天制造技术发展取得的成绩，剖析了现存在的主要问题，结合我国航天事业发展的需要，提出了发展航天制造技术需要重点采取的对策。     

企业信息系统领域的软件建筑模型

将软件建筑的基本概念以及研究成果引入到企业信息系统建设中,提出了企业信息系统领域的软件建筑模型.首先对软件工程方法学的发展做了简要评述,指出了软件建筑在软件过程中的重要性.随后提出了企业信息系统领域的基于软件建筑模型,包括软件建筑模型、参考需求、参考建筑等.描述了基于该模型的软件开发过程,讨论了若干相关研究工作.     

Applications of Magnesium Alloys in Aerospace and Aviation

Magnesium alloys are well applied in aerospace and aviation because of their mass saving potential, good electromagnetic shielding performance, and high damping capacity. To further promote the applications, in this paper, the applications of magnesium alloys are reviewed, which could provide insights for researchers and application designers. Firstly, the applications in aerospace are reviewed, including missile, satellite, rocket, and spacecraft. Secondly, the applications and commercial magnesium alloys in aviation are summarized. Thirdly, the bottleneck and existing problems for such magnesium alloys applied in aerospace and aviation are discussed. The requirements for the magnesium alloy performance in aerospace and aviation are evaluated and elaborated.     

工科大学新生16PF、SCL—90及UPI测查分析

采用16PF、SCL－90和UPI量表为测验工具，对沈阳航空工业学院2000年入学新生进行心理测试。结果表明：人格因素结构不均衡，主要问题是聪慧不足，抽象思维能力偏弱，独立性差，社会适应性差，对社会的信任度偏低；有半数以上的新生有中度以下的心理问题，心理障碍率为10．80％；其中有自杀倾向者为3．73％。     

航天员的模糊控制模型及应用展望

本文以航天员控制过程中的思维活动(概念、判断、推理和决断)为基础,用模糊集理论建立了航天员的模糊控制模型,并在地面模拟条件下,用航天员控制飞船时的实验结果说明了模型的有效性。本模型可以描述航天员控制载人航天飞行器(如飞船、航天飞机和空间站等)的控制行为。该模型的建立不仅为航天人—机—环境系统的总体分析、评价和设计提供新手段,而且为模糊控制理论的发展和模糊控制系统的分析、设计奠定了基础。     

EIB网络通信协议模型的研究及应用实例

EIB是一种开放的控制网络的数据通信协议，本文分析了EIB系统的体系结构及其操作模式，并提出了EIB协议的系统模型，同时针对该模型的特点及具体实现进行了详细分析。最后用实例证明了该实现模型的可行性，     

浅谈航天器污染工程

文章描述了在计划、设计、执行、检验和修正的全过程中,对航天器及其所载科学仪器进行的全面污染控制,并介绍了当前该领域中最新的方法和实践。