• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

1994 年度 実績報告書

論理関数高速処理機構に関する基礎的研究

研究課題

研究課題/領域番号 05452352
研究機関京都大学

研究代表者

矢島 脩三  京都大学, 工学部, 教授 (20025901)

研究分担者 安岡 孝一  京都大学, 大型計算機センター, 助手 (20230211)
荻野 博幸  京都大学, 工学部, 教務職員 (40144323)
武永 康彦  京都大学, 工学部, 助手 (20236491)
濱口 清治  京都大学, 工学部, 講師 (80238055)
高木 直史  名古屋大学, 工学部, 助教授 (10171422)
キーワード論理関数 / 二分決定グラフ / 論理関数処理 / 論理設計支援 / 並列アルゴリズム / 計算複雑さ / 内容アドレスメモリ / 組合せ問題
研究概要

本研究では、共有二分決定グラフによる論理関数処理の高速化に関して理論と応用の両面から基礎的研究をおこなった。
1.論理関数処理のアルゴリズム・計算複雑さに関する研究
しきい値関数を表現する二分決定グラフのサイズについて研究をおこなった。その結果、変数の重みが指数的な大きさを持つしきい値関数族の中には、どのような変数順序においても指数サイズとなるものが存在することを明らかにし、さらに、変数順序とサイズの関係についても考察をおこなった。
2.論理関数処理機構に関する研究
メモリの高集積化技術の発展にともない非常に高い並列性を実現できると考えられる、内容アドレスメモリ(CAM)上で、その並列性を用いて、共有二分決定グラフの既約化の処理をおこなう手法を提案した。本手法では、部分一致検索によるデータアクセスに加え、並列書き込み機能を利用し高速化を図っている。
3.論理関数処理に基づく設計支援に関する研究
論理関数処理の論理設計支援への応用として、非同期式順序回路の種々の状態割り当てについて、その解を得る手法を提案した。各状態への状態変数の割り当てが満たすべき条件を論理式の形で与えることにより、小規模な例については最小状態変数の解を得ることに成功した。また、論理設計支援以外の分野への応用として、ブール処理を用いて種々の組合せ問題を解く手法を提案した。この手法は、解の条件を論理式で表すだけで容易に種々の問題に適用が可能である。

  • 研究成果

    (5件)

すべて その他

すべて 文献書誌 (5件)

  • [文献書誌] Yasuhiko TAKENAGA: "Computational Complexity of Manipulating Binary Decision Diagyams" IEICE Trans.Inf.&Syst.E77-D. 642-647 (1994)

  • [文献書誌] Yasuhiko TAKENAGA: "On the Computational Power of Binary Decision Diagrams" IEICE Trans.Inf.&Syst.E77-D. 611-618 (1994)

  • [文献書誌] Shuzo YAJIMA: "Combinatorial Algorithms Using Boolean Processing" 情報処理学会論文誌. 35. 1661-1673 (1994)

  • [文献書誌] Shuzo YAJIMA: "Minimum One-Shot State Assignment for Asynchronous Seguential Machines Using BDD" 情報処理学会論文誌. 35. 1888-1899 (1994)

  • [文献書誌] 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)

URL: 

公開日: 1996-04-08   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi