邹鹏
- 作品数：185 被引量：1,470H指数：15
- 供职机构：国防科学技术大学更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信军事更多>>
- 一种语义为中心的分布构件系统故障诊断建模方法
- 2004年
- 随着分布构件技术的发展 ,复杂的分布构件系统故障诊断问题越来越受到人们的重视 .然而 ,现有的大多数分布构件系统故障诊断的研究没有充分考虑系统语义这一重要因素 .文章提出了一种新颖的语义为中心的分布构件系统故障诊断思想 .系统的语义主要由系统正常或者异常时的结构和行为特征构成 .在给出基于模型的故障诊断问题定义之后 ,提出了具有复杂时序语义表达能力的系统逻辑模型编辑方法 ,通过在Horn短句中增加时序描述来增强诊断模型的表达能力 .这种模型不仅对分布软构件系统具有较强的表达能力 ,还能够很好地利用现有的一阶逻辑定理证明器求解极小诊断问题 ,它并不需要具有高级时序逻辑处理能力的定理证明器的支持 .另外 ,通过哲学家就餐问题还从直观上阐明了这种新颖的模型编辑方法 .StarCCM的诊断子系统由诊断引擎、诊断代理、诊断回调接口构成 .它证明这种模型编辑方法能够有效地解决分布构件系统的语义诊断问题 .
- 黄杰陈琳贾焰邹鹏
- 关键词：故障诊断语义CORBA
- 报文处理系统可靠性分析与实现
- 2007年
- 随着网络技术的飞速发展,电子邮件已成为信息交互的主要手段之一。但是,一般的电子邮件系统普遍存在传输不可靠的问题,无法满足军事、商务等领域对公文交互高可靠性的要求。本文根据X400建议提出了一种公文传输协议,并依据此协议实现了一套能保证用户之间信息可靠交互的报文处理系统,最后对该协议的性能进行了详细测试。
- 刘巍郭长国邹鹏
- 关键词：可靠性
- 一种可扩展的分布式Web服务发现架构
- 提出一种基于双层重叠网络的分布式Web服务发现架构,在数据层定义统一的动态元组模型来解决各种数据源和数据模型的异构性;在网络层构造一种全新的双层拓扑——Stratus,保证整个架构的可扩展性、灵活性和鲁棒性.其次,提出基...
- 胡建强郭长国贾焰邹鹏
- 关键词：WEB服务STRATUS
- 基于分布对象的冗余服务模型被引量：11
- 1999年
- 针对现有的分布计算模型不能充分描述冗余服务的特点，文中基于分布对象的观点，提出一个面向冗余服务的计算模型ＨＯＲＩＳ．它利用类和实例的概念定义了冗余服务，并将状态服务和无状态服务区分开来，同时还刻画了分布计算环境中的请求和主机的概念．在ＨＯＲＩＳ的基础之上，文中创建了一个冗余服务的管理框架ＡＭＡ，并在ＣＯＲＢＡ 平台上进行了实现．与其它冗余服务的管理框架相比，它具有接口开放、适应性强。
- 钱方邹鹏陈渝黄杰
- 关键词：分布计算冗余服务CORBA程序设计
- 面向因特网应用的容错和负载平衡管理被引量：4
- 2000年
- 针对因特网应用的三层客户 /服务器体系结构 ,本文设计并实现了一个面向冗余服务的管理系统 OM。它采用分布对象技术 ,基于 CORBA平台 ,为冗余服务提供了容错和负载平衡管理服务 ,同时它还为系统管理员提供了管理接口 ,为用户提供了对服务的透明访问机制。
- 钱方贾焰黄杰顾晓波邹鹏
- 关键词：容错负载平衡INTERNET网
- 一种基于P2P网络的Web服务发现方法被引量：3
- 2005年
- 服务注册器是服务请求者和服务提供者联系的纽带，其连接拓扑直接关系到整个Web服务发现系统的可扩展性．集中式拓扑不可扩展，且存在一定的性能瓶颈问题，如何构造可扩展、灵活、鲁棒的可扩展的分布式Web服务发现系统成为日益突出问题．本文提出了一种基于双层结构Stratus的分布式Web服务发现方法，深入研究动态元组模型、拓扑构造方法、统一的发布和查询API等一系列关键技术，并给出了适应Stratus的两阶段查找算法．仿真结果表明，Stratus具有明显的自组织特性和良好的可扩展性，并且具有较高的服务查找能力．
- 胡建强郭长国王怀民邹鹏
- 关键词：可扩展性
- Chord网络环境下的Gossip算法被引量：2
- 2011年
- 本文研究和分析Gossip算法在Chord网络中的适用性,并根据Chord网络的特点对基于Push&Pull模式的Gossip算法提出一种改进算法Mod-Gossip。实验表明,Push&Pull模式的Gossip算法可以很好地适应Chord网络,在Chord网络中将任意节点上的信息传播到整个网络中需要的周期数与在全连通网络中相当;本文所提出的Mod-Gossip算法则可以减少大约两个周期;在动态网络中,节点的加入不会对Push&Pull模式的Gossip算法以及Mod-Gossip算法的执行产生影响。
- 刘德辉尹刚王怀民邹鹏
- 关键词：GOSSIPCHORD周期
- BaiMaiCl:面向小型软件开发的持续集成环境
- 持续集成开发技术发展迅速,被广泛应用到各种类型的软件开发过程中,其中小型软件开发是最主要的应用领域之一。本文针对小型软件持续集成开发过程中存在的一些突出问题,在提出通用持续集成环境组成框架的基础上,设计了面向小型软件开发...
- 周磊郭长国邹鹏王涛
- 关键词：软件工程
- 文献传递
- 武器装备体系需求获取和管理方法研究被引量：4
- 2011年
- 为解决武器装备体系需求工程中需求获取方式不统一,需求管理难的问题,论文在分析了基于能力的需求分析方法的思想的基础上对装备需求工程的两个基本环节:需求获取和需求管理进行了研究。提出了基于体系结构设计的装备体系需求获取方法,并对其关键要素:作战使命任务层次、节点信息关系、使命-能力映射进行了分析;然后以反导作战信息支援装备体系能力需求为实例,说明采用DOORS(Dynamic Object Oriented Requirements System)工具对体系能力需求的管理方法,表明本文所研究的方法对体系需求分析的研究是有效的,具有一定的借鉴意义。
- 邹鹏简平熊伟王少轩
- 关键词：武器装备体系体系结构需求管理
- 基于优先级的实时中间件研究与实现
- 解决分布式应用日益增多的实时问题需要实时中间件.实时中间件是分布式实时应用的支撑平台,它为应用提供表达实时约束的手段,并提供调度请求的机制和多种控制资源的方法,从而为分布式应用实现执行时间的可预测性提供方法.本文给出了实...
- 郭长国王怀民邹鹏王锋
- 关键词：实时中间件可预测性实时CORBA
- 文献传递
