软件故障树分析实例研究

软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析.本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议.     

多尺度大视场十亿像素成像技术

十亿像素相机可以获取信息量较大的图像,在天文观测、航空航天遥感等领域具有广泛的应用前景。受探测器和光学设计水平的限制,传统的大视场十亿像素成像通过小视场相机扫描和图像拼接实现。为解决传统十亿像素相机实时性不高的问题,文章研究一种新型多尺度大视场十亿像素成像技术,从实现十亿像素成像的条件出发,阐述该技术的原理、优势及应用领域;分析系统独特的技术指标,包括物理锥角、重叠率等,梳理和归纳新型多尺度大视场十亿像素成像系统走向实用化过程中必须克服的关键技术。研究结果表明,该技术可在不提高系统复杂性的情况下大幅提高监视实时性。     

基于故障树分析法的引信作用可靠性分析

引信作为武器系统的核心控制部分,其可靠性决定了整个武器系统的最终毁伤效果.现有引信可靠性研究多集中于对某型引信或引信某个机构的可靠性分析.基于故障树分析法,以引信系统分析为基础:首先,根据引信结构及工作原理,分析常见的故障模式;然后,根据故障模式建立故障模型并以某型触发引信为例,进行定量和定性分析,得出影响该型触发引信...     

关键能力和专业能力相结合的教学模式探讨

文章从分析高职教育学生关键能力和专业能力培养中存在的问题入手,提出培养关键能力和专业能力相结合的课程体系建设,提出加强文化基础课程的地位,并构建关键能力与专业能力相结合的课程模式体系和创新教学方法。     

放射性勘查计量的发展及关键技术

放射性勘查计量从1958年开始简易点源标定,到1978年开始建立与天然辐射场2盯空间辐射近似的实物模型标准,经历了约20年的仪器检查性测试计量和30余年的统一标准计量的发展历程,先后共研建了12项计量标准和1项模拟试验装置,其中4项标准已获得了国家专项计量授权。从中掌握了多项关键技术,形成了独特的放射性勘查计量保障体系,计量保障涵盖了放射性区域调查、局部详查、钻探等整个勘查过程,在为国家放射性勘查提供计量保障的同时,还为核应急、核设施退役等伽玛辐射环境航空监测提供了计量保障。     

基于故障树的飞机结构腐蚀损伤模糊综合评判

针对飞机结构腐蚀损伤分析和评价过程中影响因素复杂且具有模糊性的问题,提出了基于故障树分析和模糊理论的方法对飞机结构在复杂环境下发生的腐蚀损伤进行综合评判.对飞机结构腐蚀损伤过程和机理进行分析,构建飞机结构腐蚀损伤故障树,建立腐蚀损伤影响因素的评判集;计算各评判因素的相对概率重要度,根据评判因素相对概率重要度的比重,建立评判因素权重集;确定飞机结构腐蚀损伤的评价集,建立从评判因素集到评价集的模糊映射;通过模糊关系的模糊变换,对服役环境引起飞机结构的腐蚀损伤进行定量评价.通过飞机铝合金结构和不锈钢结构在沿海环境条件下腐蚀损伤评判的实例分析,证明了该方法的有效性,可为飞机结构设计和维修提供依据.     

IKAROS太阳帆的关键技术分析与启示

分析了国外太阳帆的发展现状,重点论述了世界上首次成功飞行的太阳帆——太阳辐射驱动星际风筝航天器（IKAROS）的总体设计、材料设计、空间展开和姿态控制等关键技术,以及中国开展太阳帆和空间大型展开结构的总体设计、空间展开、姿态控制、空间环境适应性等关键技术,提出了系统开展以太阳帆为代表的大型轻质展开结构研制与应用的建议。     

我国小行星探测发展思路及关键技术探讨

介绍了国外小行星探测的发展状况,指出小行星探测正从飞越和伴飞探测向表面软着陆取样返回探测发展,从无人探测向载人探测发展,向多目标探测以及与新技术验证相结合的发展趋势和特点。提出我国小行星探测应分4步走的发展规划和发展思路建议,并论述了小行星探测包括载人小行星探测需要解决的轨道设计、自主采样等关键技术。以上建议和研究可为我国制定小行星深空探测战略规划提供参考。     

最小生成树算法及其应用

Kruskal算法和Prim算法是求最小生成树的常用算法,设计了这两种算法的C语言程序,并通过实例研究了这两种算法的实际应用价值。     

航空战术数据链系统及关键技术的探讨

在分析航空战术数据链系统的组成、在现代战争中的地位和作用以及国内外发展趋势的基础上,提出了发展航空战术数据链的一些关键技术,并进行了初步的分析。