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.