基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
工程实际中的大部分应用程序都可以用有限状态机来描述. 论文首先提出了一个一般性的有限状态程序模型,即有限状态自动机. 并讨论了基于有限状态模型的程序框架生成和该模型的一些性质. 对于工业中的大多数专用应用程序和嵌入式系统,该模型给出了简洁、直观、统一的规范描述及其开发与维护方法.
推荐文章
有限状态机在鱼雷搜索策略程序设计中的应用
鱼雷
自导逻辑
有限状态机
搜索策略
程序设计
程序条件化用于软件模型检测中的状态空间缩减
程序条件化
软件模型检测
状态空间缩减
符号化执行
线性时序逻辑
基于有限状态机模型的GUI设计及其应用
GUI
有限状态机
Moor机
Mealy机
自动售检票
基于扩展有限状态机模型的故障检测
扩展有限状态机
故障模型
故障检测
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 有限状态程序模型及其应用
来源期刊 五邑大学学报(自然科学版) 学科 工学
关键词 有限状态自动机 有限状态程序 有限状态模型
年,卷(期) 2001,(4) 所属期刊栏目
研究方向 页码范围 66-70
页数 5页 分类号 TH161
字数 2783字 语种 中文
DOI 10.3969/j.issn.1006-7302.2001.04.014
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 张治国 中山大学计算机科学系 13 66 6.0 7.0
2 邓志洪 1 14 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (14)
同被引文献  (3)
二级引证文献  (3)
2001(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2002(1)
  • 引证文献(1)
  • 二级引证文献(0)
2003(1)
  • 引证文献(1)
  • 二级引证文献(0)
2004(1)
  • 引证文献(1)
  • 二级引证文献(0)
2005(2)
  • 引证文献(2)
  • 二级引证文献(0)
2006(4)
  • 引证文献(4)
  • 二级引证文献(0)
2007(1)
  • 引证文献(1)
  • 二级引证文献(0)
2008(1)
  • 引证文献(1)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(1)
  • 引证文献(1)
  • 二级引证文献(0)
2017(1)
  • 引证文献(0)
  • 二级引证文献(1)
2018(1)
  • 引证文献(0)
  • 二级引证文献(1)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
有限状态自动机
有限状态程序
有限状态模型
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
五邑大学学报(自然科学版)
季刊
1006-7302
44-1410/N
大16开
广东省江门市东成村22号
1994
chi
出版文献量(篇)
1389
总下载数(次)
2
总被引数(次)
4186
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导