系统生物模型转换研究——从SBML到Stochastic Pi Calculus

来源 :上海交通大学学报 | 被引量 : 0次 | 上传用户:wxlcc1026
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
分析了系统生物标记语言(SBML)模型和用随机Pi演算对生物建模(BioSPI)的不同特点,给出了两种模型之间转换的一系列处理规则;在规则的指导下将具体的SBML模型转换为BioSPI表示的程序语言,并借助分析工具来模拟该SBML模型运动变化过程.提出了自动实现转换的方法以及将转换扩展到其他进程演算形式的构想.
其他文献
采用Gleeble 1500热模拟实验机对35CrMo结构钢进行实验研究,根据经典应力-位错关系和动态再结晶动力学方程分别对加工硬化-动态回复和动态再结晶两阶段建立流动应力模型,并统
研究背景:卫星导航系统在体育领域应用广泛,其提供的位置、速度和时间信息对于所有运动项目都是重要的基础参数,在运动参数测量、运动负荷和比赛需求评估、运动训练监控、比
研究目的:2019年两会将"惩戒学术不端"首次写入政府工作报告,从某种程度而言,当前国内学术界存在的学术不端问题已经较为严重,因而会引起国家高度的重视。翟天临学术不端、足
党的十八届四中全会提出,发挥基层党组织在全面推进依法治国中的战斗堡垒作用,努力把依法治国的各项工作任务落实到基层。近年来,我省各级党员干部注重通过多种途径,带头提高自身
近年来,我国的并购热潮带来了巨量的商誉,而商誉减值准备的计提影响着公司利润、投资者利益和资本市场的健康发展。在商誉确认、初始计量、后续计量和信息披露等方面,我国现