SATにおける節の構成とラグランジュニューラルネットワークによる解法の効率に関する研究(一般講演)
スポンサーリンク
概要
- 論文の詳細を見る
Satisfiability problem (SAT) of the prepositional calculus is a problem to find a variable assignment which satisfies the given Boolean expression in conjunctive normal form (CNF). The SAT is one of the most fundamental and important problems in the field of information science. We proposed a neural network called LPPH (Lagrange Programming neural network with Polarized High-order connections) for solving the SAT. We also proposed several improvement for the LPPH , such as LPPH with attenuation coefficient and double weighted LPPH. In this paper we propose a method to add new clause to the given CNF to speedup the LPPH.
- バイオメディカル・ファジィ・システム学会の論文
- 2000-10-28
著者
関連論文
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- ニューラルネットワークの並列実行によるSATの解法
- 再収れん経路の解析による故障リストの空判定を用いた同時故障シミュレーションの高速化
- 再収れん経路の解析による故障リストの空判定を用いた同時故障シミュレーションの高速化
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- ファジィグラフの連結構造分析を用いたオブジェクト指向ソフトウェアにおけるクラス構造の複雑さに関する考察
- 一対比較法を用いたメンバ間の依存関係の定量化と保守性の指標に関する考察
- 再収れん経路の解析による故障リストの空判定を用いた同時故障シミュレーションの高速化
- 情報科学教育におけるアルゴリズム記述に関する研究
- ニューラルネットワークと列挙法の組み合わせによるSATの解法
- オブジェクトの構造的な複雑さに関する考察
- 情報科学教育におけるアルゴリズム記述用言語
- 入力パターン並列処理による故障リストの空判定を用いた同時故障シミュレーションの高速化
- 検出済み故障を考慮した同時故障シミュレーションの高速化手法
- 故障リストの空判定と入力パターン並列処理による同時故障シミュレーションの高速化
- 各信号線で制御可能な値の解析による冗長故障の判定
- 各信号線で制御可能な値の解析による冗長故障の判定
- 並列処理システムにおける同期のためのオーバーヘッドの削減とスケジューリングについて
- ラグランジュの方法による仮説推論に関する研究(一般講演)
- SATにおける節の構成とラグランジュニューラルネットワークによる解法の効率に関する研究(一般講演)
- 目的関数付き充足可能性問題に対するラグランジュの方法を用いた近似解法(一般講演)
- 最大充足可能性問題に対するラグランジュの方法を用いた近似解法(一般講演)
- 反応粒子場による動的データベースを取りこんだ記号粒子蓄積型ニューロンモデル(ファジィ・ニューロ)
- 記号粒子蓄積型ニューロンモデルにおける反応モデル(一般講演11)
- ラグランジュの方法による制約充足問題の解法(一般講演,ライフサイエンスとソフトンピューティング)
- 充足可能性問題のラグランジュの方法による解法への発見的手法に関する研究(一般講演)
- 分散ネットワークシステムにおける教育と運用
- 9P-C-3 モーションサンプルと窓を使用した複数移動物体の追跡(C会場 大学院生・学部学生 奨励賞セッション)
- 充足可能性問題を解くニューラルネットワークの相互結合網による実現について(一般講演,ライフサイエンスとソフトンピューティング)
- コラム配線手法を用いた詳細配線
- SATのラグランジュの方法による解法
- 配線問題のラグランジュの方法による解法
- 2段階配線手法とコラム配線手法を用いた自動配線について
- コラム配線手法による高密度自動配線
- 並列処理システムにおける同期のためのオ-バヘッドの削減について
- FIFOキューを同期手段とする並列プログラムの実行における同期のためのオーバーヘッドの削減について(計算アルゴリズムの基礎理論)
- 多層チャネル配線に要するチャネル幅の上界について
- 2層および3層チャネル配線に要するチャネル幅の上界について
- 高速利用のための知識の構造化に関する研究
- モーションサンプルと窓を使用した粒子フィルタによる複数移動物体の追跡
- 29P-C-3 品質を考慮に入れたスケジューリング問題に関する研究(トラッキング・最適化,一般講演)
- 30P-A-9 オフショア開発におけるプロジェクト管理の最適化(最適化,一般講演)
- 29P-C-2 粒子フィルタと窓を使用したジェスチャ追跡(トラッキング・最適化,一般講演)
- 30P-A-11 クラウドサービスにおける仮想サーバ-物理サーバ割当に関する最適化(最適化,一般講演)
- 30P-A-10 選言的制約充足手法を用いたUMLクラス図の自動レイアウト(最適化,一般講演)
- 29P-B-6 車両型ロボットの経路探索に関する研究(知的システム,一般講演)
- ワインの香りに対する官能的かつ化学的分析手法の開発