A nuclear-power-plant computer-based procedure display device is disposed in a main control room of a nuclear power plant, and includes a operating procedure storage unit that stores a computer-based procedure in which plant operation procedures of the nuclear power plant are divided into procedure steps and listed, a operating procedure display unit that displays the computer-based procedure, and a operating procedure display control unit that controls display of the computer-based procedure. In a case where the procedure step displayed on the operating procedure display unit is selected by an operator, the operating procedure display control unit displays an indication that the procedure step is selected, on the operating procedure display unit.

A nuclear-power-plant computer-based procedure display device is disposed in a main control room of a nuclear power plant, and includes a operating procedure storage unit that stores a computer-based procedure in which plant operation procedures of the nuclear power plant are divided into procedure steps and listed, a operating procedure display unit that displays the computer-based procedure, and a operating procedure display control unit that controls display of the computer-based procedure. In a case where the procedure step displayed on the operating procedure display unit is selected by an operator, the operating procedure display control unit displays an indication that the procedure step is selected, on the operating procedure display unit.

A verification method for an application logic provided with one or more macro logics configured to perform a predetermined operation, a macro operation control unit configured to instruct the one or more macro logics to start the operation to cause the one or more macro logics to perform the operation, and an operation data storage area configured to store data. In the application logic, static verification by property description of a formal verification language is performed for each of the one or more macro logic, the macro operation control unit, and the operation data storage area, and dynamic verification by simulation is further performed for at least one of the one or more macro logics.

A core performance calculation apparatus includes: a nuclear constant storage device that stores nuclear constants that have been evaluated in advance in analysis of a fuel assembly; and a three-dimensional core nuclear thermal-hydraulic characteristics analysis device that obtains core characteristics including a power of the fuel assembly. The nuclear constant storage device stores, as the nuclear constants, response relationships between a neutron that flows into a fuel assembly cell and fuel assembly nuclear characteristics, and response relationships between a neutron that is produced from a fuel rod and the fuel assembly nuclear characteristics. The three-dimensional core nuclear thermal-hydraulic characteristics analysis device obtains a neutron effective multiplication factor by using the response relationships that have been stored in the nuclear constant storage device, and obtains the power of the fuel assembly by using the neutron effective multiplication factor.

A core performance calculation apparatus includes: a nuclear constant storage device that stores nuclear constants that have been evaluated in advance in analysis of a fuel assembly; and a three-dimensional core nuclear thermal-hydraulic characteristics analysis device that obtains core characteristics including a power of the fuel assembly. The nuclear constant storage device stores, as the nuclear constants, response relationships between a neutron that flows into a fuel assembly cell and fuel assembly nuclear characteristics, and response relationships between a neutron that is produced from a fuel rod and the fuel assembly nuclear characteristics. The three-dimensional core nuclear thermal-hydraulic characteristics analysis device obtains a neutron effective multiplication factor by using the response relationships that have been stored in the nuclear constant storage device, and obtains the power of the fuel assembly by using the neutron effective multiplication factor.

A core monitoring system including: a TIP measuring a neutron amount in a nuclear reactor; a TIP drive device; a TIP panel; a neutron monitoring panel; and a process computer. The TIP panel includes: a TIP level processor and a TIP position processor that process a TIP level signal and a TIP position signal input from the TIP drive device, respectively; a time setting section synchronizing the TIP level signal and the TIP position signal; and a TIP level data storage section storing synchronized TIP level data. The neutron monitoring panel includes a time setting section setting collecting time of a LPRM level signal and an APRM level signal. The process computer compares the time and stores the TIP level data from the TIP panel and the LPRM and APRM level signals from the neutron monitoring panel corresponding in time, and calculates core performance based on the TIP level data.

A core monitoring system including: a TIP measuring a neutron amount in a nuclear reactor; a TIP drive device; a TIP panel; a neutron monitoring panel; and a process computer. The TIP panel includes: a TIP level processor and a TIP position processor that process a TIP level signal and a TIP position signal input from the TIP drive device, respectively; a time setting section synchronizing the TIP level signal and the TIP position signal; and a TIP level data storage section storing synchronized TIP level data. The neutron monitoring panel includes a time setting section setting collecting time of a LPRM level signal and an APRM level signal. The process computer compares the time and stores the TIP level data from the TIP panel and the LPRM and APRM level signals from the neutron monitoring panel corresponding in time, and calculates core performance based on the TIP level data.

Device and method for checking fuel rods with IFBA, their zirconium diboride coating. The device includes a variable magnetic field generator and a magnetic field pickup device, arranged in the vicinity of the rod, as well as a control system for comparing both fields in order to measure the electric conductivity of the rod. The method includes the steps of: arranging the rod to be measured between the generator and the pickup device; generation of a variable magnetic field in the generator; picking-up of the magnetic field; comparison between the generated magnetic field and the picked-up one in order to quantify the electric conductivity of the rod; if the electric conductivity differs from a reference value, consider the rod for checking or recycling.

Device and method for checking fuel rods with IFBA, their zirconium diboride coating. The device includes a variable magnetic field generator and a magnetic field pickup device, arranged in the vicinity of the rod, as well as a control system for comparing both fields in order to measure the electric conductivity of the rod. The method includes the steps of: arranging the rod to be measured between the generator and the pickup device; generation of a variable magnetic field in the generator; picking-up of the magnetic field; comparison between the generated magnetic field and the picked-up one in order to quantify the electric conductivity of the rod; if the electric conductivity differs from a reference value, consider the rod for checking or recycling.

Systems and methods suitable for capable of autonomous crack detection in surfaces by analyzing video of the surface. The systems and methods include the capability to produce a video of the surfaces, the capability to analyze individual frames of the video to obtain surface texture feature data for areas of the surfaces depicted in each of the individual frames, the capability to analyze the surface texture feature data to detect surface texture features in the areas of the surfaces depicted in each of the individual frames, the capability of tracking the motion of the detected surface texture features in the individual frames to produce tracking data, and the capability of using the tracking data to filter non-crack surface texture features from the detected surface texture features in the individual frames.