检索结果-维普期刊中文期刊服务平台

基于概率模型检测器的核电厂分布式控制系统动态可靠性分析被引量：3: 1; 作者夏林路张雪松 +2 位作者赵鹏飞陈浠毓周世梁《核科学与工程》 CAS CSCD 北大核心 2022年第2期318-328,共11页; 分布式控制系统(DCS)是核电厂的神经中枢,对其进行可靠性分析,识别薄弱环节,开展有针对性的设计优化和运维改进,提高电厂安全水平。DCS部件存在备用自投、在线修复等动态行为,传统故障树不能充分描述上述动态行为。针对上述问题,采用马... 展开更多; 关键词 DCS 马尔科夫模型概率模型检测器转移矩阵动态可靠性; 在线阅读下载PDF 职称材料

基于概率模型检测的SysML活动图验证方法被引量：2: 2; 作者严亚伟周雁舟《计算机工程与设计》北大核心 2016年第4期928-932,共5页; 针对系统建模语言(systems modeling language,SysML)活动图模型无法进行精确的形式化分析与验证的问题,在研究现有模型检测的基础上,提出使用概率模型检测器(PRISM)对SysML活动图模型进行检测的分析验证框架,并提出一种把SysML活动图... 展开更多; 关键词系统建模语言活动图模型测试概率模型检测概率模型检测器; 在线阅读下载PDF 职称材料

基于BDMP模型的核电厂稳压器水位控制系统可靠性分析被引量：1: 3; 作者朱桂霞马九灵 +2 位作者钱玉刚夏林路周世梁《原子能科学技术》 EI CAS CSCD 北大核心 2021年第S01期112-121,共10页; 稳压器水位控制系统(PLCS)承担一回路冷却剂装量调节功能,是核电厂分布式控制系统(DCS)的关键子系统之一。本文采用布尔逻辑驱动的马尔科夫(BDMP)模型构建PLCS动态可靠性模型,并提出了一种将BDMP转换为马尔科夫模型的方法,采用概率模型... 展开更多; 关键词 BDMP模型概率模型检测器稳压器水位控制系统马尔科夫模型; 在线阅读下载PDF 职称材料

国产重型燃气轮机控制系统可靠性分析被引量：1: 4; 作者仲心萌陈远野 +2 位作者房方王巍刘玉升《仪器仪表学报》 EI CAS CSCD 北大核心 2022年第9期131-139,共9页; 提升可靠性是国产化重型燃气轮机控制系统研发需要解决的核心问题。硬件冗余是控制系统可靠性的重要保障,可在功能上实现容错,其成本与故障修复相比更低,已在工业应用中占据主导地位。由于我国重型燃气轮机控制系统的研制还处于攻关阶段... 展开更多; 关键词重型燃气轮机国产控制系统可靠性 MARKOV模型概率模型检测器; 在线阅读下载PDF 职称材料

题名基于概率模型检测器的核电厂分布式控制系统动态可靠性分析被引量：3: 1; 作者夏林路张雪松赵鹏飞陈浠毓周世梁; 机构华北电力大学核科学与工程学院非能动核能安全技术北京市重点实验室中国核电工程有限公司; 出处《核科学与工程》 CAS CSCD 北大核心 2022年第2期318-328,共11页; 基金装备预研重点实验室基金项目资助(6142A07200311) 中央高校基本科研业务费专项资金资助(2019MS022,2019MS036)。; 文摘分布式控制系统(DCS)是核电厂的神经中枢,对其进行可靠性分析,识别薄弱环节,开展有针对性的设计优化和运维改进,提高电厂安全水平。DCS部件存在备用自投、在线修复等动态行为,传统故障树不能充分描述上述动态行为。针对上述问题,采用马尔科夫模型建立完整的DCS子系统可靠性模型,包括操作终端、PU处理单元、交换机,以及处理器、电源等各类模件,采用概率模型检测器PRISM对马尔科夫模型进行定量计算,得到系统的不可用率,并对系统各失效状态维修率进行了敏感性分析,结果表明,操作与监视系统(OM690)、电厂总线和采集卡失效对系统不可用率的贡献高达95%,因此,通过增加OM690系统、总线设备、采集卡的备件数量和维护人力,可有效提高上述设备的可靠性。; 关键词 DCS 马尔科夫模型概率模型检测器转移矩阵动态可靠性; Keywords Distributed control system Markov model PRSIM Transition matrix Dynamic reliability; 分类号 TL48 [核科学技术—核技术及应用]; 在线阅读下载PDF 职称材料

题名基于概率模型检测的SysML活动图验证方法被引量：2: 2; 作者严亚伟周雁舟; 机构信息工程大学; 出处《计算机工程与设计》北大核心 2016年第4期928-932,共5页; 文摘针对系统建模语言(systems modeling language,SysML)活动图模型无法进行精确的形式化分析与验证的问题,在研究现有模型检测的基础上,提出使用概率模型检测器(PRISM)对SysML活动图模型进行检测的分析验证框架,并提出一种把SysML活动图转化为相应的PRISM可执行模型的转化规则。利用该转化规则可以把SysML活动图模型转化为概率模型检测器支持的格式,实现对模型的精确分析和定量验证。实验结果表明,该规则能够有效对SysML活动图模型进行转化,为模型检测提供支持。; 关键词系统建模语言活动图模型测试概率模型检测概率模型检测器; Keywords SysML activity diagram model check probabilistic model check PRISM; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于BDMP模型的核电厂稳压器水位控制系统可靠性分析被引量：1: 3; 作者朱桂霞马九灵钱玉刚夏林路周世梁; 机构核动力运行研究所华北电力大学核科学与工程学院非能动核能安全技术北京市重点实验室; 出处《原子能科学技术》 EI CAS CSCD 北大核心 2021年第S01期112-121,共10页; 基金中核集团青年英才计划科研项目资助(RINPO A180705) 装备预研重点实验室基金项目资助(6142A07200311) 中央高校基本科研业务费专项资金资助项目(2019MS022,2019MS036)。; 文摘稳压器水位控制系统(PLCS)承担一回路冷却剂装量调节功能,是核电厂分布式控制系统(DCS)的关键子系统之一。本文采用布尔逻辑驱动的马尔科夫(BDMP)模型构建PLCS动态可靠性模型,并提出了一种将BDMP转换为马尔科夫模型的方法,采用概率模型检测器PRISM对转换所得马尔科夫模型进行定量计算,得到了PLCS的不可用率及不同部件对不可用率的贡献值,然后采用KB3和YAMS进行建模与定量计算,将结果与PRISM结果进行比较,验证了本文方法的有效性。本文方法为核电厂稳压器水位控制系统设备维修的侧重提供了方向和参考。; 关键词 BDMP模型概率模型检测器稳压器水位控制系统马尔科夫模型; Keywords BDMP model probability model checker pressurizer level control system Markov model; 分类号 TL364.5 [核科学技术—核技术及应用]; 在线阅读下载PDF 职称材料

题名国产重型燃气轮机控制系统可靠性分析被引量：1: 4; 作者仲心萌陈远野房方王巍刘玉升; 机构华北电力大学控制与计算机工程学院国核自仪系统工程有限公司; 出处《仪器仪表学报》 EI CAS CSCD 北大核心 2022年第9期131-139,共9页; 基金国家航空发动机及燃气轮机重大专项基础研究(2017-V-0010-0061) 中央高校基本科研业务费专项资金(2021MS015)项目资助。; 文摘提升可靠性是国产化重型燃气轮机控制系统研发需要解决的核心问题。硬件冗余是控制系统可靠性的重要保障,可在功能上实现容错,其成本与故障修复相比更低,已在工业应用中占据主导地位。由于我国重型燃气轮机控制系统的研制还处于攻关阶段,对其可靠性的研究几乎处于空白状态。分析了国产重型燃气轮机NuCON控制系统的冗余策略,采用马尔可夫(Markov)模型构建该冗余策略下的可靠性模型;运用概率模型检测器PRISM对可靠性模型进行定量计算和检验,仿真表明,在一定修复时间和冗余结构下,采用最小硬件配置的NuCON控制系统的不可用率为1.616×10-4,满足系统可靠性设计要求。同时对比分析了不同修复时间、不同系统结构和不同系统规模对系统不可用率的量化影响结果。; 关键词重型燃气轮机国产控制系统可靠性 MARKOV模型概率模型检测器; Keywords heavy-duty gas turbine domestic control system reliability Markov model probabilistic model checker; 分类号 N945.17 [自然科学总论—系统科学] TH89 [机械工程—精密仪器及机械]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于概率模型检测器的核电厂分布式控制系统动态可靠性分析	夏林路张雪松赵鹏飞陈浠毓周世梁	《核科学与工程》 CAS CSCD 北大核心	2022	3	在线阅读下载PDF 职称材料
2	基于概率模型检测的SysML活动图验证方法	严亚伟周雁舟	《计算机工程与设计》北大核心	2016	2	在线阅读下载PDF 职称材料
3	基于BDMP模型的核电厂稳压器水位控制系统可靠性分析	朱桂霞马九灵钱玉刚夏林路周世梁	《原子能科学技术》 EI CAS CSCD 北大核心	2021	1	在线阅读下载PDF 职称材料
4	国产重型燃气轮机控制系统可靠性分析	仲心萌陈远野房方王巍刘玉升	《仪器仪表学报》 EI CAS CSCD 北大核心	2022	1	在线阅读下载PDF 职称材料