-
题名某核电站大修冷源专项海工系统主隔离及优化研究
- 1
-
-
作者
潘恒
-
机构
江苏核电有限公司
-
出处
《中国设备工程》
2023年第S02期56-58,共3页
-
文摘
本文对某核电站冷源海工系统设计进行简要说明,根据海工系统主要设备预维计划确定需要隔离的区域,通过对土建结构分析确定隔离逻辑顺序,对逻辑顺序进行细化,确定最终隔离实施方案,通过隔离实施方案总结需优化改进的地方并提出可行的优化措施。
-
关键词
海工系统
隔离逻辑
隔离方案
实施
优化
-
分类号
TM623
[电气工程—电力系统及自动化]
-
-
题名基于隔离逻辑的并行程序可靠性验证方法
被引量：2
- 2
-
-
作者
万良
-
机构
中国人民大学信息学院
中国人民大学数据工程与知识工程教育部重点实验室
贵州大学计算机科学与技术学院
-
出处
《计算机工程》
CAS
CSCD
2014年第2期86-91,96,共7页
-
基金
贵州省自然科学基金资助项目(J[2011]2328)
中央高校基本科研业务费专项基金资助项目(12XNLF06)
-
文摘
并行程序验证的复杂性在于执行流程的不确定性以及由此导致的执行规模变大,使得验证的内容和目标之间的关系不明确。为解决该问题,提出一种基于隔离逻辑的并行程序可靠性验证方法。通过变量的执行关系图,描述变量相关的语句及执行关系,将所需验证的程序性质逻辑式转换为变量并行语句序列的逻辑组合式,使得性质表达式与并发程序的语句相关联。根据逻辑组合式确定语句执行序列和前后件逻辑表达式,基于并发隔离逻辑的公理系统对语句执行序列进行验证,并根据验证结果对并发程序进行修改和完善。通过对银行柜台业务办理的功能模块验证结果表明该方法是有效的。
-
关键词
霍尔逻辑
隔离逻辑
并行程序
逻辑组合式
可靠性验证
-
Keywords
Hoare logic
separation logic
concurrent program
logic combination expression
reliability verification
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名RRA入口隔离阀控制逻辑改进分析
- 3
-
-
作者
方华松
刘士立
张锦飞
李建文
-
机构
苏州热工研究院有限公司
-
出处
《核动力工程》
EI
CAS
CSCD
北大核心
2015年第3期88-89,共2页
-
文摘
针对大亚湾核电站原始设计中反应堆余热排出系统(RRA)的入口隔离阀控制逻辑的设计不满足单一故障的情况,提出增加2台压力变送器的改进方案。通过定量化计算,评价改进方案对RRA及机组堆芯损坏的影响。
-
关键词
反应堆余热排出系统
入口隔离阀控制逻辑改进
可靠性分析
-
Keywords
RRA, Entrance isolation valve control logic improvement, Reliability analysis
-
分类号
TL353.11
[核科学技术—核技术及应用]
-
