生物過程的形式化建模及仿真.pdf

1、近年來，生物學(xué)的迅猛發(fā)展驚動了全世界。尤其在分子生物學(xué)和基因?qū)W方面，已由實驗獲得了大量的數(shù)據(jù)，如蛋白質(zhì)的網(wǎng)絡(luò)結(jié)構(gòu)和人類基因組草圖，單靠人力幾乎不可能從中推出一套與整個數(shù)據(jù)集相吻合的假說。此外，生物學(xué)家往往通過實驗來獲得生物系統(tǒng)在各種特定條件下的反應(yīng)結(jié)果，但是生物實驗的代價高昂，一定程度上對生物學(xué)的發(fā)展產(chǎn)生了阻礙作用。 為了幫助克服這些困難，計算機科學(xué)進(jìn)了生物界，并且發(fā)揮著越來越大的作用，如遺傳信息的自動處理、DNA 計算機的實現(xiàn)

2、、生物酶促反應(yīng)的模擬等。最常見例子的是計算機作為輔助工具，對生物分子過程進(jìn)行建模和分析，為生物學(xué)家提供一個友好的接口進(jìn)行模擬實驗。在大多數(shù)生物分子系統(tǒng)中，大量分子構(gòu)成了循環(huán)影響的復(fù)雜狀態(tài)，用一個計算模型來描述這樣的系統(tǒng)，就能預(yù)測并系統(tǒng)地解釋某些情況下極為復(fù)雜的動態(tài)行為。生物學(xué)家只需輸入相應(yīng)的數(shù)據(jù)，由計算機進(jìn)行虛擬反應(yīng)，預(yù)測實驗結(jié)果，從而對生物學(xué)的研究產(chǎn)生極為深遠(yuǎn)的影響。 然而用計算機模擬生物系統(tǒng)并不像人們想象得那么容易。首先，計

3、算機科學(xué)和生物學(xué)的表達(dá)機制有巨大差異；其次，生物系統(tǒng)的實際復(fù)雜度超過世界上任何一臺計算機；再者，模擬和預(yù)測生物系統(tǒng)的動態(tài)行為是對計算機領(lǐng)域的一大挑戰(zhàn)，也是目前很多學(xué)者研究的重心。 本文主要介紹了兩類生物過程的形式化方法。第一種是基于隨機Pi演算的生物過程建模。在原有基本隨機Pi演算的基礎(chǔ)上，引入連續(xù)性算法進(jìn)行模擬，使得模擬過程更加能夠清楚地表達(dá)出隨機Pi 演算的語義，為了驗證該連續(xù)性算法的有效性，我們對Stochastic Pi

4、 Machine 進(jìn)行修改，使融入連續(xù)性算法，從模擬的結(jié)果與實驗數(shù)據(jù)的一致性來看，該方法在宏觀模擬生物過程中效果顯著。 第二種是基于膜計算（Membrane Computing）的生物過程建模。不但擴展了原有的cell-like 膜計算，使其加入Gillespie算法，設(shè)計了新的Stochastic Membrane Computing而且開發(fā)了用于模擬StochasticMembrane Computing 的模擬工具。該模型