Journal Home Online First Current Issue Archive For Authors Journal Information 中文版

Strategic Study of CAE >> 2007, Volume 9, Issue 11

A Self-adaptive Automatic Program Designand Application in Vending Machine

College of Information Engineering, Zhejiang University of Technology, Hangzhou 310012, China

Funding project:浙江嵌入式系统与应用重大专项资助项目(2005c11011) Received: 2007-07-14 Revised: 2007-08-26

Next Previous

Abstract

To deal with program fault, the method is usually to report them with return-value or emergency.  But, when the program fault emerges in the state-orient model, how to make the program return to the state the fault point belong to or take further corresponding actions, the return-value or emergency can't do. In order to realize processing the fault automatically, this article presents automatic program design with uniting combined coding and state redundant design, and proposes its frame model and algorithm. The model is used for decreasing faults of state-switch("prevent" ) and increasing capability of fault-restore("cure" ). At last, part of the results presented in this paper are applied to a vending machine project and the tests show that the results are satisfactory.

Figures

图1

References

[ 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 link1

[ 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 link1

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

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

Related Research