λ噬菌體生活周期的形式化建模與分析.pdf

1、隨著計算機(jī)科學(xué)的發(fā)展，它與其他學(xué)科交叉產(chǎn)生很多了新的研究領(lǐng)域，其中與系統(tǒng)生物學(xué)的結(jié)合就是一個重要的研究方向。這主要包括兩方面的內(nèi)容：其一是計算機(jī)基礎(chǔ)科學(xué)，例如進(jìn)程代數(shù)的發(fā)展延伸至生物學(xué)中，產(chǎn)生了適合某些生物子領(lǐng)域中的模型，從而可以對生物過程進(jìn)行建模和推理，并通過對生物過程的表述分析該種演算的特點(diǎn)，如κ-演算、Brane演算、BioAmbient等；其二是將從生物系統(tǒng)中的各種結(jié)構(gòu)和功能中抽象出計算模型，應(yīng)用到計算機(jī)科學(xué)中，如膜計算(Mem

2、brane Computing)等。 本文正是在這兩個方向的基礎(chǔ)上，使用兩種生物進(jìn)程演算(κ-演算和Brane演算)，以及一種從生物細(xì)胞的結(jié)構(gòu)和功能中抽象出來的計算模型(P系統(tǒng))對λ噬菌體侵蝕大腸桿菌細(xì)胞的特定生物過程進(jìn)行建模，并分析各個模型的特點(diǎn)，從多個角度進(jìn)行比較。在建模的過程中，針對各個方法的特點(diǎn)，也適當(dāng)?shù)貙ρ菟阕隽艘恍└淖儯喝缭讦?演算中引入虛擬位點(diǎn)，在Brane演算中，基于原有的操作構(gòu)建宏操作以及添加一些額外操作等。