论文部分内容阅读
本文对系统生物形式化模型研究进行了综述.文章指出,进程代数强大的描述能力,使其非常适于系统生物的形式化模型研究,小到细胞活动,大到整个生物系统,只要选择合适的抽象层次,就能够建立形式化分析模型,进程代数的自动验证工具也在系统分析中发挥着比较大的作用,所以进程代数在生物研究中有着很好的发展前景.
系统生物形式化模型研究综述
【摘 要】
：
本文对系统生物形式化模型研究进行了综述.文章指出,进程代数强大的描述能力,使其非常适于系统生物的形式化模型研究,小到细胞活动,大到整个生物系统,只要选择合适的抽象层次
【机 构】
：
上海交通大学计算机科学与工程系BASICS实验室,上海,200030
【出 处】
：
2005年全国理论计算机科学学术年会
【发表日期】
：
2005年期
其他文献
2月19日上午,国务院新闻办公室举行新闻发布会,邀请审计署审计长刘家义同志就“加强审计监督,促进经济平稳较快发展”为主题介绍有关审计情况,并回答记者提问.海内外7家媒体
期刊
本文对基于分块奇异值分解的数字水印算法及实现进行了研究.文章阐述了基于奇异值分解的数字水印算法和基于分块奇异值分解的数字水印算法,并对Block-SVD算法的实验结果进行
在审计体制问题上，我国传统上将之划分为四大类，即立法型、独立型、司法型和行政型。其中所谓司法型审计体制，是指一些国家设立的审计法院，具有司法职能。我们过去对一些国家审计
7月1日,审计署召开党的群众路线教育实践活动动员大会.审计长刘家义在会上要求,要深入学习贯彻中央召开的党的群众路线教育实践活动工作会议精神和习近平总书记等中央领导同
期刊
开互模拟关系是一种特殊的且非常重要的互模拟等价关系,它将替换嵌入到定义中去,这使得它本质上就是一个同余关系,而不需要像迟、早互模拟同余关系那样进行额外的定义.本文把
1990年引进西门子公司生产的SRS303X射线荧光光谱仪,至今已连续工作15年了.随着工作时间的增加,该仪器的故障也逐渐增多.为了与各位同行进行交流,现将多年维修该仪器的几个故
本文讨论了Petri网的共享子网合成结构性质的保持间题.给出了共享TT子网合成网保持结构有界性、守恒性、可重复性、相容性、公平性和结构活性的充分条件;具有一定的实用值.
本文对有限状态自动机的移动进程演算模拟进行了研究.文章从一个有趣的角度,间接地研究了这一问题.主要通过演算和其子集的讨论,借助于图灵机(Turingmachine),双计数器机(two
又是一个春天.恰逢出版社转企改制,我们从新的起点出发.在姹紫嫣红的时节与您相遇.春萌万物,生发美好的事业愿景.作为新春版图的一棵常青树,我们期待它常历常新,永葆青春!rn
期刊