Abstract: The present invention provides an ohmic heating-type exhaust gas purification catalyst system. The ohmic heating-type exhaust gas purification catalyst system is configured to perform, based on information of temperature of a catalyst bed input from a temperature detector of an ohmic heating-type exhaust gas purification device, electric current pass control including controls of (1) causing an electric current to pass through a pair of electrodes when the temperature of the catalyst bed is equal to or lower than a first threshold temperature T1 set in a range of 350±25° C., (2) not causing an electric current to pass through the pair of electrodes when the temperature of the catalyst bed exceeds the first threshold temperature T1 and is equal to or lower than a second threshold temperature T2 set in a range of 450±25° C.

Abstract: A medium transport device includes: a first transport unit that is provided in a first transport path, and nips and transports a medium by a pair of rotating bodies; a second transport unit that is provided in a second transport path different from the first transport path, and nips and transports a medium by a pair of rotating bodies; a first rotation drive unit that rotationally drives the pair of rotating bodies of the first transport unit; a second rotation drive unit that rotationally drives the pair of rotating bodies of the second transport unit; and a pressure contact force adjustment unit that is provided in at least one of the first transport unit or the second transport unit, and adjusts a pressure contact force of the pair of rotating bodies.

Abstract: An information processing device that is powered by a battery is provided. The information processing device includes a processor. The processor evaluates a virtual remaining capacity of the battery corresponding to each of a plurality of operating systems running on a hypervisor executed by the information processing device, by using characteristic information that indicates a characteristic of each of the plurality of operating systems and a physical remaining capacity value that indicates a physical remaining capacity of the battery. In addition, the processor reports, to each individual operating system of the plurality of operating systems, a virtual remaining capacity value obtained by evaluating the virtual remaining capacity of the battery corresponding to the individual operating system.

Abstract: Design and verification support related to integrated circuits that includes acquiring a first use case diagram representing a function of an object subject to design and verification and an activity diagram representing a processing procedure of the object; analyzing a structure of the activity diagram acquired at the acquiring step; converting the activity diagram to a second use case diagram representing a function of the object, based on the structure analyzed at the analyzing; verifying uniformity of the first use case diagram and the second use case diagram; and outputting a verification result obtained at the verifying uniformity.

Abstract: An information processing apparatus performing a plurality of processes in parallel includes a plurality of processing units and an adjusting unit configured to determine processing intervals of the processing units on a processing-unit-specific basis to gradually align periods in which the processing units operate.

Abstract: Design and verification support related to integrated circuits that includes acquiring a first use case diagram representing a function of an object subject to design and verification and an activity diagram representing a processing procedure of the object; analyzing a structure of the activity diagram acquired at the acquiring step; converting the activity diagram to a second use case diagram representing a function of the object, based on the structure analyzed at the analyzing; verifying uniformity of the first use case diagram and the second use case diagram; and outputting a verification result obtained at the verifying uniformity.

Abstract: Design and verification support related to integrated circuits that includes acquiring a first use case diagram representing a function of an object subject to design and verification and an activity diagram representing a processing procedure of the object; analyzing a structure of the activity diagram acquired at the acquiring step; converting the activity diagram to a second use case diagram representing a function of the object, based on the structure analyzed at the analyzing; verifying uniformity of the first use case diagram and the second use case diagram; and outputting a verification result obtained at the verifying uniformity.

Abstract: A wireless communication device includes: a first wireless communication unit configured to receive a beacon signal when the first wireless communication unit is connected to a first wireless communication network; a second wireless communication unit configured to perform data communication through a second wireless communication network when the first wireless communication unit is not connected to the first wireless communication network; and a control unit configured to detect, from a signal from the first wireless communication network, a parameter concerning intervals at which the first wireless communication unit receives the beacon signal, and configured to perform control, based on the detected parameter, as to whether or not to disconnect connection to the first wireless communication network.

Abstract: An information processing device that is powered by a battery is provided. The information processing device includes a processor. The processor evaluates a virtual remaining capacity of the battery corresponding to each of a plurality of operating systems running on a hypervisor executed by the information processing device, by using characteristic information that indicates a characteristic of each of the plurality of operating systems and a physical remaining capacity value that indicates a physical remaining capacity of the battery. In addition, the processor reports, to each individual operating system of the plurality of operating systems, a virtual remaining capacity value obtained by evaluating the virtual remaining capacity of the battery corresponding to the individual operating system.

Abstract: An information processing apparatus includes a processor programmed to detect scheduled starting times of two events to be executed at a current time or thereafter; calculate a difference of the scheduled starting times of the two events, when the scheduled starting times of the two events have been detected; and correct, based on the calculated difference and to an extent that a restriction indicated in restriction information of an event to be corrected is observed, the scheduled starting time of at least any one of the two events, as the event to be corrected, such that an interval between the scheduled starting times of the two events is shortened.

Abstract: A communication device includes a memory and a processor coupled to the memory. The processor executes a process including calculating an amount of electricity available in a second device while a first communication unit and a second communication unit with each other, determining a first generation unit to be a generation unit, when the amount of electricity thus calculated is smaller than a predetermined amount, out of the first generation unit that generates navigation information based on information acquired by an information acquisition unit and a second generation unit, and controlling the second device so as to stop supplying power to the second generation unit and to output the navigation information generated by the first generation unit when the first generation unit is determined.

Abstract: An information processing apparatus includes a first detector that detects a scheduled starting time of an event to be corrected and executed at the current time or thereafter; a second detector that detects in processing contents differing from that of the event detected by the first detector, a scheduled starting time of each event to be executed at the current time or thereafter; a calculator that calculates the difference between the scheduled starting time detected by the first detector and each scheduled starting time detected by the second detector; a determiner that determines a target event for the event to be corrected, based on the calculated differences; and a corrector that corrects the scheduled starting time of the event to be corrected such that an interval becomes short between the scheduled starting time of the event to be corrected and the scheduled starting time of the target event.

Abstract: A non-transitory, computer-readable recording medium stores therein a verification support program that causes a computer to execute identifying from a finite state machine model related to a circuit-under-test, an input count of transitions to a transition-end state and an output count of transitions from the transition-end state; determining the transition-end state to be a record/restore subject, if the identified output transition>the identified input transition count; embedding record-instruction information causing the record/restore subject to be recorded to a database, if a first element causing transition to the record/restore subject is included in a first test scenario that is in a test scenario group related to the circuit-under-test; and embedding restore-instruction information causing the record-restore subject to be restored from the database, if a second element causing transition to the record-restore subject is included in a series of elements making up a second test scenario that is in

Abstract: A communication apparatus includes a processor configured to access a server that assigns to the communication apparatus, identification information used to identify the communication apparatus in a network; and control to suspend an accessing of the server when a display state of a screen transitions from a displaying state to a not-displaying state, such that the accessing of the server is restarted when the display state of the screen transitions from the not-displaying state to the displaying state.

Abstract: A non-transitory, computer-readable recording medium stores therein a verification support program that causes a computer to execute identifying from a finite state machine model related to a circuit-under-test, an input count of transitions to a transition-end state and an output count of transitions from the transition-end state; determining the transition-end state to be a record/restore subject, if the identified output transition>the identified input transition count; embedding record-instruction information causing the record/restore subject to be recorded to a database, if a first element causing transition to the record/restore subject is included in a first test scenario that is in a test scenario group related to the circuit-under-test; and embedding restore-instruction information causing the record-restore subject to be restored from the database, if a second element causing transition to the record-restore subject is included in a series of elements making up a second test scenario that is in

Abstract: A verification support program that causes a computer to execute identifying from a finite state machine model related to a circuit-under-test, an input count of transitions to a transition-end state and an output count of transitions from the transition-end state; determining the transition-end state to be a record/restore subject, if the identified output transition is greater than the identified input transition count; embedding record-instruction information causing the record/restore subject to be recorded to a database, if a first element causing transition to the record/restore subject is included in a first test scenario that is in a test scenario group related to the circuit-under-test; and embedding restore-instruction information causing the record-restore subject to be restored from the database, if a second element causing transition to the record-restore subject is included in a series of elements making up a second test scenario that is in the test scenario group.

Abstract: A wireless communication apparatus has a wireless communication unit and a control unit. The wireless communication unit is connected to a wireless communication network to perform wireless communication. The control unit waits for a stand-by state to be released, and executes stop processing of the wireless communication unit when movement from a service area to an out-of-service area in the wireless communication network has been detected during the stand-by state. Alternatively, the control unit waits for the stand-by state to be released, and executes stop processing of the wireless communication unit when a certain time period has elapsed after the transition to the stand-by state. For example, power supply to the wireless communication unit is stopped.

Abstract: An information processing apparatus includes a processor programmed to detect scheduled starting times of two events to be executed at a current time or thereafter; calculate a difference of the scheduled starting times of the two events, when the scheduled starting times of the two events have been detected; and correct, based on the calculated difference and to an extent that a restriction indicated in restriction information of an event to be corrected is observed, the scheduled starting time of at least any one of the two events, as the event to be corrected, such that an interval between the scheduled starting times of the two events is shortened.

Abstract: A mobile terminal device receives information related to a push email service from a mail server, a calendar server, and a phone book server that provide the push email service via a wireless communication network. The mobile terminal device stores therein setting information that indicates whether the information related to the push email service is received at the time of the standby state. Furthermore, the mobile terminal device determines whether to shift the state of the mobile terminal device to a standby state. If the mobile terminal device determines that the mobile terminal device will shift its state to a standby state, the mobile terminal device transmits, on the basis of the stored setting information, a setting notification that instructs the stopping of the push email service to the mail server, the calendar server, and the phone book server.

Abstract: A mobile terminal device receives information related to a push email service from a mail server, a calendar server, and a phone book server that provide the push email service via a wireless communication network. The mobile terminal device stores therein setting information that indicates whether the information related to the push email service is received at the time of the standby state. Furthermore, the mobile terminal device determines whether to shift the state of the mobile terminal device to a standby state. If the mobile terminal device determines that the mobile terminal device will shift its state to a standby state, the mobile terminal device transmits, on the basis of the stored setting information, a setting notification that instructs the stopping of the push email service to the mail server, the calendar server, and the phone book server.