CAJ | 학술논문

核电数字化仪系统既涉及反应堆随时间变化的物理动态演化过程，又涉及计算机的离散控制过程，属于典型的实时混成系统。微分动态逻辑是近年在混成系统验证领域的新方法。提出以微分动态逻辑为基础的构建反应堆控制系统安全验证模型方法，验证反应堆控制系统中离散化的逻辑控制与反应堆连续性的物理连续变化过程之间的相互作用能否保证反应堆安全需求，从而提高数字化反应堆控制系统设计的安全性。
핵전수자화의계통기섭급반응퇴수시간변화적물리동태연화과정，우섭급계산궤적리산공제과정，속우전형적실시혼성계통。미분동태라집시근년재혼성계통험증영역적신방법。제출이미분동태라집위기출적구건반응퇴공제계통안전험증모형방법，험증반응퇴공제계통중리산화적라집공제여반응퇴련속성적물리련속변화과정지간적상호작용능부보증반응퇴안전수구，종이제고수자화반응퇴공제계통설계적안전성。
Digital reactor control system is a typical real-time hybrid system involving the physical dynamic evolu-tion process of reactor against time and the discrete control process of computer .Differential dynamic logic is a new theory for hybrid system verification .A new method to construct safety verification model of digital reactor control system based on differential dynamic logic was put forward , so as to verify whether the interaction between discrete logic control in reactor control system and the physical continuous change process of reactor continuity can guarantee the safety requirement of reactor .It improves the safety properties of design on digital reactor control system .