• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Research on Digital semantic product model for product life cycle support

Research Project

Project/Area Number 14102032
Research Category

Grant-in-Aid for Scientific Research (S)

Allocation TypeSingle-year Grants
Research Field 情報システム学(含情報図書館学)
Research InstitutionHOKKAIDO UNIVERSITY

Principal Investigator

KISHINAMI Takeshi  Hokkaido University, Vice President, 理事(副学長) (30001796)

Co-Investigator(Kenkyū-buntansha) YAMADA Makoto  Hakodate NCT., Asso. Prof., 助教授 (20210479)
TANAKA Fumiki  Hokkaido Univ., Grad.School of Info., Asso. Prof., 大学院情報科学研究科, 助教授 (30207138)
AKAMA Kiyoshi  Hokkaido Univ., Information Initiative Center, Prof., 情報基盤センター, 教授 (50126265)
MISTUI Satoshi  Asahikawa NCT., Prof., 教授 (00219669)
KONDO Tsukasa  Hakodate NCT., Asso. Prof., 助教授 (40292049)
金井 理  北海道大学, 大学院・情報科学研究科, 助教授 (90194878)
Project Period (FY) 2002 – 2006
Project Status Completed (Fiscal Year 2006)
Budget Amount *help
¥92,300,000 (Direct Cost: ¥71,000,000、Indirect Cost: ¥21,300,000)
Fiscal Year 2006: ¥8,190,000 (Direct Cost: ¥6,300,000、Indirect Cost: ¥1,890,000)
Fiscal Year 2005: ¥7,150,000 (Direct Cost: ¥5,500,000、Indirect Cost: ¥1,650,000)
Fiscal Year 2004: ¥9,230,000 (Direct Cost: ¥7,100,000、Indirect Cost: ¥2,130,000)
Fiscal Year 2003: ¥28,730,000 (Direct Cost: ¥22,100,000、Indirect Cost: ¥6,630,000)
Fiscal Year 2002: ¥39,000,000 (Direct Cost: ¥30,000,000、Indirect Cost: ¥9,000,000)
KeywordsDigital Semantic Model / Process Model / Product Model / Machining Feature Model / CNC machining process model / Data Quality Assurance Model / 5-axis Milling / Mesh Modeling / デジタルセマンテック製品モデル / XML / EXPRESS / Functional Model / コミュニケーション / 工具情報モデル / 加工プロセスモデル / デザインパターン / コミュニケーションシステム
Research Abstract

The manufacturing industry is increasingly dependent on digital tools, such as CAD, CAE, CAM, product data management (PDM) systems CNC machines to design and manufacture products. Moreover, the movement toward concurrent engineering drives the need for frequent transformation of the product data between different digital tools. In order to realize the articulate link between design and manufacturing and the traceable manufacturing system, it is necessary to realize interoperable digital tools which represent the semantics of information independently of any implementations. Interoperability characterizes the ability of product model data to accurately represent objects in all collaborative engineering environments. Today, all engineering data, such as geometry representation data, tolerance data, etc., are not used throughout product development processes. An interoperability error makes product model data unusable when applying digital tools. If an interoperability error arises in co … More llaborative engineering applications, tracking the error back to its source is expensive (if not impossible) and requires a significant amount of time. Moreover, the quality of data that represent information should be ensured during the product life cycle. In this research, the Digital Semantic Model that fulfills the above requirements was proposed.
The digital semantic product model consisted of the quality assurance of the product model data, the semantic modeling for humans (such as designer and worker), understandable and computer readable data, and the functional modeling for supporting the product life cycle. In order to ensure the product model data, the Product Data Quality Checking method for the ISO Standard product model was proposed. In order to support all of the product lifecycle activities, the functional model for each activity was developed based on the related ISO Standard. In order to represent the semantics of the data, the EXPRESS language for data modeling and XML for representing the data, was adopted. Less

Report

(6 results)
  • 2006 Annual Research Report   Final Research Report Summary
  • 2005 Annual Research Report
  • 2004 Annual Research Report
  • 2003 Annual Research Report
  • 2002 Annual Research Report
  • Research Products

    (224 results)

All 2006 2005 2004 2003 2002 Other

All Journal Article (169 results) Patent(Industrial Property Rights) (3 results) Publications (52 results)

  • [Journal Article] STEP-based quality diagnosis of shape data of product models for collaborative e-engineering2006

    • Author(s)
      Fumiki Tanaka
    • Journal Title

      Computers in Industry 57

      Pages: 245-260

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Analysis of ISO 6983 NC Data Based on ISO 14649 CNC Data Model2006

    • Author(s)
      Hiroshi YAMADA
    • Journal Title

      Proc. PROLAMAT2006

      Pages: 109-114

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Developing software platform for Checking Quality of shape data of STEP product model for CAD/CAM environment2006

    • Author(s)
      Fumiki Tanaka
    • Journal Title

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

      Pages: 823-830

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Modeling and implementation of Digital Semantic Models for 5-axis machining application2006

    • Author(s)
      Fumiki Tanaka
    • Journal Title

      Proc. SICE-ICCAS2006

      Pages: 2233-2238

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Analysis of ISO 6983 NC Data Based on ISO 14649 CNC Data Model2006

    • Author(s)
      Hiroshi YAMADA
    • Journal Title

      Proc. SICE-ICCAS2006

      Pages: 4986-4991

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Machining Feature-Driven 5-Axis CNC Machine Tools machining application2006

    • Author(s)
      Satoshi Mitsui
    • Journal Title

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

      Pages: 169-174

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Machining Surface Analysis for 5-axis Machine Tools2006

    • Author(s)
      Makoto Yamada
    • Journal Title

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

      Pages: 323-324

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Mesh Simplification and Adaptive LOD for Finite Element mesh Generation2006

    • Author(s)
      Hiroaki Date
    • Journal Title

      International Journal of CAD/CAM 6(1)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Segmentation of Scanned Mesh into Analytic Surfaces Based on Robust Curvature Estimation and Region Growing2006

    • Author(s)
      Tomohiro Mizoguchi
    • Journal Title

      Lecture Notes in Computer Science, Springer Berlin/Heidelberg 4077

      Pages: 644-654

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Flexible Feature and Resolution Control of Triangular Meshes2006

    • Author(s)
      Hiroaki Date
    • Journal Title

      Proceedings of VIIP2006

      Pages: 319-324

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] A Multiresolution Mesh Processing System for Efficient CAE2006

    • Author(s)
      Hiroaki Dat
    • Journal Title

      Proc. SICE-ICCAS2006

      Pages: 5550-5554

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Componentwise Program Construction : Requirements and Solutions2006

    • Author(s)
      Kiyoshi Akama
    • Journal Title

      WSEAS Transactions on Information Science and Applications 7(3)

      Pages: 1214-1221

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Formalization of the Equivalent Transformation Computation Model2006

    • Author(s)
      Kiyoshi Akama
    • Journal Title

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

      Pages: 245-259

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Semantic Query Optimization : Correctness and Control 、Pongtawat Chippimolchai2006

    • Author(s)
      Kiyoshi Akama
    • Journal Title

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

      Pages: 270-280

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model2006

    • Author(s)
      Hidekatsu Koike
    • Journal Title

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

      Pages: 302-311

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Converting Constraint Handling Rules into Equivalent Transformation Rules2006

    • Author(s)
      Yoshinori Shigeta
    • Journal Title

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

      Pages: 339-348

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the squeeze Method2006

    • Author(s)
      Kiyoshi Akama
    • Journal Title

      Perspectives of System Informatics, Six International Andrei Ershov Memorial Conference

      Pages: 17-24

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Generation of Correct Parallel Programs Based on Specializer Generation Transformations2006

    • Author(s)
      Kiyoshi Akama
    • Journal Title

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

      Pages: 90-99

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Logical Structures on Specialization Systems : Formalization and Satisfiability-Preserving Transformation2006

    • Author(s)
      Kiyoshi Akama
    • Journal Title

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

      Pages: 100-109

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] STEP-based quality diagnosis of shape data of product models for collaborative e-engineering、2006

    • Author(s)
      Fumiki Tanaka, Takeshi Kishinami
    • Journal Title

      Computers in Industry 57

      Pages: 245-260

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Analysis of ISO 6983 NC Data Based on ISO 14649 CNC Data Model2006

    • Author(s)
      Hiroshi YAMADA, Fumiki TANAKA, Masahiko ONOSATO
    • Journal Title

      Proc. PROLAMAT2006

      Pages: 109-114

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Developing software platform for Checking Quality of shape data of STEP product model for CAD/CAM environment2006

    • Author(s)
      Fumiki Tanaka, Takeo Iwata, Kiyoshi Akama, Takeshi Kishinami, Masahiko Onosato
    • Journal Title

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

      Pages: 823-830

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Annual Research Report 2006 Final Research Report Summary
  • [Journal Article] Modeling and implementation of Digital Semantic Models for 5-axis machining application2006

    • Author(s)
      Fumiki Tanaka, Masahiko Onosato, Takeshi Kishinami, Kiyoshi Akama, Makoto Yamada, Tsukasa Kondo, Satoshi Mistui
    • Journal Title

      Proc. SICE-ICCAS2006

      Pages: 2233-2238

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Annual Research Report 2006 Final Research Report Summary
  • [Journal Article] Analysis of ISO 6983 NC Data Based on ISO 14649 CNC Data Model2006

    • Author(s)
      Hiroshi YAMADA, Fumiki TANAKA, Masahiko ONOSATO
    • Journal Title

      Proc. SICE-ICCAS2006

      Pages: 4986-4991

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Machining Feature-Driven 5-Axis CNC Machine Tools、2006

    • Author(s)
      Satoshi Mitsui, Fumiki Tanaka, Takeshi Kishinami
    • Journal Title

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

      Pages: 169-174

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Machining Surface Analysis for 5-axis Machine Tools2006

    • Author(s)
      Makoto Yamada, Fumiki Tanaka, Tsukasa Kondo, Takeshi Kishinami
    • Journal Title

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

      Pages: 323-324

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Mesh Simplification and Adaptive LOD for Finite Element mesh Generation2006

    • Author(s)
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami, Ichiro Nishigaki
    • Journal Title

      International Journal of CAD/CAM 6(1)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Annual Research Report 2006 Final Research Report Summary
  • [Journal Article] Segmentation of Scanned Mesh into Analytic Surfaces Based on Robust Curvature Estimation and Region Growing Lecture Notes in Computer Science2006

    • Author(s)
      Tomohiro Mizoguchi, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • Journal Title

      Springer Berlin/Heidelberg 4077/2006

      Pages: 44-654

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Flexible Feature and Resolution Control of Triangular Meshes2006

    • Author(s)
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami, Ichiro Nishigaki
    • Journal Title

      Proceedings of VIIP2006

      Pages: 319-324

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Annual Research Report 2006 Final Research Report Summary
  • [Journal Article] A Multiresolution Mesh Processing System for Efficient CAE2006

    • Author(s)
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami, Ichiro Nishigaki
    • Journal Title

      Proc. SICE-ICCAS2006

      Pages: 5550-5554

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Annual Research Report 2006 Final Research Report Summary
  • [Journal Article] Componentwise Program Construction : Requirements and Solutions2006

    • Author(s)
      Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
    • Journal Title

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

      Pages: 1214-1221

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Formalization of the Equivalent Transformation Computation Model2006

    • Author(s)
      Kiyoshi Akama, Ekawit Nantajeewarawat
    • Journal Title

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

      Pages: 245-259

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Semantic Query Optimization : Correctness and Control2006

    • Author(s)
      P ongtawat Chippimolchai, Kiyoshi Akama, Vilas Wuwongse
    • Journal Title

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

      Pages: 270-280

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model2006

    • Author(s)
      Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
    • Journal Title

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

      Pages: 302-311

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Converting Constraint Handling Rules into Equivalent Transformation Rules2006

    • Author(s)
      Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
    • Journal Title

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

      Pages: 339-348

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Program Generation in the Equivalent Transformation Computation Model Using the squeeze Method2006

    • Author(s)
      Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
    • Journal Title

      Perspectives of System Informatics, Six International Andrei Ershov Memorial Conference

      Pages: 17-24

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Annual Research Report 2006 Final Research Report Summary
  • [Journal Article] Generation of Correct Parallel Programs Based on Specializer Generation Transformations2006

    • Author(s)
      Kiyoshi Akama, Ekawit Nantajeewarawat
    • Journal Title

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

      Pages: 90-99

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Annual Research Report 2006 Final Research Report Summary
  • [Journal Article] Logical Structures on Specialization Systems : Formalization and Satisfiability-Preserving Transformation2006

    • Author(s)
      Kiyoshi Akama, Ekawit Nantajeewarawat, Hidemi Ogasawara
    • Journal Title

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

      Pages: 100-109

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Annual Research Report 2006 Final Research Report Summary
  • [Journal Article] STEP-based quality diagnosis of shape data of product models for collaborative e-engineering2006

    • Author(s)
      Fumiki Tanaka, Takeshi Kishinami
    • Journal Title

      Computers in Industry 57

      Pages: 245-260

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Analysis of lSO 6983 NC Data Based on lSO 14649 CNC Data Model2006

    • Author(s)
      Hiroshi YAMADA, Fumiki TANAKA, Masahiko ONOSATO
    • Journal Title

      Proc. PROLAMAT2006

      Pages: 109-114

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Analysis of lSO 6983 NC Data Based on lSO 14649 CNC Data Model2006

    • Author(s)
      Hiroshi YAMADA, Fumiki TANAKA, Masahiko ONOSATO
    • Journal Title

      Proc. SICE-ICCAS2006

      Pages: 4986-4991

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Machining Feature-Driven 5-Axis CNC Machine Tools machining application2006

    • Author(s)
      Satoshi Mitsui, Fumiki Tanaka, Takeshi Kishinami
    • Journal Title

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

      Pages: 169-174

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Machining Surface Analysis for 5-axis Machine Tools2006

    • Author(s)
      Makoto Yamada, Fumiki Tanaka, Tsukasa Kondo, Takeshi Kishinami
    • Journal Title

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

      Pages: 323-324

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Segmentation of Scanned Mesh into Analytic Surfaces Based on Robust Curvature Estimation and Region Growing2006

    • Author(s)
      Tomohiro Mizoguchi, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • Journal Title

      Lecture Notes in Computer Science, Springer Berlin/Heidelberg 4077

      Pages: 644-654

    • Related Report
      2006 Annual Research Report
  • [Journal Article] A Parametric Deformation Method for Mesh Models based on Barycentric Coordinates2006

    • Author(s)
      Gaku Mizuno, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • Journal Title

      Proceedings of VIIP2006

      Pages: 359-364

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Parametric Deformation of Mesh Models for Efficient CAE2006

    • Author(s)
      Gaku Mizuno, Hiroaki Date, Satoshi Kanai, Masahiko Onosato
    • Journal Title

      Proc. SICE-ICCAS2006

      Pages: 5562-5566

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Componentwise Program Construction : Requirements and Solutions2006

    • Author(s)
      Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike
    • Journal Title

      WSEAS Transactions on Information Science and Applications 7(3)

      Pages: 1214-1221

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Formalization of the Equivalent Transformation Computation Model2006

    • Author(s)
      Kiyoshi Akama, Ekawit Nantajeewarawat
    • Journal Title

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

      Pages: 245-259

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Semantic Query Optimization : Correctness and Control、Pongtawat Chippimolchai2006

    • Author(s)
      Kiyoshi Akama, Vilas Wuwongse
    • Journal Title

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

      Pages: 270-280

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Dynamic Interaction of Syntactic and Semantic Analyses Based on the Equivalent Transformation Computation Model2006

    • Author(s)
      Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
    • Journal Title

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

      Pages: 302-311

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Converting Constraint Handling Rules into Equivalent Transformation Rules2006

    • Author(s)
      Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
    • Journal Title

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

      Pages: 339-348

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Using an Automatic Marking System for Programming Courses2006

    • Author(s)
      Hidekatsu Koike, Kiyoshi Akama, Hiko Morita, Katsunori Miura
    • Journal Title

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

      Pages: 173-177

    • Related Report
      2006 Annual Research Report
  • [Journal Article] Data transformation from ISO6983 data to ISO14649 to obtain machining knowledge using EXPRESS-X2005

    • Author(s)
      Fumiki Tanaka
    • Journal Title

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

      Pages: 415-421

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] 工具姿勢評価に基づく金型曲面加工法の研究2005

    • Author(s)
      近藤 司
    • Journal Title

      型技術 Vol.20 No.15

      Pages: 12-13

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

    • Author(s)
      山田 誠
    • Journal Title

      精密工学会誌 71(12)

      Pages: 1613-1617

    • NAID

      110002545875

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Data transformation from ISO6983 data to ISO14649 to obtain machining knowledge using EXPRESS-X2005

    • Author(s)
      Fumiki Tanaka
    • Journal Title

      Proceedings of the ProSTEP Science Days 2005

      Pages: 188-197

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] 細分化と簡略化に基づく三角形メッシュの品質改善2005

    • Author(s)
      伊達宏昭
    • Journal Title

      精密工学会誌 71(2)

      Pages: 223-227

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Feature Edge Extraction from Mesh Model based on Wide Range Normal Evaluation and Modified Watershed Method2005

    • Author(s)
      Tomohiro Mizoguchi
    • Journal Title

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

      Pages: 1610-1613

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Textured Shape Design using Detail extraction based on Mesh Smoothing and Flattening2005

    • Author(s)
      Hiroaki Date
    • Journal Title

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

      Pages: 146-151

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] A New Bilateral Mesh Smoothing Method by Recognizing Features2005

    • Author(s)
      Takafumi Shimizu
    • Journal Title

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

      Pages: 281-286

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Mesh Simplification and Adaptive LOD for Finite Element Mesh Generation2005

    • Author(s)
      Hiroaki Date
    • Journal Title

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

      Pages: 339-344

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain2005

    • Author(s)
      Hiroshi Mabuchi
    • Journal Title

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

      Pages: 627-633

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] A Programming Language Interpreter System Based on Equivalent Transformation2005

    • Author(s)
      Hidekatsu Koike
    • Journal Title

      2005 IEEE 9th International Conference on Intelligent Engineering Systems

      Pages: 283-288

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Parallel Processing Method based on Equivalent Transformation2005

    • Author(s)
      Hidemi Ogasawara
    • Journal Title

      2005 IEEE 9th International Conference on Intelligent Engineering Systems

      Pages: 111-116

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] The Squeeze Method - A Method for Program Construction in the EquivalentTransformation Computation Model2005

    • Author(s)
      Kiyoshi Akama
    • Journal Title

      Proceedings of the 6th international conference on intelligent technologies

      Pages: 198-206

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] State-Transition Computation Models and Program Correctness Thereon2005

    • Author(s)
      Ekawit Nantajeewarawat
    • Journal Title

      Proceedings of the 6th international conference on intelligent technologies

      Pages: 277-286

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Transformation of Equivalent transformation Rules into Correct ConcurrentPrograms2005

    • Author(s)
      Hidemi Ogasawara
    • Journal Title

      Proceedings of the 6th international conference on intelligent technologies

      Pages: 34-42

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] A Robust and Accurate Fitting Algorithm of a loop Subdivision Surface for a Complex and High-Density Point Cloud2005

    • Author(s)
      Yui Endo
    • Journal Title

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

      Pages: 156-163

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] MULTIRESOLUTION FINITE ELEMENT MESH GENERATION2005

    • Author(s)
      Hiroaki Date
    • Journal Title

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Data transformation from IS06983 data to IS014649 to obtain machining knowledge using EXPRESS-X2005

    • Author(s)
      Fumiki Tanaka, Hiroshi Yamada, Masahiko Onosato, Takeshi Kishinami
    • Journal Title

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

      Pages: 415-421

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] A Study of Mould and Die Machining based on Tool Attitude Evaluation2005

    • Author(s)
      Tsukasa Kondo, Makoto Yamada, Fumiki Tanaka, Takeshi Kishinami
    • Journal Title

      Die and Mould Technology Vol.20 No.15

      Pages: 12-13

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] 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

    • Author(s)
      Makoto Yamada, Fumiki Tanaka, Tsukasa Kondo, Takeshi Kishinami, Akio Kohmura
    • Journal Title

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

      Pages: 1613-1617

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Data transformation from IS06983 data to IS014649 to obtain machining knowledge using EXPRESS-X2005

    • Author(s)
      Fumiki Tanaka, Masahiko Onosato, Takeshi Kishinami, Satoshi Mistui
    • Journal Title

      Proceedings of the ProSTEP Science Days 2005

      Pages: 188-197

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Mesh Quality Improvement based on Subdivision and simplification2005

    • Author(s)
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami, Ichiro Nishigaki, Takayuki Dohi
    • Journal Title

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

      Pages: 223-227

    • NAID

      10014382617

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Feature Edge Extraction from Mesh Model based on Wide Range Normal Evaluation and Modified Watershed Method2005

    • Author(s)
      Tomohiro Mizoguchi, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • Journal Title

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

      Pages: 1610-1613

    • NAID

      110002973611

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Textured Shape Design using Detail extraction based on Mesh Smoothing and Flattening2005

    • Author(s)
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • Journal Title

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

      Pages: 146-151

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] A New Bilateral Mesh Smoothing Method by Recognizing Features2005

    • Author(s)
      Takafumi Shimizu, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • Journal Title

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

      Pages: 281-286

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Mesh Simplification and Adaptive LOD for Finite Element Mesh Generation2005

    • Author(s)
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami, Ichiro Nishigaki
    • Journal Title

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

      Pages: 339-344

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Correctness Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain2005

    • Author(s)
      Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa
    • Journal Title

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

      Pages: 627-633

    • NAID

      110003276974

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] A Programming Language Interpreter System Based on Equivalen Transformation2005

    • Author(s)
      Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
    • Journal Title

      2005 IEEE 9th International Conference on Intelligent Engineering Systems

      Pages: 283-288

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Parallel Processing Method based on Equivalent Transformation2005

    • Author(s)
      Hidemi Ogasawara, Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi, Yusuke Saito
    • Journal Title

      2005 IEEE 9th International Conference on Intelligent Engineering Systems

      Pages: 111-116

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary 2005 Annual Research Report
  • [Journal Article] The Squeeze Method-A Method for Program Construction in the Equivalent Transformation Computation Model2005

    • Author(s)
      Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike, Katsunori Miura
    • Journal Title

      Proceedings of the 6th international conference on intelligent technologies

      Pages: 198-206

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] State-Transition Computation Models and Program Correctness Thereon2005

    • Author(s)
      Ekawit Nantajeewarawat, Kiyoshi Akama
    • Journal Title

      Proceedings of the 6th international conference on intelligent technologies

      Pages: 277-286

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary 2005 Annual Research Report
  • [Journal Article] Transformation of Equivalent transformation Rules into Correct Concurrent Programs2005

    • Author(s)
      Hidemi Ogasawara, Kiyoshi Akama
    • Journal Title

      Proceedings of the 6th international conference on intelligent technologies

      Pages: 34-42

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary 2005 Annual Research Report
  • [Journal Article] Data transformation from ISO6983 data to ISO14649 to obtain machining knowledge using EXPRESS-X2005

    • Author(s)
      Fumiki Tanaka, Hiroshi Yamada, Masahiko Onosato, Takeshi Kishinami
    • Journal Title

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

      Pages: 415-421

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 工具姿勢評価に基づく金型曲面加工法の研究2005

    • Author(s)
      近藤 司, 山田 誠, 田中文基, 岸浪建史
    • Journal Title

      型技術 Vol.20 No.15

      Pages: 12-13

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 5軸NC工作機械による主軸傾斜曲面加工法に関する研究(第2報) -複数回の傾きを必要とする形状に対する割り出し角列決定方法-2005

    • Author(s)
      山田 誠, 田中文基, 近藤 司, 岸浪建史, 香村章夫
    • Journal Title

      精密工学会誌 71(12)

      Pages: 1613-1617

    • NAID

      110002545875

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Data transformation from ISO6983 data to ISO14649 to obtain machining knowledge using EXPRESS-X2005

    • Author(s)
      Fumiki Tanaka, Masahiko Onosato, Takeshi Kishinami, Satoshi Mistui
    • Journal Title

      Proceedings of the ProSTEP Science Days 2005

      Pages: 188-197

    • Related Report
      2005 Annual Research Report
  • [Journal Article] 細分化と簡略化に基づく三角形メッシュの品質改善2005

    • Author(s)
      伊達宏昭, 金井 理, 岸浪建史, 西垣一朗, 土肥高幸
    • Journal Title

      精密工学会誌 71(2)

      Pages: 223-227

    • NAID

      10014382617

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Feature Edge Extraction from Mesh Model based on Wide Range Normal Evaluation and Modified Watershed Method2005

    • Author(s)
      Tomohiro Mizoguchi, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • Journal Title

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

      Pages: 1610-1613

    • NAID

      110002973611

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Textured Shape Design using Detail extraction based on Mesh Smoothing and Flattening2005

    • Author(s)
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • Journal Title

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

      Pages: 146-151

    • Related Report
      2005 Annual Research Report
  • [Journal Article] A New Bilateral Mesh Smoothing Method by Recognizing Features,2005

    • Author(s)
      Takafumi Shimizu, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • Journal Title

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

      Pages: 281-286

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Mesh Simplification and Adaptive LOD for Finite Element Mesh Generation2005

    • Author(s)
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami, Ichiro Nishigaki
    • Journal Title

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

      Pages: 339-344

    • Related Report
      2005 Annual Research Report
  • [Journal Article] Proof for Equivalent Transformation of Equality Constraints on an Interval-Variable Domain2005

    • Author(s)
      Hiroshi Mabuchi, Kiyoshi Akama, Hidekatsu Koike, Takahiko Ishikawa
    • Journal Title

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

      Pages: 627-633

    • Related Report
      2005 Annual Research Report
  • [Journal Article] A Programming Language Interpreter System Based on Equivalent Transformation2005

    • Author(s)
      Hidekatsu Koike, Kiyoshi Akama, Hiroshi Mabuchi
    • Journal Title

      2005 IEEE 9th International Conference on Intelligent Engineering Systems

      Pages: 283-288

    • Related Report
      2005 Annual Research Report
  • [Journal Article] The Squeeze Method - A Method for Program Construction in the Equivalent Transformation Computation Model2005

    • Author(s)
      Kiyoshi Akama, Ekawit Nantajeewarawat, Hidekatsu Koike, Katsunori Miura
    • Journal Title

      Proceedings of the 6th international conference on intelligent technologies

      Pages: 198-206

    • Related Report
      2005 Annual Research Report
  • [Journal Article] A Robust and Accurate Fitting Algorithm of a loop Subdivision Surface for a Complex and High-Density Point Cloud2005

    • Author(s)
      Yui Endo
    • Journal Title

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

      Pages: 156-163

    • Related Report
      2004 Annual Research Report
  • [Journal Article] 細分化と簡略化に基づく三角形メッシュの品質改善2005

    • Author(s)
      伊達 宏昭
    • Journal Title

      精密工学会誌 71(2)

      Pages: 223-227

    • Related Report
      2004 Annual Research Report
  • [Journal Article] 分散制御システムの動的挙動モデリングのためのオブジェクト指向デザインパターンに関する研究2005

    • Author(s)
      戸村 豊明
    • Journal Title

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

      Pages: 379-384

    • Related Report
      2004 Annual Research Report
  • [Journal Article] STEP based product model data quality diagnosis for collaborative e-engineering2004

    • Author(s)
      Tanaka, F
    • Journal Title

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

      Pages: 945-952

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Software System for Sculpture Surface Machining Based on 3+2 Axis Control High Speed Machining on a 5-axis Machining Center2004

    • Author(s)
      Tanaka, F
    • Journal Title

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Mesh Quality Improvement based on Mesh Subdivision and Simplification2004

    • Author(s)
      Hiroaki Date
    • Journal Title

      Proceedings of 3D Modelling 2004

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary 2004 Annual Research Report
  • [Journal Article] A Robust, Accurate and Flexible Fitting Algorithms of Subdivision Surface for Point Cloud in Industrial Design Use2004

    • Author(s)
      Yui Endo
    • Journal Title

      Proceedings of 3D Modelling 2004

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary 2004 Annual Research Report
  • [Journal Article] Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems2004

    • Author(s)
      Hidemi Ogasawara
    • Journal Title

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

      Pages: 306-309

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model2004

    • Author(s)
      Itaru Takarajima
    • Journal Title

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

      Pages: 391-395

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] A Comparison of Constraint Handling Rules with Equivalent Transformation Rules2004

    • Author(s)
      Yoshinori Shigeta
    • Journal Title

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

      Pages: 345-351

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Formalization Of The Equivalent Transformation Computations Model2004

    • Author(s)
      Kiyoshi Akama
    • Journal Title

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

      Pages: 190-199

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Semantic Query Optimization : Correctness And Control2004

    • Author(s)
      Pongtawat Chippimolchai
    • Journal Title

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

      Pages: 200-209

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Dynamic Interaction Of Syntactic And Semantic Analyses Based On The Equivalent Transformation Computation Model2004

    • Author(s)
      Hidekatsu Koike
    • Journal Title

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

      Pages: 210-217

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Converting Constraint Handling Rules Into Equivalent Transformation Rules2004

    • Author(s)
      Yoshinori Shigeta
    • Journal Title

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

      Pages: 218-225

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Design of Termination for Non-Deterministic Programs Based On the Equivalent Transformation Computation Model2004

    • Author(s)
      Itaru Takarajima
    • Journal Title

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

      Pages: 226-235

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

    • Author(s)
      山田誠
    • Journal Title

      精密工学会誌 70 (1)

      Pages: 65-69

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] STEP based product model data quality diagnosis for collaborative e-engineering2004

    • Author(s)
      Fumiki Tanaka, Yousuke Nogaya, Takeshi Kishinami
    • Journal Title

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

      Pages: 945-952

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Software System for Sculpture Surface Machining Based on 3+2 Axis Control High Speed Machining on a 5-axis Machining Center2004

    • Author(s)
      Fumiki Tanaka, Makoto Yamada, Tsukasa Kondo, Takeshi Kishinami, Akio Kohmura
    • Journal Title

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

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] A Robust and Accurate Fitting Algorithm of a loop Subdivision Surface for a Complex and High-Density Point Cloud2004

    • Author(s)
      Yui Endo, Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • Journal Title

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

      Pages: 156-163

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Mesh Quality Improvement based on Mesh Subdivision and Simplification2004

    • Author(s)
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • Journal Title

      Proceedings of 3D Modelling 2004

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] MULTIRESOLUTION FINITE ELEMENT MESH GENERATION2004

    • Author(s)
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami, Ichiro Nishigaki, Takayuki Dohi
    • Journal Title

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

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] A Robust, Accurate and Flexible Fitting Algorithms of Subdivision Surface for Point Cloud in Industrial Design Use2004

    • Author(s)
      Yui Endo, Satoshi Kanai, Takeshi Kishinami
    • Journal Title

      Proceedings of 3D Modelling 2004

    • NAID

      130004655549

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems2004

    • Author(s)
      Hidemi Ogasawara, Kiyoshi Akama, Yoshinori Shigeta
    • Journal Title

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

      Pages: 306-309

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model2004

    • Author(s)
      Itaru Takarajima, Kiyoshi Akama, Yoshinori Shigeta, Ikumi Imani
    • Journal Title

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

      Pages: 391-395

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] A Comparison of Constraint Handling Rules with Equivalent Transformation Rules2004

    • Author(s)
      Yoshinori Shigeta, Kiyoshi Akama, Pongtawat Chippimolchai, Takahiko Ishikawa
    • Journal Title

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

      Pages: 345-351

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Formalization Of The Equivalent Transformation Computations Model2004

    • Author(s)
      Kiyoshi Akama, Ekawit Nantajeewarawat
    • Journal Title

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

      Pages: 190-199

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Semantic Query Optimization : Correctness And Control2004

    • Author(s)
      Pongtawat Chippimolchai, Kiyoshi Akama, Vilas Wuwongse
    • Journal Title

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

      Pages: 200-209

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Dynamic Interaction Of Syntactic And Semantic Analyses Based On The Equivalent Transformation Computation Model2004

    • Author(s)
      Hidekatsu Koike, Kiyoshi Akama, Ernest Boyd, Hiroshi Mabuchi
    • Journal Title

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

      Pages: 210-217

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Converting Constraint Handling Rules Into Equivalent Transformation Rules2004

    • Author(s)
      Yoshinori Shigeta, Kiyoshi Akama, Hiroshi Mabuchi, Hidekatsu Koike
    • Journal Title

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

      Pages: 218-225

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Design of Termination for Non-Deterministic Programs Based On the Equivalent Transformation Computation Model2004

    • Author(s)
      Itaru Takarajima, Kiyoshi Akama, Ikumi Imani, Hiroshi Mabuchi
    • Journal Title

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

      Pages: 226-235

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] 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

    • Author(s)
      Makoto Yamada, Fumiki Tanaka, Tsukasa Kondo, Takeshi Kishinami, Akio Kohmura
    • Journal Title

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

      Pages: 65-69

    • NAID

      130002102988

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Equivalent Transformation Rules for a Class of Constraint Satisfaction Problems2004

    • Author(s)
      Hidemi Ogasawara
    • Journal Title

      Proceedings of the international conference on artificial intelligence

      Pages: 306-309

    • Related Report
      2004 Annual Research Report
  • [Journal Article] On the Termination of Non-Deterministic Programs Based on the Equivalent Transformation Computation Model2004

    • Author(s)
      Itaru Takarajima
    • Journal Title

      Proceedings of the international conference on algorithmic mathematics

      Pages: 391-395

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A Comparison of Constraint Handling Rules with Equivalent Transformation2004

    • Author(s)
      Yoshinori Shigeta
    • Journal Title

      Proceedings of the international conference on algorithmic mathematics

      Pages: 345-351

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Formalization Of The Equivalent Transformation Computations Model2004

    • Author(s)
      Kiyoshi Akama
    • Journal Title

      Proc.of the Fifth International Conference on Intelligent Technologies

      Pages: 190-199

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Semantic Query Optimization : Correctness And Control2004

    • Author(s)
      Pongtawat Chippimolchai
    • Journal Title

      Proc.of the Fifth International Conference on Intelligent Technologies

      Pages: 200-209

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Dynamic Interaction Of Syntactic And Semantic Analyses Based On The Equivalent Transformation Computation Model2004

    • Author(s)
      Hidekatsu Koike
    • Journal Title

      Proc.of the Fifth International Conference on Intelligent Technologies

      Pages: 210-217

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Converting Constraint Handling Rules Into Equivalent Transformation Rules2004

    • Author(s)
      Yoshinori Shigeta
    • Journal Title

      Proc.of the Fifth International Conference on Intelligent Technologies

      Pages: 218-225

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Design of Termination for Non-Deterministic Programs Based On the Equivalent Transformation Computation Model2004

    • Author(s)
      Itaru Takarajima
    • Journal Title

      Proc.of the Fifth International Conference on Intelligent Technologies

      Pages: 226-235

    • Related Report
      2004 Annual Research Report
  • [Journal Article] STEP based product model data quality diagnosis for collaborative e-engineering2004

    • Author(s)
      Tanaka, F
    • Journal Title

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

      Pages: 945-952

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Software System for Sculpture Surface Machining Based on 3+2 Axis Control High Speed Machining on a 5-axis Machining Center2004

    • Author(s)
      Tanaka, F
    • Journal Title

      Proc.of 2004 Japan-USA Symposium on Flexible Automation

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A Prototyping System for Surface Textured Shapes using Triangular Mesh Modeling and Stereo Lithography2004

    • Author(s)
      Hiroaki Date
    • Journal Title

      Proceedings of 2004 Japan-USA Symposium on Flexible Automation

    • Related Report
      2004 Annual Research Report
  • [Journal Article] Multi-disciplinary Distributed Simulation for Designing IT Devices by Integrating off-the-shelf CAX Systems based on HLA2004

    • Author(s)
      Satoshi Kanai
    • Journal Title

      Proceedings of Fall 2004 Simulation Interoperability Workshop

      Pages: 315-325

    • Related Report
      2004 Annual Research Report
  • [Journal Article] A Parallel Discrete Event Simulation Methodology of Distributed Control Systems using Object-oriented Protocol Model and Time Warp Mechanism2004

    • Author(s)
      Toyoaki Tomura
    • Journal Title

      Proceedings of 2004 Japan-USA Symposium on Flexible Automation

    • Related Report
      2004 Annual Research Report
  • [Journal Article] 2値画像に基づく輪郭加工用工具経路生成の研究2004

    • Author(s)
      近藤 司
    • Journal Title

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

      Pages: 1-7

    • NAID

      110004632909

    • Related Report
      2004 Annual Research Report
  • [Journal Article] High Efficiency Sculpture Surface Machining by Automatically Indexing Tilted Tool Axis on 5-axis Machining Center in Mold and Die Machining2003

    • Author(s)
      M.Yamada
    • Journal Title

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

      Pages: 504-512

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Removal Volume Modeling for Process Planning Based on Form-Shaping Function2003

    • Author(s)
      F.Tanaka
    • Journal Title

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

      Pages: 747-752

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] パラメタライゼーションを用いた表面詳細合成形状の三角形メッシュモデリング2003

    • Author(s)
      伊達宏昭
    • Journal Title

      精密工学会誌 69(4)

      Pages: 581-585

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm2003

    • Author(s)
      Takahiko Ishikawa
    • Journal Title

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

      Pages: 260-267

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Program Generation and Computation in the ET Paradigm2003

    • Author(s)
      Kiyoshi Akama
    • Journal Title

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

      Pages: 276-282

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Solving Constraint Satisfaction Problems based on Equivalent Transformation2003

    • Author(s)
      Mabuchi, H.
    • Journal Title

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

      Pages: 152-160

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Correct Computation with Multi-Head Rules in the Equivalent Transformation Framework2003

    • Author(s)
      Pongtawat Chippimolchai
    • Journal Title

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

      Pages: 531-538

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Data sharing among Multiple Product Ontologies2003

    • Author(s)
      Takeshi Kishinami
    • Journal Title

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation2003

    • Author(s)
      Mabuchi, H
    • Journal Title

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

      Pages: 306-314

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] XML declarative description with negative constraints2003

    • Author(s)
      Chutiporn Anutariya
    • Journal Title

      INTERNATIONAL WORKSHOP ON SEMANTIC WEB FOUNDATIONS AND APPLICATION TECHNOLOGIES

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] XML Declarative Description with First-Order Logical Constraints2003

    • Author(s)
      C.Anutariya
    • Journal Title

      Workshop on "Knowledge Grid and Grid Intelligence"

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Constraint Solving Specializations for Equality on an Interval-Variable Domain2003

    • Author(s)
      Mabuchi, H
    • Journal Title

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

      Pages: 161-170

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Formalization of Computation Models in View of Program Synthesis2003

    • Author(s)
      Akama, K
    • Journal Title

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

      Pages: 507-516

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] High Efficiency Sculpture Surface Machining by Automatically Indexing Tilted Tool Axis on 5-axis Machining Center in Mold and Die Machining2003

    • Author(s)
      M.Yamada, F.Tanaka, T.Kishinami, A.Kohmura
    • Journal Title

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

      Pages: 504-512

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Removal Volume Modeling for Process Planning Based on Form-Shaping Function2003

    • Author(s)
      F.Tanaka, M.Takinami, T.Kishinami
    • Journal Title

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

      Pages: 747-752

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Triangular Mesh Modeling of Surface-detail-integrated shape using parameterization2003

    • Author(s)
      Hiroaki Date, Satoshi Kanai, Takeshi Kishinami
    • Journal Title

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

      Pages: 581-585

    • NAID

      110001373537

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] How to Make Programs from Problem Descriptions in the Equivalent Transformation Paradigm2003

    • Author(s)
      Takahiko Ishikawa, Kiyoshi Akama, Hiroshi Mabuchi
    • Journal Title

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

      Pages: 260-267

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Program Generation and Computation in the ET Paradigm2003

    • Author(s)
      Kiyoshi Akama, Hidekatsu Koike, Hiroshi Mabuchi
    • Journal Title

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

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Solving Constraint Satisfaction Problems based on Equivalent Transformation2003

    • Author(s)
      Mabuchi, H., Akama, K., Koike, H., Ishikawa, T.
    • Journal Title

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

      Pages: 152-160

    • NAID

      110003276839

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Correct Computation with Multi-Head Rules in the Equivalent Transformation Framework2003

    • Author(s)
      Pongtawat Chippimolchai, Kiyoshi Akama, Takahiko Ishikawa, Vilas Wuwongse
    • Journal Title

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

      Pages: 531-538

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Data sharing among Multiple Product Ontologies2003

    • Author(s)
      Takeshi Kishinami, Fumiki Tanaka, Akihito Kobayashi
    • Journal Title

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

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Integration of Syntactic Analysis and Semantic Interpretation Based on Equivalent Transformation2003

    • Author(s)
      Mabuchi, H, Akama, K., Ishikawa, T., Koike, H
    • Journal Title

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

      Pages: 306-314

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] XML declarative description with negative constraints2003

    • Author(s)
      Chutiporn Anutariya, Vilas Wuwongse, Kiyoshi Akama
    • Journal Title

      INTERNATIONAL WORKSHOP ON SEMANTIC WEB FOUNDATIONS AND APPLICATION TECHNOLOGIES

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] XML Declarative Description with First-Order Logical Constraints2003

    • Author(s)
      C.Anutariya, V.Wuwongse, K.Akama
    • Journal Title

      Workshop on "Knowledge Grid and Grid Intelligence"

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Constraint Solving Specializations for Equality on an Interval-Variable Domain2003

    • Author(s)
      Mabuchi, H, Akama, K., Koike, H., Ishikawa, T.
    • Journal Title

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

      Pages: 161-170

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] Formalization of Computation Models in View of Program Synthesis2003

    • Author(s)
      Akama, K., Nantajeewarawat, E.
    • Journal Title

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

      Pages: 507-516

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] EXPRESS/XMLによる切削工具情報モデルとTool Life Cycle Support2002

    • Author(s)
      三井 聡
    • Journal Title

      精密工学会誌 68(10)

      Pages: 1321-1325

    • NAID

      110001373298

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Journal Article] EXPRESS/XML based Cutting Tool Information Model and Tool Life Cycle Support2002

    • Author(s)
      Satoshi Mitsui, Fumiki Tanaka, Takeshi Kishinami
    • Journal Title

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

      Pages: 507-516

    • NAID

      110001373298

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      2006 Final Research Report Summary
  • [Patent(Industrial Property Rights)] ポインティングデバイス2004

    • Inventor(s)
      渋川 勝久, 岸浪 建史
    • Industrial Property Rights Holder
      北海道大学
    • Industrial Property Number
      2004-194341
    • Filing Date
      2004
    • Acquisition Date
      2004-06-30
    • Related Report
      2004 Annual Research Report
  • [Patent(Industrial Property Rights)] 有限要素解析用の四面体メッシュの生成方法及びその方法を用いた有限要素解析システム2004

    • Inventor(s)
      金井 理, 伊達 宏昭, 岸浪 建史
    • Industrial Property Rights Holder
      北海道大学
    • Industrial Property Number
      2004-252933
    • Filing Date
      2004
    • Acquisition Date
      2004-08-31
    • Related Report
      2004 Annual Research Report
  • [Patent(Industrial Property Rights)] 四面体メッシュ生成方法及びプログラム2004

    • Inventor(s)
      金井 理, 伊達 宏昭, 岸浪 建史
    • Industrial Property Rights Holder
      北海道大学
    • Industrial Property Number
      2004-252444
    • Filing Date
      2004
    • Acquisition Date
      2004-08-31
    • Related Report
      2004 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [Publications] Takeshi Kishinami: "Data sharing among Multiple Product Ontologies"Proceedings of The 1st International Workshop on Ubiquitous Knowledge Network Environment. (2003)

    • Related Report
      2003 Annual Research Report
  • [Publications] 徳永仁史: "要求動作の変化に対するリー代数に基づく機構構造の再構成"精密工学会誌. 69(10). 1401-1405 (2003)

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

    • Related Report
      2003 Annual Research Report
  • [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)

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

    • Related Report
      2003 Annual Research Report
  • [Publications] 伊達宏昭: "パラメタライゼーションを用いた表面詳細合成形状の三角形メッシュモデリング"精密工学会誌. 69(4). 581-585 (2003)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [Publications] S.Kanai: "HLA/RTI-based Scalable Distributed Virtual Prototyping Environment for Embedded System Design"Proc.Of Virtual Concept 2003, France. 100-107 (2003)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [Publications] 金井 理: "メッシュモデルのLOD制御技術とそのデジタルエンジニアリングへの応用(解説)"精密工学会誌. 69(4). 83-86 (2003)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [Publications] Chutiporn Anutariya: "XML declarative description with negative constraints"INTERNATIONAL WORKSHOP ON SEMANTIC WEB FOUNDATIONS AND APPLICATION TECHNOLOGIES. (2003)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [Publications] C.Anutariya: "XML Declarative Description with First-Order Logical Constraints"Workshop on "Knowledge Grid and Grid Intelligence". (2003)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [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)

    • Related Report
      2003 Annual Research Report
  • [Publications] 山崎知之: "鏡面反射スポット画像にもとづく形状計測法"型技術. 18(3). 62-63 (2003)

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

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

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

    • Related Report
      2002 Annual Research Report
  • [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)

    • Related Report
      2002 Annual Research Report
  • [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)

    • Related Report
      2002 Annual Research Report
  • [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)

    • Related Report
      2002 Annual Research Report
  • [Publications] 伊達宏昭, 金井 理, 岸浪建史: "表面詳細合成形状の意匠設計用メッシュモデリング"第20回設計シンポジウム講演論文集, 東京7月. 32-38 (2002)

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

    • Related Report
      2002 Annual Research Report
  • [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)

    • Related Report
      2002 Annual Research Report
  • [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)

    • Related Report
      2002 Annual Research Report
  • [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)

    • Related Report
      2002 Annual Research Report
  • [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)

    • Related Report
      2002 Annual Research Report
  • [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)

    • Related Report
      2002 Annual Research Report
  • [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)

    • Related Report
      2002 Annual Research Report
  • [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)

    • Related Report
      2002 Annual Research Report
  • [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)

    • Related Report
      2002 Annual Research Report
  • [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)

    • Related Report
      2002 Annual Research Report
  • [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)

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

    • Related Report
      2002 Annual Research Report
  • [Publications] 三井 聡, 田中文基, 岸浪建史: "EXPRESS/XMLによる切削工具情報モデルとTool Life Cycle Support"精密工学会誌. 68(10). 1321-1325 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] K.Akama, C.Anutariya, V.Wuwongse, E.Nantajeewarawat: "Query Formulation and Evaluation of XML Databases"WITASI 2002. 273-288 (2002)

    • Related Report
      2002 Annual Research Report
  • [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)

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

    • Related Report
      2002 Annual Research Report
  • [Publications] 小池英勝, 赤間 清, 馬淵浩司, 岡田浩一, 繁田良則: "負制約の等価変換による間題解決の基礎理論"人工知能学会誌. 17(4). 354-362 (2002)

    • Related Report
      2002 Annual Research Report
  • [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)

    • Related Report
      2002 Annual Research Report
  • [Publications] 赤間清, 小池英勝, 石川貴彦: "プログラムの部品としての等価変換ルール"電子情報通信学会技術研究報告. SS98-33. 19-24 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 三高康嗣, 赤間 清, 小池英勝: "等価変換プログラミング言語ETとそのコンパイラ"電子情報通信学会技術研究報告. SS98-33. 13-18 (2002)

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

    • Related Report
      2002 Annual Research Report
  • [Publications] 三井 聡, 田中文基, 岸浪建史: "生産設計から見たEXPRESS/XML工具データベースの検証"精密工学会秋季大会学術講演会. 25 (2002)

    • Related Report
      2002 Annual Research Report
  • [Publications] 山崎知之, 近藤 司, 金子俊一, 五十嵐悟: "鏡面反射スポット画像に基づく形状計測装置の開発"型技術. 17(8). 104-105 (2002)

    • Related Report
      2002 Annual Research Report

URL: 

Published: 2002-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi