1987 Fiscal Year Annual Research Report
| Project/Area Number |
62065002
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
田中 英彦 東京大学, 工学部, 教授 (60011102)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
相田 仁 東京大学, 工学部, 講師 (00175712)
喜連川 優 東京大学, 生産技術研究所, 助教授 (40161509)
|
|---|
| Keywords | 知識処理 / 並列処理 / 推論マシン / 理論型プロケラミング / 関係データベース / データベースマシン / 知識ベースマシン |
|---|
| Research Abstract |
並列推論サブシステムの研究では, まずその全体アーキテクチャを検討し, 64台の推論ユニットを2系統の自動負荷分散機構付き相互結合網で接続する方式を提案した. これは2つの結合網により各推論ユニットへの均等な処理負荷の割付けとアクセス衝突の起きにくいデータ配列を行う点に特徴がある. 次に, この結合網の構成部品となるスイッチングユニットLSIの設計と, これを用いた結合網ハードウエアの構成法の検討を行なった.
一方, 並列プログラミング言語については, 言語にLENGを提唱案し, 汎用計算機上に評価用処理系を作成した. そして, 並列処理実験機上にFLENGの実験用処理系を実装することにより, 推論ユニット内処理方式の詳細化を進め, 基本処理方式を確立する一方, 処理速度・必要メモリ量両面で効率化を図る手法の提案を行った. また, シミュレーションにより, 推論ユニット間処理方式の検討と評価を開始し, 自動負荷分散方式の有効性についての感触を得た. 更に, 並列論理型言語のデバッグ法に関する検討も行った. 知識ベース管理サブシステムの研究では, 機能ディスクシステム第2版を構築し, 関係代数演算の高速化における動的クラスタリングアルゴリズムの有効性を確認するとともに, ステージングハッファの容量を超える数百MBの巨大ファイルに対して, 動的外部クラスタリングの機構を新たに開発し, 一部を実装することにより他システムに比較し高い性能を達成できることを確認した. さらに構成要素としての18段パイプライン超高速ハードウエアソータを構築し, これらの基礎データをもとに開発ターゲットである数十台のプロセッサから成る大規模マシンの方式設計を進めた. またユニフィケーションを導入した拡張関係代数演算方式についても新しい方式を開発し, その評価を進めた.
|
-
[Publications] M.Nilsson,H.Tanaka: Proc. of The LogicProgramming Conference′87. 1. 155-163 (1987)
-
[Publications] 垂井俊明,丸山勉,田中英彦: Proc. of The Logic Programming Conference ′87. 1. 203-211 (1987)
-
[Publications] 丸山勉,田中英彦: 電子情報通信学会論文誌. J70-D. 1199-1209 (1987)
-
[Publications] 喜連川 優: コンピュータシステムシンポジウム論文集. 1. 93-100 (1987)
-
[Publications] M.Kitsuregawa,W.Yang,T.Suzuki,M.Takagi: Proc. of 5th International Workshop on Data base Machines. 1. 144-157 (1987)
-
[Publications] T.Ohmori,H.Tunaka: Proc. of 5th International Workshop on Database Machines. 1. 291-304 (1987)
-
[Publications] M.Kitsureguwa,H.Tanaka: "Database Machines and Knowledge Base Machines" KLUWER ACADEMIC PUBLISHERS, (1988)
