Team:USTC-China/modeling

From 2012.igem.org

(Difference between revisions)
(new)
(reference)
 
(22 intermediate revisions not shown)
Line 84: Line 84:
<div class="stage">
<div class="stage">
-
<p>The function of the anticro is to repress the expression of cro. That means the anticro can strongly prevent the lambda phage from turning into lytic life cycle. It is the toggle switch in the genome of lambda phage that control the decision of lysogenic or lytic life cycle and it is the target of our anticro. So, we study the steady state property of two system, without and with our designed genetic circuit separately. Finally, we give the phase graphs to show the steady state property visibly and draw the vector diagram to simulate the fate of each point on the graph.
+
 
-
</p>
+
<div id="menu" class="menuword">
<div id="menu" class="menuword">
-
<h1><a href="#0">I. Mathematical models</a></h1>
+
 
 +
<h1.5><a href="#0">I. Mathematical models</a></h1.5>
<ol>
<ol>
<li><a href="#1"> Toggle Switch without designed genetic circuit</a></li>
<li><a href="#1"> Toggle Switch without designed genetic circuit</a></li>
Line 94: Line 94:
<li><a href="#5"> Value Table</a></li>
<li><a href="#5"> Value Table</a></li>
</ol>
</ol>
-
<h1><a href="#4">II. computer simulations</a></h1>
+
<h1.5><a href="#4">II. Computer simulations</a></h1.5>
 +
</br>
 +
<h1.5><a href="#6">III. Reference</a></h1.5>
 +
 
</div>
</div>
-
<p>We study the steady state property of two system, without and with our designed genetic circuit separately.</p>
+
</br>
 +
 
<h2><a name="0">I. Mathematical models</a></h2>
<h2><a name="0">I. Mathematical models</a></h2>
 +
<p>The function of the anticro is to repress the expression of cro. That means the anticro can strongly prevent the lambda phage from turning into lytic life cycle. It is the toggle switch in the genome of lambda phage that control the decision of lysogenic or lytic life cycle and it is the target of our anticro. So, we study the steady state property of two system, without and with our designed genetic circuit separately. Finally, we give the phase graphs to show the steady state property visibly and draw the stream diagram to simulate the fate of each point on the graph.
 +
</p>
 +
<p>We study the steady state property of two system, without and with our designed genetic circuit separately.</p>
<h2><a name="1">Toggle Switch without designed genetic circuit</a></h2>
<h2><a name="1">Toggle Switch without designed genetic circuit</a></h2>
<p>The chemical reactions are:</p>
<p>The chemical reactions are:</p>
-
<img src="https://static.igem.org/mediawiki/2012/f/f3/1.jpg">
+
<img src="https://static.igem.org/mediawiki/2012/7/73/Ustc-igem_m1.jpg">
<p>According to the Law of mass action, we can easily write down the equation approximations to reduce these equations.</p></br>
<p>According to the Law of mass action, we can easily write down the equation approximations to reduce these equations.</p></br>
<p>First of all, we do quasi-steady state approximation for dimerization reactions</p>
<p>First of all, we do quasi-steady state approximation for dimerization reactions</p>
-
<img src="https://static.igem.org/mediawiki/2012/1/15/2.jpg">
+
<img src="https://static.igem.org/mediawiki/2012/a/a1/Ustc-igem_modeling2.jpg">
<p>where <img src="https://static.igem.org/mediawiki/2012/6/62/11.jpg"> and <img src="https://static.igem.org/mediawiki/2012/8/8d/12.jpg"> are the total concentration of <img src="https://static.igem.org/mediawiki/2012/9/94/13.jpg"> and <img src="https://static.igem.org/mediawiki/2012/e/ed/14.jpg">.</p>
<p>where <img src="https://static.igem.org/mediawiki/2012/6/62/11.jpg"> and <img src="https://static.igem.org/mediawiki/2012/8/8d/12.jpg"> are the total concentration of <img src="https://static.igem.org/mediawiki/2012/9/94/13.jpg"> and <img src="https://static.igem.org/mediawiki/2012/e/ed/14.jpg">.</p>
<p>Besides, we decide to take the degradation into account in the very end step. So, considering the conservation of
<p>Besides, we decide to take the degradation into account in the very end step. So, considering the conservation of
binding site</P>
binding site</P>
-
<img src="https://static.igem.org/mediawiki/2012/7/79/3.jpg>
+
<img src="https://static.igem.org/mediawiki/2012/2/2a/Ustc-igem_m3.jpg">
<p>Where R is the total binding site number, we get</p>
<p>Where R is the total binding site number, we get</p>
-
<img src="https://static.igem.org/mediawiki/2012/d/d0/4.jpg">
+
<img src="https://static.igem.org/mediawiki/2012/d/d8/Ustcm4.jpg">
<p>The above equations give us the expression of <img src="https://static.igem.org/mediawiki/2012/d/db/15.jpg">.
<p>The above equations give us the expression of <img src="https://static.igem.org/mediawiki/2012/d/db/15.jpg">.
The final step is to write down the evolution equations for <img src="https://static.igem.org/mediawiki/2012/9/94/13.jpg"> and <img src="https://static.igem.org/mediawiki/2012/e/ed/14.jpg">.</br>
The final step is to write down the evolution equations for <img src="https://static.igem.org/mediawiki/2012/9/94/13.jpg"> and <img src="https://static.igem.org/mediawiki/2012/e/ed/14.jpg">.</br>
-
<img src="https://static.igem.org/mediawiki/2012/0/03/5.jpg">
+
<img src="https://static.igem.org/mediawiki/2012/2/22/Ustcm5.jpg">
<p>where</p>
<p>where</p>
-
<img src="https://static.igem.org/mediawiki/2012/1/18/6.jpg">
+
<img src="https://static.igem.org/mediawiki/2012/c/c9/Ustcm6.jpg">
<h2><a name="2">Toggle Switch with designed genetic circuit</a></h2>
<h2><a name="2">Toggle Switch with designed genetic circuit</a></h2>
<p>There is a difference if we add our designed genetic circuit:</p>
<p>There is a difference if we add our designed genetic circuit:</p>
-
<img src="https://static.igem.org/mediawiki/2012/f/fe/7.jpg">
+
<img src="https://static.igem.org/mediawiki/2012/6/67/Ustcm7.jpg">
<p>where <img src="https://static.igem.org/mediawiki/2012/8/85/16.jpg"> refers to <img src="https://static.igem.org/mediawiki/2012/6/64/17.jpg">.</p>
<p>where <img src="https://static.igem.org/mediawiki/2012/8/85/16.jpg"> refers to <img src="https://static.igem.org/mediawiki/2012/6/64/17.jpg">.</p>
<p>Three additional equation should be taken into account</p>
<p>Three additional equation should be taken into account</p>
-
<img src="https://static.igem.org/mediawiki/2012/8/8c/8.jpg">
+
<img src="https://static.igem.org/mediawiki/2012/6/6a/Ustcm8.jpg">
-
<p>The above gives us the expression for <img src="https://static.igem.org/mediawiki/2012/a/a2/18.jpg">, which is a function of <img src="https://static.igem.org/mediawiki/2012/e/e8/19.jpg">. It is then straightforward to derive <img src="https://static.igem.org/mediawiki/2012/c/ca/20.jpg> from the following</p>
+
<p>The above gives us the expression for <img src="https://static.igem.org/mediawiki/2012/a/a2/18.jpg">, which is a function of <img src="https://static.igem.org/mediawiki/2012/3/3a/Popsprm.png">. It is then straightforward to derive <img src="https://static.igem.org/mediawiki/2012/c/ca/20.jpg"> from the following</p>
-
<img src="https://static.igem.org/mediawiki/2012/3/30/9.jpg">
+
<img src="https://static.igem.org/mediawiki/2012/1/1e/Ustcm9.jpg">
<p>Once obtained <img src="https://static.igem.org/mediawiki/2012/c/ca/20.jpg">, substitute it into the following to get the final equation</p>
<p>Once obtained <img src="https://static.igem.org/mediawiki/2012/c/ca/20.jpg">, substitute it into the following to get the final equation</p>
<img src="https://static.igem.org/mediawiki/2012/a/ae/10.jpg">
<img src="https://static.igem.org/mediawiki/2012/a/ae/10.jpg">
Line 130: Line 137:
<h2><a name="3">Result</a></h2>
<h2><a name="3">Result</a></h2>
-
<p>We found that for the parameters in the value table, there is no real solution for both the two part in the following
+
<p>We plot the stream diagram for <img src="https://static.igem.org/mediawiki/2012/6/62/11.jpg"> and <img src="https://static.igem.org/mediawiki/2012/8/8d/12.jpg">:</p>
-
equation <img src="https://static.igem.org/mediawiki/2012/0/03/21.jpg">The reason of this problem probably stems from the parameters <img src="https://static.igem.org/mediawiki/2012/1/13/22.jpg"> differs too much with <img src="https://static.igem.org/mediawiki/2012/6/64/23.jpg"> , thus it is impossible for the equation to have real solution. We
+
-
plot the stream diagram for <img src="https://static.igem.org/mediawiki/2012/6/62/11.jpg"> and <img src="https://static.igem.org/mediawiki/2012/8/8d/12.jpg">:</p>
+
<img src="https://static.igem.org/mediawiki/2012/5/54/Pic1.jpg">
<img src="https://static.igem.org/mediawiki/2012/5/54/Pic1.jpg">
</br></br></br>
</br></br></br>
<img src="https://static.igem.org/mediawiki/2012/3/37/Pic2.jpg">
<img src="https://static.igem.org/mediawiki/2012/3/37/Pic2.jpg">
-
<p>We can see the apparent two steady states on this phase graph. The vector diagram shows the changing trend of each point.</p>
+
<p>We can see the apparent two steady states on this phase graph. The stream diagram shows the changing trend of each point.</p>
<p>After adding our designed circuit, the stream flow diagram is</p>
<p>After adding our designed circuit, the stream flow diagram is</p>
<img src="https://static.igem.org/mediawiki/2012/b/bb/Pic3.jpg">
<img src="https://static.igem.org/mediawiki/2012/b/bb/Pic3.jpg">
Line 145: Line 150:
<img src="https://static.igem.org/mediawiki/2012/a/ad/24.jpg">
<img src="https://static.igem.org/mediawiki/2012/a/ad/24.jpg">
-
<h2><a name="4">II. computer simulations</a></h2>
+
<h2><a name="4">II. Computer simulations</a></h2>
<p>In order to show the visible process of our engineered bacteria defending against the bacteriophage, we write a JAVA program to simulate the evolution of the colony which is invaded by the bacteriophage. The program interface is showed below:</p>
<p>In order to show the visible process of our engineered bacteria defending against the bacteriophage, we write a JAVA program to simulate the evolution of the colony which is invaded by the bacteriophage. The program interface is showed below:</p>
<img src="https://static.igem.org/mediawiki/2012/e/e1/QQ%E6%88%AA%E5%9B%BE%E6%9C%AA%E5%91%BD%E5%90%8D.jpg" width="775">
<img src="https://static.igem.org/mediawiki/2012/e/e1/QQ%E6%88%AA%E5%9B%BE%E6%9C%AA%E5%91%BD%E5%90%8D.jpg" width="775">
-
<p>Here is the description of our JAVA program: (if you want to operate the program skipping the description, please <a href="http://home.ustc.edu.cn/~xjdu/igem2012_USTC_China.htm">click here</a>.)</p>
+
<p>Here is the description of our JAVA program: (if you want to skip the description and operate the program directly, please <a href="http://home.ustc.edu.cn/~xjdu/igem2012_USTC_China.htm">click here</a>.)</p>
-
<p>The blue box: presents the lysogenies</p>
+
<p>The <font color="blue">blue</font> box: presents the lysogenies</p>
-
<p>The red box: presents the phage in the host is in lytic life cycle</p>
+
<p>The <font color="red">red</font> box: presents the phage in the host is in lytic life cycle</p>
-
<p>The grey box: presents the normal bacterium</p>
+
<p>The <font color="grey">grey </font>box: presents the normal bacterium</p>
<p>The amount of this three kinds of bacteria have been set as three changeable parameters in our program. The other three changeable parameters are:</p>
<p>The amount of this three kinds of bacteria have been set as three changeable parameters in our program. The other three changeable parameters are:</p>
-
<p>P1: The newly infected cells turn into lytic life cycle at possibility of P1 and turn into lysogenic life cycle at possibility 1-P1.</p>
+
<p><strong>P1</strong>: The newly infected cells turn into lytic life cycle at possibility of P1 and turn into lysogenic life cycle at possibility 1-P1.</p>
-
<p>P2: The lysogen suicides at possibility of P2.</p>
+
<p><strong>P2</strong>: The lysogen suicides at possibility of P2.</p>
-
<p>P3: At the grids marked as competence states, the lysogenic marks win the occupancy of these grids in the competence at possibility of P3. Thus, the marks represent competence states transform into lysogenic marks at possibility of P3 and transform into normal marks at possibility of 1-P3.</p>
+
<p><strong>P3</strong>: At the grids marked as competence states, the lysogenic marks win the occupancy of these grids in the competence at possibility of P3. Thus, the marks represent competence states transform into lysogenic marks at possibility of P3 and transform into normal marks at possibility of 1-P3.</p>
<p>Model: </p>
<p>Model: </p>
Line 187: Line 192:
<p>Here is  our JAVA program:  <a href="http://home.ustc.edu.cn/~xjdu/igem2012_USTC_China.htm">click here</a>.</p>
<p>Here is  our JAVA program:  <a href="http://home.ustc.edu.cn/~xjdu/igem2012_USTC_China.htm">click here</a>.</p>
 +
<h2><a name="6">Reference</a></h2>
 +
<ul>
 +
<li>Timothy S. Gardner*, Charles R. Cantor* & James J. Collins*: Construction of a genetic toggle switch in Escherichia coli. NATURE, VOL 403, 20 JANUARY 2000</li>
 +
 +
<li>Moises Santillan*, Michael C. Mackey: Why the Lysogenic State of Phage λ Is So Stable: A Mathematical Modeling Approach. Biophysical Journal volume 86, issue 1, Jan 2004, page 75-84</li>
 +
 +
<li>Paul J. Darling, Jo M. Holt and Gary K. Ackers: Coupled Energetics of l cro Repressor Self-assembly and Site-specific DNA Operator Binding II: Cooperative Interactions of cro Dimers. J. Mol. Biol. (2000) 302, 625-638</li>
 +
 +
<li>Chunbo Lou, Xili Liu, Ming Ni: Synthesizing a novel genetic sequential logic circuit: a push-on push-off switch. Molecular Systems Biology 6:350</li>
 +
</br>
 +
</br>
</div>
</div>
</div><!--the centercontent-->
</div><!--the centercontent-->

Latest revision as of 13:08, 26 September 2012

MODELING


I. Mathematical models

The function of the anticro is to repress the expression of cro. That means the anticro can strongly prevent the lambda phage from turning into lytic life cycle. It is the toggle switch in the genome of lambda phage that control the decision of lysogenic or lytic life cycle and it is the target of our anticro. So, we study the steady state property of two system, without and with our designed genetic circuit separately. Finally, we give the phase graphs to show the steady state property visibly and draw the stream diagram to simulate the fate of each point on the graph.

We study the steady state property of two system, without and with our designed genetic circuit separately.

Toggle Switch without designed genetic circuit

The chemical reactions are:

According to the Law of mass action, we can easily write down the equation approximations to reduce these equations.


First of all, we do quasi-steady state approximation for dimerization reactions

where and are the total concentration of and .

Besides, we decide to take the degradation into account in the very end step. So, considering the conservation of binding site

Where R is the total binding site number, we get

The above equations give us the expression of . The final step is to write down the evolution equations for and .

where

Toggle Switch with designed genetic circuit

There is a difference if we add our designed genetic circuit:

where refers to .

Three additional equation should be taken into account

The above gives us the expression for , which is a function of . It is then straightforward to derive from the following

Once obtained , substitute it into the following to get the final equation

Result

We plot the stream diagram for and :




We can see the apparent two steady states on this phase graph. The stream diagram shows the changing trend of each point.

After adding our designed circuit, the stream flow diagram is




This result demonstrates the efficiency of the anticro of repressing the lytic life cycle.

Value Table

II. Computer simulations

In order to show the visible process of our engineered bacteria defending against the bacteriophage, we write a JAVA program to simulate the evolution of the colony which is invaded by the bacteriophage. The program interface is showed below:

Here is the description of our JAVA program: (if you want to skip the description and operate the program directly, please click here.)

The blue box: presents the lysogenies

The red box: presents the phage in the host is in lytic life cycle

The grey box: presents the normal bacterium

The amount of this three kinds of bacteria have been set as three changeable parameters in our program. The other three changeable parameters are:

P1: The newly infected cells turn into lytic life cycle at possibility of P1 and turn into lysogenic life cycle at possibility 1-P1.

P2: The lysogen suicides at possibility of P2.

P3: At the grids marked as competence states, the lysogenic marks win the occupancy of these grids in the competence at possibility of P3. Thus, the marks represent competence states transform into lysogenic marks at possibility of P3 and transform into normal marks at possibility of 1-P3.

Model:

Grid model of solid LB medium

1. The cell can only reproduce new cells when there are empty grids around it.

2. The newly assembled and emitted phages will only infect the cells in the grids around its host.

3. The step length of time for this JAVA applet to operate is the time of a cell cycle.

4. The basic level of expression of the lysis gene and the quorum sensing among cells are ignored.

5. We adopt the Monte-Carlo simulation to deal with the process of competence among cells

Description of the algorithm

The process of infection:

1. When the host is lysed by the newly reproduced phages, the cells in the grids around it will be infected by the emitted phages and the grid the host occupied will return to be empty.

2. The newly infected cells turn into lytic life cycle at possibility of P1 and turn into lysogenic life cycle at possibility 1-P1.

The process of growth of the cell:

1. The normal cell can only reproduce new cells when there are empty grids around it.

2. The lysogen suicides at possibility of P2 and reproduce a new lysogen at empty grid around it.

3. If a empty grid abut both a normal cell and a lysogen and both the two cell will reproduce new cell, the offspring of the lysogen win the empty grid at possibility of P3.

Procedures of the algorithm

1. Arrange three kinds of cells(grey: the normal cell, red: the host in which the phage is at lytic life cycle, blue: the lysogen) at the screen according to the parameters at random.

2. The red cell is lysed and releases the grid it occupied. All the cells in the grids abut the lysed host will be infected.

3. Scan the screen again. The newly infected cells turn into lytic life cycle at possibility of P1 and turn into lysogenic life cycle at possibility 1-P1.

4. The normal cell sets marks represent the reproduction of normal cells (called the normal marks) in the grids around it.

5. The lysogen suicides at possibility of P2. Otherwise, it sets marks represent the reproduction of lysogens (called the lysogenic marks) in the grids around it. If some of these grids around the lysogen have been marked as reproduction of normal cells, then the lysogen marks these grids as competence states.

6. At the grids marked as competence states, the lysogenic marks win the occupancy of these grids in the competence at possibility of P3. Thus, the marks represent competence states transform into lysogenic marks at possibility of P3 and transform into normal marks at possibility of 1-P3.

7. Those grids with normal mark are occupied by the newly reproduced normal cells and those grids with lysogenic mark are occupied by the lysogenies.

Here is our JAVA program: click here.

Reference

  • Timothy S. Gardner*, Charles R. Cantor* & James J. Collins*: Construction of a genetic toggle switch in Escherichia coli. NATURE, VOL 403, 20 JANUARY 2000
  • Moises Santillan*, Michael C. Mackey: Why the Lysogenic State of Phage λ Is So Stable: A Mathematical Modeling Approach. Biophysical Journal volume 86, issue 1, Jan 2004, page 75-84
  • Paul J. Darling, Jo M. Holt and Gary K. Ackers: Coupled Energetics of l cro Repressor Self-assembly and Site-specific DNA Operator Binding II: Cooperative Interactions of cro Dimers. J. Mol. Biol. (2000) 302, 625-638
  • Chunbo Lou, Xili Liu, Ming Ni: Synthesizing a novel genetic sequential logic circuit: a push-on push-off switch. Molecular Systems Biology 6:350