位置：成果数据库 > 期刊 > 期刊详情页
有界闭连通域上的非线性循环终止性分析
  • ISSN号：1000-9825
  • 期刊名称：《软件学报》
  • 时间：0
  • 分类：TP301[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：自动推理与认知重庆市重点实验室(中国科学院重庆绿色智能技术研究院),重庆401120
  • 相关基金：国家自然科学基金（61572024,61103110,11171053）
作者： 李轶, 冯勇
关键词： 可信计算, 非线性循环, 终止性分析, GROEBNER基, 计算机代数, trusted computing, non-linear loop, termination analysis, Groebner base, computer algebra
中文摘要：

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

英文摘要：

Termination of a class of nonlinear loops is analyzed in this paper. Based on Groebner bases, determining the termination problem of this type of loop programs is equivalent to determining whether or not the iteration functions of the loops have fixed points in the domains specified by loop guards.

同期刊论文项目
多项式循环程序的终止性研究及其应用
期刊论文 1
几类While循环终止性分析的理论、方法及其应用
期刊论文 5 会议论文 2
基于数值方法的有理数域上准确多元多项式因式分解
期刊论文 36 会议论文 4
同项目期刊论文
Continuous analogue of mixed power mean inequalities
Numerical Polynomial Factorization
多元多项式系统三种结式关系的探讨
基于多磁盘内存映射的并行湍流相屏生成方法
Signatures of Chaotic Nature in Astronomical Data with Nonlinear Analysis Techniques
Incremental PSLQ with application to algebraic number reconstruction
Computing Real Witness Points of Positive Dimensional Polynomial Systems
Structural analysis of high-index DAE for process simulation
An Efficient Algorithm to Factorize Sparse Bivariate Polynomials over the Rationals
Parallel computation of real solving bivariate polynomial systems by zero-matching method
一类非线性方程组奇异解的计算方法及其应用
优化的资源配置算法在网格计算系统中的实现
组合结式理论的初步应用
线性循环程序的终止性判定
一类带初始输入的线性循环终止性分析
有界闭域上的线性赋值循环终止性分析
多分支单变量循环程序的终止性分析
期刊信息
  • 《软件学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院软件研究所 中国计算机学会
  • 主编：赵琛
  • 地址：北京8718信箱中国科学院软件研究所
  • 邮编：100190
  • 邮箱：jos@iscas.ac.cn
  • 电话：010-62562563
  • 国际标准刊号：ISSN：1000-9825
  • 国内统一刊号：ISSN：11-2560/TP
  • 邮发代号:82-367
  • 获奖情况:
  • 2001年入选中国期刊方阵“双百期刊”,2000年荣获中国科学院优秀科技期刊一等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,波兰哥白尼索引,德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:54609