基于移动代理的网格监控系统设计与实现

网格监控系统对于保障网格系统正常运转极为重要，是近年来网格研究领域的热点之一。以GMA为基础，提出了一种基于移动代理的网格监控架构(MA-GMA)，将基于网格资源有效期的缓存机制与智能性、移动性、自治性等移动代理的特征注入当前的OGSA标准，构造了一个动态的、可扩展的网格监控系统。通过它网格系统的开发者和管理者可以及时发现网格故障根源，分析系统性能瓶颈，为修复和改善系统性能提供依据，使网格系统的服务质量得到可靠保障。     

基于Z规格说明的可复用测试用例形式化描述

可复用的、统一的描述规范是测试用例复用的前提条件,能够为测试用例的共享提供良好的复用机制。为此,遵循测试用例最小粒度划分的原则,针对基于Z规格说明的软件测试,提出测试项、测试用例、测试用例套、测试用例库等概念,并给出这些概念的形式化定义。通过Z规格说明对可复用测试用例库进行描述,保证该用例库的描述准确和无二义性。应用结果证明,该方法能提高测试用例的可复用性。     

数据库元数据的自动语义标注

语义异构是异构数据库信息集成中要解决的关键问题.为了使关系数据库的表和字段具有语义信息,将数据库元数据自动标注成语义元数据成为研究的热点.基于概念名和概念结构的语义相似度计算,提出了一种数据库元数据自动语义标注方法.首先从关系数据库的元数据中提取隐含的语义信息,并据此创建领域本体,然后通过计算元数据与本体实体间的语义相似度对提取的元数据进行自动语义标注,提出的相似度算法综合考虑了概念名称和结构的相似性,并采取了必要的优化措施进行改进.经实验测试证明,该方法具有较高的标注正确率,是一种行之有效的语义标注方法.     

网关机顶盒——下一代数字家庭网关的研究

提出一种用更智能化的机顶盒来实现家庭网关的方案,降低了资源消耗并提供高质量服务.基于ARM处理器加DSP的体系架构,配置嵌入式Linux和中间件消除家庭网络设备间的差异性,设计了丰富的顶层应用软件.并命名这种具有网关功能的智能性机顶盒为网关机顶盒.     

Qtopia Core在嵌入式Linux上的移植及应用

良好的人机接口界面(GUI)是嵌入式系统设计的一个迫切需求,分析了嵌入式Linux下流行的GUI系统qtopia Core的窗口系统和核心机制--信号与槽,介绍了其在嵌入式Linux平台上的交叉编译与移植过程,最后结合实例阐述了基于Qtopia Core的嵌入式GUI程序的设计与实现.     

一种适用于嵌入式环境下的手写汉字分割算法

汉字分割是连续手写汉字识别的关键问题之一,现有多数汉字分割算法需要对笔划结构进行分析,由于汉字具有复杂的结构和不同的书写风格,因此往往计算量偏大.针对嵌入式系统处理能力和内存资源相对较少的特点,介绍了一种基于笔划连通域和字符投影的手写汉字分割算法,以连通域为单元实现连续汉字的分割,不用考虑连通域中所包含笔划的结构和风格,降低了计算量.     

并行MLFMA分布层的构造及其负载均衡

研究了并行多层快速多极子算法（MLFMA）的分布层,提出了一种衡量其负载不均衡程度的方法,并在此基础上提出了分布树的一种新的构造算法。通过预先估算按分布层的不同层均分所得分布层的负载不均衡度,选取了一种负载不均衡度较小的方法来构造分布树。实验结果表明,该算法相比传统的按分布层的最细层均分所得分布树的算法,能更为有效地提高整个多层快速多极子算法的并行效率。     

基于并行MLFMA最细层数据建立算法的Petri网建模方法

为解决并行多层快速多极子算法(MLFMA)的功能和性能评测的问题,分析了MLFMA算法的关键问题分布树最细层数据的建立,提出了一种可以同时进行性能分析和正确性验证的形式化方法Petri网.将Petri网理论应用到具体的项目中,针对基于消息传递机制的最细层数据建立的并行算法进行形式化建模.在体现Petri网对基于消息传递机制的并行程序进行建模的优越性的同时,为后续进一步的程序正确性验证和性能分析打下基础.     

RFID系统中面向服务的动态资源配置优化机制

针对物联网中RFID(radio frequency identification)系统的tag和reader的速率不匹配及其资源受限问题,从理论上对tag和reader之间的协作通信上下文进行分析,提出一种面向服务的RFID系统资源配置优化机制,该机制利用tag与reader的组件QoS(quality of service)信息建立闭环控制框架,使用3种控制策略根据其资源状态和类型调节QoS参数。通过实验对机制进行了性能分析和验证,结果表明,该优化机制有效地提高RFID系统的吞吐量,高效地使用系统资源,减少了能量消耗和reader-to-reader干扰。     

网格服务通知机制探讨

分析了Globus工具集GT3中的网格服务通知机制实现，解决了接收方的服务数据区分及通知订阅服务实例只含单一接收方等问题，同时参考网络地址转换NAT技术提出了解决跨网段服务间的通知模型。