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

2002 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)を導入し,人間とコンピュータの協調作業を可能とするデジタルセマンテック製品モデルとそのコミュニケーションシステムに関する研究開発を目的とする.
以上の目的を遂行するために,本研究の初年度においてはデジタルセマンテック製品モデル構築のための必要な基本機能に関して,以下の研究について行い,それぞれ結論を得た.
(1)工業製品の設計と生産を統合する製品モデルの意味と品質を保証するデジタルセマンテック製品モデルの研究
製品モデルの表現方法と設計・生産に用いる形状モデル,機能モデルの基礎理論について検討を行った.
(2)デジタルセマンテック製品モデルの流通形式としてXMLを利用するための,XMLの表現と変換と推論に関する基礎的研究
XMLに関連する基礎研究として,XMLの問い合わせ処理に関する研究やXMLの問い合わせに負制約を用いて否定を表現し,それを正しく処理するための技術を開発した.
(3)製品モデルデータの長期保存と検索を可能とするデータエンジニアリングに関する研究
オブジェクト指向デザインパターンモデリングを用いたモデル化の方法論に関する基礎研究を行った.
(4)デジタルセマンテック製品モデルの実例のひとつとして工具を対象とした,工具のデジタルセマンテック製品モデル化に関する研究
EXPRESS/XMLを用いて切削工具のモデル化とその情報伝達に関する基礎研究を行った.
(5)製品機能モデルのための加工法のモデル化に関する基礎的研究
加工法のモデル化として,形状創成関数を用いた加工プロセスモデルを提案し,その基礎理論を構築した.

Research Products

• [Publications] 斉藤 亮, 田中文基, 金井 理, 岸浪建史: "ISO19100地理空間データのSemanticWebでの利用に関する研究"2002情報科学技術フォーラム講演論文集. D-4. (2002)
• [Publications] 斉藤 亮, 田中文基, 金井 理, 岸浪建史: "SemanticWebを利用した地理情報検索システムに関する研究"地理情報システム学会講演論文集. 11. 293-296 (2002)
• [Publications] 金井 理, 田中文基, 岸浪建史, 斉藤 亮, 斎藤誠一, 飯田浩二, 谷 宏, 館野教一: "ISO19100に基づくWeb-XML型空間データベースの開発"地理情報システム学会講演論文集. 11. 275-278 (2002)
• [Publications] S.Kanai, T.Tomura, T.kishinami, K.Uehiro, S.Yamamoto, K.Ibuka: "Object-oriented Design Pattern Approach to Seamless Modeling, Simulation an Implementation of Distributed Control Systems"Proceedings 5th Int. Conf. on Design of Information Infrastructure Systems for Manufacturing, Osaka, November. 165-172 (2002)
• [Publications] T.Tomura, S.Kanai, T.Kishinami, K.Ibuka, K.Uehiro, S Yamamoto: "Seamless Integration of Simulating and Implementing Distributed Control System based on Object-Oriented Design Pattern Approach"Proceedings 2002 Japan-USA Symposium on Flexible Automation, Hiroshima, July. 1. 123-129 (2002)
• [Publications] T.Tomura, S.Kanai, T.Kishinami, K.Ibuka, K.Uehiro, S.Yamamoto: "Seamless Modeling and Simulation Methodology of Distributed Control Systems base on Object-Oriented Design Pattern"Proceedings of The 6th International Conference on Mechatronics Technology, Kokura, Sept. 254-259 (2002)
• [Publications] 伊達宏昭, 金井 理, 岸浪建史: "表面詳細合成形状の意匠設計用メッシュモデリング"第20回設計シンポジウム講演論文集, 東京7月. 32-38 (2002)
• [Publications] 徳永仁史, 松木則夫, 今村 聡, 田中文基, 岸浪建史: "リー代数に基づく作業動作表現と拘束還元法による運動機構の概念設計"精密工学会誌. 68(4). 608-613 (2002)
• [Publications] T.Ishikawa, K.Akama, H.Mabuchi, Y.Yamamoto: "Multi-Head Rules in Equivalent Transformation"2002 IEEE International Conference on Intelligent Engineering Systems(INES 2002). 333-338 (2002)
• [Publications] Y.Yamamoto, K.Akama, H.Mabuchi, T.Ishikawa: "Obtaining More Efficient Programs by Accumulating Desirable Rules"2002 IEEE International Conference on Intelligent Engineering Systems(INES2002). 345-350 (2002)
• [Publications] E.Boyd, K.Akama T.Ishikawa, H.Koike: "Dynamic Interaction of Syntactic and Semantic Analyses by Equivalent Transformation"The 2002 International Conference on Artificial Intelligence (IC-AI'2002). 1040-1046 (2002)
• [Publications] K.Akama, H.Mabuchi, T.Ishikawa, E.Boyd: "A Basic Framework for Infinite Computation"The 2002 International Conference on Artificial Intelligence (IC-AI'2002). 1080-1086 (2002)
• [Publications] H.Mabuchi, K.Akama, T.Ishikawa, Y.Ymamoto: "Framework for Synthesis by Unfolding of Declarative Programs"International Conference on Artificial Intelligence(IC-AI'2002). 1060-1066 (2002)
• [Publications] K.Akama, E.Nantajeewarawat, H.Koike: "Program Synthesis Based on the Equivalent Transformation Computation Model"Proc.12th International Workshop on Logic Based Program Development and Transformation(LOPSTR 2002),Madrid, Spain. 285-304 (2002)
• [Publications] Y.Yamamoto, T.Ishikawa, K.Akama, M.Munetomo: "A Foundation for Algorithm Generation by Transforming Meta-descriptions"Proceedings of the 2002 International Conference on Fuzzy Systems and Knowledge Discovery. 712-716 (2002)
• [Publications] H.Mabuchi, K.Akama, T.Ishikawa, H.Koike: "Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation"Proceedings of the Third International Conference on Intelligent Technologies. 267-275 (2002)
• [Publications] T.Kishinami, F.Tanaka: "A Hierarchical Machining Process Plan and Required Data Model"Proceedings of 2002 Japan-USA Symposium on Flexible Automation Hiroshima, Japan, July 14-19. 511-516 (2002)
• [Publications] T.Kishinami, S.Mitsui, F.Tanaka, A.Kobayashi: "EXPRESS/XML based Data Modeling for Tool Data Management"Proceedings of the 12th International Conference on Flexible Automation & Intelligent Manufacturing(FAIM2002), July Dresden, Germany. 279-288 (2002)
• [Publications] 田中文基, 外山尚介, 岸浪建史: "加工プロセスのモデル化に基づく工程設計に関する研究(第2報)-フライス加工に対するOperating StepとWorking Toolの幾何学的モデル-"精密工学会誌. 68(5). 665-670 (2002)
• [Publications] 三井 聡, 田中文基, 岸浪建史: "EXPRESS/XMLによる切削工具情報モデルとTool Life Cycle Support"精密工学会誌. 68(10). 1321-1325 (2002)
• [Publications] K.Akama, C.Anutariya, V.Wuwongse, E.Nantajeewarawat: "Query Formulation and Evaluation of XML Databases"WITASI 2002. 273-288 (2002)
• [Publications] C.Anutariya, V.Wuwongse, K.Akama: "XML declarative description with negative constraints"INTERNATIONAL WORKSHOP ON SEMANTIC WEB FOUNDATIONS AND APPLICATION TECHNOLOGIES, SWFAT2003. (to appear). (2002)
• [Publications] 馬淵浩司, 赤間 清, 繁田良則, 小池英勝: "区間変数に関する包含制約の等価変換"人工知能学会誌. 17(1). 23-31 (2002)
• [Publications] 小池英勝, 赤間 清, 馬淵浩司, 岡田浩一, 繁田良則: "負制約の等価変換による間題解決の基礎理論"人工知能学会誌. 17(4). 354-362 (2002)
• [Publications] T.Ishikawa, K.Akama, H.Mabuchi: "How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm"Proceedings of the Third International Conference on Intelligent Technologies. 74-81 (2002)
• [Publications] 赤間清, 小池英勝, 石川貴彦: "プログラムの部品としての等価変換ルール"電子情報通信学会技術研究報告. SS98-33. 19-24 (2002)
• [Publications] 三高康嗣, 赤間 清, 小池英勝: "等価変換プログラミング言語ETとそのコンパイラ"電子情報通信学会技術研究報告. SS98-33. 13-18 (2002)
• [Publications] 三井 聡, 田中文基, 岸浪建史: "ネットワーク環境下における工具管理支援システムと工具データベース"日本機械学会生産システム部門講演会. 43-44 (2002)
• [Publications] 三井 聡, 田中文基, 岸浪建史: "生産設計から見たEXPRESS/XML工具データベースの検証"精密工学会秋季大会学術講演会. 25 (2002)
• [Publications] 山崎知之, 近藤 司, 金子俊一, 五十嵐悟: "鏡面反射スポット画像に基づく形状計測装置の開発"型技術. 17(8). 104-105 (2002)