-
36621.一种基于稀疏典型性相关分析的图像检索方法
[信息传输、软件和信息技术服务业] [2014-07-15]
图像语义检索的一个关键问题就是要找到图像底层特征与语义之间的关联,由于文本是表达语义的一种有效手段,因此提出通过研究文本与图像两种模态之间关系来构建反映两者间潜在语义关联的有效模型的思路,基于该模型,可使用自然语言形式(文本语句)来表达检索意图,最终检索到相关图像.该模型基于稀疏典型性相关分析(sparse canonical correlation analysis,简称sparse CCA),按照如下步骤训练得到:首先利用隐语义分析方法构造文本语义空间,然后以视觉词袋(bag of visual words)来表达文本所对应的图像,最后通过Sparse CCA算法找到一个语义相关空间,以实现文本语义与图像视觉单词间的映射.使用稀疏的相关性分析方法可以提高模型可解释性和保证检索结果稳定性.实验结果验证了Sparse CCA方法的有效性,同时也证实了所提出的图像语义检索方法的可行性.
关键词：图像检索；文本；语义；稀疏典型性相关分析；视觉单词
-
36622.基于大偏差统计模型的Http-FloodDDoS检测机制及性能分析
[信息传输、软件和信息技术服务业] [2014-07-15]
针对Http洪泛Web DDoS(distributed denial of service)攻击,提出了一种检测机制.该机制首先采用型方法量化处理用户访问的网页序列,以得到用户访问不同网页的实际点击概率分布；然后,利用大偏差统计模型分析了用户访问行为的实际点击概率分布与网站先验概率分布的偏差；最后,依据大偏差概率检测恶意DDoS攻击.对该机制的性能进行仿真,结果表明,正常用户的大偏差概率大于恶意攻击者,并且大部分正常用户的大偏差概率大于10-36,而大部分恶意攻击者的大偏差概率则小于10-40由此,该机制能够有效地检测Http洪泛Web DDoS攻击,当检测门限设置为10-60时,其有效检测率可达97.5％,而误检率仅为0.6％.另外,将该机制与基于网页转移概率的检测方法进行性能比较,结果表明,该检测机制的检测率优于基于网页专业概率的检测机制,并且在误检率小于5％的情况下,该机制的检测率比现有检测机制提高0.6％.
关键词：IP网络；分布式拒绝服务；大偏差
-
36623.多元合同签署协议
[信息传输、软件和信息技术服务业] [2014-07-15]
利用Cha-Cheon的基于身份的签名方案提出了一个可证安全的基于身份的可验证加密签名(verifiably encrypted signature,简称 VES)方案,并利用该方案和基于身份的代理可验证加密签名(proxy verifiably encrypted signature,简称 PVES)方案提出了一个新颖的多元合同签署协议.信息交换过程中,原始签名者或代理签名者分别利用VES或PVES实现承诺消息的交换与认证,并未使用复杂的零知识证明系统,从而有效避免了大量运算.当争议发生时,可信第三方从VES或PVES中恢复出有效的合同签名,以保证签署者的公平性.安全性分析结果表明,协议满足不可否认性、时效性以及公平性.
关键词：代理签名；合同签署协议；随机预言模型；公平性
-
36624.改进求解约束满足问题粗粒度弧相容算法
[信息传输、软件和信息技术服务业] [2014-07-15]
约束满足问题在人工智能领域有着广泛的应用.研究了约束满足问题的粗粒度维持弧相容求解算法,发现在求解过程中,对于指向已赋值变量的弧存在无效的修正检查,证明了这类修正检查是冗余的.提出一种方法避免这类冗余的修正检查,给出改进后的粗粒度弧相容算法的基本框架AC3_frame_ARR,该改进框架可用于改进所有粗粒度弧相容算法.实验结果表明,经过AC3 frame ARR改进后的算法最多可以节省80％的修正检查次数和40％的求解耗时.
关键词：约束满足问题；维持弧相容；粗粒度算法；修正检查
-
36625.基于云模型的不确定性QoS感知的Skyline服务选择
[信息传输、软件和信息技术服务业] [2014-07-15]
由于传统QoS感知的Web服务选择方法无法保证服务选择的可靠性和实时性,提出了一种基于云模型的不确定性QoS感知的Skyline服务选择方法.该方法首先通过云模型计算QoS的不确定性,然后采用Skyline计算提取Web服务中的Skyline服务,剔除冗余服务,最后采用混合整数规划在Skyline服务中进行服务选择.在公共有效数据集和合成数据集上的实验结果表明,所提出的方法能够为用户提供可靠、快速的服务选择.
关键词：服务质量；不确定性；云模型；Web服务；Skyline；服务选择
-
36626.基于情节规则匹配的数据流预测
[信息传输、软件和信息技术服务业] [2014-07-15]
提出了一种数据流预测算法Predictor.该算法为每个待匹配的一般形式的情节规则分别使用了一个自动机,通过单遍扫描数据流来同时跟踪这些自动机的状态变迁,以搜索每个规则前件最近的最小且非重叠发生.这样不仅将无界的数据流映射到有限的状态空间,而且避免了对情节规则的过于匹配.另外,算法预测的结果是未来多个情节的发生区间和发生概率.理论分析和实验评估表明,Predictor具有较高的预测效率和预测精度.
关键词：数据流；情节规则；最近的最小且非重叠发生；预测
-
36627.基于自适应网格变形的图像编辑算法
[信息传输、软件和信息技术服务业] [2014-07-15]
提出一套基于自适应网格变形的图像编辑算法框架,包括图像中特征物的平移、旋转和变形,以及保持特征物的任意几何边界图像适应.该算法将图像表示为基于图像特征的自适应三角网格,由此将图像编辑问题转换为带约束的网格变形问题.网格变形由一个二次型能量函数所控制,特征物的平移、旋转和变形可以表述为该能量优化问题的约束；代表特征物的三角网格在网格变形过程中只允许发生刚性变换.该能量优化问题的全局最优解可以通过求解1个或多个稀疏方程组得到.实验结果表明,该算法效果理想、鲁棒性好、运行效率高,可以有效地应用于图像处理软件中.
关键词：自适应网格；图像编辑；图像适应；刚性变换；能量优化
-
36628.论移动互联网支付的安全性
[信息传输、软件和信息技术服务业] [2014-07-09]
随着电子商务的不断发展，网络支付的安全性受到人们的普遍关注。本文通过阐述移动互联网支付安全性的必要性，分析移动互联网支付安全性的基础，同时提出相应的技术措施，为移动互联网支付的安全性提供参考。
关键词：安全性；互联网支付；政策
-
36629.高保险的HTML5应用程序
[信息传输、软件和信息技术服务业] [2014-07-09]
Rich client-side applications written in HTML5 proliferate diverse platforms such as mobile devices, commodity PCs, and the web platform. These client-side HTML5 applications are increasingly accessing sensitive data, including users' personal and social data, sensor data, and capability-bearing tokens. Instead of the classic client/server model of web applications, modern HTML5 applications are complex client-side applications that may call some web services, and run with ambient privileges to access sensitive data or sensors. The goal of this work is to enable the creation of higher-assurance HTML5 applications. We propose two major directions: rst, we present the use of formal methods to analyze web protocols for errors. Second, we use existing primitives to enable practical privilege separation for HTML5 applications. We also propose a new primitive for complete mediation of HTML5 applications. Our proposed designs considerably ease analysis and improve auditability.
关键词：HTML5；应用程序；移动设备；网络协议
-
36630.移动多智能系统的网络制导和控制：多终端(网络)的信息理论方法
[信息传输、软件和信息技术服务业] [2014-07-09]
The research developed in this grant lead to a significant body of interrelated results that are relevant for the design and analysis of performance of networked control systems. These results may have an impact on the design and provable performance certification of networks of semi- autonomous systems that are required to execute safety critical missions with high precision in the presence of communication constraints.
关键词：通信和广播系统；可替换主体系统；控制系统；性能分析
027-87841330