Biosensor characterization: formal methods from the perspective of proteome fractions.

许多研究通过转录因子等调控元件在重组系统中控制基因表达，但大多缺乏分析这些调控元件固有及情境依赖变异的正式方法。本研究建立了一个正式框架，并由此推导出表征调控电路的便捷方法。作者将细菌细胞建模为若干蛋白组分数（proteome fractions）的集合，通过对时间依赖蛋白组分数求导，得到描述其变化与表达分数（expression ...