收藏本站
《计算机研究与发展》 2000年02期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

移动计算形式理论分析与研究

魏峻  冯玉琳  
【摘要】:移动计算是在网络技术发展中涌现出的一种新计算范型.文章旨在从形式抽象的角度来认识移动计算的本质特点.文中分析了网络计算平台的综合特征,总结了移动计算范型的典型特征,重点介绍了有代表性的移动计算形式模型和方法,包括进程代数类的π-演算、环境演算和Seal演算、时序逻辑类的移动Unity,以及Actor扩充模型.针对每个模型或方法,分析了位置、移动等概念在模型中的刻画,以及各自的交互、动态配置重构和资源控制机制在移动环境中的特点.通过综合比较与分析,对各个模型和方法给出了一定评价,为系统地建立移动计算形式理论打下了基础

手机知网App
【引证文献】
中国期刊全文数据库 前9条
1 党德鹏,刘云生;广播环境中的移动实时事务并发控制[J];计算机研究与发展;2002年10期
2 程欣,韩建明,马天义,杨孝宗;移动代理在可穿戴计算机数据处理中的应用[J];计算机工程与应用;2002年24期
3 谢光安;倪惠明;;移动数据库的基本概念及其关键技术[J];内江科技;2006年08期
4 魏峻,周桓;移动组件系统模型的分析与描述[J];软件学报;2001年01期
5 武成岗,史忠植;基于模块化的移动Agent及其调度方法[J];软件学报;2002年08期
6 范辉,李晋江,张晖;Agent计算的理论[J];系统仿真学报;2001年S2期
7 熊焰,郭亮,顾乃杰,苗付友,华蓓;一个具有链路层支持的快速Mobile IP切换算法[J];小型微型计算机系统;2003年06期
8 佘玉梅;基于移动计算环境的Agent技术研究[J];云南民族大学学报(自然科学版);2005年01期
9 王宗江,乐嘉锦;移动数据库的最新发展[J];郑州纺织工学院学报;2001年02期
中国重要会议论文全文数据库 前2条
1 金岩;杨孝宗;;移动计算的发展及形式化表示[A];第11届全国计算机在现代科学技术领域应用学术会议论文集[C];2003年
2 张全伙;张剑达;;未来计算机与信息技术的若干研究热点与发展趋势[A];全国第十四届计算机科学及其在仪器仪表中的应用学术交流会论文集[C];2001年
中国博士学位论文全文数据库 前7条
1 范辉;基于虚拟现实技术的可控可视化矿井通风研究[D];太原理工大学;2007年
2 周桓;移动环境中的Cache技术研究[D];中国科学院软件研究所;2001年
3 朱艺华;移动通信网络中移动性管理策略研究[D];浙江大学;2002年
4 詹剑锋;因特网环境下的软件演化与动态性研究[D];中国科学院研究生院(软件研究所);2002年
5 刘君强;海量数据挖掘技术研究[D];浙江大学;2003年
6 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
7 武成岗;移动主体部分关键技术研究[D];中国科学院研究生院(计算技术研究所);2001年
中国硕士学位论文全文数据库 前10条
1 张强;基于移动Agent的移动数据库查询优化技术的研究[D];哈尔滨理工大学;2007年
2 蒋林呈;基于移动Agent的网络管理系统的研究与设计[D];华中农业大学;2007年
3 钟春芳;基于多Web数据库数据集成的自动浏览技术研究[D];福州大学;2001年
4 孙及园;对Web网页的信息提取技术的研究[D];福州大学;2001年
5 潘丽娅;基于移动代理的远程专家系统研究[D];河北大学;2001年
6 潘海琴;移动环境中数据广播相关技术的研究[D];浙江大学;2004年
7 孙元超;嵌入式移动数据库技术研究[D];华东师范大学;2004年
8 陈洪龙;基于移动计算的短消息服务应用研究[D];湖南大学;2005年
9 张平川;基于移动Agent的网络学习支持服务系统的研究[D];郑州大学;2005年
10 刘荔娜;移动门户运行平台的研究与设计[D];西北工业大学;2006年
【同被引文献】
中国期刊全文数据库 前10条
1 姜建东,王晓升,屈梁生;分形几何在回转机械振动信号分析中的应用[J];中国机械工程;1998年10期
2 王战权,赵朝义,云庆夏;用遗传算法进行通风系统优化的研究[J];矿业安全与环保;1999年06期
3 倪景峰,刘剑,贾进章;矿井通风系统可视化程序设计原理[J];辽宁工程技术大学学报;2003年04期
4 贾进章,韦仕川,刘剑;矿井通风仿真系统中的网络简化技术[J];辽宁工程技术大学学报;2004年04期
5 倪景峰,刘剑,李雨成;矿井通风网络可视化拓扑关系建立和维护[J];辽宁工程技术大学学报;2004年06期
6 李钢;陈开岩;聂百胜;;矿井通风系统CAD技术研究[J];辽宁工程技术大学学报;2005年06期
7 杨娟,王耀青;矿井通风计算机动态管理系统的研究及实现[J];工业安全与防尘;2001年02期
8 郁钟铭,伍宇光;层次分析法(AHP)在矿井通风系统方案优化中的应用[J];贵州工业大学学报(自然科学版);1997年05期
9 申闫春,张幼蒂,才庆祥,马从安;露天矿生态重建虚拟现实仿真系统[J];化工矿物与加工;2001年11期
10 马良,项培军;蚂蚁算法在组合优化中的应用[J];管理科学学报;2001年02期
【二级引证文献】
中国期刊全文数据库 前10条
1 王忠,武哲;数据挖掘在审计信息分析中的应用[J];计算机应用研究;2005年02期
2 王忠,武哲;ANN在提高数据挖掘效果中的应用[J];计算机应用研究;2005年03期
3 邵雄凯;何瑜;;移动计算环境中基于广播的数据缓存策略[J];计算机应用;2006年02期
4 蔡远利;于振华;张新曼;;多Agent系统形式化建模方法研究[J];系统仿真学报;2007年14期
5 刘君强,孙晓莹,杨传明,周志刚;移动式数据挖掘平台模型[J];微电子学与计算机;2003年08期
6 党德鹏;周明全;周立柱;刘云生;;支持移动更新的弱可串行化实时并发控制[J];华中科技大学学报(自然科学版);2006年09期
7 党德鹏;周立柱;;移动广播环境中的可串行化并发控制协议[J];计算机研究与发展;2006年07期
8 赵文斌,张登荣;移动计算环境中的地理信息系统[J];地理与地理信息科学;2003年02期
9 杨捷,毋国庆;一种嵌入式实时系统软件的形式化开发方法[J];计算机工程与应用;2002年13期
10 褚蕾蕾,徐宗本;一种研究组件引用语义的动力系统方法[J];西安交通大学学报;2003年12期
中国重要会议论文全文数据库 前2条
1 蔡远利;于振华;王瑞峰;;多Agent系统形式化建模方法学[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
2 何晶;齐清文;;移动数字地图的技术环境和核心问题研究[A];全国地图学与GIS学术会议论文集[C];2004年
中国博士学位论文全文数据库 前6条
1 范辉;基于虚拟现实技术的可控可视化矿井通风研究[D];太原理工大学;2007年
2 任胜兵;基于图变换的可视化层次用例建模及演化方法研究[D];中南大学;2007年
3 曲吉林;时间序列挖掘中索引与查询技术的研究[D];天津大学;2006年
4 周桓;移动环境中的Cache技术研究[D];中国科学院软件研究所;2001年
5 程欣;面向环和结的分布式死锁检测算法研究[D];哈尔滨工业大学;2006年
6 王宏刚;MAS在行车调度系统中的应用研究[D];铁道部科学研究院;2006年
中国硕士学位论文全文数据库 前10条
1 孙细斌;HMIPv6切换协议的研究与改进[D];南昌大学;2008年
2 章征东;基于移动Agent的Web服务组合执行框架的研究与实现[D];太原理工大学;2007年
3 刘会明;基于移动Agent的理性迁移与负载均衡研究[D];华中科技大学;2006年
4 申易彬;移动IP快速切换性能研究[D];华中科技大学;2006年
5 李秀荣;数据流频繁模式和分类挖掘算法研究[D];浙江工商大学;2007年
6 瞿新南;基于Agent的动态软件体系结构研究[D];南京航空航天大学;2007年
7 纪怀猛;基于粗糙集理论的不完备决策系统数据挖掘方法研究[D];长沙理工大学;2007年
8 郎美亚;不规则蜂窝网移动计算环境中位置管理研究[D];浙江工业大学;2007年
9 盛小亮;嵌入式数据库索引机制研究与实现[D];电子科技大学;2007年
10 顾海全;基于RMI技术的分布式数据挖掘平台设计与研究[D];浙江工商大学;2007年
【相似文献】
中国期刊全文数据库 前10条
1 ;具有移动计算能力的全功能超小型工作站[J];电子科技导报;1994年01期
2 任之;移动计算梦圆HP——访HP亚太区个人计算机总部总经理Khaw Kheng Joo[J];中国计算机用户;1995年10期
3 计玄龙;漫谈移动计算机[J];现代通信;1996年02期
4 冯晓峰;移动计算——现代商务人员的选择[J];计算机周刊;1997年23期
5 ;3.5英寸硬盘减少一英寸IBM Travelstar系列献身移动计算[J];每周电脑报;1997年40期
6 ;移动计算是未来数据库产品发展的主流技术[J];电脑技术;1998年06期
7 ;当我看你时,你是一切;当我看一切时,一切是你……[J];个人电脑;1998年09期
8 史东;Intel加强移动计算攻势[J];中国计算机用户;1998年40期
9 ;移动计算和嵌入式计算——Sybase解决方案系列谈之一[J];中国计算机用户;1998年42期
10 张建军;移动计算,先下手为强[J];中国计算机用户;1998年45期
中国重要会议论文全文数据库 前10条
1 姚绍文;殷金良;王敏毅;;移动分布式计算技术现状和发展[A];第六届全国计算机应用联合学术会议论文集[C];2002年
2 任福;杜清运;蔡忠亮;;移动计算在地理信息服务中的应用研究[A];认识地理过程 关注人类家园——中国地理学会2003年学术年会文集[C];2003年
3 金岩;杨孝宗;;移动计算的发展及形式化表示[A];第11届全国计算机在现代科学技术领域应用学术会议论文集[C];2003年
4 齐琳;;移动IPv6概述及IPv6的安全体系结构[A];中国航海学会通信导航专业委员会2004学术年会论文集[C];2004年
5 王平;黄方;佟志军;刘湘南;;移动GIS在城市智能交通系统构建中的应用研究[A];中国地理学会2004年学术年会暨海峡两岸地理学术研讨会论文摘要集[C];2004年
6 王陈琦;李炳法;王霞;;环境感知移动计算的分布式系统结构设计[A];’2004计算机应用技术交流会议论文集[C];2004年
7 江兆利;曹忠;温国惠;张牧;李秀山;;厚冲积层条件下长壁开采与宽条带开采地表移动规律研究[A];2005年度山东煤炭学会优秀学术论文集[C];2005年
8 侯雪峰;;移动计算环境中的语义缓存技术研究[A];黑龙江省通信学会学术年会论文集[C];2005年
9 帕特里克.沃尼奇;;数字化未来中的成功 手术室中的Internet和电子商务[A];首届国际手术室护理学术交流暨专题讲座会议论文汇编(上)[C];2005年
10 龙荣;赵建民;朱信忠;徐慧英;;移动计算中灰箱演算的若干问题探讨[A];2006年全国理论计算机科学学术年会论文集[C];2006年
中国重要报纸全文数据库 前10条
1 赵雪松;金仓公司开发出嵌入式移动数据库[N];北京科技报;2000年
2 艾中天;嵌入式 Linux 研讨会在京召开[N];北京科技报;2000年
3 本报记者 闫俊平;数字化唱主角 网络化成方向[N];中国电子报;2000年
4 ;联想东芝启动移动电子商务新航程[N];中国证券报;2000年
5 ;笔记本电脑外壳——保护的学问[N];科技日报;2000年
6 蔡忠善;移动数据库在我国的应用前景[N];人民邮电;2000年
7 启然;推动移动计算的引擎[N];网络世界;2000年
8 ;移动电子商务成功五需求[N];中国电子报;2001年
9 徐劲松;我国笔记本电脑应用瓶颈正在消除[N];光明日报;2001年
10 本报记者 刘焱焱;为了移动商务[N];网络世界;2001年
中国博士学位论文全文数据库 前10条
1 周桓;移动环境中的Cache技术研究[D];中国科学院软件研究所;2001年
2 裴珂;移动计算网络中IP移动性研究[D];西安电子科技大学;2001年
3 王敏毅;面向移动计算环境的分布对象技术[D];电子科技大学;2002年
4 朱艺华;移动通信网络中移动性管理策略研究[D];浙江大学;2002年
5 张小明;基于分布对象的异步消息的研究与实现[D];中国人民解放军国防科学技术大学;2001年
6 陈靖;带实时的传值与移动系统研究[D];中国科学院研究生院(软件研究所);2003年
7 陈良刚;移动计算环境中位置相关数据管理[D];复旦大学;2003年
8 姜忠鼎;基于深度全景视频的虚拟场景绘制技术研究[D];浙江大学;2004年
9 邵雄凯;移动数据库中若干问题的研究[D];华中科技大学;2004年
10 吴卿;面向普适计算的自适应中间件模型与方法研究[D];浙江大学;2006年
中国硕士学位论文全文数据库 前10条
1 许斌;基于CORBA的移动计算应用系统的框架研究[D];苏州大学;2001年
2 李志飞;移动计算网络研究及实现分析[D];南京航空航天大学;2002年
3 肖毅;基于移动Agent的新型信息搜索系统的研究[D];西南农业大学;2002年
4 谭龙;无线分组元网络中资源公平调度策略的研究[D];黑龙江大学;2002年
5 赵宇鹏;基于代理邮箱的移动查询机制研究[D];国防科学技术大学;2002年
6 张众;基于移动agent的动态资源部署研究与实现[D];电子科技大学;2003年
7 房利国;面向行业的移动平台研究与应用[D];西南石油学院;2003年
8 苏武运;移动环境下移动代理通信技术的研究与实现[D];中国人民解放军国防科学技术大学;2002年
9 徐进辉;移动事务处理中数据一致性问题研究[D];中国人民解放军国防科学技术大学;2002年
10 瞿泽力;基于Jini共享网格资源的移动运算研究[D];四川大学;2003年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026