DSS中模型的自动机表示方法

• 作者: 梁旭 黄明
• 来源期刊: 吉林化工学院学报
• 学科: 工学
• 关键词: 决策支持系统 模型库管理系统 模型表示 自动机 PROLOG
• 年，卷（期）: 2000,（4）
• 页码范围: 54-58
• 页数: 5页
• 分类号: TP23
• 字数: 5466字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-2853.2000.04.018

摘要

自动机理论是作为离散自动装置和计算机理论模型建立的.通过研究,抽象定义: 模型是一个有限自动机.为了在计算机中实现模型的自动机表示,选用了PROLOG语言.一个模型用一个或多个谓词来描述,把它们存放在PROLOG系统的动态数据库中,然后用推理机进行求解.本方法的创新之处在于把自动机的合成与简化理论应用到模型表示中,把人工智能技术应用到模型管理中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄明	大连铁道学院计算机系	20	397	8.0	19.0
2	梁旭	大连铁道学院计算机系	7	132	6.0	7.0