Abstract: A method for designing radio scattering bodies includes making a determination of a value of an objective function. The objective function represents a radio scattering property of a design target for a case where a radio wave is incident on the design target under a given condition. The determination of the value is made by computation using an analysis model including the design target, the analysis model being created on the basis of a set value of a parameter describing a shape of the design target.

Abstract: An electromagnetic shield is disposed in front of a radar. The radar has different angles of view in different directions. The radar has a first angle of view in a first direction and a second angle of view in a second direction. The second angle of view is smaller than the first angle of view. The second direction is orthogonal to the first direction. The electromagnetic shield has a pair of first sides and a pair of second sides. The pair of first sides face each other in the first direction. The pair of second sides face each other in the second direction. The electromagnetic shield includes a dielectric. At least one of the pair of first sides includes a structure having at least one selected from the group consisting of a projecting portion and a recessed portion.

Abstract: An electromagnetic shield includes a plate-shaped base, a plurality of first projecting portions, and a contact portion. The base has a first surface and a second surface. The first surface is a surface configured to allow an electromagnetic wave to be incident on the first surface. The second surface is distant from the first surface. The plurality of first projecting portions project from the first surface in a direction away from the second surface. The electromagnetic shield is capable of being attached to a component such that the component is in contact with the contact portion and the first surface faces the component. A distance from the contact portion to the particular portion in a direction parallel to the first surface is equal to or shorter than a first distance d1 between the first projecting portion closest to the contact portion and the contact portion.

Abstract: An electromagnetic shield includes a plate-shaped base, a plurality of first projecting portions, and a plurality of second projecting portions. The plate-shaped base has a first surface and a second surface. The first surface is a surface configured to allow an electromagnetic wave Ei to be incident on the first surface. The second surface is a surface being distant from the first surface and extending along the first surface. The plurality of first projecting portions project from the first surface in a direction away from the second surface. The plurality of second projecting portions project from the second surface in a direction away from the first surface. The electromagnetic shield includes a dielectric.

Abstract: The present invention provides a member which, with a novel configuration, can transmit and attenuate incident radio waves, without the need for mixing a radio wave absorption material for example a dielectric loss material such as carbon particles or a magnetic loss material such as an iron oxide powder, or incorporating a scattering body. Provided is a radio wave scattering body that is characterized by being configured to transmit at least a portion of incident radio waves and to emit the transmitted radio waves in a scattering state, and comprising a resin composition in which a resin is a main component.

Abstract: An objective of the present invention is to provide a pipe through which fluids can flow, in which thermal insulation in a space between an inner wall and an outer wall is achieved at low cost and high performance. The thermal insulation pipe of the present invention is a thermal insulation pipe formed by a double wall pipe of an inner pipe and an outer pipe. A thermal-insulating material to be filled in a space between the inner pipe and the outer pipe is made from an aerogel having a three-dimensional network structure with a framework constituted by a cluster of aggregation of primary particles. The thermal-insulating material includes fine particles having a three-dimensional network structure with a framework of the primary particles.

Abstract: An circuit-component-migration-apparatus is a computer that performs migration of design data between different pieces of circuit design software. The circuit component migration apparatus may be a design apparatus in which circuit design software of a migration destination of design data operates. The circuit component migration apparatus includes a storage unit, an obtaining unit, and a control unit.

Abstract: A back annotation method includes a first process, a second process, and a third process. In the first process, first information is determined. In the second process, second information to be reflected into the first information is determined. In the third process, whether the first information is being locked is determined based on a log file. When it is determined that the first information is being locked, it is requested that a back annotation process for reflecting the second information into the first information is performed in the first process. When it is determined that the first information is not being locked, the back annotation process is performed in the third process.

Abstract: An apparatus for preventing library information leakage includes an input processing unit to register, in an input-item list, library information items included in input design data, an input-item-list storing unit to store the input-item list, and an output processing unit to include, in output design data, library information items that match the library information items registered in the input-item list.

Abstract: A logical description aiding apparatus identifies a positional relation between a position of an uncorrected description part of an after-correction logical description and a position of a corresponding description part of a before-correction logical description. After that, the logical description aiding apparatus identifies, using the identified positional relation, a position where before-correction check results are accordant with after-correction check results and conducts message replacement so that the format of a message of a before-correction check result located on the identified position is changed to the same format as the format of messages of the after-correction check results. The logical description aiding apparatus then extracts differences between the format-changed before-correction check results and the after-correction check results.

Abstract: An arithmetic program conversion apparatus, an arithmetic program conversion program and an arithmetic program conversion method that can convert the floating-point arithmetic of an arithmetic program into a fixed-point arithmetic without degrading the accuracy.

Abstract: According to the present invention, in a content delivery managing section 16, transmission channels and transmission timing are allocated to contents layered according to content properties or respective contents constituting a program. In a content transmission section 10, on the basis of the transmission channels and transmission timing allocated in the content delivery managing section 16, coded bit sequences 101a to 101n of respective contents are multiplexed with timing information 102 such as decoding timing information, combination timing information, presentation timing information and reproduction start timing information for the contents generated in a timing information generating section 14 to generate transmission bit sequences 105a to 105n, and they are transmitted.

Abstract: An arithmetic program conversion apparatus, an arithmetic program conversion program and an arithmetic program conversion method that can convert the floating-point arithmetic of an arithmetic program into a fixed-point arithmetic without degrading the accuracy.

Abstract: In a distributed processing management apparatus, server 3 has a node table 5, a job management table 6 and a job class table 7 in order to manage the resource status such as the CPU operating ratio of each node in every predetermined time period. When the operating ratio of the CPU and other elements of a node rises after the input of a job and the speed of executing the input job falls, the server 3 re-inputs the job from the current node 2a to some other node 2b. With this arrangement, it is possible to improve the overall TAT and effectively exploit computer resources in grid computer environment.

Abstract: A program content managing/providing system, a program content analyzing/retrieving system, and a user terminal are connected to each other via a network. When broadcasting a program content that is not stored, the program content managing/providing system stores the program content. In response to a distribution request of a desired program content from the user terminal, the program content managing/providing system distributes, to the user terminal, a stored program content corresponding to program information included in the distribution request. The program content analyzing/retrieving system receives and analyzes a broadcast program content and then extracts and saves the program information for each of the program contents. In response to a retrieval request of the program information of a desired program content from the user terminal, the program content analyzing/retrieving system provides, to the user terminal, stored program information of a program content that meets the retrieval request.

Abstract: A method for verifying a logical equivalency between two logic circuits having different combinational logic circuits includes the steps of converting into a logic circuit a logic cone that has been determined for each of the two logic circuits, the logic cone including all inputs and all logic circuits which affect one output of the combinational logic circuit, storing a logical expression converted by the converting step and a logic circuit element included in the logic cone while correlating the logical expression with the logic circuit element, and specifying the logic circuit element corresponding to a specified term in the logical expression that has been converted.

Abstract: A plurality of picture frames is arranged as one group according to correlation between picture frames in a picture sequence. Then, a coding mode corresponding to each of the picture frames of the group is determined. Subsequently, preceding is performed according to the coding mode. Then, the coding of a picture is performed by controlling a coding parameter according to a result of the preceding and to the coding mode.

Abstract: According to the present invention, in a content delivery managing section 16, transmission channels and transmission timing are allocated to contents layered according to content properties or respective contents constituting a program. In a content transmission section 10, on the basis of the transmission channels and transmission timing allocated in the content delivery managing section 16, coded bit sequences 101a to 101n of respective contents are multiplexed with timing information 102 such as decoding timing information, combination timing information, presentation timing information and reproduction start timing information for the contents generated in a timing information generating section 14 to generate transmission bit sequences 105a to 105n, and they are transmitted.

Abstract: A method for verifying a logical equivalency between two logic circuits having different combinational logic circuits includes the steps of converting into a logic circuit a logic cone that has been determined for each of the two logic circuits, the logic cone including all inputs and all logic circuits which affect one output of the combinational logic circuit, storing a logical expression converted by the converting step and a logic circuit element included in the logic cone while correlating the logical expression with the logic circuit element, and specifying the logic circuit element corresponding to a specified term in the logical expression that has been converted.

Abstract: The multiplexer device comprises a multiplexing means for multiplexing a plurality types of media information and outputting a multiplexed bit stream, a priority deciding means for deciding priority corresponding to each of the media information, and a multiplexing controller for controlling multiplexing of each of the media information according to the multiplexing means based on the priority decided by the priority deciding means. In addition the priority in each information is multiplexed.