{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/33565"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/33565","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Robust evaluation of differential geometry properties using interval arithmetic techniques","abstract":"This thesis presents a robust method for evaluating differential geometry properties of sculptured surfaces by using a validated ordinary differential equation (ODE) system solver based on interval arithmetic. Iso-contouring of curvature of a Bezier surface patch. computation of curvature lines of a Bezier surface patch and computation of geodesics of a Bezier surface patch are computed by the Validated Numerical Ordinary Differential Equations (VNODE) solver which employs rounded interval arithmetic methods. Then. the results generated from the VNODE program are compared with the results from Praxiteles code which uses non-validated ODE solvers operating in double precision floating point arithmetic for the solution of the same problems. From the results of these experiments, we find that the VNODE program performs these computations reliably, but at increased computational cost.","abstract_html":"This thesis presents a robust method for evaluating differential geometry properties of sculptured surfaces by using a validated ordinary differential equation (ODE) system solver based on interval arithmetic. Iso-contouring of curvature of a Bezier surface patch. computation of curvature lines of a Bezier surface patch and computation of geodesics of a Bezier surface patch are computed by the Validated Numerical Ordinary Differential Equations (VNODE) solver which employs rounded interval arithmetic methods. Then. the results generated from the VNODE program are compared with the results from Praxiteles code which uses non-validated ODE solvers operating in double precision floating point arithmetic for the solution of the same problems. From the results of these experiments, we find that the VNODE program performs these computations reliably, but at increased computational cost.","abstract_has_math":false,"creators":["Lee, Chih-kuo"],"institution":"Massachusetts Institute of Technology","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Dept. of Ocean Engineering.","school":null,"contributors":[],"advisors":["Nicholas M. Patrikalakis."],"committee_chairs":[],"committee_members":[],"year":2005,"date_issued":"2005","date_published":"2005","updated_at":"2026-07-22T22:22:29Z","subjects":["Ocean Engineering."],"languages":["eng"],"rights":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."],"rights_urls":["http://dspace.mit.edu/handle/1721.1/7582"],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/1721.1/33565","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Nicholas M. Patrikalakis."]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Dept. of Ocean Engineering."]},{"key":"dc:contributor.other","label":"Dc Contributor Other","values":["Massachusetts Institute of Technology. Dept. of Ocean Engineering."]},{"key":"dc:creator","label":"Author","values":["Lee, Chih-kuo"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2006-07-31T15:13:08Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2006-07-31T15:13:08Z"]},{"key":"dc:date.issued","label":"Date","values":["2005"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Ocean Engineering."]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://dspace.mit.edu/handle/1721.1/7582"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/1721.1/33565"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Ocean Engineering, 2005.","Includes bibliographical references (p. 79-82)."]},{"key":"dc:description.abstract","label":"Abstract","values":["This thesis presents a robust method for evaluating differential geometry properties of sculptured surfaces by using a validated ordinary differential equation (ODE) system solver based on interval arithmetic. Iso-contouring of curvature of a Bezier surface patch. computation of curvature lines of a Bezier surface patch and computation of geodesics of a Bezier surface patch are computed by the Validated Numerical Ordinary Differential Equations (VNODE) solver which employs rounded interval arithmetic methods. Then. the results generated from the VNODE program are compared with the results from Praxiteles code which uses non-validated ODE solvers operating in double precision floating point arithmetic for the solution of the same problems. From the results of these experiments, we find that the VNODE program performs these computations reliably, but at increased computational cost."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["S.M."]},{"key":"dc:format.mimetype","label":"Dc Format Mimetype","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Robust evaluation of differential geometry properties using interval arithmetic techniques"]}]}],"canonical_facts":{"dc:contributor.advisor":["Nicholas M. Patrikalakis."],"dc:contributor.department":["Massachusetts Institute of Technology. Dept. of Ocean Engineering."],"dc:contributor.other":["Massachusetts Institute of Technology. Dept. of Ocean Engineering."],"dc:creator":["Lee, Chih-kuo"],"dc:date.accessioned":["2006-07-31T15:13:08Z"],"dc:date.available":["2006-07-31T15:13:08Z"],"dc:date.issued":["2005"],"dc:description":["Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Ocean Engineering, 2005.","Includes bibliographical references (p. 79-82)."],"dc:description.abstract":["This thesis presents a robust method for evaluating differential geometry properties of sculptured surfaces by using a validated ordinary differential equation (ODE) system solver based on interval arithmetic. Iso-contouring of curvature of a Bezier surface patch. computation of curvature lines of a Bezier surface patch and computation of geodesics of a Bezier surface patch are computed by the Validated Numerical Ordinary Differential Equations (VNODE) solver which employs rounded interval arithmetic methods. Then. the results generated from the VNODE program are compared with the results from Praxiteles code which uses non-validated ODE solvers operating in double precision floating point arithmetic for the solution of the same problems. From the results of these experiments, we find that the VNODE program performs these computations reliably, but at increased computational cost."],"dc:description.degree":["S.M."],"dc:format.mimetype":["application/pdf"],"dc:identifier.uri":["http://hdl.handle.net/1721.1/33565"],"dc:language.iso":["eng"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."],"dc:rights.uri":["http://dspace.mit.edu/handle/1721.1/7582"],"dc:subject":["Ocean Engineering."],"dc:title":["Robust evaluation of differential geometry properties using interval arithmetic techniques"],"dc:type":["Thesis"]},"updated_at":"2026-07-22T22:22:29Z"}