产生式系统原理在联锁软件开发中的应用

• 作者: 汤连桥
• 来源期刊: 电子世界
• 年，卷（期）: 2021,（16）
• 所属期刊栏目: 技术交流
• 页码范围: 128-130
• 页数: 3页
• 语种: 中文

摘要

计算机联锁软件中的逻辑关系是使用规则进行描述的.产生式系统是一种基于规则的推理技术,联锁软件可采用产生式系统的技术进行开发.描述了产生式系统中三个部分(规则库定义、总数据库设计、控制策略设计)在开发联锁软件过程中的实现,其中在定义规则库时提出了一些新的概念和实施细则.本文以联锁软件中的排列进路功能为例,阐述了方法的执行流程. 计算机联锁系统由冗余配置的安全计算机和联锁软件构成,其中联锁软件执行联锁逻辑,是整个系统的主要组成部分.传统的软件开发以功能为单位进行模块划分进行设计,联锁软件中各关联元素的逻辑关系是一个整体,无法简单地按照"功能、模块"的方式将其拆分.鉴于这个特点,可以分析功能梳理出内部逻辑关系,然后对逻辑关系进行整体设计和实现,即使用规则来描述逻辑关系.规则的形式为A→B,A为条件,B为动作,当条件A满足时,触发动作B.