Abstract: A method of reinforcement learning of a neural network device for generating a verification vector for verifying a circuit design comprising a circuit block includes inputting a test vector to the circuit block, generating one or more rewards based on a coverage corresponding to the test vector, the coverage being determined based on a state transition of the circuit block based on the test vector, and applying the one or more rewards to a reinforcement learning.

Abstract: The present disclosure relates to a method for separating a carbon isotope and a method for concentrating a carbon isotope using the same, the method for separating a carbon isotope including: cooling a formaldehyde gas to a temperature of from 190K to 250K; and obtaining a mixed gas and residual formaldehyde by photodissociating the cooled formaldehyde gas, the mixed gas including carbon dioxide containing a carbon isotope and hydrogen.

Abstract: The present disclosure relates to a method for separating a carbon isotope and a method for concentrating a carbon isotope using the same, the method for separating a carbon isotope including: cooling a formaldehyde gas to a temperature of from 190K to 250K; and obtaining a mixed gas and residual formaldehyde by photodissociating the cooled formaldehyde gas, the mixed gas including carbon dioxide containing a carbon isotope and hydrogen.

Abstract: An apparatus and a method for detecting a leakage of heavy water in a nuclear reactor system includes: a diode laser that injects a generated laser beam to a test sample placed in a light absorption cell; a vacuum pump adjusts a degree of vacuum in the light absorption cell; a test sample introduction unit gathers an air test sample from a location with a high possibility of a leakage of heavy water or a light water test sample from a secondary side of a steam generator and transfers the sample to the light absorption cell; an optical detector detects the laser beam which has passed through the light absorption cell; and a microprocessor controls the operation of the diode laser, the vacuum pump, the test sample introduction unit, and the optical detector, receives a detect signal from the optical detector, and analyzes an absorption spectrum signal.

Abstract: An apparatus and a method for detecting a leakage of heavy water in a nuclear reactor system includes: a diode laser that generates a laser beam and injects the generated laser beam to a test sample placed in a light absorption cell; the light absorption cell accommodates a gathered test sample therein; a vacuum pump adjusts a degree of vacuum in the light absorption cell; a test sample introduction unit gathers an air test sample from a location with a high possibility of a leakage of heavy water or a light water test sample from a secondary side of a steam generator and transfers the sample to the light absorption cell; an optical detector detects the laser beam which has passed through the light absorption cell; and a microprocessor controls the operation of the diode laser, the light absorption cell, the vacuum pump, the test sample introduction unit, and the optical detector, receives a detect signal from the optical detector, and analyzes an absorption spectrum signal.

Abstract: A method for isotope separation of thallium using a laser beam comprising the steps of: (a) producing photons of a first frequency by a laser system, wherein a wave length of the first frequency is about 378 nm; (b) producing photons of a second frequency by the laser system, wherein a wave length of the second frequency is about 292 nm; (c) producing photons of a third frequency by the laser system, wherein a wave length of the third frequency is in the range of 700 nm to 1400 nm; (d) applying the photons of the first, second and third frequencies to the vapor of the thallium, wherein the photons of the first frequency pump isotope-selectively a plurality of ground state thallium atoms through an excited state into a metastable state, and wherein the photons of the second frequency excite a plurality of metastable state thallium atoms to an intermediate, resonant state, and wherein the photons of the third frequency ionize a plurality of atoms in the intermediate, resonant state through continuum states; and

Abstract: A method for isotope separation of thallium using a laser beam is disclosed.