卫星导航系统的体系安全性分析方法

为了应对卫星导航系统内部复杂关系等体系特征为其安全分析带来的挑战、全面识别和分析卫星导航系统面临的体系安全威胁、提高系统的安全性和服务能力,基于功能依赖网络分析理论提出了从体系角度研究卫星导航系统安全性的建模方法,重点对导航系统内组件系统之间交互关系导致的危险传播、任意失效组合进行了后果分析和原因调查。仿真结果表明该方法能清晰地描述危险传播和失效组合的过程以及进行正逆向的推理分析,也证明了该方法在卫星导航系统安全分析问题上的潜力和适用性。     

火箭系统：放心“天梯”如何建

它是中国航天史上第一次有明确的0.97可靠性和0.997安全性指标要求的运载火箭,它在社会公众中的知名度和美誉度最高,它被誉为——＂神箭＂。6月16日18时37分,长征二F遥九火箭托举着载有3名航天员的神舟九号飞船拔地而起。随着火箭的上升,一道壮美的弧线划过蓝色天际。不到10分钟,船箭分离。长征二F遥九火箭将神舟九号飞船准确送入近地点约200公里、远地点约220公里的初始轨道。这是长征二F火箭第10次发射,也是长征系列运载火箭第165次飞行。     

固体推进剂裂纹摩擦热点形成细观模型分析

分析机械撞击载荷作用下复合固体推进剂内部裂纹摩擦形成热点过程。研究在压应力与剪切应力作用下闭合裂纹滑移、扩展、摩擦生热、热扩散、推进剂热分解及与气相产物相互作用。利用断裂力学、热传导、推进剂热分解动力学方法,建立裂纹摩擦热点细观模型。通过模型数值计算,探讨推进剂裂纹摩擦产生高温热点的过程和条件。分析计算表明裂纹摩擦和扩展可导致推进剂形成高温热点。     

基于可信度的网络安全性分析方法

提出了一个基于可信度方法的网络安全性分析模型。该模型在脆弱点信息、脆弱点之间的关系、脆弱点与安全性的关系的表示中引入可信度因子,通过不确定推理对主机和网络的安全性进行分析。该模型能综合考虑诸多因素,有效处理安全性分析中的不确定知识。     

提高XENIX系统安全可靠性的途径

如何提高ＸＥＮＩＸ系统的安全性、稳定性是很重要的。文中提出的方法经实践证明行之有效,有益于ＸＥＮＩＸ系统的管理和维护。     

MIL-STD-1316D《引信安全性设计准则》概要分析

根据对MIL-STD-1316D的指导思想、技术背景和修改的主要内容的分析,说明美军标反映了90年代美军的引信技术水平,我国应尽快参照修改GJB 373-87《引信安全性设计准则》,以适用我国引信技术水平的发展。     

Petri网的活跃性和非死锁性的判定算法及证明

用Petri网分析系统的逻辑特性时很重要的是分析它的活跃性、非死锁性及安全性。在此提出两个算法—Petri网深度优先算法和活跃性判定算法,并加以证明。     

基于簇的无线传感器网络密钥管理方案

在无线传感器网络中,安全通信有两种类型:一对多和一对一.提出一套低复杂度算法产生并分配两种类型的密钥.算法对基于簇的层次型网络进行设计,算法包括初始密钥管理、周期密钥管理和簇动态密钥管理,算法中的所有通信都使用椭圆曲线数字签名方案验证.通过仿真实验,结果清晰地显示出该方案对资源受限的无线传感器网络是安全可行的.