社交网络智慧搜索研究进展与发展趋势

在以社交网络为代表的Web 2.0时代,搜索需求已经远超出Web 1.0搜索引擎的能力范畴,数据具有模式多态、快速产生、动态交互、碎片化、变化演绎等特点,这些新特点给搜索引擎技术带来了革命性和颠覆性的挑战。归纳了在线社交网络智慧搜索研究进展和技术要点,分析了研究发展过程将面临3个主要问题：在线社交网络中智慧与知识的发掘与推演、用户真实搜索意图的理解与表示以及满足用户真实意图的智慧解答在线响应,并以解决此3个问题为目标讨论了相关技术发展。     

TD匹配自动逻辑综合算法

逻辑综合是数字系统设计中的重要组成部分。随着LSI、MSI的日益广泛使用,综合的目的将不再是布尔函数的二级最小化。本文提出的自上而下(TD)匹配算法,根据给定组件库中的LSI、MSI,自动综合单输出布尔函数。并且在满足时间要求的同时,对综合的初步结果进行各种优化,使得最后结果所用组件最少。本文还提出利用广义三元式,通过求公共子表达式的自动逻辑综合系统,达到了预期的目的。     

一种有效率的方法用于检测云中数据的完整性(英文)

Cloud computing and storage services allow clients to move their data center and applications to centralized large data centers and thus avoid the burden of local data storage and maintenance.However,this poses new challenges related to creating secure and reliable data storage over unreliable service providers.In this study,we address the problem of ensuring the integrity of data storage in cloud computing.In particular,we consider methods for reducing the burden of generating a constant amount of metadata at the client side.By exploiting some good attributes of the bilinear group,we can devise a simple and efficient audit service for public verification of untrusted and outsourced storage,which can be important for achieving widespread deployment of cloud computing.Whereas many prior studies on ensuring remote data integrity did not consider the burden of generating verification metadata at the client side,the objective of this study is to resolve this issue.Moreover,our scheme also supports data dynamics and public verifiability.Extensive security and performance analysis shows that the proposed scheme is highly efficient and provably secure.     

一种层次式的事务工作流失效恢复算法

部分补偿和完全补偿是事务工作流失效恢复的传统补偿方法,对于长期运行且结构复杂的事务工作流,失效时需要补偿至静态定义的某一活动甚至起始活动,因此代价较大.给出了事务工作流的概念模型,提出了一种层次式的失效恢复算法.与传统方法相比,允许事务性或者非事务性子过程同时存在;将工作流看作由嵌套结构的子过程组成,而不是一个平坦流图;基于执行历史而不是工作流定义进行补偿,可简化循环结构的恢复.该算法针对活动的恢复策略进行层次式的向上规约处理,动态确定补偿终止点,可有效减小补偿域.证明了算法的正确性,性能分析表明其性能通常优于非层次的失效恢复算法,讨论了算法的实现.     

内容发布订阅中支持订阅覆盖的事件丢失检测和恢复算法研究

基于内容的“发布／订阅”系统通过考虑订阅问的覆盖关系，使得某些订阅不需要转发给所有代理，从而可以减少中间代理的路由表大小，但是由于链路失效、拓扑重配置等原因，某些订阅者可能收不到事件消息，已有事件丢失检测算法都假设每个订阅必须转发给了所有代理，无法支持订阅覆盖的路由，本文提出了一种支持订阅覆盖的概率事件丢失检测和恢复算法，并通过模拟验证了该算法的有效性．     

基于网格聚类的数据流多事件检测

事件检测是事件处理系统最重要的研究问题之一。异常、变化和突发是三类最典型的数据流事件。本文关注如何在数据流中同时检测多种事件,首先研究了多种事件之间的联系,然后给出了基于网格聚类的统一处理方法,最后为了评估事件的严重程度,给出了打分函数。实验验证了所提方法的正确性与有效性。     

IDL到WSDL映射的研究及实现

本文针对IDL语言到WSDL语言映射的实现问题,研究提出了一个IDL2WSDL编译器的设计方案,并在我们自主研制的Web服务运行环境中实现了该编译器。     

软件构件平台持久框架的设计与实现

在分布式企业应用中不可避免地要大量访问数据库,或者保存对象、构件的状态信息。软件构件平台上的持久化技术为此提供了一个透明、简洁、高效的途径。本文介绍了现有各种构件平台、各种开发环境下的持久化技术,分析比较了各种方式的优劣,并提出了StarCCM软件构件平台上持久化框架的设计与实现。     

虚拟角色不确定性行为建模研究

为了增强虚拟环境中虚拟角色行为表现的多样性和变化性,从虚拟角色不确定性行为的相关概念入手,系统地研究了虚拟角色的不确定性行为及其建模的基本问题．指出并证明了个体与群体不确定性行为的关系,基于不确定性函数证明了虚拟角色不确定性行为建模的3种途径一不确定性决策、规划和动作建模,分析了不确定性行为建模的具体实现方法．最后基于坦克群对战仿真实验,说明了相关概念的合理性,验证了相关结论的正确性,实验表明,虚拟角色不确定性行为对仿真应用具有重要的影响．     

一种基于网络安全数据流的混合CUBE模型

目前,国家在骨干网安全监控方面的一大难题是,面对安全事件数据流具有的海量性、实时性、多变性和持续性等特点,如何高效、可靠地管理这些数据,并从中挖掘关键信息,以进行安全态势分析与预测。本文提出一种基于数据流的混合数据立方体构建方法,并在国家公共互联网监控平台上得以实现。通过实际数据的检验,该方法可以有效实现对于大规模数据流数据的管理,极大缩短了查询响应的时间。