期刊文献+
共找到11篇文章
< 1 >
每页显示 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
Importance Analysis of a Multi-state System Based on Direct Partial Logic Derivatives and Multi-valued Decision Diagrams 被引量:1
2
作者 古莹奎 李晶 《Journal of Donghua University(English Edition)》 EI CAS 2014年第6期789-792,共4页
Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because th... Importance analysis quantifies the critical degree of individual component. Compared with the traditional binary state system,importance analysis of the multi-state system is more aligned with the practice. Because the multi-valued decision diagram( MDD) can reflect the relationship between the components and the system state bilaterally, it was introduced into the reliability calculation of the multi-state system( MSS). The building method,simplified criteria,and path search and probability algorithm of MSS structure function MDD were given,and the reliability of the system was calculated. The computing methods of importance based on MDD and direct partial logic derivatives( DPLD) were presented. The diesel engine fuel supply system was taken as an example to illustrate the proposed method. The results show that not only the probability of the system in each state can be easily obtained,but also the influence degree of each component and its state on the system reliability can be obtained,which is conducive to the condition monitoring and structure optimization of the system. 展开更多
关键词 multi-state system(MSS) importance analysis reliability multi-valued decision diagram(mdd) direct partial logic derivative(DPLD) diesel engine fuel supply system
下载PDF
大规模图数据的k^2-MDD表示方法与操作研究 被引量:4
3
作者 董荣胜 张新凯 +1 位作者 刘华东 古天龙 《计算机研究与发展》 EI CSCD 北大核心 2016年第12期2783-2792,共10页
对包含亿万个顶点和边的图数据进行高效、紧凑的表示和操作是大规模图数据分析处理的基础.针对该问题提出了基于决策图的大规模图数据的一种表示方法——k^2-MDD,给出了k^2-MDD的构造过程以及图的边查询、外(内)邻查询、出(入)度查询、... 对包含亿万个顶点和边的图数据进行高效、紧凑的表示和操作是大规模图数据分析处理的基础.针对该问题提出了基于决策图的大规模图数据的一种表示方法——k^2-MDD,给出了k^2-MDD的构造过程以及图的边查询、外(内)邻查询、出(入)度查询、添加(删除)边等基本操作.该表示方法在k^2树的基础上进行优化与改进,对图的邻接矩阵进行k^2划分后,采用多值决策图进行存储,从而达到存储结构更为紧凑的目的.通过对来自米兰大学LAW实验室的一系列真实网页图和社交网络图数据的实验结果可以看出,k^2-MDD结构在节点数上仅为k^2树的2.59%~4.51%,达到了预期效果.通过对随机图的实验结果可以看出,k^2-MDD结构不仅适用于稀疏图,同样也适用于稠密图.图数据的k^2-MDD表示,既具有k^2树表示的紧凑型和查询的高效性,又能实现符号决策图表示下图模式的高效操作,从而实现了描述和计算能力的统一. 展开更多
关键词 图数据 存储优化 々2_ M D D 々2 决策图
下载PDF
基于kd-MDD的时序图紧凑表示
4
作者 李凤英 申会强 董荣胜 《计算机研究与发展》 EI CSCD 北大核心 2022年第6期1286-1296,共11页
时序图是顶点之间的连通性随时间变化的图,大规模时序图的紧凑表示和高效操作是分析和处理时序图数据的基础.提出了一种基于决策图的时序图数据紧凑表示方法——k^(d)-MDD.k^(d)-MDD是对k^(d)-tree的改进,该方法对时序图的邻接矩阵进行k... 时序图是顶点之间的连通性随时间变化的图,大规模时序图的紧凑表示和高效操作是分析和处理时序图数据的基础.提出了一种基于决策图的时序图数据紧凑表示方法——k^(d)-MDD.k^(d)-MDD是对k^(d)-tree的改进,该方法对时序图的邻接矩阵进行k^(d)划分,通过引入多值决策图来合并相同子矩阵,即k^(d)-tree图数据表示中存在的同构子树,存储结构更加紧凑.在k^(d)-MDD紧凑表示基础上,提供了基于k^(d)-MDD的时序图的基本操作(如顶点正向反向邻居的检索、边是否处于活动状态的检查、边的添加和删除等).在真实的时序图数据集上(Flickr-growth,YouTube-growth,Wikipedia等)的实验结果表明,k^(d)-MDD表示中的节点数仅为k^(d)-tree表示中节点数的1.58%~4.65%,与c k^(d)-tree和bc k^(d)-tree相比,其节点数为c k^(d)-tree中节点数的11.13%~20.39%,为bc k^(d)-tree(bucket c k^(d)-tree)中节点数的23.17%~41.95%.实验结果验证了k^(d)-MDD表示时序图的优越性. 展开更多
关键词 时序图 紧凑表示 决策图 k^(d)-tree k^(d)-mdd
下载PDF
优化求解约束满足问题的MDDc和STR3算法 被引量:5
5
作者 杨明奇 李占山 李哲 《软件学报》 EI CSCD 北大核心 2017年第12期3156-3166,共11页
广义弧相容是求解约束满足问题应用最广泛的相容性,MDDc,STR2和STR3是表约束上维持广义弧相容应用较多的算法,其中,MDDc基于对约束压缩表示的思想,将表约束表示成多元决策图,对各个元组之间存在较多交叠部分的约束具有很好的压缩效果;S... 广义弧相容是求解约束满足问题应用最广泛的相容性,MDDc,STR2和STR3是表约束上维持广义弧相容应用较多的算法,其中,MDDc基于对约束压缩表示的思想,将表约束表示成多元决策图,对各个元组之间存在较多交叠部分的约束具有很好的压缩效果;STR3同STR2一样,基于动态维持有效元组的思想,当元组集规模缩减较慢时,STR3维持广义弧相容的效率高于STR2.通过深入分析发现,MDDc中查找节点的有效出边和STR3中检测并删除无效元组是耗时最多的操作.分别对MDDc和STR3提出一种自适应查找有效出边和检测删除无效元组的方法AdaptiveMDDc和AdaptiveSTR,对于同一操作,可以根据回溯搜索不同阶段的局势,自适应地选择代价最小的实现方法.得益于较低的判断代价以及回溯搜索不同阶段采用不同方法的效率差异,AdaptiveMDDc和AdaptiveSTR相比,原算法速度提升显著,其中,AdaptiveSTR在一些问题上相比STR3提速3倍以上. 展开更多
关键词 约束满足问题(CSP) 广义弧相容(GAC) 自适应 多元决策图(mdd) Adaptivemddc AdaptiveSTR
下载PDF
基于互斥锁传播的多智能体路径规划算法
6
作者 岳荣康 丁行 +1 位作者 江海 龙吟 《计算机工程》 CAS CSCD 北大核心 2023年第12期103-110,120,共9页
基于冲突的搜索(CBS)算法可以应用于连续时间假设下的多智能体路径规划问题,但是仍存在没有相应冲突识别方法与约束生成规则的问题,从而导致算法效率低下。为此,引入并改进人工智能规划领域中的互斥锁传播技术进行路径规划。首先通过多... 基于冲突的搜索(CBS)算法可以应用于连续时间假设下的多智能体路径规划问题,但是仍存在没有相应冲突识别方法与约束生成规则的问题,从而导致算法效率低下。为此,引入并改进人工智能规划领域中的互斥锁传播技术进行路径规划。首先通过多值决策图(MDD)中的终点可达信息判断冲突的基本类型,然后讨论不同MDD的深度,将冲突划分为基数冲突或非基数冲突,最后针对不同类型的冲突直接生成对应的约束集合,使得CBS下层算法根据约束集合一次性规划出最优路径。互斥锁传播技术提供了比特殊规则更加通用的方法,不仅可以识别出离散时间下的矩形冲突、廊道冲突等特殊基数冲突,还可以针对连续时间的情景,将识别出的基数冲突进行分类并自动生成不同冲突类别对应的约束集合。实验结果表明,使用互斥锁传播的CCBS算法相较于CBS框架下的前沿算法平均成功率提升了6.2%,平均运行时间缩短了38.6%,相较于非CBS框架下的前沿算法平均成功率提升了15.3%,平均运行时间缩短了56.8%。 展开更多
关键词 人工智能规划 互斥锁传播 连续时间 多智能体路径规划 多值决策图
下载PDF
基于多值决策图的多状态系统重要度分析 被引量:12
7
作者 古莹奎 李晶 《中国安全科学学报》 CAS CSCD 北大核心 2014年第6期44-50,共7页
为定量分析组件及其状态对系统可靠性的影响,利用多值决策图(MDD)能双向反映组件状态与系统状态之间关系的优点,建立基于MDD和直接逻辑偏导数(DPLD)的多状态系统重要度分析方法。给出多状态系统结构函数MDD的构建方法、简化准则、路径... 为定量分析组件及其状态对系统可靠性的影响,利用多值决策图(MDD)能双向反映组件状态与系统状态之间关系的优点,建立基于MDD和直接逻辑偏导数(DPLD)的多状态系统重要度分析方法。给出多状态系统结构函数MDD的构建方法、简化准则、路径搜索和概率算法;建立多状态系统Birnbaum重要度、结构重要度、F-V重要度、可靠性成果价值(RAW)和可靠性下降价值(RRW)重要度的数学模型。以柴油机燃油供给系统的可靠性分析为例验证,用提出的方法既可以方便地得到系统处于各个状态的概率,又可以得到系统各个组件对系统可靠性的影响程度以及各个组件状态对系统状态的影响程度,有助于系统的状态监测和结构优化。 展开更多
关键词 多状态系统 重要度分析 多值决策图(mdd) 可靠性成果价值(RAW) 直接逻辑偏导数(DPLD) 柴油机燃油供给系统 可靠性下降价值(RRW)
下载PDF
基于多值决策图的动态故障树分析方法 被引量:5
8
作者 王斌 吴丹丹 +1 位作者 莫毓昌 陈中育 《计算机科学》 CSCD 北大核心 2016年第10期70-73,92,共5页
针对具有动态故障模式的复杂系统,动态故障树分析一直是很重要的可靠性分析技术。为了提升可靠性分析效率,已有研究提出了各种模块化方法,但是对于实际动态故障树模型中由于事件关联导致的大型动态子树,这些模块化方法的状态空间爆炸问... 针对具有动态故障模式的复杂系统,动态故障树分析一直是很重要的可靠性分析技术。为了提升可靠性分析效率,已有研究提出了各种模块化方法,但是对于实际动态故障树模型中由于事件关联导致的大型动态子树,这些模块化方法的状态空间爆炸问题仍然很突出。因此介绍了一种基于多值决策图(Multiple-valued Decision Diagrams,MDD)来分析动态故障树的方法,通过多值变量编码动态门,利用单一系统MDD模型刻画各种动态和静态可靠性行为,有效地缓解了状态爆炸问题。通过一个具体的实例说明了多值决策图方法的应用和优势。 展开更多
关键词 多值决策图 动态故障树 马尔科夫 可靠性
下载PDF
基于多值决策图的温储备系统可靠性建模方法 被引量:3
9
作者 翟庆庆 杨军 +1 位作者 彭锐 赵宇 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2016年第3期459-464,共6页
温储备系统是冷储备与热储备系统的推广,在实际中有广泛应用。针对不可修温储备系统的可靠性建模问题,已有基于多值决策图(MDD)的系统可靠性建模方法。该方法以系统中的单元故障为建模对象,分别构建故障级MDD与系统级MDD,进而获得系统... 温储备系统是冷储备与热储备系统的推广,在实际中有广泛应用。针对不可修温储备系统的可靠性建模问题,已有基于多值决策图(MDD)的系统可靠性建模方法。该方法以系统中的单元故障为建模对象,分别构建故障级MDD与系统级MDD,进而获得系统可靠度的解析表达式。然而,该表达式中不同维度积分相互混杂,计算给定时刻的系统可靠度需要首先梳理系统可靠度的表达式,以利用数值方法求解其中的积分。为实现系统可靠度的程序化计算,在已有研究基础上提出将系统级MDD按故障数分解为一系列子决策图,通过对MDD中边的概率重新赋值获得每一子决策图的发生概率,得到系统可靠度的规范形式,形成一套完整的系统可靠度计算方法。 展开更多
关键词 温储备 多值决策图(mdd) 系统可靠度 可靠性建模 不完全故障覆盖
下载PDF
大规模多状态计算系统的容错性能分析
10
作者 李宁宁 梁敏 +2 位作者 陆迁 莫毓昌 李云生 《测控技术》 2020年第1期36-41,共6页
针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题,提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述,通过构造多值决策图(Multi-value Decision Diagram,MDD)模型对系... 针对异构计算节点组成的大规模多状态计算系统的容错性能分析问题,提出了一种计算系统容错性能的评估方法。该方法采用自定义的两级容错性能形式化描述框架进行系统描述,通过构造多值决策图(Multi-value Decision Diagram,MDD)模型对系统进行容错性能建模,并基于构造的模型高效地计算出部件故障的条件下计算系统在特定性能水平上运行的概率,减少了计算的冗余性。实验结果表明,该方法在模型的大小和构建时间上均优于传统方法。该方法的提出将对系统操作员或程序设计者具有重要意义,使其确保系统适合预期应用。 展开更多
关键词 多状态计算系统 性能分析 性能规范 多值决策图(mdd)
下载PDF
无向双环网络G(N;±r,±s)直径的研究 被引量:1
11
作者 刘辉 方木云 +1 位作者 杭婷婷 侯海金 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2010年第12期77-80,共4页
将直角坐标系引入无向双环网络的研究,通过直角坐标系构造无向双环网络的最小路径图,在详细分析无向双环网络最小路径图性质的基础上,系统研究无向双环网络G(N;±r,±s)的直径、平均直径,验证直径的下界,得出平均直径的下界.最... 将直角坐标系引入无向双环网络的研究,通过直角坐标系构造无向双环网络的最小路径图,在详细分析无向双环网络最小路径图性质的基础上,系统研究无向双环网络G(N;±r,±s)的直径、平均直径,验证直径的下界,得出平均直径的下界.最后给出直角坐标系下无向双环网络最小路径图的仿真方法及直径、平均直径的计算方法. 展开更多
关键词 直角坐标系 无向双环网络 仿真 直径 最小路径图 下界
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部