检索结果-内蒙古大学图书馆

核科学与工程 2022年第2期42卷 318-328页

作者：夏林路张雪松赵鹏飞陈浠毓周世梁华北电力大学核科学与工程学院北京102206 非能动核能安全技术北京市重点实验室北京102206 中国核电工程有限公司北京100840

分布式控制系统(DCS)是核电厂的神经中枢,对其进行可靠性分析,识别薄弱环节,开展有针对性的设计优化和运维改进,提高电厂安全水平。DCS部件存在备用自投、在线修复等动态行为,传统故障树不能充分描述上述动态行为。针对上述问题,采用马... 详细信息

分布式控制系统(DCS)是核电厂的神经中枢,对其进行可靠性分析,识别薄弱环节,开展有针对性的设计优化和运维改进,提高电厂安全水平。DCS部件存在备用自投、在线修复等动态行为,传统故障树不能充分描述上述动态行为。针对上述问题,采用马尔科夫模型建立完整的DCS子系统可靠性模型,包括操作终端、PU处理单元、交换机,以及处理器、电源等各类模件,采用概率模型检测器PRISM对马尔科夫模型进行定量计算,得到系统的不可用率,并对系统各失效状态维修率进行了敏感性分析,结果表明,操作与监视系统(OM690)、电厂总线和采集卡失效对系统不可用率的贡献高达95%,因此,通过增加OM690系统、总线设备、采集卡的备件数量和维护人力,可有效提高上述设备的可靠性。

关键词： DCS 马尔科夫模型概率模型检测器转移矩阵动态可靠性

来源：评论

学校读者我要写书评

暂无评论

基于BDMP模型的核电厂稳压器水位控制系统可靠性分析

引用

原子能科学技术 2021年第S01期55卷 112-121页

作者：朱桂霞马九灵钱玉刚夏林路周世梁核动力运行研究所湖北武汉430223 华北电力大学核科学与工程学院北京102206 非能动核能安全技术北京市重点实验室北京102206

稳压器水位控制系统(PLCS)承担一回路冷却剂装量调节功能,是核电厂分布式控制系统(DCS)的关键子系统之一。本文采用布尔逻辑驱动的马尔科夫(BDMP)模型构建PLCS动态可靠性模型,并提出了一种将BDMP转换为马尔科夫模型的方法,采用概率模型... 详细信息

稳压器水位控制系统(PLCS)承担一回路冷却剂装量调节功能,是核电厂分布式控制系统(DCS)的关键子系统之一。本文采用布尔逻辑驱动的马尔科夫(BDMP)模型构建PLCS动态可靠性模型,并提出了一种将BDMP转换为马尔科夫模型的方法,采用概率模型检测器PRISM对转换所得马尔科夫模型进行定量计算,得到了PLCS的不可用率及不同部件对不可用率的贡献值,然后采用KB3和YAMS进行建模与定量计算,将结果与PRISM结果进行比较,验证了本文方法的有效性。本文方法为核电厂稳压器水位控制系统设备维修的侧重提供了方向和参考。

关键词： BDMP模型概率模型检测器稳压器水位控制系统马尔科夫模型

来源：评论

学校读者我要写书评

暂无评论

国产重型燃气轮机控制系统可靠性分析

引用

仪器仪表学报 2022年第9期43卷 131-139页

作者：仲心萌陈远野房方王巍刘玉升华北电力大学控制与计算机工程学院北京102206 国核自仪系统工程有限公司上海200241

提升可靠性是国产化重型燃气轮机控制系统研发需要解决的核心问题。硬件冗余是控制系统可靠性的重要保障,可在功能上实现容错,其成本与故障修复相比更低,已在工业应用中占据主导地位。由于我国重型燃气轮机控制系统的研制还处于攻关阶段... 详细信息

提升可靠性是国产化重型燃气轮机控制系统研发需要解决的核心问题。硬件冗余是控制系统可靠性的重要保障,可在功能上实现容错,其成本与故障修复相比更低,已在工业应用中占据主导地位。由于我国重型燃气轮机控制系统的研制还处于攻关阶段,对其可靠性的研究几乎处于空白状态。分析了国产重型燃气轮机NuCON控制系统的冗余策略,采用马尔可夫(Markov)模型构建该冗余策略下的可靠性模型;运用概率模型检测器PRISM对可靠性模型进行定量计算和检验,仿真表明,在一定修复时间和冗余结构下,采用最小硬件配置的NuCON控制系统的不可用率为1.616×10-4,满足系统可靠性设计要求。同时对比分析了不同修复时间、不同系统结构和不同系统规模对系统不可用率的量化影响结果。

关键词：重型燃气轮机国产控制系统可靠性 Markov模型概率模型检测器

来源：评论

学校读者我要写书评

暂无评论

基于概率模型检测的SysML活动图验证方法

引用

计算机工程与设计 2016年第4期37卷 928-932页

作者：严亚伟周雁舟信息工程大学河南郑州450001

针对系统建模语言(systems modeling language,SysML)活动图模型无法进行精确的形式化分析与验证的问题,在研究现有模型检测的基础上,提出使用概率模型检测器(PRISM)对SysML活动图模型进行检测的分析验证框架,并提出一种把SysML活动图... 详细信息

针对系统建模语言(systems modeling language,SysML)活动图模型无法进行精确的形式化分析与验证的问题,在研究现有模型检测的基础上,提出使用概率模型检测器(PRISM)对SysML活动图模型进行检测的分析验证框架,并提出一种把SysML活动图转化为相应的PRISM可执行模型的转化规则。利用该转化规则可以把SysML活动图模型转化为概率模型检测器支持的格式,实现对模型的精确分析和定量验证。实验结果表明,该规则能够有效对SysML活动图模型进行转化,为模型检测提供支持。

关键词：系统建模语言活动图模型测试概率模型检测概率模型检测器

来源：评论

学校读者我要写书评

暂无评论

基于DRBD的核电厂DCS动态可靠性分析

基于DRBD的核电厂DCS动态可靠性分析

引用

作者：张磊华北电力大学(北京)

学位级别：硕士

控制系统是核电厂的神经中枢,其可靠运行对电厂安全至关重要。近年来投运、在建的核电厂均采用全数字化控制系统(DCS,Digital Control System),一些服役时间较长核电厂的模拟控制系统也在进行数字化升级。当前核电厂DCS可靠性分析以基... 详细信息

控制系统是核电厂的神经中枢,其可靠运行对电厂安全至关重要。近年来投运、在建的核电厂均采用全数字化控制系统(DCS,Digital Control System),一些服役时间较长核电厂的模拟控制系统也在进行数字化升级。当前核电厂DCS可靠性分析以基于可靠性框图、静态故障树、马尔可夫模型的方法为主,这些方法均存在一定的局限性。核电厂DCS部分设备的失效-修复行为具有条件相关性或时序相关性,故障树和可靠性框图均不能充分描述上述动态行为;马尔可夫模型虽能描述上述动态行为,但因其“状态组合爆炸”问题,难以直接应用于较大规模的系统。动态可靠性框图(DRBD,Dynamic Reliability Block Diagrams)由可靠性框图扩展而来,既能以直观方式呈现设备之间的串-并连、备用等连接关系,又能够描述DCS设备条件\时序相关的失效-修复行为,是具有较高工程应用前景的DCS动态可靠性分析方法之一。根据核电厂DCS机柜的结构和冗余配置特征,对DRBD进行了拓展,提出了“互备自投模块”,用于描述DCS机柜内互为备用卡件的备用-激活、可检测\不可检测\共模失效、自检修复\定期试验修复等复杂的动态行为;提出了“串联成组模块”,简化了同一机架内相同类型卡件的DRBD表述。为了更加快速、准确地完成机柜的动态可靠性的建模与分析,提出了基于机柜配置图的DRBD自动构建方法,以及DRBD到概率模型检测器脚本语言描述的连续时间马尔可夫链转化方法。基于所提方法,采用前后端分离技术,开发了 DRBD自动构建和定量分析平台。然后在该平台上分析了某核电厂DCS的AS620B自动控制系统的机柜的不可用率,分析不同修复时间和不同定期实验周期对机柜不可用率的影响,这对核电厂运维有一定的指导意义。最终,将DRBD和布尔逻辑驱动的马尔可夫方法所得的定量分析结果进行比较,验证了所提方法的有效性。

关键词：核电厂DCS 动态可靠性框图概率模型检测器马尔可夫模型

来源：评论

学校读者我要写书评

暂无评论

基于BDMP的反应堆冷却剂平均温度控制系统动态可靠性分析

引用

电子技术应用 2021年第S01期47卷 152-159页

作者：徐辛酉张才科夏林路周世梁中核核电运行管理有限公司浙江嘉兴314300 中核武汉核电运行技术股份有限公司湖北武汉430223 华北电力大学核科学与工程学院北京102206

反应堆冷却剂平均温度控制系统(RCATCS)是核电厂安全重要仪控系统之一,对保证核电厂的正常运行起着重要作用。采用布尔逻辑驱动的马尔科夫过程(Boolean logic Driven Markov Process,BDMP)构建RCATCS动态可靠性模型,并采用概率模型检测... 详细信息

反应堆冷却剂平均温度控制系统(RCATCS)是核电厂安全重要仪控系统之一,对保证核电厂的正常运行起着重要作用。采用布尔逻辑驱动的马尔科夫过程(Boolean logic Driven Markov Process,BDMP)构建RCATCS动态可靠性模型,并采用概率模型检测器PRISM对其进行定量分析,得到了RCATCS的不可用率及系统各部分对不可用率的贡献值。最后,通过对比KB3和YAMS的BDMP定量分析结果,验证了该方法的有效性。结果表明,定量分析的计算效率明显提高,为核电站RCATCS设备的维修侧重提供了参考和方向。

关键词： BDMP模型概率模型检测器反应堆冷却剂平均温度控制系统

来源：评论

学校读者我要写书评

暂无评论

基于DRBD的核电厂DCS动态可靠性分析

基于DRBD的核电厂DCS动态可靠性分析

引用

中国核学会2021年学术年会

作者：夏林路张雪松张磊周世梁华北电力大学核科学与工程学院非能动核能安全技术北京市重点实验室

分布式控制系统(DCS,Distributed Control System)是整个核电厂的关键一环,对其进行可靠性安全评估十分必要。针对核电厂DCS规模大,机柜数量多,建立可靠性模型工作量大的问题,提出了基于机柜配置图的动态可靠性框图(DRBD, Dynamic Relia... 详细信息

分布式控制系统(DCS,Distributed Control System)是整个核电厂的关键一环,对其进行可靠性安全评估十分必要。针对核电厂DCS规模大,机柜数量多,建立可靠性模型工作量大的问题,提出了基于机柜配置图的动态可靠性框图(DRBD, Dynamic Reliability Block Diagrams)自动构建方法和DRBD到概率模型检测器PRISM脚本语言描述的连续时间马尔可夫链转换方法。然后采用前后端分离技术,开发了DRBD自动构建和定量分析平台,并在该平台上计算了某核电厂DCS的AS620B自动控制系统的机柜的不可用率,将结果与采用布尔逻辑驱动的马尔可夫方法所得结果进行比较,验证了所提方法的有效性。

关键词：核电厂DCS 动态可靠性框图概率模型检测器马尔可夫模型

来源：评论

学校读者我要写书评

暂无评论

基于BDMP模型的核电厂稳压器水位控制系统可靠性分析

基于BDMP模型的核电厂稳压器水位控制系统可靠性分析

引用

第十六届(2020年)核技术应用学术交流会暨第三届核材料技术创新学术会议

作者：朱桂霞马九灵钱玉刚夏林路周世梁核动力运行研究所湖北武汉 430223 华北电力大学核科学与工程学院北京 102206 非能动核能安全技术北京市重点实验室北京 102206

稳压器水位控制系统(PLCS)承担一回路冷却剂装量调节功能，是核电厂分布式控制系统(DCS)的关键子系统之一。本文采用布尔逻辑驱动的马尔科夫(BDMP)模型构建PLCS 动态可靠性模型，并提出了一种将BDMP 转换为马尔科夫模型的方法，采用概... 详细信息

稳压器水位控制系统(PLCS)承担一回路冷却剂装量调节功能，是核电厂分布式控制系统(DCS)的关键子系统之一。本文采用布尔逻辑驱动的马尔科夫(BDMP)模型构建PLCS 动态可靠性模型，并提出了一种将BDMP 转换为马尔科夫模型的方法，采用概率模型检测器PRISM 对转换所得马尔科夫模型进行定量计算，得到了PLCS 的不可用率及不同部件对不可用率的贡献值，然后采用KB3 和YAMS进行建模与定量计算，将结果与PRISM 结果进行比较，验证了本文方法的有效性。本文方法为核电厂稳压器水位控制系统设备维修的侧重提供了方向和参考。

关键词： BDMP模型概率模型检测器稳压器水位控制系统马尔科夫模型

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：