Automatic manufacturing system state robustness detection method based on mathematical programming algorithm
An automatic manufacturing system and mathematical programming technology, applied in general control systems, control/regulation systems, program control, etc., can solve the problem of not being able to truly reflect the production situation of the automatic manufacturing system, failing to meet the permissibility of the automatic manufacturing system, and not considering automatic manufacturing The system contains problems such as unreliable resources to achieve the effect of avoiding state explosion problems
Active Publication Date: 2020-06-30
XIDIAN UNIV
View PDF7 Cites 0 Cited by
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
[0004] To sum up, the problems existing in the existing technology are: the existing technology does not consider the common phenomenon that the actual automatic manufacturing system contains unreliable resources, and the conclusions of the research without considering the factor of unreliable resources are all in an ideal state. It cannot really reflect the actual production situation of the automatic manufacturing system; and some diagnostic methods are given for the robustness of the automatic manufacturing system with unreliable resources. , which in turn cannot satisfy the permissibility of the automatic manufacturing system
Method used
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View moreImage
Smart Image Click on the blue labels to locate them in the text.
Smart ImageViewing Examples
Examples
Experimental program
Comparison scheme
Effect test
specific Embodiment
[0469]
[0470]
[0471] where p 14 is an unreliable resource, then T front ={t 1},T back ={t 2 ,t 3 ,t 4 ,t 5 ,t 6}, which prohibits the emission of subsequent transition sets, that is, |T back ={t 2 ,t 3 ,t 4 ,t 5 ,t 6}|=[0,0,0,0,0]. Any given state M=[7,0,0,0,1,0,6,2,0,0,2,0,0,1,1] T , by the mathematical programming algorithm, all emission transition sequences can be obtained subsequence of transition sequence
[0472] The initial state M' of a process (local network) that does not use unreliable resources 0 =[6,2,0,0,2,0,0] T , that is, the Token distribution of the local network in any given state, and the generated local network reachability graph is as follows:
[0473] Initial State[6 2 0 0 2 0 0]
[0474] State nr:1
[0475] p.nr:1 2 3 4 5 6 7
[0476] toks:6 2 0 0 2 0 0
[0477] Deadlock States
[0478] Total states count: 1
[0479] From the reachability diagram of the local network, it can be seen that its initial state is a deadlo...
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More PUM
Login to View More Abstract
The invention belongs to the technical field of automatic manufacturing systems, and discloses an automatic manufacturing system state robustness detection method based on a mathematical programming algorithm, and the method comprises the steps: dividing the change of a process containing unreliable resources into two types: the preorder change of the unreliable resources and the subsequent changeof the unreliable resources for a Petri network model of an automatic manufacturing system; carrying out conversion from text description to mathematical expression on unreliable resource damage; listing a mathematical programming algorithm (MP) expression under resource damage, and finding out an enable transition transmission sequence; and obtaining the robustness of the current state by verifying whether the transition transmission sequence meets the condition that other processes which do not use unreliable resources are not blocked or not. Firstly, compared with research without considering unreliable resources, the method is closer to the production condition of an actual automatic manufacturing system; secondly, the original automatic manufacturing system containing unreliable resources stays on the text description and is improved to a mathematical expression, so that the possibility of proposing a corresponding algorithm is realized.
Description
technical field [0001] The invention belongs to the technical field of automatic manufacturing systems, and in particular relates to a state robustness detection method of an automatic manufacturing system based on a mathematical programming algorithm. Background technique [0002] At present, the closest existing technology: automatic manufacturing system (AMS) refers to the processing device that automatically processes raw materials and assembles them into products with less interference from human factors. Automatic manufacturing systems are generally composed of many small-scale, local, interactive, asynchronous and event-driven concurrent subsystems. Considering resource cost and system volume, the amount of resources will be limited. Therefore, resource sharing is not uncommon in automatic manufacturing systems. Because of resource sharing among subsystems, resources with limited competition among subsystems will occur at any time, which may be accompanied by all pro...
Claims
the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More Application Information
Patent Timeline
Login to View More Patent Type & Authority Applications(China)
IPC IPC(8): G05B19/418
CPCG05B19/41885G05B2219/32339Y02P90/02
Inventor 罗鹏胡核算杨本圆马艳
Owner XIDIAN UNIV