摘要:
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.
摘要:
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.
摘要:
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.
摘要:
A picture signal encoding and decoding apparatus which transmits a digital picture signal by encoding, and receives and decodes an incoming encoded signal comprises a configuration in which a condition not to make a receiving buffer overflow can be controlled on the transmitting side, and a plurality of quantizers are prepared and a proper quantizing characteristic is selected and used according to the sequence of transformed coefficients and the size of a motion vector. Therefore, it is not necessary to prepare a receiving buffer of a large capacity or a high speed decoding circuit, so that the apparatus can be manufactured at a low cost and the stability of operation is improved and also a signal can be compressed efficiently owing to the realization of quantization corresponding to a statistical characteristic of an input signal.
摘要:
A first conductive pattern is printed on a first insulating film and includes a transmitting antenna, a receiving antenna, an inductor section, and a diode connected in parallel with the inductor section. The inductor and parallelly-connected diode form an LC resonator of the first conductive pattern. A second insulating film, having first and second through-holes for exposing two end portions of the inductor section, is fixedly attached to the first insulating film and a third insulating film and is used as a spacer between them. A second conductive pattern is printed on the third insulating film spanning the first second through-holes, and a conductive member housed in the first through hole joins the first and second conductive patterns. A semiconductor chip of a Schottky diode is used as the diode and housed in the second through-hole in direct contact with the first and second conductive patterns.
摘要:
In a multimedia information processing system, a relay station comprises: transmission decoding section for reproducing a fixed packets stream from received transmission signal from a transmitter; signal change processing means for executing changing process for the fixed packets stream; and transmission coding section for producing a transmission signal corresponding to a characteristic of a transmission line from the fixed packets stream. The construction for exchanging signals between different transmission means is simplified. Thus, it is achieved to exchange contents of media between different transmission means by a simple construction.
摘要:
A multimedia information processing apparatus comprises information source processing portions, element packet processing portions, packet processing portions, transmission path processing portions, an information source processing portion bus, an element packets processing bus and a packet multiplexing bus. A multimedia information processing apparatus is divided into a plurality of layers, and interface signals are defined between each processing portion and each processing is connected via buses. Contents such as broadcasting, communication and storage are secured by an editing unit comprised of a computer and by expansion of units via bus. Bus connection enables editing processing portions such as a complex processing portion including a plurality of processing portions and a computer to expand functions of a multimedia information processing apparatus.
摘要:
A vector quantizer which transmits the input vector of the time when the minimum distortion is larger than the preset distortion threshold value and stores such input vector into the second code book as the new quantizing representative vector for the use in the successive vector quantizing processes. Further, since the first and second code book constitute in the form of tree-structure, calculation for search may be executed at a high speed.
摘要:
A picture signal encoding and decoding apparatus which transmits a digital picture signal by encoding, and receives and decodes an incoming encoded signal comprises a configuration in which a condition not to make a receiving buffer overflow can be controlled on the transmitting side, and a plurality of quantizers are prepared and a proper quantizing characteristic is selected and used according to the sequence of transformed coefficients and the size of a motion vector. Therefore, it is not necessary to prepare a receiving buffer of a large capacity or a high speed decoding circuit, so that the apparatus can be manufactured at a low cost and the stability of operation is improved and also a signal can be compressed efficiently owing to the realization of quantization corresponding to a statistical characteristic of an input signal.
摘要:
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. The apparatus comprises a profile section that uses as object variables the floating-point type variables of an arithmetic program for performing floating-point arithmetic operations, alters the arithmetic program so as to output the changes in the values of the object variables as history at the time of executing the arithmetic program in order to provide a first program, executes the first program and detects the range of value of the object variables according to the history obtained as a result of the execution and a conversion section that alters the arithmetic program according to the ranges of value of the object variables as detected by the profile section so as to convert the object variables into fixed-point type variables in order to provide a second program, executes the second program and determines if the accuracy of the outcome of the execution of the second program meets the predefined and required accuracy level or not.