Team:UNIPV-Pavia/Project

From 2008.igem.org

Revision as of 12:33, 24 June 2008 by Lor18 (Talk | contribs)


Home.jpg Home Unipv logo.jpg The Team And.jpg The Project Safety.jpg Biological Safety Dna.png Parts Submitted to the Registry
Laptop.jpg Dry Lab Pipette.jpg Wet Lab Math.gif Modeling Note.jpg Protocols Notebook.gif Activity Notebook


Contents

Overall project

We are trying to mimic Multiplexer (Mux) and Demultiplexer (Demux) logic functions in E. coli.
In the following paragraphs project details will be described from both digital electronic and genetic points of view.

Electronic Implementation


What kind of components are Mux and Demux?

Mux is a component which conveys one of the two input channels values into a single output channel. The choice of the input channel is made by a selector.
Demux is a component which conveys the only input channel value into one of the two output channels. The choice of the output channel is made by a selector.

The following pictures show data flow in Mux and Demux:

Data flow in Multiplexer - SELECTOR=0
Data flow in Multiplexer - SELECTOR=1
Data flow in Demultiplexer - SELECTOR=0
Data flow in Demultiplexer - SELECTOR=1


What kind of signals do we process?

In this project we consider Boolean logic signals, thus every input/output value can assume only the values: 0 and 1. A function that processes Boolean values is called logic function.
Mux and Demux can be considered by now as black boxes which implement a logic function that can process input signals to output signals. Here you can see examples of Boolean data flow in Mux and Demux:

Example: Mux Boolean data flow
Example: Demux Boolean data flow

In the following documentation we will see what is inside this black boxes.

How can we formalize Mux and Demux logic behavior?

Logic functions can be formalized writing a truth table; a truth table is a mathematical table in which every row represents a combination of input values and its respective output values. The table has to be filled with every input combination.

Here you can see Mux and Demux truth tables (output columns are gray):

Mux truth table
Demux truth table


Building a logic circuit from a truth table

Our goal in this section is to project two logic gates networks which behave like Mux and Demux truth tables. A very useful tool to transform a truth table into a logic network is Karnaugh map.
It is possible to read about Karnaugh maps at: [http://en.wikipedia.org/wiki/Karnaugh_map]

Following Karnaugh maps method, we can write these two logic networks for Mux and Demux:

Mux - logic circuit
Mux - Example
Demux - logic circuit
Demux - Example


Genetic Implementation

Our goal is to mimic Mux and Demux logic networks into a biological device, such as E. coli. To perform this, we use protein/DNA and protein/protein interactions to build up biological logic gates. Mux and Demux logic circuits are composed by three fundamental logic gates, AND, OR, NOT: in the next paragraphs genetic implementation of these logic gates will be provided.

AND

To mimic an AND gate, we need a biological function, such as a promoter activation, which is directly turned on by the interaction between two upstream genes. In this view, we use the luxR/luxI system: luxR can activate Plux promoter only upon 3-oxo-hexanoyl-homoserine lactone (HSL) binding; luxI generates HSL; so, only the contemporary expression of LuxR and luxI proteins can activate the downstream Plux-dependent gene expression. Another AND gate we use is the lasR/lasI system, which works in a very similar way but through another chemical intermediate, N-(3-oxododecanoyl) homoserine lactone (PAI-1).
Genetic AND

OR

NOT

The Experiments

Results