首页> 中文期刊>软件学报 >有界闭连通域上的非线性循环终止性分析

有界闭连通域上的非线性循环终止性分析

开具论文收录证明 >>

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

页面导航

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

摘要

运用计算机代数中的Groebner基理论,对有界闭连通域上的单重非线性循环程序的终止性问题进行研究,建立了可计算的终止性判定算法.该算法将这类循环的终止性判定问题归约为有无不动点的判定问题.

著录项

来源
《软件学报》|2016年第3期|517-526|共10页
作者
李轶; 冯勇;
展开▼
作者单位

自动推理与认知重庆市重点实验室(中国科学院重庆绿色智能技术研究院),重庆401120;

自动推理与认知重庆市重点实验室(中国科学院重庆绿色智能技术研究院),重庆401120;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
可信计算; 非线性循环; 终止性分析; Groebner基; 计算机代数;
入库时间 2022-08-18 05:33:54

相似文献

中文文献
外文文献
专利

1. 有界闭域上的线性赋值循环终止性分析* [J] . 李轶 ,吴文渊 ,冯勇 . 软件学报 . 2014,第006期
2. 有界闭区间并上的非线性循环程序的终止性验证 [J] . 李玲娜 ,田继东 ,刘德斌 . 计算机应用与软件 . 2012,第010期
3. 非线性循环及Rm上线性循环的终止性判定 [J] . 陈敬敏 . 四川大学学报（工程科学版） . 2013,第002期
4. 一类非线性循环程序的终止性 [J] . 廖苑蓉 ,陈光喜 . 微电子学与计算机 . 2013,第11期
5. 一类循环条件非线性的程序终止性 [J] . 李骏 ,李轶 ,冯勇 . 四川大学学报（工程科学版） . 2009,第001期
6. 有界闭区间并上的非线性循环程序的终止性验证 [C] . Li Ling-Na ,李玲娜 ,Tian Ji-Dong . 2012中国计算机大会 . 2012
7. 良结构下推系统上的可终止性和有界性问题研究 [A] . 雷素华 . 2016

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号