位置：成果数据库 > 期刊 > 期刊详情页
New results to BDD truncation method for efficient top event probability calculation
  • ISSN号：1738-5733
  • 期刊名称：Nuclear Engineering and Technology
  • 时间：2012.10.10
  • 页码：755-766
  • 相关项目：离散事件系统基于模型的分布式在线诊断方法研究
作者： Mo Yuchang|Zhong Farong|Zhao Xiangfu|Yang Quansheng|Cui Gang|
同期刊论文项目
离散事件系统基于模型的分布式在线诊断方法研究
期刊论文 35 会议论文 3 著作 1
同项目期刊论文
基于GPU的混合精度平方根共轭梯度算法
基于缩减信念状态的Conformant规划方法
基于路标隐式分解的前向搜索规划方法
Diagnosis of active systems by semantic patterns
不完备模型下的离散事件系统诊断方法
离散事件系统基于模型诊断的研究进展
Reasoning on partially-ordered observations in online diagnosis of DESs
基于模型诊断的候选空间单调性研究
Diagnosis of higher-order discrete-event systems
基于冲突的离散事件系统诊断方法
基于矩阵计算极小碰集的启发式算法
智能世界的建模与诊断
基于模型诊断的抽象分层过程
基于动态极大度的极小碰集求解方法
电子细胞模型Analog-Cell中前体mRNA剪接过程的模拟与研究
一种基于模式的故障诊断方法
用CHS-tree基于集合势的方法计算极小碰集
利用标志传播求解基于模型的故障诊断
结合look-ahead值排序的自适应分支求解算法
运用RFID技术的实验设备智能化管理探索
基于极性的非循环术语集调试
路标计数启发式引导的分解规划方法
结合扩展规则重构的#SAT问题增量求解方法
半扩展规则下分解的定理证明方法
不完备离散事件系统的可诊断性
通用化和个性化在线学习新模式的研究与探讨
Integrity constraints in OWL ontologies based on grounded circumscription
基于卷积神经网络的课堂表情分析软件研究与实现
利用CSP求解极小碰集的方法
用MDMC-HS-tree方法计算极小碰集