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

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

安全性评估流程在现役飞机维修中的应用研究

针对部分现役国产飞机在研制阶段尚未应用国际主流的安全性评估流程和方法、客观上存在一些单点故障导致飞行事故和飞行事故征候等问题,探讨在已定型飞机上使用安全性评估流程方法和思路识别可能存在的导致飞机产生飞行事故征候及以上重大问题的故障点、风险点,以作为维修企业提升飞机维修质量安全水平的参考。     

企业信息化建设中的标准资源发展策略

将标准资源纳入企业信息化生态建设中统筹,分析其与各层次业务系统的关系。通过对标准资源建设的现状进行分析研究,确定以应用为导向的标准资源建设方向,勾画出相应的企业标准资源发展策略。     

高超声速风洞测力数据的关联研究

通过比较分析法研究AGARD-B标模在BIA的FD-07风洞中气动力测量数据与其它高超声速风洞设备测量结果的相互关联。其目的，既可以综合鉴定FD-07风洞的流场性能和测试水平，也可以从另外意义上为数值方法的程序校验提供必要的技术支持。结果表明，在Ma=4.94-7.96范围内，所测得AGARD-B标模的力、力矩和压心位置，不仅随Ma和α的变化趋势与其它风洞一致，而且其变化量比较接近于各风洞测力数据拟合的逼近曲线。     

杠杆式力标准机自动控制系统

介绍单片机用于杠杆式力标准机控制、实现检定过程自动化的设计方法，重点介绍硬件结构和软件编制。     

浅谈企业信息化的标准体系建设

概述了企 业 建 设 信 息 化 标 准 体 系 的 必 要 性 , 简 介 了 企 业 信 息 化 工 程 标 准体 系 的 特 点 、 目 标 和 任 务 , 重 点 阐 述 了 建 立 企 业 信 息 化 工 程 的 标 准 化 内 容 和 方 法 。     

第11届国际计量大会内容介绍

介绍了2003年10月在法国举行的第11届国际计量大会的概况和大会论文发表的情况。     

不可忽略的ATM网络安全

本文结合中国民航数据网(ATM网）的实际情况，并根据ITU—T和删论坛中有关删安全的相应论述，对删网络的安全性进行了简述。     

企业标准体系的建立与完善及对策

介绍企业标准体系的基本构成、特征和建立的原则,就建立完善的企业技术标准体系、制定企业管理标准体系和工作标准等阐述体系建立的途径,并对企业标准体系的管理、完善和改进等有关的几个问题进行探讨。