论文部分内容阅读
提出了基于双择判决有向图(Binary Decision Digraph, BDD)求解故障树的全部PIS的新方法,该方法将故障树转化为BDD,通过反对称规律将故障树的BDD转化为对偶BDD,再基于该对偶BDD用迭代算法实施第二次对偶运算,从而达到求原故障树全部质蕴涵集的目的.
一种基于BDD求解PIS的新方法
【摘 要】
：
提出了基于双择判决有向图(Binary Decision Digraph, BDD)求解故障树的全部PIS的新方法,该方法将故障树转化为BDD,通过反对称规律将故障树的BDD转化为对偶BDD,再基于该对偶B
【机 构】
：
空军雷达学院数学教研室,国防科技大学,武钢信息中心
【出 处】
：
系统工程与电子技术
【发表日期】
：
2004年期
其他文献
0 引言在我国电力系统配电网中,由于还不能达到多电源供电,在3 kV～35 kV中压配电系统中,大部分采用中性点不接地系统.随着20世纪末工业规模的扩大,系统配电网供电回路也不断扩
目的 评价中西医结合治疗原发性尿酸性肾病的临床疗效及安全性.方法 全面检索维普数据库(1989-2011年)、万方数据库(1989-2011年)、中国知识期刊网(1989-2011年)、MEDLINE(1
密集波分复用 (DWDM )技术在提高传输能力的同时 ,还具有无可比拟的联网优势。使用光滤波器件或光开关就可构成重构性的具有联网功能的光分插复用器(OADM )。OADM和DWDM技术
本文提出了一个分层的实时视频传输系统模型CRR .在CRR中 ,作者设计了一个高效的应用级的Mul ticast协议RTMTP ,利用逻辑时钟和缓冲队列的处理保证视频传输的实时性 ;加入了
设计实时信号处理系统时 ,必须根据任务的特点选择适当的处理机结构。在满足性能指标的同时 ,还要考虑体积、功耗、可维护性等因素。简要叙述了常用的信号处理系统类型与处理
以异丙醇铝为前驱物，将溶胶－凝胶工艺应用于硬质合金刀片涂层，研制成功一种新型的陶瓷涂层刀片，从而为涂层刀具制造展示了一种全新的涂层方法。使用浸渍提拉法对刀具基体进行涂层
通过几座水电站的导流洞改建旋涡竖井式泄洪洞的试验研究 ,优化结构体型 ,改善流态 ,降低流速防止结空蚀 ,避免出口冲刷和雾化现象 .使研究成果能满足高水头、大泄量泄洪洞的
本文详细的分析了自平衡电桥激励的压力传感器的输出信号U与桥电压Ve、供电电压Vcc及流体压力P之间的关系 ,并指出 ,不仅对桥电压而且对总激励电压都存在零点电漂移 .在U～Vcc
借鉴聚类思想和万有引力计算方法,提出了解决基于示例学习中两个关键问题的新思路.这两个新思路分别是,利用示例邻近同类其它示例数目来描述该示例潜在预测能力,以及利用实例
利用目标到达角 (DOA)和到达时间 (TOA)作为测量数据 ,采用最优加权最小二乘估计和基于机动加速度的非零均值时间相关模型的自适应卡尔曼滤波算法 ,通过加速度方差对滤波增益