Hostname: page-component-cd9895bd7-gxg78 Total loading time: 0 Render date: 2024-12-27T07:35:24.408Z Has data issue: false hasContentIssue false

Generalized set propagation operations for concurrent engineering

Published online by Cambridge University Press:  27 February 2009

Walid E. Habib
Affiliation:
Department of Mechanical Engineering, The University of Michigan, Ann Arbor, MI 48109, U.S.A.
Allen C. Ward
Affiliation:
Department of Mechanical Engineering, The University of Michigan, Ann Arbor, MI 48109, U.S.A.

Abstract

This paper defines a number of general operations that accept arbitrary sets of values for two variables and general relations among three variables and generate a variety of third sets that are useful in design. Although the operations are defined without respect to mathematical or engineering domain, computing these operations depends on the specific mathematical domain, and algorithms are available for only a few domains. Appropriate software could make this complexity transparent to the designer, allowing the same conceptual operations to be used in many contexts. The paper proves a number of useful characteristics of the operations and offers examples of their potential use in design.

Type
Articles
Copyright
Copyright © Cambridge University Press 1997

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Bains, N., & Ward, A. (1993). Labeled interval operations involving non-monotonic equations. 1993 ASME Conf. on Design Theory and Methodology, Albuquerque, NM.Google Scholar
Chen, R., & Ward, A. (1995 a). RANGE family of propagation operations for intervals on simultaneous linear equations. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 9(3), 183196.CrossRefGoogle Scholar
Chen, R., & Ward, A. (1995 b). DOMAIN family of propagation operations for intervals on simultaneous linear equations. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 9(3), 197210.CrossRefGoogle Scholar
Chen, R., & Ward, A. (1995 c). SUFFICIENT-POINTS family of propagation operations for intervals on simultaneous linear equations. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 9(3), 211217.CrossRefGoogle Scholar
Darr, T.P. (1997). A constraint-satisfaction problem computational model for distributed part selection. Ph.D. Dissertation. Electrical Engineering and Computer Science Department, The University of Michigan, Ann Arbor.Google Scholar
Darr, T., & Birmingham, W. (1996). An attribute-space representation and algorithm for concurrent engineering. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 10, 2136.CrossRefGoogle Scholar
Davis, E. (1987). Constraint propagation with interval labels. Artificial Intelligence 32, 281331.CrossRefGoogle Scholar
Lee, J. (1996). Set-based design systems for stampings and flexible fixture workspaces, Ph.D. thesis. The University of Michigan, Ann Arbor, Michigan.Google Scholar
Moore, R.E. (1979). Methods and applications of interval analysis. SIAM.Google Scholar
O'Grady, P., Kim, J.Y., & Young, R.E. (1992). Concurrent engineering system for rotational parts. International Journal of System Automation: Research and Applications 2, 245258.Google Scholar
Rinderle, J., & Krishnan, V. (1990). Constraint reasoning in concurrent design. 1990 ASME Conf. on Design Theory and Methodology, Chicago, IL.Google Scholar
Sussman, G. & Steel, G. (1980). Constraints—A language for expressing almost-hierarchical descriptions. Artificial Intelligence 14, 139.CrossRefGoogle Scholar
Sutherland, I. (1963). Sketchpad—A man-machine graphical interface. Ph.D. thesis. Massachusetts Institute of Technology, Cambridge, MA.Google Scholar
Tommelein, I.D., & Zouein, P.P. (1993). Interactive dynamic layout planning. Journal of Construction Engineering and Management 119(2), 266287.CrossRefGoogle Scholar
Ward, A. (1990). A formal system for quantitative inferences of sets of artifacts. Proc. First International Workshop on Formal Methods in Engineering Design, Manufacturing, and Assembly. Colorado Springs, CA.Google Scholar
Ward, A., Lozano-Perez, T., & Seering, W. (1989). Extending the constraint propagation of intervals. Artificial Intelligence in Engineering Design, Analysis and Manufacturing 4(1), 4754.Google Scholar