一种新的用于分布式系统的恢复技术

本文提出了在总线型局部网络结构的分布式系统中，针对单节点机发生故障的情况下，以进程间的通讯关系来设置断点的方法，建立相应的进程通讯关系表，从而提出一种新颖的系统恢复算法。该算法的主要思想是：若某节点机发生故障，则该位置，以使进程通讯关系表恢复到一致状态。在本算法中，回郑时所要作废的通讯总次数最大为Ｕ－Ｕｑ１＋１，它的算法复杂度最大为：Ｏ。     

基于XYZ／E的CA认证系统描述与求精

时序逻辑语言XYZ／E在统一的逻辑框架下既能表示静态语义又能表示动态语义，可以实现从抽象描述到可执行程序的平滑过渡。本文建立了CA认证系统组件求精模型，对CA和RA组件用XYZ／E进行了描述和求精。     

分布式系统的可信性研究

本文首先介绍了构造高可信性计算机系统的技术与方法，然后对分布系统的可信性研究现状与存在的问题进行了综述。     

分布式系统中的动态任务分配算法设计

设计一种分布式系统中的动态任务分配算法，并对它所使用的数据结构、实现方法以及稳定性加以讨论。本算法采用双向启动策略，即发送者和接受者都能进行启动、而且能根据系统总负载和任务等待量等自适应地选择启动策略的使用。同时利用阈值和阈长把系统中的节点分为接受节点，负载适中节点和发送节点、采用启发式方法进行任务分配。     

分布式系统负载分布研究综述

负载分布算法通过巧妙地重新分布系统中的工作负载，能够显著地提高分布式系统的性能。本文概述各种具有代表性的负载分布算法并比较了它们的性能。     

分布式系统中进程动态迁移的设计

在分布式系统中保持全系统的负载平衡是非常重要的一个环节，进程动态迁移可在一种透明的工作方式下改善系统的性能。本文对分布式系统中进程的动态迁移进行了系统的分析，并提出了一个设计方案，在一定程度上增大了现有系统的利用率，降低了通信频繁率。     

分布式系统中的名字服务

本文首和无阐述了名字服务在分布式系统中的作用和地拉，讨论名字服务的含义和分类。然后，以ＮＩＳ＋名字服务和ＯＳＦ ＤＣＥ目录服务为两个实例，描述名字服务的特点和实现方法。最后，讨论了实现各名字服务之间互操作性技术，并对名字服务作一个概括性的总结。     

基于XYZ/ADL的电梯控制系统体系结构的描述与求精

研究软件体系结构的首要问题是如何描述体系结构模型;运用XYZ/ADL描述软件体系结构模型,可以在统一时序逻辑框架下描述系统静态语义到实现之间不同抽象层次的规范,便于体系结构的逐步求精及相关性质分析;以电梯控制系统为例,运用XYZ/ADL形式化地描述了系统体系结构的风格、静态模型和动态模型,并对体系结构模型的主要组件进行了逐步求精,使系统的体系结构从最初的总体功能规范平滑地过渡到了最终的可执行程序;研究表明:形式化描述语言XYZ/ADL在实时控制系统的开发中有着重要的实践意义。     

分布式系统的LOTOS规范及其实现

分布式系统的主要特点是靠各独立运转的组成部分协同工作来完成系统的功能。对干电信交换、指挥调度、实时控制以及模拟与仿真等分布交互系统,系统设计的关键在干各组成部分是否可以通过正确     

分布式系统中一种负载平衡调整算法的研究

1 前言当前,随着计算机网络技术的高速发展,国内外关于分布式系统的研究逐步形成热点。在研究中,出现了大量成型的分布式系统模型。尽管如此,这些系统的实现手段和效率并不令人满意。目前还没有哪个分布式系统能用非常有效的手段和机制来克服由于分布而引起的问题,包括系统潜在的分布并发处理能力、速     

实时分布式系统的数据传送技术（1）

计算机的广泛应用，人们要求既快速又可靠的计算机系统，单独依靠快速的ＣＰＵ处理器，已无法是足够的性能要求，因而，分布式计算机系统被广泛采用，然而，分布式计算机的数据传送往往是分布式系统的瓶颈。为此，人们对分布式系统的数据传送采用了许多新的设计技术，本文就各种实时分布式系统的数据传送技术进行了较详细的讨论，文章分为两部分，第一部分讨论了主流分布式系统，数据流驱动实时处理以及ＰＣ的当今课题；第二部分讨论     

一种基于CBR的知识库求精模式

由于领域知识以及人们的认识进程具有进化的特性,领域模型总是不完备的,为了增强基于知识系统的自适应能力和可靠性,知识库求精已成为机译系统等基于知识系统实用化的必经阶段。本文给出了一些知识库求精原则;结合机器翻译知识库建构维护的实际需求,提出了一种基于CBR(Case-basedReasoning)的知识库求精模式。该求精模式以提高系统有效性为核心,以错误严重性为指示器,择重优     

分布式系统中动态负载平衡算法的研究

该文简单分析了动态负载平衡中的接受者驱动、发送者驱动和双向驱动算法，提出了双向驱动算法的改进算法，可以应用于任何分布式系统特别是仿真控制系统。     

分布式系统中进程迁移的一种实现方法

进程迁移是分布式领域中一个极其重要的课题。本文论了进程迁移的重要性和困难，提出了在“局域网上的分布式ＵＮＩＸ操作系统ＨＺＤＵＮＩＸ”中实现进程的办法，并对如何减少因迁移进程带来的额外开销作了一些建设性的探讨。     

分布式系统中对象获取方法的研究

1 引言 DCOM是微软公司提出的一种分布式组件对象模型(Distributed Component Object Model)。DCOM起源于动态数据交换(DDE)技术,实现应用程序之间共享数据的动态交换,对象连接与嵌入OLE就是从DDE引伸而来。随后引入的组件对象模型(Component Object Model),形成了对象之间实现互操作的二进制标准。DCOM是COM在分布计算方面的自然延续,它为分布在网络不同节点的COM构件提供了互操作的基础结构。     

一种分布式动态描述逻辑

分析了目前描述逻辑(DL)的研究现状和存在的问题,特别是动态描述逻辑(DDL)作为语义Web逻辑基础所存在的问题.针对语义Web的特点和需求,对DDL进行了扩充,提出了一种新的描述逻辑,即分布式动态描述逻辑(D3L),给出了D3L的语法和语义,并研究了D3L的推理机制,提出了两种推理方法: 直接推理和转化推理.与动态描述逻辑DDL相比,该D3L可以为语义Web提供更为合理的逻辑基础,弥补了DDL作为语义Web逻辑基础的不足.     

一种分布式系统的设计原理

本文提出了七条设计原理,使一类由离散条件组成系统状态和以分立功能部件组成系统动作机能的分布式系统有了一种设计依据.其中,前五条原理针对分布式系统的特例——顺序系统,后两条原理专对系统的并发性.     

一种分布式系统自动升级的方法

介绍了利用PowerBuilder提供的技术实现版本控制以及自动升级版本功能的方法,给出了自动升级流程和关键技术的实现,提出的升级方案由于基于WebService,所以具有普遍性,能够适合分布式系统架构下开发的软件的自动升级。目前该自动升级功能已在书店的物流信息管理平台中得到良好的应用。