Solid Modeling and its Applications

研究将集中在设计和实施集成的、可编程的(即，灵活的)和高度自动化的离散货物设计、分析、制造、检验和组装系统时出现的几何和计算问题。将开发当前实体建模软件所不具备的重要功能，并将研究实体建模在设计和生产中的新应用。将讨论两个优先主题：(1)关于几何不确定性的建模和推理；(2)从几何模型中自动提取可加工特征。其他优先级较低的研究课题是(3)基于约束的机械设计，(4)在实体建模中加入Minkowski运算，(5)硬件实现的算法，(6)边界表示到构造性实体几何的转换，以及(7)对移动机器人导航的建模支持。

The research will focus on the geometric and computational issues that arise in the design and implementation of integrated, programmable (i.e., flexible) and highly automated systems for the design, analysis, manufacturing, inspection and assembly of discrete goods. Important capabilities not available in current solid modelers will be developed, and novel applications of solid modeling to design and production will be investigated. Two high-priority topics will be addressed: (1) modeling and reasoning about geometric uncertainty, and (2) automatic extraction of machinable features from geometric models. Additional, lower-priority research topics are (3) constraint-based mechanical design, (4) incorporation of Minkowski operations in solid modelers, (5) algorithms for hardware implementation, (6) conversion of boundary representations to constructive solid geometry, and (7) modeler support for mobile robot navigation.