Team:BIT/Proof
<!DOCTYPE html>
Proof
In this year’s project, we use mathematics model to demonstrate the functional proof of the artificial biological system we designed. We focus on the two essential parts in our gene circuits, which are ribosome switches and double integrase sites. Apart from these two parts, the RNA-based gene silencing expression is also demonstrated in both of two models.
1 Integrase sites model
From figure 2, we can see it saturates when KT reaches the value of 1e5/(M*M*min).
In figure 3, we can concluded that GFP level reaches its final stable value at about 600 minutes(10h). And this time is not sensitive to KT and km(lac).
The relationship of P(T(Bxb1)off) with KT is almost identical to that of [GFP] with KT. So we can conclude that [GFP] is proportional to P(T(Bxb1)off).
It is clearly that GFP level decreases as km(lac) increases, but saturates when km(lac) is too large or too small. But the reference value lies in the unsaturated scope. This indicates that the inhibition of transcription of lacl activates the expression of GFP.
So the figure 10 verified that GFP is proportional to P(T(Bxb1)off) .
After we get experimental data(abscissa), we should corresponding to the ordinata to find out whether the trend in range, if within the range, it means our experiments are correct, otherwise it is necessary to continue the experiment to get correct data.
We keep kt1(for Bxb1)and kt1(for FimE) the same, and vary them in the scope we used before. We find that the GFP output changes with kt1 and kt2 in a similar way compared to the independent gene circuits.
Kt1=Kt2=1/(M*M*min) km(lac)=km(tet)=5e-5nM/min
The morphology of the reaction curve is not obviously affected by these two parameters.
The relationship of P(Toff) with kt is almost identical to that of GFP with kt. So we can conclude that GFP is proportional to P(Toff).(Here two kt and two P(Toff))s are both the same.
GFP level decerases as km increases, but saturates when km is too large or too small.But the reference value lies in the unsaturated scope. This indicates that the inhibition of transcription of Lacl and tetR activates the expression of GFP.
The results of the model are simulated with MATLAB software, then discussed the results. By setting up a k-value interval, calculated the relationship between KT and GFP level, we concluded GFP level are increasing as value of k increasing, when KT = 1e5, GFP level in steady stage. In figure 3, we can concluded that GFP level reaches its final stable value at about 600 minutes(10h). And this time is not sensitive to KT and km(lac). When changed kt and km(lac), the relationship between GFP level and time in common. GFP level decreases as km(lac) increases, but saturates when km(lac) is too large or too small. But the reference value lies in the unsaturated scope. This indicates that the inhibition of transcription of Lacl activates the expression of GFP. Figure 10 verified that GFP is proportional to P(T(Bxb1)off). Not only can we concluded the FimE has influenced on GFP level, but also as same as Bxb1 from figure.
2 Lock-Key Model
The results of the model are simulated with MATLAB software, then discussed the results. The value of GFP induced by mir155 is regarded as signal and the one without inducing is regarded as noise floor. From the figure 21, we can conclude that the system equipped with Lock and Key part has the higher signal to noise ratio (SNR) than the one without Lock and Key part. And Lock and Key part significantly reduce the background noise of detection. From the figure 22, we can conclude the Lock and Key part will not influence the linearity of detection and the correlation between GFP and concentration of mir155 is correct according to the figure.
For more details of model: https://2016.igem.org/Team:BIT/Model
Contact Us
Beijing Institute of Technology,
No. 5 South Zhong Guan Cun Street,
Haidian Beijing 100081, P. R. China
Twitter : @igem_BIT
Sina Weibo : @igem_BIT
Website : http://www.bit.edu.cn
