Abstract: Disclosure is made of a source code checker and a source code checking method, for checking properties related to program behaviors meant by source code for a computer program; of a program for making execute the method; and of a storage medium for storing the program. This source code checking method includes a path extracting step and a checking information determining step. The path extracting step simulates a program described in source code for a computer program preliminarily input, to extract an instruction series to be actually executed. The checking information determining step determines checking information of the source code according to the instruction series extracted in the path extracting step.

Abstract: A distance between positional information added to contents and a current position detected in an information receiving terminal is calculated, and based on the calculated distance, a method for outputting the contents is controlled. Thus, since the method for outputting the contents can be changed by a positional relationship between the contents and the information receiving terminal, distance relationship between the current position and the contents can be clearly displayed so that users can easily select the contents.

Abstract: A best path selecting device in a bus master (300) includes a path information generating unit (302) which generates path information indicating paths from the bus master (300) to the bus master (400), a path malfunction predicting unit (303) which predicts a malfunction on each of the NoC routers, using the number of flows as a scale for occurrence of a malfunction on the NoC router, each of the flows being a sequence of one or more flits to be transmitted from a same transmission source to a same destination by the NoC router which is a candidate for monitoring, at least one of which is determined for each path indicated by the path information, and a bypass path selecting unit (304) configured to select, when the malfunction Is predicted on the at least one NoC router that is the candidate for monitoring on one of the paths, a path that should be used for transmitting the data from the bus master (300) to the bus master (400), from the paths indicated by the path information except the path including the N

Abstract: A network monitoring device which monitors a network in which data is transmitted through relays, includes a monitoring frequency recording unit (111) which records monitoring frequencies for monitoring transmission statuses of the relays, a selection probability generating unit (112) which generates selection probability information which is probability values for the relays, a monitoring object determining unit (113) which determines, according to the monitoring frequency and the selection probability information, a relay the transmission status of which is to be monitored, a transmission status obtaining unit (106) which obtains transmission status information indicating a transmission status on the relay determined, a transmission status recording unit (107) which records the transmission status information, an activation level calculating unit (109) which calculates, using the transmission status information, activation level indicating suitability of the monitoring on the transmission statuses of the re

Abstract: A relay node (203) is a relay node in relay nodes mutually connected through links to compose a communication network, the communication network including paths for transmitting communication data through the relay node (203), including a link status receiving unit (104) which receives at least one link status notification message which is accumulated according to a degree of maintainability of a path, at a time of link disconnecting, at each of the relay devices downstream of the relay device and is forwarded from the downstream relay node (203), a probability generating unit (106) which generates a probability value according to a predetermined probability distribution, a path selection unit (107) which selects one of the paths based on the number of the link status notification message and the probability value, and a relay processing unit (108) which relays the communication data from upstream to a downstream relay device on the path selected by the path selection unit (107).

Abstract: A path control device included in a terminal device (300), which includes a path information generating unit (302) which generates path information indicating paths from a terminal (300) to a terminal (400), a path malfunction predicting unit (303) which predicts a malfunction on each of the relays, using the number of flows as a malfunction occurrence likelihood value, at least one of the relays that is a candidate for monitoring is determined for each path, and a bypass path selecting unit (304) which selects, when the malfunction is predicted on the at least one relay, a path that should be used for transmitting the data from the terminal (300) to the terminal (400), from the paths except the path including the relay on which the malfunction is predicted.

Abstract: A layout-model creating apparatus creates a layout-model for a mechanical computer-aided design from component information including heights and layout information of components created by an electrical computer-aided design. A height determining unit determines whether a height of a component is equal to or lower than a specified height. A three-dimensional-model creating unit creates a three-dimensional model by excluding a component of which the height is determined to be equal to or lower than the specified height.

Abstract: A wiring-model creating apparatus creates a three-dimensional model of a wiring pattern on a printed board based on printed-board information created by an electrical computer-aided design, as a wiring model for a mechanical computer-aided design. A three-dimensional-model creating unit creates the three-dimensional model including holes on the printed board in addition to the wiring pattern, based on the printed-board information.

Abstract: A relay transmission device can achieve high-quality transmission by suppressing congestion in an ad hoc network, even when a network environment changes or performance of a relay device to be communicated with changes.

Abstract: A transmission device includes: a relay device information obtaining unit (101) which obtains self-device transmission status information that is information indicating a transmission status of a communication device; a neighboring communication device determining unit (102) which determines, from other communication devices connected to the network, neighboring communication devices; a neighboring communication device information obtaining unit (103) which obtains another-device transmission status information from each of the neighboring communication devices; a transmission rate control information correcting unit (104) which generates corrected transmission status information based on an amount of statistics calculated from the self-device transmission status information and the another-device transmission status information; a transmission rate determining unit (105) which determines a transmission rate of data, based on the corrected transmission status information; and a data transmission unit (106) wh

Abstract: A relay device can perform high-quality communication even in a wireless mesh network where relay devices are densely arranged and interference of wireless packets is caused. The relay device includes: a representative node determining unit (605) which determines the channel used in its own cluster for intra-cluster communication to be a channel different from the channel used in neighboring cluster for intra-cluster communication, when the communication quality of its own relay device does not meet predetermined quality and no representative node exists among neighboring nodes; a joining and removal notifying unit (607) which allows a neighboring node which is not associated with any cluster to join to its own associated cluster; and a frequency channel changing unit (609) which changes the channel used for intra-cluster communication to the channel determined by the representative node determining unit (605) of the representative node.

Abstract: A wiring design apparatus for designing a plurality of wiring lines of a printed circuit board including a plurality of connection posts arranged in a matrix, includes a processor, the processor providing an orthogonal grid including a plurality of rows and columns running over and between the connection posts, providing a plurality of diagonal paths each connecting at least one of the rows with at least one of the columns each running between each of adjacent pairs of the connection posts, and determining a route for each of the wiring lines by exclusively allocating to each of the wiring lines a selected part of the rows, the columns and the paths so that the selected part connects both ends of each of the wiring lines.

Abstract: A layout-model creating apparatus creates a layout-model for a mechanical computer-aided design from component information including heights and layout information of components created by an electrical computer-aided design. A height determining unit determines whether a height of a component is equal to or lower than a specified height. A three-dimensional-model creating unit creates a three-dimensional model by excluding a component of which the height is determined to be equal to or lower than the specified height.

Abstract: A meta data set correlated with position information is acquired from a server via a communication interface unit (202) or a broadcast interface unit (201). A current position information acquisition unit (208) acquires the current position information and a content processing unit (203) outputs a content list matched with the search condition including the current position information from the meta data set. When a display list is generated according to the content list, a content display control unit (204) compares the content list to the display list. When they coincide, the meta data generates a display list without changing the display method and displays the search result on a browser unit (205) according to the display list generated by the content display control unit (204).

Abstract: The wireless relay apparatus (100) capable of high-quality transmission of data includes a wireless control unit (110) and a data link communication unit (101) which wirelessly receive and transmit data wirelessly, a congestion status determining unit (104) which determines whether or not a congestion caused by radio wave interference occurs in the wireless relay apparatus (100), a data flow determining unit (105) which identifies a flow of data transmitted and received by the wireless relay apparatus (100) and determines whether the flows intersect in the wireless relay apparatus (100), when the congestion status determining unit (104) determines that there is a congestion, and a transmission parameter adjustment unit (106) which adjust transmission characteristics of a type according to a result of the determination by the data flow determining unit (105), among types of transmission characteristics of radio used in at least one of the wireless control unit (110) and the communication apparatuses (100).

Abstract: A method for fabricating a semiconductor device, includes the steps of (a) forming a metal film containing a precious metal on a substrate having a semiconductor layer containing silicon or on a conductive film containing silicon formed on the substrate, (b) after step (a), heat-treating the substrate to allow the precious metal to react with silicon to form a silicide film containing the precious metal on the substrate or the conductive film, (c) after step (b), forming an oxide film on a portion of the silicide film underlying an unreacted portion of the precious metal using a first chemical solution, and (d) dissolving the unreacted portion of the precious metal using a second chemical solution.

Abstract: A relay transmission device can achieve high-quality transmission by suppressing congestion in an ad hoc network, even when a network environment changes or performance of a relay device to be communicated with changes.

Abstract: A transmission device includes: a relay device information obtaining unit (101) which obtains self-device transmission status information that is information indicating a transmission status of a communication device; a neighboring communication device determining unit (102) which determines, from other communication devices connected to the network, neighboring communication devices; a neighboring communication device information obtaining unit (103) which obtains another-device transmission status information from each of the neighboring communication devices; a transmission rate control information correcting unit (104) which generates corrected transmission status information based on an amount of statistics calculated from the self-device transmission status information and the another-device transmission status information; a transmission rate determining unit (105) which determines a transmission rate of data, based on the corrected transmission status information; and a data transmission unit (106) wh

Abstract: To enable network control (particularly, transmission band allocation) that excels in follow-up ability to follow changes in a network, locality, and responsiveness. A network control apparatus controls a wireless ad-hoc network and includes: a routing processing unit (402) which establishes routing within a wireless ad-hoc network using routing information including information regarding a local transmission quality within the wireless ad-hoc network; a routing processing unit (406) which obtains the information regarding the transmission quality from the routing information used for establishing the routing; and a bottleneck estimating unit (411) which estimates a relay apparatus as a bottleneck candidate, based on a distribution of plural transmission qualities within the wireless ad-hoc network, which are indicated by the obtained information.

Abstract: An endoscope imaging apparatus includes an imaging unit in which an imaging optical unit that contains at least one optical lens in a rigid member the one end side of which is airtightly sealed is airtightly joined to an imaging element unit that contains at least one imaging element in a rigid member the one end side of which is airtightly sealed through a tubular member to which a bellows portion having an elastic force is formed.