Pat
J-GLOBAL ID：201403063367601016
解探索システム及び方法、解探索プログラム
Inventor：
,
,
,
Applicant, Patent owner：
Agent (1)：
安彦 元
Gazette classification：公開公報
Application number (International application number)：2012232402
Publication number (International publication number)：2014085733
Application date： Oct. 19, 2012
Publication date： May. 12, 2014
Summary：
【課題】高速かつ効率的にSAT問題を解くことが可能な解探索システムを提供することにある。【解決手段】揺らぎを持つデータを出力する複数のデータ生成ユニット11と、データ生成ユニット11から出力されたデータを読み取って情報に変換するデータ変換部12と、何れかの各データ生成ユニットに出力調節信号を送信することにより、上記データの出力を調節する出力調節部14と、データ変換部12により変換された情報及び予め入力された探索問題情報に基づいて、出力調節部14による出力調節信号の送信を制御するフィードバック制御部13とを備え、フィードバック制御部13は、出力調節信号の送信制御の繰り返しを経て最終的にデータ変換部12により変換されたデータ生成ユニット11からの出力データに関する情報に基づき、探索問題情報に対する解を表示する。【選択図】図1
Claim (excerpt)：
揺らぎを持つデータを出力する複数のデータ生成ユニットと、
上記データ生成ユニットから出力されたデータを読み取って情報に変換するデータ変換手段と、
何れかの上記各データ生成ユニットに出力調節信号を送信することにより、上記データの出力を調節する出力調節手段と、
上記データ変換手段により変換された情報及び予め入力された探索問題情報に基づいて、上記出力調節手段による出力調節信号の送信を上記データ生成ユニット毎に制御するフィードバック制御手段とを備え、
上記フィードバック制御手段は、上記出力調節信号の送信制御の繰り返しを経て最終的に上記データ変換手段により変換された上記データ生成ユニットからの出力データに関する情報に基づき、上記探索問題情報に対する探索解を表示すること
を特徴とする解探索システム。
IPC (1)：
FI (1)：
F-Term (1)：
Return to Previous Page
