结合并发约束理论提出了并发Analog-Cell模型框架;基于扩展的并发约束理论,提出了并发Analog-Cell中定量的随机控制机制以及模拟细胞中RNA聚合酶介导转录起始过程的算法模型,可有效地避免系统中随机错误的发生并提高运行效率;最后,提出了并发Analog-Cell模型中DNA转录过程的模拟算法.
Analog-Cell represents gene expression at the molecule level. It provides abundant image information. We carded out investigations on concurrent semantic analysis of Analog-Cell in this paper. We introduced concurrent constraint theory into Analog-Cell and presented a framework of concm'rent electronic cell model. We designed a quantitative stochastic control mechanism, which was based on the study of stochastic concurrent conswaint programming. It is capable of avoiding the random system mistakes and improving the performance efficiency of Analog-Cell. Based on non-deterministic temporal concurrent constraint theory, we presented an algorithm model to simulate the initiation of transcription. Last but not least, we proposed an algorithm to simulate whole transcription process.