收藏本站
《软件学报》 2002年05期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

移动灰箱演算中强干扰问题的进一步控制

管旭东  杨怡玲  尤晋元  
【摘要】:为了消除移动灰箱演算中的强干扰问题,Levi等人提出了安全灰箱演算.然而,安全灰箱演算中引入的反动作却带来了新的安全隐患.为了消除上述安全隐患,提出了鲁棒灰箱演算.鲁棒灰箱演算在依靠反动作解决强干扰问题的同时,利用反动作的参数明确了该反动作的使用对象,有效地消除了安全灰箱演算中的不安全因素.对防火墙跨越的描述和对多元异步p-演算的翻译显示鲁棒灰箱演算依然具有较强的类似移动灰箱演算和安全灰箱演算的表达能力.同时还就鲁棒灰箱演算的类型问题作了初步的探讨,给出并证明了一套可以描述进程和能力的移动性和线程数两个属性的类型系统.研究结果初步表明,鲁棒灰箱演算可以成为移动计算形式化描述中的有力工具.

手机知网App
【引证文献】
中国重要会议论文全文数据库 前1条
1 龙荣;赵建民;朱信忠;徐慧英;;移动计算中灰箱演算的若干问题探讨[A];2006年全国理论计算机科学学术年会论文集[C];2006年
中国博士学位论文全文数据库 前1条
1 林荣德;移动界程演算及模型检测应用的关键问题研究[D];华南理工大学;2010年
【同被引文献】
中国期刊全文数据库 前6条
1 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期
2 林惠民;移动进程的空间逻辑[J];中国科学E辑:技术科学;2004年02期
3 魏峻,冯玉琳;移动计算形式理论分析与研究[J];计算机研究与发展;2000年02期
4 颜锋;陈韬略;韩婷婷;吕建;;空间逻辑的一个定义框架及其可判定性[J];计算机科学;2006年06期
5 ;A predicate spatial logic for mobile processes[J];Science in China(Series F:Information Sciences);2004年03期
6 刘剑,林惠民;谓词μ演算和模态图的语义一致性[J];软件学报;2003年10期
中国博士学位论文全文数据库 前2条
1 刘剑;传值进程与移动进程的模型检测方法[D];中国科学院研究生院(软件研究所);2005年
2 江华;界程演算模型检测[D];贵州大学;2008年
【二级引证文献】
中国期刊全文数据库 前1条
1 陈江;林荣德;;具有行为观察的移动界程演算空间逻辑[J];南京师范大学学报(工程技术版);2011年04期
【相似文献】
中国期刊全文数据库 前10条
1 王美清;带类型λ-演算的扩充[J];福州大学学报(自然科学版);1993年03期
2 姜方桃,张永良;对C语言指针教学的探讨[J];南京金融高等专科学校学报;2002年03期
3 刘小燕,丁学梅;政府形象传播的类型及方法[J];国际新闻界;2005年04期
4 宋光旭;常见卫星电视接收天线[J];有线电视技术;2005年15期
5 杨林;;信息资源浅析[J];湖北师范学院学报(自然科学版);2007年03期
6 何先义;陈红;谭多幸;;编辑方针的类型及其制订[J];深圳大学学报(人文社会科学版);2008年05期
7 艾娟;;浅谈中国企业网站类型的抉择[J];知识经济;2009年11期
8 朱梅福;惠继荣;;浅论新闻策划[J];新闻世界;2009年09期
9 郭艳;;浅析档案信息检索的类型及检索工具现行趋势[J];黑龙江史志;2010年05期
10 王琳;;浅谈温度传感器特点及其应用[J];黑龙江科技信息;2011年04期
中国重要会议论文全文数据库 前10条
1 曾莉莉;郝小波;;各种类型白塞氏病的临床研究[A];泛中医论坛·思考中医2006——经典中医的特色和优势论文集[C];2006年
2 刘俊春;;用爱去关注 用爱去教育——对非先天性智力“后进学生”的类型及教育策略的思考[A];江苏省教育学会2006年年会论文集(综合二专辑)[C];2006年
3 丁乃姝;杜向禄;石文典;;大学生消费观念的研究[A];第十一届全国心理学学术会议论文摘要集[C];2007年
4 章怡;;农业旅游资源开发及其产品类型分析[A];江苏省旅游学会首届学术年会论文集[C];2008年
5 张晓云;;现代俄语名词重音问题[A];中国首届“海峡两岸俄语教学与研究学术讨论会”论文集[C];2005年
6 林明金;;双语词典的类型、评价原则与方法[A];福建省外国语文学会2006年年会暨学术研讨会论文集(上)[C];2006年
7 王数财;;试以“三个平面”分析主谓谓语句的类型[A];中国企业运筹学[C];2006年
8 党选民;刘昭华;杨衍;詹园凤;;海南设施园艺发展现状及适于海南发展的设施园艺类型[A];中国热带作物学会2007年学术年会论文集[C];2007年
9 徐倩;;网络犯罪对策研究[A];中国犯罪学学会第十七届学术研讨会论文集[C];2008年
10 文书锋;俞国良;董妍;侯瑞鹤;;研究生师生关系的结构、类型及其特点[A];第十二届全国心理学学术大会论文摘要集[C];2009年
中国博士学位论文全文数据库 前10条
1 程建;互动性行政行为研究[D];苏州大学;2008年
2 花永兰;当代世界民族主义研究[D];中共中央党校;2005年
3 林大梓;西方自画像艺术史[D];中国美术学院;2008年
4 包海青;蒙古族族源传说比较研究[D];中央民族大学;2007年
5 李岩;民事法益研究[D];吉林大学;2007年
6 陈笑然;运动训练方法的项间移植[D];北京体育大学;2005年
7 李丽丹;18-20世纪中国异类婚恋故事的叙事学研究[D];华中师范大学;2008年
8 张凤兰;沙芥属植物遗传多样性及其亲缘关系研究[D];内蒙古农业大学;2009年
9 王日新;普通烟草(Nicotiana tabacum L.)类型间重要性状差异及其遗传特性研究[D];中国农业科学院;2009年
10 邵军航;委婉语研究[D];上海外国语大学;2007年
中国硕士学位论文全文数据库 前10条
1 吴青峰;涟源市古塘方言疑问句研究[D];湖南师范大学;2006年
2 王鹤;论雕塑公园[D];天津大学;2006年
3 李玺;论间接正犯[D];华东政法学院;2007年
4 黄思维;科技新闻源研究[D];湖南大学;2007年
5 张瑜;哈尔滨市购物中心休闲空间设计研究[D];东北林业大学;2009年
6 仝曦;初三学生考试焦虑分类及意象干预[D];北京林业大学;2009年
7 井米兰;敦煌俗字与宋本《玉篇》文字比较研究[D];华东师范大学;2009年
8 王惠丽;购物中心外部环境设计研究[D];华中农业大学;2009年
9 范德安;论我国刑法中的暴力[D];吉林大学;2005年
10 韩红艳;大学生网络交往类型及其特点研究[D];西南大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026