Abstract: An inner image generating apparatus includes a first receiver configured to receive an inlet track information and a first passage time of a muon, a second receiver configured to receive an outlet track information and a second passage time of the muon, a displacement calculator configured to calculate a track displacement of a track of the muon based on the inlet and outlet track information, a mean energy calculator configured to calculate a mean energy of the muon based on a time-difference between the first passage and the second passage time, a data integration circuit configured to integrate multiplied data multiplying the track displacement and the mean energy on a projected plane, and an image generating circuit configured to generate an inner image of the structure by identifying a position of matter at the projected plane based on an integrated multiplied data.

Abstract: An inner image generating apparatus includes a first receiver configured to receive an inlet track information and a first passage time of a muon, a second receiver configured to receive an outlet track information and a second passage time of the muon, a displacement calculator configured to calculate a track displacement of a track of the muon based on the inlet and outlet track information, a mean energy calculator configured to calculate a mean energy of the muon based on a time-difference between the first passage and the second passage time, a data integration circuit configured to integrate multiplied data multiplying the track displacement and the mean energy on a projected plane, and an image generating circuit configured to generate an inner image of the structure by identifying a position of matter at the projected plane based on an integrated multiplied data.

Abstract: A safety protection instrumentation system for a nuclear reactor is constructed by using digital logic. The digital logic includes functional units in which output logic patterns corresponding to all input logic patterns are verified in advance and a functional module formed by combining the functional units.

Abstract: A verification method is provided for verifying a safety apparatus including a programmable logic device having a plurality of functional elements. The verification method includes the steps of exhaustively verifying the plurality of functional elements on actual hardware, generating a functional element that is the same as one of the functional elements verified on the actual apparatus using a predetermined hardware description language, independently logic-synthesizing each generated functional element into a plurality of first net lists, generating a connection function between the functional elements using the predetermined hardware description language, logic-synthesizing the generated connection function into a second net list corresponding to the connection function, synthesizing the first net lists with the second net list to generate a third net list, writing a logic circuit into the programmable logic device on the basis of the third net list, and verifying the actual programmable logic device.

Abstract: A verification method is provided for verifying a safety apparatus including a programmable logic device having a plurality of functional elements. The verification method includes the steps of exhaustively verifying the plurality of functional elements on actual hardware, generating a functional element that is the same as one of the functional elements verified on the actual apparatus using a predetermined hardware description language, independently logic-synthesizing each generated functional element into a plurality of first net lists, generating a connection function between the functional elements using the predetermined hardware description language, logic-synthesizing the generated connection function into a second net list corresponding to the connection function, synthesizing the first net lists with the second net list to generate a third net list, writing a logic circuit into the programmable logic device on the basis of the third net list, and verifying the actual programmable logic device.

Abstract: A verification method is provided for verifying a safety apparatus including a programmable logic device having a plurality of functional elements. The verification method includes the steps of exhaustively verifying the plurality of functional elements on actual hardware, generating a functional element that is the same as one of the functional elements verified on the actual apparatus using a predetermined hardware description language, independently logic-synthesizing each generated functional element into a plurality of first net lists, generating a connection function between the functional elements using the predetermined hardware description language, logic-synthesizing the generated connection function into a second net list corresponding to the connection function, synthesizing the first net lists with the second net list to generate a third net list, writing a logic circuit into the programmable logic device on the basis of the third net list, and verifying the actual programmable logic device.

Abstract: A safety protection instrumentation system for a nuclear reactor is constructed by using a digital logic, in which the digital logic includes functional units in which output logic patterns corresponding to all input logic patterns are verified in advance and a functional module formed by combining the functional units.