STEPに基づく製品データ品質保証に関する研究(第2報)

等価変換プログラミングを用いたEXPRESS-X検証アルゴリズムの設計

抄録

本研究は、製品モデルに対するデータ品質保証に関して、品質基準表現としてモデル記述に曖昧さの無いSTEP技術を用いて記述する事を提案している。このため、モデル、位相、幾何の観点から品質検証アルゴリズムを設計する必要がある。しかし、STEP技術であるEXPRESS-Xは、アルゴリズム設計に適していない。そこで本報告では、アルゴリズム記述が容易である等価変換プログラム言語を用い、EXPRESS-X検証アルゴリズムを設計する手法を提案する。