{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T00:03:28Z","timestamp":1649117008159},"reference-count":32,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2009,2,27]],"date-time":"2009-02-27T00:00:00Z","timestamp":1235692800000},"content-version":"unspecified","delay-in-days":4654,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[1996,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A symbolic calculus for reasoning about process plans is proposed in this paper. The main focus of attention is the selection and sequencing of material removal operations for components in accordance with the design geometry. This is a central issue in automated process planning. The proposed symbolic calculus defines a computational formalism for symbolic manipulation of feature volumes, so that reasoning about volumetric removals can be treated in a logical manner by using well-defined procedures of algorithmic synthesis. This potentially encourages a more generic approach to the automation of outline and detailed process planning. The underlying philosophy is that a properly interpreted object topology upon the feature model allows the logical synthesis of volumetric removal sequences. The number of sequences is constrained by algorithms within the planning system that consider part geometry as expressed by features. This reduces the problem space associated with plan synthesis. Some of the geometrically viable sequences have the potential for further development to form viable machining removal sequences, or outline process plans.<\/jats:p>","DOI":"10.1017\/s0890060400001542","type":"journal-article","created":{"date-parts":[[2010,3,31]],"date-time":"2010-03-31T09:46:02Z","timestamp":1270028762000},"page":"183-198","source":"Crossref","is-referenced-by-count":2,"title":["Symbolic calculus for volumetric reasoning about process plans"],"prefix":"10.1017","volume":"10","author":[{"given":"Huaming","family":"Lee","sequence":"first","affiliation":[]},{"given":"Jon","family":"Scott","sequence":"additional","affiliation":[]},{"given":"Jon Sims","family":"Williams","sequence":"additional","affiliation":[]},{"given":"David","family":"Cox","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,2,27]]},"reference":[{"key":"S0890060400001542_ref020","doi-asserted-by":"publisher","DOI":"10.1080\/09511929308944552"},{"key":"S0890060400001542_ref032","doi-asserted-by":"publisher","DOI":"10.1016\/S0007-8506(07)60176-0"},{"key":"S0890060400001542_ref031","doi-asserted-by":"publisher","DOI":"10.1007\/BF01756631"},{"key":"S0890060400001542_ref014","doi-asserted-by":"publisher","DOI":"10.1016\/0278-6125(91)90048-7"},{"key":"S0890060400001542_ref029","doi-asserted-by":"publisher","DOI":"10.1109\/56.9300"},{"key":"S0890060400001542_ref028","doi-asserted-by":"publisher","DOI":"10.1080\/00207549208942949"},{"key":"S0890060400001542_ref027","doi-asserted-by":"crossref","unstructured":"Shah J.J. , Sreevalsan P. , & Mathew A. (1991). Survey of CAD\/feature-based process planning and NC programming techniques. Computer-Aided Eng. J.","DOI":"10.1049\/cae.1991.0004"},{"key":"S0890060400001542_ref009","doi-asserted-by":"crossref","unstructured":"Gindy N. , Huang X. , & Ratchev T. (1991). Feature-based component model for computer aided process planning systems. Symp. Feature-Based Approaches to Design Process Plan.","DOI":"10.1007\/978-1-4471-1904-3_41"},{"key":"S0890060400001542_ref008","doi-asserted-by":"publisher","DOI":"10.1080\/00207548908942677"},{"key":"S0890060400001542_ref006","first-page":"223","article-title":"Approach to linear and geometrical tolerancing for computer-aided design","volume":"5","author":"Cox","year":"1995","journal-title":"J. Design Manufacturing"},{"key":"S0890060400001542_ref010","doi-asserted-by":"publisher","DOI":"10.1016\/S0007-8506(07)60756-2"},{"key":"S0890060400001542_ref004","volume-title":"An introduction to automated process planning systems","author":"Chang","year":"1985"},{"key":"S0890060400001542_ref012","doi-asserted-by":"publisher","DOI":"10.1080\/00207549008942690"},{"key":"S0890060400001542_ref007","first-page":"324","article-title":"XPLANE, a generative computer aided process planning system for part manufacturing","volume":"2","author":"Erve","year":"1986","journal-title":"Ann. CIRP"},{"key":"S0890060400001542_ref001","unstructured":"Butterfield W.R. , Green M.K. , Scott D.C. , & Stoker W.J. (1986). Part features for process planning. (Report No. C-85-PPP-03, CAM-1). Arlington, TX."},{"key":"S0890060400001542_ref021","doi-asserted-by":"publisher","DOI":"10.1016\/0278-6125(90)90036-H"},{"key":"S0890060400001542_ref005","volume-title":"Expert process planning for manufacturing","author":"Chang","year":"1990"},{"key":"S0890060400001542_ref011","doi-asserted-by":"publisher","DOI":"10.1109\/70.54734"},{"key":"S0890060400001542_ref015","unstructured":"Karinthi R. (1990). An Algebraic Approach to Feature Interactions. Ph.D. thesis, University of Maryland, College Park, MD."},{"key":"S0890060400001542_ref002","doi-asserted-by":"publisher","DOI":"10.1080\/09511929308944549"},{"key":"S0890060400001542_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/0278-6125(93)90013-J"},{"key":"S0890060400001542_ref023","doi-asserted-by":"publisher","DOI":"10.1016\/0278-6125(93)90012-I"},{"key":"S0890060400001542_ref022","unstructured":"Requicha A.G. (1977). Mathematical models of rigid solid objects. (Tech. Report No. TM-28). Rochester, NY: University of Rochester."},{"key":"S0890060400001542_ref030","unstructured":"Van Houten F. , Erve A. , Jonkers F. , & Kals H. (1989). PART, a CAPP System with a flexible architecture. Proc. 2nd CIRP Int. Workshop CAPP."},{"key":"S0890060400001542_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4485(93)90062-S"},{"key":"S0890060400001542_ref016","unstructured":"Karinthi R. , & Nau D.S. (1989). Geometric reasoning as a guide to process planning. ASME Int. Conf. Comput. Eng."},{"key":"S0890060400001542_ref017","volume-title":"Geometric reasoning using a feature algebra","author":"Karinthi","year":"1992"},{"key":"S0890060400001542_ref026","doi-asserted-by":"publisher","DOI":"10.1049\/cae.1988.0004"},{"key":"S0890060400001542_ref018","volume-title":"Backward assembly planning","author":"Lee","year":"1992"},{"key":"S0890060400001542_ref019","volume-title":"Introduction to topology","author":"Mendelson","year":"1975"},{"key":"S0890060400001542_ref025","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4485(88)90041-3"},{"key":"S0890060400001542_ref024","doi-asserted-by":"publisher","DOI":"10.1016\/0010-4485(91)90027-T"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060400001542","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,12]],"date-time":"2019-05-12T17:18:54Z","timestamp":1557681534000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060400001542\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1996,6]]}},"alternative-id":["S0890060400001542"],"URL":"https:\/\/doi.org\/10.1017\/s0890060400001542","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,6]]}}}