公开(公告)号：CN111796814A

公开(公告)日：2020-10-20

申请号：CN202010627625.6

申请日：2020-07-02

Applicant: 上海核工程研究设计院有限公司

Inventor： 王明路 ,  张光新 ,  周振德 ,  陈嘉彧 ,  于卫平 ,  李文韬 ,  王国强 ,  赵曦 ,  许雷雷 ,  郑伟 ,  宋霏 ,  顾诞英 ,  徐冬苓 ,  王旭 ,  张淑慧

IPC: G06F8/34 ,  G06F8/35 ,  G06F8/38 ,  G06F30/20

Abstract: 本发明公开了反应堆模块化微分方程模型的图形界面控制系统设计方法，包括以微分方程形式建立反应堆通用图形界面模型库、搭建反应堆模型、计算模型稳态、计算模型瞬态、设计控制系统、整定控制系统参数值。通过微分方程形式建立反应堆图形界面通用模型库，可提高模型的可重用性。通过模型库的组合对反应堆进行图形界面敏捷建模，可提高反应堆建模的便捷性。在反应堆图形界面模型基础上进行控制系统的图形化设计、建模、仿真、测试和验证，可提升控制系统设计的便利性、可靠性和准确性。

公开(公告)号：CN115755825A

公开(公告)日：2023-03-07

申请号：CN202211286092.5

申请日：2022-10-20

Applicant: 上海核工程研究设计院有限公司

Inventor： 郑伟 ,  郑添 ,  于卫平 ,  王国强 ,  宋霏 ,  马骏 ,  张淑慧 ,  赵曦 ,  陈嘉彧 ,  孙亦春 ,  程玉玉

IPC: G05B23/02

Abstract: 本申请提供一种用于核电厂仪控功能验证的功能模块评价方法，包括以下步骤：获取要进行验证的仪控功能的逻辑图；将逻辑图中的耦合在一起的所有功能模块分解为多个子功能模块；根据功能特点，将多个子功能模块进行标识，并对多个子功能模块进行分类；对多个子功能模块进行分析，评价多个子功能模块设计的合理性。本发明的验证方法，将不同类型的功能从耦合在一起的复杂逻辑中剥离出来，有助于归类后按照一致而适用的验证依据开展验证，有助于对被验证需求以及所发现的异常进行标识和跟踪，满足法规标准所要求的验证和确认所需开展的活动，其证明的效力高于文件审查的验证方法，资源投入少于仿真分析的验证方法。