设备自动巡检逻辑的层级有限自动机建模与实现

杨启亮; 邢建春; 王平; 谭明金

首页> 中文期刊> 《陆军工程大学学报》 >设备自动巡检逻辑的层级有限自动机建模与实现

设备自动巡检逻辑的层级有限自动机建模与实现

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

为了解决复杂巡检逻辑造成的软件实现困难这一问题,提出了一种层级有限自动机(HFA)的形式化模型,分析了设备自动巡检过程的行为特征,利用HFA对自动巡检过程实现了行为建模,抽象出了HFA的核心状态和辅助状态,并对主要核心态进行了深化分解及FA表示。给出了HFA向软件实现转化的基本框架。这种HFA模型能对设备自动巡检逻辑进行简洁清晰地刻画,为软件正确实现提供了保证。

著录项

来源
《陆军工程大学学报》 |2009年第6期|528-535|共8页
作者
杨启亮; 邢建春; 王平; 谭明金;
展开▼
作者单位

南京大学计算机科学与技术系;

解放军理工大学工程兵工程学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类控制机;
关键词
设备; 自动巡检; 有限自动机; 层级有限自动机;

相似文献

中文文献
外文文献
专利

1. 设备自动巡检控制逻辑的层级时间自动机建模与验证 [J] . 孙程 ,邢建春 ,杨启亮 . 计算机科学 . 2017,第004期
2. 网络设备自动化巡检运维的实现与应用研究 [J] . 刘祥 . 信息系统工程 . 2019,第006期
3. 基于D5000平台下二次设备自动巡检系统的设计及实现 [J] . 刘海峰 ,陈宏 ,姜健琳 . 电网与清洁能源 . 2017,第011期
4. 变电站电力设备红外自动巡检系统的实现 [J] . 袁辉建 . 重庆电力高等专科学校学报 . 2013,第005期
5. 确定有限自动机推理的可计算逻辑分析 [J] . 闵兰 ,刘益 ,陈晓敏 . 重庆邮电大学学报（自然科学版） . 2011,第006期
6. 设备自动巡检控制逻辑的层级时间自动机建模与验证 [C] . Sun Cheng ,孙程 ,Xing Jianchun . 第十四届全国软件与应用学术会议 . 2015
7. 基于有限自动机的网络设备远程配置的研究与实现 [A] . 丁黎颖 . 2011

设备自动巡检逻辑的层级有限自动机建模与实现

摘要

著录项

相似文献

相关主题

期刊订阅