Team:ETH Zurich/modeling/xor

From 2014.igem.org

(Difference between revisions)
m
(Deterministic simulation)
 
(8 intermediate revisions not shown)
Line 1: Line 1:
{{:Team:ETH Zurich/tpl/head|XOR Gate}}
{{:Team:ETH Zurich/tpl/head|XOR Gate}}
 +
{{:Team:ETH Zurich/tpl/fortables}}
 +
<center>
{{:Team:ETH Zurich/tpl/scrollbutton3|Model|blue}}
{{:Team:ETH Zurich/tpl/scrollbutton3|Model|blue}}
{{:Team:ETH Zurich/tpl/scrollbuttontworows|Transfer|Function|red}}
{{:Team:ETH Zurich/tpl/scrollbuttontworows|Transfer|Function|red}}
 +
</center>
<html><article id="Model"></html>
<html><article id="Model"></html>
Line 11: Line 14:
=== XOR Logic Gate ===
=== XOR Logic Gate ===
-
The logic gate we consider has two binary inputs and one binary output.
+
We consider a binary exclusive or (XOR) logic gate, with two inputs and one output.
<br/>  
<br/>  
<br/>
<br/>
-
[[File:ETH_Zurich_XOR_Logic_Gate.png|400px|center|thumb|Truth table of the XOR logic gate.]]
+
[[File:ETH_Zurich_XOR_Logic_Gate.png|400px|center|thumb|'''Figure 1''' Truth table of the XOR logic gate.]]
=== Biological Principles ===
=== Biological Principles ===
Line 27: Line 30:
<br>
<br>
<br>
<br>
-
The terminator can be flipped once if either DBxb1 or ΦC31 is present. The state T<sub>off</sub> can be caused by two reasons. We further decompose it into two different states: T<sub>offBxb1</sub>(flipping due to presence of Bxb1) and T<sub>offΦC31</sub>(flipping due to presence of ΦC31).
+
The terminator can be flipped once if either DBxb1 or ΦC31 is present. The state T<sub>off</sub> can be reached via two possible transitions. We further decompose it into two different states: T<sub>offBxb1</sub>(flipping due to presence of Bxb1) and T<sub>offΦC31</sub>(flipping due to presence of ΦC31).
<br>
<br>
<br>
<br>
-
[[File:ETH Zurich XOR Toffs.png|400px|center|thumb|Decomposition of the on output into two terminator states.]]
+
[[File:ETH Zurich XOR Toffs.png|400px|center|thumb|'''Figure 2''' Decomposition of the on output into two terminator states.]]
<br>
<br>
<br>
<br>
Line 36: Line 39:
<br>
<br>
<br>
<br>
-
[[File:ETH Zurich XOR Tons.png|400px|center|thumb|Decomposition of the off output into two terminator states.]]
+
[[File:ETH Zurich XOR Tons.png|400px|center|thumb|'''Figure 3''' Decomposition of the off output into two terminator states.]]
<br>
<br>
<br>
<br>
Line 42: Line 45:
=== XOR bio''logic''  gate ===
=== XOR bio''logic''  gate ===
-
[[File:ETH_Zurich_XOR_Biologic_Gate.png|center|600px|thumb|Truth table of the XOR biologic gate: Summary of the model, coupled with the biological explanation.]]
+
[[File:ETH_Zurich_XOR_Biologic_Gate.png|center|600px|thumb|'''Figure 4''' Truth table of the XOR biologic gate: Summary of the model, coupled with the biological explanation.]]
=== Other Chemical Species ===
=== Other Chemical Species ===
Line 89: Line 92:
\end{align*}$$<html></center></html>
\end{align*}$$<html></center></html>
-
To have the equivalent for the strain producing LuxAHL as output, it suffices to remplace every occurence of LasI by LuxI.
+
To have the equivalent for the strain producing LuxAHL as output, it suffices to replace every occurence of LasI by LuxI.
<html></article></html>
<html></article></html>
<html><article id="Transfer"></html>
<html><article id="Transfer"></html>
 +
== Transfer Function ==
== Transfer Function ==
Line 115: Line 119:
At steady state, the transfer function obtained by simulation is shown on the next figure. It is remarkable to see that even a little amount of one integrase is sufficient to switch the XOR gate on.
At steady state, the transfer function obtained by simulation is shown on the next figure. It is remarkable to see that even a little amount of one integrase is sufficient to switch the XOR gate on.
<br>
<br>
-
[[File:ETHZ_XORmodule.png|center|600px|thumb|The behaviour of XOR module as a function of activated Bxb1 sites (SABxb1) and ΦC31 sites (SAΦC31). The XOR behaviour is continuous since we modelled it deterministically.]]
+
[[File:ETHZ_XORmodule.png|center|600px|thumb|'''Figure 5''' The behaviour of XOR module as a function of activated Bxb1 sites (SABxb1) and ΦC31 sites (SAΦC31). The XOR behaviour is continuous since we modelled it deterministically.]]
<html></article></html>
<html></article></html>

Latest revision as of 23:33, 17 October 2014

iGEM ETH Zurich 2014