论文部分内容阅读
软件安全性分析是保证型号系统安全性的重要手段。本文简述了软件安全性分析的目的、特点和分析程序,并以载人运载火箭故障检测处理软件安全性分析为切入点,阐述了软件安全性分析实施的技术要点和注意事项。
软件安全性分析在运载火箭上的应用
【摘 要】
：
软件安全性分析是保证型号系统安全性的重要手段。本文简述了软件安全性分析的目的、特点和分析程序,并以载人运载火箭故障检测处理软件安全性分析为切入点,阐述了软件安全性
【机 构】
：
中国航天标准化研究所中国长峰科技工业集团公司
【出 处】
：
第7届国际可靠性、维修性、安全性学术会议(The Seventh International Conference on
【发表日期】
：
2007年8期
其他文献
基于虚拟样机技术,应用ADAMS软件进行了3-RPS并联机器人运动可靠性的研究。首先在ADAMS/View模块下建立参数化的虚拟样机模型。考虑各原始误差的随机性,利用随机抽样获得不同
定期检测和维修是保证产品性能的有效手段。由于检测因素（如检测仪器性能、检测人员状况等）对测试结果的模糊影响,使每次检测到的故障和事故隐患存在着模糊不确定性；由于实际分
本文以直升机复合材料主结构尾段的研制为基础,介绍了复合材料整体共固化结构的铺层细节设计、成型工艺技术在某直升机主结构上的应用,对所涉及的一些设计和工艺问题进行了概
本文根据样机右侧飞的飞行试验,对尾桨涡环现象进行了计算分析;根据右侧飞试验结果估算出样机悬停回转时尾桨处于涡环状态的偏航角速度范围;将试验结果与国内外的涡环状态判
本文通过理论和试验相结合的方法,分析和验证了直升机复合材料主结构与起落架的连接设计,为直升机复合材料主结构的研制奠定了坚实的基础。研究结果表明,采用有限元分析方法
本文阐述了厚壁大尺寸制件固化工艺成型的特点.根据星型件树脂体系固化特性,结合制件成型实际情况,通过控制制件起始反应时间和速度,有效的控制放热峰温度,采用二次合模方式,
本文开展了复合材料圆管轴向压溃模式和吸能特性的试验研究,得到压溃变形过程的载荷-位移曲线，比较了不同材料和不同尺寸圆管的吸能曲线,分析材料、厚度、铺设角等设计参数对
本文阐述了直9旋翼整体配重国产化研制过程及结果,包括确定方案、选取材料、图样设计、选取铸造方案、设计与制造金属模具、确定工艺参数及质量检验等全过程。
在故障诊断专家系统中,故障诊断经常采用基于规则的推理。如何从故障数据中归纳出故障诊断推理规则,即：如何获取推理的知识,这是一个公认的难题,也是专家系统设计的瓶颈。为了