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: Disclosed are an expression cassette for isopropanol production, a recombinant vector for isopropanol production including the expression cassette, a recombinant microorganism for isopropanol production into which the vector is introduced, and a method of producing isopropanol using the recombinant microorganism. The recombinant microorganism in which a succinic acid bypass metabolic pathway is introduced to an isopropanol production pathway has very high ability to produce isopropanol. The recombinant microorganism is capable of producing isopropanol in an amount corresponding to about 100 times the maximum amount of isopropanol that is produced using known Corynebacterium glutamicum, and thus can effectively produce isopropanol and can be useful in various industrial fields where isopropanol is utilized.

Abstract: The present invention relates to a recombinant microorganism having an enhanced ability to produce heme, coproporphyrin III (Copro III), and uroporphyrin III (Uro III), and a method for producing heme, coproporphyrin III, and uroporphyrin III using same. When using a recombinant microorganism incorporating a gene that codes glutamyl-tRNA reductase (HemA), glutamate-1-semialdehyde aminotransferase (HemL), and diphtheria toxin repressor (DtxR), which is a transcription factor capable of inducing the expression of genes related to heme metabolic pathways, porphyrin-based structures can be produced at high yield, and thus the method is economic.

Abstract: The present invention relates to an enzyme complex in which a heme polymerase and a heme ligase are linked to each other via the dockerin module of cellulase, and to a method for producing a hemozoin using the same. The enzyme complex according to the present invention can polymerize heme with higher efficiency than conventional enzymes, and thus can more efficiently produce hemozoin, a conductive biopolymer.

Abstract: Disclosed are recombinant strain of a genus Corynebacterium capable of producing biliverdin IX-alpha (IX?) and a method of producing biliverdin IX-alpha using the same. The recombinant strain is capable of synthesizing biliverdin IX-alpha in an environmentally friendly manner using only glucose without the addition of any nitrogen source, thus replacing the synthesis of biliverdin IX-alpha through chemical treatment, which is a conventional synthetic method causing environmental pollution problems.

Abstract: Disclosed are recombinant strain of a genus Corynebacterium capable of producing biliverdin IX-alpha (IX?) and a method of producing biliverdin IX-alpha using the same. The recombinant strain is capable of synthesizing biliverdin IX-alpha in an environmentally friendly manner using only glucose without the addition of any nitrogen source, thus replacing the synthesis of biliverdin IX-alpha through chemical treatment, which is a conventional synthetic method causing environmental pollution problems.

Abstract: The present invention relates to an enzym complex in which a heme polymerase and a heme ligase are linked to each other via the dockerin module of cellulas, and to a method for producing a hemozoin using the same. The enzyme complex according to the present invention can polymerize heme with higher efficiency than conventional enzymes, and thus can more efficiently produce hemozoin, a conductive biopolymer.

Abstract: The present invention relates to a recombinant microorganism having an enhanced ability to produce heme, coproporphyrin III (Copro III), and uroporphyrin III (Uro III), and a method for producing heme, coproporphyrin III, and uroporphyrin III using same. When using a recombinant microorganism incorporating a gene that codes glutamyl-tRNA reductase (HemA), glutamate-1-semialdehyde aminotransferase (HemL), and diphtheria toxin repressor (DtxR), which is a transcription factor capable of inducing the expression of genes related to heme metabolic pathways, porphyrin-based structures can be produced at high yield, and thus the method is economic.

Abstract: A method for manufacturing an electrode for hydrogen production using a tungsten carbide nanoflake may include: forming a tungsten carbide nanoflake on a nanocrystalline diamond film by means of a chemical vapor deposition process in which hydrogen plasma is applied; and increasing activity of the tungsten carbide nanoflake to a hydrogen evolution reaction by removing an oxide layer or a graphene layer from a surface of the tungsten carbide nanoflake. Since an oxide layer and/or a graphene layer of a surface of tungsten carbide is removed by means of cyclic cleaning after tungsten carbide is formed, hydrogen evolution reaction (HER) activity of the tungsten carbide may be increased, thereby enhancing utilization as a catalyst electrode.

Abstract: The present invention relates to a mutant microorganism having the ability to produce 5-aminolevulinic acid, and more particularly, to a mutant microorganism having the ability to produce 5-aminolevulinic acid wherein a glutamyl-tRNA reductase-encoding gene is introduced in a glutamic acid-producing microorganism, and to a method for producing 5-aminolevulinic acid using the same. According to the present invention, 5-aminolevulinic acid that is useful in the medical or agricultural field can be produced in a significantly higher yield than that of conventional production methods.

Abstract: A method for manufacturing an electrode for hydrogen production using a tungsten carbide nanoflake may include: forming a tungsten carbide nanoflake on a nanocrystalline diamond film by means of a chemical vapor deposition process in which hydrogen plasma is applied; and increasing activity of the tungsten carbide nanoflake to a hydrogen evolution reaction by removing an oxide layer or a graphene layer from a surface of the tungsten carbide nanoflake. Since an oxide layer and/or a graphene layer of a surface of tungsten carbide is removed by means of cyclic cleaning after tungsten carbide is formed, hydrogen evolution reaction (HER) activity of the tungsten carbide may be increased, thereby enhancing utilization as a catalyst electrode.