Petri net; fault tree; coherent; non-coherent; CANDU nuclear power plant;
机译:通过对核电厂的风险告知应用程序的净值建模来评估概率风险评估的货币收益的方法
机译:包含环境振动测试的CANDU 6核电厂的概率地震安全性评估:案例研究
机译:通过规范概率模型将组织因素纳入核电厂的概率安全评估
机译:概率安全评估的Petri净建模及其在坎普核电站空气锁系统中的应用
机译:西北核电站地震概率安全评估及风险控制
机译:基于Petri网和概率模型检查的Internet蠕虫传播建模,仿真与验证方法。
机译:概率安全评估的Petri网建模及其在CANDU核电厂气锁系统中的应用
机译:核电厂运行概率安全评估的应用和发展。技术委员会会议报告