收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

Mobile Ambients演算的扩展及该扩展的词法分析器的设计

李家钦  
【摘要】: L. Cardelli和A. D. Gordon在1998年首次提出了可以统一描述移动计算中计算平台的移动性和计算代码的移动性的移动环境或移动灰箱(Mobile Ambient - MA)演算,它建立在传统进程代数的基础上,如Robin Miner的π-演算。Mobile Ambients演算的中心思想不在计算上,而体现在计算位置和计算位置可以动性的表示方面。 为使静态分析结果在α-变换下保持不变,在Mobile Ambients演算的语法规则、等价规则和语义规则中引进稳定名字和捆绑器。引进稳定名字用以标识约束名字;引进捆绑器用以标识输入动作中引进的变量。稳定名字与捆绑器遵守在α-变换规则。 另外,为在静态分析中精确定位程序点,对环境和能力也分别加以标识。环境注释用以区别环境和能力的不同语法出现。 确定扩展的Mobile Ambients演算的单词分类、每类的单词结构,构造了识别扩展的Mobile Ambients演算单词结构的自动机并将自动机转换为程序,实现了扩展的Mobile Ambients演算的词法分析器。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 海本斋;解瑞云;;80C51汇编语言词法分析器的设计与实现[J];河南师范大学学报(自然科学版);2011年01期
2 张玉州,姚晟;词法分析的有效工具[J];安庆师范学院学报(自然科学版);2005年03期
3 罗海丽;;基于词法分析器自动产生原理的词法分析类库的构造[J];阴山学刊(自然科学版);2007年04期
4 ;摩托罗拉配备Windows Mobile的智能手机[J];军民两用技术与产品;2003年11期
5 刘蔚林;Mobile Agent技术研究[J];零陵学院学报;2003年02期
6 赵会群;孙晶;谭效辉;;一个编译器实验的设计与实现[J];计算机教育;2009年23期
7 邓国强;唐敏;陈光喜;;结构化开发方法在软件专业课程之间的融合作用[J];中国科技信息;2010年01期
8 王耘;适于AV设备的HDD技术与市场[J];今日电子;2001年11期
9 张岩;便携的奥秘——近观移动微处理器[J];电子与电脑;2002年02期
10 ;突破 LG C2200[J];数字通信;2004年20期
11 吴彦平,郭贵锁,李锃;EQS ACL编译器的设计与实现[J];微机发展;2005年11期
12 王高峰;赵刚;;独立语法描述的VHDL词法和语法分析[J];计算机与数字工程;2007年05期
13 董本志;王涛;任洪娥;王锐鑫;;数控仿真中译码器的研究应用[J];林业机械与木工设备;2008年04期
14 ;精灵巧 VK Mobile 550评测报告[J];数字通信;2004年21期
15 黄琴;王洪昌;李德刚;黄丽;;基于STEP标准的可制造性评价的特征信息的提取与特征识别[J];工程与试验;2009年02期
16 陈雪梅;韩洁琼;;C语言可视化编程环境的设计与实现[J];武汉理工大学学报(信息与管理工程版);2010年04期
17 刘振安,艾欣,张培仁,雷捷;芯片模拟仿真方法——3.基本辅助技术[J];微机发展;1992年02期
18 程琳琳;陈志明;;经济专家系统汉语智能接口的探讨[J];制造业自动化;1992年03期
19 刘坚,郭强;Ada环境语言识别器生成系统[J];西安电子科技大学学报;1997年02期
20 孟健,曹立明,王小平;Mobile Agent的两种安全机制[J];计算机工程;2003年21期
中国重要会议论文全文数据库 前10条
1 James E.Katz;;Mobility and Emotional Harmonization in Families[A];文明的和谐与共同繁荣:人类文明的多元发展模式——北京论坛(2007)论文选集[C];2007年
2 James E.Katz;;流动性与家庭成员间的情感协调(英文)[A];北京论坛(2007)文明的和谐与共同繁荣——人类文明的多元发展模式:“多元文化、和谐社会与可选择的现代性:新媒体与社会发展”新闻传播分论坛论文或摘要集[C];2007年
3 ;Mobile Mashup Architecture Solution,Direction and Proposal[A];Proceedings 2010 IEEE 2nd Symposium on Web Society[C];2010年
4 ;A New Structure of Distributed Mobile Society[A];Proceedings 2010 IEEE 2nd Symposium on Web Society[C];2010年
5 Innocent T.Pacho;;Mobile Terminal Positioning Algorithm Based On Received Signal Strength[A];教育部中南地区高等学校电子电气基础课教学研究会第二十届学术年会会议论文集(下册)[C];2010年
6 焦燕鸿;侯自强;张宇;;Mobile SIP与Mobile IP的比较研究[A];中国通信学会信息通信网络技术委员会2003年年会论文集[C];2003年
7 钱钊;董剑;刘宏伟;杨孝宗;;PBRM:Position-based Reliable Multipath Routing in Mobile Ad Hoc Networks[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
8 魏海平;熊自明;王颖颖;陈涛;;组件式Mobile GIS的构建技术与实践[A];中国地理信息系统协会第八届年会论文集[C];2004年
9 杨伯溆;;公共空间的私人化与私人空间的个体化:北京社会网络形成中移动电话的角色(英文)[A];北京论坛(2006)文明的和谐与共同繁荣——对人类文明方式的思考:“全球传播、媒介与创意产业-对后工业文明的思考”新闻传播分论坛论文或摘要集(上)[C];2006年
10 ;A General Architecture of Location-based Mobile Community[A];Proceedings 2010 IEEE 2nd Symposium on Web Society[C];2010年
中国博士学位论文全文数据库 前10条
1 胡留长;平面型共振隧穿二极管与共振隧穿晶体管的研究与应用[D];天津大学;2005年
2 Mala Umar Mustapha Bakura;[D];北京邮电大学;2012年
3 阿德南;多播多跳中继网络的性能分析[D];北京邮电大学;2011年
4 韦沙;基于分布式约束满足算法的无线信道分配研究[D];华中科技大学;2011年
5 Shahryar Shafique Qureshi;[D];北京邮电大学;2012年
6 刘孝男;移动P2P网络中基于方向搜索算法的研究[D];吉林大学;2010年
7 Alireza Nasiri;[D];大连理工大学;2010年
8 乌切纳(Uchennaya Obo Ibom);[D];北京邮电大学;2010年
9 曾文英;面向移动环境的数据存储管理方法关键技术研究[D];华南理工大学;2011年
10 Issaka Hassane Abdoul-Aziz;下一代异构无线网络切换机制研究[D];湖南大学;2012年
中国硕士学位论文全文数据库 前10条
1 李家钦;Mobile Ambients演算的扩展及该扩展的词法分析器的设计[D];吉林大学;2010年
2 李晨端;基于Windows mobile的音频流媒体技术的研究与应用[D];北京化工大学;2011年
3 杨天琦;基于QC-MDM平台的Mobile-Hotspot研究与实现[D];西安电子科技大学;2012年
4 李兴华;AAA下Mobile IP的认证及注册[D];西安电子科技大学;2004年
5 柳蒙蒙;基于JavaFX和Mobile Agent的手机动漫阅读系统建模与仿真分析[D];上海师范大学;2010年
6 龙中花;基于嵌入式Linux平台的Mobile SVG浏览器的设计与实现[D];电子科技大学;2004年
7 胡秋根;智能移动代理系统的研究与原型系统的实现[D];东南大学;2004年
8 金鑫;基于Mobile的手机流媒体实时图像浏览客户端的软件设计[D];哈尔滨理工大学;2010年
9 李浩君;基于Mobile Agent安全电子商务系统的研究及实现[D];浙江工业大学;2003年
10 张丽晖;Mobile Agent原型系统的研究与开发[D];东南大学;2004年
中国重要报纸全文数据库 前10条
1 记者 义川;AT&T收购T—Mobile美国子公司[N];网络世界;2011年
2 ;AT&T收购T—Mobile或流产[N];人民邮电;2011年
3 本报记者 林憬辉;AT&T收购T——Mobile或遇阻 LTE布局面临挑战[N];通信信息报;2011年
4 本报记者 赵媛;AT&T收购T—Mobile重坐头把交椅[N];人民邮电;2011年
5 本报记者 张奕;诺基亚communicator mobile2.0实现手机统一沟通[N];计算机世界;2011年
6 本报记者 杨博;AT&T拟390亿美元鲸吞T—Mobile在美业务[N];中国证券报;2011年
7 孙琎;华为与T—Mobile签供货协议 欲破北美市场僵局[N];第一财经日报;2009年
8 小专;Mobile World:全球手机用户数已破50亿[N];人民邮电;2010年
9 刘方远;390亿并购T—Mobile:AT&T的“管道化”挣扎[N];21世纪经济报道;2011年
10 上海 丹青;64位本本能否走向辉煌[N];电脑报;2004年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978