1994 Fiscal Year Annual Research Report
| Project/Area Number |
05452352
|
|---|
| Research Institution | KYOTO UNIVERSITY |
|---|
Principal Investigator |
矢島 脩三 京都大学, 工学部, 教授 (20025901)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
安岡 孝一 京都大学, 大型計算機センター, 助手 (20230211)
荻野 博幸 京都大学, 工学部, 教務職員 (40144323)
武永 康彦 京都大学, 工学部, 助手 (20236491)
濱口 清治 京都大学, 工学部, 講師 (80238055)
高木 直史 名古屋大学, 工学部, 助教授 (10171422)
|
|---|
| Keywords | 論理関数 / 二分決定グラフ / 論理関数処理 / 論理設計支援 / 並列アルゴリズム / 計算複雑さ / 内容アドレスメモリ / 組合せ問題 |
|---|
| Research Abstract |
本研究では、共有二分決定グラフによる論理関数処理の高速化に関して理論と応用の両面から基礎的研究をおこなった。
1.論理関数処理のアルゴリズム・計算複雑さに関する研究
しきい値関数を表現する二分決定グラフのサイズについて研究をおこなった。その結果、変数の重みが指数的な大きさを持つしきい値関数族の中には、どのような変数順序においても指数サイズとなるものが存在することを明らかにし、さらに、変数順序とサイズの関係についても考察をおこなった。
2.論理関数処理機構に関する研究
メモリの高集積化技術の発展にともない非常に高い並列性を実現できると考えられる、内容アドレスメモリ(CAM)上で、その並列性を用いて、共有二分決定グラフの既約化の処理をおこなう手法を提案した。本手法では、部分一致検索によるデータアクセスに加え、並列書き込み機能を利用し高速化を図っている。
3.論理関数処理に基づく設計支援に関する研究
論理関数処理の論理設計支援への応用として、非同期式順序回路の種々の状態割り当てについて、その解を得る手法を提案した。各状態への状態変数の割り当てが満たすべき条件を論理式の形で与えることにより、小規模な例については最小状態変数の解を得ることに成功した。また、論理設計支援以外の分野への応用として、ブール処理を用いて種々の組合せ問題を解く手法を提案した。この手法は、解の条件を論理式で表すだけで容易に種々の問題に適用が可能である。
|
Research Products
(5 results)
-
[Publications] Yasuhiko TAKENAGA: "Computational Complexity of Manipulating Binary Decision Diagyams" IEICE Trans.Inf.&Syst.E77-D. 642-647 (1994)
-
[Publications] Yasuhiko TAKENAGA: "On the Computational Power of Binary Decision Diagrams" IEICE Trans.Inf.&Syst.E77-D. 611-618 (1994)
-
[Publications] Shuzo YAJIMA: "Combinatorial Algorithms Using Boolean Processing" 情報処理学会論文誌. 35. 1661-1673 (1994)
-
[Publications] Shuzo YAJIMA: "Minimum One-Shot State Assignment for Asynchronous Seguential Machines Using BDD" 情報処理学会論文誌. 35. 1888-1899 (1994)
-
[Publications] Yasuhiko TAKENAGA: "On the Size of Ordered Binary Decision Diagrams Representing Threshold Functions" Proceedings of 5th International Symposium on Algorithms and Computation. 584-592 (1994)
