Heuristic Binary Decision Diagram Variable Ordinal Optimization Representation Method for Workshop Manufacturing System

A binary decision diagram and manufacturing system technology, applied in the field of automatic manufacturing system modeling and control, can solve problems such as high time complexity, dependence on initial variable order, etc., to achieve the effect of speeding up, acquiring speed, and reducing structure

Active Publication Date: 2022-05-27
NANJING UNIV OF SCI & TECH
View PDF2 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

The sifting algorithm can obtain a local optimal variable order, but its time complexity is high and it depends heavily on the initial variable order (Rudell R. Dynamic variable ordering for ordered binary decision diagrams. In: Proceedings of International Conference on Computer aided Design, 1993.42~47)

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
  • Heuristic Binary Decision Diagram Variable Ordinal Optimization Representation Method for Workshop Manufacturing System
  • Heuristic Binary Decision Diagram Variable Ordinal Optimization Representation Method for Workshop Manufacturing System
  • Heuristic Binary Decision Diagram Variable Ordinal Optimization Representation Method for Workshop Manufacturing System

Examples

Experimental program
Comparison scheme
Effect test

Embodiment 1

[0048] figure 2 is an example of a shop floor manufacturing system consisting of three robots (R 1 ,R 2 ,R 3 : Each robot can hold one product at the same time) and four machines (M 1 ,M 2 ,M 3 ,M 4 : each machine can process two products at the same time), and three input buffers (I 1 ,I 2 ,I 3 ) and three output buffers (O 1 ,O 2 ,O 3 ). The system is mainly divided into two production lines with three robots as the core, and its operation process is as follows:

[0049] J 1 :I 1 →R 1 →M 1 →R 2 →M 2 →R 3 →O 1

[0050] or I 1 →R 1 →M 3 →R 2 →M 4 →R 3 →O 1

[0051] J 2 :I 2 →R 2 →M 2 →R 2 →O 2

[0052] J 3 :I 3 →R 3 →M 4 →R 2 →M 3 →R 1 →O 3

[0053] against figure 2 Workshop manufacturing system, heuristic binary decision diagram variable sequence optimization representation method steps are as follows:

[0054] first step, yes figure 2 The shop floor manufacturing system shown is modeled, image 3 is the obtained Petri net m...

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 heuristic binary decision diagram (OBDD) variable sequence optimization expression method of a workshop manufacturing system, comprising the following steps: adopting Petri net to model the enterprise workshop production system; degree; with the resource warehouse as the center, the warehouses are grouped according to the degree of correlation between the warehouses; the depth-first strategy is used to find the corresponding grouping of the resource warehouse and the OBDD coding sequence of all the warehouses. The invention takes the Petri net model of the manufacturing workshop as the object, adopts the heuristic OBDD variable order optimization technology, alleviates the state explosion problem existing in the system model analysis, and has the advantages of effectively reducing the model representation structure and accelerating the model analysis speed.

Description

technical field [0001] The invention relates to an automatic manufacturing system modeling and control technology, in particular to a heuristic binary decision diagram variable sequence optimization representation method of a workshop manufacturing system. Background technique [0002] Pastor et al. established an OBDD-based Petri net coincidence analysis method, and used OBDD to represent the characteristic functions identified by the Petri net library to analyze various performances of the Petri net. The number of nodes in OBDD is very sensitive to the order of variables, and the number of nodes in the OBDD table corresponding to the same function under different variable orders may have linear and exponential differences. Therefore, variable ordering is an important issue in OBDD applications. [0003] The window algorithm proposed by M.Fujita to exchange variables within a certain range, its time complexity and the number of sorted OBDD nodes depend on the size of the w...

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 Patents(China)
IPC IPC(8): G06Q10/04G06Q50/04
CPCG06Q10/04G06Q50/04Y02P90/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