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

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

Pro／Engineer中的圆角特征处理

本文从设计原理的角度结合作者的使用经验，分析了Pro／E中圆角特征的作用、构造方法及注意事项，以利于该特征在众多菜单中理清思路并正确构造圆角特征。     

从差错的分析谈确立新的空管安全管理理念

通过对事故链中差错问题成因的分析，提出了差错的出现是事故产生的先兆。因此，只有进一步加强对差错的研究和处置，确立以预防阶段工作为重点的空管安全管理理念，强化信息通报。规范工作程序，才能更好地阻断事故链的形成，达到安全防范的目标。     

设计尺寸链的工艺审查

针对生产中反应出的设计尺寸链的问题，阐述了设计尺寸链与工艺工作和产品质量的关系，指出设计单位应重视设计尺寸链的校对、审核工作，生产单位应加强其工艺审查。     

浅谈尺寸链的封闭环

尺寸链由若干个组成环及一个封闭环所组成。解一个尺寸链,首先应认定那环是封闭环,一旦判断错误,那整个计算过程将前功尽弃。为此必须从封闭环的基本定义出发,剖析寻找封闭环的方法。有时,即使在同一尺寸链中,根据不同工艺方法,封闭环也会随之而转移,从而适应同一基本尺寸的不同精度要求。     

试论空管中的人性化管理

所谓人性化管理，指的是在组织完成一个目标时很好地兼顾人性化的客观需求，以期更好地完成这一目标。历年来发生的飞行冲突给我们在管理上敲响了警钟，传统的管理模式已经越来越不适应现代的要求。通过研究各种管理模式，我们发现只有人性化的管理才较好地适应当代以人为本的飞行管理要求。笔者想通过对这一问题的探讨，唤起大家对事故链中管理这个环节的重视。     

墨菲定律防事故新解——关注“检查”

一、墨菲定律 航空界有一个著名的防止事故理论影响深远，那就是“墨菲定律”——有可能发生的差错必将发生。它告诉我们：事故是完全可能发生的。人类虽然越来越聪明，但容易犯错误是人类与生俱来的弱点，不论科技有多进步，人类有多么聪明，有些不幸的事故总是会发生的。因为客观上存在着导致事故的因果链，也就是薄弱环节。越是复杂的设备和程序，事故的因果链越长，这也是高科技的致命缺点之一。     

网络最大流与最小割集的矩阵算法

本文给出了解决运输问题为中心的一类特殊的线性规划问题的新的、简便的算法。网络最大流与最小割集的矩阵算法,不仅能解决许多这类问题,而且能使最小费用流、分配问题和运输问题容易通过计算机来实现。     

空地对抗马尔可夫链随机服务模型

将空地对抗动态作战过程视为一个随机排队服务系统．利用马尔可夫链随机服务理论分析了空地对抗动态作战过程，在基本假设的前提下给出了该随机服务系统在各种条件下的系统状态传递率图，最后根据统计平衡原则建立了空地对抗随机服务模型，比较真实地反映了实际作战过程。     

人-机系统飞行安全可靠性问题的研究

在分析飞机电传操纵系统（FBW）特点的基础上，建立了习行器和电传操纵系统的数学模型，建立了电传操纵系统故障及飞行员干预的概率模型。应用马尔可夫链建立了人－机产行安全可靠性的数学模型，采用伊万诺夫法评估了某型第三代飞机在电传操纵系统故障报的排除的条件概率，并计算了电传操纵系统故障后该型飞机的飞行风险，最后提出了使用建议及技术改进建议。