基于联合感知模型的无线传感器网络连通性覆盖协议

本文研究在没有节点位置信息的情况下,如何有效地保证节点采用联合感知模型且节点通信范围多级可调的无线传感器网络的覆盖质量和连通性.给出了在节点随机部署方式下,网络覆盖质量和网络连通性与工作节点个数、监测区域面积和节点性能参数的关系;设计了一个选取最少工作节点保证网络覆盖质量和网络连通性的调度控制算法(SCA),该算法力求...     

自动信任协商的形式化描述与验证研究

首先提出了自动信任协商的通用形式化框架,并将典型的信任协商策略规约到上述框架内;其次,基于上述形式化框架对自动信任协商的形式化验证问题进行了定义,确定了形式化验证的目标以及一般流程;再次,研究了典型信任协商策略的形式化验证问题,讨论了相关问题的计算复杂性并得到系列结论;最后,利用逻辑编程方法和模型检测方法实现了自动信任协商的形式化验证。实验结果表明,规则数是影响形式化验证系统运行时间的关键因素,逻辑编程方法和模型检测方法在规则较少时效率较高,但逻辑编程方法的可扩展性不及模型检测方法。     

基于性能预测的推测多线程循环选择方法

线程级推测(Thread-Level Speculation,TLS)是多核上一种加速串行程序的线程级自动并行化技术。循环具有规则的结构并在运行时占有大量的执行时间,因此循环是挖掘并行性的理想对象。然而,选择哪些循环并行才能提高程序的加速比是一个很难决定的问题。为了解决该问题,该文提出一种基于性能预测的循环选择方法。基于输入训练集获取程序预执行的剖析信息,同时结合各种推测因素,构建了循环结构的性能预测模型。预测结果定量评估了循环推测并行的加速比并决定该循环在运行时是否适合并行。实验结果表明,该文提出的方法能有效地预测循环并行时所蕴含的并行性,并依据预测结果准确地选择具有并行收益的循环推测并行,最终Olden基准测试集加速比性能平均提升了12.34%。     

基于全局状态估计的多传感器加权数据融合算法

自学习最小二乘加权数据融合算法已被广泛地应用于融合多传感器系统中的量测信息。但是,通过深入的理论分析和实验仿真发现,自学习最小二乘加权数据融合算法在进行双传感器数据融合时具有较差的融合精度,同时该算法还具有较差的抗干扰性及稳定性。基于以上研究结果,提出了一种基于全局状态估计的多传感器加权数据融合算法,采用卡尔曼滤波的状态估计特性及相关历史信息,使得状态的估计值能够充分逼近真实值,从而使得算法具有较高的融合精度及抗干扰性。最后,Monte Carlo仿真结果显示,相比于已有算法,提出的算法在融合精度及抗干扰性方面具有明显地提高。     

局部归一化融合EW-Gabor特征的光照变化人脸识别

针对光照变化人脸识别问题,提出了一种基于局部归一化融合熵加权Gabor特征方法。首先,计算类熵加权向量;然后,对图像进行局部归一化,并且计算输入图像的Borda计数,从而消除低值Gabor jet比较矩阵;最后,利用投票得分策略和k近邻分类器完成人脸识别。在扩展YaleB和AR人脸数据库上进行实验评估,在AR上的识别率可接近100%,相比其它几种较新的局部特征方法,本文方法取得了更高的识别精度,并且在一定程度上减少了计算开销。     

基于Java的电力市场竞价实验平台设计、实现及应用

电力市场竞价实验是竞价机制研究的新方法，属于实验经济学范畴，对于电力市场机制的设计和评估具有重要的理论和现实意义。文中介绍了电力市场竞价实验平台的设计、实现及初步应用情况。该平台采用先进的信息系统体系结构，基于Internet和Java语言技术实现，能模拟真实市场环境，灵活设定实验参数，严格控制实验过程，方便进行实验结果的记录、处理和分析，极大地提高了电力市场竞价实验的效率。该平台的建设为电力市场竞价实验的开展奠定了坚实的基础。     

基于MPEG-4算法的分布式IP视频会议系统

文章结合分布式视频会议模型(DVSM)进行了IP视频会议子系统的划分和设计，并使用RationalRose工具结合MPEG-4算法以视频数据流为例具体给出各层子系统中主要类的描述。然后阐述了MPEG-4视频编码的关键概念和算法，分析了MPEG-4视频码流的逻辑语法和语义，并结合MPEG-4编解码库分析VOP编码实现的程序流程。     

XBSIA:一种基于XML的安全技术集成框架

通过信息安全性的形式化定义指出了XML的逻辑安全层次与相应的协议结构，在分析：XML相关安全技术的数据结构与机制的基础上，提出了一个基于XKMS的信任服务架构模型XKMS-TA，该模型降低了客户端配置的复杂度和部署与维护的成本，并提高了互操作性。随后，本文将XKMS-TA与XACM相结合，设计了一个XML的安全集成体系结构：XBSIA，并在OPEN-CLASS分布式网络教学平台的开发过程中得到实现，实践证明XBSIA具有较强的安全性与动态可维护性。     

基于Web的通用问卷程序模板

分析了问卷类题目的结构特点，开发了通用程序模板，较好地解决了开发这类Web程序效率低的问题。同时，研究了Web页面的安全问题。     

主题驱动的P2P分布式信息搜索机制研究

Peer—to—Peer（P2P）对于分布式文件共享具有很好的前景，但当前的P2P系统仍然缺乏有效的信息搜索机制．本文提出一种主题驱动的P2P信息搜索机制，通过对节点上的文档进行聚类获得全局主题，然后将包含有相似主题的节点组织到一起构成主题覆盖网络．当在P2P网络中进行信息搜索时，根据查询与主题的相关性路由查询，从而改善搜索效率．本文详细阐述了进行主题驱动搜索的索引结构、主题聚类方法、主题覆盖网络的构造与维护算法．在Chord上的模拟实验结果表明，主题驱动的P2P信息搜索机制可以减少信息搜索时的平均网络带宽和平均搜索路径长度，提高搜索的成功率．