摘要:
A pressure sensor comprising a plurality of sensor parts arranged in matrix. A first electrode being connected with first wiring and a second electrode being connected with second wiring are disposed oppositely through a cavity part in the sensor part. The second electrode bends to the first electrode side in response to a pressure from a specimen and touches the first electrode upon application of a pressure of a specified level or above. When the specimen is pressed against a pressure detecting region, both electrodes touch each other at a sensor part corresponding to a protrusions of the specimen and are separated at a sensor part corresponding to a recess. When a scanning signal is fed from a scanning circuit to one wiring and presence of a signal flowing through the second wiring is detected by a sensing circuit, a pressure being applied to each sensor part can be detected. Furthermore, the shape is detected by feeding the scanning signal from the scanning circuit to each first wiring sequentially and scanning the pressure detecting region generally.
摘要:
A method and a communication system including femtocells within a macrocell efficiently manage interference between the different femtocells, and between each femtocell and a macrocell. An efficient frequency assignment scheme for the femtocells minimizes interference between a femtocell and a macrocell and among different femtocells using a spectrum-sensing technique carried out by the femtocells. The frequency assignment scheme selects a suitable channel from a set of candidate channels and ensures that the femtocell has an acceptable coverage area even when it is close to the macrocell base station (BS). The frequency assignment scheme favors a co-channel implementation to take advantage of the hand-off and cell search characteristics of the co-channel implementation. In one embodiment, a joint power control and frequency band assignment technique is used, which partitions the coverage area of the macrocell into an inner region, a power control region, and an outer region. Depending on a femtocell's location, it is assigned a certain power level and a frequency band. Power control may be used within the power-control region while, in the other regions, a fixed transmission power may be used.
摘要:
A method and apparatus is disclosed herein for automated testing of an application. A processing system executes the application using test input values that are generated for testing the application with respect to a property of interest. During execution, constraints among symbolic variables of the application are collected. Property state is collected and is used to determine whether a branch in the application is relevant to the property. Based on the collected constraints and branch relevancy, new test input values are generated. The process is repeated until all paths in the application corresponding to relevant branches have been explored.
摘要:
A method and apparatus is disclosed herein for using a module system for polymorphic π-calculus. In one embodiment, the method comprises receiving a formal specification of a software program; and performing automatic analysis on the formal specification using a module system fitted with processes of the polymorphic π-calculus processes.
摘要:
A transmitter device 20, in transmitting a predetermined number of data blocks out of a plurality of data blocks to a receiver device 10 via a relay device 40, divides and writes into data blocks transmitted in succession, a request code for requesting relay device 40 to relay remaining data blocks. Relay device 40, in the case of accepting the request shown in the request code that is divided and written in the data blocks transmitted from transmitter device 20, notifies the acceptance of the request to transmitter device 20. Transmitter device 20, upon receiving the notification, then transmits the remaining data blocks in succession to relay device 40.
摘要:
A method and apparatus is disclosed herein for using a language framework for composable programs. In one embodiment, the method comprises accessing active content having a software component embedded therein, where the software component has a plurality of components that together implement a work flow of a sequence of activities, the plurality of components representing one or more external services, one or more user interface controls and one or more inputs and output; executing the software component, including mediating communication between components using an information flow-based security model.
摘要:
A relaying selection and cooperative communications method provides a threshold selection criterion for forming a reliable group of relay stations (RSs) based on one or more design criteria. Possible design criteria include an outage probability constraint and a throughput constraint. The threshold value is selected according to, for example, transmission paths (e.g., line-of-sight, obstructed-light-of-sight, non-light-of-sight) or channel conditions (e.g., signal-to-noise-ratio) between the base station (BS) and the RSs (i.e., BS-RSs link) and between the RSs and the mobile station (MS) (i.e., RSs-MS link), respectively.
摘要:
A method and apparatus is disclosed herein for determining whether a test case is to be included in a test suite. In one embodiment, the method comprises executing an application with test inputs of a test case during performance of software application testing and using a Finite State Machine (FSM) model of observable events generated from execution of other test cases in the test suite to determine whether to include the test case in the test suite for use in future testing of the application.
摘要:
A management server includes a determination unit and a notification unit. The determination unit determines a communication network to which a mobile terminal connectable to a plurality of the communication networks by one telephone number is connecting. The notification unit issues a notice on the communication network connecting to the mobile terminal based on a result of the determination by the determination unit.
摘要:
A video data recording apparatus which divides video data which has been compressed and encoded in units of groups of pictures (GOPs) comprised of the video data of a predetermined plurality of frames into a plurality of data blocks of a predetermined format, adding a GOP identifying code for identifying a GOP of compressed and encoded video data, recording on a predetermined number of slanted tracks on the tape the plurality of data blocks. Also, a video data reproduction apparatus which reproduces the video data recorded by the video data recording apparatus by simple tracking control.