Development of Techniques for Signal Validation in Nuclear Power Plants

信号验证是一种交叉检查不同传感器的输出以获得每个重要物理参数的单一明确指示的技术。这项技术的关键问题是获取不同信号之间因果关系的知识，并以智能知识库的形式组织这些知识。为满足这一需要，已经开发了以下基本技术组成部分。获取因果关系的技术2。结构化的信号验证知识库。按需信号验证咨询系统。对传统的定性模拟方法进行了改进，引入了模糊逻辑，为满足1的需要提供了一种技术。这种方法使我们能够更精确地刻画信号之间的因果关系。通过正确地使用这种方法，我们可以获得用于不同信号的交叉检查的知识。这样获得的知识应该与有效验证信号的植物结构知识相关。为了有组织地存储这两类知识，开发了既能处理框架表示法又能处理产生式规则的知识库。知识库的内容可以是预先存储的，也可以在发现预先存储的数据不足时生成。以知识库为主要组成部分，综合了一个按需信号验证咨询系统的原型，并在个人计算机上实现。通过模拟器实验验证了所开发系统的有效性。

Signal Validation is a technique for cross-checking outputs of dissimilar sensors to obtain a single unambiguos indication for each physical parameter of critical importance. The Key issues in this technique are to acquire knowledge on cause-effect relationships between dissimilar signals, and to organize the knowledge in a form of intelligent knowledgebase. Following basic technical components have been developed to meet the need.1. Technique for acquiring causal relationships.2. Structurized knowledgebase for signal validation.3. Consultation system for on-demand signal validation. The method of conventional qualitative simulationw as modified by introducing the fuzzy logic to provide a technique for satisfying the need of 1. This method allows us to characterize the causal relationships between signals in more precise manner. With the proper use of this method, we can obtain knowledge to be employed for cross-checking of dissimilar signals. The knowledge thus acquired should be related to the knowledge about plant structure for efficient signal validation. To store the two types of knowledge in an organized manner, a knowledgebase capable of handling both of the frame-representation and production rules was developed. The contents of the knowledgebase can be either prestored or generated whenever the prestored data are found to be insufficient. By using the knowledgebase as the main component, a protype of consultation system for on-demand signal validation was synthesized and implemented on a personal comuter. The usefulness of the developed system was demonstrated through simulator experiments.