期刊文章详细信息
文献类型:期刊文章
机构地区:[1]湛江教育学院数学系,广东湛江524037
年 份:2009
卷 号:2
期 号:1
起止页码:127-128
语 种:中文
收录情况:普通刊
摘 要:时序逻辑在许多领域如人工智能、形式化方法、自动控制中都有成功的应用。有效的实现系统控制在很大程度上取决于良好的系统状态表达法,时序规则表达法是综合基于时间点、区间、事件的时序逻辑的新方法。该方法可以简单、直观、有效的表达系统状态并可进行推理。将它应用于乙烯裂解炉温度控制系统中,可以获得很好的效果。
关 键 词:时序逻辑 系统状态 时序规则
分 类 号:O29]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...