国家教育部博士点基金(20010248033)

作品数：5被引量：10H指数：2
导出分析报告
相关作者：董笑菊戚正伟龙环黄春毅徐贤更多>>
相关机构：上海交通大学更多>>
相关期刊：《上海交通大学学报》《计算机工程》《计算机科学》更多>>
相关主题：P系统并行性变体保密性安全协议更多>>
相关领域：自动化与计算机技术理学语言文字更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于GSPM的安全协议检验工具被引量：1
《计算机工程》2008年第17期130-132,共3页庄庆 蔡小娟 董笑菊 戚正伟 
国家"973"计划基金资助项目(2003CB317005);国家自然科学基金资助项目(60473006;60573002);博士点基金资助项目(20010248033)
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。以简化的NSPK协议为例,描述...
关键词：线性时序逻辑 安全协议 保密性 认证性 
活性细胞膜计算的可执行性描述与实现被引量：1
《上海交通大学学报》2008年第10期1635-1639,共5页张民 戚正伟 董笑菊 
国家重点基础研究发展规划(973)项目(2003CB317005);国家自然科学基金资助项目(60573002;60703033);高等学校博士学科点基金资助项目(20010248033)
基于重写逻辑理论,利用Maude语言对活性细胞膜计算模型进行可执行性描述,实现了借助于计算机自动验证计算模型的正确性、完整性,以及辅助研究模型的性质等功能.通过采用Maude语言对活性细胞膜计算中6条基本规则的定义,给出了模型通用的...
关键词：活性细胞膜计算 重写逻辑 可满足性问题 
一种新的组织P系统变体的研究被引量：2
《计算机科学》2008年第2期16-18,46,共4页徐贤 董笑菊 
国家杰出青年科学基金NNSFC(60225012);BDCC(03DZ14025);中国国家自然科学基金(60473006);MSRA;博士点基金(20010248033)资助
本文介绍了一种新的组织P系统的变体。定义的P系统改进了原始的设计,允许在通道(连接,生物上称为突触)上的规则应用中采用并行机制,以提高系统的运行效率。文中我们首先给出这种组织P系统的定义,然后描述它的运行机制,接着对它的计算能...
关键词：组织 P系统 并行性 
用P系统解决排序问题被引量：6
《上海交通大学学报》2008年第2期206-208,共3页黄春毅 董笑菊 龙环 
国家自然科学基金(60473006)资助项目;教育部高等学校博士点基金(20010248033)资助项目
介绍了一个生物细胞中抽象出来的计算模型——P系统,阐述了如何利用P系统有效地解决排序问题.通过比较排序问题中最坏、最好以及普通情况下的输入实例,分析了该方法的性能.同时,在空间允许的条件下,展示了如何修改此方法将时间复杂度大...
关键词：P系统 膜计算 排序问题 
κ-演算建模λ噬菌体的生活周期
《上海交通大学学报》2007年第1期42-44,50,共4页李丹 张敏 董笑菊 
国家杰出自然科学基金项目(60225012);教育部博士点基金项目(20010248033);上海市科委交叉领域创新团队专项课题(03DZ14025)
κ-演算是一种描述生物蛋白质分子间相互作用的形式化语言.介绍了κ-演算的语法、语义以及λ噬菌体侵蚀大肠杆菌细胞的生物过程,提出了用κ-演算建模生物过程的一种方法,给出翻译规则,并在规则的指导下建模具体的生物过程.根据模型的特...
关键词：κ-演算 Λ噬菌体 生活周期 蛋白质 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部