2011 Fiscal Year Annual Research Report
| Project/Area Number |
23300016
|
|---|
| Research Institution | Kyushu Institute of Technology |
|---|
Principal Investigator |
笹尾 勤 九州工業大学, 大学院情報工学研究院, 教授 (20112013)
|
|---|
| Keywords | 線形変換 / 関数分解 / 不完全定義関数 / CAM（連想メモリ) / インデックス生成関数 / コンピュータウイルス検出 / パターンマッチング |
|---|
| Research Abstract |
線形変換を用いることにより、インデックス生成関数を表現するための変数の個数を削減する効率の良いプログラムを開発した。これにより、関数実現に必要なメモリ量を大幅に削減できるようになった。今期の大きな成果は以下の通りである。
１．フィンランドで開催された国際会議ISMVL-2011（多値論理国際シンポジウム）で、インデックス生成関数に関する招待講演を行った。また、それを纏めた論文が専門雑誌（Journal of Multiple-Valued Logic and Soft Computing）に招待論文として掲載される予定である。
２．メモリを用いた論理合成に関する単行本を米国から出版した。T. Sasao, "Memory-Based Logic Synthesis," Springer March 2011.このうち、インデックス生成関数に関する部分は、pp.88-135である。線形変換を用いて、変数を削減する方法に関しては、基本的な部分のみ書かれている。さらに能率の良い方法を開発のため、来年度以降も研究を続ける予定である。３．LSI設計に関するトップレベルの国際会議(ASPDAC2012とDATE2012)に線形変換の論文が採択された。また、国際会議DATE2012のデモセッションで、実演を行った。４．繰り越し分の予算を用いて、来訪が遅れていたJon T. Butler教授が日本に来訪し、75日間にわたる共同研究を行った。また、共同研究の成果として、二つの国際会議論文を発表した。
|
| Current Status of Research Progress |
Current Status of Research Progress
2: Research has progressed on the whole more than it was originally planned.
Reason
線形変換の方法として、ある程度、実用的なアルゴリズムが開発できた。
線形変換は、コンピュータネットワーク用ルータやウイルスチェック回路の合成に有効なことが明らかになった。
|
| Strategy for Future Research Activity |
関数のクラスにより、アルゴリズムが有効なものとそうでないものが明らかになってきた、今後は、種々の関数に対して有効な複数のアルゴリズムを開発して、
関数の性質により、アルゴリズムを使い分けることにより、効率を改善する必要がある。
|
