42results about How to "Reduce the number of states" patented technology

The invention relates to a three-level Markov model switch magnetic resistance motor system reliability quantitative evaluation method. According to the method, system operation states of a switch magnetic resistance motor-driven system in a first-level fault, a second-level fault and a third-level fault are analyzed to acquire that 4 valid states and 1 invalid state exist in the first-level fault, 14 valid states and 4 invalid states exist in the second-level fault, 43 valid states and 14 invalid states exist in the third-level fault, the initial normal state and a final invalid state are further considered, so 62 valid states and 20 invalid states exist in a three-level Markov model, a state transfer graph of the switch magnetic resistance motor system in the third-level faults is established, a state transfer matrix is acquired, a probability matrix P(t) of the system in the valid states can be acquired through operation, sum of elements of the valid state probability matrix P(t) is calculated, average faultless time is calculated through the reliability function R(t), and so reliability evaluation of the three-level Markov model quantitative analysis switch magnetic resistance motor system is realized. The method has great engineering application values.

The invention belongs to the field of computer application technology and discloses an interpolation-based model checking path reduction method and a computer. According to the method, a C program isread, syntactic and semantic analysis is performed on the C program, and a control flow graph (CFG) is extracted from an abstract syntax tree; a safety (S) interpolation value and an error (E) interpolation value are added to the CFG, and the CFG is expanded; and in the process of generating an ARG according to the CFG, whether the safety interpolation value and the error interpolation value are contained in a current path formula is judged in each state. Through the method, by calculating the S interpolation value and the E interpolation value, checking efficiency is improved, and a model checking algorithm can be better applied to a large-scale program; unnecessary exploration of the S interpolation value is avoided, and the number of states of the ARG is greatly reduced; the E interpolation value can be used for quickly judging whether a true counterexample path exists in the program, verification of the program is accelerated, and efficiency is improved; and useless nodes and edgesin the CFG are clipped, so that a traversal state space is reduced.

The invention belongs to the field of Internet search, and discloses an integrated analysis control method for Internet character search information. The fragmentary information searched by the webpage search module is integrated by using the webpage information collection module, and the search information is divided into categories through the information classification and extraction module. Identity information, account information and other types are compared by the information comparison module, and the unknown information is stored in the information storage module or the known information in the information storage module is read. The invention can integrate Internet search information and store the information in the information storage module for future use, which is beneficial to integrate scattered information on the Internet; more efficient search and can prevent manual search omissions.

The invention discloses a rapid circulating expansion detection method and belongs to the technical field of software model detection. The method comprises the following steps of: 1) limiting a value range of each variable in a testing space and initializing the state in the testing space into all states meeting preconditions of a tested program in the limited range of the tested program; 2) randomly selecting an undetected state s and calling the tested program, and recording an executing path p of the tested program, by which the state s passes, and dynamic executing information; 3) sequentially calculating and detecting a circulating expansion similar path p' of the executing path p according to the dynamic executing information and checking whether all the states represented by a path restricting condition of the path p' are right or not, if so, cutting off the states passing through the detection from the testing space, and if not, printing a wrong state and giving out a counter example; and 4) carrying out iteration detection on all the states in the testing space. The method disclosed by the invention reduces the quantity of executed testing examples and increases the detection speed.

The invention relates to a real-time power network thermal power plant economic operation evaluation optimization algorithm. The algorithm includes the following steps that: problems in power plant generator combination are solved through efficiency prioritization; problems in target function primarization are solved through utilizing linear programming; and problems of security constraints of network operation and influence of fault switching-on and switching-off on a network structure are solved through utilizing the advantages of direct current load flow. According to the real-time power network thermal power plant economic operation evaluation optimization algorithm of the invention, a loop iteration method in which efficiency prioritization, linear programming and optimal load flow are combined together is adopted, so that economic operation evaluation of a thermal power plant in a power network can be performed fast, and computational analysis services can be provided for on-line evaluation.

The invention discloses a model detection method based on information hiding for a graph transformation system. The model detection method comprises the following steps that the system is divided into two layers; a visible part is defined as the first layer; an internal part is defined as the second layer; a global type graph of the system is constructed; all nodes in the global type graph of the system are marked; the visible part and the internal part are distinguished by background regions with different colors; each node has a visible part including a hierarchical structure which describes an interface of the node relative to the current layer in the hierarchical structure; each node also has an internal part which describes a detailed structure of the node in a lower abstract layer; a set of rules is defined to describe the behaviour of the system; and the graph transition system is verified by using an assumption-assurance technology. By means of the method, the number of states in the verification process can be reduced by utilizing the concepts of the hierarchical structure and the information hiding, such that the state space explosion problem can be relieved; the hierarchical structure is processed by utilizing the assumption-assurance technology; and the problem that the existing verification method cannot be used for verifying the graph transformation system with the hierarchical structure can be solved.

The invention relates to a double-layer path planning method for overcoming limitations ofcalculation and storage capacity of a UAV (unmanned aerial vehicle). For overcoming limitations of the calculation and storage capacity of the UAV, the method comprises the following steps: firstly, an initial reference track isgenerated on the basis of existing map information and limitations of dynamic performance of the UAV; secondly, environmental information of theUAV and surrounding obstaclesis acquired by an airborne sensor, and whether obstacles pose a threat to the UAVis judged with a three-dimensional collision cone technology; thirdly, a local obstacle avoidance path is generated with a forward search method based on Markov process in case of the threat, and the UAV flies in accordance withthe local planned path, otherwise, theUAVcontinues to fly along the reference path; fourthly,the UAV continues to fly untilthe desired point of the reference track is reached after obstacle avoidance. The method has the advantages of high convergence speed, low data storage burden, high safety and the like, can be used by the UAV for avoiding obstacles safely and rapidly, and can also be popularized to autonomous obstacle avoidance of unmanned vehicles and the UAV.

The invention belongs to the technical field of chemical production systems, and discloses a chemical production control system, which is provided with: a control module, a monitoring module and an acquisition / control module; the control module is connected to the monitoring module through a programmable controller; the control module includes a data server, Historical data station, engineer station, operator station, inspector station and dispatcher station; data server, engineer station, operator station, inspector station and dispatcher station are connected to a pair of mutually redundant Ethernet; monitoring The modules include on-site monitoring module, remote monitoring module and centralized monitoring module; the acquisition / control module is connected with the production / control object module. The present invention has the advantages of high control precision, high reliability, flexibility and openness. Through electrical automation control such as on-site monitoring, remote monitoring and centralized monitoring, the centralization is dispersed, the normal operation of the system is guaranteed to the greatest extent, and the risk of system paralysis is reduced. risk.