消除变压器盲区故障的继电保护方法

由于差动保护和后备保护的局限性,变压器中、低侧断路器和电流互感器之间发生故障时保护可能发生拒动的情况,给变压器和电网运行带来严重后果.为此在原有运行继电保护设备的基础上考虑增加一种以中、低侧断路器位置为辅助判据,通过保护内部逻辑判据和更改相应的外部接线来消除此处故障的继电保护方法.根据理论判断和现场模拟,该方法满足运行...     

KBASE—P：一个知识库程序设计语言*

KBASE—P是一个知识库程序设计语言．它以KBASE作为查询语言，以FD—PROLOG为过程性的宿主语言．二者具有相同的编程风范，都是Horn子句风范，并且系统对任何磁盘数据访问都是以“每次一个集合”的方式进行，因此在KBASE—P中．查询语言与宿主语言之间的“阻抗不匹配”问题尽可能地减小了．KBASE—P以RDBMS来管理事实(包括中间求值结果)和规则，因此能够有效地管理大容量的数据，并且数据是可共享的，适合于处理大规模的知识密集型应用．本文介绍了KBASE—P语言及其特点，并与相关的系统进行了比较．     

逻辑程序的一种并行执行模型

本文基于静态相关性分析和动态调整相结合的方法，提出了一种逻辑程序的执行模型，它不仅开发了“与“并行，同进也开发了一定的“或“并行，从而有效地加速了逻辑程序的执行。     

一个基于抽象解释部分演绎过程

本提出一种新的基于抽象解释的逻辑程序部分演绎方法。在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行ＰＰＵ｛Ｇ｝的部分演绎和抽象解释，以轴象解释控制部分演绎的展开过程，只要抽象论域是有穷的，部分演绎必定终止，耐用Ｐ’带有抽象解释估算出的关行其运行性质的信息，便于对Ｐ’作进一步优化。     

逻辑程序模式识别的双向全局流分析

在逻辑程序AND并行性的开发中,模式识别有着极为重要的作用.为了克服单向模式分析的缺点和不足,本文提出了模式识别的双向全局流分析方案,并用PROLOG语言实现.本文中对该方案进行详细的探讨,并给出相应的算法.     

并行推理机RAP／LOP-WAM的方案设计和性能评价

本文首先简要介绍了逻辑程序并行执行模型RAP/LOP，它基于OR树林描述，扩充WAM支持限制与/或并行执行逻辑程序，然后重点论述了并行执行模型和它的抽象机映射到多处理机系统的方案，探讨用通用CPU芯片和附加专用硬件构造并行推理机，最后通过软件模拟系统对系统体系结构进行评价。     

SLD-博弈树中计算规则的独立性

本文提出SLD-博弈树的成功集的概念，证明对任何计算规则R，对应R产的SLD-博弈树的成功集相同，即SLD-博弈树的证明能力与计算规则无关，这就是计算规则的独立性．     

函数／逻辑程序设计语言RFUNILOG

本文提出了一种兼备函数／逻辑功能的程序设计语言ＲＦＵＮＬＯＧ。它不仅具有统一的语法形式和丰富的语言设施，而且有统一的操作语义，整个语言可以用图归约的概念来解释。     

基于Transputer的逻辑程序解释器的设计与实现

本文论述一个在Ｔｒａｎｓｐｕｔｅｒ环境上设计并实现的一阶谓词逻辑程序解释器ＩＦＬＰ，着重讨论了其核心词法分析部分与合一回溯算法部分的实现机制，并给出相庆的运行实例。ＩＦＬＰ具有程序动态跟踪功能，能够随时指示问题求解过程中的逻辑推理步骤和解题轨迹，有助于用户了解程序的动态行为和调试复杂的逻辑程序。