2004 Fiscal Year Annual Research Report
量子ネットモデルを用いた大規模コンカレントシステムの系統的解析・設計に関する研究
| Project/Area Number |
14550403
|
|---|
| Research Institution | AICHI PREFECTURAL UNIVERSITY |
|---|
Principal Investigator |
辻 孝吉 愛知県立大学, 情報科学部, 教授 (00197675)
|
|---|
| Keywords | ペトリネット / 離散事象 / コンカレント / 量子ネット / ネット理論 / モデル化 / 自律分散 / 並行処理 |
|---|
| Research Abstract |
以下に示す研究計画・方法によって移動体を含む大規模なコンカレントシステムを系統的に解析・設計するための理論的研究とその成果を実システムへ応用するための研究を以下のように行った。
[1]理論的検討:
移動体も含めてモデル化できる新しいモデルの性質の理論的検討とそれに関連するペトリネットの構造的性質などの理論的検討を行った。
まず、(a)ペトリネットモデルのトークンを拡張した形の量子ネットモデルIや(b)移動体を陽にモデル化するため、上述(a)のモデルとは異なる量子ビットモデルIIの構造的性質を検討するため、ペトリネットのサブクラスや拡張クラスの構造的性質を検討すると共に、提案モデルの静的、動的性質の理論的検討、検証アルゴリズム等の検討を行った。
また、(c)CORBAやAspect Jなどを例に実システム適用時に必要になる技術のモデル化と解析を行った。
[2]プログラムパッケージの開発、模擬システムによる検証:
上記理論的検討に基づいたプログラムパッケージを開発するため、前年度のプログラムを改良し、ネットワークで結合された複数のコンピュータのデータを収集、プログラムの配信などするためのソフトウエアのプロトタイプを作成してその動作を模擬システムを試用して検証した。また、グリッド型のネットワークシステムに対してタスクの割り当てを検討した。
[3]研究成果:
得られた結果を研究会、国際会議等で発表し、広く意見交換を行った。(11.研究発表参照)
|
