Symbolic OBDD representations for mechanical assembly sequences

CAD Computer Aided Design

Volumn 40, Issue 4, 2008, Pages 411-421

  Gu, Tianlong ^a   Xu, Zhoubo ^a   Yang, Zhifei ^a  

^a GUILIN UNIVERSITY OF ELECTRONIC TECHNOLOGY   (China)

Author keywords

AND OR graph; Assemble sequence planning; Directed graph; Ordered binary decision diagram

Indexed keywords

BOOLEAN ALGEBRA; COMBINATORIAL OPTIMIZATION; COMPUTER AIDED DESIGN; GRAPH THEORY; PROBLEM SOLVING;

ASSEMBLE SEQUENCE PLANNING; DIRECTED GRAPHS; ORDERED BINARY DECISION DIAGRAM;

COMPUTER AIDED ENGINEERING;

EID: 43049162649     PISSN: 00104485     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.cad.2007.12.001     Document Type: Article

References (16)

1. Gottipolu R.B., and Ghosh K. A simplified and efficient representation for evaluation and selection of assembly sequences. Computers in Industry 50 3 (2003) 251-264
2. Homem de Mello L.S., and Sanderson A.C. Representation of mechanical assembly sequences. IEEE Transactions on Robotics and Automation 7 2 (1991) 211-227
3. Prenting T., and Battaglin R. The precedence diagram: A tool for analysis in assembly line balancing. Journal of Industrial Engineering 15 4 (1964) 208-213
4. Warrats JJ, Bonschancher N, Bronsvoort WF. A semiautomatic sequence planner. In: Proceedings of IEEE international conference on robotics and automation. 1992. p. 2431-8
5. Bourjault A. Contribution à une approche méthodologique de l'assemblage automatisé: élaboration automatique des séquences opératoires. Thèse d' État. France: Université de Franche-Comté, Besancon; 1984
6. De Fazio T.L., and Whitney D.E. Simplified generation of all mechanical assembly sequences. IEEE Journal of Robotics and Automation RA-3 6 (1987) 640-658
7. Gottipolu R.B., and Ghosh K. An integrated approach to the generation of assembly sequence. International Journal of Computer Applications in Technology 8 3-4 (1995) 125-138
8. Homem de Mello L.S., and Sanderson A.C. AND/OR graph representation of assembly plans. IEEE Transactions on Robotics and Automation 6 2 (1990) 188-199
9. Bryant R.E. Graph-based algorithms for Boolean function manipulation. IEEE Transaction on Computer 35 8 (1986) 677-691
10. Bryant R.E. Symbolic Boolean manipulation with ordered binary decision diagrams. ACM Computing Surveys 24 3 (1992) 293-318
11. Sieling D., and Drechsler R. Reduction of OBDDs in linear time. Information Processing Letters 48 1 (1993) 139-144
12. Sieling D., and Wegener I. Graph driven BDDs - a new data structure for Boolean functions. Theoretical Computer Science 141 (1995) 283-310
13. Hachtel G.D., and Somenzi F. A Symbolic algorithm for maximum flow in 0-1 networks. Formal methods in system design 10 2/3 (1997) 207-219
14. Tianlong G.u., and Zhoubo X.u. The symbolic algorithms for maximum flow in networks. Computers & Operations Research 34 2 (2007) 799-816
15. Yanru Zhong, Meifa Huang, Tianlong Gu. Storage and manipulations of directed graph based on OBDD. In: Proceedings of SPIE-the sixth international symposium on instrumentation and control technology: Sensors, automatic measurement, control, and computer simulation. vol. 6358. 2006. p. 531-5
16. Somenzi F. CUDD: CU Decision Diagram Package Release 2.3.1. http://vlsi.Colorado.edu/