Bologna

From 2007.igem.org

(Difference between revisions)
(Mathematical Model)
(Introduction)
Line 42: Line 42:
-
[[Image:scaldabagno1.jpg|center]]
+
[[Image:scaldabagno2.jpg|center]]
Figure1. ''Once the temperature passes the lower threshold, for small changes of the temperature  (between TL and TH) the system is able to automatically modify its state (on-off), so that  the average temperature of the water remains stable (and so does your mood if you are in the bath tub).''
Figure1. ''Once the temperature passes the lower threshold, for small changes of the temperature  (between TL and TH) the system is able to automatically modify its state (on-off), so that  the average temperature of the water remains stable (and so does your mood if you are in the bath tub).''

Revision as of 11:14, 26 October 2007

BOLOGNA.jpg


"Ὁ βίος βραχὺς, ἡ δὲ τέχνη μακρὴ, ὁ δὲ καιρὸς ὀξὺς, ἡ δὲ πεῖρα σφαλερὴ, ἡ δὲ κρίσις χαλεπή"

"Vita brevis, ars longa, occasio praeceps, experimentum periculosum, iudicium difficile"

"Art is long, life is short, opportunity is fleeting, experience is deceitful, judgement is difficult"

"La vita è breve, l'arte è lunga, l'occasione fuggevole, l'esperimento pericoloso, il giudizio difficile"


(Aforisma di Ippocrate di Coo)



Contents

About Us

Welcome to Bologna’s IGEM Wiki!

Teambo.jpg

Our team consists of Francesco Pasqualini, Guido Costa, Iros Barozzi, Silvia Tamarri, Francesca Buganè, and Michela Mirri, all soon-to-be juniors majoring in Biomedical Engineering at Bologna University; and Alice Pasini, a just graduated student.

We are advised by Dr Emanuele Giordano, Lecturer in Biochemistry and Prof. Marco Tartagni, Professor of Electronics. We are grateful to our advisors for their time and support!

Our instructors are Prof. Silvio Cavalcanti, Professor of Biomedical Engineering, Francesca Ceroni, Graduate student in Pharmaceutical Biotechnologies, Sara Montagna, Graduate student in Biomedical Engineering and Christine Nardini, PhD in Bioengineering.

Our Project

Introduction

Our goal is the realization of a genetic circuit able to implement the functionality typical of an electronic device called Schmitt Trigger (as defined by its inventor Dr Otto H. Schmitt).

Pardon me, what do you mean? (AKA Functional Requirements)
The main characteristics of this device is to be a “smart” switch. A switch is a device that, given a change in some environmental condition causes an appropriate modification in the output, for instance the output changes from on to off. Often the environmental change is the modification of the value in some parameter (input of the switch) that describes the environment. The device switches for a given value (threshold) of the input. So far so good, however, if the switch input has a value that continually even minimally changes across the threshold, the system will keep going on and off, wasting energy and leaving the system in an unstable state. To avoid all this we need a “smart” switch. Basically, this device switches on or off at two different threshold (High and Low threshold, TH and TL respectively) depending on the history of the system. So, according to the state of the system, the threshold for switching will change. This can solve the instability problem, since the variations that cause instability now must be as high as the difference between the two thresholds (see Figure 1).


Scaldabagno2.jpg

Figure1. Once the temperature passes the lower threshold, for small changes of the temperature (between TL and TH) the system is able to automatically modify its state (on-off), so that the average temperature of the water remains stable (and so does your mood if you are in the bath tub).


The reasons why the “smart” switch works that well are due to the fact that (1) the system it constitutes has two stable states, that the system reaches when below the lower threshold (TL) or above the higher threshold (TH); and (2) the system has a positive feedback. All this allows for hysteresis to take place, this is the fundamental property we want to reproduce in our genetic circuit.


How? (AKA Technical Requirements)
We wanted to reproduce the same principle with a genetic circuit. To do so we exploited one of such system, existing in the complex of genes that form the Lac Operon shown in Figure 4. Namely, E.coli can either survive by metabolizing glucose or, in case glucose is missing, lactose. Lactose or glucose metabolism-modes are the two stable state of our system. To perform experiments we use IPTG a structural analog of lactose that cannot be metabolized. Thus the input of our system are the external concentrations of Glucose and IPTG (Gluex and IPTGex respectively). Since lactose metabolism is more energy consuming, usually all the apparatus that takes care of the lactose metabolism is repressed. That is the promoter pLac is constitutively repressed thank to the presence of the LacI protein that inhibits the transcription of the genes downstream of the operon (this is how it works). When there is IPTG in the environment of the cell, several concurrent processes take place. IPTG enters through the membrane and after some processing it is able to remove the repressor LacI, thus allowing the transcription of genes lacY that in turn enhance the IPTG uptake and increase its action on the repressor LacI. This represents the positive feedback loop we need.

Schema1.jpg

Figure 2. Schematic overview of the Lac operon.

As it is the system can already perform like a Schmitt trigger, for certain values of the inputs. However there is another mechanism that allows the fine tuning of the system: glucose has a double action both on a molecule called cAMP that it bounds to, inhibiting its action on pLac expression (catabolite repression) and on the lactose, since it reduces its uptake (inducer exclusion).


What for?(AKA Applications)
We figured that such a system could be useful for two main purposes.

1. Controlled Gene Expression Trigger
Manipulating gene expression using most of the current protocols in molecular biology usually relay either on a strong overexpression of a protein or on its total silencing. Once induced, both these two extreme perturbations are generally unmodifiable (so that this approaches, although shedding light on the general role of the candidate gene, are rough indicators of the effect of its real physiological transcriptional level). Our genetic device can limit these drawbacks offering 1) a controlled on-off transition of the protein expression at will (by dosing the extracellular IPTG input) and 2) its graded transcriptional level (playing with the extracellular Glucose concentration), representing a powerful tool for biologists. Moreover, in addition to the ability to control the timing and the extent of the induction, our device has the additional advantage to guarantee that small changes in the extracellular concentration of the inducer IPTG would not affect the stability of the switch.

2. Glucose Sensor
The second application takes advantage of the external glucose dependence. In fact, we know that the expression of the system is stable, but its intensity depends on the glucose. We can reverse the perspective and observe the intensity of the expression to infer the abundance of glucose in the medium.

Introduz.jpg

Figure 3. Schematic view of our device

Mathematical Model

Based on the information we had on the Schmitt Trigger (See in the introducion) and on the Lac operon, we decided to explore the behavior of our genetic circuit by mathematically modeling the parts depicted in Figure 4.

Modellomath1.jpg

Figure 4. The core of our circuit: the pLac promoter, inhibited by protein LacI, and genes LacY and GFP the positive feedback input and reporter gene respectively.


Model

In the following we describe the 3 differential equations we used in the model. They represent the variation over time (derivative d/dt) of the production of the mRNA of lacY (called T for transcript), of the production of the protein LacY (called P for protein) and the variation of the input to our circuit IPTG_in. These equations are sufficient to model the dynamics relevant to the functioning of the system and nor overly complex to avoid this.

StateIng.jpg


Knowing that the β functions represent:

\beta_D^T glucose dependent LacY transcription inhibitor;
\beta_R^T IPTG dependent LacY transcription enhancer;
\beta_D^I glucose dependent IPTG uptake inhibitor;
\beta_R^I IPTG dependent IPTG uptake enhancer

and have their own formulas and trends.

Since our output is the reporter protein GFP we need another equation to link the protein LacY (P) to GFP, this is simply:

OutputEqn.jpg

All the parameters are defined here.

To simulate the evolution of these variables we used simulink.


Simulation

With this model, we can predict the circuit behavior and assess if it actually has bistability and hysteresis. In the following we show the results of the simulations.


Iptg Gfp2.jpg

Figure 5. Shows the typical hysteresis profile, different curves are due to different values of the external Glucose.



Stability plane.jpg

Figure 6. Shows how the 2 thresholds values change for varying levels of external glucose. All the points that lie between the two curves represent unstable states, the system will not remain in that state but it will move to a state in one of the two other areas.



Grafico.jpg

Figure 7.Shows how the fully induced steady state depend on the External Glucose.

Image Acquisition and Elaboration

Experimental SetUp

Microscopy.jpg


A schematic design of our acquisition system based on the fluorescence microscope is shown in figure.

The illumination system is composed of a 75 Watt Xenon arc lamp connected to a Photon Technology Instruments DeltaRAM X monochromator, which breaks up a single polychromatic light beam into several monochromatic light beams (with only one wavelength each). Only the selected wavelength can pass through the output port and reach the microscope.

The system’s core is a Nikon Eclipse TE2000-U inverted fluorescence microscope. For GFP image acquisition we used a B-2A filter by Nikon with an excitation band between 450 and 490 nm and the optimal emission placed at 520 nm.

The camera used to acquire images and film segments is a Nikon DS-5m with a DS-U1 controller. This one receives the acquired signal form the camera through a serial connection and sends it to the PC through an USB slot. Nikon also supplied an interface software for image acquisition and elaboration.

The Photon Technology Instruments PMT 814 photomultiplier tube is connected to the microscope’s left port, on which the whole light signal can be deviated. Acquisition can be implemented in two different modes, depending on the signal amplitude.

The control software is implemented in a Labview environment and permits the regulation of the excitation wavelength and the calibration of the system. It also pictures the output signal from the photomultiplier, which can be memorized and elaborated.

Biodevice

Components

The biodevice Genetic Schmitt Trigger (I763029) built with IGEM 2007 Biobricks consists of 3 main parts combined in the same plasmid: pTeTR-LacI (I763026), pLac-cI-LacY-GFP (I763019), pλ-RFP (I763007).
Each part displays a specific function depending on the promoters and coded genes.

Tutto3.jpg

Figure 1: The Genetic Schmitt Trigger biodevice (I763029).


1.pTeTR-LacI (I763026) codes for LacI gene (C0012) regulated by pTeTR (R0040) inverting promoter. pTeTR can be consider a constitutive promoter in absence of tetracycline or its analog, aTc. Its action is inhibited by the addition of this antibiotic. This promoter regulates the expression of LacI gene whose protein inhibits the activation of pLac promoter. This part is important to make up for endogenous LacI and to prevent pLac activation in absence of induction with lactose or IPTG.
2.pLac-cI-LacY-GFP (I763019): LacY permease (J22101) controlled by pLac promoter (R0010) introduces a positive feedback necessary for hysteresis. LacY is a lactose membrane transporter which allows the uptake of Lactose (or IPTG) in the cell. Lactose (or IPTG) on his own, causes the LacI repressor release from pLac operators. At the same time GFP proteins (J04031) are produced as reporters of the induction. We also introduce the gene for cI repressor (C0051) that binds to the cI regulator (R0051) and inhibits its action.
3.pλ-RFP (I763007) acts as reporter of standard condition. Pλ promoter (R0051) is a constitutive promoter from phage-λ. It regulates RFP protein (E1010) expression and it is repressed by cI repressor (C0051). So, when external glucose is high, pLac transcription level, cI and GFP production are high, while RFP production is low; when external glucose is low pLac transcription level, cI and GFP production are low while RFP production is high. As a consequence, we can consider RFP fluorescence levels as an indicator of glucose concentration in culture medium.


How it works

In standard conditions, without IPTG induction pLac promoter is repressed by the LacI repressor binding on the operator sites and cI, LacY and GFP proteins are not expressed. In this condition pλ promoter is active and RFP is expressed. The cells show red fluorescence.

No IPTG.jpg

Figure 2: Project in action: no IPTG in the medium.


For induction IPTG is added in the culture medium. Due to inductor binding to LacI repressor, Plac promoter is activated and cI, LacY and GFP genes are expressed. In this condition pλ promoter is repressed by cI inhibitor and so RFP is not expressed. The cells show green fluorescence.

Con IPTG1.jpg

Figure 3: Project in action: IPTG in the medium.


Intermediates

The table below shows all the intermediates that we have obtained to build up our final device. For each part you can find: -in the first column the link to the Registry;

-in the second column the components for each part;

-in the third column the plasmid the part has been cloned in;

-in the fourth the insert length after double digestion with Xba1/Pst1 enzymes linked to the electrophoresis gel run;

-in the fifth column cell vitality after transformation;

-in the sixth column fluo data for each part.


Igem Code Fragment Plasmid Length (bp) Vitality Fluo Data
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
I763020
I763004
I763011
I763007
I763007
I763033
I763015
I763012
I763005
I763031
I763031
I763016
I763016
I763036
I763019
I763032
I763025
I763025
I763026
I763035
I763028
I763029
I763029
I763039
I763034
I763027


RBS-GFP-T
pLac-RBS-GFP-T
pλ-RBS-GFP-T
pλ-RBS-RFP-T
pλ-RBS-RFP-T
pTetR-RBS-RFP-T
RBS-LacY
pLac-RBS-LacY
pLac-RBS-cI
pLac-RBS-cI-RBS-GFP-T
pLac-RBS-cI-RBS-GFP-T
pLac-RBS-cI-RBS-LacY
pLac-RBS-cI-RBS-LacY
pLac-RBS-cI-RBS-LacY-T
pLac-RBS-cI-RBS-LacY-RBS-GFP-T
pLac-RBS-LacY-RBS-GFP-T
pTetR-RBS-LacI
pTetR-RBS-LacI
pTetR-RBS-LacI-T
pTetR-RBS-LacI-RBS-GFP-T
pTetR-RBS-LacI-T-pLac-RBS-cI-RBS-LacY-RBS-GFP-T
Genetic Schmitt Trigger
Genetic Schmitt Trigger
pTetR-RBS-LacI-T-pλ-RBS-RFP
pTetR-RBS-RFP-T-pLac-RBS-GFP-T
pTetR-RBS-LacI-T-pLac-RBS-GFP-T
pSB1A2 (HC)
pSB1AK3 (HC)
pSB1A2 (HC)
pSB4A3 (LC)
pSB1A2 (HC)
pSB1A2 (HC)
pSB1A2 (HC)
pSB1AK3 (HC)
pSB1AK3 (HC)
pSB4A3 (LC)
pSB1AK3 (HC)
pSB4A3 (LC)
pSB1AK3 (HC)
pSB1AK3 (HC)
pSB1AK3 (HC)
pSB1AK3 (HC)
pSB1A2 (HC)
pSB4A3 (LC)
pSB1A2 (HC)
pSB1A2 (HC)
pSB1AK3 (HC)
pSB1AK3 (HC)
pSB4A3 (LC)
pSB1A2 (HC)
pSB1AK3 (HC)
pSB1A2 (HC)
914
1122
971
918
918
923
1306
1514
1001
1923
1923
2315
2315
2452
3237
2436
1233
1233
1370
2155
4615
5525
5525
2296
2053
2500
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
Yes
No
Yes
-
>>
>>
>>
>>
-
-
-
-
>>
>>
-
-
-
>>
>>
-
-
-
>>
>>
>>
>>
>>
>>
>>


Clicking on the length of the fragment you will be shown the electrophoresis gel of the digestion of the fragment excised from the plasmid by cutting it with a double digestion using Xba and PstI enzymes.

Acknowledgments

Our Team was funded by:

  • European Union SYNBIOCOMM project


Synbiocomm.jpg
absright


  • Ser.In.Ar. Cesena


Serinar.jpg


  • University of Bologna - Cesena Campus
Logounibo2.jpg

Overview Table

Our Team Project Design Project Results
Undergraduate Students
Francesco Pasqualini Guido Costa
Silvia Tamarri Michela Mirri
Francesca Buganè Iros Barozzi
Graduate Student
Alice Pasini
Instructors
Silvio Cavalcanti Francesca Ceroni
Sara Montagna • Christine Nardini
Advisors
Emanuele Giordano
Marco Tartagni
Materials and Methods
1. Procedure
2. Protocols
3. Microscopy: Experimental Set Up
4. Image Acquisition and Elaboration
Literature
Mathematical Model
Results
1. Intermediates
2. Fluorescence reliance on Promoter and Medium
Conclusions

Diary

Week 1
Week 2
Week 3
Week 4
Week 5
Week 6
Week 7
Week 8
Week 9
Week 10
Week 11
Week 12
Week 13
Week 14
Week 15
Week 16
Week 17