分散システムの論理的解析と最適化

1994 年度 実績報告書

• 研究課題/領域番号: 06044112
• 研究機関: 京都大学
• 研究代表者: 茨木 俊秀 京都大学, 工学部, 教授 (50026192)
• 研究分担者: KOGAN Alexan Rutgers大学, Rutcor研究所, 助教授 ; BOROS Endre Rutgers大学, Rutcor研究所, 準教授 ; PILARSKI Slo Simon Fraser大学, 計算学部, 助教授 ; LIESTMAN Art Simon Fraser大学, 計算学部, 教授 ; HELL Povol Simon Fraser大学, 計算学部, 教授 ; KAMEDA Tiko Simon Fraser大学, 計算学部, 教授 ; 柳浦 睦憲 京都大学, 工学部, 助手 (10263120) ; 茨木 智 京都大学, 工学部, 助手 (10252488) ; 永持 仁 京都大学, 工学部, 助教授 (70202231)
• キーワード: 分散システム / 論理的解析 / 最適化 / ブール関数 / コテリ

研究概要

この共同研究では、分散システムの論理的解析を通じて、分散システムの構造と機能を動的な側面と静的な側面から解明し、その結果に基づいて最適化をはかることを目的としている。また、そのために必要なアルゴリズムを開発し、それらの論理的、実際的評価も合せて行う。平成6年度は3年間の計画の初年度として以下の研究活動を行なった。
1.夏の間、茨木がカナダ国 Simon Fraser大学とアメリカ合衆国 Rutgers大学を訪問し、Kameda教授のグループおよびHammer教授のグループと本共同研究を始めるにあたっての相談をし、今後の研究計画を定めた。同時に、分散システムの論理的解析の研究も行なった。
2.9月の一カ月、Rutgers大学からBoros教授を招聘し、データのブール関数に基づく論理的解析に関する共同研究を行ない、ブール理論の存在判定性のアルゴリズムを構成した。
3.10〜11月にかけ一カ月間 Simon Fraser大学からKameda教授を招へいし、分散システムの最適化に関する共同研究を行なった。具体的には、ATMネットワークにおけるタイマーの最適制御を実現するアルゴリズムを明らかにした。
4.平成7年3月の一カ月間、Boros教授を再び招聘し、データのブール関数に基づく論理的解析に関する共同研究を続行した。その結果さまざまな関数のクラスに対し、ブール理論の最良な拡張に関する計算の複雑さが明らかになった。

研究成果

• [文献書誌] J.C.Bioch,T.Ibaraki: "Decompositions of positive self-dual Boolean functions" Discrete Mathematics. (掲載予定). (1995)
• [文献書誌] J.C.Bioch,T.Ibaraki: "Generating and approximating non-dominated coteries" IEEE Trans.on Parallel and Distributed Systems (掲載予定). (1995)
• [文献書誌] T.Ibaraki,H.Nagamochi,T.Kameda: "Optimal coteries for rings and related networks" Distributed Computing. (掲載予定). (1995)
• [文献書誌] E.Boros,V.Gurvich,P.L.Hammer,T.Ibaraki,A.Kogan: "Decomposability of partially defined Boolean functions" Annals of Operations Research. (掲載予定). (1995)