Research in Computer Science


On verification of interoperability of CAD systems with a focus on invariant properties

Interoperability is the ability of a system to correctly interpret and function with another system’s components and products. In this paper, we propose a theoretical framework for the verification of (geometric) interoperability that would allow distinct CAD systems to interact with each other through a query-based data acquisition and exchange. In this regard, we establish a correspondence based on a topological equivalence and a geometric similarity between model instances authored by distinct systems.

An automated approach for the discovery of interoperability

In this article, we present an automated approach that would test for and discover CAD-to-CAD interoperability based on the approximately-invariant shape properties between two given CAD models. We further show that exchanging models in standard format does not guarantee the preservation of shape properties. We generate template files to accommodate the information necessary for the property computations and proxy model constructions, and implement an interoperability discovery program called DTest to execute the interoperability testing.

Geometry Validation

A review of geometric integrity criteria for military standards – 31000A

In this article, we focus on the geometric integrity criteria presented in MIL-STD 31000A. We present a general review of the geometric integrity criteria and recommend a method that focuses on the investigation of geometric and topological property violations to identify defects. We propose ways to improve the geometric integrity criteria classes and the recommended correction methods provided. We point out how the categorization of the tests based on dimensionality arguments or experimental observations creates repetition in testing. 


%d bloggers like this: