收藏本站
《第11届全国计算机在现代科学技术领域应用学术会议论文集》2003年
收藏 | 手机打开
二维码
手机客户端打开本文

移动计算的发展及形式化表示

金岩  杨孝宗  
【摘要】:在移动计算中对其形式化的描述、研究对于解决移动计算中出现的状态迁移、区域管理、安全认证等问题有十分重要的指导意义。本文从形式化演算的角度出发,给出了一些描述进程通信、计算的模型,此外在最后还给出了运用移动环境演算模型(Mobile Ambient,又译为移动灰箱)建立起来的一个实际应用问题和今后要研究的方向。

手机知网App
【参考文献】
中国期刊全文数据库 前2条
1 魏峻,冯玉琳;移动计算形式理论分析与研究[J];计算机研究与发展;2000年02期
2 龚正虎;利用CCS的协议描述与验证技术的研究[J];计算机研究与发展;1995年03期
【共引文献】
中国期刊全文数据库 前6条
1 张全伙,张剑达;未来计算机与信息技术的若干研究热点与发展趋势[J];福州大学学报(自然科学版);2001年04期
2 魏峻,周桓;移动组件系统模型的分析与描述[J];软件学报;2001年01期
3 武成岗,史忠植;基于模块化的移动Agent及其调度方法[J];软件学报;2002年08期
4 徐斌;;Agent形式化语言描述[J];信息技术与信息化;2007年01期
5 冷淑霞,徐涛;网络协议描述和验证技术的分析与比较[J];山东理工大学学报(自然科学版);2004年02期
6 冯源;;带第三方支付平台的网上购物系统的CCS描述[J];太原师范学院学报(自然科学版);2011年02期
中国重要会议论文全文数据库 前1条
1 张全伙;张剑达;;未来计算机与信息技术的若干研究热点与发展趋势[A];全国第十四届计算机科学及其在仪器仪表中的应用学术交流会论文集[C];2001年
中国博士学位论文全文数据库 前10条
1 黄永忠;移动代理计算模型及其在分布并行计算中的应用研究[D];解放军信息工程大学;2007年
2 卢雷;基于OOCPN的软件可执行模型建模方法的研究[D];山东大学;2011年
3 周桓;移动环境中的Cache技术研究[D];中国科学院软件研究所;2001年
4 朱艺华;移动通信网络中移动性管理策略研究[D];浙江大学;2002年
5 詹剑锋;因特网环境下的软件演化与动态性研究[D];中国科学院研究生院(软件研究所);2002年
6 刘君强;海量数据挖掘技术研究[D];浙江大学;2003年
7 王斌;用于程序挖掘的分布式构件库组织及协同研究[D];中南大学;2003年
8 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
9 柯尧;协议分布式测试理论及系统可靠性研究[D];中国科学技术大学;2006年
10 钱兰;协议一致性测试的错误诊断研究[D];中国科学技术大学;2006年
中国硕士学位论文全文数据库 前10条
1 王文娟;安全协议测试集生成技术研究[D];解放军信息工程大学;2009年
2 亓泽超;协议一致性测试序列生成及错误诊断算法设计[D];西安电子科技大学;2011年
3 王园园;基于位置感知的移动服务计算策略研究与实现[D];天津理工大学;2011年
4 钟春芳;基于多Web数据库数据集成的自动浏览技术研究[D];福州大学;2001年
5 孙及园;对Web网页的信息提取技术的研究[D];福州大学;2001年
6 潘丽娅;基于移动代理的远程专家系统研究[D];河北大学;2001年
7 潘海琴;移动环境中数据广播相关技术的研究[D];浙江大学;2004年
8 孙元超;嵌入式移动数据库技术研究[D];华东师范大学;2004年
9 贾成;基于多代理运行平台的构件挖掘理论研究及系统实现[D];中南大学;2004年
10 陈洪龙;基于移动计算的短消息服务应用研究[D];湖南大学;2005年
【相似文献】
中国期刊全文数据库 前10条
1 郭新;;移动计算在商务活动中的应用[J];信息与电脑;2005年04期
2 梁凡;;嵌入式移动数据库在教学管理系统中的应用[J];广西轻工业;2008年10期
3 刘刚,李德敏,施颖男,王昳;基于RS在移动计算中的规则提取与仿真[J];计算机工程与应用;2003年01期
4 孙未未,施伟斌,施伯乐;移动计算环境中数据广播访问时间优化算法[J];小型微型计算机系统;2003年03期
5 陈韬略,冯扬悦,吕建,韩婷婷;鲁棒环境演算类型演化系统的扩充(英文)[J];南京大学学报(自然科学版);2004年05期
6 ;风河在CES2009展示Android软件系统[J];电子与电脑;2009年02期
7 林楚昭;;主编寄语[J];现代计算机(普及版);2010年05期
8 ;Sybase医疗保健业移动计算解决方案[J];信息系统工程;2003年09期
9 孙杰;;移动计算在建设项目应用研究[J];建筑设计管理;2008年01期
10 ;第三届全国软件测试会议与移动计算、栅格、智能化高级论坛征文通知[J];电脑开发与应用;2009年03期
中国重要会议论文全文数据库 前10条
1 金岩;杨孝宗;;移动计算的发展及形式化表示[A];第11届全国计算机在现代科学技术领域应用学术会议论文集[C];2003年
2 陈嘉莉;王泽兵;;移动计算中的数据广播技术[A];第十八届全国数据库学术会议论文集(技术报告篇)[C];2001年
3 涂丹丹;向琳;左德承;杨孝宗;;移动对象数据库管理技术[A];黑龙江省计算机学会2007年学术交流年会论文集[C];2007年
4 龙荣;赵建民;朱信忠;徐慧英;;移动计算中灰箱演算的若干问题探讨[A];2006年全国理论计算机科学学术年会论文集[C];2006年
5 许刚;丁治明;买建英;孟小峰;;嵌入式移动数据库在军事中的应用[A];第十八届全国数据库学术会议论文集(研究报告篇)[C];2001年
6 侯雪峰;;移动计算环境中的语义缓存技术研究[A];2007年中国通信学会“移动增值业务与应用”学术年会论文集[C];2007年
7 苑洪亮;张捷;郭长国;宫海林;张瞩熹;;基于内容的发布订阅中间件对移动环境的扩展支持技术研究[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
8 薛丹;李德敏;裴仁林;;移动计算中基于PrefixSpan算法的用户移动模式挖掘[A];第二十一届中国数据库学术会议论文集(技术报告篇)[C];2004年
9 潘晓;郝兴;孟小峰;;基于位置服务中的连续查询隐私保护研究[A];第26届中国数据库学术会议论文集(A辑)[C];2009年
10 黄捷;;人机交互在震动环境下的仿真模型设计与实验测试[A];第四届和谐人机环境联合学术会议论文集[C];2008年
中国重要报纸全文数据库 前10条
1 本报记者 吴玉征;移动计算创造新价值观[N];计算机世界;2009年
2 本报记者 杨洁;Sybase:移动计算与云技术推动数据库创新[N];中国计算机报;2009年
3 卢育辉 通讯员 郑昊;开发物流移动计算实时管理系统[N];广东科技报;2007年
4 本报记者 史剑;付建栋:移动计算是管理系统的执行工具[N];通信信息报;2004年
5 高毅;移动计算的安全问题不容忽视[N];人民邮电;2009年
6 本报特约撰稿 陈杰;移动与云计算引领开源新浪潮[N];计算机世界;2008年
7 本报记者 史剑 综合整理;移动计算数据采集分析全程案例演示[N];通信信息报;2004年
8 本报记者  伊文;让信息随时随地流动[N];计算机世界;2006年
9 本报记者 张伟;中科红旗:做国产软件的先锋[N];中国高新技术产业导报;2008年
10 彭;造雾机与电脑制图[N];电脑商报;2008年
中国博士学位论文全文数据库 前10条
1 龙环;灰箱演算的操作语义及表达能力研究[D];上海交通大学;2009年
2 李智超;移动计算关键技术研究[D];天津大学;2006年
3 苑洪亮;基于内容的“发布/订阅”若干关键技术研究[D];国防科学技术大学;2006年
4 姜忠鼎;基于深度全景视频的虚拟场景绘制技术研究[D];浙江大学;2004年
5 刘志;基于逻辑情景演算的虚拟企业过程建模研究[D];浙江大学;2001年
6 韩露;面向智能移动监控辅助的可穿戴视觉研究[D];重庆大学;2011年
7 郑红;分布式系统形式化建模技术研究[D];中国科学院研究生院(软件研究所);2003年
8 赵章界;短语结构制导的范畴表达式演算[D];中国科学院研究生院(计算技术研究所);2006年
9 丁治明;移动数据库关键技术研究[D];中国科学院研究生院(计算技术研究所);2002年
10 艾萍;构件柔性组装描述的形式化方法研究及其在水利领域的应用[D];河海大学;2002年
中国硕士学位论文全文数据库 前10条
1 张永红;基于移动数据库的“防汛掌上通”系统的设计与实现[D];武汉大学;2005年
2 申海;移动数据库中移动事务处理的关键技术研究[D];沈阳工业大学;2005年
3 初妍;基于Mobile Agent的移动数据库缓存算法研究[D];哈尔滨工程大学;2005年
4 钟翔宇;移动事务处理中数据一致性研究[D];沈阳工业大学;2005年
5 连向辉;对移动数据库复制技术中冲突问题的研究[D];哈尔滨理工大学;2007年
6 曹利国;程序评测系统的设计与开发[D];中南大学;2008年
7 苟艳;基于复制移动数据库系统的同步模型研究与设计[D];重庆大学;2005年
8 魏英;广播环境下移动事务处理中的节能问题研究[D];浙江大学;2006年
9 钟青祥;移动数据库技术在输电线路巡检中的应用[D];四川大学;2005年
10 张阳;嵌入式实时操作系统内核调度算法在无线宽带移动计算中的应用研究[D];济南大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026