状況制約下における並行モジュールのシーケンス構成論

• Item type: Trans(1)
• 公開日: 2007-03-15
• タイトル: 状況制約下における並行モジュールのシーケンス構成論
• タイトル / 言語: en
• タイトル: A Concurrent Construction of Module Sequences under Situation Conditions
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: オリジナル論文
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 岡山大学大学院自然科学研究科
• 著者所属: 岡山大学大学院自然科学研究科
• 著者所属: 岡山大学大学院自然科学研究科
• 著者所属(英): en
• 著者所属(英): Graduate School of Natural Science and Technology, Okayama University
• 著者所属(英): en
• 著者所属(英): Graduate School of Natural Science and Technology, Okayama University
• 著者所属(英): en
• 著者所属(英): Graduate School of Natural Science and Technology, Okayama University
• 著者名: 岩田, 健一; 笹倉, 万里子; 山崎, 進
• 著者名(英): Kenichi, Iwata; Mariko, Sasakura; Susumu, Yamasaki
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 本論文では状況制約下における並行モジュールのシーケンスを求めるための数理モデルとしてモジュール計算系を提案する．この数理モデルでは，状況とモジュールという2 つの構成要素を用い，状況と状況の間の制約，モジュールとモジュールの間の規則，状況とモジュールの間の関係を記述することができる．モジュール計算系は複数あって，並行動作が可能である．本論文ではこのモデルにおいてある状況からある状況への遷移と，そのときのモジュールのシーケンス（列）を得る手続きを示す．このモデルでは現実社会の事象を容易に記述することができ，本論文ではその例として，製造業における部品の収集組み立て問題を論ずる．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we propose a concurrent calculus model that gives a sequence of modules. The model uses situations and modules, containing the constraint between situations, the rule regarding modules, and the relation between situations and modules. A module calculus works concurrently with other calculi. We show a procedure that gives a transition from a situation to another with a sequence of modules. The model has ability to describe complex phenomena in the real world. We describe a problem of parts collection and composition in product making as its application.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AA11464803
• 書誌情報: 情報処理学会論文誌数理モデル化と応用（TOM）; 巻 48, 号 SIG6(TOM17), p. 43-50, 発行日 2007-03-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7780
• 出版者 / 言語: ja
• 出版者: 情報処理学会