分布式实时系统双工容错技术研究

本文介绍一个高可用性的分布式实时双工系统。文中首先建立了系统模型,通过模型给出了系统高可用性的定量公式,最后着重介绍了实现双工的几种主要技术,包括机组切换、数据恢复和双工结果处理等。     

分布式实时系统中任务调度问题的研究

1 引言由于大规模集成电路的集成度越来越高,在一个系统中,要进一步大幅度提高单个计算机的性能就变得越来越困难。随着网络和通信技术的发展,现在使用一组计算机来完成一个分布式应用已经变得很普遍了。在实际应用中,采用多计算机的系统往往成为一种现实而又经济的选择。并行计算机和分布式系统的出现为高性能计算的应用开辟了广阔的天地。     

分布式实时系统数据发布机制研究与实现

由于实时系统对时间敏感,以及分布式应用本身数据源和数据用户的分散性和异构性,因此分布式实时系统的数据发布是一个需要认真研究的问题。通过对分布式实时系统的特点、数据发布时延、数据发布方案和机制等问题的分析研究,提出了一种基于中间件的分布式实时数据服务TEDS(Time-EfficiencyDataService),论述了服务构成和实现,给出了工作流程,并对其性能进行了分析。TEDS具有数据发布时延小、效率高、可部署性好、有利于减轻服务器负荷的优点,并具有良好的跨平台能力。     

分布式实时系统中负载平衡任务分配算法

提出了一种以系统负载平衡为目标的分布式实时系统任务分配算法。该算法首先通过对任务分组，减小系统负载，再按照一种新的目标函数，启发搜索任务分配树，来获得系统负载平衡条件下系统负载最小的任务分配方案，有效地减小了启发式搜索算法的计算复杂度。     

分布式实时系统的错误处理

研究分布式实时控制系统的错误处理。根据工程实践，提出并着重讨论了适用于分布式实时系统的运行、测试、错误信息的收集、处理和显示的设计模型和实现手段。     

分布式实时系统结构研究

首先介绍了分布式实时系统的应用背景,论述了两种传统的分布式实时系统的体系结构,重点研究了两种新型结构的特征.抽象出了分布式实时系统的特征,并提出了一个层次结构模型,该模型详细定义了每一层的功能,具有通用性和灵活性.     

分布式实时系统动态任务初始分配的两个有效算法

对一组具有到达时间T、执行时间c、截止时间d三要素的实时任务集(其中d—f≥7),其初始分配主要是指对每一处理机,选一尽可能大的任务子集,确定每一任务的实际     

一种适合实时系统的分布式结构

本文针 对现民发的各种分布式系统结构，从可靠性和时间确定性两个方面，根据Ｈ网的拓扑特性，说明Ｈ网为分布式实时系统具有更突出的优点。     

分布式实时系统事件关系模型

分布式实时系统是当前计算机科学研究的一前沿领域。由于分布式实时系统本身的特点和其所嵌入环境规模的日益扩大,分布式实时系统的说明、设计、验证都很困难。系统说明是进行形式设计和验证的基础,因而必须开发出相应的系统说明方法。本文介绍了用事件关系模型来描述分布式实时系统的说明方法,其关键部分在于说明以对象为实体的事件之间的关系,利于系统形式设计与验证的实现。     

用于分布式系统的实时监控器

本文介绍一个用于分布式控制系统底层控制的实时监控器。该实时监控器除了具有通用的监控器功能之外,还具有实时通讯功能和应用程序接口,并且可用作中央控制机的远程终端。     

分布式系统的时间同步算法研究及应用

实现分布式系统时间同步的方法有两种：一是将外部时间基准引入分布式系统的绝对时间同步,二是仅在分布式系统内部使用算法实现同步的相对时间同步。本文详细讨论了适用于局域网的各种时间同步算法,并对部分算法的应用结果进行了分析。     

现场总线网络中实时连接和实时通信的研究

本文针对现场总线网络的实时应用特征，采用了ＬＡＮ体系结构中的三层构造，重点研究了其ＬＬＣ子层的ＦＢＣＯＳ、ＦＢＣＬＳ、优先分配、ＲＴＶＣ和预约等问题，解决了传统ＬＡＮ所无法解决的实时连接问题，从而保证了其实时应用的可靠完成。     

主动实时数据库事务及其处理

主动实时数据库事务较之传统数据库事务要复杂得多，文中首先对主动实时数据库事务的语义模型，信赖关系进行了初步的探讨；然后简要地分析了主动实时事务的构造及执行特征，并提出了截止时间计算模型，最后介绍了我们研制一和个主动实时的ＤＢＭＳ原型系统ＡＲＴＳ－Ｉ中主动实时事务的管理机制。     

实时专家系统中的时限推理问题

介绍了解决实时专家系统中最重要的一个问题即时限准推问题的多种方法，在此基础上，出了基于数值计算的３种快速推理算法；矩阵法、有向图网络法和类神经网络法。上述理论对建立实时专家系统具有重要的指导作用。     

转炉吹炼实时控制专家系统RESC的设计与实现

本文分析了一个转炉吹炼实时控制专家系统ＲＥＳＣ的设计与实现，在开发中系统采用了专家系统技术，实时控制技术和吹炼控制模型相结合的方法，这里着重讨论了ＲＥＳＣ的系统结构，知识表示与推理机制，吹炼控制机制，网络通信以及主析实现技术。     

基于J-M模型的监控系统可靠性度量与预测

针对监控系统软件可靠性分析的实时性和求解高效性,通过对各类软件可靠性模型的比较,采用J－M模型并对其进行了理论推导和有解无解分析。根据模型参数方程的非严格单调的特点,对其采用了步长为0．1的械探性数值求解,保证了在较短时间内求得满意解。通过对监控系统的数据处理,可得到包括故障发生次数、下一故障发生时间、当前错误查出率、当前失效率等评估参数值,所有评估结果可视化显示。     

基于UNIX多进程机制的实时监控软件的设计与实现

本文介绍了使用多进程技术实现UNIX操作系统环境下的实时监控软件的设计思想,重点说明了进程间的数据交换和同步,软件的实时性,串口的原始工作方式及通讯超时的探测。     

硬实时操作系统--LynxOS

文章介绍了FOSIX兼容的嵌入式硬实时操作系统LynxOS,LynxOS的硬实时性及其在嵌入式系统应用中的重要功能。并详细阐述了LynxOS的特点,和Linux的区别、线程间通信、中断处理、线程的调度、优先级例置问题的解决等内容。     

网络和分布式系统中的认证

文中在Ｋｅｒｂｅｒｏｓ认证协议的基础上，采用Ｙａｋｓｈｅ体制，提出了一个公钥密码交互式认证体制。