3-SAT問題細(xì)胞型膜計(jì)算模型遺傳優(yōu)化設(shè)計(jì)研究.pdf

1、膜計(jì)算屬于自然計(jì)算研究領(lǐng)域中一個非常重要的研究熱點(diǎn)，其在國內(nèi)外研究者們大力發(fā)展下，已經(jīng)取得了豐碩的研究成果。膜計(jì)算模型自動設(shè)計(jì)是膜計(jì)算研究領(lǐng)域中一個嶄新而又極具挑戰(zhàn)的研究課題。它是指通過算法或程序自動產(chǎn)生滿足需要的膜系統(tǒng)，以減少設(shè)計(jì)復(fù)雜性，提高設(shè)計(jì)效率。
　　目前，膜計(jì)算模型自動設(shè)計(jì)研究在計(jì)算單項(xiàng)式和多項(xiàng)式方面取得了一些成果，但在解決NP難問題方面還未涉及。SAT問題在NP難問題中具有重要地位，被廣泛應(yīng)用于人工智能、計(jì)算及輔助制造

2、等多個領(lǐng)域中。因此，本文由簡入繁，以細(xì)胞型膜系統(tǒng)為研究對象，給出3-SAT問題細(xì)胞型膜計(jì)算模型遺傳優(yōu)化設(shè)計(jì)方法。論文主要工作及研究成果如下:
　　1、給出了兩種3-SAT問題帶電荷細(xì)胞型膜計(jì)算模型遺傳優(yōu)化設(shè)計(jì)方法。在闡述設(shè)計(jì)思路和明確設(shè)計(jì)目標(biāo)之后，根據(jù)細(xì)胞型膜系統(tǒng)膜結(jié)構(gòu)特點(diǎn)，分別給出膜結(jié)構(gòu)不變和膜結(jié)構(gòu)可變兩種設(shè)計(jì)方法;在此基礎(chǔ)上，給出了膜系統(tǒng)三要素編碼方式、評價(jià)方法設(shè)計(jì)、遺傳操作算子選擇及遺傳參數(shù)設(shè)置等。通過仿真實(shí)驗(yàn)表明，兩種設(shè)計(jì)

3、方法都是可行的、有效的;并經(jīng)過相互比較分析，表明基于膜結(jié)構(gòu)可變的帶電荷膜計(jì)算模型設(shè)計(jì)方法效果更好。
　　2、給出一種基于膜結(jié)構(gòu)可變的3-SAT問題催化細(xì)胞型膜計(jì)算模型遺傳優(yōu)化設(shè)計(jì)方法。在闡述催化細(xì)胞型膜系統(tǒng)優(yōu)勢基礎(chǔ)上，明確了設(shè)計(jì)思想和設(shè)計(jì)目標(biāo)，引入了催化劑族以及對膜系統(tǒng)編碼方式和評價(jià)方法進(jìn)行改進(jìn)，最終通過仿真實(shí)驗(yàn)驗(yàn)證了該方法是可行的和有效的。同時(shí)，通過與帶電荷細(xì)胞型膜系統(tǒng)比較分析，表明3-SAT問題催化細(xì)胞型膜計(jì)算模型遺傳優(yōu)化設(shè)計(jì)