首页 | 本学科首页   官方微博 | 高级检索  
     检索      

设备自动巡检逻辑的层级有限自动机建模与实现
引用本文:杨启亮,邢建春,王平,谭明金.设备自动巡检逻辑的层级有限自动机建模与实现[J].解放军理工大学学报,2009,10(6):528-535.
作者姓名:杨启亮  邢建春  王平  谭明金
作者单位:杨启亮,谭明金(南京大学,计算机科学与技术系,江苏,南京,210093;解放军理工大学,工程兵工程学院,江苏,南京,210007);邢建春,王平(解放军理工大学,工程兵工程学院,江苏,南京,210007) 
基金项目:国家973计划资助项目,国家自然科学基金资助项目,国家863计划资助项目 
摘    要:为了解决复杂巡检逻辑造成的软件实现困难这一问题,提出了一种层级有限自动机(HFA)的形式化模型,分析了设备自动巡检过程的行为特征,利用HFA对自动巡检过程实现了行为建模,抽象出了HFA的核心状态和辅助状态,并对主要核心态进行了深化分解及FA表示.给出了HFA向软件实现转化的基本框架.这种HFA模型能对设备自动巡检逻辑进行简洁清晰地刻画,为软件正确实现提供了保证.

关 键 词:设备  自动巡检  有限自动机  层级有限自动机

Hierarchical finite automation modeling of device automatic polling logic and its implementation
YANG Qi-liang,XING Jian-chun,WANG Ping and TAN Ming-jin.Hierarchical finite automation modeling of device automatic polling logic and its implementation[J].Journal of PLA University of Science and Technology(Natural Science Edition),2009,10(6):528-535.
Authors:YANG Qi-liang  XING Jian-chun  WANG Ping and TAN Ming-jin
Institution:Department of Computer Science and Technology,Nanjing University,Nanjing 210093,China;Engineering Institute of Corps of Engineers,PLA Univ.of Sci.& Tech.,Nanjing 210007,China;Engineering Institute of Corps of Engineers,PLA Univ.of Sci.& Tech.,Nanjing 210007,China;Engineering Institute of Corps of Engineers,PLA Univ.of Sci.& Tech.,Nanjing 210007,China;Department of Computer Science and Technology,Nanjing University,Nanjing 210093,China;Engineering Institute of Corps of Engineers,PLA Univ.of Sci.& Tech.,Nanjing 210007,China
Abstract:T o set t le the pro blems of complicated polling log ic that leads to barrier s to the implementat io n of so ftw are, one formal model o f hierarchical f inite automat ion ( HFA) was set up and discussed. Dynamic behavior char acterist ics o f the device automat ic po lling w er e analyzed and modeled w ith HFA. T he core and subsidiary states of the HFA were abst racted according to the process o f polling. The main core states w er e farther subdivided using the principles of HFA. One implement ing architecture w as also presented for the HFA t ransfo rmat ion in to the sof tw are system. T he HFA mo del can describe the dev ice automat ic po lling lo gic br ief ly, w hich ensures the applicat io n of the so ftw are.
Keywords:dev ice  automat ic poll ing  FA( f inite automat ion)  HFA ( hierachical finite automat ion)
本文献已被 万方数据 等数据库收录!
点击此处可从《解放军理工大学学报》浏览原始摘要信息
点击此处可从《解放军理工大学学报》下载免费的PDF全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号