06月12日(Tue) 15:30〜20:00 E会場(-山口県教育会館／第四研修室(72))
| 演題番号 | 1E3-OS-4-5 |
|---|---|
| 題目 | 時系列信号処理に基づくSAT解法:Wave-SATソルバの実現に向けて |
| 著者 | 宮城 智輝(コンピュータ・メディア工学科) 山本 泰生(山梨大学大学院医学工学総合研究部) 岩沼 宏治(山梨大学大学院医学工学総合研究部コンピュータ・メディア工学専攻担当) |
| 時間 | 06月12日(Tue) 16:50〜17:10 |
| 概要 | 本論文では，時系列信号処理に基づく新しいSAT解法を提案する．命題変数をある時系列信号とみなし，論理演算子のNOT，AND，ORをそれぞれ信号の位相変換，掛け合わせ，重ね合わせに対応づける．これにより入力される命題論理式はある合成波信号に変換される．本稿では，この合成波からSAT判定が行なえるような信号変換手法を提案する．またDSPを用いて行なった提案手法の性能評価についても報告する． |
| 論文 | PDFファイル |