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

随着软件的应用规模越来越大,软件系统一旦出现故障,很可能会造成人员伤亡或财产等重大损失,因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域,作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时,可信性会下降,会影响到与它可信关联的组件可信性,从而影响到整个系统的可信...     

国外直升机制造商在中国

汶川地震之后,国人对直升机的关注度大幅提升,北京航展之前本刊记者走访了美国西科斯基,欧洲直升机和阿古斯特·威斯特兰直升机公司。这些公司有的已进入中国直升机市场几十年,在我国直升机市场上占有先入为主的优势地位,并已与我国直升机工业建立了紧密的国际合作伙伴关系;有的则是中国市场的后来者,但却取得了重要的市场突破。本文根据我们采访的先后顺序分别介绍这些公司在我国工业合作和市场销售方面的发展近况。     

BMCMC法分析2009年墨西哥H1N1流感病毒与中国流感病毒的进化关系

从GenBank上下载所有1978-2009年在中国分离的H1N1亚型流感病毒的HA和NA基因及所有同期在中国分离的A型流感病毒(宿主包括人、猪和禽)的PB1、PB2、PA、NS、NP和M基因的序列,将这些基因序列与2009年在中国发生的墨西哥H1N1流感病毒的对应基因序列进行BMCMC法分析,绘制BMCMC进化树,结果揭示中国发生的墨西哥H1N1流感病毒的HA和NA基因相对独立于中国季节性H1N1流感病毒;M基因相对独立于中国国内的季节性流感病毒和禽源流感病毒;PB1基因包含在季节性流感病毒的分群内;PB2基因和NS基因与国内重排的流感病毒相关,但相对独立于国内的季节性流感病毒和禽源流感病毒;PA基因包含在国内禽流感病毒的分群内;NP基因则与国内传统的猪流感病毒相关,但相对独立于国内的季节性流感病毒和禽源流感病毒.     

确定结构几何变形关系的简便方法

本文对工程结构（无论是静定的还是超静定的结构）的几何变形关系进行分析和讨论,指出了传统几何作图法的繁琐与不足,提出了建立在逆向思维方式和高等数学基础上的解析方法,比之几何法更中简便,易于掌握。     

“微风”(Zephyr7)无人机机翼力学性能分析

利用ABAQUS有限元软件对英国的"微风"(Zephyr7)无人机机翼结构进行了静力学分析,重点分析了主梁直径和蒙皮张力对机翼结构抗弯性能的影响。分析结果表明,主梁的抗弯与抗扭性能随着其直径的增大呈几何级数提升,机翼抗弯性能随着其蒙皮张力的增加近似线性增加。     

提高数字器件频率稳定度测量分辨率的研究

提出了一种利用信号时空关系测量相位差来修正差拍周期的方法,并通过实验证明了该方法的正确性和可行性。此方法在提高数字器件频率稳定度测量分辨率方面还有很大的空间,是一种很有潜力的高精度测量技术。     

点目标假设下的二维精度体系研究

点目标假设下,在二维圆概率偏差线性公式的基础上,给出了基于纵横向均方根误差分段的精确公式。同时应用概率论正态分布理论,对二维情况下均方根误差、圆概率偏差和概率偏差的相互关系进行了研究,通过理论推导和数值计算给出了二维精度指标相互转换的拟合公式,完善了满足工程应用的二维精度体系。研究结果可在精度指标的论证、设计和考核中使用。     

论科学与伦理学的相互影响 --关于伦理学的"科学化"与科学的"伦理学化"趋势问题

现代社会是一个科学技术具有绝对权威的世界,在这一世界中,一方面科技发展对伦理学提出了挑战,扩展了伦理学的范围和内容,另一方面,伦理学的基础与方法面临着“科学”的合法性诉求。已有的研究大都局限于外在的关系,论文通过对这种悖论与互动的探讨,揭示了伦理学“科学化”和科学“伦理学化”的趋势,将科学与伦理学关系的研究进一步深入化。     

在轨任务规划的新型开发方法

作为未来航天器智能化的发展方向,在轨任务规划的实现是一项涉及多个领域知识的复杂软件工程问题,需要与之匹配的先进开发方法。本文基于动态语言和嵌入式操作系统,提出了一种在轨任务规划的开发方法;从需求出发,调研了一组适用于在轨任务规划应用的开源基础库,涉及航天器任务规划、地理信息数据库、地图投影、坐标变换、几何拓扑关系求解、线性规划等多个方面;将这些领域的典型开源库作为中间件移植到高性能星载计算机和嵌入式操作系统上,并进行了功能测试。本文的工作能给后续在轨任务规划系统的设计和实现提供启发和帮助。     

诊断键合图在液体火箭发动机故障诊断中的应用

研究了通过诊断键合图模型建立液体火箭发动机解析冗余关系的故障诊断方法。通过在液体火箭发动机键合图模型中加入观测信号和虚拟传感器的方法，建立其诊断键合图模型，并利用此模型构建了系统的解析冗余关系。提出了根据诊断键合图因果路径并利用解析冗余关系残差趋势分析建立具有残差变化方向故障特征矩阵的方法，使故障特征值能更好地反映故障特征。最后利用仿真数据对诊断结果进行验证和分析，表明该方法建模简单、诊断速度快、准确性高。