39results about How to "Shrink state space" patented technology

The invention provides a high-extensibility and high-maintainability source code defect detection method and a high-extensibility and high-maintainability source code defect detection device. The method comprises the following steps of: (1) converting a source code which is configured by a user and needs to be detected into an abstract syntax tree and a control flow chart and transmitting the abstract syntax tree and the control flow chart into an analytical engine; (2) performing flow-insensitive analysis on the source code according to the abstract syntax tree and the control flow chart, submitting an analysis result to a defect reporting module, and entering a step 3 to perform path-sensitive analysis; (3) performing various types of path-sensitive modeling and analysis on the source code to generate original defect information according to the abstract syntax tree and the control flow chart; and (4) reducing and simplifying a defect path and reporting the defect path to the user according to the original defect information. The device comprises three functional modules, namely a compiler front end, the analytical engine and the defect reporting module. The invention aims to provide the source code defect detection method and the source code defect detection device which have the characteristics of high extensibility, high maintainability, modularization and the like.

The invention discloses a dynamic vehicle route optimization method for fresh agricultural products divided into regions and multi-stages, which comprises the following steps: acquiring data; dividing regions; dividing time periods; designing freshness attenuation functions; minimizing the total distribution cost mathematical model; and minimizing the total distribution cost Mathematical model algorithm design; minimum distribution total cost mathematical model solution; the present invention effectively improves distribution efficiency and reduces distribution total cost, and has high practical significance.

The invention discloses a method for computing full-terminal reliability based on modularity-based division of communication communities, including power communication network community division based on modularity and full-terminal reliability calculation based on minimum road sets. By reducing the complexity of the network topology, the state space of the network is greatly reduced through space decomposition, and the problem of "state space explosion" is alleviated to a certain extent, thereby reducing the time spent by the algorithm on finding the minimum path set. The complexity of the internal topological structure of the communication community divided by modularity is much lower than that of the entire electric power communication and is independent of each other. Parallel computing is introduced into the internal full-terminal reliability analysis, and the final connection topology of the communication community is relatively simple. Analysis of its full-stack reliability is less time consuming.

A method for model checking path reduction based on interpolation comprises: reading a C program, performing grammatical and semantic analysis on the C program, and extracting CFG from an abstract syntax tree; adding safety (S) interpolation and error (E) interpolation to the CFG and extending the CFG; in a process of generating ARG according to the CFG, determining, in each state, whether the safety interpolation and the error interpolation are implied by current path formula. The method improves the verification efficiency by computing the S interpolation and the E interpolation, which makes the algorithm of the model checking a better use in large-scale programs. The S interpolation can be used to avoid the unnecessary traversal, greatly reducing the number of ARG state. The E interpolation can be used to quickly determine whether there is a true counterexample in the program, accelerating the program's verification and improving the efficiency.