| 区间上非线性程序的终止性判定 |
| |
| 引用本文： | 姚勇.区间上非线性程序的终止性判定[J].软件学报,2010,21(12):3116-3123. |
| |
| 作者姓名： | 姚勇 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant Nos.90718041, 10901116, 11001228 (国家自然科学基金); the National Basic Research Program of China under Grant No.2004CB318003 (国家重点基础研究发展计划(973)); the Knowledge Innovation Program of the Chinese Academy of Sciences under Grant No.KJCX2-YW-S02 (中国科学院知识创新工程); the Open Project of Shanghai Key Laboratory of Trustworthy Computing of China under Grant No.07dz22304200801 (上海市高可信计算重点实验室开放课题) |
| |
| 摘 要： | 分析了如下类型程序的终止性:While x∈Ω do {x:=f(x)} end.其中,x是程序变量,Ω是一个区间,f是一个连续函数.这类程序被称为区间上非线性程序.证明了上面程序不终止的必要条件是函数在区间内部或边界上有不动点.如果不动点不在区间的边界,则上述结果是充要条件.仅仅在区间边界上有不动点的情况下,对函数略加限制,也建立了相应结果.特别地,对逐段多项式连续函数程序的终止性给出了完备判定算法.
|
| 关 键 词： | 程序验证 终止性分析 非线性程序 不动点 周期轨 |
| 收稿时间： | 2009/6/16 0:00:00 |
| 修稿时间： | 2009/8/28 0:00:00 |
Termination Decision of Nonlinear Programs over Intervals |
| |
| YAO Yong.Termination Decision of Nonlinear Programs over Intervals[J].Journal of Software,2010,21(12):3116-3123. |
| |
| Authors: | YAO Yong |
| |
| Abstract: | |
| |
| Keywords: | program verification termination analysis nonlinear program fixed point periodic orbit |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
