-
36791.异构传感器网络能量空洞分析与避免研究
[信息传输、软件和信息技术服务业] [2014-05-15]
在无线传感器网络中,由于sink附近的节点承担远方节点数据的转发,故能量消耗较高,容易在sink附近形成能量空洞而使网络提前死亡.针对由初始能量较大节点充当簇头节点与初始能量较小的节点作为普通节点组成的异构分簇无线传感器网络,提出了不等簇半径工作能量空洞避免策略.策略的核心是让近sink的簇半径较小,而远sink的簇半径较大,这样,近sink部署的初始能量较大的簇头节点较多,因而能够减弱能量空洞的影响,以达到能量消耗均衡的目的.将能量空洞避免问题转化为在保证网络寿命满足应用需求约束前提下如何使部署的节点最小的优化问题,并详细给出了不等簇半径的取值与优化方法.理论分析与实验结果表明,所提出的策略对网络寿命与性能有较大的改善,对于异构传感器网络建设有较好的指导意义.
关键词：传感器网络；能量空洞；不等簇半径；非均匀分布；网络寿命
-
36792.带标签的基于证书密钥封装机制
[信息传输、软件和信息技术服务业] [2014-05-15]
基于证书加密方案通常将消息空间限制于某个特殊的群并且不适合大块消息加密.为了解决这一问题,将带标签的密钥封装机制引入到基于证书系统中,提出了带标签的基于证书密钥封装机制的形式化定义及安全模型.在此基础上构造了一个带标签的基于证书密钥封装方案,并证明了该方案在随机预言模型下是自适应选择密文不可区分的.
关键词：密钥封装机制；基于证书加密；随机预言模型
-
36793.分组密码二元扩散结构的几点注记
[信息传输、软件和信息技术服务业] [2014-05-15]
0-1矩阵常用于设计分组密码的扩散结构,首先证明,当GF(2n)上的矩阵重新定义在扩域GF(2mn)上时其分支教保持不变,据此补充了Choy等人关于GF(2n)上二元矩阵分支数上界的证明.构造了一批分支数达到最优的8阶二元可逆矩阵,给出了一类差分分支数和线性分支数相等的二元可逆矩阵,并从中搜索出了大量16阶分支数达到最优的二元矩阵和对合二元矩阵.
关键词：分组密码；扩散结构；分支数；0-1矩阵
-
36794.网络虚拟化环境下的服务故障诊断算法
[信息传输、软件和信息技术服务业] [2014-05-15]
网络虚拟化环境下,底层网络的透明性造成虚拟网提供商不能诊断所有的虚拟网服务故障.为解决此问题,提出了基于映射关系的虚拟网服务故障传播模型.针对故障传播模型中故障集与症状集较大、网络环境动态和噪声大而导致的已有诊断算法误报率高、时间复杂度高的问题,基于网络虚拟化环境下症状内在相关性特点,提出了一种新的基于症状内在相关性的虚拟网服务故障诊断算法SFDoIC(service fault diagnosis algorithm based on inherent correlation among symptoms).仿真实验结果表明,SFDoIC算法能够很好地解决底层网络透明性造成的虚拟网服务故障难以定位的问题.SFDoIC算法可以有效地降低诊断算法的误报率,显著缩短诊断算法的运行时间.
关键词：网络虚拟化；虚拟网；底层网络；服务故障诊断；症状内在相关性
-
36795.基于DeepBeliefNets的中文名实体关系抽取
[信息传输、软件和信息技术服务业] [2014-05-15]
关系抽取是信息抽取的一项子任务,用以识别文本中实体之间的语义关系.提出一种利用DBN(deep belief nets)模型进行基于特征的实体关系抽取方法,该模型是由多层无监督的RBM(restricted Boltzmann machine)网络和一层有监督的BP(back-propagation)网络组成的神经网络分类器.RBM网络以确保特征向量映射达到最优,最后一层BP网络分类RBM网络的输出特征向量,从而训练实体关系分类器.在ACE04语料上进行的相关测试,一方面证明了字特征比词特征更适用于中文关系抽取任务 ;另一方面设计了3组不同的实验,分别使用正确的实体类别信息、通过实体类型分类器得到实体类型信息和不使用实体类型信息,用以比较实体类型信息对关系抽取效果的影响.实验结果表明,DBN非常适用于基于高维空间特征的信息抽取任务,获得的效果比SVM和反向传播网络更好.
关键词：DBN(deepbeliefnets)；神经网络；关系抽取；深层网络；字特征
-
36796.一种支持完全细粒度属性撤销的CP-ABE方案
[信息传输、软件和信息技术服务业] [2014-05-15]
属性撤销是基于属性的加密(attribute based encryption,简称ABE)在实际应用中所必须解决的问题.在直接撤销模式下,已有的支持属性撤销的ABE方案只能以撤销用户身份的方式对用户所拥有的全部属性进行撤销,而无法做到针对属性的细粒度撤销.提出了直接模式下支持完全细粒度属性撤销的CP-ABE(cipher policy ABE)模型,在合数阶双线性群上,基于双系统加密的思想构造了具体的方案,并在标准模型下给出了严格的安全性证明.该方案能够对用户所拥有的任意数量的属性进行撤销,解决了已有方案中属性撤销粒度过粗的问题.
关键词：属性撤销；直接撤销模式；基于属性的加密；密文策略
-
36797.语义Web中对象共指的消解研究
[信息传输、软件和信息技术服务业] [2014-05-15]
随着语义Web的快速发展,语义Web数据大幅增长.在语义Web中,单个对象很可能由多个不同的标识符(例如URI)指称.语义Web中,对象共指的消解是识别语义Web中指称相同对象的不同标识符,并消除描述这些标识符的RDF(resource description framework)数据之间不一致性的过程,它对于语义Web数据的融合、搜索、浏览等具有重要作用,首先,形式化定义了语义Web中对象共指的消解问题；然后,从对象共指识别使用的特征、数据冲突的消解方式、对象共指消解方法的适用范围、现有原型系统和基准测试集这5个方面调研了最新的研究进展；最后,讨论了尚存的挑战,并展望表来可能的研究发展方向.
关键词：对象共指；共指消解；实例匹配；语义Web；数据融合
-
36798.基于嵌套循环分类的并行识别技术
[信息传输、软件和信息技术服务业] [2014-05-15]
传统的分布存储并行编译系统大多是在共享存储并行编译系统的基础上开发的.共享存储并行编译系统的并行识别技术适合OpenMP代码生成,实现方式是将所有嵌套循环都按照相同的识别方法进行处理,用于分布存储并行编译系统必然会导致无法高效发掘程序的并行性.分布存储并行编译系统应根据嵌套循环结构的特点进行分类处理,提出适合MPI代码生成的并行识别技术.为解决上述问题,根据嵌套循环的结构和MPI并行程序的特点,提出了一种新的嵌套循环分类方法,并针对不同的嵌套循环分别提出了相应的并行识别技术.实验结果表明,与采用传统并行识别技术的分布存储并行编译系统相比,按照所提方法对嵌套循环进行分类,采用相应并行识别技术的编译系统能够更高效地识别基准程序中的并行循环,自动生成的MPI并行代码其性能加速比提高了20％以上.
关键词：并行编译；并行识别；嵌套循环；模型法；遍历法；交互法
-
36799.网构软件的Wright-Fisher多策略信任演化模型
[信息传输、软件和信息技术服务业] [2014-05-15]
网构软件是开放网络环境中软件系统基本形态的一种抽象,其信任关系本质上是最复杂的社会关系之一.为了增强信任演化模型的自适应性,提高预测的准确性以及有效地抑制自私节点的产生,结合差异化服务和演化博弈理论,提出了一种符合开放网络特征的信任演化模型:(1)建立基于差异化服务的实体全局收益函数,以增强信任演化模型的自适应性；(2)以演化博弈理论作为分析工具,借助Wright-Fisher模型的特点,提出了一种Wright-Fisher多策略信任演化模型,以增强对信任演化预测的准确性；(3)根据“公平规范”原则建立了基于博弈的激励机制,激励信任策略的演化,从而有效地抑制自私节点的产生,实验结果表明:该模型能够更准确地反映开放网络中实体信任行为的复杂性特点;在激励机制的作用下,网构软件的信任演化能够更快地达到稳定状态,从而有效地提高网络的效率,使网构软件系统的信任收益达到最优.
关键词：网构软件；差异化服务；演化博弈；Wright-Fisher；多策略；信任演化；激励机制
-
36800.谓词模态逻辑到对应物理论的翻译
[信息传输、软件和信息技术服务业] [2014-05-15]
对应物理论(counterpart theory)是一阶逻辑的一种理论.Lewis利用谓词模态逻辑到对应物理论的翻译来研究谓词模态逻辑的性质,但是Lewis的翻译存在把不可满足的公式翻译为可满足公式的情况针对这个问题,提出了一种扩展语义的谓词模态逻辑,建立了扩展语义后谓词模态逻辑模型与对应物理论模型的一一对应关系,并在此基础上建立了谓词模态逻辑到对应物理论的语义忠实语义满翻译(faithful and full translation),其可确保将谓词模态逻辑的可满足公式和不可满足公式分别翻译为对应物理论的可满足公式和不可满足公式.由对应物理论是可靠的、完备的一阶逻辑的理论且语义忠实语义满翻译保持可靠性和完备性,进一步证明了扩展语义的谓词模态逻辑也是可靠和完备的.
关键词：谓词模态逻辑；对应物理论；语义忠实语义满翻译
027-87841330