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

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

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

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

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

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

日本海上自卫队的反潜部署——庞大的太平洋反潜战斗力

据外电报道，2003年11月间中国大陆一艘“汉”级潜艇曾靠近日本水道，该艇系自关岛驶返青岛姜哥庄期间被美国侦察卫星发现，通知日本海上自卫队续予以监视追踪，2005年5月27日，日本《时事通讯》社报道，海上自卫队的侦察机发现中国海军远洋测量船“871号”，在钓鱼岛西南570千米海域出现，认为这是日本2005年以来，首次在该处海面发现中国海军远洋测量船。[编者按]     

飞机导管标志研究与改进

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

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

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

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

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

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

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

新型半导体导电类型判别仪设计与研制

在详细分析金属和半导体接触的整流理论基础上,通过增加补偿二极管、保护电路和数码显示电路改进了传统的三探针整流法,设计了一款用于对半导体材料导电类型判别的测试仪,实际运行结果表明该测试仪具有准确度高、电路结构简单、操作简便、成本低等特点,可满足实际生产和教学的需要.