期刊文献+
共找到55篇文章
< 1 2 3 >
每页显示 20 50 100
Reliability Analysis of Satellite Turntable System under Multiple Operation Modes Based on Multi-Valued Decision Diagrams
1
作者 Peng Zhang Zhijie Zhou +2 位作者 Yao Ding Dao Zhao Yijun Zhang 《Journal of Beijing Institute of Technology》 EI CAS 2023年第1期52-68,共17页
As a payload support system deployed on satellites,the turntable system is often switched among different working modes during the on-orbit operation,which can experience great state changes.In each mode,the missions ... As a payload support system deployed on satellites,the turntable system is often switched among different working modes during the on-orbit operation,which can experience great state changes.In each mode,the missions to be completed are different,consecutive and non-over-lapping,from which the turntable system can be considered to be a phased-mission system(PMS).Reliability analysis for PMS has been widely studied.However,the system mode cycle characteristic has not been taken into account before.In this paper,reliability analysis method of the satellite turntable system is proposed considering its multiple operation modes and mode cycle characteristic.Firstly,the multi-valued decision diagrams(MDD)manipulation rules between two adjacent mission cycles are proposed.On this basis,MDD models for the turntable system in different states are established and the reliability is calculated using the continuous time Markov chains(CTMC)method.Finally,the comparative study is carried out to show the effectiveness of our proposed method. 展开更多
关键词 phased-mission systems multi-valued decision diagrams continuous time Markov chains(CTMC) reliability analysis satellite turntable system
在线阅读 下载PDF
Analysis of Phased-Mission System Reliability and Importance with Imperfect Coverage 被引量:6
2
作者 陈光宇 黄锡滋 唐小我 《Journal of Electronic Science and Technology of China》 2005年第2期182-186,共5页
Accounting for static phased-mission systems (PMS) and imperfect coverage (IPC), generalized and integrated algorithm (GPMS-CPR) implemented a synthesis of several approaches into a single methodology whose advantages... Accounting for static phased-mission systems (PMS) and imperfect coverage (IPC), generalized and integrated algorithm (GPMS-CPR) implemented a synthesis of several approaches into a single methodology whose advantages were in the low computational complexity, broad applicability, and easy implementation. The approach is extended into analysis of each phase in the whole mission. Based on Fussell-Vesely importance measure, a simple and efficient importance measure is presented to analyze component’s importance of phased-mission systems considering imperfect coverage. 展开更多
关键词 RELIABILITY binary decision diagram for phased-mission systems generalized and integrated algorithm imperfect coverage model fussell-veseley importance measure
在线阅读 下载PDF
磁流变液制动器系统区间动态可靠性分析
3
作者 杨恒 张宇鹏 +3 位作者 杨鹏凯 李淑君 董青 王震 《哈尔滨工程大学学报》 北大核心 2025年第2期301-308,319,共9页
针对磁流变液制动器结构冗余、失效数据少且动态失效等问题,本文引入动态故障树和区间理论,提出一种区间动态故障树的磁流变液制动器系统可靠性分析方法。融合区间理论和动态故障树,提出区间动态故障树方法,并推导了区间动态故障门和区... 针对磁流变液制动器结构冗余、失效数据少且动态失效等问题,本文引入动态故障树和区间理论,提出一种区间动态故障树的磁流变液制动器系统可靠性分析方法。融合区间理论和动态故障树,提出区间动态故障树方法,并推导了区间动态故障门和区间动态故障树重要度求解方法;分析和定义了磁流变液制动器的故障模式影响及危害性和严酷度等级,同时,建立了磁流变液制动器的系统动态故障树;以某新型多槽式磁流变液制动器为例开展了可靠性和重要度分析,验证了方法的可行性和与产品失效的一致性。研究为磁流变液制动器的推广应用和优化和改进优化提供了理论依据。 展开更多
关键词 磁流变液制动器 区间理论 动态故障树 MARKOV链 二元决策图(BDD) 模块化分解 系统可靠性 重要度
在线阅读 下载PDF
基于贝叶斯网络和仿真分析的矿山机电系统可靠性评估
4
作者 石宝刚 《黄金》 CAS 2024年第9期31-35,51,共6页
为增加矿山机电系统的可靠性,及时发现并预防潜在故障,提高矿山生产效率、确保工人安全及设备正常运行,建立了故障信息数据诊断系统,收集矿山机电系统故障数据,同时构建了贝叶斯故障网络,并利用ITE结构将其转化为二元决策图,对机电系统... 为增加矿山机电系统的可靠性,及时发现并预防潜在故障,提高矿山生产效率、确保工人安全及设备正常运行,建立了故障信息数据诊断系统,收集矿山机电系统故障数据,同时构建了贝叶斯故障网络,并利用ITE结构将其转化为二元决策图,对机电系统故障进行定性和定量分析。结果显示,在不同挖掘软件上,研究构建模型对机电系统故障的诊断准确率均达98%以上。在对某矿山机电系统实际评估中,测得绝缘老化或损坏、过载或过热、电子元件故障、内部短路对系统故障影响重要度最大,约为0.972。该故障分析系统有效提高了机电系统故障诊断的准确性和效率,对底层故障节点进行了有效评估,可为同类型机电系统的故障诊断和可靠性评估提供参考。 展开更多
关键词 贝叶斯网络 矿山机电系统 二元决策图 故障诊断 仿真分析 可靠性评估
在线阅读 下载PDF
基于动态故障树的卫星系统可靠性分析 被引量:47
5
作者 张晓洁 赵海涛 +2 位作者 苗强 张伟 黄洪钟 《宇航学报》 EI CAS CSCD 北大核心 2009年第3期1249-1254,共6页
卫星系统作为一种高可靠产品,具有复杂的冗余结构。以卫星系统为对象,研究了动态故障树方法分析过程中静态子树及动态子树的处理方法。分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。将所... 卫星系统作为一种高可靠产品,具有复杂的冗余结构。以卫星系统为对象,研究了动态故障树方法分析过程中静态子树及动态子树的处理方法。分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。将所得结果与可靠性框图、马尔科夫等方法所得结果进行了比较。 展开更多
关键词 动态故障树 可靠性建模 马尔科夫 二元决策图 卫星系统
在线阅读 下载PDF
基于改进BDD算法的导弹安控系统故障树仿真分析 被引量:10
6
作者 袁静 胡昌华 +1 位作者 徐瑞 龙勇 《系统仿真学报》 EI CAS CSCD 北大核心 2007年第1期9-12,共4页
针对传统的应用于导弹安控系统故障树二元决策图(BDD)算法的不足,介绍了一种基于改进BDD的快速故障树(CBDD)算法。CBDD算法在传统算法的基础上发展了一套新的公式来处理关联系统的If-Then-Else(ITE)的连接运算,减化了BDD结构,通过每一... 针对传统的应用于导弹安控系统故障树二元决策图(BDD)算法的不足,介绍了一种基于改进BDD的快速故障树(CBDD)算法。CBDD算法在传统算法的基础上发展了一套新的公式来处理关联系统的If-Then-Else(ITE)的连接运算,减化了BDD结构,通过每一步中的截断和蕴涵操作使得关联系统的大型故障树可以在少量内存和短时间内高效的完成。仿真实例证明了采用CBDD算法较传统BDD算法在应用范围和算法效率上有一定提高。 展开更多
关键词 二元决策图 故障树 Shannon分解 关联系统
在线阅读 下载PDF
一种基于BDD的多阶段任务系统可靠度新算法 被引量:10
7
作者 张涛 郭波 +1 位作者 谭跃进 刘芳 《系统工程与电子技术》 EI CSCD 北大核心 2005年第3期446-448,470,共4页
BDD被应用于多阶段任务系统的可靠性分析中,提出了一种新的基于BDD的多阶段任务系统可靠度算法,算法中提出了一次性生成阶段任务系统BDD的快速算法,在生成的BDD的基础上,得到系统的结构函数并计算多阶段任务系统的可靠度,该算法有效解... BDD被应用于多阶段任务系统的可靠性分析中,提出了一种新的基于BDD的多阶段任务系统可靠度算法,算法中提出了一次性生成阶段任务系统BDD的快速算法,在生成的BDD的基础上,得到系统的结构函数并计算多阶段任务系统的可靠度,该算法有效解决了马尔可夫链等方法遇到的组合空间爆炸问题,最后结合应用实例,验证了该算法的有效性。 展开更多
关键词 可靠性分析 多阶段任务系统 二分决策图
在线阅读 下载PDF
电力系统低压减载和低频减载协调控制策略 被引量:28
8
作者 佘庆媛 沈沉 +1 位作者 乔颖 谭伟 《电力系统自动化》 EI CSCD 北大核心 2008年第23期23-27,共5页
低压减载和低频减载是分别解决电力系统中电压稳定问题和频率稳定问题的最常用手段。实际系统中,电压稳定问题和频率稳定问题往往是互相耦合、共同存在的,单独采用一种策略难以同时解决2个问题。文中提出了一种可以实现低压减载和低频... 低压减载和低频减载是分别解决电力系统中电压稳定问题和频率稳定问题的最常用手段。实际系统中,电压稳定问题和频率稳定问题往往是互相耦合、共同存在的,单独采用一种策略难以同时解决2个问题。文中提出了一种可以实现低压减载和低频减载协调控制的方法。该方法将切负荷控制中的优化问题转化成一个可满足性校验问题,然后采用"搜索+校验"的思路进行求解。求解过程中先采用有序二元决策图(OBDD)等快速搜索算法缩小决策空间,然后针对其中的策略进行可满足性校验。该方法不用求解复杂的多目标、混合整数优化问题,直接得到可行的切负荷策略。最后给出了基于此方法的仿真算例,并通过时域暂态仿真验证了结果的准确性。 展开更多
关键词 电力系统 低压减载 低频减载 有序二元决策图(OBDD)
在线阅读 下载PDF
基于故障树分析的航空电子系统BIT诊断策略设计 被引量:8
9
作者 张超 马存宝 +1 位作者 宋东 许家栋 《计算机测量与控制》 CSCD 2008年第1期12-16,共5页
为解决故障搜索时的多径问题,以故障树模型为基础,综合考虑可靠性和测试费用等因素提出了一种航空电子系统BIT诊断策略设计新方法;引入费用诊断重要度(CDIF)来衡量测试费用对BIT故障诊断的影响,利用二元决策图对故障树进行定性和定量分... 为解决故障搜索时的多径问题,以故障树模型为基础,综合考虑可靠性和测试费用等因素提出了一种航空电子系统BIT诊断策略设计新方法;引入费用诊断重要度(CDIF)来衡量测试费用对BIT故障诊断的影响,利用二元决策图对故障树进行定性和定量分析,据此构建出基于最小割集和CDIF的BIT诊断决策树;在某型机载INS/GPS组合导航系统BIT设计中的应用验证了该方法的有效性与实用性,与基于AO*搜索和基于贪婪算法的两种诊断策略设计方法比较可知该方法的计算复杂度更小。 展开更多
关键词 故障树 测试费用 航窄电子系统 BIT故障诊断 二元决策图 诊断决策树
在线阅读 下载PDF
随机共因失效条件下的多阶段任务成功概率评估研究 被引量:8
10
作者 曹文斌 胡起伟 +1 位作者 苏续军 赵建民 《兵工学报》 EI CAS CSCD 北大核心 2017年第4期766-775,共10页
共因失效广泛存在于装备作战任务过程中,合理地对共因失效事件进行建模,对于准确评估装备任务成功概率,具有十分重要的意义。针对现有的多阶段任务成功概率评估模型中没有考虑的一类随机共因失效问题,采用隐式二元决策图法,建立了当共... 共因失效广泛存在于装备作战任务过程中,合理地对共因失效事件进行建模,对于准确评估装备任务成功概率,具有十分重要的意义。针对现有的多阶段任务成功概率评估模型中没有考虑的一类随机共因失效问题,采用隐式二元决策图法,建立了当共因失效事件的产生服从随机分布时的多阶段任务成功概率评估解析模型,并以某型火箭炮装备为实际案例对模型进行了验证。研究结果表明:所建立的数学模型可以解决随机共因失效条件下的多阶段任务成功概率评估问题,为评估装备多阶段任务成功概率提供了模型支撑;合理地任务剖面分析与建模有助于准确评估装备任务成功概率。 展开更多
关键词 系统评估与可行性分析 多阶段任务 成功概率 随机共因失效 二元决策图
在线阅读 下载PDF
基于BDD的多态系统概率安全评估方法研究 被引量:8
11
作者 周经伦 周忠宝 +1 位作者 彭宝华 任培 《系统工程学报》 CSCD 北大核心 2009年第3期380-384,共5页
由于传统的概率安全评估方法难以处理多态系统,本文通过一个煤气泄漏多态系统实例提出了一种基于BDD的多态系统概率安全评估方法.首先将多态事件树中的事故序列用多态布尔表达式进行描述,进而将多态布尔表达式转化为BDD,给出了一种基于... 由于传统的概率安全评估方法难以处理多态系统,本文通过一个煤气泄漏多态系统实例提出了一种基于BDD的多态系统概率安全评估方法.首先将多态事件树中的事故序列用多态布尔表达式进行描述,进而将多态布尔表达式转化为BDD,给出了一种基于不交化思想的BDD定量算法.在此基础上,提出了实用的基于BDD的多态系统概率安全评估步骤,并通过实例说明了BDD定量算法的正确性. 展开更多
关键词 二元决策图 多态系统 概率安全评估 安全性分析 事故序列
在线阅读 下载PDF
基于BDD的多阶段任务系统可靠性 被引量:3
12
作者 胡小华 刘依路 +2 位作者 张如华 叶丹 魏朝阳 《辽宁工程技术大学学报(自然科学版)》 CAS 北大核心 2013年第10期1415-1418,共4页
针对多阶任务系统中考虑共因失效后,系统的阶段依赖性和共因失效而增加了系统可靠性分析的复杂度,采用分析显式和隐式方法存在不足的问题,提出了一种基于二元决策图考虑共因失效的故障树可靠性分析方法.该方法首先忽略共因失效情况下的... 针对多阶任务系统中考虑共因失效后,系统的阶段依赖性和共因失效而增加了系统可靠性分析的复杂度,采用分析显式和隐式方法存在不足的问题,提出了一种基于二元决策图考虑共因失效的故障树可靠性分析方法.该方法首先忽略共因失效情况下的故障树并将其转化为多阶段任务系绕的二元决策图(PMS-BDD),求出系统的不可靠度表达式;然后,通过隐式方法将该表达式转化成包含共因失效信息的不可靠度或可靠度表达式,并依据求得的表达式进行相应的可靠性分析.研究结果表明:该算法与显示式算法的结果相同.该研究结论为多阶任务系统可靠性分析提供一种更加简便方法. 展开更多
关键词 多阶段任务系统 共因失效 系统可靠性 隐式方法 二元决策图 多阶段任务系绕的双值决策图(pms-bdd) 故障树 隐式算法
在线阅读 下载PDF
基于二元决策图的多阶段任务系统可靠性分析 被引量:5
13
作者 周厚顺 黎放 胡斌 《海军工程大学学报》 CAS 北大核心 2012年第4期97-100,共4页
分析了多阶段任务系统(PMS)可靠性分析中传统二元决策图(BDD)建模方法的不足,提出了一种将多阶段任务失效事件分解为互不相容的阶段失效事件,然后分别建立可靠性BDD模型的新方法。通过该方法建立的PMS可靠性BDD模型不但可以计算总体任... 分析了多阶段任务系统(PMS)可靠性分析中传统二元决策图(BDD)建模方法的不足,提出了一种将多阶段任务失效事件分解为互不相容的阶段失效事件,然后分别建立可靠性BDD模型的新方法。通过该方法建立的PMS可靠性BDD模型不但可以计算总体任务失效概率,同时也能计算任务在各阶段发生失效的概率。最后,给出了一个算例,验证了该算法的有效性。 展开更多
关键词 可靠性 多阶段任务系统 二元决策图
在线阅读 下载PDF
基于专家系统的离合器制动器故障诊断 被引量:8
14
作者 李猛 曹春平 孙宇 《锻压技术》 CAS CSCD 北大核心 2017年第12期163-169,共7页
为了提高离合器制动器故障诊断的效率,针对离合器制动器故障的特点,设计了一种基于故障树分析和二元决策图的专家系统结构,提出了一种基于专家系统的离合器制动器故障诊断方法。首先利用鱼骨图分析离合器制动器的故障原因,建立故障树;... 为了提高离合器制动器故障诊断的效率,针对离合器制动器故障的特点,设计了一种基于故障树分析和二元决策图的专家系统结构,提出了一种基于专家系统的离合器制动器故障诊断方法。首先利用鱼骨图分析离合器制动器的故障原因,建立故障树;其次利用二元决策图对故障树进行定性分析,获取诊断专家知识,并用产生式规则表示知识,建立故障诊断知识库;随后利用二元决策图对故障树进行定量分析,求解最小割集的重要度,确定规则优先级,从而解决规则冲突问题,提高故障诊断的效率;最后开发了离合器制动器故障诊断专家系统的原型系统,结果证明了该方法的有效性和可行性。 展开更多
关键词 离合器制动器 专家系统 二元决策图 故障树分析 最小割集
原文传递
基于二元决策图的数控机床转塔刀架系统重要度分析 被引量:4
15
作者 于捷 石耀霖 +1 位作者 申桂香 贾亚洲 《制造技术与机床》 CSCD 北大核心 2009年第3期132-136,共5页
部件重要度是指当一个部件发生故障时,对其顶事件发生概率的贡献程度,是系统中各分系统或部件重要程度的一种数量体现。根据数控机床中各部件对顶事件发生的重要性大小进行系统设计的改进是十分有用的。部件重要度计算就是在某种意义下... 部件重要度是指当一个部件发生故障时,对其顶事件发生概率的贡献程度,是系统中各分系统或部件重要程度的一种数量体现。根据数控机床中各部件对顶事件发生的重要性大小进行系统设计的改进是十分有用的。部件重要度计算就是在某种意义下将系统各部件按其重要性大小排列出来,根据部件重要度大小来辅助系统设计,用较少的人力、物力提高原有系统的可靠性指标,建立优化维修检测法规等[1]。 展开更多
关键词 二元决策图(BDD) 数控机床 故障树 重要度 转塔刀架系统
在线阅读 下载PDF
大型工程项目施工系统可靠性评估 被引量:3
16
作者 杨莉琼 李世蓉 徐波 《重庆大学学报(社会科学版)》 CSSCI 北大核心 2012年第5期64-69,共6页
施工系统的可靠性评估有助于减少项目风险、优化工程目标。文章综合考虑项目质量、成本、时间和安全目标,提出基于有序二元决策图(OBDD)的施工系统可靠性评估方法。该方法便于计算机实现,具有很高的计算效率,适合大型工程项目。最后,通... 施工系统的可靠性评估有助于减少项目风险、优化工程目标。文章综合考虑项目质量、成本、时间和安全目标,提出基于有序二元决策图(OBDD)的施工系统可靠性评估方法。该方法便于计算机实现,具有很高的计算效率,适合大型工程项目。最后,通过算例演示了施工系统可靠性的评估过程,并验证了该方法。 展开更多
关键词 大型工程项目 施工系统 可靠性评估 OBDD
在线阅读 下载PDF
基于改进的动态故障树的惯导系统安全性分析 被引量:3
17
作者 武文斌 汪立新 +2 位作者 周小刚 姜泉璐 杨大林 《航天控制》 CSCD 北大核心 2011年第5期63-66,95,共5页
惯导系统的安全性是影响整个飞行器安全的重要因素。在利用动态故障树对惯导系统进行安全性分析时,针对马尔科夫链的组合爆炸和无法分析事件服从非指数分布系统的问题,引入了Monte-Carlo方法。提出了一种基于改进的最小割集的动态故障... 惯导系统的安全性是影响整个飞行器安全的重要因素。在利用动态故障树对惯导系统进行安全性分析时,针对马尔科夫链的组合爆炸和无法分析事件服从非指数分布系统的问题,引入了Monte-Carlo方法。提出了一种基于改进的最小割集的动态故障树分析方法,该方法通过改进最小割集的生成方法,确定相应的分析流程,综合了二元决策图、马尔科夫链和Monte-Carlo方法的优点。最后将该方法应用到惯性平台的倒台事故分析中,结果表明该方法避免了马尔科夫链的缺点,并可以进行定性和定量分析。 展开更多
关键词 惯导系统 动态故障树 二元决策图 马尔科夫链 MONTE-CARLO方法 最小割集
在线阅读 下载PDF
基于二元决策图的共因失效系统Birnbaum重要度计算 被引量:2
18
作者 王宁 张守京 +1 位作者 蔡志强 李淑敏 《西安工程大学学报》 CAS 2015年第1期84-89,94,共7页
在传统Birnbaum重要度理论及其计算方法基础上,提出了针对系统受共因失效影响情况下的共因失效故障树扩展方法和共因失效决策建模方法.以提高共因失效系统Birnbaum重要度计算效率为目标,借助二元决策图,对二态共因失效系统重要度计算模... 在传统Birnbaum重要度理论及其计算方法基础上,提出了针对系统受共因失效影响情况下的共因失效故障树扩展方法和共因失效决策建模方法.以提高共因失效系统Birnbaum重要度计算效率为目标,借助二元决策图,对二态共因失效系统重要度计算模型进行构建,给出了模型的相关算法,并以算法验证模型及算法的有效性. 展开更多
关键词 共因失效系统 Birnbaum重要度 二元决策图 故障树扩展
在线阅读 下载PDF
柔性制造系统中生产调度问题求解的一种符号算法 被引量:2
19
作者 古天龙 熊太平 赵岭忠 《计算机集成制造系统》 EI CSCD 北大核心 2007年第2期338-344,共7页
讨论了基于有序二叉决策图的有界Petri网符号分析,给出了其中镜像计算的一种新算法,进而建立了柔性制造系统生产调度问题的符号有序二叉决策图求解算法。该算法在求解过程中通过对状态空间及其搜索过程中相关数据的有序二叉决策图表示,... 讨论了基于有序二叉决策图的有界Petri网符号分析,给出了其中镜像计算的一种新算法,进而建立了柔性制造系统生产调度问题的符号有序二叉决策图求解算法。该算法在求解过程中通过对状态空间及其搜索过程中相关数据的有序二叉决策图表示,避免了状态和搜索的显示枚举,实现了隐式高效操作,进而改善了算法的计算性能。仿真实验表明了算法的有效性。 展开更多
关键词 赋时PETRI网 柔性制造系统调度 有序二叉决策图 符号算法
在线阅读 下载PDF
基于时态测试器的实时分支时态逻辑模型检测 被引量:3
20
作者 骆翔宇 黄欣玥 +3 位作者 古天龙 苏开乐 陈祖希 郑黎晓 《软件学报》 EI CSCD 北大核心 2022年第8期2930-2946,共17页
基于自动机理论的模型检测技术在形式化验证领域处于核心地位,然而传统自动机在时态算子上不具备可组合性,导致各种时态逻辑的模型检测算法不能有机整合.为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测,提出一种RTCTL... 基于自动机理论的模型检测技术在形式化验证领域处于核心地位,然而传统自动机在时态算子上不具备可组合性,导致各种时态逻辑的模型检测算法不能有机整合.为了实现集成限界时态算子的实时分支时态逻辑RTCTL*的高效模型检测,提出一种RTCTL*正时态测试器构造方法以及相关符号化模型检测算法,既证明了所提出的RTCTL*正时态测试器构造方法是完备的,也证明了该算法时间复杂度与被验证系统呈线性关系,与公式长度呈指数关系.基于JavaBDD软件包成功开发了该算法的模型检测工具MCTK2.0.0.完成了MCTK与著名的符号化模型检测工具nu Xmv之间的实验对比分析工作,结果表明:MCTK虽然在内存消耗上要多于nu Xmv,但是MCTK的时间复杂度双指数级小于nuXmv,使得利用MCTK验证大规模系统的实时时态性质成为可能. 展开更多
关键词 符号化模型检测 公平离散系统 正时态测试器 实时分支时态逻辑 二元决策图
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部