State Model Division for Reliable Procedure Generation
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Existing system construction methods, such as those described in NPL 1, may fail to generate a construction procedure under specific conditions due to erroneous division of state models, leading to incorrect determination of procedure existence.
Innovation Solution
A system construction assistance system that divides state models into groups based on dependency between state elements, determines invertibility of state elements, and regroups if necessary to ensure all groups are invertible, allowing for reliable procedure calculation and integration.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Productivity
If the state model is divided into groups based on dependency between state elements, then the calculation complexity is reduced and procedure generation becomes more efficient, but erroneous division may occur leading to incorrect determination of procedure existence
Solution Approach 1:
The state model is divided into multiple groups based on dependency relationships between state elements. Each group contains state elements that are interconnected through dependencies, allowing independent procedure calculation for each group. This segmentation reduces overall calculation complexity while maintaining procedural accuracy through proper dependency-based grouping.
Solution Approach 2:
The system performs invertibility determination on each divided group and uses the results to guide further division or calculation. If a group is found to be non-invertible, the system provides feedback to adjust the division strategy, ensuring that groups are properly formed to maintain procedure existence determination accuracy.
2Reliability
If deep understanding of the targeted system and its components is obtained to correctly generate the procedure manual, then the construction work can be completed correctly, but enormous time and high level of expertise are required
Solution Approach 1:
The system performs preliminary analysis of the state model to automatically identify dependency relationships and determine invertibility before procedure generation. This preliminary action captures the necessary system understanding automatically, eliminating the need for manual expert analysis while ensuring construction correctness through systematic dependency tracking.
Solution Approach 2:
The system uses the state model itself to generate the procedure manual by automatically analyzing dependency relationships and invertibility. The state model contains all necessary information about system components and their relationships, allowing the system to self-generate correct procedures without requiring external expert knowledge or manual procedure manual creation.
3Ease of operation
If automatic construction procedure generation is performed from declarative state model, then the need for expert knowledge is reduced, but the system may fail to generate procedure under specific conditions due to erroneous division
Solution Approach 1:
The system implements feedback mechanisms through invertibility determination that verify whether divided groups are suitable for independent procedure calculation. This feedback ensures that automatic procedure generation succeeds under all conditions by detecting and correcting improper divisions before they lead to procedure generation failures.
Solution Approach 2:
The system replaces manual expert judgment with automated mathematical analysis of state model invertibility. By using formal mathematical criteria to determine whether groups can be independently processed, the system achieves both automation and reliability, eliminating the need for expert knowledge while ensuring procedure generation success through rigorous mathematical verification.
Data Source
AI summary
The purpose of the present invention is to more assuredly generate a system construction procedure, while reducing the amount of calculation. This system construction assistance system is provided with: a state model dividing unit 501 that divides state models into one or more groups, on the basis of at least the dependency between state elements included in the state models; a invertibility determination unit 502 that determines the invertibility of a set of state elements belonging to a specified group; a group dependent procedure calculation unit 503 that calculates, for each group after division, a procedure for transitioning the set of state elements belonging to the group to a requested state; and a procedure integration unit 504 that integrates the procedures calculated for each group.


