文献

J-GLOBAL ID：201802217485636208   整理番号：18A0845765

充足可能性問題のための分岐と限界を用いた非同期Pシステム【JST・京大機械翻訳】

An Asynchronous P System Using Branch and Bound for the Satisfiability Problem

著者 (2件)： Jimen Yuki ,  Fujiwara Akihiro
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： CANDAR  ページ： 408-413  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 細胞活性に基づく計算モデルである膜コンピューティングは,計算の新しいパラダイムの一つとしてかなりの注目を集めている。一般的な膜コンピューティングにおいて,計算的に困難な問題を,指数関数的数の膜を用いて多項式数のステップで解いた。しかし,膜数の減少は,Pシステムをより現実的なモデルにするために考慮しなければならない。本論文では,膜数を低減するために,良く知られた最適化手法である分枝と境界を用いた非同期Pシステムを提案した。提案したPシステムは,n変数とm節を持つ充足可能性問題(SAT)を解決し,O(m2^n)逐次ステップまたはO(mn)並列ステップで動作する。提案したPシステムで用いた膜の数を計算機シミュレーションを用いて評価した。実験結果は,提案したPシステムの有効性を示した。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【JST・京大機械翻訳】

シソーラス用語： 多項式 ,  計算機シミュレーション ,  計算 ,  指数関数 ,  *充足可能性問題 ,  モデル ,  最適化手法 ,  計算モデル ,  細胞活性 ,  計算機利用 ,  利用
準シソーラス用語： 膜コンピューティング , 【Automatic Indexing@JST】

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (4件)： 充足可能性問題 ,  分岐 ,  限界 ,  非同期