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

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

稠密颗粒增强复合材料应变分布规律和刚度张量

针对高体积份数、随机分布、等轴状颗粒增强复合材料 ,研究了材料的应变分布规律 ,给出了基体和增强体应变平均值与材料微观结构参数之间的定量关系。结果表明 ,除应变平均值外 ,应变涨落是影响刚度张量的另一个重要因素 ,研究了应变涨落与材料微观结构参数之间的关系 ,并推导出了复合材料的刚度张量。与实验结果和以往的理论比较 ,预测结果与实验结果吻合良好     

ERP在航天制造部门的实施初探

ERP是一种先进的生产管理系统,航天产品“小批量、多品种”的生产特点为ERP的实施提出了新的需求。文章介绍了ERP的特点、实施目的并根据航天某小型制造部门的生产特点,提出了实施措施及建议。只要各方协同努力,ERP在航天制造部门是能够成功发挥其应有作用的。     

飞机导管标志研究与改进

分析了飞机各管路系统中导管标带识别、涂色识别和印章识别传统方法的不足，提出了采用激光刻制导管图号标记的新方法，阐明其基本原理和方法，并与传统方法作了比较分析。激光刻制方法使设计人员不用再在图样上注明导管的标志和辅助标志，减轻了设计的工作量，提高了工作效率，缩短了导管制造周期；同时减轻了飞机的重量，改善飞机性能；标记清晰、美观易认，有利于飞机的检查和维修。     

民航通信导航监视的危机管理

一、危机概念美国学者罗森豪尔特认为,危机是指“对一个社会系统的基本价值和行为准则架构产生严重威胁,并且在时间压力和不确定性极高的情况下必须对其作出关键决策的事件。”也就是指危机状态威胁到了现存的秩序。对于民航通信导航监视来说,危机是指对民航通信导航监视的保障     

美国MTS公司应用软件在测试上的应用

介绍了用美国ＭＴＳ公司的平面应变断裂韬度测试软件，对ＴＣ４合金进行ＫＩＣ测试的过程及结果。     

转变财政投资观念，促进经济发展

财政投资是政府运用国家财力调节宏观经济运行的重要手段，就如何重新确定财政投资范围，财政投资方式和财政投资产业的配置等方面进行了阐述。     

高精度圆度仪误差分离装置研制及测量不确定度分析

介绍了一种由程控型多齿分度台和高精度圆度仪组合而成的全自动误差分离装置，该装置能够使圆度仪主轴回转误差从被测工件测量结果中可靠分离，从而极大地提高了圆度测量不确定度，本文对该装置测量不确定度进行了分析。     

现代集合住宅户型设计中功能空间分析感悟

本文从集合住宅的发展谈起，简单提出几点设计新概念，重点对住宅户型设计中的功能空间进行探讨和分析。