论文部分内容阅读
κ-演算是一种描述生物蛋白质分子间相互作用的形式化语言．介绍了κ-演算的语法、语义以及λ噬菌体侵蚀大肠杆菌细胞的生物过程，提出了用κ-演算建模生物过程的一种方法，给出翻译规则，并在规则的指导下建模具体的生物过程．根据模型的特点，分析和研究κ-演算的表达能力和表达特点．
κ-演算建模λ噬菌体的生活周期
【摘 要】
：
κ-演算是一种描述生物蛋白质分子间相互作用的形式化语言．介绍了κ-演算的语法、语义以及λ噬菌体侵蚀大肠杆菌细胞的生物过程，提出了用κ-演算建模生物过程的一种方法，给出翻
【机 构】
：
上海交通大学计算机科学与工程系
【出 处】
：
上海交通大学学报
【发表日期】
：
2007年1期
【基金项目】
：
国家杰出自然科学基金项目（60225012）,教育部博士点基金项目（20010248033）,上海市科委交叉领域创新团队专项课题（03DZ14025）
其他文献
新型磁致伸缩液位仪以C8051F005为核心,为实现大量程测量,系统实时检测信号幅度,利用D/A实时调整变增益运算放大器AD603的放大增益,保证传感器输出信号幅度在全量程范围内的恒定.激励脉冲与检测脉冲的时间差由现场可编程门阵列(FPGA)利用高频时钟计数的方式实现.高频时钟选取50 MHz时,时间测量精度达到1/50μs.实验结果表明,新型磁致伸缩液位仪测量精度达到±2 mm,克服了传统的由于
发展应急管理跨区域协同是发挥我国应急管理体系的特色与优势、积极推进应急管理体系与能力现代化的一条重要路径.作为应急管理多主体协同的重要维庹之一,跨区域协同的开展有
最近,胡锦涛同志在重庆市看望遭受暴雨洪灾的群众时强调:各级党委和政府一定要以对人民群众高度负责的精神,全力做好抗洪救灾各项工作,团结带领广大干部群众克服暂时困难,重
期刊
2008年,是中国人民刻骨铭心的一年.从抗震救灾、北京奥运到神舟七号发射成功,改革开放30年的中国,经受了检验和洗礼,谱写了一曲民族精神的赞歌.和平发展的社会主义中国,巍然
期刊
我们处在一个知识突飞猛进,社会发展日新月异的时代,社会趋向信息化。我们的教育教学在新的形势下面临着新的挑战,同时也为我们创造了新的机遇。新时期的素质教育强调学习的
针对机器人作业单元内设备的布局问题，提出了一种基于遗传算法的优化布局方法．引入了工程师的经验和知识描述布局过程中的作业单元空间及机器人运动学约束，减小了优化空间，提高了
目的：研究乳腺癌中抑癌基因PTEN和血管内皮生长因子-C（VEGF-C）表达与肿瘤间质淋巴管密度（LVD）的相关性及其临床意义。方法：应用EliVision免疫组化法检测90例乳腺浸润性导管癌组织和