Fast solution method for reachable state of resource distribution system based on binary decision diagram

A binary decision diagram and resource allocation technology, applied in the field of automatic manufacturing system modeling and control, can solve problems such as inability to solve time consumption, reduce processing efficiency, frequently call sub-functions, etc., to solve the problem of state combination explosion, reduce The number of calls, the effect of speeding up

Active Publication Date: 2019-08-09
NANJING UNIV OF SCI & TECH
View PDF0 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, its algorithm has certain shortcomings: in the process of mirror calculation, a single transition is used to transfer parameters and process, resulting in frequent calls to sub-functions, which greatly reduces the efficiency of processing, and cannot solve the problem of time consumption for solving large-scale Petri net reachable sets.

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 more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Fast solution method for reachable state of resource distribution system based on binary decision diagram
  • Fast solution method for reachable state of resource distribution system based on binary decision diagram
  • Fast solution method for reachable state of resource distribution system based on binary decision diagram

Examples

Experimental program
Comparison scheme
Effect test

Embodiment

[0059] This embodiment takes an automatic manufacturing (AMS) system instance as an example figure 2 shown, including three robots (R 1 , R 2 , R 3 : each robot can process one product at a time) and two input buffers (I 1 , I 2 ) and two output buffers (O 1 ,O 2 ). The system is mainly divided into two production lines with three robots as the core, and its operation process is as follows:

[0060] J 1 : I 1 →R 1 →R 2 (or R 3 ) → R 3 →O 1

[0061] J 2 : I 2 →R 3 →R 2 →R 1 →O 2

[0062] The method for quickly solving the reachable state of the resource allocation system based on the binary decision graph of the present invention includes the following contents:

[0063] 1 pair figure 2 The automatic manufacturing system shown is modeled and obtained as image 3 The Petri net model shown includes 12 places and 10 transitions. Its set of all places P={p 1 ,p 2 ,p 3 …p 12}, transition set T={t 1 ,t 2 ,t 3 ...t 10};

[0064] 2. Use Boolean varia...

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

No PUM Login to view more

Abstract

The invention discloses a fast solution method for a reachable state of a resource distribution system based on a binary decision diagram. The method comprises the following steps: modeling the resource distribution system by using a Petri network; representing a library in the Petri network by utilizing Boolean variables to obtain an identification vector; based on the identification variable, obtaining a feature function of an identification vector set M, and then performing compressed representation on a base station, an arc weight value and a state identification of a Petri network according to the feature function; solving a characteristic function of the transition enabling condition; and solving a reachable state set of the Petri network through mirror image calculation. According to the method, the state explosion problem existing in system model analysis can be relieved, the system reachable set can be quickly solved with small time and space, and the method has important significance for application of large-scale systems of the type.

Description

technical field [0001] The invention belongs to the technical field of modeling and control of automatic manufacturing systems, in particular to a fast solution method for the attainable state of a resource allocation system based on a binary decision graph. Background technique [0002] The essence of the binary decision diagram (Binary Decision Diagram, BDD) is a data structure, which is a compressed expression form that can realize Boolean functions equally, and realizes the representation and operation by a specific binary expression form with less data structure large data sets. As BDD is introduced into more and more fields, it has also been well developed. For example, Ordered Binary Decision Diagram (OBDD) and Compressed Ordered Binary Decision Diagram (ROBDD) developed based on BDD are subsequent data structures with better compression and faster processing. [0003] Petri nets are graphical and mathematical tools for describing asynchronous discrete event dynamic...

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
no application Login to view more
Patent Type & Authority Applications(China)
IPC IPC(8): G06F17/50
CPCG06F30/22G06F2119/18Y02P90/30
Inventor 黄波赵凌波蒲立明李美玲俞翀丁高瞻蔡志成
Owner NANJING UNIV OF SCI & TECH
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap