| 研究課題/領域番号 |
02680020
|
|---|
| 研究機関 | 名古屋大学 |
|---|
研究代表者 |
坂部 俊樹 名古屋大学, 工学部, 助教授 (60111829)
|
|---|
| 研究分担者 |
結縁 祥治 名古屋大学, 工学部, 助手 (70230612)
酒井 正彦 名古屋大学, 工学部, 助手 (50215597)
直井 徹 岐阜大学, 工学部, 助教授 (10207699)
平田 富夫 名古屋大学, 工学部, 助教授 (10144205)
稲垣 康善 名古屋大学, 工学部, 教授 (10023079)
|
|---|
| キーワード | 並行計算 / 関数型計算モデル / CCS / ブロ-ドキャスト / ナロ-イング / 並行プロセス / 項書換え系 / 動的項書換 |
|---|
| 研究概要 |
本研究では、並行計算モデルとしてのダイナミックナロ-イングシステム(DNS)について研究を行ない、以下の成果を得た。
(1)DNSの原型となる関数型計算モデルとして、ソフトウェアを代数的に記述でき、かつ、検証や再利用技術をも形式的に記述できることを目標とした動的項書換え計算(Dynamic Term Rewriting Calculus,DTRC)について研究を行なった。
まず、フレ-ムと呼ぶ特別な、しかし、ある程度一般性のある形の項に限って、書換えが合流するための十分条件を与えることができた。停止性についても、通常の項の上の整礎擬順序をDTRCの項上に拡張する方法を示すとともに、与えられた整礎擬順序で停止性が保証されるDTRCの項の2種類のクラスを示した。
(2)並行計算モデル化するための基礎研究として、CCSと同様な通信機械の他に、値を表現する体系として項書換え系を含み、また、値によって振舞いを切替える条件分岐の機構も備えた新しい体系を提案し、その意味論について検討した。
(3)また、並行計算にブロ-ドキャスト通信を組み込んだ並行プロセスの体系としてCCS+bを提案し、ブロ-ドキャスト通信を同報性および受信の非決定性という2つの性質で特徴付け、提案する体系CCS+bがその性質を持つことを示した。また、CCS+bの代数的な性質として、並行演算、選択演算の結合則と可換則、ならびに、展開則が成立することを示すことができた。
(4)書換え型の計算モデルに共通したオペレ-ションである木パタ-ンマッチングについて研究し、木パタ-ンマッチングの並列アルゴリズムを提案した。このアルゴリズムは、CREWーPRAM上で動作し、mn/logn個のプロセッサでO(logn)の時間で動作する。ここに、n,mはtとpのサイズである。この結果は、従来のRamesh等の結果の改善になっている。
|
