微型集散系统通用过程控制软件包

本文给出一种新的基于ＭＣＳ－５１单片机集散系统通用过程控制软件包的设计原理及其实施方法。文中重点地阐述了微型集散系统的构在民，通用过程控制软件的自动生成，主要数据结构与程序结构，实现方法及关键技术等。本软件包是采用ＴＵＲＢＯＣ２．０版本和ＭＣＳ－５１泄编语言编程的，并通过了ＭＣＳ－５１组合软件的编译，形成了可用的目标码程序系统。     

面向对象数据库的C宿主语言接口实现技术

面向对象的数据库管理系统（ＯＯＤＢＭＳ）通常都具备自身的查询语言，它以交互的方式供用户进行数据定义与数据操纵．除此之外，它还必须为程序员提供可在Ｃ、ＦＯＲＴＲＡＮ、ＰＡＳＣＡＬ等高级语言里嵌入使用查询语言的宿主语言接口．本文首先介绍这样一种Ｃ宿主语言接口Ｃ—ＯＳＤＬ，而后重点讨论它的实现技术，尤其是将Ｃ—ＯＳＤＬ命令转换成ＳＱＬ语句的翻译算法以及使用ＳＱＬ实现支持导航式查找的指针层次管理方法．文中讨论的Ｃ—ＯＳＤＬ实现技术以及最初的接口设计是面向对象的数据库技术的深入探讨．     

程序变换的一种规范说明方法

文中给出了一种对程序变换进行分类的方法，提出了适合于更广义程序变换描述的四元组表示，程序变换的一种规范说明方法和规范说明语言的元语言ＳＭＯＰＴ。介绍了这一规范说明方法ＳＭＯＰＴ在反编译系统ＯＥＣＬＥＲ的ＡＢ变换器的设计与实现中的应用。     

ORCA：实现与应用

Ａｍｏｅｂａ是荷兰学者ＶｒｉｊｅＵｎｉｖｅｒｓｉｔｉｅｔ开发的分布式操作系统，而ＯＲＣＡ是为分布式用户而设计的一种新的程序设计语言。ＯＲＣＡ建立在共享数据目标模型的基础上，它必须给出共享地址空间语义，并不要求实际的物理共享存储器。论文概述了ＯＲＣＡ实现和使用方面的经验。     

基于OOP的一种分布式多任务智能系统的实现

作者在Ｎｏｖｅｌｌ４８６微机局部网络上，采用面向对象的程序设计方法（Ｏｂｊｅｃｔ Ｏｒｉｅｎｔｅｄ Ｐｒｏｇｒａｍｍｉｎｇ），用Ｃ＋＋语言编程实现了一种以知识处理为基础的分布式多任务智能系统，该系统在ＮｅｔｗｅｒｃＶ３．１及ＤＯＳ６．２２和ＵＣＤＯＳ５．０支持下模拟运行表明，系统所采用的知识表示方法、推理机制和控制策略可有效地进行协作问题的救解，有广阔和应用前景。     

多数据库事务处理模型中局部代理的设计与实现

在多数据库事务处理模型中，局部代理提供了全局事务管理层与局部数据库系统的接口，它使多数据库系统能够对分布在不同站点的局部数据库进行透明访问。文中提出了基于两阶段代理（２ＰＣＡ）的局部代理模型，它集成了支持两阶段提交或单阶段提并的数据库系统、以及并不支持事务提交协议的文件系统。文中还介绍了采用专用接口和ＯＤＢＣ两种实现局部代理的方法。文中着重介绍了使用ＯＤＢＣ方法的具体实现，并对两种方法实现的局部代     

面向对象知识库系统CAOBS／V1.2的设计与实现

文中介绍了一个面向对象知识库系统ＣＡＯＢＳ／Ｖ１．２。该系统是在一个面向对象数据库管理系统基础上进行开发的。我们重点研究了面向对象的知识表示、可视查询、问题的推理求解与知识的获取机制。在ＣＡＯＢＳ／Ｖ１．２系统中，问题推理求解采用基于事例的推理，辅之以基于规则的推理模式。我们还开发了一种新型的可视知识查询语言－ＶＫＱＬ，其查询的直观性和方便性均要强于传统的文本查询语言。文中论述了ＣＡＯＢＳ／Ｖ１．     

ORCA：实现与应用

Ａｍｏｅｂａ是荷兰学者Ｖｒｉｊｅ Ｕｎｉｖｅｒｓｉｔｉｅｔ开发的分布式操作系统，而ＯＲＣＡ是为分布式用户而设计的一种新的程序设计语言。ＯＲＣＡ建立在共享数据目标模型的基础上，它必须给出共享地址空间语义，并不要求实际的物理共享存储器。论文概述了ＯＲＣＡ实现和使用方面的经验。     

容错计算机技术

一、ＰＣ机容错技术思想简介：ＴｅｘａｓＭｉｃｒｏ公司推出的容错系统体系结构ＦＡＵＬＴＴＯＬＥＲＡＮＴＳＹＳＴＥＭＡＲＣＨＩＴＥＣＴＵＲＥ（ＦＴＳＡ～（ＴＭ））首次在基于ＤＯＳ的ＰＣ机上，全面提供了最大的数据保护性和较高的系统可用性及容错能力。容错能力的实现是针对ＤＯＳ操作系统和工业标准结构（ＩＳＡ）本身固有的薄弱点，在基本输入／输出系统（ＢＩＯＳ）一级上利用综合控制的思想着手解决的。在我们开始讨论容错问题之前，先对“容错”这一术语给予定义。容错是指一个系统在运行中其任何一个子系统发生故障时，系统…     

微机BIOS SETUP详解(上)

ＢＩＯＳＳＥＴＵＰ就是用固化在ＲＯＭＢＩＯＳ中的系统信息设置程序 ,去修改保存在ＣＭＯＳ存贮器中有关硬件信息的内容 ,从而来影响微机的性能。ＢＩＯＳ意思为基本输入输出系统 ,它保存着微机系统最重要的工具程序 :基本输入／输出程序、系统信息设置程序、开机上电自检程序和系统自举程序等。这些程序都固化在一片只读存贮器 (ＲＯＭ )芯片中 ,一经固化一般不能再修改(或需要特殊方法修改 ) ,它不需要供电 ,数据依然存在。ＣＭＯＳ则是一种耗电量很低的读写存贮器 (ＲＡＭ )芯片 ,它保存的数据可随时修改 ,并需电池供电。可见ＢＩＯＳ…     

容错控制理论及其应用

介绍了经典容错控制的主要研究成果及近年来发展起来的鲁棒容错控制和非线性 系统的故障诊断与容错控制,并给出了容错控制的一些典型应用成果.最后,指出了该领域 亟待解决的一些热点与难点问题.     

基于神经网络的非线性系统故障检测及容错控制方法

利用神经网络的非线性建模能力，提出了一种非线性系统的故障检测及容错控制方法。在本方法中，首先应用神经网络设计故障估计器，在线估计系统故障向量，实现故障检测；在此基础上，引入补偿控制器，消除故障对系统运行的影响，从而实现容错控制。同时基于Ｌｙａｐｕｎｏｖ方法进行了稳定性分析。     

非线性动态系统的容错控制

首先概要介绍了非线性动态系统容错控制技术的发展现状;然后分类介绍了几种非线性系统的容错控制技术,重点分析了基于人工智能和参数估计的主动容错控制方法和基于Hamilton-Jacobi方程的非线性被动容错控制设计方法。对于其它的方法,则简要讨论了它们的适用范围和优缺点;并探讨了该领域的难点问题和可能的研究方向。     

航空发动机被动容错控制系统鲁棒性设计

针对航空发动机发生故障时系统的容错能力问题,设计了基于特征结构配置方法的容错控制系统。首先分析了被动容错控制的特点和优点,然后采用特征结构配置的方法,在配置系统极点的同时,还配置系统的特征向量,并对系统进行重新调节以获得整个系统在故障发生后的稳定性与可靠性,给出了特征结构配置方法的具体设计步骤。最后,针对某型航空发动机的设计工况点模拟系统发生故障,即参数发生摄动时,对所设计的容错系统鲁棒性进行了分析计算。仿真算例结果表明,所设计的容错系统具有较好的抗干扰能力,即较好的鲁棒性。     

构件模型的容错体系结构和策略研究

为了提高分布应用的健壮性,通常需要开发人员编写相应的容错代码。现有的CORBA构件模型通过定义构件的端口特征,以组装的方式实现代码的二进制级复用,它使用户能够快速开发和部署分布应用。在此基础上,如何在构件模型下快速灵活地建立容错应用成为一个令人关注的话题。通过设计构件模型下的容错体系结构,提供了快速灵活开发容错应用的机制,并提出了解决两种失效类型的容错策略和算法。     

一种容错系统可靠性分析方法

传统的故障树分析（Fault Tree Analysis,简称FTA）方法是一种基于静态逻辑或静态故障机理的方法,但这种方法对容错系统的可靠性分析已不适用。引入一种新的逻辑门,应用动态故障树分析技术,是解决容错系统的可靠性分析问题的一种有效途径。本文在故障树模型中引入了一种带有公用备件的热备件逻辑门,并给出了这种逻辑门转化为为马尔可夫链的方法。这种具有动态特性的逻辑门引入后所形成的动态故障树模型,扩展了传统故障树对容错系统可靠性分析的适用性。文章以某装备的电子设备系统为例,给出了用这种方法建立的动态故障树模型及其计算系统可靠度的方法和分析结果。     

基于现场总线的N+ M 容错控制系统研究

以机器人化遥控铲掘机为例,论述了基于现场总线的N M热切换容错控制系统的体系结构、热切换、容错策略等问题。与传统方法相比,该方法具有结构简单、可靠性高、柔性好等特点,是提高系统可靠性的一种全新的切实可行的途径,对工程实际应用具有一定的现实意义。     

TCRES：一种实用的容错计算机系统可靠性评价系统

容错计算机系统可靠性评价是目前系统可靠性研究领域的热点问题之一。本文介绍了一种实用的容错计算机系统可靠性评价系统：ＴＣＲＥＳ。它采用七种一般系统可靠性评价方法对六类典型容错计算机系统冗余结构进行可靠性评价。本文讨论了ＴＣＲＥＳ所依据的基本算法、总体结构、设计思路及其使用方式等问题。     

Fault tolerant control for a class of nonlinear system with actuator faults

In this work, a fault tolerant control scheme is proposed for a class of nonlinear system with actuator faults. In this fault tolerant control strategy, an estimator is designed to estimate both the system states and the fault signal simultaneously. Based on these estimations, the control law is constructed to achieve the fault tolerant control for the nonlinear system considered. It is shown that the estimation error and the system state can be guaranteed to be bounded. The obtained theoretic results have been verified through the simulation examples on the three‐tank system.