Abstract: Provided is a system configuration derivation device which, when given an abstract configuration, and quantitative requirements in which some numerical values are undetermined, is capable of outputting a concrete system configuration concretizing the abstract configuration, the concrete system configuration meets quantitative requirements representing conditions and the like necessary for the operation of a desired system and including given quantitative requirements. The configuration information concretizing unit 301 obtains as input an abstract configuration, which is information indicating a system configuration in which an undetermined part exists, and quantitative requirements, which are numerical requirements required for a system, and in which some numerical values are undetermined.

Abstract: Provided is a system configuration derivation device enabling, in constructing a system, a configuration of the system to be derived efficiently. An information extraction unit 82 extracts a set including pieces of predetermined information from a past search history for each change of a configuration requirement. A learning unit 83 uses a collection of the sets as learning data to learn a calculation method for calculating a score indicating the degree of appropriateness of a concretizing rule included in the set including the pieces of predetermined information. A search unit 86 repeats extracting the set including the pieces of predetermined information for each pair including a concretizing rule applicable to a configuration requirement of interest and an application part of the concretizing rule in the configuration requirement of interest, calculating a score for the set, and newly selecting a configuration requirement as a configuration requirement of interest based on the score.

Abstract: A system configuration derivation device 90 includes a storage unit 91 that stores a concretization rule in which a method is specified for concretizing abstract configuration information by confirming an unconfirmed portion of the abstract configuration information, which is information indicating configuration of a system in which the unconfirmed portion is included, and a generation unit 92 that concretizes the abstract configuration information included in configuration requirements of the system using the concretization rule stored to generate system configuration information, which is information indicating the configuration of the system in which the unconfirmed portion is not included, on the basis of the configuration requirements.

Abstract: A parameter value assignment device comprises: a memory storing instructions; and processors configured to execute the instructions to: input constraint information indicating constraints and parameter value information indicating parameter value conditions, as requirements related to value assignment to target parameters; decompose target parameters into unit blocks based on the requirements; decompose the constraints into constraints between the unit blocks based on a result of decomposition of the target parameters, and reorganize the constraints between the unit blocks; decompose the parameter value conditions into parameter value conditions for the unit blocks based on the result of decomposition of the target parameters into the unit blocks; and assign a value to each of the target parameters based on the result of decomposition of the target parameters into the unit blocks, the constraints between the unit blocks, and the parameter value conditions for the unit blocks.

Abstract: An abnormality detection method is provided. The abnormality detection method is for detecting an abnormality that may be transmitted to a bus in an on-board network system. The on-board network system includes a plurality of electronic controllers that transmit and receive messages via the bus in a mobility entity. In the abnormality detection method, for example, a gateway transmits identification information to a server and receives a response determining a unit time. An operation process is performed using feature information based on a number of messages received from the bus per the determined unit time and using a model indicating a criterion in terms of a message occurrence frequency. A judgment is made as to an abnormality according to a result of the operation process.

Abstract: An abnormality detection method is provided. The abnormality detection method is for detecting an abnormality that may be transmitted to a bus in an on-board network system. The on-board network system includes a plurality of electronic controllers that transmit and receive messages via the bus in a vehicle according to a CAN protocol. In the abnormality detection method, for example, a gateway transmits vehicle identification information to a server and receives a response determining a unit time. An operation process is performed using feature information based on a number of messages received from the bus per the determined unit time and using a model indicating a criterion in terms of a message occurrence frequency. A judgment is made as to an abnormality according to a result of the operation process.

Abstract: A system update device 10 includes a reverse operation generation unit 11 which generates a reverse operation, which is an operation for transitioning the state of a state element to the current state from an arbitrary state during execution of an update procedure on the basis of operations included in the update procedure, wherein the operations are for transitioning, from the current state to a target state, the state of a state element configuring a system being updated, and the update procedure is a procedure including multiple operations arranged in a predetermined order; and a first procedure generation unit 12 which generates a rollback procedure, which is a procedure including multiple generated reverse operations arranged in reverse of the predetermined order.

Abstract: A system update device 10 includes a first procedure generation unit 12 which generates a reverse execution procedure, which is a procedure including multiple reverse operations generated on the basis of a part of the update procedure that does not include operations for which a reverse operation cannot be generated, wherein said multiple reverse operations are arranged in a reverse order of the predetermined order; a planning unit 13 which plans an operation procedure for transitioning, from an arbitrary state during execution of the update procedure to the current state, the state of a state element which corresponds to a part of the update procedure that includes operations for which a reverse operation cannot be generated; and a second procedure generation unit 14 which generates a rollback procedure by combining the generated reverse execution procedure and the planned procedure.

Abstract: A partial order procedure planning device 10 is provided with: a first generation unit 11 which generates a first condition of a removable order relationship under a predetermined restriction among order relationships between operations in a serial procedure in which a plurality of operations, which transit the state of a state element from an initial state to a target state, are arranged in series; a second generation unit 12 which generates a second condition of an order relationship, which is required to satisfy a transient requirement that is required to satisfy the state element while a state among the order relationships is transitioned from the initial state to the target state; and a determination unit 13 which determines, as the order relationship to be deleted from the serial procedure, an order relationship which satisfies the generated first condition, but does not satisfy the generated second condition.

Abstract: An estimated distance calculator 10 generates, on the basis of a first state element model comprising multiple state elements, a second state element model which is another state element model, wherein the state elements include multiple states and state transitions assigned with transition conditions between the multiple states. The calculator includes a generation unit 11 which generates the second state element model in such a manner as to comprise any one state element among the multiple state elements and state elements other than the one state element which are selected from among the multiple state elements after transition conditions satisfying predetermined condition are removed.

Abstract: An abnormality detection method is provided. The abnormality detection method is for detecting an abnormality that may be transmitted to a bus in an on-board network system. The on-board network system includes a plurality of electronic controllers that transmit and receive messages via the bus in a vehicle according to a CAN protocol. In the abnormality detection method, for example, a gateway transmits vehicle identification information to a server and receives a response determining a unit time. An operation process is performed using feature information based on a number of messages received from the bus per the determined unit time and using a model indicating a criterion in terms of a message occurrence frequency. A judgment is made as to an abnormality according to a result of the operation process.

Abstract: An appearance change of an information processing device, which has a plurality of operation modes and whose appearance is changed in accordance with change of operation mode, is displayed on a display screen as graphic data representing the appearance. When a memory card is extracted from the information processing device, an operation of the information processing device is reset to avoid a run away phenomenon. Furthermore, in an inquiry and communication operation, only necessary pages of resultant inquiry information are printed out at a time after the communication line is disconnected.

Abstract: An appearance change of an information processing device, which has a plurality of operation modes and whose appearance is changed in accordance with change of operation mode, is displayed on a display screen as graphic data representing the appearance. When a memory card is extracted from the information processing device, an operation of the information processing device is reset to avoid a run away phenomenon. Furthermore, in an inquiry and communication operation, only necessary pages of resultant inquiry information are printed out at a time after the communication line is disconnected.

Abstract: A facsimile apparatus according to the present invention includes an operation member which is arranged horizontally and can be rotated, and a display which is arranged at the same level as the operation member and rotates a display image in accordance with the rotation of the operation member. In addition, the display displays letters, numbers, symbols and the like by rotating them electrically by 90 degrees when the operation member rotates by at least 45 degrees. And the operation member is arranged aside at the top level of the facsimile apparatus, with its circumference partially projecting from the edge of the apparatus. Furthermore, the facsimile apparatus is configured vertically, and the operation member and the display are arranged at the top level of the apparatus, between a paper feeding means and a paper ejecting means, each of which feeds or ejects paper in the direction crossing the top level of the apparatus at an obtuse angle.