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

2004 年度 研究成果報告書概要

高信頼・高開発効率を実現する、FAシステム制御ソフトウェアの開発手法

研究課題

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

基盤研究(C)

配分区分補助金
応募区分一般
研究分野 知能機械学・機械システム
研究機関神奈川大学

研究代表者

栗原 謙三  神奈川大学, 工学部, 教授 (30312086)

研究分担者 北岡 正敏  神奈川大学, 工学部, 教授 (90078311)
西内 信之  神奈川大学, 工学部, 助手 (70301588)
研究期間 (年度) 2003 – 2004
キーワード高信頼 / 高開発効率 / Factory Automationシステム / 制御ソフトウェア / ソフトウェア開発手法 / ペトリネット
研究概要

近年,コンピュータの急速な発展を背景に,生産自動化に対する期待は大きくなり,大規模化,複雑化が進んでいる.また,信頼性やコストパフォーマンスの面から,ソフト/ハードウェアアーキテクチャは集中処理から分散・並列処理へと移行してきている.しかし,生産システムなどの事象駆動型システムでは,非決定性から来る制御条件の組合せの複雑さが不可避であるため,制御メカニズムの適切な表現法,解析法が十分に確立されていない.本研究では,制御ソフトウェア開発の高信頼化と高効率開発を狙いとして,システム全体の制御論理を構造化・階層化して表わすことを特徴とした構造化階層ネットを開発した.さらに,これに基づく,制御システム開発支援システムの基本モデルを開発した.開発した方式をFA制御システムに適用して,方式評価した結果,当初の目標を満足できることを確認した.
1.FA制御理論、ハード構成の記述方式開発
従来のプログラマブルコントローラにおけるラダーダイアグラム記述等の問題点を考察し、並行動作システムの振る舞いを記述、解析するために提案されたペトリネットモデルに基づいて、Factory Automation制御論理、およびFA構成機器の記述方式の基本方式を構築した。さらに、開発するペトリネット指向の新たな高度プログラミング方式が、シーケンス制御ソフトウェアのフレキシビリティ、信頼性の向上、開発工数削減などに有効であることを自動化生産ラインに適用して評価した。
2.制御仕様検証支援方式
仕様記述からプログラムを生成することを効率化する支援方式を提案した。さらに、設計段階での安全性の検証支援方法が望まれる。そこで、ペトリネットの可達木生成の手法により制御対象システムがとりうる全状態を自動的に洗い出し、それを基に与えられた制御仕様のもとで要求仕様に反するシステム状態がないかどうかを検索し、デッドロック論理不良等を効率的に検出する考え方を提案した。

  • 研究成果

    (25件)

すべて 2004 2003 2002

すべて 雑誌論文 (25件)

  • [雑誌論文] Substitute Robot Reproducing Facial Expression2004

    • 著者名/発表者名
      K.Kurihara, N.Nishiuchi et al.
    • 雑誌名

      Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (CD-ROM)

    • 説明
      「研究成果報告書概要(和文)」より
  • [雑誌論文] A Study on Line of Sight Detection Using Color Contact Lenses2004

    • 著者名/発表者名
      N.Nishiuchi, K.Kurihara
    • 雑誌名

      Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (CD-ROM)

    • 説明
      「研究成果報告書概要(和文)」より
  • [雑誌論文] A Method of Flow-Shop Re-Scheduling Dealing with Variation of Productive Capacity2004

    • 著者名/発表者名
      K.Kurihara, N.Nishiuchi et al.
    • 雑誌名

      Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (CD-ROM)

    • 説明
      「研究成果報告書概要(和文)」より
  • [雑誌論文] A Path Planning Method for Autonomous Sweeping Robot2004

    • 著者名/発表者名
      K.Kurihara, N.Nishiuchi et al.
    • 雑誌名

      Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (CD-ROM)

    • 説明
      「研究成果報告書概要(和文)」より
  • [雑誌論文] 知識表現とペトリネットによる組み立て工程計画の生成2004

    • 著者名/発表者名
      北岡正敏, 霧生達也
    • 雑誌名

      平成16年度日本ロジスティクスシステム学会予稿集

      ページ: 62-65

    • 説明
      「研究成果報告書概要(和文)」より
  • [雑誌論文] Application of Automated Assembly Process using RFID and Rule-bases Reasoning2004

    • 著者名/発表者名
      M.Kitaoka, T.Kiriu
    • 雑誌名

      The 21^<st> International Manufacturing Conference IMC21

      ページ: 708-715

    • 説明
      「研究成果報告書概要(和文)」より
  • [雑誌論文] PLC制御用ソフトウェアの自動生成に関する研究2004

    • 著者名/発表者名
      北岡正敏, 寺園修平
    • 雑誌名

      日本経営工学会平成16年度秋季研究大会

      ページ: 94-95

    • 説明
      「研究成果報告書概要(和文)」より
  • [雑誌論文] A Method of Flow-Shop Re-Scheduling Dealing with Variation of Productive Capacity2004

    • 著者名/発表者名
      Y.Owada, Y.LI., N.Nishiuchi, K.Kurihara
    • 雑誌名

      Proceedings of the 8th World Multi-Conference on Systemics, Cybernetics and Informatics (CD-ROM)

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] Re-scheduling Method for Flow-shop dealing with Variation of Productive Capacity II (in Japanese)2004

    • 著者名/発表者名
      Y.Owada, N.Nishiuchi, K.Kurihara, et al.
    • 雑誌名

      Proceedings of Japan Industrial Management Association Annual Spring Meeting

      ページ: 62-63

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] Job-hop Scheduling Method with the Combination Use of Branch-and-Bound Method and Taboo Search Method (in Japanese)2004

    • 著者名/発表者名
      Y.Owada, K.Kurihara, N.Nishiuchi
    • 雑誌名

      Proceedings of Japan Industrial Management Association Annual Autumn Meeting

      ページ: 188-189

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] A Study on Flexible Shop Scheduling using AMIA (in Japanese)2004

    • 著者名/発表者名
      N.Nakagawa, K.Kurihara, N.Nishiuchi
    • 雑誌名

      Proceedings of Japan Industrial Management Association Annual Autumn Meeting

      ページ: 186-187

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] A Study on Automatic Assembly Process Design using Knowledge Expression (in Japanese)2004

    • 著者名/発表者名
      M.Kitaoka, S.Terasono, et al.
    • 雑誌名

      Proceedings of Japan Industrial Management Association Annual Autumn Meeting

      ページ: 118-119

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] Assembly Process Line Design Applying the Model based on Knowledge Expression and Petri-net (in Japanese)2004

    • 著者名/発表者名
      M.Kitaoka, T.Kiriu
    • 雑誌名

      Proceedings of Japan Society of Logistics Systems Annual Meeting

      ページ: 62-65

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] Application of Automated Assembly Process using RFID and Rule-based Reasoning2004

    • 著者名/発表者名
      M.Kitaoka, T.Kiriu
    • 雑誌名

      The 21st International Manufacturing Conference IMC 21

      ページ: 708-715

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] A Study on Automatic Programming of PLC (in Japanese)2004

    • 著者名/発表者名
      M.Kitaoka, S.Terasono
    • 雑誌名

      Proceedings of Japan Industrial Management Association Annual Autumn Meeting

      ページ: 94-95

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] Software Design of Automated Generation Program for Programmable Logic Controller2004

    • 著者名/発表者名
      S.Terasono, M.Krtaoka
    • 雑誌名

      Proceedings of 21st International Manufacturing Conference IMC 21

      ページ: 730-737

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] Real Time Scheduling in the Control of Automated Assembly Line using Linux2004

    • 著者名/発表者名
      D.Takahashi, M.Kitaoka
    • 雑誌名

      Proceedings of 21st International Manufacturing Conference IMC 21

      ページ: 738-744

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] A Study on Software Design Method for Factory Automation System Control System (in Japanese)2003

    • 著者名/発表者名
      K.Kurihara, S.Takigawa, N.Nishiuchi
    • 雑誌名

      Transactions of the Japan Society of Mechanical Engineers Vol.C-69, No.680

      ページ: 1169-1177

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] Hierarchical Path Planning Method for Autonomous Mobile Robots2003

    • 著者名/発表者名
      K.Kurihara, J.Hasegawa, N.Nishiuchi
    • 雑誌名

      Frontiers in Artificial Intelligence and its Applications Vol.101

      ページ: 1-8

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] Re-scheduling Method for Flow-shop dealing with Variation of Productive Capacity I (in Japanese)2003

    • 著者名/発表者名
      Y.Owada, K.Kurihara, N.Nishiuchi
    • 雑誌名

      Proceedings of Japan Industrial Management Association Annual Autumn Meeting

      ページ: 224-225

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] Construction, of Automated Assembly Systems using Natural Language and Generation of Control Program2003

    • 著者名/発表者名
      M.Kitaoka, S.Youichirou et al.
    • 雑誌名

      Proceedings of 32nd International Conference on Computers and Industrial Engineering

      ページ: 616-621

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] Designing Method of Automatic Production Line based on LLD and Petri-net (in Japanese)2003

    • 著者名/発表者名
      M.Kitaoka, S.Terasono, et al.
    • 雑誌名

      Proceedings of Japan Industrial Management Association Annual Autumn Meeting

      ページ: 50-51

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] Bottle Neck Analysis for FMS (in Japanese)2003

    • 著者名/発表者名
      M.Kitaoka, T.Kiriu, et al.
    • 雑誌名

      Proceedings of Japan Industrial Management Association Annual Autumn Meeting

      ページ: 20-21

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] A Study on Automated Production Line Design using Natural Language Processing (in Japanese)2003

    • 著者名/発表者名
      Y.Sato, M.Kitaoka, et al.
    • 雑誌名

      Proceedings of Japan Industrial Management Association Annual Autumn Meeting

      ページ: 48-49

    • 説明
      「研究成果報告書概要(欧文)」より
  • [雑誌論文] Factory Automation Control Software Designing Method based on Petri Nets2002

    • 著者名/発表者名
      K.Kurihara, S.Takigawa, et al.
    • 雑誌名

      International Journal of Production Research Vol.40, No.15

      ページ: 3605-3625

    • 説明
      「研究成果報告書概要(欧文)」より

URL: 

公開日: 2006-07-11  

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

Powered by NII kakenhi