【摘 要】
：
针对Markov方法在动态多阶段系统模块化分析中的状态爆炸问题,给出了一种新的动态模块化方法.该方法首先从充分利用动态多阶段系统所包含的静态特性的角度出发,利用集合并操
【机 构】
：
东南大学计算机科学与工程学院,浙江师范大学数理信息学院
【基金项目】
：
The National Natural Science Foundation of China （No. 60903011 ）, the Natural Science Foundation of Jiangsu Province （No. BK2009267）.
论文部分内容阅读
针对Markov方法在动态多阶段系统模块化分析中的状态爆炸问题,给出了一种新的动态模块化方法.该方法首先从充分利用动态多阶段系统所包含的静态特性的角度出发,利用集合并操作将阶段故障树的动态模块构造成跨阶段的动态模块.然后,利用变量排序和BDD操作生成模块化MPS对应的系统BDD.针对系统BDD中各种节点连结关系,推导出BDD节点事件概率计算公式,从而计算出动态多阶段系统的可靠度.最后,通过实例说明了动态模块化方法在Markov状态空间和系统BDD尺度均减少时的优越性.
其他文献
随着用户和词条数量的增长，“用户一词条”评分矩阵变得极其稀疏，导致基于相似度计算的推荐算法精度降低．提出一种基于用户短期兴趣时序性变化的评分矩阵进行预填充．由于Me—diaW
随着互联网技术的发展,远程数据采集系统越来越受到人们的关注,人们想到了把远程数据采集系统同互联网技术联系在一起,一方面节约成本、传输距离远,不需要额外的通信线路;另
根据矢量控制理论,分析和探讨了三电平逆变系统SVPWM控制算法分解成为两电平SVPWM控制算法的方法,并且阐述了如何有效地控制中位点电压平衡问题.建立基于变参数MRAS速度辨识
<正>糖尿病胃轻瘫是指由糖尿病并发症所引起的,以胃排空延迟为特征却无机械性梗阻因素存在的临床症候群。胃轻瘫不仅影响糖尿病人的营养状况,也影响血糖的控制,继而影响器官
通过整理归纳大量公共安全研究成果和理论,对新时期我国公共安全形势进行了研究和分析,根据我国国情提出了针对公共安全的对策和建议。
黄豆享有“豆中之王”的美称，每天吃点黄豆、豆制品或喝杯豆浆是众多营养学家的建议。黄豆富含多种营养素，对健康的贡献更是“不可斗量”。这里，帮您总结黄豆的10种显著保健功效
本文首先介绍了BIM技术在装配式建筑深化设计中的实际价值,然后,主要探讨了BIM技术在装配式建筑深化设计中的具体应用,其中包括建立建筑信息模型、协助构件拆分工作、优化构
针对水下无人航行器和机械手系统，研究了动力学建模与协调运动的轨迹优化技术．基于水下无人航行器和机械手系统的运动学模型，使用Newton—Eulerian方法反向递推得到系统的动力学
<正>目的:探讨高分辨率16排螺旋CT仿真内窥镜技术在各种类型中耳炎诊断中的作用,及听力学评估与仿真内窥镜所见的相关性。材料和方法:随机选取30例各种不同类型的慢性中耳炎
构建高效协同的"政产学研"体系是促进经济高质量发展与国家创新发展的重要基础。以科技成果转化为目标,构建了"政产学研"协同创新体系的系统动力学模型,并以北京市为例,分析