摘要:
A method and apparatus is disclosed herein for formal specification and analysis of timing properties. In one embodiment, the method comprises receiving a software design that includes timing behaviors expressed in a specification language; analyzing the timing behaviors; and using abstract interpretation based static analysis to detect misuses of one or more timing constructs.
摘要:
A wireless communication system experience interference from other wireless communication networks. A method for designing wireless communication systems subject to interference is proposed based on a realistic interference model which accounts for the propagation effects introduced by the wireless environment (such as path loss, shadowing, and multipath fading), and for the spatial scattering of transmitters (using a Poisson field). The method accounts for tradeoffs between network parameters, such as signal-to-noise ratio (SNR), interference-to-noise ratio (INR), path loss exponent, spatial density of the interferers, and error probability. Advantages of this method include: 1) a unified framework for designing a wireless system, subject to cumulative interference and noise, incorporating a wide range of performance metrics; and 2) a general application that covers a broad class of wireless communication systems and channel fading distributions.
摘要:
A mobile terminal device, which is provided with the plurality of keys, includes: a detection interface for detecting touching any of the keys by a user; a press detection interface for detecting pressing the key by the user; a controller for executing a first function assigned to the key at the time of detection of the user touching the key in a case where touching time period, for which the user touches the key, is equal to, or longer than, a predetermined judging time, and for executing a second function assigned to the key at the time of detection of the user touching the key in a case where the touching time period is shorter than the predetermined judging time; and an output controller for displaying an explanation on the first function on a display unit in a case where the touching time period is equal to, or longer than, the predetermined judging time.
摘要:
A first elapsed time from transmission of a data segment until receipt of an acknowledgement is measured. A probability distribution of the first elapsed time is generated for a client device 50 on the basis of the measured first elapsed time. A second elapsed time from retransmission of a data segment until receipt of an acknowledgement is measured. A probability distribution of the second elapsed time is generated for a client device 50 on the basis of the measured first elapsed time. An estimation is made as to whether an acknowledgment pertains to which data segment on the basis of the generated probability distribution.
摘要:
A service providing system provides a portable terminal having a wireless communication function with a service effective only in a specific area. The service providing system includes an entrance gate installed at an entrance of the specific area. The entrance gate includes specific area service notifying unit configured to notify the portable terminal of a type of service necessary in the specific area by means of wireless communication.
摘要:
Plural terminal devices are arranged under a relay apparatus. The relay apparatus includes a mobile communication network connection unit, a packet switching network connection unit, and an emergency call determination unit. The emergency call determination unit determines whether or not the calls originated from the terminal devices are emergency calls, and when the calls are the emergency calls, connects the emergency calls to the mobile communication network connection unit. When the calls are the emergency calls, the mobile communication network connection unit connects the emergency calls to the mobile communication network by issuing thereto a notice on an identification number of the relay apparatus, the identification number being stored in an IC card attached to the relay apparatus.
摘要:
When a connection is established between a client device and a server device, a first message requesting establishment of a downlink connection is transmitted from the client device to the server device, and a server device which has received the first message is caused to transmit to the client device a second message requesting establishment of an uplink connection. The client device which has received the second message is caused to transmit to the server device a third message acknowledging the second message and requesting establishment of the downlink connection. The server device which has received the third message is caused to establish the downlink connection based on the content of the third message.
摘要:
A liquid crystal display includes an insulating substrate, a first metal layer formed on the substrate, a first insulating layer including an oxide of tantalum nitride with high ratio of nitrization formed on the first metal layer, a second insulating layer including an oxide of tantalum nitride with low ratio of nitrization formed on the first insulating layer, and a second metal layer formed on the second insulating layer.
摘要:
A control apparatus is for use in a power conversion system including a DC/AC converter circuit connected to an electric rotating machine at output terminals thereof and to a DC power source at input terminals thereof through a switching means, a capacitor being connected across the input terminals of the DC/AC converter circuit. The control apparatus includes a current supply means configured to perform current supply control to supply a current to the electric rotating machine in order to discharge the capacitor by manipulating the DC/AC converter circuit in a state where the switching means is set open, and a speed lowering means configured to apply a brake force to a rotating shaft of the electric rotating machine to reduce a rotational speed of the electric rotating machine prior to the current supply control being performed by the current supply means if the rotational speed exceeds a specified speed.
摘要翻译:一种控制装置用于电力转换系统,包括通过开关装置连接到旋转电机的输出端的DC / AC转换器电路及其输入端的直流电源,电容器连接在输入端 DC / AC转换电路的端子。 该控制装置包括:电流供给装置,被配置为进行电流供给控制以向电动旋转机提供电流,以便在切换装置打开的状态下操纵DC / AC转换器电路来放电电容器,并且 速度降低装置,被配置为如果旋转速度超过规定速度,则由电流供给装置执行当前供给控制之前,向旋转电机的旋转轴施加制动力,以降低旋转电机的旋转速度。
摘要:
A control apparatus for use with an electric power conversion system which is equipped with a dc/ac converter connected to an electric rotating machine and a capacitor joined to input terminals of the dc/ac converter. The control apparatus stores an angle of rotation (i.e., start angle θ0) of the electric rotating machine before start of control of energization of the electric rotating machine to discharge the capacitor and determines command currents idr and iqr which will result in zero (0) torque in the electric rotating machine. The control apparatus includes a command current correcting circuit which corrects the command currents idr and iqr by a difference between a current angle θ of rotation of the electric rotating machine and the start angle θ0, thereby avoiding constant rotation of the electric rotating machine when the capacitor is discharged.