有限状态自动机产生式推理的一般性建模方法  

General Modeling Approach Based on Production Inference and Finite State Automata

作　　者：彭翔[1] 王飞[1] 

机构地区：[1]华侨大学信息科学与工程学院,福建厦门361021

出　　处：《自动化仪表》2014年第5期9-12,共4页Process Automation Instrumentation

基　　金：国家自然科学基金资助项目(编号:61203040);福建省自然科学基金资助项目(编号:2011J01352)

摘　　要：自动机模型具有较好的形式化语言识别能力,将这种形式化语言识别能力和产生式推理相结合,提出了一种基于确定性有限状态自动机规则产生式推理的一般性建模流程。结合产生式推理与自动机的特点,构建了简单推理模型;并将该模型泛化为可以进行多条产生式推理的一般性模型,且给出了建模流程图。最后,通过实例分析验证了由一般性建模流程构建的推理模型的正确性。推理模型可以充当故障诊断专家系统的辅助决策系统,具有较好的现实意义和实用价值。Automata model possesses better ability of identifying formal language, by combining this kind of ability and production inference, the general modelling approach based on deterministic finite state automata rule and production inference is proposed. The features of production inference and automata are combined for structuring the simple inference model, and generalizing to general model that can be used to conduct multiple production inferences, the flowchart of modelling is given. The practical examples are analysed, and the correctness of the inference model constructed by general modelling process is verified. The inference model can be acted as the auxiliary decision system of the expert system for fault diagnosis, and it possesses better practical significance and applicable values.

关 键 词：有限状态自动机 产生式推理 一般性建模 故障诊断 辅助决策 

分 类 号：TP271.8[自动化与计算机技术—检测技术与自动化装置] TP206.3[自动化与计算机技术—控制科学与工程]