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

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

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

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

联合重组中的法律关系选择

在本刊第10期《联合重组承运人如何实现合并运行》的文章中,作者对航空公司重组后迫在眉睫的合并运行问题作了探讨,对合并运行的步骤和安全监管方法等提出了初步的见解。本文中,作者将视点转移到与联合重组并随而来的企业法律关系重大调整上来。对联合重组后航空集团、承运人、政府三者间的法律关系进行了深入探讨,并试图对一些与运行安全、运作方式、政府监管等密切相关的法律关系选择、取舍问题作出解答。     

专科英语、本科英语及成人专科英语的定位和相互关系

专科英语在理论上被界定为专门用途英语(ESP)分支下,介于学术英语(EAP)与职业英语(EOP)之间的业务用途英语(EPP)。而本科(大学)英语在理论体系上属于普通英语(GE)。本文从ESP理论的角度探讨了专科英语,本科英语及成人专科英语的定位和相互关系。     

正交各向异性材料弹性本构关系分析

首先给出了正交各向异性材料在材料主轴坐标系中的弹性本构关系。并由此导出了工程上常用的定向结晶材料和单晶材料的弹性本构关系。根据应力和应变的转轴公式,导出了在总体坐标系中的正交各向异性材料的弹性本构关系,同时给出了定向结晶材料和单晶材料不同方向的弹性系数之间的关系。     

热浸渗铝钢及其专用电焊条耐硫化物腐蚀性能与应用

本文介绍了热浸渗铝钢渗铝层的形貌特征和耐硫化物腐蚀的性能特点,阐述了其专用焊条合金系统的设计思路和焊接工艺要求。应用结果表明,热浸渗铝钢与专用焊条匹配使用,可有效地耐硫化物腐蚀,具有很高的经济效益和社会效益。