基于时间概率代价进程代数的Web服务组合建模和分析

形式化建模Web服务组合并分析其功能正确性和QoS可满足性,是提高组合服务可信性的重要手段,但目前形式化方法侧重功能正确性建模和分析,对QoS可满足性的建模和分析支持不足.为此提出一种时间概率代价进程代数TPPPA(Timed Probabilistic Priced Process Algebra),给出了TPPPA的语法和语义,并证明其具有功能、时间、概率和代价的统一建模和分析能力.用实例表明了TPPPA可有效支持Web服务组合功能正确性和QoS可满足性的形式化统一建模和分析.  

基于描述逻辑的扩展预测模型标记语言EPMML

预测模型标记语言PMML正被许多数据挖掘组织作为标准化的数据挖掘模型描述语言.然而,由于数据挖掘技术的不断发展,参与建立PMML的数据挖掘厂商的经验有差异,PMML本身含有的大量语言元素不可避免地带来基于PMML的数据挖掘元数据的语义不一致问题.为解决这个问题,提出了一种基于描述逻辑的扩展预测模型标记语言EPMML,详细分析了EPMML的描述逻辑基础SOIN,设计EPMML的语言元素.基于EPMML描述的数据挖掘元数据可以转化为基于SOIN的知识库,进而进行知识推理以自动发现数据挖掘元数据的内在语义不一致问题.Racer推理实例验证了EPMML语言的良构性,良好表达能力和推理有效性.  

基于改进遍历矩阵和像素值扩散的通用图像加密算法

为了提高遍历矩阵的随机性和安全性,实现对图像信息的有效保护,提出了遍历矩阵构造的新方法,并结合像素值扩散设计了一种有效的图像加密算法.首先,利用混沌序列构造出完全不依赖载体图像灰度值的整数遍历矩阵,并利用此矩阵在图像空域进行迭代置乱,改进了传统遍历仅按特定路线扫描的局限性,以及对遍历周期和次数的过分依赖性；接着采用一个均匀分布的新混沌数列实现像素值扩散,改变了图像的统计特性,并使混沌映射不可逆；最后,构造出符合密码使用习惯的密钥生成系统,形成相对完整的加密体系,实现了图像加密.从统计特性、密钥空间、像素相关性、密钥敏感性、差分分析等多方面对算法的安全性进行了分析,结果表明,算法密钥空间大,抗攻击能力强,安全性高,实用性强.  

基于 VBA 技术的 PPT 交互性习题测试系统制作

在 PPT 中设计测试题可方便学生巩固课堂上所学的知识。对于 PowerPoint 2013而言，使用基于 VBA 代码 ActiveX 控件的方法来制作交互习题测试系统能大大提高其实用性。该习题测试系统主要包括填空题、单选题、多选题和判断题4种题型，测试结束后可自动弹出对话框来显示每道题的答题结果、各种题型的得分情况以及最后的总分。基于 VBA技术设计 PPT 习题测试系统可弥补方法交互性不足的缺点，更有助于课堂的教学。  

一种优化的众核处理器核级冗余拓扑重构算法

现有的行波列借拓扑重构算法是基于分级优化思想，把整体优化问题分解为以失效核为中心的局部优化问题，通过局部搜索失效核重构的最优解来求解整体优化问题的最优解。但其在局部邻域进行的是单向搜索，易导致搜索到的解并不是局部最优解，或者前一单元依次占用下一单元最优解而导致连锁列借操作。针对上述情况，构造一种局部邻域双向搜索的优化行波列借算法，可使局部解更优，并避免连锁操作。实验结果表明，该算法在失效核数目较多的情况下，与原有行波列借算法相比，众核处理器虚拟拓扑结构性能明显提高。  

一种有效的完全加权正负关联模式挖掘算法AWAPM_SPRMI

完全加权正负关联模式在文本挖掘、信息检索等方面具有重要的理论和应用价值.针对现有挖掘算法的不足,构建完全加权正负关联模式评价框架SPRMII(support-probability ratio-mutual information-interest),提出完全加权项集双兴趣度阈值剪枝策略,然后基于该剪枝策略提出一种新的基于SPRMII框架的完全加权正负关联模式挖掘算法AWAPM_SPRMII(all-weighted association patterns mining based on SPRMII).该算法克服了传统挖掘算法缺陷并采用新剪枝方法从完全加权数据库中挖掘有趣的频繁项集和负项集,通过项集权重维数比的简单计算和SPRMII评价框架,从这些项集中挖掘有效的完全加权正负关联规则.理论分析和实验表明,该算法有效,具有良好的扩展性,与现有经典挖掘算法比较,获得了良好的挖掘性能.  

基于分散网坐标的P2P搜索算法

对结构化P2P网络模型Chord的搜索算法进行讨论,指出其优点和不足.对于其搜索算法中存在的覆盖网络和底层网络不一致而带来的查询延时问题,本文结合Chord在拓扑结构和数据分布等方面的特点,以分散网坐标为基础,提出了基于分散网坐标的搜索算法,使搜索向着延迟相对小的节点进行.实验证明,基于分散网坐标的搜索算法使查询的路由跳数更少,路由延迟更小,查询效率也更高.  

硬实时软件建模与分析的进程代数方法

针对硬实时软件缺乏有效的系统动态行为建模机制，提出了一种用于硬实时软件建模与分析的进程代数方法。首先在时间通信顺序进程的基础上扩展硬实时语义得到硬实时通信顺序进程；然后提出时间调度算法，用于检查硬实时系统单个指令截止期的可满足性以及计算完成任务所需的最少时间；最后通过航空领域的一个实例来说明该方法如何应用于硬实时软件的建模与分析。该方法可以很大程度上提高硬实时软件执行时间计算的准确性，计算结果有助于硬实时系统截止期的量化分析和优化设计。  

一种基于位置图的可逆水印方案

提出一种基于位置图的可逆水印算法,选取载体图像的低位平面值作为水印嵌入位置,将载体图像分块,根据分块中低位平面像素值的大小关系将其分成三种不同类型的组,并用变长编码方式对组别进行算术编码,经逐组顺次判断便形成位置图编码,根据位置图信息,将位置图编码、水印信息、位置图所占用像素的LSB全部嵌入载体图像的低位,形成加密图像;提取时,先获取位置图,然后根据位置图无损提取水印,无损还原载体图像。算法具有可逆性和可多重嵌入性,安全性高、隐蔽性好、适用性强。  

基于混沌序列的通用数字图像加密算法

为有效保护数字图像的信息,提出一种基于混沌序列的通用的数字图像加密算法。先根据密钥及图像大小产生一个混沌序列,然后根据子密钥及图像类型将其转换为无符号整数序列,最后再依次与对应的像素值进行异或运算以实现置换加密。应用评价指标对加密效果与安全性进行分析。理论分析与实验结果表明,该算法密钥空间大,具有良好的加密效果、安全性与统计特性,且抗干忧能力较强。