区间上非线性程序的终止性判定

• 作者: 姚勇
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 程序验证 终止性分析 非线性程序 不动点 周期轨
• 年，卷（期）: 2010,（12）
• 页码范围: 3116-3123
• 分类号: TP301
• 字数: 6966字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2010.03722

摘要

分析了如下类型程序的终止性:While x∈Ω do {x:=f(x)} end.其中,x是程序变量,Ω是一个区间,f是一个连续函数.这类程序被称为区间上非线性程序.证明了上面程序不终止的必要条件是函数在区间内部或边界上有不动点.如果不动点不在区间的边界,则上述结果是充要条件.仅仅在区间边界上有不动点的情况下,对函数略加限制,也建立了相应结果.特别地,对逐段多项式连续函数程序的终止性给出了完备判定算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚勇	中国科学院成都计算机应用研究所	21	89	6.0	9.0