摘要：为了降低传统可用性评估方法中的主观影响和误差,本文应用眼动跟踪技术分析人机交互过程中的认知情况,提出移动计算用户界面可用性评估方法.该方法选取凝视时间、凝视数目、感兴趣区转移频次矩阵等眼动指标,并结合交互任务与自顶向下的视觉认知机制对界面进行分析,建立可用性评估模型,考察视觉搜索和信息加工等认知效率,进而为界面设计优化提供指导.以手机用户界面为对象的评估实例表明,该方法可有效分析界面认知内因,获取可用性问题清单,与用户主观评估保持较高一致性,验证了其实用性与有效性.

摘要：移动计算系统中的检查点恢复协议面临着许多与传统分布式系统所不同的问题.在目前已出现的支持移动计算的检查点恢复机制中,基于建立全局一致的检查点的方法不能确保错误的独立恢复;基于m-MSS-m通信的消息日志方法其移动站之间交换的消息需通过移动基站的转发.提出了一种基于消息日志的支持移动站之间直接通信(m-m)的容错协议并给出了相应的算法及正确性证明.与m-MSS-m通信相比,m-m通信有利于降低信道冲突;减少消息传递延迟.仿真结果表明,所设计的协议比传统协议具有更小的无错误状态下引入负载和错误恢复时间.

摘要：针对交互式电子技术手册在移动计算应用环境中的需求日益增多,移动计算应用环境下智能客户端平台日趋多样导致的重复设计问题,该文提出了一种针对移动计算应用环境的分层设计架构,详细阐述了各层要满足的需求、完成的功能、实现的方案以及之间的交互情况,对如何进行更合理的设计以解决电子交互式技术手册的数据存储和显示之间存在的耦合性提供了一种新设计方案。

摘要：　移动设备和无线网络的发展使得移动数据存取越发重要,而移动计算应用程序必须感知环境的变动来更好地利用有限的资源提供相关的扩展功能.提出能够用来开发环境敏感适应性应用程序的技术和原型,并对低层的运行系统进行了部分实现.在管理环境变化和将环境变化报告给应用程序的新体系结构中,环境变化被抽象成类型事件,事件、传递政策、适应性策略和适应性反应被组织成可扩展类型层次结构,从而将环境参数管理的复杂性限定在底层运行系统中,简化了应用程序的设计.该体系结构不但能够用于建造新的移动性感知应用程序,也可以很方便地将移动感知适应性结合到现存的应用程序中去.实验结果证明了系统的有效性.

摘要：机密性和完整性是移动计算的两个重要特性,如何保障机密性和完整性是移动计算的重大挑战.利用π演算能有效建模移动并发系统的特征,借鉴程序语言中不同类型变量之间的赋值方式,提出基于混杂类型检测的安全π演算(Hybrid Typed Securityπ,πHTS).根据πHTS利用静态类型检测保障低机密级信息只能向同等或更高机密级流动,高完整级信息只能向同等或更低完整级流动,针对机密性和完整性在信息流向上的相反性,提出了基于强制类型转化的有效动态转换框架.πHTS将静态检测和动态检测有机地整合在一起,形成了一种统一的安全形式模型.它能同时保障移动计算中的机密性和完整性,具有较好的可用性.

摘要：以移动计算系统的网络传输为背景,提出了系统多途径自适应信息传输设计。此设计根据传输信息类型和网络传输途径的状态,按照一定的规则,自动选择一种传输途径进行传输。用户只需简单地参与或者无需参与,即可完成多途径传输任务。与全人工的多途径选择传输相比,此设计提高系统传送信息的效率。

摘要：移动终端在互联网中下载到恶意软件的几率非常高,这对用户信息私密性造成了严重的威胁,但科研组织曾研究出的恶意软件检测系统往往误报率过高、实用性不强。为此,设计移动计算环境下恶意软件静态检测系统,其由特性提取与预处理模块和移动计算终端组成。特性提取与预处理模块根据静态检测特性数据库中的恶意软件标志特性,对用户移动终端软件的安装包特性、资源特性和编译特性进行提取,并使用静态检测函数对提取出的特性进行预处理,给出恶意与非恶意软件的特性分类结果。系统通过移动计算终端对特性分类结果中的恶意软件特性进行位置检测,隔离出用户移动终端中的恶意软件,防止恶意软件继续入侵。经实验分析可知,所设计的系统误报率较低、实用性较强。

摘要：回调算法是一种由服务器驱动的缓存管理算法,存在"写延迟"和终端断接重连时需重新验证缓存的问题,为此提出利用代理技术验证缓存一致性的方法。首先,给出Client/MSS/Server结构,设计并说明各层代理的功能;其次,从客户端的数据访问操作和服务器端的写操作两方面讨论缓存一致性验证方法。利用代理管理客户端缓存和转发失效数据,既可满足终端断连的需要,也不致产生服务端的写延迟,并能够保持数据的强一致性。实验表明,所提方法使终端断接重连的查询响应时间更快,并能弥补回调算法的不足,更加适用于终端频繁移动、断接的无线网络环境。

摘要：频繁断连性、通信不对称性、用户数据访问模式多变性、移动终端能源有限性是移动计算环境的典型特征。如何能在如此“苛刻”的条件下保证移动终端的数据访问高效性、时效性是研究重点。从数据广播技术、数据预取技术和数据缓存技术3方面进行研究,从而提高移动计算环境中数据访问的性能。

摘要：数据广播调度是移动计算环境中数据管理技术的研究热点之一。现有的广播调度算法在移动数据库环境中缺乏一定的实用性。在数据项长度可变的条件下,理论上分析了多盘数据广播的平均访问时间,并提出了一种启发式的遗传调度算法,在广播调度中引入贪婪变换的启发式求解策略。理论分析和实验结果表明,该算法在访问概率偏斜率较大和数据项长度不等的情况下,平均访问时间较小,能很好的适应于移动数据库环境。