Doctoral Dissertations
Abstract
"For the manufacture of mechanically assembled products, the importance of the assembly sequence planning phase cannot be exaggerated. Contemporary approaches tend to underachieve, in terms of mechanical manipulability, or provide an inadequate reasoning mechanism for analyzing the assembly process. Application for temporal logic to vitiate the effects of this latter inadequacy leads naturally of a system of constraints which sort themselves according to the origins of their corresponding specifications. Those which originate from geometric considerations are referred to as hard constraint specifications and those which originate as a list of preferences of a design engineer are called soft constraint specifications. By 1994, the difficulties associated with proper formulation of appropriate specifications had been recognized, and a decisive attack was began:
"It should be pointed out that it appears difficult to specify a correct and complete set of hard constraint for complex assemblies. This difficulty is regardless of the form of representation."
-Seow and Devanathan [32).
We carry on this attack on the problem of formulating specifications and applying them as follows:
(a) We revise some of assembly process axioms of Seow and Devanathan and provide proofs of validity of these revised axioms.
(b) We generalize the Seow-Devanathan model to one for mechanically assembled products with any number of parts.
(c) We carry over similar techniques, appropriately modified, to disassembly processes, and devise a general disassembly sequence planning system (or model)"-- Abstract, p. iii
Advisor(s)
Insall, Matt
Allada, Venkat
Committee Member(s)
Hall, Leon M., 1946-
Morgan, Ilene H.
Randolph, Timothy W.
Department(s)
Mathematics and Statistics
Degree Name
Ph. D. in Mathematics
Publisher
University of Missouri--Rolla
Publication Date
Spring 2002
Pagination
xi, 105 pages
Note about bibliography
Includes bibliographical references (pages 101-104).
Rights
© 2002 Murat Atmaca, All rights reserved.
Document Type
Dissertation - Restricted Access
File Type
text
Language
English
Subject Headings
Computer logicAssembly-line methods
Thesis Number
T 8079
Print OCLC #
51219871
Recommended Citation
Atmaca, Murat, "Applications of temporal logic to assembly and disassembly sequences" (2002). Doctoral Dissertations. 1441.
https://scholarsmine.mst.edu/doctoral_dissertations/1441
Share My Dissertation If you are the author of this work and would like to grant permission to make it openly accessible to all, please click the button above.
