国家教育部博士点基金(20010248033)
- 作品数：5 被引量：10H指数：2
- 相关作者：董笑菊戚正伟龙环黄春毅徐贤更多>>
- 相关机构：上海交通大学更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术理学语言文字更多>>
- κ-演算建模λ噬菌体的生活周期
- 2007年
- κ-演算是一种描述生物蛋白质分子间相互作用的形式化语言.介绍了κ-演算的语法、语义以及λ噬菌体侵蚀大肠杆菌细胞的生物过程,提出了用κ-演算建模生物过程的一种方法,给出翻译规则,并在规则的指导下建模具体的生物过程.根据模型的特点,分析和研究κ-演算的表达能力和表达特点.
- 李丹张敏董笑菊
- 关键词：Λ噬菌体蛋白质
- 系统生物形式化模型研究综述
- ＜正＞ 1 引言在生物学的研究中,计算机科学发挥着重要的作用,如DNA序列和蛋白质结构等的研究。自然界中,机体的存在和活动依赖于各组成部分的协调工作,所以随着生物数据和知识的不断积累,生物学开始越来越关注生物系统的整体行...
- 董笑菊傅育熙徐贤
- 文献传递
- 用P系统解决排序问题被引量：6
- 2008年
- 介绍了一个生物细胞中抽象出来的计算模型——P系统,阐述了如何利用P系统有效地解决排序问题.通过比较排序问题中最坏、最好以及普通情况下的输入实例,分析了该方法的性能.同时,在空间允许的条件下,展示了如何修改此方法将时间复杂度大大降低的可能性.
- 黄春毅董笑菊龙环
- 关键词：P系统
- 一种新的组织P系统变体的研究被引量：2
- 2008年
- 本文介绍了一种新的组织P系统的变体。定义的P系统改进了原始的设计,允许在通道(连接,生物上称为突触)上的规则应用中采用并行机制,以提高系统的运行效率。文中我们首先给出这种组织P系统的定义,然后描述它的运行机制,接着对它的计算能力做了一些简单的分析,并且用一个典型的例子说明了我们的P系统的运行过程的特点。
- 徐贤董笑菊
- 关键词：P系统并行性
- 基于GSPM的安全协议检验工具被引量：1
- 2008年
- 介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。以简化的NSPK协议为例,描述了该工具如何验证安全协议,表明GSPM模型和验证算法的有效性和正确性。
- 庄庆蔡小娟董笑菊戚正伟
- 关键词：线性时序逻辑安全协议保密性认证性
- 用进程演算建模生物化学反应过程
- ＜正＞1 引言进程演算是一类描述并发系统的形式化模型,可以用来研究具有并发性、移动性、分布性等特点的系统。该类演算在语法上定义了一组操作子, 用以构成其基本研究对象一进程;而语义上则采用交错并发语义,即一个并发执行的进程...
- 董笑菊倪佳华傅育熙
- 文献传递
- 活性细胞膜计算的可执行性描述与实现被引量：1
- 2008年
- 基于重写逻辑理论,利用Maude语言对活性细胞膜计算模型进行可执行性描述,实现了借助于计算机自动验证计算模型的正确性、完整性,以及辅助研究模型的性质等功能.通过采用Maude语言对活性细胞膜计算中6条基本规则的定义,给出了模型通用的描述方法.利用该方法描述与验证了可满足性问题在活性细胞膜计算中的模型.通过对计算结果的分析,说明了方法的可行性与正确性.
- 张民戚正伟董笑菊
- 关键词：重写逻辑
