自适应自动程序设计及其在自动售货机中的应用

2007年第9卷第11期

摘要

关键词

图片

参考文献

相关研究

回顶部

《中国工程科学》 >> 2007年第9卷第11期

自适应自动程序设计及其在自动售货机中的应用

浙江工业大学信息工程学院，杭州 310012

资助项目：浙江嵌入式系统与应用重大专项资助项目（2005c11011）收稿日期： 2007-07-14 修回日期： 2007-08-26

HTML27 PDF 8 收藏 0

摘要

对程序故障的处理，通常可以使用返回值或异常来报告。但当状态模型中的程序出现故障后，使程序仍能回到出现故障处的状态或做进一步的处理，这是返回值或异常做不到的。针对自动处理的实现，提出了采用组合编码和状态冗余设计相结合的自动程序设计思想，给出了它的一个结构模型和算法。模型通过减少程序的状态切换故障（预防）和增加系统的故障恢复能力（治疗）来实现这个目标。最后，将这个设计模型部分成功地应用到自动售货机上，实际运行效果良好。

关键词

自适应 ; 状态冗余设计 ; 自动程序设计 ; 故障恢复 ; 自动售货机

图片

图1

参考文献

[ 1 ] Kline M 著.现代世界中的数学[M].齐民友译.上海:上海教育出版社,2001.448~464

[ 2 ] Richter J 著.Microsoft.NET框架程序设计(修订版)[M].李建忠译.北京:清华大学出版社,2003

[ 3 ] 刘晓东,等.编译程序设计算法[M].成都:四川大学出版社,2006

[ 4 ] 徐凤生.离散数学及其应用[M].北京:机械工业出版社,2006

[ 5 ] Malcher A . Minimizing finite automata is computationally hard [ J] . Theoretical Computer Science , 2004 ,327(3-2) :375 ~ 390 链接1

[ 6 ] Karakostas G ,Lipton R J ,Viglas A .On the complexity of intersecting finite state automata and NL versus NP [ J ] .Theoretical Computer Science , 2003 ,302(1-3) :257 ~ 274 链接1

[ 7 ] 王巍,高德远.有限自动机设计策略[J].计算机工程与应用,1999,(7):54~55

[ 8 ] 黄燕芳,张玉清.可生存性控制系统的有限自动机的设计[J].微电子学与计算机,2006,23(10):7~9