{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T02:56:11Z","timestamp":1648695371988},"reference-count":19,"publisher":"ASME International","issue":"4","content-domain":{"domain":["asmedigitalcollection.asme.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2001,12,1]]},"abstract":"<jats:p>Many applications of geometric nature can be modeled by geometric problems defined by constraints in which the constraint parameters have interval uncertainty. In a previous work, we developed a method for solving geometric constraint problems where parameters are narrow intervals in the domain of the geometric problem. Based on this work, we present a new approach to solve more general problems with non-trivial-width interval parameters that may not necessarily be in the domain of the problem. We show how our approach is successfully applied to a number of problems like solving geometric problems with tolerances, checking constraint feasibility and analyzing link motion of planar mechanisms.<\/jats:p>","DOI":"10.1115\/1.1429641","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T05:03:10Z","timestamp":1027746190000},"page":"341-346","update-policy":"http:\/\/dx.doi.org\/10.1115\/crossmarkpolicy-asme","source":"Crossref","is-referenced-by-count":2,"title":["A Constraint Solving-Based Approach to Analyze 2D Geometric Problems With Interval Parameters"],"prefix":"10.1115","volume":"1","author":[{"given":"R.","family":"Joan-Arinyo","sequence":"first","affiliation":[{"name":"Departament de Llenguatges i Sistemes Informa`tics, Universitat Polite`cnica de Catalunya, Av. Diagonal 647, 8a, E-08028\u2009Barcelona, Catalonia, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Mata","sequence":"additional","affiliation":[{"name":"Departament de Llenguatges i Sistemes Informa`tics, Universitat Polite`cnica de Catalunya, Av. Diagonal 647, 8a, E-08028\u2009Barcelona, Catalonia, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Soto-Riera","sequence":"additional","affiliation":[{"name":"Departament de Llenguatges i Sistemes Informa`tics, Universitat Polite`cnica de Catalunya, Av. Diagonal 647, 8a, E-08028\u2009Barcelona, Catalonia, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"33","published-online":{"date-parts":[[2001,10,1]]},"reference":[{"key":"2019100522150756500_r1","unstructured":"Mata., N., 2000, \u201cConstructible Geometric Problems with Interval Parameters,\u201d PhD thesis, Dept. LSI, Universitat Polite`cnica de Catalunya, Barcelona, Spain."},{"key":"2019100522150756500_r2","unstructured":"Mata, N., 1997, \u201cSolving Incidence and Tangency Constraints in 2D,\u201d Technical Report LSI-97-3R, Department LSI, Universitat Polite`cnica de Catalunya, Available at http:\/\/www.lsi.upc.es."},{"key":"2019100522150756500_r3","unstructured":"Durand, C., 1998, \u201cSymbolic and Numerical Techniques for Constraint Solving,\u201d PhD thesis, Purdue University, Department of Computer Sciences, December."},{"key":"2019100522150756500_r4","doi-asserted-by":"crossref","unstructured":"Fudos, I., and Hoffmann, C. M., 1997, \u201cA Graph-Constructive Approach to Solving Systems of Geometric Constraints,\u201d ACM Trans. Graphics, 16, No. 2, pp. 179\u2013216.","DOI":"10.1145\/248210.248223"},{"key":"2019100522150756500_r5","doi-asserted-by":"crossref","unstructured":"Laman, G.\n          , 1970, \u201cOn Graphs and Rigidity of Plane Skeletal Structures,\u201d J. Eng. Math., 4, No. 4, pp. 331\u2013340 October.","DOI":"10.1007\/BF01534980"},{"key":"2019100522150756500_r6","unstructured":"Garling, D. J. H., 1986, \u201cA Course in Galois Theory,\u201d Cambridge University Press."},{"key":"2019100522150756500_r7","doi-asserted-by":"crossref","unstructured":"Joan-Arinyo, R., and Soto-Riera, A., 1999, \u201cCombining Constructive and Equational Geometric Constraint Solving Techniques,\u201d ACM Trans. Graphics, 18, No. 1, pp. 35\u201355, January.","DOI":"10.1145\/300776.300780"},{"key":"2019100522150756500_r8","unstructured":"Joan-Arinyo, R., and Mata., N., 2000, \u201cA Data Structure for Solving Geometric Construction Problems With Interval Parameters,\u201d Technical Report LSI-00-24-R, Department LSI, Universitat Polite`cnica de Catalunya. Available at http:\/\/www.lsi.upc.es."},{"key":"2019100522150756500_r9","unstructured":"Mata, N., and Kreinovich, V., 1999, \u201cNP-Hardness in Geometric Construction Problems With One Interval Parameter,\u201d In Applications of Interval Analysis to Systems and Control with special emphasis on recent advances in Modal Interval Analysis (MISC\u201999), pages 85\u201398, Girona (Spain), Feb. 24\u201326."},{"key":"2019100522150756500_r10","unstructured":"Alefeld, G., and Herzberger, J., 1983, Introduction to Interval Computations, Computer Science and Applied Mathematics. Academic Press."},{"key":"2019100522150756500_r11","unstructured":"Moore, R. E., 1966, Interval Analysis, Series in Automatic Computation, Prentice-Hall, Englewood Cliffs, N.J."},{"key":"2019100522150756500_r12","unstructured":"Mata, N., 1999, \u201cHow to Compute Tight Enclosures for the Range of a Multi-Dimensional Differentiable Function,\u201d Technical Report LSI-99-48-R, Department LSI, Universitat Polite`cnica de Catalunya. Available at http:\/\/www.lsi.upc.es."},{"key":"2019100522150756500_r13","unstructured":"Hammer, R., Hocks, M., Kulisch, U., and Ratz, D., 1993, Numerical Toolbox for Verified Computing I. Springer-Verlag."},{"key":"2019100522150756500_r14","unstructured":"Ratz, D., 1992, \u201cAn Inclusion Algorithm for Global Optimization in a Portable PASCAL-XSC Implementation,\u201d In L. Atanassova and J. Herzberger, editors, Computer Arithmetic and Enclosure Methods, pp. 329\u2013338. IMACS, Elsevier Science Publishers B.V. (North-Holland)."},{"key":"2019100522150756500_r15","unstructured":"Hansen, E., 1992, Global Optimization Using Interval Analysis. Marcel Dekker, Inc."},{"key":"2019100522150756500_r16","doi-asserted-by":"crossref","unstructured":"Kearfott, R. B., 1996, Rigorous Global Search: Continuous Problems. Kluwer Academic Publications.","DOI":"10.1007\/978-1-4757-2495-0"},{"key":"2019100522150756500_r17","unstructured":"Ratschek, H., and Rokne, J., 1988, New Computer Methods for Global Optimization. Ellis Horwood Series in Mathematics and its Applications. Ellis Horwood Limited."},{"key":"2019100522150756500_r18","unstructured":"Cundy, H. M., and Rollett, A. P., 1961, Mathematical Models. Oxford University Press, Second edition."},{"key":"2019100522150756500_r19","unstructured":"Hilbert, D., and Cohn-Vossen, S., 1983, Geometry and the Imagination. Chelsea Publishing Company, New York."}],"container-title":["Journal of Computing and Information Science in Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/1\/4\/341\/5668044\/341_1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"http:\/\/asmedigitalcollection.asme.org\/computingengineering\/article-pdf\/1\/4\/341\/5668044\/341_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T22:15:18Z","timestamp":1570313718000},"score":1,"resource":{"primary":{"URL":"https:\/\/asmedigitalcollection.asme.org\/computingengineering\/article\/1\/4\/341\/471616\/A-Constraint-SolvingBased-Approach-to-Analyze-2D"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,10,1]]},"references-count":19,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2001,12,1]]}},"URL":"https:\/\/doi.org\/10.1115\/1.1429641","relation":{},"ISSN":["1530-9827","1944-7078"],"issn-type":[{"value":"1530-9827","type":"print"},{"value":"1944-7078","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,10,1]]}}}