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

姚勇

首页> 中文期刊> 《软件学报》 >区间上非线性程序的终止性判定

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《软件学报》 |2010年第12期|3116-3123|共8页
作者
姚勇;
展开▼
作者单位

中国科学院;

成都计算机应用研究所;

四川;

成都;

610041;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
程序验证; 终止性分析; 非线性程序; 不动点; 周期轨;

相似文献

中文文献
外文文献
专利

1. 多区间上非线性程序的终止性判定 [J] . 牟琳 ,李轶 ,李玲娜 . 四川大学学报（工程科学版） . 2011,第003期
2. 有界闭区间并上的非线性循环程序的终止性验证 [J] . 李玲娜 ,田继东 ,刘德斌 . 计算机应用与软件 . 2012,第010期
3. 非线性循环及Rm上线性循环的终止性判定 [J] . 陈敬敏 . 四川大学学报（工程科学版） . 2013,第002期
4. 串行线性赋值循环程序的终止性判定 [J] . 赵晓燕 . 电脑知识与技术 . 2012,第015期
5. 一类线性循环程序的终止性判定 [J] . 余伟 ,赵晓燕 . 现代计算机（专业版） . 2009,第007期
6. 有界闭区间并上的非线性循环程序的终止性验证 [C] . Li Ling-Na ,李玲娜 ,Tian Ji-Dong . 2012中国计算机大会 . 2012
7. 基于增强条件公式的主动规则集可终止性判定方法研究 [A] . 赵梦露 . 2015

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

摘要

著录项

相似文献

相关主题

期刊订阅