Abstract: A logic simulation verification system designates a change timing designation unit configured to designate a reference signal and a change timing and calculate a first time for which there is a possibility that a first signal to be assigned to a variable described in a library, a circuit description, and a test bench is changed in accordance with the reference signal. The system calculates a second time for which there is a possibility that a second signal assigned a variable described in the library, the circuit description, and the test bench will be checked in accordance the reference signal and then determines whether different circuits for which first signals are the same have first times that match. The system also determines whether a first time and a second time match with each other when a first signal of one circuit and a second signal of another circuit are the same.

Abstract: A logic simulation verification system designates a change timing designation unit configured to designate a reference signal and a change timing and calculate a first time for which there is a possibility that a first signal to be assigned to a variable described in a library, a circuit description, and a test bench is changed in accordance with the reference signal. The system calculates a second time for which there is a possibility that a second signal assigned a variable described in the library, the circuit description, and the test bench will be checked in accordance the reference signal and then determines whether different circuits for which first signals are the same have first times that match. The system also determines whether a first time and a second time match with each other when a first signal of one circuit and a second signal of another circuit are the same.

Abstract: A valve device is provided that is a gas-driven type, is capable of mounting various electronic devices, and solves problems involving wiring or battery replacement. The problem is solved by a valve device including a piston member that drives a diaphragm, an actuator part that receives supply of high-pressure air and drives the piston member, a coil spring that presses the piston member in a direction reverse to a driving direction of the actuator part, and a power generation unit provided in a power generation unit-housing part serving as a supply path of high-pressure air to the actuator part and including a screw rotated by air flow and a commutator generator coupled with the screw. The power generation unit generates power using the high-pressure air supplied to the actuator part and a portion of energy stored in the coil spring.

Abstract: There is provided a communication apparatus of a plurality of communication apparatuses forming a ring network, the communication apparatus includes: a transmitter configured to transmit a multicast packet to a first communication apparatus of the plurality of communication apparatuses; a receiver configured to receive data of a reception failure of the multicast packet from the first communication apparatus; and a transmission controller configured to stop transmitting of the multicast packet from the transmitter according to the data of the reception failure.

Abstract: An apparatus for switching multiple communication channels having a redundant configuration, includes a fault determining section configured to determine an occurrence of a fault of data received from a transmitting apparatus via one of the multiple communication channels having the redundant configuration, the data being set with one of multiple classes; a class control section configured to switch the data in one of the multiple classes being determined as having the fault, to one of the multiple communication channels having the redundant configuration being unused for transmission of the data in the class; a switching control section configured to generate switching information including information about the class determined to have the fault and a destination communication channel for the data in the class to be switched to; and a transmission section configured to transmit the switching information to the transmitting apparatus.

Abstract: A transmitter includes an allocating unit, a determining unit and a control unit. The allocating unit allocates, based on priorities of a first signal and a second signal received by a single port in the transmitter, a band of the port to a signal having a higher priority. The determining unit determines whether a local port in the transmitter or a destination of the local port uses the first signal as a standby signal in a redundant configuration. The control unit changes, when the determining unit determines that the local port or the destination uses the first signal as the standby signal, the priority of the second signal received by the local port such that the priority of the second signal is higher than the priority of the first signal.

Abstract: An apparatus for switching multiple communication channels having a redundant configuration, includes a fault determining section configured to determine an occurrence of a fault of data received from a transmitting apparatus via one of the multiple communication channels having the redundant configuration, the data being set with one of multiple classes; a class control section configured to switch the data in one of the multiple classes being determined as having the fault, to one of the multiple communication channels having the redundant configuration being unused for transmission of the data in the class; a switching control section configured to generate switching information including information about the class determined to have the fault and a destination communication channel for the data in the class to be switched to; and a transmission section configured to transmit the switching information to the transmitting apparatus.

Abstract: In a navigation system integrated with a diagnostic device, an arithmetic and control unit for diagnostic communication makes an inquiry to electronic control units, such as an engine control unit, a transmission control unit and a brake control unit connected a CAN, about data which is used for the diagnosis of trouble causes based on setting information stored in a memory through diagnostic communication. An arithmetic and control unit for navigation system receives messages responding to the inquiry to sift through the data to be collected based on the setting information in the memory and stores the collected information in a hard disk drive device. The setting information is updated by making an inquiry to an external center via a mobile communication network.

Abstract: A system for analyzing crosstalk occurring in a semiconductor integrated circuit, includes calculating timing windows of first and second wires under a first and second analysis conditions, a sequence determination module determining whether a sequence of the timing windows of the first and second wires interchanges, and an analysis module analyzes crosstalk occurring between the first and second wires when an interchange of the sequence occurs.

Abstract: In a navigation system integrated with a diagnostic device, an arithmetic and control unit for diagnostic communication makes an inquiry to electronic control units, such as an engine control unit, a transmission control unit and a brake control unit connected a CAN, about data which is used for the diagnosis of trouble causes based on setting information stored in a memory through diagnostic communication. An arithmetic and control unit for navigation system receives messages responding to the inquiry to sift through the data to be collected based on the setting information in the memory and stores the collected information in a hard disk drive device. The setting information is updated by making an inquiry to an external center via a mobile communication network.

Abstract: A system for analyzing crosstalk occurring in a semiconductor integrated circuit, includes calculating timing windows of first and second wires under a first and second analysis conditions, a sequence determination module determining whether a sequence of the timing windows of the first and second wires interchanges, and an analysis module analyzes crosstalk occurring between the first and second wires when an interchange of the sequence occurs.

Abstract: In a signal delay time calculation method of calculating an approximate signal delay time in an LSI based on AWE in which a signal voltage waveform is calculated by using terms of an admittance up to n-th order obtained by Laplace transform for the LSI. Even if there are one or more poles of the signal having a real-number part of more than zero, it is determined to obtain a high-accuracy signal delay time when the delay time is obtained within a range to which those poles provide smaller effect.

Abstract: In a signal delay time calculation method of calculating an approximate signal delay time in an LSI based on AWE in which a signal voltage waveform is calculated by using terms of an admittance up to n-th order obtained by Laplace transform for the LSI. Even if there are one or more poles of the signal having a real-number part of more than zero, it is determined to obtain a high-accuracy signal delay time when the delay time is obtained within a range to which those poles provide smaller effect.

Abstract: A vehicle-mounted device for an automatic charge receipt system capable of being designed, manufactured and installed while an encrypting/decrypting algorithm and/or encrypting/decrypting keys remain hidden. Included is an arrangement for discrimination (i.e., identification) of a vehicle-mounted device or user each time a utilization charge is determined/settled, wherein an initial portion of communications concerning discrimination is conducted without encrypting/decrypting, and remaining portions of communications are conducted with encrypting/decrypting so as to protect an integrity and security of the automatic charge receipt system. Confindential components/information, e.g., the encrypting/decrypting algorithm and/or keys, and components directly handling such information are arranged within a tamper-/access-resistant unit (preferably as a sealed integrated circuit package) in the vehicle-mounted device.

Abstract: A transmission distortion elimination device for eliminating from a transmitted TV signal, for example, signal distortion such as ghost under fuzzy inferenced control based on an iterative correction method with the capabilities of fast control settling, and a flexible and stable distortion removal operation. The device comprises a filter section for suppressing such transmission distortion as ghost, a controller for controlling the tap coefficients of the filter section, and a fuzzy inference section for receiving distortion information obtained by the controller. The fuzzy inference section iteratively infers and evaluates a correction value of tap coefficients of the filter section. The tap coefficient correction value is determined through fuzzy inference, and the control method for counteracting disturbance coefficients to the control system is described in rules of IF-THEN form based on fuzzy levels, which facilitates the organization of the control algorithm.

Abstract: A ghost elimination device equipped in a television receiver extracts a reference signal from the television signal, the reference signal being inserted in the television signal in a certain sequence or at random with the intention of ghost elimination, implements the sequence decoding process and noise elimination process for the reference signal, and controls the characteristics of the ghost eliminating transversal filter which suppresses the transmission distortion. The device includes a sequence decoding circuit for decoding the transmission sequence of the reference signal, a transversal filter for suppressing the distortion of transmission path disposed in a rear stage of sequence decoding circuit, and a controller which introduces the reference signal provided by the filter to control the characteristics of the filter or apply the output of the sequence decoding circuit to the transversal filter through a noise elimination filter.

Abstract: There is disclosed a compatible television receiver capable of receiving and reproducing both the standard system television signal and the high definition television signal and capable of confining the degradation of picture quality of the high definition television signal to the minimum, in which the received standard system television signal and high definition television signal are respectively converted to non-interlace signals, and scanning is selectively performed with either of non-interlace video signals to display images.

Abstract: A television signal recording/reproducing apparatus of the color-under recording type wherein an input composite video signal is separated into a luminance signal and a color signal. For the separated luminance signal, calculation of the interframe signals is executed so that the color signal component remaining in the separated luminance signal is removed by a frame comb filter. And the input signal and the output signal of the frame comb filter are mixed with each other. For the separated color signal, calculation of the interframe signals is executed so that the luminance signal component remaining in the separated color signal is removed by a frame comb filter. And the input signal and the output signal of the frame comb filter are mixed with each other. Each of the signal mixing ratios is controlled in accordance with the interframe level difference in the luminance signal. And the mixed signals are recorded on a recording medium after predetermined recording processes.

Abstract: A convergence correcting apparatus is used in a projection television receiver including a CRT having an aspherical fluorescent screen and a projection lens apparatus which is attached to the display screen of the CRT and has aspherical plastic lenses. In the digital convergence correcting apparatus, a digital memory stores digital correction data corresponding to correction values of convergence adjustments points indicative of a plurality of points on the display screens divided in the horizontal and vertical directions. A multiplexer reads out predetermined digital correction data from the digital memory and time sharingly multiplexes. At least one digital/analog converter receives the time sharingly multiplexed data from the multiplexer and generates an analog signal. Sample and hold circuits extract a predetermined correction signal from the analog output of the digital/analog converter and sample and hold them.

Abstract: There is provided a detection circuit for TV receiver which includes a frame comb filter and a field comb filter and which generates a luminance signal or a chrominance signal by effecting addition or subtraction upon video signals of two frames adjoining each other included in the received TV signal. This detection circuit includes a synchronization separation circuit, an APC circuit, a frequency division circuit connected to the APC circuit, and a comparator circuit connected to the frequency division circuit. The frequency of the chrominance subcarrier signal is demultiplied by the frequency division circuit. The phase of the chrominance subcarrier signal thus frequency-divided is compared with the phase of the synchronizing signal separated by the synchronizing separation circuit. It is thus judged whether the received TV signal is a standard TV signal or a nonstandard TV signal.