ETHZ/FlipFlop
From 2007.igem.org
Line 32: | Line 32: | ||
<!--1st drop down menu --> | <!--1st drop down menu --> | ||
<div id="dropmenu_home" class="dropmenudiv_a"> | <div id="dropmenu_home" class="dropmenudiv_a"> | ||
- | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ#Introduction">Introduction | + | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ#Introduction">Introduction</a> |
- | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ#Team_Members">Team Members | + | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ#Team_Members">Team Members</a> |
- | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ#Acknowledgments">Acknowledgments | + | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ#Acknowledgments">Acknowledgments</a> |
- | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ#Site_Map">Site map | + | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ#Site_Map">Site map</a> |
</div> | </div> | ||
Line 41: | Line 41: | ||
<!--2nd drop down menu --> | <!--2nd drop down menu --> | ||
<div id="dropmenu_modeling" class="dropmenudiv_a" style="width: 150px;"> | <div id="dropmenu_modeling" class="dropmenudiv_a" style="width: 150px;"> | ||
- | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Model#Introduction">Introduction | + | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Model#Introduction">Introduction</a> |
- | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Model#Model_Overview">Model Overview | + | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Model#Model_Overview">Model Overview</a> |
- | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Model#Detailed_Model">Detailed Model | + | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Model#Detailed_Model">Detailed Model</a> |
- | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Model#Final_Model">Final Model | + | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Model#Final_Model">Final Model</a> |
<a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Modeling_Basics">Modeling Basics Page</a> | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Modeling_Basics">Modeling Basics Page</a> | ||
- | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Model#Mathematical_Model">Mathematical Model | + | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Model#Mathematical_Model">Mathematical Model</a> |
<a href="https://2007.igem.org/wiki/index.php?title=ETHZ/FSM">FSM View Page</a> | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/FSM">FSM View Page</a> | ||
<a href="https://2007.igem.org/wiki/index.php?title=ETHZ/FlipFlop">Flip-Flop View Page</a> | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/FlipFlop">Flip-Flop View Page</a> | ||
Line 54: | Line 54: | ||
<!--3rd drop down menu --> | <!--3rd drop down menu --> | ||
<div id="dropmenu_simulation" class="dropmenudiv_a" style="width: 150px;"> | <div id="dropmenu_simulation" class="dropmenudiv_a" style="width: 150px;"> | ||
- | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Simulation#Introduction">Introduction | + | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Simulation#Introduction">Introduction</a> |
- | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Simulation#Simulation_of_Test_Cases">Test Cases | + | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Simulation#Simulation_of_Test_Cases">Test Cases</a> |
- | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Simulation#Sensitivity_Analysis">Sensitivity Analysis | + | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Simulation#Sensitivity_Analysis">Sensitivity Analysis</a> |
</div> | </div> | ||
<!--4th drop down menu --> | <!--4th drop down menu --> | ||
<div id="dropmenu_biology" class="dropmenudiv_a" style="width: 150px;"> | <div id="dropmenu_biology" class="dropmenudiv_a" style="width: 150px;"> | ||
- | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Biology#Introduction">Introduction | + | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Biology#Introduction">Introduction</a> |
- | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Biology#The_Complete_System">The Complete System | + | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Biology#The_Complete_System">The Complete System</a> |
- | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Biology#System_Phases">System Phases | + | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Biology#System_Phases">System Phases</a> |
<a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Biology/parts">System Parts Page</a> | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Biology/parts">System Parts Page</a> | ||
<a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Biology/Lab">Lab Notes Page</a> | <a href="https://2007.igem.org/wiki/index.php?title=ETHZ/Biology/Lab">Lab Notes Page</a> |
Revision as of 13:33, 26 October 2007
An Engineer's View on Biological Learning
An equivalent system behavior can be realized using [http://en.wikipedia.org/wiki/Flip-flop_%28electronics%29 flip-flops], implemented by [http://en.wikipedia.org/wiki/Logic_gate logical gates]:
As already shown in the finite state machine representation (FSM), the proposed system consists of three different states and recognizes four different inputs. In total, this adds up to twelve different transitions. In order to implement these twelve transitions with a digital system, at least four binary inputs are required (allowing for a maximum of 16 transitions) and since the proposed system has four different outputs, at least two binary outputs are required. Here, we chose an implementation using two JK flip-flops consisting of [http://en.wikipedia.org/wiki/Nand_gate#NAND_gate NAND gates]. An overview of the resulting system is given in Fig. 1 and details concerning flip-flop and NAND gate behavior are given in the following table:
J | K | Qnext | A | B | A NAND B | |
---|---|---|---|---|---|---|
0 | 0 | Qprev | 0 | 0 | 1 | |
0 | 1 | 0 | 0 | 1 | 1 | |
1 | 0 | 1 | 1 | 0 | 1 | |
1 | 1 | [http://en.wikipedia.org/wiki/Inverse_%28logic%29 ¬]Qprev | 1 | 1 | 0 |
When initializing the system we set both outputs Q to zero. The mapping from inputs (AHL+IPTG, IPTG, AHL+aTc, aTc) and system states (q0, q1, q2) to the binary inputs (J1, K1, J2, K2) is given by following table:
states/inputs | AHL+IPTG | IPTG | AHL+aTc | aTc |
---|---|---|---|---|
q0 | J1=0, K1=1, J2=1, K2=0 | J1=0, K1=0, J2=0, K2=1 | J1=1, K1=0, J2=0, K2=1 | J1=0, K1=1, J2=0, K2=1 |
q1 | J1=0, K1=1, J2=1, K2=0 | J1=0, K1=0, J2=0, K2=1 | J1=0, K1=1, J2=0, K2=0 | J1=0, K1=0, J2=1, K2=1 |
q2 | J1=1, K1=0, J2=0, K2=0 | J1=1, K1=1, J2=0, K2=0 | J1=1, K1=0, J2=0, K2=1 | J1=0, K1=1, J2=0, K2=1 |
Here, we assume that the FSM system states q0, q1, q2 are mapped to the outputs Q1 and Q2 as follows:
FSM states/output coding | Q1 | Q2 |
---|---|---|
q0 | 0 | 0 |
q0 | 0 | 1 |
q0 | 1 | 0 |
The final mapping from transitions to the biological reporters is then given by:
J1=0, K1=1, J2=1, K2=0 | J1=0, K1=0, J2=0, K2=1 | J1=1, K1=0, J2=0, K2=1 | J1=0, K1=1, J2=0, K2=1 | J1=0, K1=1, J2=1, K2=0 | J1=0, K1=0, J2=0, K2=1 | J1=0, K1=1, J2=0, K2=0 | J1=0, K1=0, J2=1, K2=1 | J1=1, K1=0, J2=0, K2=0 | J1=1, K1=1, J2=0, K2=0 | J1=1, K1=0, J2=0, K2=1 | J1=0, K1=1, J2=0, K2=1 |
---|---|---|---|---|---|---|---|---|---|---|---|
cyan | cyan | red | cyan | cyan | cyan | yellow | green | cyan | cyan | cyan | yellow |