• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

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

研究課題

研究課題/領域番号 14102032
研究種目

基盤研究(S)

配分区分補助金
研究分野 情報システム学(含情報図書館学)
研究機関北海道大学

研究代表者

岸浪 建史 (岸浪 健史)  北海道大学, 理事(副学長) (30001796)

研究分担者 山田 誠  函館工業高等専門学校, 助教授 (20210479)
田中 文基  北海道大学, 大学院情報科学研究科, 助教授 (30207138)
赤間 清  北海道大学, 情報基盤センター, 教授 (50126265)
三井 聡  旭川工業高等専門学校, 教授 (00219669)
近藤 司  函館工業高等専門学校, 助教授 (40292049)
金井 理  北海道大学, 大学院・情報科学研究科, 助教授 (90194878)
研究期間 (年度) 2002 – 2006
研究課題ステータス 完了 (2006年度)
配分額 *注記
92,300千円 (直接経費: 71,000千円、間接経費: 21,300千円)
2006年度: 8,190千円 (直接経費: 6,300千円、間接経費: 1,890千円)
2005年度: 7,150千円 (直接経費: 5,500千円、間接経費: 1,650千円)
2004年度: 9,230千円 (直接経費: 7,100千円、間接経費: 2,130千円)
2003年度: 28,730千円 (直接経費: 22,100千円、間接経費: 6,630千円)
2002年度: 39,000千円 (直接経費: 30,000千円、間接経費: 9,000千円)
キーワードデジタルセマンテックモデル / プロセスモデル / 製品モデル / 加工フィーチャモデル / CNC加工プロセスモデル / 品質検証モデル / 5軸フライス加工 / メッシュモデル / デジタルセマンテック製品モデル / XML / EXPRESS / Functional Model / コミュニケーション / 工具情報モデル / 加工プロセスモデル / デザインパターン / コミュニケーションシステム
研究概要

製品設計から製造において,CAD,CAE,CAM,PDM,CNC工作機械などといったデジタルツールへの依存が増加している.コンカレントエンジニアリングにおいては,異なるデジタルツール間での製品データのデータ交換が頻繁に行われることが必要となっている.設計と製造の有機的な結合と,トレーサブルな製造システムを実現するためには,どのコンピュータ実装にも依存しない形での情報の意味を表現することによる相互運用可能なデジタルツールの実現が必要不可欠である.相互運用性は,製品モデルデータにおいて,対象をすべての協調製造環境において正確に表現することができるかどうかということである.今日では,幾何表現データ,公差データなどすべてのエンジニアリングデータがすべての製品開発段階を通して使用されているわけではない.相互運用におけるエラーは,デジタルツールにおいて製品モデルデータを使用不可能にするエラーである.協調製造環境において相互運用におけるエラーが発生した場合,エラーの原因を探すのは,コストと時間の観点から大変な作業となる.さらに,製品のライフサイクルの間中,情報を表現するデータの品質を保つ必要がある.本研究では,これらの要求を満たすモデルとして,デジタルセマンティック製品モデルを提案した.
デジタルセマンティック製品モデルは,製品モデルの品質保証法,人間(設計者や作業者)が理解できコンピュータが処理可能なセマンティックモデル,製品のライフサイクルをサポートするための機能モデルから構成している.本研究では,ISO規格に準拠した製品モデルに対する,製品データ品質検査法の提案,すべてのライフサイクル作業をサポートするための機能モデルの開発,データの意味を表現するために,ISO規格でありオブジェクト指向言語であるEXPRESS言語を用いたデータモデル化と,XMLを用いたデータの表現を行った.

報告書

(6件)
  • 2006 実績報告書   研究成果報告書概要
  • 2005 実績報告書
  • 2004 実績報告書
  • 2003 実績報告書
  • 2002 実績報告書
  • 研究成果

    (224件)

すべて 2006 2005 2004 2003 2002 その他

すべて 雑誌論文 (169件) 産業財産権 (3件) 文献書誌 (52件)

  • [雑誌論文] STEP-based quality diagnosis of shape data of product models for collaborative e-engineering2006

    • 著者名/発表者名
      Fumiki Tanaka
    • 雑誌名

      Computers in Industry 57

      ページ: 245-260

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Analysis of ISO 6983 NC Data Based on ISO 14649 CNC Data Model2006

    • 著者名/発表者名
      Hiroshi YAMADA
    • 雑誌名

      Proc. PROLAMAT2006

      ページ: 109-114

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Developing software platform for Checking Quality of shape data of STEP product model for CAD/CAM environment2006

    • 著者名/発表者名
      Fumiki Tanaka
    • 雑誌名

      Proc. of 16th International Conference on Flexible Automation and Intelligent Manufacturing

      ページ: 823-830

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Modeling and implementation of Digital Semantic Models for 5-axis machining application2006

    • 著者名/発表者名
      Fumiki Tanaka
    • 雑誌名

      Proc. SICE-ICCAS2006

      ページ: 2233-2238

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Analysis of ISO 6983 NC Data Based on ISO 14649 CNC Data Model2006

    • 著者名/発表者名
      Hiroshi YAMADA
    • 雑誌名

      Proc. SICE-ICCAS2006

      ページ: 4986-4991

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Machining Feature-Driven 5-Axis CNC Machine Tools machining application2006

    • 著者名/発表者名
      Satoshi Mitsui
    • 雑誌名

      Proceedings of the 11th International Conference on Precision Engineering (ICPE) JSPE Publication Series No. 5

      ページ: 169-174

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Machining Surface Analysis for 5-axis Machine Tools2006

    • 著者名/発表者名
      Makoto Yamada
    • 雑誌名

      Proceedings of the 11th International Conference on Precision Engineering (ICPE) JSPE Publication Series No. 5

      ページ: 323-324

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Mesh Simplification and Adaptive LOD for Finite Element mesh Generation2006

    • 著者名/発表者名
      Hiroaki Date
    • 雑誌名

      International Journal of CAD/CAM 6(1)

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Segmentation of Scanned Mesh into Analytic Surfaces Based on Robust Curvature Estimation and Region Growing2006

    • 著者名/発表者名
      Tomohiro Mizoguchi
    • 雑誌名

      Lecture Notes in Computer Science, Springer Berlin/Heidelberg 4077

      ページ: 644-654

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Flexible Feature and Resolution Control of Triangular Meshes2006

    • 著者名/発表者名
      Hiroaki Date
    • 雑誌名

      Proceedings of VIIP2006

      ページ: 319-324

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] A Multiresolution Mesh Processing System for Efficient CAE2006

    • 著者名/発表者名
      Hiroaki Dat
    • 雑誌名

      Proc. SICE-ICCAS2006

      ページ: 5550-5554

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Componentwise Program Construction : Requirements and Solutions2006

    • 著者名/発表者名
      Kiyoshi Akama
    • 雑誌名

      WSEAS Transactions on Information Science and Applications 7(3)

      ページ: 1214-1221

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Formalization of the Equivalent Transformation Computation Model2006

    • 著者名/発表者名
      Kiyoshi Akama
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics 10(3)

      ページ: 245-259

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Semantic Query Optimization : Correctness and Control 、Pongtawat Chippimolchai2006

    • 著者名/発表者名
      Kiyoshi Akama
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics 10(3)

      ページ: 270-280

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model2006

    • 著者名/発表者名
      Hidekatsu Koike
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics 10(3)

      ページ: 302-311

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Converting Constraint Handling Rules into Equivalent Transformation Rules2006

    • 著者名/発表者名
      Yoshinori Shigeta
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics 10(3)

      ページ: 339-348

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Program Generation in the Equivalent Transformation Computation Model Using the squeeze Method2006

    • 著者名/発表者名
      Kiyoshi Akama
    • 雑誌名

      Perspectives of System Informatics, Six International Andrei Ershov Memorial Conference

      ページ: 17-24

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Generation of Correct Parallel Programs Based on Specializer Generation Transformations2006

    • 著者名/発表者名
      Kiyoshi Akama
    • 雑誌名

      Proceedings of the 7th international conference on intelligent technologies (InTech'06)

      ページ: 90-99

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Logical Structures on Specialization Systems : Formalization and Satisfiability-Preserving Transformation2006

    • 著者名/発表者名
      Kiyoshi Akama
    • 雑誌名

      Proceedings of the 7th international conference on intelligent technologies (InTech'06)

      ページ: 100-109

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] STEP-based quality diagnosis of shape data of product models for collaborative e-engineering、2006

    • 著者名/発表者名
      Fumiki Tanaka, Takeshi Kishinami
    • 雑誌名

      Computers in Industry 57

      ページ: 245-260

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Analysis of ISO 6983 NC Data Based on ISO 14649 CNC Data Model2006

    • 著者名/発表者名
      Hiroshi YAMADA, Fumiki TANAKA, Masahiko ONOSATO
    • 雑誌名

      Proc. PROLAMAT2006

      ページ: 109-114

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Developing software platform for Checking Quality of shape data of STEP product model for CAD/CAM environment2006

    • 著者名/発表者名
      Fumiki Tanaka, Takeo Iwata, Kiyoshi Akama, Takeshi Kishinami, Masahiko Onosato
    • 雑誌名

      Proc. of 16th International Conference on Flexible Automation and Intelligent Manufacturing

      ページ: 823-830

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 実績報告書 2006 研究成果報告書概要
  • [雑誌論文] Modeling and implementation of Digital Semantic Models for 5-axis machining application2006

    • 著者名/発表者名
      Fumiki Tanaka, Masahiko Onosato, Takeshi Kishinami, Kiyoshi Akama, Makoto Yamada, Tsukasa Kondo, Satoshi Mistui
    • 雑誌名

      Proc. SICE-ICCAS2006

      ページ: 2233-2238

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 実績報告書 2006 研究成果報告書概要
  • [雑誌論文] Analysis of ISO 6983 NC Data Based on ISO 14649 CNC Data Model2006

    • 著者名/発表者名
      Hiroshi YAMADA, Fumiki TANAKA, Masahiko ONOSATO
    • 雑誌名

      Proc. SICE-ICCAS2006

      ページ: 4986-4991

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Machining Feature-Driven 5-Axis CNC Machine Tools、2006

    • 著者名/発表者名
      Satoshi Mitsui, Fumiki Tanaka, Takeshi Kishinami
    • 雑誌名

      Proceedings of the 11th International Conference on Precision Engineering (ICPE) JSPE Publication Series No.5

      ページ: 169-174

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Machining Surface Analysis for 5-axis Machine Tools2006

    • 著者名/発表者名
      Makoto Yamada, Fumiki Tanaka, Tsukasa Kondo, Takeshi Kishinami
    • 雑誌名

      Proceedings of the 11th International Conference on Precision Engineering (ICPE) JSPE Publication Series No.5

      ページ: 323-324

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Mesh Simplification and Adaptive LOD for Finite Element mesh Generation2006

    • 著者名/発表者名
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami, Ichiro Nishigaki
    • 雑誌名

      International Journal of CAD/CAM 6(1)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 実績報告書 2006 研究成果報告書概要
  • [雑誌論文] Segmentation of Scanned Mesh into Analytic Surfaces Based on Robust Curvature Estimation and Region Growing Lecture Notes in Computer Science2006

    • 著者名/発表者名
      Tomohiro Mizoguchi, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • 雑誌名

      Springer Berlin/Heidelberg 4077/2006

      ページ: 44-654

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Flexible Feature and Resolution Control of Triangular Meshes2006

    • 著者名/発表者名
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami, Ichiro Nishigaki
    • 雑誌名

      Proceedings of VIIP2006

      ページ: 319-324

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 実績報告書 2006 研究成果報告書概要
  • [雑誌論文] A Multiresolution Mesh Processing System for Efficient CAE2006

    • 著者名/発表者名
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami, Ichiro Nishigaki
    • 雑誌名

      Proc. SICE-ICCAS2006

      ページ: 5550-5554

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 実績報告書 2006 研究成果報告書概要
  • [雑誌論文] Componentwise Program Construction : Requirements and Solutions2006

    • 著者名/発表者名
      Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
    • 雑誌名

      WSEAS Transactions on Information Science and Applications Issue 7, Volume 3

      ページ: 1214-1221

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Formalization of the Equivalent Transformation Computation Model2006

    • 著者名/発表者名
      Kiyoshi Akama, Ekawit Nantajeewarawat
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics vol.10, No.3

      ページ: 245-259

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Semantic Query Optimization : Correctness and Control2006

    • 著者名/発表者名
      P ongtawat Chippimolchai, Kiyoshi Akama, Vilas Wuwongse
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics vol.10, No.3

      ページ: 270-280

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model2006

    • 著者名/発表者名
      Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics vol.10, No.3

      ページ: 302-311

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Converting Constraint Handling Rules into Equivalent Transformation Rules2006

    • 著者名/発表者名
      Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics vol.10, No.3

      ページ: 339-348

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Program Generation in the Equivalent Transformation Computation Model Using the squeeze Method2006

    • 著者名/発表者名
      Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
    • 雑誌名

      Perspectives of System Informatics, Six International Andrei Ershov Memorial Conference

      ページ: 17-24

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 実績報告書 2006 研究成果報告書概要
  • [雑誌論文] Generation of Correct Parallel Programs Based on Specializer Generation Transformations2006

    • 著者名/発表者名
      Kiyoshi Akama, Ekawit Nantajeewarawat
    • 雑誌名

      Proceedings of the 7th international conference on intelligent technologies (InTech'06)

      ページ: 90-99

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 実績報告書 2006 研究成果報告書概要
  • [雑誌論文] Logical Structures on Specialization Systems : Formalization and Satisfiability-Preserving Transformation2006

    • 著者名/発表者名
      Kiyoshi Akama, Ekawit Nantajeewarawat, Hidemi Ogasawara
    • 雑誌名

      Proceedings of the 7th international conference on intelligent technologies (InTech'06)

      ページ: 100-109

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 実績報告書 2006 研究成果報告書概要
  • [雑誌論文] STEP-based quality diagnosis of shape data of product models for collaborative e-engineering2006

    • 著者名/発表者名
      Fumiki Tanaka, Takeshi Kishinami
    • 雑誌名

      Computers in Industry 57

      ページ: 245-260

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Analysis of lSO 6983 NC Data Based on lSO 14649 CNC Data Model2006

    • 著者名/発表者名
      Hiroshi YAMADA, Fumiki TANAKA, Masahiko ONOSATO
    • 雑誌名

      Proc. PROLAMAT2006

      ページ: 109-114

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Analysis of lSO 6983 NC Data Based on lSO 14649 CNC Data Model2006

    • 著者名/発表者名
      Hiroshi YAMADA, Fumiki TANAKA, Masahiko ONOSATO
    • 雑誌名

      Proc. SICE-ICCAS2006

      ページ: 4986-4991

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Machining Feature-Driven 5-Axis CNC Machine Tools machining application2006

    • 著者名/発表者名
      Satoshi Mitsui, Fumiki Tanaka, Takeshi Kishinami
    • 雑誌名

      Proceedings of the llth International Conference on Precision Engineering (ICPE) JSPE Publication Series No.5

      ページ: 169-174

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Machining Surface Analysis for 5-axis Machine Tools2006

    • 著者名/発表者名
      Makoto Yamada, Fumiki Tanaka, Tsukasa Kondo, Takeshi Kishinami
    • 雑誌名

      Proceedings of the llth International Conference on Precision Engineerig (ICPE) JSPE Publication Series No.5

      ページ: 323-324

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Segmentation of Scanned Mesh into Analytic Surfaces Based on Robust Curvature Estimation and Region Growing2006

    • 著者名/発表者名
      Tomohiro Mizoguchi, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • 雑誌名

      Lecture Notes in Computer Science, Springer Berlin/Heidelberg 4077

      ページ: 644-654

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] A Parametric Deformation Method for Mesh Models based on Barycentric Coordinates2006

    • 著者名/発表者名
      Gaku Mizuno, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • 雑誌名

      Proceedings of VIIP2006

      ページ: 359-364

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Parametric Deformation of Mesh Models for Efficient CAE2006

    • 著者名/発表者名
      Gaku Mizuno, Hiroaki Date, Satoshi Kanai, Masahiko Onosato
    • 雑誌名

      Proc. SICE-ICCAS2006

      ページ: 5562-5566

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Componentwise Program Construction : Requirements and Solutions2006

    • 著者名/発表者名
      Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
    • 雑誌名

      WSEAS Transactions on Information Science and Applications 7(3)

      ページ: 1214-1221

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Formalization of the Equivalent Transformation Computation Model2006

    • 著者名/発表者名
      Kiyoshi Akama, Ekawit Nantajeewarawat
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics 10(3)

      ページ: 245-259

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Semantic Query Optimization : Correctness and Control、Pongtawat Chippimolchai2006

    • 著者名/発表者名
      Kiyoshi Akama, Vilas Wuwongse
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics 10(3)

      ページ: 270-280

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model2006

    • 著者名/発表者名
      Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics 10(3)

      ページ: 302-311

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Converting Constraint Handling Rules into Equivalent Transformation Rules2006

    • 著者名/発表者名
      Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics 10(3)

      ページ: 339-348

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Using an Automatic Marking System for Programming Courses2006

    • 著者名/発表者名
      Hidekatsu Koike, Kiyoshi Akama, Hiko Morita, Katsunori Miura
    • 雑誌名

      Proc. of ACM Special Interest Group on University and College Computing Services (SIGUCCS)

      ページ: 173-177

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Data transformation from ISO6983 data to ISO14649 to obtain machining knowledge using EXPRESS-X2005

    • 著者名/発表者名
      Fumiki Tanaka
    • 雑誌名

      Proceedings of the 3rd International Conference on Leading Edge Manufacturing in 21st Century

      ページ: 415-421

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] 工具姿勢評価に基づく金型曲面加工法の研究2005

    • 著者名/発表者名
      近藤 司
    • 雑誌名

      型技術 Vol.20 No.15

      ページ: 12-13

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] 5軸NC工作機械による主軸傾斜曲面加工法に関する研究(第2報)-複数回の傾きを必要とする形状に対する割り出し角列決定方法-2005

    • 著者名/発表者名
      山田 誠
    • 雑誌名

      精密工学会誌 71(12)

      ページ: 1613-1617

    • NAID

      110002545875

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Data transformation from ISO6983 data to ISO14649 to obtain machining knowledge using EXPRESS-X2005

    • 著者名/発表者名
      Fumiki Tanaka
    • 雑誌名

      Proceedings of the ProSTEP Science Days 2005

      ページ: 188-197

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] 細分化と簡略化に基づく三角形メッシュの品質改善2005

    • 著者名/発表者名
      伊達宏昭
    • 雑誌名

      精密工学会誌 71(2)

      ページ: 223-227

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Feature Edge Extraction from Mesh Model based on Wide Range Normal Evaluation and Modified Watershed Method2005

    • 著者名/発表者名
      Tomohiro Mizoguchi
    • 雑誌名

      Proc. of 1st International Conference on Geometric Modeling, Visualization and Graphics

      ページ: 1610-1613

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Textured Shape Design using Detail extraction based on Mesh Smoothing and Flattening2005

    • 著者名/発表者名
      Hiroaki Date
    • 雑誌名

      Proc. of 6th International Conference on Computer-aided Industrial Design and Conceptual Design

      ページ: 146-151

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] A New Bilateral Mesh Smoothing Method by Recognizing Features2005

    • 著者名/発表者名
      Takafumi Shimizu
    • 雑誌名

      Proc. Ninth International Conference on Computer Aided Design and Computer Graphics

      ページ: 281-286

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Mesh Simplification and Adaptive LOD for Finite Element Mesh Generation2005

    • 著者名/発表者名
      Hiroaki Date
    • 雑誌名

      Proc. Ninth International Conference on Computer Aided Design and Computer Graphics

      ページ: 339-344

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain2005

    • 著者名/発表者名
      Hiroshi Mabuchi
    • 雑誌名

      Proc. of the 2005 International Conference on Artif icial Intelligence Vol. II

      ページ: 627-633

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] A Programming Language Interpreter System Based on Equivalent Transformation2005

    • 著者名/発表者名
      Hidekatsu Koike
    • 雑誌名

      2005 IEEE 9th International Conference on Intelligent Engineering Systems

      ページ: 283-288

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Parallel Processing Method based on Equivalent Transformation2005

    • 著者名/発表者名
      Hidemi Ogasawara
    • 雑誌名

      2005 IEEE 9th International Conference on Intelligent Engineering Systems

      ページ: 111-116

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] The Squeeze Method - A Method for Program Construction in the EquivalentTransformation Computation Model2005

    • 著者名/発表者名
      Kiyoshi Akama
    • 雑誌名

      Proceedings of the 6th international conference on intelligent technologies

      ページ: 198-206

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] State-Transition Computation Models and Program Correctness Thereon2005

    • 著者名/発表者名
      Ekawit Nantajeewarawat
    • 雑誌名

      Proceedings of the 6th international conference on intelligent technologies

      ページ: 277-286

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Transformation of Equivalent transformation Rules into Correct ConcurrentPrograms2005

    • 著者名/発表者名
      Hidemi Ogasawara
    • 雑誌名

      Proceedings of the 6th international conference on intelligent technologies

      ページ: 34-42

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] A Robust and Accurate Fitting Algorithm of a loop Subdivision Surface for a Complex and High-Density Point Cloud2005

    • 著者名/発表者名
      Yui Endo
    • 雑誌名

      Proceedings of Design Engineering Workshop2005/5th Japan-Korea CAD.CAM Workshop

      ページ: 156-163

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] MULTIRESOLUTION FINITE ELEMENT MESH GENERATION2005

    • 著者名/発表者名
      Hiroaki Date
    • 雑誌名

      Proceedings of DETC' 04 ASME 2004 Design Engineering Technical Conferences and Computers and Information in Engineering Conference DETC2004-57663

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Data transformation from IS06983 data to IS014649 to obtain machining knowledge using EXPRESS-X2005

    • 著者名/発表者名
      Fumiki Tanaka, Hiroshi Yamada, Masahiko Onosato, Takeshi Kishinami
    • 雑誌名

      Proceedings of the 3rd International Conference on Leading Edge Manufacturing in 21st Century

      ページ: 415-421

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] A Study of Mould and Die Machining based on Tool Attitude Evaluation2005

    • 著者名/発表者名
      Tsukasa Kondo, Makoto Yamada, Fumiki Tanaka, Takeshi Kishinami
    • 雑誌名

      Die and Mould Technology Vol.20 No.15

      ページ: 12-13

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Sculpture Surface Machining by Automatically Indexing Tilted Tool Axis on 5-axis Machine tools (2nd report) -Determination Method of Sequence of Indexing Angles for Complex Machining Shape-2005

    • 著者名/発表者名
      Makoto Yamada, Fumiki Tanaka, Tsukasa Kondo, Takeshi Kishinami, Akio Kohmura
    • 雑誌名

      Journal of the Japan Society for Precision Engineering 71(12)

      ページ: 1613-1617

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Data transformation from IS06983 data to IS014649 to obtain machining knowledge using EXPRESS-X2005

    • 著者名/発表者名
      Fumiki Tanaka, Masahiko Onosato, Takeshi Kishinami, Satoshi Mistui
    • 雑誌名

      Proceedings of the ProSTEP Science Days 2005

      ページ: 188-197

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Mesh Quality Improvement based on Subdivision and simplification2005

    • 著者名/発表者名
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami, Ichiro Nishigaki, Takayuki Dohi
    • 雑誌名

      Journal of the Japan Society for Precision Engineering 71(2)

      ページ: 223-227

    • NAID

      10014382617

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Feature Edge Extraction from Mesh Model based on Wide Range Normal Evaluation and Modified Watershed Method2005

    • 著者名/発表者名
      Tomohiro Mizoguchi, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • 雑誌名

      Proc. of 1st International Conference on Geometric Modeling, Visualization and Graphics

      ページ: 1610-1613

    • NAID

      110002973611

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Textured Shape Design using Detail extraction based on Mesh Smoothing and Flattening2005

    • 著者名/発表者名
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • 雑誌名

      Proc. of 6th International Conference on Computer-aided Industrial Design and Conceptual Design

      ページ: 146-151

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] A New Bilateral Mesh Smoothing Method by Recognizing Features2005

    • 著者名/発表者名
      Takafumi Shimizu, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • 雑誌名

      Proc. Ninth International Conference on Computer Aided Design and Computer Graphics

      ページ: 281-286

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Mesh Simplification and Adaptive LOD for Finite Element Mesh Generation2005

    • 著者名/発表者名
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami, Ichiro Nishigaki
    • 雑誌名

      Proc. Ninth International Conference on Computer Aided Design and Computer Graphics

      ページ: 339-344

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain2005

    • 著者名/発表者名
      Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa
    • 雑誌名

      Proc. of the 2005 International Conference on Artificial Intelligence Vol.II

      ページ: 627-633

    • NAID

      110003276974

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] A Programming Language Interpreter System Based on Equivalen Transformation2005

    • 著者名/発表者名
      Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
    • 雑誌名

      2005 IEEE 9th International Conference on Intelligent Engineering Systems

      ページ: 283-288

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Parallel Processing Method based on Equivalent Transformation2005

    • 著者名/発表者名
      Hidemi Ogasawara, Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi, Yusuke Saito
    • 雑誌名

      2005 IEEE 9th International Conference on Intelligent Engineering Systems

      ページ: 111-116

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要 2005 実績報告書
  • [雑誌論文] The Squeeze Method-A Method for Program Construction in the Equivalent Transformation Computation Model2005

    • 著者名/発表者名
      Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike, Katsunori Miura
    • 雑誌名

      Proceedings of the 6th international conference on intelligent technologies

      ページ: 198-206

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] State-Transition Computation Models and Program Correctness Thereon2005

    • 著者名/発表者名
      Ekawit Nantajeewarawat, Kiyoshi Akama
    • 雑誌名

      Proceedings of the 6th international conference on intelligent technologies

      ページ: 277-286

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要 2005 実績報告書
  • [雑誌論文] Transformation of Equivalent transformation Rules into Correct Concurrent Programs2005

    • 著者名/発表者名
      Hidemi Ogasawara, Kiyoshi Akama
    • 雑誌名

      Proceedings of the 6th international conference on intelligent technologies

      ページ: 34-42

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要 2005 実績報告書
  • [雑誌論文] Data transformation from ISO6983 data to ISO14649 to obtain machining knowledge using EXPRESS-X2005

    • 著者名/発表者名
      Fumiki Tanaka, Hiroshi Yamada, Masahiko Onosato, Takeshi Kishinami
    • 雑誌名

      Proceedings of the 3rd International Conference on Leading Edge Manufacturing in 21st Century

      ページ: 415-421

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] 工具姿勢評価に基づく金型曲面加工法の研究2005

    • 著者名/発表者名
      近藤 司, 山田 誠, 田中文基, 岸浪建史
    • 雑誌名

      型技術 Vol.20 No.15

      ページ: 12-13

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] 5軸NC工作機械による主軸傾斜曲面加工法に関する研究(第2報) -複数回の傾きを必要とする形状に対する割り出し角列決定方法-2005

    • 著者名/発表者名
      山田 誠, 田中文基, 近藤 司, 岸浪建史, 香村章夫
    • 雑誌名

      精密工学会誌 71(12)

      ページ: 1613-1617

    • NAID

      110002545875

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Data transformation from ISO6983 data to ISO14649 to obtain machining knowledge using EXPRESS-X2005

    • 著者名/発表者名
      Fumiki Tanaka, Masahiko Onosato, Takeshi Kishinami, Satoshi Mistui
    • 雑誌名

      Proceedings of the ProSTEP Science Days 2005

      ページ: 188-197

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] 細分化と簡略化に基づく三角形メッシュの品質改善2005

    • 著者名/発表者名
      伊達宏昭, 金井 理, 岸浪建史, 西垣一朗, 土肥高幸
    • 雑誌名

      精密工学会誌 71(2)

      ページ: 223-227

    • NAID

      10014382617

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Feature Edge Extraction from Mesh Model based on Wide Range Normal Evaluation and Modified Watershed Method2005

    • 著者名/発表者名
      Tomohiro Mizoguchi, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • 雑誌名

      Proc.of 1st International Conference on Geometric Modeling, Visualization and Graphics

      ページ: 1610-1613

    • NAID

      110002973611

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Textured Shape Design using Detail extraction based on Mesh Smoothing and Flattening2005

    • 著者名/発表者名
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • 雑誌名

      Proc.of 6th International Conference on Computer-aided Industrial Design and Conceptual Design

      ページ: 146-151

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] A New Bilateral Mesh Smoothing Method by Recognizing Features,2005

    • 著者名/発表者名
      Takafumi Shimizu, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • 雑誌名

      Proc.Ninth International Conference on Computer Aided Design and Computer Graphics

      ページ: 281-286

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Mesh Simplification and Adaptive LOD for Finite Element Mesh Generation2005

    • 著者名/発表者名
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami, Ichiro Nishigaki
    • 雑誌名

      Proc.Ninth International Conference on Computer Aided Design and Computer Graphics

      ページ: 339-344

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain2005

    • 著者名/発表者名
      Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa
    • 雑誌名

      Proc.of the 2005 International Conference on Artificial Intelligence Vol.II

      ページ: 627-633

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] A Programming Language Interpreter System Based on Equivalent Transformation2005

    • 著者名/発表者名
      Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
    • 雑誌名

      2005 IEEE 9th International Conference on Intelligent Engineering Systems

      ページ: 283-288

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] The Squeeze Method - A Method for Program Construction in the Equivalent Transformation Computation Model2005

    • 著者名/発表者名
      Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike, Katsunori Miura
    • 雑誌名

      Proceedings of the 6th international conference on intelligent technologies

      ページ: 198-206

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] A Robust and Accurate Fitting Algorithm of a loop Subdivision Surface for a Complex and High-Density Point Cloud2005

    • 著者名/発表者名
      Yui Endo
    • 雑誌名

      Proceedings of Design Engineering Workshop2005/5th Japan-Korea CAD CAM Workshop

      ページ: 156-163

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] 細分化と簡略化に基づく三角形メッシュの品質改善2005

    • 著者名/発表者名
      伊達 宏昭
    • 雑誌名

      精密工学会誌 71(2)

      ページ: 223-227

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] 分散制御システムの動的挙動モデリングのためのオブジェクト指向デザインパターンに関する研究2005

    • 著者名/発表者名
      戸村 豊明
    • 雑誌名

      精密工学会誌 71(3)(掲載待ち)

      ページ: 379-384

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] STEP based product model data quality diagnosis for collaborative e-engineering2004

    • 著者名/発表者名
      Tanaka, F
    • 雑誌名

      Proc. of the 5th Int. Symposium on Tools and Mechods of Competitive Engineering

      ページ: 945-952

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Software System for Sculpture Surface Machining Based on 3+2 Axis Control High Speed Machining on a 5-axis Machining Center2004

    • 著者名/発表者名
      Tanaka, F
    • 雑誌名

      Proc. of 2004 Japan-USA Symposium on Flexible Autom ation

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Mesh Quality Improvement based on Mesh Subdivision and Simplification2004

    • 著者名/発表者名
      Hiroaki Date
    • 雑誌名

      Proceedings of 3D Modelling 2004

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要 2004 実績報告書
  • [雑誌論文] A Robust, Accurate and Flexible Fitting Algorithms of Subdivision Surface for Point Cloud in Industrial Design Use2004

    • 著者名/発表者名
      Yui Endo
    • 雑誌名

      Proceedings of 3D Modelling 2004

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要 2004 実績報告書
  • [雑誌論文] Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems2004

    • 著者名/発表者名
      Hidemi Ogasawara
    • 雑誌名

      Proceedings of the international conference on artificial intelligence Volume I (ISBN : 1-932415-31-9) 、 CSREA Press、 (June 2004)

      ページ: 306-309

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model2004

    • 著者名/発表者名
      Itaru Takarajima
    • 雑誌名

      Proceedings of the international conference on algorithmic mathematics and computer science (ISBN : 1-932415-34-3)、 CSREA Press、(June 2004)

      ページ: 391-395

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] A Comparison of Constraint Handling Rules with Equivalent Transformation Rules2004

    • 著者名/発表者名
      Yoshinori Shigeta
    • 雑誌名

      Proceedings of the international conference on algorithmic mathematics and computer science (ISBN : 1-932415-34-3)、CSREA Press、(June 2004)

      ページ: 345-351

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Formalization Of The Equivalent Transformation Computations Model2004

    • 著者名/発表者名
      Kiyoshi Akama
    • 雑誌名

      Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04) 、Houston USA (2004. 12)

      ページ: 190-199

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Semantic Query Optimization : Correctness And Control2004

    • 著者名/発表者名
      Pongtawat Chippimolchai
    • 雑誌名

      Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04) 、Houston USA (2004. 12)

      ページ: 200-209

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Dynamic Interaction Of Syntactic And Semantic Analyses Based On The Equivalent Transformation Computation Model2004

    • 著者名/発表者名
      Hidekatsu Koike
    • 雑誌名

      Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04) 、 Houston USA (2004. 12)

      ページ: 210-217

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Converting Constraint Handling Rules Into Equivalent Transformation Rules2004

    • 著者名/発表者名
      Yoshinori Shigeta
    • 雑誌名

      Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04)、Houston USA (2004. 12)

      ページ: 218-225

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Design of Termination for Non-Deterministic Programs Based On the Equivalent Transformation Computation Model2004

    • 著者名/発表者名
      Itaru Takarajima
    • 雑誌名

      Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04)、Houston USA (2004. 12)

      ページ: 226-235

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] 5軸NC工作機械による主軸傾斜曲面加工法に関する研究(第1報)-高能率金型加工のための最適割出し角自動決定方法-2004

    • 著者名/発表者名
      山田誠
    • 雑誌名

      精密工学会誌 70 (1)

      ページ: 65-69

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] STEP based product model data quality diagnosis for collaborative e-engineering2004

    • 著者名/発表者名
      Fumiki Tanaka, Yousuke Nogaya, Takeshi Kishinami
    • 雑誌名

      Proc. of the 5th Int. Symposium on Tools and Methods of Competitive Engineering

      ページ: 945-952

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Software System for Sculpture Surface Machining Based on 3+2 Axis Control High Speed Machining on a 5-axis Machining Center2004

    • 著者名/発表者名
      Fumiki Tanaka, Makoto Yamada, Tsukasa Kondo, Takeshi Kishinami, Akio Kohmura
    • 雑誌名

      Proc. of 2004 Japan-USA Symposium on Flexible Automation JL006

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] A Robust and Accurate Fitting Algorithm of a loop Subdivision Surface for a Complex and High-Density Point Cloud2004

    • 著者名/発表者名
      Yui Endo, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • 雑誌名

      Proceedings of Design Engineering Workshop2005/5th Japan-Korea CAD.CAM Workshop

      ページ: 156-163

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Mesh Quality Improvement based on Mesh Subdivision and Simplification2004

    • 著者名/発表者名
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • 雑誌名

      Proceedings of 3D Modelling 2004

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] MULTIRESOLUTION FINITE ELEMENT MESH GENERATION2004

    • 著者名/発表者名
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami, Ichiro Nishigaki, Takayuki Dohi
    • 雑誌名

      Proceedings of DETC' 04 ASME 2004 Design Engineering Technical Conferences and Computers and Information in Engineering Conference DETC2004-57663

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] A Robust, Accurate and Flexible Fitting Algorithms of Subdivision Surface for Point Cloud in Industrial Design Use2004

    • 著者名/発表者名
      Yui Endo, Satoshi Kanai, Takeshi Kishinami
    • 雑誌名

      Proceedings of 3D Modelling 2004

    • NAID

      130004655549

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems2004

    • 著者名/発表者名
      Hidemi Ogasawara, Kiyoshi Akama, Yoshinori Shigeta
    • 雑誌名

      Proceedings of the international conference on artificial intelligence Volume I (ISBN:1-932415-31-9), CSREA Press

      ページ: 306-309

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model2004

    • 著者名/発表者名
      Itaru Takarajima, Kiyoshi Akama, Yoshinori Shigeta, Ikumi Imani
    • 雑誌名

      Proceedings of the international conference on algorithmic mathematics and computer science (ISBN: 1-932415-34-3), CSREA Press

      ページ: 391-395

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] A Comparison of Constraint Handling Rules with Equivalent Transformation Rules2004

    • 著者名/発表者名
      Yoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa
    • 雑誌名

      Proceedings of the international conference on algorithmic mathematics and computer science (ISBN: 1-932415-34-3), CSREA Press

      ページ: 345-351

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Formalization Of The Equivalent Transformation Computations Model2004

    • 著者名/発表者名
      Kiyoshi Akama, Ekawit Nantajeewarawat
    • 雑誌名

      Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04), Houston USA (2004.12)

      ページ: 190-199

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Semantic Query Optimization : Correctness And Control2004

    • 著者名/発表者名
      Pongtawat Chippimolchai, Kiyoshi Akama, Vilas Wuwongse
    • 雑誌名

      Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04), Houston USA (2004.12)

      ページ: 200-209

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Dynamic Interaction Of Syntactic And Semantic Analyses Based On The Equivalent Transformation Computation Model2004

    • 著者名/発表者名
      Hidekatsu Koike, Kiyoshi Akama, Ernest Boyd, Hiroshi Mabuchi
    • 雑誌名

      Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04), Houston USA (2004.12)

      ページ: 210-217

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Converting Constraint Handling Rules Into Equivalent Transformation Rules2004

    • 著者名/発表者名
      Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
    • 雑誌名

      Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04), Houston USA (2004.12)

      ページ: 218-225

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Design of Termination for Non-Deterministic Programs Based On the Equivalent Transformation Computation Model2004

    • 著者名/発表者名
      Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiroshi Mabuchi
    • 雑誌名

      Proc. of the Fifth International Conference on Intelligent Technologies (InTech'04), Houston USA (2004.12)

      ページ: 226-235

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Sculpture Surface Machining by Automatically Indexing Tilted Tool Axis on 5-axis Machine tools (1st report) Automatic Determination Method of Optimum Indexing Angle for High Efficiency of Mold and Die Machining-2004

    • 著者名/発表者名
      Makoto Yamada, Fumiki Tanaka, Tsukasa Kondo, Takeshi Kishinami, Akio Kohmura
    • 雑誌名

      Journal of the Japan Society for Precision Engineering 70(1)

      ページ: 65-69

    • NAID

      130002102988

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems2004

    • 著者名/発表者名
      Hidemi Ogasawara
    • 雑誌名

      Proceedings of the international conference on artificial intelligence

      ページ: 306-309

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model2004

    • 著者名/発表者名
      Itaru Takarajima
    • 雑誌名

      Proceedings of the international conference on algorithmic mathematics

      ページ: 391-395

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] A Comparison of Constraint Handling Rules with Equivalent Transformation2004

    • 著者名/発表者名
      Yoshinori Shigeta
    • 雑誌名

      Proceedings of the international conference on algorithmic mathematics

      ページ: 345-351

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] Formalization Of The Equivalent Transformation Computations Model2004

    • 著者名/発表者名
      Kiyoshi Akama
    • 雑誌名

      Proc.of the Fifth International Conference on Intelligent Technologies

      ページ: 190-199

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] Semantic Query Optimization : Correctness And Control2004

    • 著者名/発表者名
      Pongtawat Chippimolchai
    • 雑誌名

      Proc.of the Fifth International Conference on Intelligent Technologies

      ページ: 200-209

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] Dynamic Interaction Of Syntactic And Semantic Analyses Based On The Equivalent Transformation Computation Model2004

    • 著者名/発表者名
      Hidekatsu Koike
    • 雑誌名

      Proc.of the Fifth International Conference on Intelligent Technologies

      ページ: 210-217

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] Converting Constraint Handling Rules Into Equivalent Transformation Rules2004

    • 著者名/発表者名
      Yoshinori Shigeta
    • 雑誌名

      Proc.of the Fifth International Conference on Intelligent Technologies

      ページ: 218-225

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] Design of Termination for Non-Deterministic Programs Based On the Equivalent Transformation Computation Model2004

    • 著者名/発表者名
      Itaru Takarajima
    • 雑誌名

      Proc.of the Fifth International Conference on Intelligent Technologies

      ページ: 226-235

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] STEP based product model data quality diagnosis for collaborative e-engineering2004

    • 著者名/発表者名
      Tanaka, F
    • 雑誌名

      Proc.of the 5th Int.Symposium on Tools and Mechods of Competitive Engineering

      ページ: 945-952

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] Software System for Sculpture Surface Machining Based on 3+2 Axis Control High Speed Machining on a 5-axis Machining Center2004

    • 著者名/発表者名
      Tanaka, F
    • 雑誌名

      Proc.of 2004 Japan-USA Symposium on Flexible Automation

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] A Prototyping System for Surface Textured Shapes using Triangular Mesh Modeling and Stereo Lithography2004

    • 著者名/発表者名
      Hiroaki Date
    • 雑誌名

      Proceedings of 2004 Japan-USA Symposium on Flexible Automation

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] Multi-disciplinary Distributed Simulation for Designing IT Devices by Integrating off-the-shelf CAX Systems based on HLA2004

    • 著者名/発表者名
      Satoshi Kanai
    • 雑誌名

      Proceedings of Fall 2004 Simulation Interoperability Workshop

      ページ: 315-325

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] A Parallel Discrete Event Simulation Methodology of Distributed Control Systems using Object-oriented Protocol Model and Time Warp Mechanism2004

    • 著者名/発表者名
      Toyoaki Tomura
    • 雑誌名

      Proceedings of 2004 Japan-USA Symposium on Flexible Automation

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] 2値画像に基づく輪郭加工用工具経路生成の研究2004

    • 著者名/発表者名
      近藤 司
    • 雑誌名

      函館工業高等専門学校紀要 No.39

      ページ: 1-7

    • NAID

      110004632909

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] High Efficiency Sculpture Surface Machining by Automatically Indexing Tilted Tool Axis on 5-axis Machining Center in Mold and Die Machining2003

    • 著者名/発表者名
      M.Yamada
    • 雑誌名

      Proceedings of the 13th International Conference on Flexible Automation & Intelligent Manufacturing (FAIM2003)

      ページ: 504-512

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Removal Volume Modeling for Process Planning Based on Form-Shaping Function2003

    • 著者名/発表者名
      F.Tanaka
    • 雑誌名

      Proceedings of the Second International Conference on Leading Edge Manufacturing in 21st Century

      ページ: 747-752

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] パラメタライゼーションを用いた表面詳細合成形状の三角形メッシュモデリング2003

    • 著者名/発表者名
      伊達宏昭
    • 雑誌名

      精密工学会誌 69(4)

      ページ: 581-585

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm2003

    • 著者名/発表者名
      Takahiko Ishikawa
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics (JACI3) 7・3

      ページ: 260-267

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Program Generation and Computation in the ET Paradigm2003

    • 著者名/発表者名
      Kiyoshi Akama
    • 雑誌名

      Proceedings of The International Symposium on Computational Intelligence and Intelligent Informatics 2003 (ISCIII'03)

      ページ: 276-282

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Solving Constraint Satisfaction Problems based on Equivalent Transformation2003

    • 著者名/発表者名
      Mabuchi, H.
    • 雑誌名

      Proc. of the 4th International Conference on Intelligent Technologies (InTech 2003)

      ページ: 152-160

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Correct Computation with Multi-Head Rules in the Equivalent Transformation Framework2003

    • 著者名/発表者名
      Pongtawat Chippimolchai
    • 雑誌名

      Proc. of the 4th International Conference on Intelligent Technologies (InTech 2003)

      ページ: 531-538

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Data sharing among Multiple Product Ontologies2003

    • 著者名/発表者名
      Takeshi Kishinami
    • 雑誌名

      Proceedings of The 1st International Workshop on Ubiquitous Knowledge Network Environment

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation2003

    • 著者名/発表者名
      Mabuchi, H
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics (JACI3) 7・3

      ページ: 306-314

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] XML declarative description with negative constraints2003

    • 著者名/発表者名
      Chutiporn Anutariya
    • 雑誌名

      INTERNATIONAL WORKSHOP ON SEMANTIC WEB FOUNDATIONS AND APPLICATION TECHNOLOGIES

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] XML Declarative Description with First-Order Logical Constraints2003

    • 著者名/発表者名
      C.Anutariya
    • 雑誌名

      Workshop on "Knowledge Grid and Grid Intelligence"

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Constraint Solving Specializations for Equality on an Interval-Variable Domain2003

    • 著者名/発表者名
      Mabuchi, H
    • 雑誌名

      Proc. of the 4th International Conference on Intelligent Technologies (InTech 2003)

      ページ: 161-170

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Formalization of Computation Models in View of Program Synthesis2003

    • 著者名/発表者名
      Akama, K
    • 雑誌名

      Proc. of the 4th International Conference on Intelligent Technologies (InTech 2003)

      ページ: 507-516

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] High Efficiency Sculpture Surface Machining by Automatically Indexing Tilted Tool Axis on 5-axis Machining Center in Mold and Die Machining2003

    • 著者名/発表者名
      M.Yamada, F.Tanaka, T.Kishinami, A.Kohmura
    • 雑誌名

      Proceedings of the 13th International Conference on Flexible Automation & Intelligent Manufacturing (FAIM2003)

      ページ: 504-512

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Removal Volume Modeling for Process Planning Based on Form-Shaping Function2003

    • 著者名/発表者名
      F.Tanaka, M.Takinami, T.Kishinami
    • 雑誌名

      Proceedings of the Second International Conference on Leading Edge Manufacturing in 21st Century

      ページ: 747-752

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Triangular Mesh Modeling of Surface-detail-integrated shape using parameterization2003

    • 著者名/発表者名
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • 雑誌名

      Journal of the Japan Society for Precision Engineering 69(4)

      ページ: 581-585

    • NAID

      110001373537

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm2003

    • 著者名/発表者名
      Takahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics (JACI3) 7(3)

      ページ: 260-267

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Program Generation and Computation in the ET Paradigm2003

    • 著者名/発表者名
      Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
    • 雑誌名

      Proceedings of The International Symposium on Computational Intelligence and Intelligent Informatics 2003 (ISCIII'03)

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Solving Constraint Satisfaction Problems based on Equivalent Transformation2003

    • 著者名/発表者名
      Mabuchi, H., Akama, K., Koike, H., Ishikawa, T.
    • 雑誌名

      Proc. of the 4th International Conference on Intelligent Technologies (InTech 2003)

      ページ: 152-160

    • NAID

      110003276839

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Correct Computation with Multi-Head Rules in the Equivalent Transformation Framework2003

    • 著者名/発表者名
      Pongtawat Chippimolchai, Kiyoshi Akama, Takahiko Ishikawa, Vilas Wuwongse
    • 雑誌名

      Proc. of the 4th International Conference on Intelligent Technologies (InTech 2003)

      ページ: 531-538

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Data sharing among Multiple Product Ontologies2003

    • 著者名/発表者名
      Takeshi Kishinami, Fumiki Tanaka, Akihito Kobayashi
    • 雑誌名

      Proceedings of The 1st International Workshop on Ubiquitous Knowledge Network Environment

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation2003

    • 著者名/発表者名
      Mabuchi, H, Akama, K., Ishikawa, T., Koike, H
    • 雑誌名

      Journal of Advanced Computational Intelligence and Intelligent Informatics (JACI3) 7(3)

      ページ: 306-314

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] XML declarative description with negative constraints2003

    • 著者名/発表者名
      Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama
    • 雑誌名

      INTERNATIONAL WORKSHOP ON SEMANTIC WEB FOUNDATIONS AND APPLICATION TECHNOLOGIES

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] XML Declarative Description with First-Order Logical Constraints2003

    • 著者名/発表者名
      C.Anutariya, V.Wuwongse, K.Akama
    • 雑誌名

      Workshop on "Knowledge Grid and Grid Intelligence"

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Constraint Solving Specializations for Equality on an Interval-Variable Domain2003

    • 著者名/発表者名
      Mabuchi, H, Akama, K., Koike, H., Ishikawa, T.
    • 雑誌名

      Proc. of the 4th International Conference on Intelligent Technologies (InTech 2003)

      ページ: 161-170

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] Formalization of Computation Models in View of Program Synthesis2003

    • 著者名/発表者名
      Akama, K., Nantajeewarawat, E.
    • 雑誌名

      Proc. of the 4th International Conference on Intelligent Technologies (InTech 2003)

      ページ: 507-516

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] EXPRESS/XMLによる切削工具情報モデルとTool Life Cycle Support2002

    • 著者名/発表者名
      三井 聡
    • 雑誌名

      精密工学会誌 68(10)

      ページ: 1321-1325

    • NAID

      110001373298

    • 説明
      「研究成果報告書概要(和文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [雑誌論文] EXPRESS/XML based Cutting Tool Information Model and Tool Life Cycle Support2002

    • 著者名/発表者名
      Satoshi Mitsui, Fumiki Tanaka, Takeshi Kishinami
    • 雑誌名

      Journal of the Japan Society for Precision Engineering 68(10)

      ページ: 507-516

    • NAID

      110001373298

    • 説明
      「研究成果報告書概要(欧文)」より
    • 関連する報告書
      2006 研究成果報告書概要
  • [産業財産権] ポインティングデバイス2004

    • 発明者名
      渋川 勝久, 岸浪 建史
    • 権利者名
      北海道大学
    • 産業財産権番号
      2004-194341
    • 出願年月日
      2004
    • 取得年月日
      2004-06-30
    • 関連する報告書
      2004 実績報告書
  • [産業財産権] 有限要素解析用の四面体メッシュの生成方法及びその方法を用いた有限要素解析システム2004

    • 発明者名
      金井 理, 伊達 宏昭, 岸浪 建史
    • 権利者名
      北海道大学
    • 産業財産権番号
      2004-252933
    • 出願年月日
      2004
    • 取得年月日
      2004-08-31
    • 関連する報告書
      2004 実績報告書
  • [産業財産権] 四面体メッシュ生成方法及びプログラム2004

    • 発明者名
      金井 理, 伊達 宏昭, 岸浪 建史
    • 権利者名
      北海道大学
    • 産業財産権番号
      2004-252444
    • 出願年月日
      2004
    • 取得年月日
      2004-08-31
    • 関連する報告書
      2004 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] Takeshi Kishinami: "Data sharing among Multiple Product Ontologies"Proceedings of The 1st International Workshop on Ubiquitous Knowledge Network Environment. (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 徳永仁史: "要求動作の変化に対するリー代数に基づく機構構造の再構成"精密工学会誌. 69(10). 1401-1405 (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 山田誠: "5軸NC工作機械による主軸傾斜曲面加工法に関する研究(第1報)-高能率金型加工のための最適割出し角自動決定方法-"精密工学会誌. 70(1). 65-69 (2004)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 戸村豊明: "分散制御システムの静的構造モデリングのためのオブジェクト指向デザインパターンに関する研究"精密工学会誌. 69(6). 815-819 (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 伊達宏昭: "パラメタライゼーションを用いた表面詳細合成形状の三角形メッシュモデリング"精密工学会誌. 69(4). 581-585 (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] S.Kanai: "HLA/RTI-based Scalable Distributed Virtual Prototyping Environment for Embedded System Design"Proc.Of Virtual Concept 2003, France. 100-107 (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] T.Inoue: "Geometry-behavior Collaborative digital Prototyping for IT Products based on STEP and Web3D"Proc.Of Virtual Concept 2003, France. 388-393 (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 金井 理: "メッシュモデルのLOD制御技術とそのデジタルエンジニアリングへの応用(解説)"精密工学会誌. 69(4). 83-86 (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] Chutiporn Anutariya: "XML declarative description with negative constraints"INTERNATIONAL WORKSHOP ON SEMANTIC WEB FOUNDATIONS AND APPLICATION TECHNOLOGIES. (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] C.Anutariya: "XML Declarative Description with First-Order Logical Constraints"Workshop on "Knowledge Grid and Grid Intelligence". (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] Mabuchi, H.: "Solving Constraint Satisfaction Problems based on Equivalent Transformation"Proc.of the 4th International Conference on Intelligent Technologies (InTech 2003). 152-160 (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 山崎知之: "鏡面反射スポット画像にもとづく形状計測法"型技術. 18(3). 62-63 (2003)

    • 関連する報告書
      2003 実績報告書
  • [文献書誌] 斉藤 亮, 田中文基, 金井 理, 岸浪建史: "ISO19100地理空間データのSemanticWebでの利用に関する研究"2002情報科学技術フォーラム講演論文集. D-4. (2002)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 斉藤 亮, 田中文基, 金井 理, 岸浪建史: "SemanticWebを利用した地理情報検索システムに関する研究"地理情報システム学会講演論文集. 11. 293-296 (2002)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 金井 理, 田中文基, 岸浪建史, 斉藤 亮, 斎藤誠一, 飯田浩二, 谷 宏, 館野教一: "ISO19100に基づくWeb-XML型空間データベースの開発"地理情報システム学会講演論文集. 11. 275-278 (2002)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 伊達宏昭, 金井 理, 岸浪建史: "表面詳細合成形状の意匠設計用メッシュモデリング"第20回設計シンポジウム講演論文集, 東京7月. 32-38 (2002)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 徳永仁史, 松木則夫, 今村 聡, 田中文基, 岸浪建史: "リー代数に基づく作業動作表現と拘束還元法による運動機構の概念設計"精密工学会誌. 68(4). 608-613 (2002)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 田中文基, 外山尚介, 岸浪建史: "加工プロセスのモデル化に基づく工程設計に関する研究(第2報)-フライス加工に対するOperating StepとWorking Toolの幾何学的モデル-"精密工学会誌. 68(5). 665-670 (2002)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 三井 聡, 田中文基, 岸浪建史: "EXPRESS/XMLによる切削工具情報モデルとTool Life Cycle Support"精密工学会誌. 68(10). 1321-1325 (2002)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] K.Akama, C.Anutariya, V.Wuwongse, E.Nantajeewarawat: "Query Formulation and Evaluation of XML Databases"WITASI 2002. 273-288 (2002)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 馬淵浩司, 赤間 清, 繁田良則, 小池英勝: "区間変数に関する包含制約の等価変換"人工知能学会誌. 17(1). 23-31 (2002)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 小池英勝, 赤間 清, 馬淵浩司, 岡田浩一, 繁田良則: "負制約の等価変換による間題解決の基礎理論"人工知能学会誌. 17(4). 354-362 (2002)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 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)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 赤間清, 小池英勝, 石川貴彦: "プログラムの部品としての等価変換ルール"電子情報通信学会技術研究報告. SS98-33. 19-24 (2002)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 三高康嗣, 赤間 清, 小池英勝: "等価変換プログラミング言語ETとそのコンパイラ"電子情報通信学会技術研究報告. SS98-33. 13-18 (2002)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 三井 聡, 田中文基, 岸浪建史: "ネットワーク環境下における工具管理支援システムと工具データベース"日本機械学会生産システム部門講演会. 43-44 (2002)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 三井 聡, 田中文基, 岸浪建史: "生産設計から見たEXPRESS/XML工具データベースの検証"精密工学会秋季大会学術講演会. 25 (2002)

    • 関連する報告書
      2002 実績報告書
  • [文献書誌] 山崎知之, 近藤 司, 金子俊一, 五十嵐悟: "鏡面反射スポット画像に基づく形状計測装置の開発"型技術. 17(8). 104-105 (2002)

    • 関連する報告書
      2002 実績報告書

URL: 

公開日: 2002-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi