Abstract: The fault diagnosis device is for diagnosing presence of a fault in an amplitude modulation device which modulates an amplitude of a carrier wave signal to generate a modulated wave signal, comprising. The fault diagnosis device includes a sampling means to perform sampling of at least one of the carrier wave signal and the modulated wave signal at a period different from a period of the carrier wave signal, and a diagnosis means to perform diagnosis of presence of a fault in the amplitude modulation device based on sampled values outputted from the sampling means.

Abstract: 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.

Abstract: A server device 20 requests a client device 30 to execute one of a plurality of computations having different degrees of difficulty. Client device 30 identifies, based on an amount of computation required for each of said plurality of computations, a computation to be executed and executes the computation. Client device 30, when requesting execution of a given process to server device 20, transmits a result of the computation to server device 20. Server device 20, when the computation result is correct, executes a predetermined process according to a priority based on an amount of the computation.

Abstract: 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.

Abstract: An information-processing apparatus comprises: an environment storage unit that stores a set of instructions for implementing a plurality of runtime environments including a first runtime environment and a second runtime environment; an execution unit that executes the set of instructions stored in the environment storage unit; a status-holding unit that stores an item(s) of status information to be transmitted from the first runtime environment to the second runtime environment; a timing storage unit that stores a condition relating to a status of execution of one of the first runtime environment and the second runtime environment; and a transmission unit that transmits the item(s) of status information stored in the status-holding unit to the second runtime environment in a case where the condition stored in the timing storage unit is fulfilled.

Abstract: A state notification apparatus comprises: a holding unit that, when one or more secure runtime environments and one or more non-secure runtime environments are selectively executed in a foreground, holds an identifier of a runtime environment that is being executed in the foreground; a determination unit that determines a state of the runtime environment executed in the foreground based on the identifier held by the holding unit; and a notification unit that causes a hardware device that cannot be accessed from the one or more non-secure runtime environments to notify the state determined by the determination unit.

Abstract: A data control device includes: an execution unit that executes, as an active runtime environment, one of a plurality of runtime environments each provided with an individual clipboard used for data reading and writing; a switching unit that switches the active runtime environment; a decision unit that, when the active runtime environment is switched by the switching unit, decides whether an item of data written to a clipboard of a runtime environment that is active before the switching should be copied to a clipboard of a runtime environment that will become active after the switching, by referring to an attribute of at least one of the runtime environment that is active before the switching and the runtime environment that will become active after the switching; and a management unit that manages copying of the item of data between the clipboards based on the decision made by the decision unit.

Abstract: 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.

Abstract: A device management apparatus includes a device configuration information holding unit, a subscriber information holding unit, a security policy holding unit, a module state holding unit, and a device diagnosis unit. The security policy holding unit holds a security policy set based on the configuration based on the configuration information or the subscriber information. The device diagnosis unit examines the security policy and the module state information to make a diagnosis of a configuration of the device.

Abstract: A drive system has a low voltage system, a high voltage system, and a transformer. The high voltage system has drive units which correspond to power switching elements. A capacitance in the high voltage system serves as a flouting power source which supplies electric power to each of the drive units. An output voltage of a secondary side coil of the transformer is supplied to the capacitance. A comparator compares the output voltage at the secondary side coil of the transformer with a threshold value. A switching speed change part changes the switching speed of each of the power switching element based on the comparison result of the comparator.

Abstract: A relay device 40, when it relays data blocks transmitted in succession from a transmitter device 20 to a receiver device 10, is caused to identify a state code showing a state of a communication resource used when the data blocks are transferred. Relay device 40 divides the identified state code into portions of a predetermined data size and writes the divided portions into a predetermined area of the data blocks. Receiver device 10 transmits to transmitter device 20 an acknowledgement containing the same data as is written in a predetermined area of the received data block. Transmitter device 20, upon receipt of the acknowledgement, reads the state code that is divided and written in the acknowledgement and increases or reduces the number of data blocks on the basis of the state code.

Abstract: 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.

Abstract: A method and apparatus is disclosed herein for facilitating user interaction in web-related activities. In one embodiment, the method comprises monitoring a user's current interaction with a browser, predicting a task a user is likely to take based on a current interaction context associated with the user's current interaction and one or more rules previously generated based on one or more previously recorded browser interactions, and generating, based on the prediction, and displaying a user interface component with the browser, the user interface component selectable by the user and representing an interaction (or a sequence of interactions) that the user can select to occur.

Abstract: 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.

Abstract: A client apparatus to which data or a function is provided from a server apparatus, including: a monitoring unit configured to monitor monitoring target software, and detect an abnormal state or unauthorized state of the target software; a server management unit configured to manage an address of the server apparatus that is being accessed by the client apparatus; an abnormality information creation unit configured to create abnormality information from the abnormal state or the unauthorized state, which is detected by the monitoring unit; and an abnormality information notification unit configured to issue the abnormality information to the server apparatus managed by the server management unit.

Abstract: 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.

Abstract: A client apparatus for utilizing services by executing service programs includes a policy holding unit, a verification unit, a verification result holding unit, and a verification result notification unit. The policy holding unit holds a service-specific verification policy pre-checked by a device verification apparatus. The verification unit verifies an operation and configuration of the client apparatus itself by using the verification policy when the service program is executed. The verification result notification unit notifies the verification result to the device verification apparatus, which requests the verification result.

Abstract: A transmitter device which performs window control in transmitting data for transmission through a communication network is caused to identify a mode of window control to be performed based on a communication condition under which the data transmission is performed, so as to transmit the data for transmission by performing the window control in the identified mode.

Abstract: 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.

Abstract: A service discovery system including a client terminal and a service providing device which provides data or a function to the client terminal, including: a service request unit which generates a message requesting a service of the service providing device; a communication unit which sends the message generated by the service request unit to the service providing device and which receives from the service providing device a problem imposing a load on the client terminal; and a solution unit which solves the problem.