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

2013 年度 実績報告書

線形変換とメモリを用いた論理合成に関する研究

研究課題

研究課題/領域番号 23300016
研究機関明治大学

研究代表者

笹尾 勤  明治大学, 理工学部, 教授 (20112013)

研究期間 (年度) 2011-04-01 – 2014-03-31
キーワード国際研究者交流, / 米国 / 線形関数 / 関数分解 / 不完全定義関数 / CAM(連想メモリ) / パターンマッチング / インデックス生成関数
研究概要

1.線形変換を用いて, インデックス生成関数の表現に必要な変数の個数を削減する効率の良い方法を開発した. 今期の大きな成果は以下の通りである. (1)多値のインデックス生成関数に関して, 線形変換を用いて変数を削減する方法を開発し, 専門雑誌(Journal of Multiple-Valued Logic and Soft Computing)に掲載された. 高速検索可能な辞書の圧縮に利用できる. (2)線形変換と自己相関関数の関係を明らかにし, 5月に開催された多値論理国際シンポジウム(ISMVL-2013)で発表した. (3)差分行列を用いて線形変換を求める方法を開発した. 本成果は, 2013年10月に開催された, SASIMIワークショップ(SASIMI-2013)に採択され, 論文賞(Outstanding Contribution Paper Award)を受賞した. (4)ランダムな不完全定義インデックス生成関数を表現するために必要な変数の個数の下界を求めた, この結果は, 2014年5月に開催される多値論理国際シンポジウム(ISMVL-2014)で発表予定である. (5)TCAMの簡単化法を開発した. ICCD-2013で採択された.
2. パケット分類を実行する高速論理回路の論文をMCSoC2013で発表し, 論文賞(Best Paper Award)を受賞した.
3.その他, 雑誌に投稿中の論文が採録された. IEICE(2件), ACM Transactions on Reconfigurable Technology and Systems(1件), Journal of Multiple-Valued Logic and Soft Computing (4件).

現在までの達成度 (区分)
理由

25年度が最終年度であるため、記入しない。

今後の研究の推進方策

25年度が最終年度であるため、記入しない。

  • 研究成果

    (15件)

すべて 2014 2013 その他

すべて 雑誌論文 (3件) (うち査読あり 1件) 学会発表 (11件) 備考 (1件)

  • [雑誌論文] A virus scanning engine using an MPU and an IGU based on row-shift decomposition2013

    • 著者名/発表者名
      H. Nakahara, T. Sasao, and M. Matsuura
    • 雑誌名

      IEICE Transactions on Information and Systems

      巻: Vol.E96-D, No.8 ページ: 1667-1675

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2013.html

  • [雑誌論文] On the number of products in prefix SOPs for interval functions2013

    • 著者名/発表者名
      I. Syafalni and T. Sasao
    • 雑誌名

      IEICE Trans. on Information and Systems

      巻: Vol. E96-D, No.5 ページ: 1086-1094

    • URL

      http://www.lsi-cad.com/sasao/Papers/pub2013.html

  • [雑誌論文] Multiple-valued index generation functions: Reduction of variables by linear transformation2013

    • 著者名/発表者名
      T. Sasao
    • 雑誌名

      Journal of Multiple-Valued Logic and Soft Computing

      巻: 21 ページ: 541-559

    • 査読あり
  • [学会発表] インデックス生成関数を表現するために必要な変数の個数の平均値について2014

    • 著者名/発表者名
      笹尾勤
    • 学会等名
      2014年 Design & Test Colloquium, (DTC2014)
    • 発表場所
      沼津
    • 年月日
      20140308-20140308
  • [学会発表] 不完全定義インデックス生成関数の線形変換を求める発見的手法2014

    • 著者名/発表者名
      笹尾勤、浦野雄太,井口幸洋
    • 学会等名
      電子情報通信学会, 第27回多値論理とその応用研究会,
    • 発表場所
      鹿児島
    • 年月日
      20140112-20140112
  • [学会発表] A heuristic method to find linear decompositions for incompletely specified index generation functions2013

    • 著者名/発表者名
      T. Sasao, Y. Urano, and Y. Iguchi
    • 学会等名
      The 18th workshop on Synthesis and system Integration of Mixed Information
    • 発表場所
      札幌
    • 年月日
      20131021-20131022
  • [学会発表] A TCAM generator for packet classification2013

    • 著者名/発表者名
      I. Syafalni and T. Sasao
    • 学会等名
      International Conference on Computer Design (ICCD-2013)
    • 発表場所
      Asheville, NC, USA
    • 年月日
      20131006-20131009
  • [学会発表] A packet classifier using parallel EVMDD(k) machine2013

    • 著者名/発表者名
      H. Nakahara, T. Sasao, and M. Matsuura
    • 学会等名
      7th IEEE International Symposium on Embedded Multicore SoCs
    • 発表場所
      東京
    • 年月日
      20130926-20130928
  • [学会発表] インデックス生成関数の表現に必要な変数の個数の下界について2013

    • 著者名/発表者名
      浦野雄太、笹尾勤、井口幸洋
    • 学会等名
      第36回多値論理フォーラム
    • 発表場所
      姫路
    • 年月日
      20130914-20130914
  • [学会発表] A packet classifier using LUT cascades based on EVMDDs(k)2013

    • 著者名/発表者名
      H. Nakahara, T. Sasao, and M. Matsuura,
    • 学会等名
      The 23rd International Conference on Field Programmable Logic and Applications
    • 発表場所
      Porto, Portugal
    • 年月日
      20130902-20130902
  • [学会発表] Cyclic row-shift decompositions for incompletely specified index generation functions2013

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      Internatioal Workshop on Logic and Synthesis
    • 発表場所
      Austin, Texas
    • 年月日
      20130607-20130608
  • [学会発表] Four decades of multi-valued logic: Lists of highly cited papers2013

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2013)
    • 発表場所
      富山
    • 年月日
      20130522-20130524
  • [学会発表] An application of autocorrelation functions to find linear decompositions for incompletely specified index generation functions2013

    • 著者名/発表者名
      T. Sasao
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2013)
    • 発表場所
      富山
    • 年月日
      20130522-20130524
  • [学会発表] A machine to evaluate decomposed multi-terminal multi-valued decision diagrams for characteristic functions2013

    • 著者名/発表者名
      H. Nakahara, T. Sasao and M. Matsuura
    • 学会等名
      International Symposium on Multiple-Valued Logic (ISMVL-2013)
    • 発表場所
      富山
    • 年月日
      20130522-20130524
  • [備考] Tsutomu Sasao

    • URL

      http://www.lsi-cad.com

URL: 

公開日: 2015-05-28  

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

Powered by NII kakenhi