公开(公告)号：US20200089531A1

公开(公告)日：2020-03-19

申请号：US16616046

申请日：2018-05-14

Applicant: NEC Corporation

Inventor： Takuya KUWAHARA

IPC: G06F9/48 ,  G06F9/46 ,  G06F9/52

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.

公开(公告)号：US20190236226A1

公开(公告)日：2019-08-01

申请号：US16318401

申请日：2017-06-30

Applicant: NEC Corporation

Inventor： Takuya KUWAHARA

IPC: G06F17/50 ,  G01C15/00

CPC classification number: G06F17/5018 ,  G01C15/00 ,  G16Z99/00

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.

公开(公告)号：US20250103727A1

公开(公告)日：2025-03-27

申请号：US18667004

申请日：2024-05-17

Applicant: NEC Corporation

Inventor： Takayuki KURODA ,  Toshiki WATANABE ,  Takuya KUWAHARA ,  Ryosuke HOTCHI

IPC: G06F21/57

Abstract: An automated system design apparatus provided with configuration proposal generator generates a configuration proposal for a system concretized from abstract requirements for the system; facet model generator concretizes a model relating to a feature, the feature being required in the system from a facet other than a configuration of the system; and evaluator generates information required for evaluation of the configuration proposal based on the concretized model, and for evaluating the configuration proposal based on the information.

公开(公告)号：US20240403429A1

公开(公告)日：2024-12-05

申请号：US18687377

申请日：2021-09-14

Applicant: NEC Corporation

Inventor： Takayuki KURODA ,  Takuya KUWAHARA

IPC: G06F21/57

Abstract: A secure system automatic design apparatus includes: an input/output unit that receives an input of a system requirement and output a system configuration; a configuration information concretization unit that converts the system requirement into the system configuration through a plurality of concretization procedures; and a security evaluation unit that evaluates security of the system configuration. In each of the concretization procedures, the configuration information concretization unit generates a plurality of configuration drafts, each of the configuration drafts being configuration information that is being converted and each of the configuration drafts being branched to a plurality of options of a concretization method. The security evaluation unit also evaluates security of each of the configuration drafts generated through the respective procedures. The configuration information concretization unit determines the option to be branched based on a result of the evaluation of each of the configuration drafts by the security evaluation unit.

公开(公告)号：US20240396806A1

公开(公告)日：2024-11-28

申请号：US18685555

申请日：2021-09-10

Applicant: NEC Corporation

Inventor： Takuya KUWAHARA

IPC: H04L41/14

Abstract: A system configuration derivation device (300) according to the present disclosure includes: a concretizing policy specifying unit (302) configured to specify, from among concretizing actions, which correspond to concrete conversion of an abstract configuration by concretizing rules, a concretizing action that it is essential to apply to the input abstract configuration; a comprehensiveness verification unit (303) configured to verify whether or not the essential concretizing action capable of removing abstract elements included in the input abstract configuration can be applied comprehensively to the input abstract configuration; and a configuration information concretizing unit (301) configured to apply the essential concretizing action specified by the concretizing policy specifying unit (302) based on the result of the verification performed by the comprehensiveness verification unit (303), thereby converting the input abstract configuration to a more concrete abstract configuration until the abstract configuration no longer includes abstract elements.

公开(公告)号：US20240289136A1

公开(公告)日：2024-08-29

申请号：US18442201

申请日：2024-02-15

Applicant: NEC Corporation

Inventor： Takuya KUWAHARA

IPC: G06F9/4401

CPC classification number: G06F9/4405

Abstract: The system configuration derivation device includes an optimization problem conversion unit that converts a system optimization problem into a mathematical optimization problem, a problem size reduction unit that reduces the number of variables in the mathematical optimization problem by adding a constraint to the mathematical optimization problem, an optimization unit that computes a solution to the mathematical optimization problem with a reduced number of variables, a gradual optimization unit that sequentially outputs the solution, and progress information of a process, and a solution conversion unit that converts the solution into system configuration information, which is a solution to the system optimization problem and outputs the system configuration information and the progress information.

公开(公告)号：US20220269728A1

公开(公告)日：2022-08-25

申请号：US17672059

申请日：2022-02-15

Applicant: NEC Corporation

Inventor： Takuya KUWAHARA ,  Takayuki KURODA

IPC: G06F16/904 ,  G06F16/901 ,  G06F16/906

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.

公开(公告)号：US20250036366A1

公开(公告)日：2025-01-30

申请号：US18836834

申请日：2022-03-22

Applicant: NEC Corporation

Inventor： Takuya KUWAHARA

IPC: G06F8/20

Abstract: A system configuration derivation device calculates a first evaluation value indicating an evaluation of a similarity between a specific embodiment rule application and a candidate of the embodiment rule application, wherein the specific embodiment rule application is included in a design history, the design history indicates a history of in a case where an embodiment configuration is obtained by repeatedly applying an embodiment rule to an abstract configuration; selects, based on a second evaluation value, a specific abstract configuration among the abstract configurations obtained by applying the embodiment rule to the new configuration one or more times, wherein the second evaluation value indicates the evaluation of the similarity with the design history, of the entirety of one or more applications of the embodiment rule until the abstract configuration is obtained from the new configuration; and repeats the embodiment rule application to the selected specific abstract configuration.

公开(公告)号：US20210266218A1

公开(公告)日：2021-08-26

申请号：US17181681

申请日：2021-02-22

Applicant: NEC Corporation

Inventor： Takuya KUWAHARA

IPC: H04L12/24

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. The configuration information concretizing unit 301 outputs a concrete configuration, which is information indicating the system configuration in which an undetermined part does not exist, and which meets the quantitative requirements.

公开(公告)号：US20210226915A1

公开(公告)日：2021-07-22

申请号：US17270570

申请日：2019-07-23

Applicant: NEC Corporation

Inventor： Takashi MARUYAMA ,  Takuya KUWAHARA

IPC: H04L29/12

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.