Abstract: Provided is a system update procedure planning apparatus capable of preventing an explosive increase in the amount of computation when solving an automatic planning problem in system update. The state element model simplification section 101 outputs a simplified state element model by applying a simplification transformation based on the unit affiliation information to the state element model. The automatic planning section 102 outputs an executable route, for the simplified state element model, from an initial state thereof to a target state. The internal transition completion section 103 converts the executable route from the initial state to the target state on the simplified state element model into the executable route from an initial state to a target state on the state element model before simplification.

Abstract: A system automatic design device includes: a view generation unit configured to generate a view obtained by converting requirement data using an aspect model and to output the generated view as a pre-update view; a graph conversion unit configured to converting the requirement data or the pre-update view using a graph conversion rule; a requirement data update unit configured to reflect a content of a post-update view obtained after the pre-update view is converted on the requirement data; and a system requirement concretization unit configured to obtain system configuration data, in which the requirement data is concretized, by repeatedly performing operations of: converting the requirement data by the graph conversion unit, or converting the pre-update view into the post-update view by the graph conversion unit, and converting the requirement data by reflecting the content of the post-update view on the requirement data by the requirement data update unit.

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: 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: A system automatic design device includes: a view generation unit configured to generate a view obtained by converting requirement data using an aspect model and to output the generated view as a pre-update view; a graph conversion unit configured to converting the requirement data or the pre-update view using a graph conversion rule; a requirement data update unit configured to reflect a content of a post-update view obtained after the pre-update view is converted on the requirement data; and a system requirement concretization unit configured to obtain system configuration data, in which the requirement data is concretized, by repeatedly performing operations of: converting the requirement data by the graph conversion unit, or converting the pre-update view into the post-update view by the graph conversion unit, and converting the requirement data by reflecting the content of the post-update view on the requirement data by the requirement data update unit.

Abstract: Provided is a system update procedure planning apparatus capable of preventing an explosive increase in the amount of computation when solving an automatic planning problem in system update. The state element model simplification section 101 outputs a simplified state element model by applying a simplification transformation based on the unit affiliation information to the state element model. The automatic planning section 102 outputs an executable route, for the simplified state element model, from an initial state thereof to a target state. The internal transition completion section 103 converts the executable route from the initial state to the target state on the simplified state element model into the executable route from an initial state to a target state on the state element model before simplification.

Abstract: 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: In an equipment configuration plan generation device, an input unit receives an input value (request condition) of an entry regarding a request related to facility construction of a store and an input value (constraint condition) of an entry regarding a constraint condition related to the store. A concretization unit concretizes devices to be installed in the store in a step-by-step manner according to an input value of each entry regarding the constraint condition, and thereby generates an equipment configuration plan containing specific devices and satisfying the request (request condition).

Abstract: A system requirement editing device according to the present disclosure includes: a requirement data management unit in which requirement data is registered, the requirement data being a graph representing system requirements; a view generation unit configured to input the requirement data, to input aspect models that are models defining a conversion method of converting the requirement data into a graph in which alternative representation of system requirements represented by the requirement data is given, to generate a view that is a graph obtained by converting the requirement data using the aspect models, and to output the generated view as a pre-update view; and a requirement data update unit configured to input the requirement data, to input a post-update view that is a view obtained after the pre-update view is updated, and to reflect a content of the post-update view on the requirement data.

Abstract: In a parts configuration plan generation device, a concretization processing unit (first concretization unit) concretizes an “abstract configuration” by using a first concretization pattern, and thereby generates a “base parts configuration”. A concretization processing unit (second concretization unit) applies a second concretization pattern to the base parts configuration and concretizes a parts item contained in the base parts configuration, and thereby generates a “candidate parts configuration”. An output unit outputs, as a “parts configuration plan”, the candidate parts configuration where concretization is done and satisfying a condition to be satisfied by a device to be built.

Abstract: An apparatus includes an input unit that receives an input of a requirement and a condition for a hairstyle, a correspondence relationship storage unit that stores a first correspondence relationship between an element characterizing the hairstyle and the hairstyle, a hairstyle model storage unit that stores a hairstyle model, a procedure storage unit that stores a hairstyle making procedure, a search unit that selects the type of hairstyle based on the element included in the input requirement and the first correspondence relationship, determines a value of the variable included in the hairstyle model of the selected type of hairstyle based on the input condition, and assigns the determined value to the variable included in the hairstyle making procedure of the selected type of hairstyle, and an output unit that outputs the selected type of hairstyle and output the hairstyle making procedure after the value is assigned to the variable.

Abstract: A cocktail proposal apparatus according to the present disclosure includes an input unit configured to receive an input of a requirement for a cocktail, a correspondence relationship storage unit configured to store a first correspondence relationship representing a correspondence relationship between an element characterizing the cocktail and the cocktail, an optimum cocktail search unit configured to select a type of cocktail based on the element included in the requirement input to the input unit and the first correspondence relationship, and an output unit configured to output the type of cocktail selected by the optimum cocktail search unit.

Abstract: A tour plan generation apparatus according to the present disclosure includes an input unit configured to receive inputs of a tour request and a condition for a package tour, a concretizing unit configured to generate, as a tour plan, a concretized tour request by concretizing the input tour request and the condition, the concretized tour request being a request that satisfies the concretized condition, and an output unit configured to output the generated tour plan.

Abstract: A system configuration derivation device 20 includes an actualization unit 21 which actualizes abstract configuration information including an unconfirmed portion and indicating a system configuration, the actualization being performed on the basis of an actualization rule in which a method for actualizing the abstract configuration information by confirming the unconfirmed portion of the abstract configuration information is defined; and actualization information which indicates the results of actualizing the unconfirmed portion by using an external design device that can actualize the abstract configuration information only for a predetermined problem.

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: 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: The information processing device outputs an optimal solution to a binary optimization problem when the binary optimization problem including a linear inequality constraint represented by a linear inequality is input includes a constraint transformation unit which transforms the constraint to a constraint represented by the linear inequality with a coefficient size smaller than the coefficient size of the linear inequality, and an optimization unit which calculates the optimal solution of the binary optimization problem on the basis of the constraint including the linear inequality transformed by the constraint transformation unit.

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.