Patent application number | Description | Published |
20090055784 | METHOD FOR VERIFYING SAFETY APPARATUS AND SAFETY APPARATUS VERIFIED BY THE SAME - 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. | 02-26-2009 |
20090164955 | METHOD FOR VERIFYING SAFETY APPARATUS AND SAFETY APPARATUS VERIFIED BY THE SAME - 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. | 06-25-2009 |
20100067645 | REFLECTOR SYSTEM OF FAST REACTOR - A reflector system of a fast reactor according to the present invention comprises a reflector having a neutron reflecting portion reflecting a neutron radiated from a reactor core, and a cavity portion provided above the neutron reflecting portion and having a lower neutron reflecting capacity than a coolant, and a reflector drive apparatus coupled to the reflector and moving the reflector in a vertical direction. The reflector drive apparatus has a driving portion which is coupled to the reflector via a drive shaft, and drives the reflector up and down, and a load sensing portion which is provided between the driving portion and the drive shaft, and senses a load of the reflector. A detecting portion receiving a load signal from the load sensing portion so as to detect a breakage of the cavity portion of the reflector is connected to the load sensing portion. | 03-18-2010 |
20100282975 | SURVEY METER - A survey meter for measuring a radioactive contamination caused in an inner surface of a pipe includes a radiation detecting section and a signal processing section. The radiation detecting section includes a rod-shaped light guide unit, a reflecting portion connected to one end surface of the light guide unit, a photoelectric transfer unit, for outputting an electronic signal, connected to another one end surface of the light guide unit, and a scintillator unit provided to a circumference of the light guide unit. The signal processing section includes a pulse height discriminator for outputting a logic signal at a time when a pulse height value of the electronic signal outputted from the photoelectric transfer unit is higher than a threshold value, a counter unit for counting the logic signal, a contamination judging unit for judging whether a radioactive contamination is caused or not, and a display unit for displaying the value counted by the counter unit and a contamination judging result judged by the contamination judging unit. | 11-11-2010 |
20150036778 | REACTOR STATE MONITORING APPARATUS AND MONITORING METHOD THEREOF - A reactor state monitoring apparatus including: a first gamma ray-dose measurement device that detects and measures an atmospheric radiation dose caused by radioactive substances on a containment vessel side respective to a biological shielding wall surrounding a pressure vessel and outside the pressure vessel; a second gamma ray-dose measurement device that detects and measures a radiation dose on the pressure vessel side respective to the biological shielding wall; a fuel radiation measuring device that detects and measures a radiation dose of fuel in the pressure vessel; and a water amount evaluation device that calculates a difference between radiation doses measured by the fuel radiation measuring device and the first gamma ray-dose measurement device as a corrected fuel radiation dose, and acquires a cooling water level as a water level evaluation value, based on the radiation dose measured by the second gamma ray-dose measurement device and the corrected fuel radiation dose. | 02-05-2015 |