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