1993 Fiscal Year Annual Research Report

法律知識ベースのネットワーク化に関する研究

Research Project

Project/Area Number	05208204
Research Institution	Shizuoka University
Principal Investigator	渡辺尚静岡大学, 工学部, 助教授 (90201201)
Co-Investigator(Kenkyū-buntansha)	小林真也金沢大学, 工学部, 助手 (10234824) 太田剛静岡大学, 工学部, 助手 (40213730)
Keywords	知識ベース / 法律エキスパートシステム / ネットワーク / 分散データベース
Research Abstract	大規模な法律知識ベースを構築した場合,情報源の分散性と構築作業の並列性を鑑みれば,その実用段階において知識ベースの一元管理は困難である.本研究は,計算機ネットワーク技術に基づいて分散法律知識ベースを構築する際に生じる諸問題に対して,プログラムスライシングによる無矛盾性制御,ピギーバック及び自律分散による動的負荷分散からアプローチした.まず,無矛盾性制御に関してプログラムスライシング技術を適用することによる解決を試みた.元々プログラムスライシングは手続き型逐次実行プログラム上に定義されデバッグに用いられる技術であるが,これを分散プログラムに適用するための拡張について考察した.その結果,プログラム内の変数をデータ要素,代入文をデータ間の依存関係,制御フローをデータの依存関係が成立する条件に写像する事によって,知識ベース内に矛盾が発見されたときに,誤りが存在するデータ群の範囲を特定することが可能となることがわかった.動的負荷分散のアプローチでは,各リソースの状態把握とそれに基づいた配送先決定が重要である.この問題に対し,まずジョブ要求とジョブ結果に現在の状態情報を付加した双方向ピギーバックに基づく方法を考察した.この方法では,リソース情報をジョブ要求・結果に付与して配布する.分散配置されたジョブ配送器はこれによって現在の環境の近似値を得,サーバ機種・通信遅延・ジョブ特性を考慮してジョブを配送する.本手法は高負荷時に有効であることを明らかにし,その理由をピギーバック情報の信頼性から解析した.また,自律負荷分散方式ではタスクを持つノードが他ノードへの依頼の判断並びに他ノードからのタスク受け入れの判断を,自律的に判断する方式を開発した.評価の結果,タスクの投入が不均一な条件下においても負荷均衡が図れる点,全負荷が増大しても処理時間の増加を抑制することができることを示した.

Research Products

(7 results)

All Other

All Publications (7 results)

[Publications] Takashi Watanabe: "Adaptive Load Balancing with Distributed Dispatchers using Piggybacked Information" Proc.of 8th Joint Workshop on Computer Communications. H-3-3-1-H-3-3-10 (1993)
[Publications] Tsuyoshi Ohta: "Adaptive Load Balancing with Environment Database updated by Piggybacked Information" Proc.of Asia-Pacific Symposium on Information and Telecommunication Technologies. 247-251 (1993)
[Publications] 太田剛: "Interprocess Program Slicingに関する一孝察" 1994年電子情報通信学会春季全国大会講演論文集. D. (1994)
[Publications] 加藤健: "エージェント結合方式に着目した分散協調システムの負荷分散への応用" 情報処理学会マルチメディア通信と分散処理ワークショップ論文集. 93. 17-26 (1993)
[Publications] 小川智之: "ノード間交渉に基づく負荷分散方式の提案と評価" 情報処理学会第47回全国大会講演論文集. 4. (1993)
[Publications] Kobayashi,S.: "A load distribution method for multicomputer system based on intercomputer negotiation" Proc.of Joint Technical Conference on Circuits/Systems,Computers and Communications. (1993)
[Publications] 高橋義造(監訳): "計算機設計技法:マルチプロセッサシステム論" トッパン, (1994)

1993 Fiscal Year Annual Research Report

法律知識ベースのネットワーク化に関する研究

Principal Investigator

渡辺 尚 静岡大学, 工学部, 助教授 (90201201)

Research Products

[Publications] Takashi Watanabe: "Adaptive Load Balancing with Distributed Dispatchers using Piggybacked Information" Proc.of 8th Joint Workshop on Computer Communications. H-3-3-1-H-3-3-10 (1993)

[Publications] Tsuyoshi Ohta: "Adaptive Load Balancing with Environment Database updated by Piggybacked Information" Proc.of Asia-Pacific Symposium on Information and Telecommunication Technologies. 247-251 (1993)

[Publications] 太田 剛: "Interprocess Program Slicingに関する一孝察" 1994年電子情報通信学会春季全国大会講演論文集. D. (1994)

[Publications] 加藤 健: "エージェント結合方式に着目した分散協調システムの負荷分散への応用" 情報処理学会マルチメディア通信と分散処理ワークショップ論文集. 93. 17-26 (1993)

[Publications] 小川 智之: "ノード間交渉に基づく負荷分散方式の提案と評価" 情報処理学会第47回全国大会講演論文集. 4. (1993)

[Publications] Kobayashi,S.: "A load distribution method for multicomputer system based on intercomputer negotiation" Proc.of Joint Technical Conference on Circuits/Systems,Computers and Communications. (1993)

[Publications] 高橋 義造(監訳): "計算機設計技法:マルチプロセッサシステム論" トッパン, (1994)

渡辺尚静岡大学, 工学部, 助教授 (90201201)

[Publications] 太田剛: "Interprocess Program Slicingに関する一孝察" 1994年電子情報通信学会春季全国大会講演論文集. D. (1994)

[Publications] 加藤健: "エージェント結合方式に着目した分散協調システムの負荷分散への応用" 情報処理学会マルチメディア通信と分散処理ワークショップ論文集. 93. 17-26 (1993)

[Publications] 小川智之: "ノード間交渉に基づく負荷分散方式の提案と評価" 情報処理学会第47回全国大会講演論文集. 4. (1993)

[Publications] 高橋義造(監訳): "計算機設計技法:マルチプロセッサシステム論" トッパン, (1994)