【摘 要】
：
为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题,给出了一个基于同构节点的动态故障树分析方法。为每个节点建立一个对象,识别同构节点,求解时对于同构节点仅计算
【机 构】
：
国防科学技术大学计算机学院,63880部队
【基金项目】
：
国家自然科学基金项目（60904082）, 国防预研基金项目（51320010201）
论文部分内容阅读
为了解决动态故障树研究领域的马尔可夫链状态空间爆炸问题,给出了一个基于同构节点的动态故障树分析方法。为每个节点建立一个对象,识别同构节点,求解时对于同构节点仅计算一次,从而减少状态空间中的状态数目、缩短计算时间。运用该方法对空间信息处理平台进行可靠性分析,并与其他方法进行对比,结果表明,如果系统结构具有较强的冗余特征,该方法在求解效率上具有比较明显的优势。
其他文献
在理解民族文化艺术内涵的基础上,把握和创造性地利用新疆民族民间美术资源,研究、开发出具有地域文化特色课程,对于新疆高校保持特色办学,开拓创新,践行新疆精神,将新疆各民
铬因其硬度高、耐磨、润滑、导电、憎油水及耐蚀等性能,被用于轧辊表面而改变其本来的性能,它给冶金工业带来了巨大的利益。它减少了换辊次数,提高了轧制率,轧出的薄板清晰、
介绍了一种面向高性能计算的芯片组,在设计和实现的基础上抽象出信道和交叉开关的环境参数,围绕高性能计算的通信特征分析了测试模型参数,并给出与性能评价相关的各个参数;建
对玉米植株图像的茎叶进行分割,为组分表型分析、植株对环境胁迫的响应等后续研究提供参数和依据。采用内布拉斯加大学林肯分校植物表型数据集中的玉米植株图像,自动进行玉米植株图像的裁剪和二值化;通过骨架细化算法建立植株的骨架模型,并设定阈值去除骨架中的毛刺;然后检测骨架上的端点和交叉点,采用二叉树分析骨架模型,最终确立各级节点及各个叶片,从而实现茎叶分割。结果表明,建立的玉米植株茎叶分割算法,具有处理速度
国际、国内风险管理与内部控制的经验教训,不仅要求注意两者的区别与联系,而且要求现阶段的证券公司应建立和完善风险管理与内部控制体系,使两者相互融合,达到企业经营管理的
针对单传感器图像目标检测概率相对较低的问题,提出用来自两个传感器的图像分别进行目标检测,并基于加权证据理论将检测结果进行决策级融合。在对同一地区SAR图像和高光谱图像进行决策级融合过程中,各证据的权值确定采取了以传感器信任度决定权值的方法,实现了各传感器之间图像信息最优化互补。实验结果表明,在虚警概率为10-3数量级的条件下,加权融合后的检测概率达到84.51%,比仅用单一高光谱图像和SAR图像进
为进一步提高Vienna拓扑中三相整流器的功率密度,将LCL滤波器引入三相Vienna拓扑整流器前端。基于Vienna拓扑,对LCL滤波器进行建模分析。根据三相四线制的Vienna拓扑整流器和
４０例轻、中度高血压病患者服安慰剂１周后，服伊拉地平５ｍｇ／ｄ×２８ｄ，结果血压显著降低（Ｐ＜０．０１），肾血流量、肾小球滤过率显著增加（Ｐ＜０．０１），肾血管阻力显著降低（Ｐ＜０．０１），而滤过分数不受影响。提示伊拉地平有保护高血压病
分析慢性硬膜下出血肿（ＣＳＤＨ）术后并发症硬脑膜下血肿，硬脑膜外血肿，脑内血肿，脑水肿，张力性气颅的原因及其治疗措施，并对其预防措施进行了讨论。
<正>余干县按照"围绕产业抓党建、抓好党建兴产业"的要求,全面实施"建100个产业党支部、培育1000名党员创业标兵、引领10000户群众致富"的"百千万"产业党建富民工程,探