一种支持位置隐私保护的社交发现服务模型

针对社交发现服务中的隐私保护问题,提出一种位置隐私保护社交模型。通过将用户数据分成索引消息和数据消息,使得地理坐标和位置数据解耦,引入多授权中心环境下的属性基加密方法(attribute based encryption,ABE)对索引消息进行加密,位置数据由对称加密后上传,两者分别保存在索引服务器和数据服务器的个人存储空间上。分析表明,模型支持陌生成员发现和群组管理功能,灵活性高,能够保护用户的社交隐私数据,可以很好地用于社交发现服务。     

核的正交完备鉴别局部保持投影

针对完备鉴别局部保持投影算法所求得的最优判别矢量间存在信息冗余问题,提出了核的正交完备鉴别局部保持投影算法。通过将核函数技术与正交性原理融合,采用高斯核函数将原始样本映射到高维特征空间,在高维特征空间的局部总体散度矩阵中计算最优判别矢量,只需在整个范围内对值域空间进行特征值分解,去除局部零空间达到样本降维目的。该算法分别在 UMIST 人脸库和 JAFFE 人脸表情库上进行实验,实验结果表明算法的识别率高达95．59％。     

分布式网络测量中测量节点的智能选择算法

大规模网络结构复杂,需要有针对性的网络监测方法。测量节点的自动选择必须在测量代价和覆盖范围之间进行权衡。合理地测量节点选择,能在获取全网性能状况的同时,有效减少测量给待测网络带来的带宽占用和软硬件资源消耗的影响。以最小化测量节点数量为目标,选择蚁群算法作为测量节点自动选择的基本算法,并通过对基本算法进行改进和创新,可形成一种针对分布式网络测量的测量节点智能选择算法。     

局部断面收缩的溃坝水流三维数值模拟

为研究局部断面收缩对溃坝水流传播的影响,采用压力隐式算子分割法求解雷诺时均方程和RNG k-ε紊流模型,建立了模拟三维局部断面收缩情况下溃坝洪水演进过程的数学模型。采用有限体积法对溃坝水流的控制方程进行离散,利用流体体积函数法处理自由水面,物理变量采用交错网格布置,对局部断面收缩溃坝水流进行数值模拟计算,模拟结果与实体模型试验结果吻合较好。利用该模型研究了溃坝洪水负波的形成和传播过程,得到了负波形成和传播的规律以及溃坝水流的水位变化特征。     

提高红外瓦斯传感器抗干扰性能及精度的研究进展

分析了影响红外瓦斯传感器抗干扰性能及精度的系统内部部件和外界环境因素,从吸收气室结构、信号调理电路、浓度转换算法、温度及压力补偿算法等方面论述了目前在提高红外瓦斯传感器抗干扰性能及精度方面的研究成果及进展。     

一种基于UPPAAL的Web服务组合模型检测方法

Web服务组合的正确性验证对提高软件开发效率、实现服务增值具有重要意义。为从高层抽象层次研究Web服务组合的正确性及其形式化验证方法,考虑到Web服务组合中的实时特征,在采用软件体系结构描述语言XYG/ADL对Web服务组合进行描述的基础上,将其实时描述部分XYZ/RE转换至时间自动机模型,组合后系统应满足的性质用分支时序逻辑CTL公式表示,最后应用模型检测工具UPPAAL实现了Web服务组合正确性的自动化验证。     

ESB在数字校园数据整合中的应用与实践

针对高校数字校园资源整合问题,构建了基于ESB的数字校园的系统架构,分析了Mule ESB的特点及其在数据整合中的应用,并具体实现了基于Mule ESB的数据接口设计、数据交换过程及工作流编排,从而说明了以ESB为核心的数据交换和流程整合符合SOA(Service-Oriented Architecture)的核心价值,也是现阶段实现数字校园应用系统整合的有效手段。     

基于VBA通用的上机考试制卷与评分系统的实现

探索一个实现上机考试的通用系统,为上机考试出卷、评卷提供有益的参考借鉴。     

Web应用程序的用户非预期行为测试模型的研究

现有Web应用程序测试模型默认前提是将Web应用程序软件行为等同于其他传统软件,而忽略了Web应用程序中用户的非预期行为将可能影响软件应有的逻辑,导致软件行为失效,针对这一问题,本文在分析现有测试模型,测试策略与算法的基础上,提出一种基于扩展有限状态机(EFSM)的UUBTM测试模型来生成非预期行为的测试序列UTSEQ,实验证明该序列可以有效检测Web应用程序中存在的缺陷.