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

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

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

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

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

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

轴对称收敛——扩散喷管几何参数优化设计

本文通过对轴对称收敛－扩散喷管的四个主要几何参数（面积比AR，扩张半角β，收敛半角α，喉部园角半径与喉道半径之比Rt）采用二次回归方程，建立了在设计工况时轴对称收敛－扩散喷管推力系数CF与几何参数AR，β,α.Rt的数学模型，用随机射线法进行优化设计。本方法为排气系统轴对称收敛－扩散喷管方案的选择提供了优化方案。     

准各向同性基层上椭圆形子层的屈曲

通过改进文献[1]中假设的挠度函数,使Rayleigh-Ritz法能用于计算准各向同性基层上任意对称椭圆形子层的临界应变,然后以单向层板为主,探讨了临界应变随基层泊桑比ν,椭圆半轴之比λ,子层角θ和单层铺设角α的变化规律。     

新世纪战机F—35横空出世

当前美国军队第一线战机大都是二十年前的作品，虽然这些飞机性能依旧卓越，但随着俄罗斯、欧洲以及亚洲的一些主要国家相继研制了多种先进型号的战机，美国人也感觉到了压力。为此，美国空军（ＵＳＡＦ），美国海军（ＵＳＮ），美国海军陆战队（ＵＳＭＣ）和英国皇家海军（ＲＮ）联合招标，希望研制一种先进攻击战斗机。洛克希德．马丁公司以其优异的设计最终排除众多竞争对手，脱颖而出，夺得了这项价值３，０００多亿美元的有史以来最大的军队采购合同。２００１年１０月 ２６ 日，美国国防部已经正式宣布与该公司签订研制、生产新世纪战…     

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

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

光纤陀螺在民用领域的应用与开发

本文对光纤陀螺在民用领域中的应用作了初步的探讨，并详细讨论了光纤陀螺在水坝体应变测试中模拟实验情况。