Abstract: A hardware trojan detection method is provided including an input and output updating step of updating input and output values of all logic cells by performing computations according to logical expressions of all logic cells included in a netlist to be verified and a detection step of performing hardware trojan detection based on a comparison result of the updated input and output values and a threshold.

Abstract: The first conductor plate has a groove portion that has a rectangular cross section and is formed in parallel with a first main surface such that the longitudinal direction becomes a first direction, and a first vertical tube portion formed in a direction away from the second conductor plate in a second direction orthogonal to the first direction and the first main surface, with a branch position in the groove as a starting point. The second conductor plate includes a reflection portion that is inserted into the groove portion in a manner protruding from a second main surface, which is a flat surface of the second conductor plate in contact with the first main surface, and has a reflection surface that reflects the radio wave, propagated along the groove portion, toward the first vertical tube portion.

Abstract: To provide a foreign-object system which uses a plurality of radars, and which can detect a foreign object that is present on a runway or the like and which can suppress interference between radars. A foreign-object detection system including a first radar 11, a second radar 21 connected to the first radar via a network 33, and a signal source 31 for transmitting a synchronization signal to the first radar and the second radar via the network, said foreign-object detection system wherein interference generated due to a radar signal outputted from the second radar being reflected by a reflective body and inputted to the first radar is prevented by controlling a delay time that corresponds to |?1i??2j|, where ?1i is the time taken for the synchronization signal to be transmitted from the signal source to the first radar, and ?2j is the time taken for the synchronization signal to be transmitted from the signal source to the second radar.

Abstract: Provided is a conductive material that is capable of achieving a high-electric conductivity, long-term stability under an atmospheric environment, heat and humidity stabilities, as well as a conductive film and a solar cell using the same. The conductive material includes a mixture of carbon nanotubes (CNTs) and polystyrene sulfonic acid (PSS acid). The element ratio (S/C ratio) of sulfur (S) to carbon (C) in the mixture may be from 0.001 to 0.1 in terms of the number of atoms. CNTs and PSS acid may make up a content percentage of 10 wt % or more in the mixture. These conductive films comprised of the conductive material 6 may have a weight per unit area of the CNTs in the range from 1 mg/m2 to 10000 mg/m2. The solar cell may include the conductive film 7, wherein the film is on the surface of a semiconductor.

Abstract: A hardware trojan detection method is provided including an input and output updating step of updating input and output values of all logic cells by performing computations according to logical expressions of all logic cells included in a netlist to be verified and a detection step of performing hardware trojan detection based on a comparison result of the updated input and output values and a threshold.

Abstract: Provided is a conductive material that is capable of achieving a high-electric conductivity, long-term stability under an atmospheric environment, heat and high humidity stabilities, as well as a conductive film and a solar cell using the same. The conductive material includes a mixture of carbon nanotubes (CNTs) and polystyrene sulfonic acid (PSS acid). The element ratio (S/C ratio) of sulfur (S) to carbon (C) in the mixture may be from 0.001 to 0.1 in terms of the number of atoms. CNTs and PSS acid may make up a content percentage of 10 wt % or more in the mixture. These conductive films comprised of the conductive material 6 may have a weight per unit area of the CNTs in the range from 1 mg/m2 to 10000 mg/m2. The solar cell may include the conductive film 7, wherein the film is on the surface of a semiconductor.

Abstract: A methane hydrate production method comprising a step of performing a reservoir grouting process. The reservoir grouting process comprises: injecting a grouting agent into a frozen soil reservoir on the land or a seabed reservoir for targeting methane hydrate existing within sand particles of the target reservoirs; or injecting a filling material into cavities naturally or artificially occurred in a frozen soil reservoir on the land or a seabed reservoir for targeting methane hydrate existing within sand particles of the target reservoirs, and enabling a grouting body being constructed.

Abstract: A highly thermally conductive printed circuit board prevents electrochemical migration by inhibiting elution of copper ions. The printed circuit board is a metal-base printed circuit board including a metal base plate having an insulating resin layer and a copper foil layer stacked thereon in this order. In the printed circuit board, the insulating resin layer contains a first inorganic filler made of inorganic particles having particle diameters of 0.1 nm to 600 nm with an average particle diameter (D50) of 1 nm to 300 nm, and a second inorganic filler made of inorganic particles having particle diameters of 100 nm to 100 ?m with an average particle diameter (D50) of 500 nm to 20 ?m, and the first inorganic filler and the second inorganic filler are uniformly dispersed in the insulating resin layer.

Abstract: An extravisual obstacle detecting system includes: a radio wave receiving unit 15 configured to receives a radio wave from a radio wave source 13 attached to an object 11; one or a plurality of external sensors 19 attached to the vehicle 17 and configured to detect an external obstacle; an alarm generating unit 21 configured to generate a predetermined alarm, and, when the radio wave receiving unit 15 receives the radio wave from the object 11, and the external sensors 19 do not detect the object 11, the alarm generating unit 21 generates the first alarm.

Abstract: Provided are a polymer, a resin composition, and an antifouling coating material composition which are capable of forming a coating film having both of water resistance and antifouling properties resulting from superhydrophilicity; a method for producing the polymer; a method for forming a structure for stabilizing a carbamate on a surface of a coating film using the polymer; and a method for regenerating a structure for stabilizing a carbamate on a surface of a coating film using the polymer. The polymer having a structure which reacts with CO2 in the presence of water and stabilizes a formed carbamate, in which Expression (1) is satisfied.

Abstract: Materials having charge-storing properties and made variously of dipyridine-fused benzoquinones of formula (1) below or derivatives thereof, dipyridine-fused benzoquinones of formula (4) below or derivatives thereof, or dipyridine-fused benzoquinone skeleton-containing polymers are provided. In the formulas, Ar1 and Ar2 are each independently a pyridine ring that forms together with two carbon atoms on a benzoquinone skeleton, or a derivative thereof. When used as electrode active materials, these charge storage materials are capable of providing high-performance batteries possessing a high capacity, high rate characteristics and high cycle characteristics.

Abstract: The present invention provides a method for selectively separating a straight-chain conjugated diene with high purity from a mixture containing the straight-chain conjugated diene and at least one type of straight-chain olefin. The method involves separating the straight-chain conjugated diene from the mixture containing the straight-chain conjugated diene and the straight-chain olefin using a zeolite membrane composite. The composite contains a porous support and a zeolite layer formed on the surface and in the fine pores of the support, and the zeolite contains an alkali metal cation.

Abstract: An adsorption characteristic measuring apparatus according to the invention supplies a predetermined adsorption gas to a film formed body as a sample accommodated in a sample tube to measure adsorption characteristics. In the inside of the sample tube, a void between an inner wall surface of the sample tube and the sample is filled with a particle-like filler having higher thermal conductivity than the adsorption gas under a measurement pressure. In addition, a glass rod as a dead volume reducing rod, a spacer ring for forming a thermal insulation space between the particle-like filler and the glass rod, and a reflective plate for reflecting radiant heat are disposed.

Abstract: A highly thermally conductive printed circuit board prevents electrochemical migration by inhibiting elution of copper ions. The printed circuit board is a metal-base printed circuit board including a metal base plate having an insulating resin layer and a copper foil layer stacked thereon in this order. In the printed circuit board, the insulating resin layer contains a first inorganic filler made of inorganic particles having particle diameters of 0.1 nm to 600 nm with an average particle diameter (D50) of 1 nm to 300 nm, and a second inorganic filler made of inorganic particles having particle diameters of 100 nm to 100 ?m with an average particle diameter (D50) of 500 nm to 20 ?m, and the first inorganic filler and the second inorganic filler are uniformly dispersed in the insulating resin layer.

Abstract: The present invention can give a joining structure using metal nanoparticles to join the same types or different types of metal where when one surface metal is Al based, the parts are joined through a joining layer containing Ni nanoparticles, whereby a good joining strength is obtained. Further, by using two joining layers (6, 8) including metal nanoparticles to sandwich metal foil (7) so as to form a joining layer and joining the same type or different types of surface metals (3-4) through this joining layer, it is possible to ease the thermal stress due to the difference in amounts of thermal expansion of joined members which have two surface metals.

Abstract: A plating apparatus (1) includes: a holding member (2) that holds a plated object (W); a spacer (4) that is stacked on the holding member (2) via a first seal member (3) in an annular shape surrounding the plated object (W), and has a through portion (45) from which the plated object (W) is exposed and which stores a plating solution; and an anode member (6) that is stacked on the spacer (4) via a second seal member (3) in an annular shape surrounding the through portion (45), and has an anode layer (62) arranged to face the plated object (W) which is exposed from the through portion (45).

Abstract: A photoelectric element 1 includes a first electrode, an electron transport layer supporting a photosensitizer, a hole transport layer, and a second electrode, and these components are stacked in the above order. The electron transport layer is formed of an organic compound produced by electrolytic polymerization of a precursor having, within one molecule thereof, two or more moieties each having a structure represented by the following structural formula (1). The photoelectric element 1 includes a gel layer composed of the organic compound and an electrolyte solution infiltrated into the organic compound.

Abstract: A method of extracting parallelism of an original program by a computer includes: a process of determining whether or not a plurality of macro tasks to be executed after a condition of one conditional branch included in the original program is satisfied are executable in parallel; and a process of copying the conditional branch regarding which the macro tasks are determined to be executable in parallel, to generate a plurality of conditional branches.

Abstract: The present invention provides an electrode composite that has a reaction interface with a large area and can constitute a photoelectric element having high electron transport properties between the reaction interface and the electrode. The electrode composite of the present invention includes a first electrode and a conductive particle layer stacked on the first electrode. The conductive particle layer includes conductive particles containing acicular particles. The conductive particle layer has a three-dimensional porous network structure that is formed by the interconnection of the conductive particles. The three-dimensional network structure is joined to the first electrode. The conductive particle layer contains pores having a pore size of 50 nm or more in a total volume of 50% or more based on the volume of all pores in the conductive particle layer.

Abstract: A photoelectric conversion element having high photovoltaic conversion efficiency is provided. The photoelectric conversion element includes a first electrode, a second electrode arranged opposite to the first electrode, and an electron transport layer provided on a face of the first electrode, and the face is opposite to the second electrode. The photoelectric conversion element further includes a photosensitizer supported on the electron transport layer and a hole transport layer interposed between the first electrode and the second electrode. The electron transport layer contains a perylene imide derivative of [Chemical Formula 1].