Formalized Model And Analysis For The Life Cycle Of The Lambda Phage

In the last decades, the interdisciplinary research between the field of Computer Science and other subjects has been escalating and rapidly growing, one of the most important research directions is the combination of computer science and system biology. This kind of combination contains two aspects, one is the development of computer basic study such as process algebra extends to the system biology and arises to some process models which are suitable to the biology, such as theκ-Calculus, Brane Calculus and BioAmbients. They can model and make reason, then analyze the feature of the calculus through the description of the biological process. The other aspect is to abstract the computation model from the structure and function of the biological systems, these model can be applied to the Computer Science, such as the Membrane Computing. This thesis is just based on the two directions, uses two kinds of biological process calculiκ-Calculus and Brane Calculus and P System which is abstracted from the structure and the function of the cell to model the biological process ofλphage erode Escherichia coli cell. According to each model, we analyze the characteristic and make comparison from different points. In the course of modeling, we also make certain changes against to each method. In theκ-Calculus, we introduce the virtual site and in Brane Calculus we construct the macro-operations on the original operations, and add some other operations.