Collaborative Research: Developing the Foundations and Systems for Facilitating Geometric Interoperability

几何表示构成了广义上的现代制造系统的数字DNA。因此，几何多样性和互操作性通常决定了整个制造企业的复杂性，适应性，可信度和弹性。由于制造任务的多样性，几何表示已经演变成多种抽象模型，数据结构和格式，适用于特定任务并进行了优化。这种表示和系统之间的互操作性成为制造信息系统设计中的一个核心挑战，这给美国工业和经济造成了数十亿美元的损失，同时阻碍了主要的技术趋势。该研究项目旨在在几何互操作性的理论和实践方面取得广泛进展。此外，这项研究将为支持主要技术趋势提供理论基础和算法基础设施，包括网络支持和云支持的制造，制造民主化以及工程数据的长期保存和存档。本研究计画的主要目标是扩展和统一一个支持先进制造系统和应用的扩展几何表示的形式语义。这种语义将被用来制定一个严格的算法的方法，以互操作性的层次结构的可计算查询，取代和跨越早期有限的数据为中心的标准化工作，并支持不同的架构，为未来几代的信息系统。具体来说，这个项目将表明几何互操作性的挑战可以通过以下方式克服：（1）为几何互操作性制定合理严格的基础，（2）基于所开发的理论开发可证明的查询和算法;（3）展示所提出的几何互操作性方法的能力和有效性

Geometric representations make up the digital DNA of modern manufacturing systems broadly conceived. As such, geometric diversity and interoperability often determine complexity, adaptability, trustworthiness, and resilience of the whole manufacturing enterprise. Owing to the diversity of manufacturing tasks, geometric representations have evolved into a multiplicity of abstract models, data structures, and formats that are suitable and optimized for specific tasks. Interoperability between such representations and systems emerged as a central challenge in the design of manufacturing information systems that is costing the US industry and economy billions while impeding major technological trends. This research project aims to make broad advances in theory and practice of geometric interoperability. Furthermore, this research will provide theoretical foundations and algorithmic infrastructure for supporting major technological trends, including web-enabled and cloud-supported manufacturing, democratization of manufacturing, and long term preservation and archival of engineering data. The main goal of this research project is to extend and unify a formal semantics of extended geometric representations in support of advanced manufacturing systems and applications. This semantics will be used to formulate a rigorous algorithmic approach to interoperability in terms of a hierarchy of computable queries, superseding and leapfrogging earlier limited data-centric standardization efforts, and supporting diverse architectures for coming generations of information system. Specifically, this project will show the challenges of geometric interoperability may be overcome by (1) formulating sound rigorous foundations for geometric interoperability, (2) developing provable queries and algorithms based on the developed theory; and (3) demonstrating the power and effectiveness of the proposed approach to geometric interoperability