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: An apparatus and method for treating a substrate are provided. The apparatus includes at least one first process chamber configured to supply a developer onto the substrate; at least one second process chamber configured to treat the substrate using a supercritical fluid; a transfer chamber configured to transfer the substrate from the at least one first process chamber to the at least one second process chamber, while the developer supplied in the at least one first process chamber remains on the substrate; and a temperature and humidity control system configured to manage temperature and humidity of the transfer chamber by supplying a first gas of constant temperature and humidity into the transfer chamber.

Abstract: A spacecraft for removing space debris is disclosed. The spacecraft includes a satellite bus, a shield member foldable on an outer side face of the satellite bus and disposed facing towards space debris to reduce a movement speed of the space debris, and a support member configured to support the shield member with respect to the satellite bus, in which the shield member includes a central panel configured to overlap one face of the satellite bus, a plurality of first panels connected to peripheral sides of the central panel and radially extended, and a plurality of second panels located between the first panels.

Abstract: A spacecraft for removing space debris is disclosed. The spacecraft includes a satellite bus, a shield member foldable on an outer side face of the satellite bus and disposed facing towards space debris to reduce a movement speed of the space debris, and a support member configured to support the shield member with respect to the satellite bus, in which the shield member includes a central panel configured to overlap one face of the satellite bus, a plurality of first panels connected to peripheral sides of the central panel and radially extended, and a plurality of second panels located between the first panels.

Abstract: The present invention relates to a method for controlling land surface temperature using stratospheric airships and a reflector. In the method for controlling land surface temperature using stratospheric airships and a reflector, four corners are connected to a lower end of support lines coupled to be disposed vertically downward from a plurality of airships, and sunlight is reflected by a reflector unfolded into a tetragonal shape in the air, wherein the reflecting surface of the reflector plate is maintained at an angle to remain perpendicular to an incident angle of sunlight to shield, or redirect, the land surface from incident sunlight.

Abstract: The present invention relates to a method for controlling land surface temperature using stratospheric airships and a reflector. In the method for controlling land surface temperature using stratospheric airships and a reflector, four corners are connected to a lower end of support lines coupled to be disposed vertically downward from a plurality of airships, and sunlight is reflected by a reflector unfolded into a tetragonal shape in the air, wherein the reflecting surface of the reflector plate is maintained at an angle to remain perpendicular to an incident angle of sunlight to shield, or redirect, the land surface from incident sunlight.

Abstract: The present invention relates to a method for controlling land surface temperature using stratospheric airships and a reflector. In the method for controlling land surface temperature using stratospheric airships and a reflector, four corners are connected to a lower end of support lines coupled to be disposed vertically downward from a plurality of airships, and sunlight is reflected by a reflector unfolded into a tetragonal shape in the air, wherein the reflecting surface of the reflector plate is maintained at an angle to remain perpendicular to an incident angle of sunlight to shield the land surface from incident sunlight.

Abstract: Disclosed herein is a method for manufacturing a high-crush-strength iridium catalyst for hydrazine decomposition for spacecraft and satellite propulsion using bauxite, the method including: an acid treatment step of bringing bauxite into contact with a 0.1-10 M acid solution for 10-14 hr; a filtration step of filtering the acid-treated bauxite as a solid to remove the remaining acid and impurities; a thermal treatment step of bringing the filtered bauxite into contact with hot air at a temperature of 500-700° C. for 2-6 hr; a catalyst loading step of loading an iridium catalyst onto the thermally treated bauxite; and a reduction step of reducing the catalyst of the catalyst-loaded bauxite.

Abstract: Disclosed herein is a method for manufacturing a high-crush-strength iridium catalyst for hydrazine decomposition for spacecraft and satellite propulsion using bauxite, the method including: an acid treatment step of bringing bauxite into contact with a 0.1-10 M acid solution for 10-14 hr; a filtration step of filtering the acid-treated bauxite as a solid to remove the remaining acid and impurities; a thermal treatment step of bringing the filtered bauxite into contact with hot air at a temperature of 500-700° C. for 2-6 hr; a catalyst loading step of loading an iridium catalyst onto the thermally treated bauxite; and a reduction step of reducing the catalyst of the catalyst-loaded bauxite.