-
公开(公告)号：US20210064357A1
公开(公告)日：2021-03-04
申请号：US16982808
申请日：2019-03-01
Applicant: NEC Corporation
Inventor： Takuya KUWAHARA
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.
-
12.发明申请公开(公告)号：US20220244940A1
公开(公告)日：2022-08-04
申请号：US17612354
申请日：2020-04-07
Applicant: NEC Corporation
Inventor： Takuya KUWAHARA
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.
-
公开(公告)号：US20220215014A1
公开(公告)日：2022-07-07
申请号：US17563284
申请日：2021-12-28
Applicant: NEC Corporation
Inventor： Takuya KUWAHARA , Takayuki KURODA
IPC: G06F16/23
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.
-
14.发明申请公开(公告)号：US20220180418A1
公开(公告)日：2022-06-09
申请号：US17542661
申请日：2021-12-06
Applicant: NEC Corporation
Inventor： Takashi MARUYAMA , Kozo SATODA , Takayuki KURODA , Yutaka YAKUWA , Takuya KUWAHARA , Tatsuya FUKUDA , Kazuki TANABE
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.
-
Patent Agency Ranking
公开(公告)号：US20220131763A1
公开(公告)日：2022-04-28
申请号：US17434534
申请日：2019-12-12
Applicant: NEC Corporation
Inventor： Takuya KUWAHARA
IPC: H04L41/14
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.
-
公开(公告)号：US20220075841A1
公开(公告)日：2022-03-10
申请号：US17464906
申请日：2021-09-02
Applicant: NEC Corporation
Inventor： Takuya KUWAHARA
IPC: G06F17/14
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.
-
公开(公告)号：US20210256004A1
公开(公告)日：2021-08-19
申请号：US16973974
申请日：2019-04-08
Applicant: NEC Corporation
Inventor： Takashi MARUYAMA , Takayuki KURODA , Takuya KUWAHARA
IPC: G06F16/21 , G06F16/2458 , G06F9/445 , G06N20/00 , G06F16/2457
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.
-
公开(公告)号：US20210240448A1
公开(公告)日：2021-08-05
申请号：US17053627
申请日：2019-04-08
Applicant: NEC Corporation
Inventor： Takayuki KURODA , Takuya KUWAHARA , Takashi MARUYAMA
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.
-
公开(公告)号：US20210011701A1
公开(公告)日：2021-01-14
申请号：US17040258
申请日：2019-03-01
Applicant: NEC Corporation
Inventor： Takuya KUWAHARA
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.
-
-
-
-
-
-
-
-
Search Results
19
records
(took 0.021 seconds)
