From 2014.igem.org

(Difference between revisions)

Latest revision as of 03:57, 18 October 2014

Safie by Technion-Israel

Why it Should Work

Why Alpha System Should Work – a deterministic model of alpha system

When modelling our system, we began with the simplest method known – deterministic rate equations. Moreover, from the design it was clear that the most important benchmark for the signal within the system would be the concentration of AHL as a function of time, so we began by modelling this part of our system. It took only a simple derivation (see [1]) to obtain these equations which characterize this part of the system:

(d[mRNA_LuxI])/(dt) = (v_B + v_Ak_A[AHL]²)/(1 + k_A[AHL]²) − γ_{mRNA_LuxI}[mRNA_LuxI] + GateI

(d[LuxI])/(dt) = α_LuxI[mRNA_LuxI] − γ_LuxI[LuxI]

(d[AHL])/(dt) = α_AHL[AHL] − γ_AHL[AHL]

(For a glossary see [1]).

We began to analyze this system by attempting to simplify it, by assuming a steady state solution wherever possible. Using this method (see [2]) we managed to obtain this equation:

(d[AHL])/(dt) = (v_B + v_Ak_A[AHL]²)/(1 + k_A[AHL]²) − γ_AHL[AHL] + GateI

It is clear from the goals of our system, that we want to have some sort of bi-stability in the result, when the term Gate I is small (see [2]). The answer to whether this condition is met, would obviously depend on the constants of the system for which we could not find a reliable source, but using a simple geometric analysis of the phase space (see [3]), we were able to produce a graph showing for which values of (v₁,v₂) we could configure the system (by changing the IPTG concentration and the OD) to show bi-stability:

Figure 1 On the left:a map of the values of the parameters of the system for which it is bi-stable (bi-stable in red, mono-stable in blue). On the right: a map of the normalized bi-stability parameter we have defined as a function of its parameters.

It is clear from this graph, that the alpha system is bi-stable for a large part of the range of possible inputs.

Why it Should Fail

Why Alpha System Should Fail – a stochastic model of alpha system

The above model assumes a low-noise system (as do all rate equation models), but especially when constructing a bi-stable network, it is important to consider the noise. To do this we need to create a stochastic model, which in our case, we based upon the commonly used Fokker Planck equation. Using the derivation found in [4] (Van Kampen "Stochastic Processes in Physics and Chemistry", Third Edition), we produced the Fokker Planck variant of the equation for the AHL concentration shown above

After analyzing this equation as explained in [5], we produced the following results (using a point on the (v₁,v₂) plane which the previous analysis showed would be bi-stable)

Figure 1 From Top To Bottom: Fokker Planck in the Alpha System when the system begins off, and then when it begins off: On the left is a heat map of the probability distribution function, as a function of time. On the right is a gif showing the probability distribution function over 100 timelapses

Clearly the “on” state (high AHL concentration - low on the graph) of our system is the more stable state of our system - so much so that it can spontaneously switch to the on state. This means that our system is bound to have a high likelihood of false positives.

RNA Splint

The RNA Splint – Deterministic and Stochastic Models of this Noise Reduction Method

When considering an additional design for our system, we thought of the idea for the RNA splint: Basically, instead of directly producing the AHL, the cell will use a system called an RNA Splint to build the mRNA encoding for the production of AHL, in two parts and also produce a third component which would combine the two.
Adjusting the equation for the production of AHL

(d[AHL])/(dt) = (v_B + v_Ak_A[AHL]²)/(1 + k_A[AHL]²) − γ_AHL[AHL] + GateI

for this change (see [6]), we obtain two new potential models:

(d[AHL])/(dt) = (v_B + v_Ak_A[AHL]⁶)/(1 + k_A[AHL]⁶) − γ_AHL[AHL] + GateI

(d[AHL])/(dt) = ⎛⎝(v_B + v_Ak_A[AHL]²)/(1 + k_A[AHL]²)⎞⎠³ − γ_AHL[AHL] + GateI

We thought these changes would improve the bi-stability of the system (thereby reducing the odds of a false positive), because they enhance the non-linearity inherent in the system which has been shown to play a vital role in the bi-stability of the system ([9],[10]). When producing a similar analysis for the phase plane of this gate as we did for the phase plane of the original equation (see [7]), we found the values of (v₁,v₂) for which the system is bi-stable, and compared this analysis to the results of the analysis of the original analysis.

Figure 2 From top to bottom: The Alpha System, the first model for the RNA Splint, and the second model for the RNA Splint. On the left:a map of the values of the parameters of the system for which it is bi-stable (bi-stable in red, mono-stable in blue). On the right: a map of the normalized bi-stability parameter we have defined as a function of its parameters.

It is clear from this graph, that the RNA Splint is more bi-stable than the original alpha system. Moreover, it is clear that in both models of the RNA Splint, it is bi-stable in the same points, but not to the same degree.

We then proceeded to produce the Fokker Planck equation for the new system (see [8]), and we got the following results:

Figure 2 Left to Right: The Alpha System, The 1^st Model for the RNA Splint, The 2^nd Model. Top to Bottom: the Heat Map and then the Time-Lapse of the system starting at each of the modes of actiavtion.

It is clear that the “on” (high AHL concentration - low on the graph) state of all of these systems is more stable than their off state, and that there is a high likelihood of the systems spontaneously mocing to the “on” state (i.e. false-positive). However, we may notice that for both models of RNA Splint, the time for a shift from the “off” state to the “on” state is longer than for the Alpha System which is to say, that there is a far lower chance of recieving a false positive.

Synthetic Biofilm Formation

A Simulated Model for the Azobenzene

We aimed to create a dynamic simulation of bacteria with Azobenzene molecules attached to their membranes. These molecules, once activated by an outside stimulus (usually a certain wavelength of photons) - will act as a sort of “Velcro” between the bacteria; they attach to other bacteria upon contact forming clusters.
The clusters of bacteria will thereafter act as one unit - a biofim.
With this model we opted for a "brute-force" simulation of particles in a fluid under the following terms:

• The simulation “Playground” will be a discreet matrix of the dimentions x × y × z.
• Each bacterium will occupy a 1 × 1 × 1 point in in space.
• For every t=t+1 passage of time, each bacterium “tumbles” a random amount of steps in a random direction, we called this a "Tumble Vector"
• Each bacterium can have either a “sticky” or “non-sticky” value corresponding to it. This is equivalent of assuming that all azobenzene molecules “switch on” at once in all directions.
• Each sticky bacterium (i.e. with a “sticky” value) will “attach” to any “neighbor” (i.e. a bacterium with a location of 0, ± 1 in either direction), after which they will “tumble” together as one cluster, with their direction being determined by summing up all the bacteria's "Tumble Vectors" together.
• Once a bacterium has a neighbor attached to it, they cannot separate and that neighbor's location is forever occupied by the same bacterium, it cannot be overridden.
• A sticky bacterium on the edge of a cluster can stick to any neighboring bacterium. If said neighbor is already a part of a cluster we now have two clusters joining to form a "super-cluster" – which does not vary in definition from a normal cluster programming-wise.

The simulation was written using C++, using tumble and playground sizes values to simulate the world of actual bacteria. The results were then rendered in MATLAB:

Figure 3 A simulation of the clustering of cells in the presence of AB. The simulation contains 10,000 cells of which 2,000 are sticky simulated over 400 secs, with a time-lapse of 4 seconds per image. We can clearly see that over half of the cells are joined into 1 cluster at the end of the simulation, leading us to believe that the clustering would have a visible effect on the OD of the sample.

Visit our Facebook page
Design: HTML5 UP & Technion_Israel Team
igem14il@gmail.com

@@ Line 356: / Line 356: @@
 						<div id="logo">
 							<h1 style="color: #ebebeb">Modeling</h1>
-							<p style="color: #ebebeb"></p>
+							<p style="color: #ebebeb">Click <a href="https://static.igem.org/mediawiki/2014/3/3d/Modeling-Everything_Ever.pdf" target="_blank" style="color:white;"><u>here</u></a> for full modeling file</p>
 						</div>
@@ Line 434: / Line 434: @@
                                      <ul class="sub1">
 <li id="child1"><a href="https://igem.org/2014_Judging_Form?id=1343" target="_blank">Judging Form</a></li>
-<li id="child1"><a href="https://2014.igem.org/Team:Technion-Israel/Judging#results">Results</a></li>
 <li id="child1"><a href="https://2014.igem.org/Team:Technion-Israel/Judging#biobrick">BioBricks</a></li>
-<li id="child1"><a href="https://2014.igem.org/Team:Technion-Israel/Judging#criteria">Judging Criteria</a></li>
+<li id="child1"><a href="https://2014.igem.org/Team:Technion-Israel/Judging#results">Results</a></li>
                                      </ul>
                                  </li>
@@ Line 475: / Line 474: @@
 </div>
 </div>
-<p style="font-size: 1.1em;">It is clear from the goals of our system, that we want to have some sort of bi-stability in the result, when Gate I is small (see [2]). The answer to whether this condition is met, would obviously depend on the constants of the system for which we could not find a reliable source, but using a simple geometric analysis of the phase space (see [3]), we were able to produce a graph showing for which values of (v_A,v_B) we could configure the system (by changing the IPTG concentration and the OD) to show bi-stability:</p>
+<p style="font-size: 1.1em;">It is clear from the goals of our system, that we want to have some sort of bi-stability in the result, when the term Gate I is small (see [2]). The answer to whether this condition is met, would obviously depend on the constants of the system for which we could not find a reliable source, but using a simple geometric analysis of the phase space (see [3]), we were able to produce a graph showing for which values of (v<sub>1</sub>,v<sub>2</sub>) we could configure the system (by changing the IPTG concentration and the OD) to show bi-stability:</p>
 <p style="font-size: 1.1em;">
 <div class="Unindented">
@@ Line 502: / Line 501: @@
 <center>
 <h1  style="font-size: 2em;">Why Alpha System Should Fail – a stochastic model of alpha system</h1>
-<p>The above model assumes a low-noise system (as do all rate equation models), but especially when constructing a bi-stable network, it is important to consider the noise. To do this we need to create a stochastic model, which in our case, we based upon the commonly used Fokker Planck equation. Using the derivation found in [4] (book on stochastic models from Roee), we produced the Fokker Planck variant of the equation for the AHL concentration derived in *(link to “Why Alpha System Should Work”)*</p>
+<p>The above model assumes a low-noise system (as do all rate equation models), but especially when constructing a bi-stable network, it is important to consider the noise. To do this we need to create a stochastic model, which in our case, we based upon the commonly used Fokker Planck equation. Using the derivation found in [4] (Van Kampen "Stochastic Processes in Physics and Chemistry", Third Edition), we produced the Fokker Planck variant of the equation for the AHL concentration shown above</p>
-<p>After analyzing this equation as explained in [5], we produced the following results (using a point on the (v_A,v_B) plane which the previous analysis showed would be bi-stable)</p>
+<p>After analyzing this equation as explained in [5], we produced the following results (using a point on the (v<sub>1</sub>,v<sub>2</sub>) plane which the previous analysis showed would be bi-stable)</p>
 <div class="Unindented">
 <div class="float">
@@ Line 534: / Line 533: @@
 <h1  style="font-size: 2em;">The RNA Splint – Deterministic and Stochastic Models of this Noise Reduction Method</h1>
 <p style="color:#919499">When considering an additional design for our system, we thought of the idea for the RNA splint:
-Basically, instead of directly producing the AHL, the cell will use a system called an RNA Splint (*link to RNA Splint*) to build the mRNA encoding for the production of  AHL, in two parts and also produce a third component which would combine the two.<br>Adjusting the equation for the production of AHL <div class="formula">
+Basically, instead of directly producing the AHL, the cell will use a system called an <a href="https://2014.igem.org/Team:Technion-Israel/Project#rna" style="color:#919499">RNA Splint</a> to build the mRNA encoding for the production of  AHL, in two parts and also produce a third component which would combine the two.<br>Adjusting the equation for the production of AHL <div class="formula">
 <span  style="color:#919499"><span class="fraction"><span class="ignored">(</span><span class="numerator"><i>d</i><span class="symbol">[</span><i>AHL</i><span class="symbol">]</span></span><span class="ignored">)/(</span><span class="denominator"><i>dt</i></span><span class="ignored">)</span></span> = <span class="fraction"><span class="ignored">(</span><span class="numerator"><i>v</i><sub><i>B</i></sub> + <i>v</i><sub><i>A</i></sub><i>k</i><sub><i>A</i></sub><span class="symbol">[</span><i>AHL</i><span class="symbol">]</span><sup>2</sup></span><span class="ignored">)/(</span><span class="denominator">1 + <i>k</i><sub><i>A</i></sub><span class="symbol">[</span><i>AHL</i><span class="symbol">]</span><sup>2</sup></span><span class="ignored">)</span></span> − <i>γ</i><sub><i>AHL</i></sub><span class="symbol">[</span><i>AHL</i><span class="symbol">]</span> + <i>GateI</i>
-</div></span></p> <p  style="color:#919499">for this change (see [6]), we obtain:</p>
+</div></span></p> <p  style="color:#919499">for this change (see [6]), we obtain two new potential models:</p>
 <div class="formula" style="color:#919499">
 <span class="fraction"><span class="ignored">(</span><span class="numerator"><i>d</i><span class="symbol">[</span><i>AHL</i><span class="symbol">]</span></span><span class="ignored">)/(</span><span class="denominator"><i>dt</i></span><span class="ignored">)</span></span> = <span class="fraction"><span class="ignored">(</span><span class="numerator"><i>v</i><sub><i>B</i></sub> + <i>v</i><sub><i>A</i></sub><i>k</i><sub><i>A</i></sub><span class="symbol">[</span><i>AHL</i><span class="symbol">]</span><sup>6</sup></span><span class="ignored">)/(</span><span class="denominator">1 + <i>k</i><sub><i>A</i></sub><span class="symbol">[</span><i>AHL</i><span class="symbol">]</span><sup>6</sup></span><span class="ignored">)</span></span> − <i>γ</i><sub><i>AHL</i></sub><span class="symbol">[</span><i>AHL</i><span class="symbol">]</span> + <i>GateI</i>
 </div>
-<p style="color:#919499">We thought these changes would improve the bi-stability of the system (thereby reducing the odds of a false positive), because they enhance the non-linearity inherent in the system which has been shown to play a vital role in the bi-stability of the system (see [9] – Gardner et. al. [10] – Cold Spring Harbor Vernalization, other sources we copied from [10]). When producing a similar analysis for the phase plane of this gate as we did for the phase plane of the original equation (see [7]), we found the values of (v_A,v_B) for which the system is bi-stable, and compared this analysis to the results of the analysis of the original analysis.</p>
+<div class="formula" style="color:#919499">
+<span class="fraction"><span class="ignored">(</span><span class="numerator"><i>d</i><span class="symbol">[</span><i>AHL</i><span class="symbol">]</span></span><span class="ignored">)/(</span><span class="denominator"><i>dt</i></span><span class="ignored">)</span></span> = <span class="array"><span class="arrayrow"><span class="bracket align-left">⎛</span></span><span class="arrayrow"><span class="bracket align-left">⎝</span></span></span><span class="fraction"><span class="ignored">(</span><span class="numerator"><i>v</i><sub><i>B</i></sub> + <i>v</i><sub><i>A</i></sub><i>k</i><sub><i>A</i></sub><span class="symbol">[</span><i>AHL</i><span class="symbol">]</span><sup>2</sup></span><span class="ignored">)/(</span><span class="denominator">1 + <i>k</i><sub><i>A</i></sub><span class="symbol">[</span><i>AHL</i><span class="symbol">]</span><sup>2</sup></span><span class="ignored">)</span></span><span class="array"><span class="arrayrow"><span class="bracket align-right">⎞</span></span><span class="arrayrow"><span class="bracket align-right">⎠</span></span></span><sup>3</sup> − <i>γ</i><sub><i>AHL</i></sub><span class="symbol">[</span><i>AHL</i><span class="symbol">]</span> + <i>GateI</i>
+</div>
+<p style="color:#919499">We thought these changes would improve the bi-stability of the system (thereby reducing the odds of a false positive), because they enhance the non-linearity inherent in the system which has been shown to play a vital role in the bi-stability of the system ([9],[10]). When producing a similar analysis for the phase plane of this gate as we did for the phase plane of the original equation (see [7]), we found the values of (v<sub>1</sub>,v<sub>2</sub>) for which the system is bi-stable, and compared this analysis to the results of the analysis of the original analysis.</p>
 <p style="color:#919499">
 <div class="Unindented">
@@ Line 606: / Line 611: @@
 							</article>
 <center>
+<p style:="line-height:1.75em;">
 <h1 style="font-size:2em;">A Simulated Model for the Azobenzene</h1>
-<p style:="line-height:1.75em;"><br>We aimed to create a dynamic simulation of bacteria with Azobenzene molecules attached to their membranes. These molecules, once activated by an outside stimulus (usually a certain wavelength of photons) - will act as a sort of “Velcro” between the bacteria; they attach to other bacteria upon contact forming clusters. <br>
+<br>
-The clusters of bacteria will thereafter act as one unit - a biofim.<br>
+We aimed to create a dynamic simulation of bacteria with Azobenzene molecules attached to their membranes. These molecules, once activated by an outside stimulus (usually a certain wavelength of photons) - will act as a sort of “Velcro” between the bacteria; they attach to other bacteria upon contact forming clusters.
-With this model we opted for a "brute-force" simulation of particles in a fluid under the following terms:<br><br>
+<br>
-&#149; The simulation “Playground” will be a discreet matrix of the dimentions x × y × z.<br>
+The clusters of bacteria will thereafter act as one unit - a biofim.
-&#149; Each bacterium will occupy a 1 × 1 × 1 point in in space.<br>
+<br>
-&#149; For every t=t+1 passage of time, each bacterium “tumbles” a random amount of steps in a random direction, we called this a "Tumble Vector"<br>
+With this model we opted for a "brute-force" simulation of particles in a fluid under the following terms:
-&#149; Each bacterium can have either a “sticky” or “non-sticky” value corresponding to it. This is equivalent of assuming that all azobenzene molecules “switch on” at once in all directions.<br>
+<br>
-&#149; Each sticky bacterium (i.e. with a “sticky” value) will “attach” to any “neighbor” (i.e. a bacterium with a location of 0, ± 1 in either direction), after which they will “tumble” together as one cluster, with their direction being determined by summing up all the bacteria's "Tumble Vectors" together.<br>
-&#149; Once a bacterium has a neighbor attached to it, they cannot separate and that neighbor's location is forever occupied by the same bacterium, it cannot be overridden.<br>
+</p>
-&#149; A sticky bacterium on the edge of a cluster can stick to any neighboring bacterium. If said neighbor is already a part of a cluster we now have two clusters joining to form a "super-cluster" – which does not vary in definition from a normal cluster programming-wise.<br><br>
+</center>
+<div style="margin-left:15%; width:70%;">
+<ul>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<li>&#149;&nbsp;&nbsp;The simulation “Playground” will be a discreet matrix of the dimentions x × y × z.</li>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<li>&#149;&nbsp;&nbsp; Each bacterium will occupy a 1 × 1 × 1 point in in space.</li>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<li>&#149;&nbsp;&nbsp; For every t=t+1 passage of time, each bacterium “tumbles” a random amount of steps in a random direction, we called this a "Tumble Vector"</li>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<li>&#149;&nbsp;&nbsp; Each bacterium can have either a “sticky” or “non-sticky” value corresponding to it. This is equivalent of assuming that all azobenzene molecules “switch on” at once in all directions.</li>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<li>&#149;&nbsp;&nbsp; Each sticky bacterium (i.e. with a “sticky” value) will “attach” to any “neighbor” (i.e. a bacterium with a location of 0, ± 1 in either direction), after which they will “tumble” together as one cluster, with their direction being determined by summing up all the bacteria's "Tumble Vectors" together.</li>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<li>&#149;&nbsp;&nbsp; Once a bacterium has a neighbor attached to it, they cannot separate and that neighbor's location is forever occupied by the same bacterium, it cannot be overridden.</li>
+&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<li>&#149;&nbsp;&nbsp; A sticky bacterium on the edge of a cluster can stick to any neighboring bacterium. If said neighbor is already a part of a cluster we now have two clusters joining to form a "super-cluster" – which does not vary in definition from a normal cluster programming-wise.</li>
+</ul>
+</div>
+<br>
+<center>
+<p style:="line-height:1.75em;">
 The simulation was written using C++, using tumble and playground sizes values to simulate the world of actual bacteria. The results were then rendered in MATLAB:<br>
+</p>
 <div class="float">
 <a class="Label" name="Figure-3"> </a><div class="figure">
@@ Line 628: / Line 656: @@
 </div>
+</center>
-</center>
 						</div>

Team:Technion-Israel/Modeling

From 2014.igem.org

Latest revision as of 03:57, 18 October 2014

Modeling

Why Alpha System Should Fail – a stochastic model of alpha system

A Simulated Model for the Azobenzene