プロダクトライフサイクルのためのデジタルセマンテック製品モデルの研究開発

2003 Fiscal Year Annual Research Report

• Project/Area Number: 14102032
• Research Institution: Hokkaido University
• Principal Investigator: 岸浪 建史 北海道大学, 大学院・工学研究科, 教授 (30001796)
• Co-Investigator(Kenkyū-buntansha): 赤間 清 北海道大学, 情報メディア教育研究綜合センター, 教授 (50126265) ; 田中 文基 北海道大学, 大学院・工学研究科, 助手 (30207138) ; 金井 理 北海道大学, 大学院・工学研究科, 助教授 (90194878) ; 近藤 司 函館工業高等専門学校, 助手 (40292049) ; 三井 聡 旭川工業高等専門学校, 助教授 (00219669)
• Keywords: デジタルセマンテック製品モデル / XML / EXPRESS / Functional Model / コミュニケーション / 工具情報モデル / 加工プロセスモデル / デザインパターン

Research Abstract

本研究では、製品のライフサイクル全般にわたって貴重なデータを維持・利用・管理するために,コンピュータの実装系に依存しない,データの意味と品質を保証するデジタルセマンテック製品モデルの開発を目的とする.さらに、製品ライフサイクルの各段階において必要なモデル(Functional Model)を導出し、人間とコンピュータの協調作業を可能とするデジタルセマンテック製品モデルとそのコミュニケーションシステムに関する研究開発を目的とする.
以上の目的を遂行するために、本研究の2年度においては、異なる部局間(設計および製造)での共同研究作業を効率的に実施するための模擬環境として学内ネットワークを用いて複数のクライアント間でデジタルセマンテックス製品モデルデータおよび生産資源モデルデータのXML言語表現によるデータの共有化方式を実現した.このためにクライアントマシンとクライアント間の画像・音声・設計データを用いた設計者間のコミュニケーションを可能とする協調設計環境システムを構築し、前年度に設置したサーバマシンとWeb/XML方式による製品モデルおよび生産資源データの共有化を計った.この環境を実現することで以下の研究項目を実施し、各検証システムにてその有効性を検討した.
(1)設計における人間とコンピュータの協調作業を可能とするデジタルセマンテック製品モデルの構築とモデルデータの品質の保証を可能とする方法に関する研究
(2)生産設計における人間とコンピュータの協調作業を可能とするデジタルセマンテック製品モデルの構築とモデルデータを用いた検証実験
(3)生産における人間とコンピュータの協調作業を可能とするデジタルセマンテック製品モデルの構築とモデルデータを用いた検証実験
(4)XMLの表現、変換に関する基礎的研究、およびモデルデータ品質保証アルゴリズム構築の基礎的研究
(5)工具のデジタルセマンテック製品モデル化に関する研究

Research Products

• [Publications] M.Yamada: "High Efficiency Sculpture Surface Machining by Automatically Indexing Tilted Tool Axis on 5-axis Machining Center in Mold and Die Machining"Proceedings of the 13th International Conference on Flexible Automation & Intelligent Manufacturing (FAIM2003). 504-512 (2003)
• [Publications] F.Tanaka: "Removal Volume Modeling for Process Planning Based on Form-Shaping Function"Proceedings of the Second International Conference on Leading Edge Manufacturing in 21st Century. 747-752 (2003)
• [Publications] Takeshi Kishinami: "Data sharing among Multiple Product Ontologies"Proceedings of The 1st International Workshop on Ubiquitous Knowledge Network Environment. (2003)
• [Publications] 徳永仁史: "要求動作の変化に対するリー代数に基づく機構構造の再構成"精密工学会誌. 69(10). 1401-1405 (2003)
• [Publications] 山田誠: "5軸NC工作機械による主軸傾斜曲面加工法に関する研究(第1報)-高能率金型加工のための最適割出し角自動決定方法-"精密工学会誌. 70(1). 65-69 (2004)
• [Publications] Toyoaki Tomura: "A Cooperative Simulation Mechanism of Distributed Control Systems Based on Object-Oriented Design Patterns"Proceedings of Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), ISBN:0-7695-1928-8. 83-90 (2003)
• [Publications] 戸村豊明: "分散制御システムの静的構造モデリングのためのオブジェクト指向デザインパターンに関する研究"精密工学会誌. 69(6). 815-819 (2003)
• [Publications] 伊達宏昭: "パラメタライゼーションを用いた表面詳細合成形状の三角形メッシュモデリング"精密工学会誌. 69(4). 581-585 (2003)
• [Publications] Akihiko Urushihara: "BEHAVIOR MODELER : Systematically generating Statechart from Functional Relations and Scenarios for prototyping User Interface"Proc.of ACM Computer aided design of User interfaces, Jan, Madeira. 67-80 (2004)
• [Publications] S.Kanai: "HLA/RTI-based Scalable Distributed Virtual Prototyping Environment for Embedded System Design"Proc.Of Virtual Concept 2003, France. 100-107 (2003)
• [Publications] T.Inoue: "Geometry-behavior Collaborative digital Prototyping for IT Products based on STEP and Web3D"Proc.Of Virtual Concept 2003, France. 388-393 (2003)
• [Publications] 金井 理: "メッシュモデルのLOD制御技術とそのデジタルエンジニアリングへの応用(解説)"精密工学会誌. 69(4). 83-86 (2003)
• [Publications] Mabuchi, H: "Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation"Journal of Advanced Computational Intelligence and Intelligent Informatics (JACI3). 7・3. 306-314 (2003)
• [Publications] Takahiko Ishikawa: "How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm"Journal of Advanced Computational Intelligence and Intelligent Informatics (JACI3). 7・3. 260-267 (2003)
• [Publications] Chutiporn Anutariya: "XML declarative description with negative constraints"INTERNATIONAL WORKSHOP ON SEMANTIC WEB FOUNDATIONS AND APPLICATION TECHNOLOGIES. (2003)
• [Publications] Kiyoshi Akama: "Program Generation and Computation in the ET Paradigm"Proceedings of The International Symposium on Computational Intelligence and Intelligent Informatics 2003 (ISCIII'03). 276-282 (2003)
• [Publications] C.Anutariya: "XML Declarative Description with First-Order Logical Constraints"Workshop on "Knowledge Grid and Grid Intelligence". (2003)
• [Publications] Mabuchi, H.: "Solving Constraint Satisfaction Problems based on Equivalent Transformation"Proc.of the 4th International Conference on Intelligent Technologies (InTech 2003). 152-160 (2003)
• [Publications] Mabuchi, H: "Constraint Solving Specializations for Equality on an Interval-Variable Domain"Proc.of the 4th International Conference on Intelligent Technologies (InTech 2003). 161-170 (2003)
• [Publications] Pongtawat Chippimolchai: "Correct Computation with Multi-Head Rules in the Equivalent Transformation Framework"Proc.of the 4th International Conference on Intelligent Technologies (InTech 2003). 531-538 (2003)
• [Publications] Akama, K: "Formalization of Computation Models in View of Program Synthesis"Proc.of the 4th International Conference on Intelligent Technologies (InTech 2003). 507-516 (2003)
• [Publications] 山崎知之: "鏡面反射スポット画像にもとづく形状計測法"型技術. 18(3). 62-63 (2003)