基于Alloy的发布/订阅系统的形式化模型及其检测

从软件形式化和模型检测着手,提出了一种利用Alloy语言对发布/订阅系统进行形式化描述,并利用Alloy分析器进行模型检测的方法.具体实例表明,利用Alloy可以方便的对发布/订阅系统进行建模,并进行自动模型检测,可应用于发布/订阅系统开发的分析和设计阶段.     

发布订阅系统中压缩感知匹配算法研究

布尔表达式常用于表达发布订阅系统中的订阅条件及发布内容。由于海量信息的多样性,系统经常表现出高维的特征。如何对海量数据进行有效索引并快速找出有用信息对当前研究提出巨大挑战。本文提出一个压缩感知的匹配算法从时间和空间两方面来优化系统性能。通过编码压缩降低空间开销,然后设计压缩感知的匹配算法加速匹配过程。本文最后与相关工作进行对比实验验证本文方案的性能。     

一种基于空间文本信息流的分布式的发布订阅算法

发布订阅系统是进行发布的事件和订阅消息之间的匹配系统。首先需要对订阅消息进行聚类操作,按照聚类结果,找到事件所属类别,随后在类别中,找寻和事件匹配的订阅。本文提出了一个即时的发布订阅的算法,统筹空间信息和事件属性信息,不仅可以即时地处理事件和订阅的匹配操作,也可以在分布式环境上即时地进行订阅的更新和类别的更新。并且可以在没有先验知识的情况下即时地进行聚类操作和匹配操作。设计一个分布式的系统,将发布订阅算法部署其上,并且提出了在分布式系统上该算法的负载均衡策略。随后通过自建集群,使用真实的数据,实验验证本文提出的发布订阅算法。     

发布／订阅机制在协同作战系统中的应用

基于数据链网络构建了协同作战系统,该系统通过协同处理机分发战场态势和需求信息,实现了协同作战能力。根据系统以数据为中心的数据处理特点,采用了发布/订阅机制。搭建了协同作战系统框架,以实时数据分发中间件作为软件适配层,并利用其服务质量(QoS)机制满足了复杂的战场信息传输需求。     

发布/订阅通信模式在空间信息网络中的应用

通过对发布/订阅(P/S)通信模式和空间信息网络体系架构的分析,论证了发布/订阅(P/S)通信模式与点到点通信方式相比有一定的优势,并在此基础上,研究了基于发布/订阅通信模式的空间信息网络应用架构,设计并实现了一个基于局域网的空间信息网络发布/订阅通信模式软件模拟环境,实现了数据在网络上缓存,用户无需从数据发布者处获得资源,可直接通过网内缓存下载。     

基于内容的发布订阅系统路由算法

 本文综合评述了基于内容的P/S系统路由机制和算法.根据客户的移动性和网络结构的变化对路由算法进行了分类和归纳,分别论述了静态和变化拓扑环境下、支持客户移动情况下P/S系统各种路由算法的基本思想和优缺点等.在此基础上,针对P/S系统的动态、松耦合、多对多通信的特征,分析和提出了有待解决的问题以及进一步的研究方向.     

分布式发布/订阅通信系统中的事件路由研究

侧重研究并介绍发布,订阅通信系统(P/S系统)的体系结构及其路由方法,包括基本通信对象的寻找方法、优化的路由方法以及支持拓扑变化和客户移动的路由方法等;在路由方法上对著名的P/S系统进行了分析和比较:针对P/S系统的可扩展性,提出了未来进一步研究的思路.     

分布式存储在媒资系统中应用的可行性分析

当前,海量数据产生伴随着高并发访问,对传统的存储方式提出了挑战,因此需要通过别的技术手段来解决存储方面所面临的问题。本文通过分析分布式存储的优劣势,结合媒资系统的特点,分析分布式存储在广电媒资行业应用的可行性,以更好地支撑媒资业务的发展需要。     

RFID信息服务中发布/订阅系统若干关键技术问题研究

 本文将描述逻辑中基于个体的推理方法引入到RFID信息服务的发布/订阅系统中,利用时间本体来描述事件之间的时序关系,通过判断事件断言集与订阅的一致性来解决语义匹配以及与时序相关的复合事件与复合订阅的匹配问题,并给出了订阅语言和匹配算法.实验结果表明,匹配算法的效率能够满足实际应用的需要.     

战场信息智能化发布订阅系统

本文通过分析现有信息共享技术的优缺点,采用战场信息主动服务与被动服务相结合的方式,设计了战场信息智能化发布订阅系统。该系统的实现,为不同类型的战场信息提供了适应各自特点的信息共享技术手段,在有限的网络资源条件下,实现了战场信息共享的目标。     

基于发布/订阅的需求响应安全通信机制设计

随着网络攻击的日益增多,需求响应通信安全是一个值得研究的课题。文中基于发布/订阅模式实现了通信的灵活性和动态性,基于OpenID的动态密码技术进行身份认证,通过认证后进行基于角色的访问控制,信息经加密后进行通信。最后通过案例验证和安全分析表明,在计算开销增加有限的情况下,该机制能有效增强需求响应通信的安全性。     

面向内容发布订阅系统的混合事件匹配算法

当前的事件匹配算法不能在高效匹配的同时满足频繁订阅变更的要求.在结合已有谓词索引算法和覆盖网络算法的基础上,融合谓词索引结构的易变更和覆盖网络的高效匹配特点,提出一种混合的事件匹配算法.算法将部分订阅覆盖关系从覆盖网络中剥离,以同谓偏序的形式引入到谓词索引结构中去,达到高效匹配的同时保留了谓词索引的易变更结构.实验表明,与同类算法相比该算法能够在频繁订阅情况下提供高效的匹配,从而满足相关应用的需求.     

基于发布/订阅机制的指挥显示信息分发系统设计

根据现阶段靶场指挥显示信息分发系统的需求,针对指挥显示系统面临异构信息接入困难的问题,提出了基于发布/订阅机制的指挥显示信息分发系统的基本架构和工作流程,并对其关键技术进行探讨,可为靶场指挥显示系统的建设提供参考。     

企业信息系统中高级发布/订阅层的实现

基于消息的企业应用程序之间的交互越加受到关注，它主要使用发布，订阅机制实现数据（消息）的交换。但是大多数的发布，订阅通知服务均假定在同一命名空间，不支持异构空间的应用之间的数据交换。首先简要描述了用于消息的分布式异构应用程序之间的作为高层发布机制基于概念的方法，然后讨论了设计和应用该发布机制的相关问题，以及如何将该机制集成于J2EE平台的方法。     

门限Byzantine quorum系统及其在 分布式存储中的应用

针对纠删编码和门限方案在分布式存储中的应用,提出门限Byzantine quorum系统(TBQS)的概念.该系统与数据分离算法相结合,可以构造可靠性较强的存储系统,当故障服务器个数不超过服务器总数的1/4时,利用TBQS设计存储策略可以实现容错和无间断服务.讨论了TBQS的存在性,构造了两类TBQS并对其效率进行分析,在此基础上设计了基于TBQS的分布式读写协议.     

基于语义Web服务的发布/订阅模型研究

基于面向服务架构,引入发布/订阅通信方式,提出了基于语义Web服务的发布/订阅模型,可以满足时间解耦、空间解耦和同步解耦的需求.模型通过基于OWL-S的服务描述解决了服务的语义问题.具体探讨了在语义Web服务的发布/订阅模型下,Web服务语义描述模型、语义Web服务匹配模型和语义Web服务匹配流程的设计策略和方法.     

基于分布式环境的存储负载均衡算法研究

随着网络的高速发展以及海量数据的扩充,云存储技术得到广泛的应用,分布式存储中动态负载均衡策略也逐渐为人们所重视。本文在已有的负载均衡策略基础上,提出了一种加权轮询负载算法,通过阀值的设置划分节点,并查询负载表轮询分配存储任务,保证分布式系统能够合理的提高资源利用率,动态调整存储节点的工作负载。