多项式循环程序的秩函数探测

李轶; 冯勇

首页> 中文期刊> 《软件学报》 >多项式循环程序的秩函数探测

多项式循环程序的秩函数探测

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

cqvip:秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题,从而便于利用线性规划工具Simplex去计算这类程序的秩函数.不同于现有基于柱形代数分解的量词消去算法,该方法能够在可接受的时间内计算更为复杂的多项式秩函数.

著录项

来源
《软件学报》 |2019年第11期|3243-3258|共16页
作者
李轶; 冯勇;
展开▼
作者单位

中国科学院重庆绿色智能技术研究院重庆401120;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
可信计算; 多分支循环程序; 终止性; 秩函数;

相似文献

中文文献
外文文献
专利

1. 基于SVM的多项式循环程序秩函数生成 [J] . 李轶 ,蔡天训 ,樊建峰 . 软件学报 . 2019,第007期
2. 基于Dixon结式和逐次差分代换的多项式秩函数探测方法 [J] . 袁月 ,李轶 . 计算机应用 . 2019,第007期
3. 基于k阶秩函数的线性赋值循环程序的终止性分析 [J] . 李轶 ,蔡天训 ,吴文渊 . 计算机科学 . 2018,第006期
4. 基于秩函数和Euclide算法的循环码盲识别* [J] . 杨晓静 ,闻年成 . 电路与系统学报 . 2012,第005期
5. 用EXCEL中的VBA编写"多项式的三角函数拟合单峰曲线"程序 [J] . 马海霞 ,刘影 ,王艳红 . 菌物研究 . 2009,第003期
6. 具有多项式权函数的前向多项式神经网络学习算法<'*>) [C] . 周永权 ,何登旭 ,戴祯杰 . 第二届中国Rough集与软计算学术研讨会 . 2002
7. 同余多项式与有理函数域上秩为零的椭圆曲线 [A] . 刘渊博 . 2016

多项式循环程序的秩函数探测

摘要

著录项

相似文献

相关主题

期刊订阅