一种扩展式动态环境演算范型的Petri网描述

为了以可视化的方式验证扩展式动态环境演算范型对移动协同中移动性和协作性的描述能力及描述语义的正确性,提出了一种扩展式动态环境演算范型的Petri网描述(PND).首先,给出基本演算实体的Petri网表示,用Petri网的顺序行为理论和并发行为理论中的变迁来表达任意动作,用库所来表达任意动作前后的各种环境状态及其变量.其次,给出演算实体的各操作语义关系的Petri网表示,并引入弧权重来刻画动作与其前后相关的环境、状态的相互作用关系.最后,引入了Petri网的合成理论,用简单Petri网合成法来构造动态复杂环境的模型.采用染色Petri网工具进行仿真,结果表明PND具有正确的描述语义,从而进一步为扩展式动态环境演算范型的有效性提供了有力的论证.     

消除有限容量演算中的强干扰

为了消除有限容量演算中的强干扰和控制资源的移动，改进了该演算的某些原语，提出了一种新的演算——安全有限容量演算。在新演算中，调整了2个能力，增加了3个能力（相当于动作）和2个余能力（余动作），并改进相应的归约语义，给出了安全有限容量演算的类型系统。该类型系统控制灰箱的移动性和线程数，并保证在计算过程中灰箱所拥有的资源数被静态地保持在其资源数范围内。     

Email系统特征交互问题的π-演算检测

采用π-演算给出基于客户端-服务器模式的Email系统,以及系统中特征的行为描述;然后,利用μ-演算描述和分析Email系统中存在的特征交互问题.最后,利用移动工作台软件工具,验证基于π-演算描述的移动并发系统.     

基于π演算的协同商务主体的交互行为描述

对商务主体的协同交互行为的描述是多主体协同电子商务系统模型描述中的重要部分,本文采用π演算的描述方法对商务主体的协同行为(计划)进行形式化描述。     

鲁棒环境演算类型演化系统的扩充

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型,移动环境演算是一种广为使用的描述移动计算的形式化模型,鲁棒环境演算[1]是针对这种演算的一种改进.文献[2]提出了类型演化问题,然而其研究只是针对不含有通信原语的纯演算进行.在[2]的基础上,进一步讨论了此问题.通过引入消息类型和消息体类型,并将之与原有的进程类型和环境类型相结合,提出了一个支持类型演化的能够对带有消息传递的进程项类型化的类型系统,从而将[2]的工作扩充到整个鲁棒环境演算中.证明了类型系统的正确性.同时给出了一个最小类型算法,在给定类型上下文的条件下,算法能够计算出任意进程项的类型;并证明了算法的可靠性和完备性.     

鲁棒环境演算中的互模拟同余关系

移动计算是在网络技术发展过程中涌现出来的一种新的分布计算范型，移动环境演算是一种广为使用的描述移动计算的形式化模型．针对这种演算的一种改进——鲁棒环境演算，提出了一个新的标号转移系统，并在此基础上引进了一种互模拟同余关系．同时，作为上述工作的应用，给出了一些重要进程等价性定律的简洁证明．     

面向agent的统一知识表示与推理逻辑框架

agent设计的坚实理论基础必须建立在知识表示和推理的理论之上.针对目前逻辑理论模型及行为理论模型的不足,提出以描述逻辑及其扩展来描述agent的静态、动态及不确定性知识等信念知识,结合描述逻辑与行为理论进行动作描述;并与认知逻辑相结合构成一个信念知识混合系统认知描述逻辑(EDL),以弥补描述逻辑在过程规则表示方面的不足.给出了EDL的语法及语义以及公理系统,构建了一个面向agent的统一的知识表示和推理逻辑框架.     

面向移动协同应用的资源动态调度机制

移动协同工作支持移动用户通过移动终端设备随时随地与其它用户进行群组协作、资源共享等.为了解决移动协同计算环境中的“资源孤岛”问题,有效利用群组协作中的有限资源,本文对移动协同应用中的资源调度模型进行了研究,并提出了一种面向移动协同应用的资源动态调度机制.根据实际协同应用需求,本文构建了一个移动协同搜索平台(MCSP)原型系统,并通过实验仿真对提出的多种移动资源调度策略进行了评估验证.     

扩展π演算对时间相关移动并发系统的建模与推演

针对π演算难于对时间相关移动并发系统进行建模和推演,提出了一种采用扩展π演算p-π对时间相关移动并发系统进行形式化建模与推演的方法。该方法首先采用区间动作前缀和瞬时动作前缀分别描述系统的时间相关行为和交互行为,并通过操作算子将子进程进行复合,然后利用操作规则构造出系统的时间相关标记迁移系统和可接受的执行路径,最后基于上述迁移系统和执行路径完成对系统性质的推演。对移动车辆控制系统的分析表明,所提方法可对时间相关移动并发系统进行有效建模和推演,保证时间相关移动并发系统的可靠性。     

基于控制流的Mobile Safe Ambients演算的静态分析策略

在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上, 通过识别可被激活的移动原语和通讯原语, 计算系统运行的所有动态进程拓扑结构, 并在文法规则中显示地标识约束名字和变量, 使分析结果在α变换下保持不变. 该策略可被应用于静态分析和验证基于Mobile Safe Ambients演算描述的并行与分布式系统的动态行为及属性.     

移动学习与移动图书馆

阐述了移动学习的基本概念,讨论了移动学习的开展情况,分析了移动图书馆的特点,并介绍了国内外建立移动图书馆的案例。     

基于Windows Mobile的移动视频监控系统

提出一个基于Windows Mobile的移动视频监控系统设计方案。文章介绍了整个视频监控系统的体系结构,讨论了在移动平台上实现视频监控的相关关键技术,重点阐述了移动视频监控系统的实现。测试结果及系统实际应用效果证明了该设计方案的有效性。     

基于Windows Mobile的移动视频监控系统

提出了一个基于WindowsMobile的移动视频监控系统设计方案．介绍了整个视频监控系统的体系结构,讨论了在移动平台上实现视频监控的相关关键技术,重点阐述了移动视频监控系统的实现．测试结果及系统实际应用效果证明了该设计方案的有效性．     

试析移动商务之手机支付的可行性

简单介绍了手机支付的概念,详细阐述了手机支付业务流程与技术支持,分析了手机支付的优势及其前景,提出了推广手机支付的措施。     

移动代理技术在移动计算中的应用

分析讨论了移动代理(Agent)技术在移动计算中的应用.随着因特网的广泛应用和移动主机用户的不断增加,使对基于移动IP的研究显得更为重要.首先分析了IP对移动节点的支持和实现机制,然后介绍并讨论了移动代理技术、隧道技术和安全性问题,最后研究了移动代理技术在移动计算中的具体应用.     

移动IP和自组网的集成

通常移动主机只能获得和它们直接相连(在一跳范围内)的接入点的服务，为此提出一种将无线接入点的服务范围扩展到多个自组网的新方法，每一个自组网都是一个Internet子网．阐述了这种网络的体系结构，列举了各种通信场景，分析了如何修改移动IP和自组网路由协议以支持这种体系结构．给出了一种linux实现的系统架构．     

移动互联网络安全与手机恶意软件的研究

智能手机已经成为人们生活的一部分,人们对于智能手机的依赖程度已经超越PC机,手机病毒成为了病毒发展的下一个目标,黑客的视线正逐渐由传统互联网转移至移动互联网.手机中毒、流氓软件、短信诈骗、隐私泄露、电话骚扰、流量吸费等手机安全事件频频发生,给广大手机用户带来诸多困扰,甚至威胁到个人财产和人身安全.本文阐述了手机病毒的概念、特点和危害,着重分析了手机病毒最新发展现状、发展趋势以及所造成的社会危害,并通过典型案例分析而提出相应的防范措施.     

GSM移动信令网中移动应用部分（MAP）的监测

介绍了GSM移动信令网中移动应用部分(MAP)的监测问题，主要讨论了MAP分层结构，MAP信令协议分析及移动业务分析。针对MAP的分层格式，着重介绍了其由事务处理能力层(TCAP)向MAP层的解码过程，给出了流程图，并结合实例分析了解码结果。在建立在底层解码的基础上的移动分析中，给出了包括呼叫建立号码，统计及呼叫故障统计的实现过程实测情况。MAP信令监测系统的实现对更好地维护管理GSM信令网，优化GSM网络提高网络的运行质量都是不可缺少的。实测结果对MAP信令检测系统的实现有一定的参考价值。     

移动IP技术

介绍了移动IP技术的基本概念以及工作原理,然后着重介绍了代理搜索、注册、路由选择,隧道技术,最后介绍了移动IP存在的一些问题以及将来的发展方向。