{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,22]],"date-time":"2022-12-22T17:13:32Z","timestamp":1671729212361},"reference-count":17,"publisher":"ASME International","issue":"1","content-domain":{"domain":["asmedigitalcollection.asme.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2004,3,1]]},"abstract":"<jats:p>Moving parts in contact have been traditionally synthesized through specialized techniques that focus on completely specified nominal shapes. Given that the functionality does not completely constrain the geometry of any given part, the design process leads to arbitrarily specified portions of geometry, without providing support for systematic generation of alternative shapes satisfying identical or altered functionalities. Hence the design cycle of a product is forced to go into numerous and often redundant iterative stages that directly impact its effectiveness. We argue that the shape synthesis of mechanical parts is more efficient and less error prone if it is based on techniques that identify the functional surfaces of the part without imposing arbitrary restrictions on its geometry. We demonstrate that such techniques can be formally defined for parts moving in contact through equivalence classes of mechanical parts that satisfy a given functionality. We show here that by replacing the completely specified geometry of the traditional approaches with partial geometry and functional specification, we can formally define classes of mechanical parts that are equivalent, in the sense that all members of the class satisfy the same functional specifications. Moreover, these classes of functionally equivalent parts are computable, may be represented unambiguously by maximal elements in each class, and contain all other functional designs that perform the same function.<\/jats:p>","DOI":"10.1115\/1.1641794","type":"journal-article","created":{"date-parts":[[2004,3,23]],"date-time":"2004-03-23T23:06:01Z","timestamp":1080083161000},"page":"20-27","update-policy":"http:\/\/dx.doi.org\/10.1115\/crossmarkpolicy-asme","source":"Crossref","is-referenced-by-count":2,"title":["Equivalence Classes for Shape Synthesis of Moving Mechanical Parts"],"prefix":"10.1115","volume":"4","author":[{"given":"Horea T.","family":"Ilies\u00b8","sequence":"first","affiliation":[{"name":"Ford Motor Company *"}]},{"given":"Vadim","family":"Shapiro","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, Spatial Automation Laboratory, Department of Mechanical Engineering, 1513 University Avenue, University of Wisconsin-Madison, Madison, WI 53706\u2009USA"}]}],"member":"33","published-online":{"date-parts":[[2004,3,23]]},"reference":[{"key":"2019100523501997500_r1","unstructured":"Suh, N. P., 1990, \u201cThe Principles of Design,\u201d Oxford Series on Advanced Manufacturing, Oxford University Press, New York, Chap. 3."},{"key":"2019100523501997500_r2","doi-asserted-by":"crossref","unstructured":"Pahl, G., and Beitz, W., 1996, \u201cEngineering Design: a Systematic Approach,\u201d Springer, London, Chap. 6.","DOI":"10.1007\/978-1-4471-3581-4"},{"key":"2019100523501997500_r3","doi-asserted-by":"crossref","unstructured":"Gupta, R., and Jakiela, M., 1994, \u201cKinematic Simulation and Shape Synthesis via Small Scale Interference Detection,\u201d Res. Eng. Des., 6, pp. 103\u2013123.","DOI":"10.1007\/BF01579987"},{"key":"2019100523501997500_r4","doi-asserted-by":"crossref","unstructured":"Stahovich, T. F., 2001, \u201cArtificial Intelligence for Design,\u201d In E. K. Antonsson and J. Cagan, eds., In Formal Engineering Design Synthesis, Cambridge University Press, pp. 228\u2013269.","DOI":"10.1017\/CBO9780511529627.010"},{"key":"2019100523501997500_r5","doi-asserted-by":"crossref","unstructured":"Lee, C.-Y., Ma, L., and Antonsson, E. K., 2001, \u201cEvolutionary and Adaptive Synthesis Methods,\u201d In E. K. Antonsson and J. Cagan, eds., Formal Engineering Design Synthesis, Cambridge University Press, pp. 270\u2013320.","DOI":"10.1017\/CBO9780511529627.011"},{"key":"2019100523501997500_r6","unstructured":"Caine, M. E., 1993, \u201cThe Design of Shape From Motion Constraints,\u201d PhD thesis, Massachusetts Institute of Technology, Cambridge."},{"key":"2019100523501997500_r7","unstructured":"Joskowicz, L., and Addanki, S., 1988, \u201cInnovative Shape Design: A Configuration Space Approach,\u201d Technical Report 356, Courant Institute of Mathematical Sciences, New York University, NY."},{"key":"2019100523501997500_r8","doi-asserted-by":"crossref","unstructured":"Joskowicz, L., and Sacks, E., 1999, \u201cComputer-Aided Mechanical Design Using Configuration Spaces,\u201d Comput. Sci. Eng., 1(6), pp. 14\u201321.","DOI":"10.1109\/5992.805133"},{"key":"2019100523501997500_r9","doi-asserted-by":"crossref","unstructured":"Stahovich, T. F., Davis, R., and Shrobe, H. E., 2000, \u201cQualitative Rigid-Body Mechanics,\u201d Artif. Intel., 119(1\u20132), pp. 19\u201360.","DOI":"10.1016\/S0004-3702(00)00009-6"},{"key":"2019100523501997500_r10","unstructured":"Ilies\u00b8, H., 2000, \u201cOn Shaping Moving Mechanical Parts,\u201d PhD thesis, University of Wisconsin, Madison."},{"key":"2019100523501997500_r11","unstructured":"Ilies\u00b8, H., and Shapiro, V., 1996, \u201cAn Approach to Systematic Part Design,\u201d In Proceedings of the 5th IFIP WG5.2 Workshop on Geometric Modeling in Computer Aided Design, pp. 383\u2013392."},{"key":"2019100523501997500_r12","doi-asserted-by":"crossref","unstructured":"Ilies\u00b8, H., and Shapiro, V., 1999, \u201cThe Dual of Sweep,\u201d Comput.-Aided Des., 31(3), pp. 185\u2013201.","DOI":"10.1016\/S0010-4485(99)00015-9"},{"key":"2019100523501997500_r13","unstructured":"Ilies\u00b8, H., and Shapiro, V., 2003, \u201cOn the Synthesis of Functionally Equivalent Mechanical Designs,\u201d In Computational Synthesis: From Basic Building Blocks to High Level Functionality, AAAI Spring Symposium Series, AAAI Press."},{"key":"2019100523501997500_","doi-asserted-by":"crossref","unstructured":"Ilies\u00b8, H., and Shapiro, V., 2002, \u201cA Class of Forms From Function: the Case of Parts Moving in Contact,\u201d Res. Eng. Des., (13), pp. 157\u2013166.","DOI":"10.1007\/s00163-002-0014-0"},{"key":"2019100523501997500_","unstructured":"A preliminary version of this paper appeared in the Proceedings of the ASME 2001 DETC, 13th International Design Theory and Methodology Conference."},{"key":"2019100523501997500_r15","doi-asserted-by":"crossref","unstructured":"Horsch, T., and Ju\u00a8ttler, B., 1998, \u201cCartesian Spline Interpolation for Industrial Robots,\u201d Comput.-Aided Des., 30(3), pp. 207\u2013224.","DOI":"10.1016\/S0010-4485(97)00061-4"},{"key":"2019100523501997500_r16","unstructured":"Greenwood, D. L., 1988, Principles of Dynamics, Prentice-Hall, Englewood Cliffs, NJ, Chap. 1."}],"container-title":["Journal of Computing and Information Science in Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/4\/1\/20\/5773397\/20_1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/4\/1\/20\/5773397\/20_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T19:39:53Z","timestamp":1585683593000},"score":1,"resource":{"primary":{"URL":"https:\/\/asmedigitalcollection.asme.org\/computingengineering\/article\/4\/1\/20\/460145\/Equivalence-Classes-for-Shape-Synthesis-of-Moving"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,3,1]]},"references-count":17,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2004,3,1]]}},"URL":"https:\/\/doi.org\/10.1115\/1.1641794","relation":{},"ISSN":["1530-9827","1944-7078"],"issn-type":[{"value":"1530-9827","type":"print"},{"value":"1944-7078","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,3,1]]}}}