{"title":"基于约束分辨率的三维结构建模","authors":"Hsiao-Rong Tyan, J. Juang","doi":"10.1109/TAI.1991.167105","DOIUrl":null,"url":null,"abstract":"A study is made of the design of a tool for developing structure modeling systems. A constraint logic programming scheme is the framework chosen for the system. In order to determine the structure of a set of objects by resolving geometric relations, the representation scheme, which is based on rigid transformations, is used to express geometric relations algebraically. Parameters not determined in a relation formula may be determined by correlating them with other formulae. This is done automatically by constraint resolution.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"44 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"3-D structure modeling via constraint resolution\",\"authors\":\"Hsiao-Rong Tyan, J. Juang\",\"doi\":\"10.1109/TAI.1991.167105\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A study is made of the design of a tool for developing structure modeling systems. A constraint logic programming scheme is the framework chosen for the system. In order to determine the structure of a set of objects by resolving geometric relations, the representation scheme, which is based on rigid transformations, is used to express geometric relations algebraically. Parameters not determined in a relation formula may be determined by correlating them with other formulae. This is done automatically by constraint resolution.<<ETX>>\",\"PeriodicalId\":371778,\"journal\":{\"name\":\"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91\",\"volume\":\"44 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1991-11-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/TAI.1991.167105\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TAI.1991.167105","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A study is made of the design of a tool for developing structure modeling systems. A constraint logic programming scheme is the framework chosen for the system. In order to determine the structure of a set of objects by resolving geometric relations, the representation scheme, which is based on rigid transformations, is used to express geometric relations algebraically. Parameters not determined in a relation formula may be determined by correlating them with other formulae. This is done automatically by constraint resolution.<>