终止性

作品数：103被引量：114H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：李轶冯勇吴文渊郝忠孝杨泽雪更多>>
相关机构：中国科学院重庆绿色智能技术研究院哈尔滨理工大学中国科学院大学中国科学院成都计算机应用研究所更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划黑龙江省自然科学基金重庆市科技攻关计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
指数函数多项式的实根分离算法被引量：1
《计算机应用》2022年第5期1531-1537,共7页葛昕钰 陈世平 刘忠 
四川省科学技术厅科技计划项目(2016GFW0048)。
针对超越函数多项式的实根分离问题,提出了一种指数函数多项式的区间分离算法exRoot,将非多项式型实函数的实根分离问题转化为多项式正负性判定问题进而对其求解。首先,利用泰勒替换法构造目标函数的多项式区间套;然后,将指数函数的求...
关键词：指数函数多项式 实根分离 泰勒替换法 区间列 终止性 
循环程序的界函数合成
《计算机应用》2022年第2期565-573,共9页谭旺 李轶 
国家自然科学基金资助项目(11771421);中国科学院“西部之光”;国家重点研发计划项目(2020YFA07123000);重庆市自然科学基金资助项目(cstc2019jcyj-msxmX0638)。
作为循环程序终止性分析的主流方法,当前的秩函数方法大多局限于线性或多项式秩函数的求解。针对循环程序若不存在对应的线性或多项式秩函数,现有秩函数方法就无法证明其终止性的问题,提出一个新的方法来合成给定循环程序对应的界函数...
关键词：程序验证 循环程序终止性 支持向量机 界函数 秩函数 
基于Dixon结式和逐次差分代换的多项式秩函数探测方法
《计算机应用》2019年第7期2065-2073,共9页袁月 李轶 
国家自然科学基金资助项目(61472429,61572024,61103110)~~
秩函数探测是循环程序终止性分析的重要方法,目前,已有很多研究者致力于为线性循环程序探测对应的线性秩函数,然而,针对具有多项式循环条件和多项式赋值的多项式型的循环,现有的秩函数探测方法还有所不足,解决方案大多是不完备的、或者...
关键词：循环程序终止性 多项式循环程序 多项式秩函数 多阶段秩函数 Dixon结式 逐次差分代换 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部