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