Logic Verification System for Power Plant Sequence Diagrams.

スポンサーリンク

概要

• 論文の詳細を見る

• A logic verification system for sequence diagrams of power plants has been developed. The system's main function is to verify correctness of the logic realized by sequence diagrams for power plant control systems. The verification is based on a symbolic comparison of the logic of the sequence diagrams with the logic of the corresponding IBDs (Interlock Block. Diagrams) in combination with reference to design knowledge. The developed system points out the sub-circuit which is responsible for any existing mismatches between the IBD logic and the logic realized by the sequence diagrams. Applications to the verification of actual sequence diagrams of power plants confirmed that the developed system is practical and effective.

• 一般社団法人 日本原子力学会の論文

著者

• Yamada Naoyuki

  Energy Research Laboratory, Hitachi, Ltd.

• Yamada Naoyuki

  Energy Research Laboratory Hitachi Ltd.

• Teshima Toshiaki

  Omika Works Hitachi Ltd.

• Utsunomiya Mitsugu

  Omika Works Hitachi Ltd.

• FUKUDA Mitsuko

  Energy Research Laboratory, Hitachi, Ltd.

関連論文

• Timing Verification System for Relay Circuit Behaviors
• Design Verification Based on Theorem-Proving Technique for Sequential Control Circuits with Timing Coordination
• Design Verification of Sequential Control Circuits Based on Theorem-Proving Method
• A Plant Diagnosis Method Based on the Knowledge of System Description
• A Theorem Proving System for Logic Design Verification
• Logic Verification System for Power Plant Sequence Diagrams.
• Approach to knowledge based man-machine communication for BWR start-up guidance.

スポンサーリンク