A state diagram generation method, device, electronic device and storage medium

By inputting the node coordinate constraint rules of the state graph and the target network graph to satisfyability model theory solver, the traditional method's inefficiency problem under massive state and complex migration relationships is solved, and efficient state graph generation is achieved.

CN119397205BActive Publication Date: 2025-04-11BEIJING INSTITUTE OF OPEN SOURCE CHIP
0 Cites 0 Cited by

Patent Information

Application Number
CN202411997236.7
Authority / Receiving Office
CN · China
Patent Type
Patents(China)
Current Assignee / Owner
Filing Date
2024-12-31
Publication Date
2025-04-11
Estimated Expiration
2044-12-31

AI Technical Summary

Technical Problem

When faced with massive states and complex state migration relationships, the traditional state diagram drawing method is less efficient and it is difficult to quickly find a reasonable state position.

Method used

By obtaining the target network diagram corresponding to the target state set, input the node coordinate constraint rules and the target network diagram into the satisfactory model theory solver to solve the node coordinate values ​​that meet the constraint rules, and generate a state diagram based on these coordinate values ​​and edges.

Benefits of technology

It realizes efficient visualization operations on a large number of state sets, and accurately handles complex constraints by satisfying the theory of sensitivity mode, and automatically generates a state diagram layout that meets user needs, improving the efficiency of generating state diagrams corresponding to massive states.

✦ Generated by Eureka AI based on patent content.
Patent Text Reader

Abstract

The embodiment of the present invention provides a state diagram generation method, device, electronic device and storage medium, which relates to the field of computer technology. In the method, a target network diagram corresponding to a target state set is obtained; the node coordinate constraint rules corresponding to the target state set and the target network diagram are input into a satisfiability model theory solver to obtain node coordinate values ​​corresponding to each node in the target network diagram output by the satisfiability model theory solver; and a state diagram corresponding to the target state set is generated based on the node coordinate values ​​and edges. In this way, visualization operations on a large number of state sets are realized, and the state positions can be solved through the satisfiability modulus theory, so that users can flexibly and conveniently set complex constraints for the solution process, and the complex constraints are accurately processed through the satisfiability modulus theory, and a state diagram layout that meets user needs is automatically generated, which helps to improve the efficiency of generating state diagrams corresponding to massive states.
Need to check novelty before this filing date? Find Prior Art