论文部分内容阅读
秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题,从而便于利用线性规划工具Simplex去计算这类程序的秩函数.不同于现有基于柱形代数分解的量词消去算法,该方法能够在可接受的时间内计算更为复杂的多项式秩函数.
多项式循环程序的秩函数探测
【摘 要】
：
秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题,从而便于利用线性规划工具Sim
【机 构】
：
中国科学院重庆绿色智能技术研究院
【出 处】
：
软件学报
【发表日期】
：
2019年11期
【基金项目】
：
国家自然科学基金(61572024,61103110,11671377),重庆市自然科学基金(cstc2019jcyj-msxmX0638)
其他文献
大数据管理及处理能力已经成为引领网络时代IT发展的关键,获取大量运行数据并建立对其进行动态高效处理的能力,已经成为产业竞争力的体现.从2012年美国政府宣布“大数据研究
胎儿宫内窘迫是指以胎儿胎盘系统的呼吸循环功能障碍为主要表现的综合征。它是胎儿宫内缺氧和酸中毒引起的一种危急病理状态,其中有2/3会延续至新生儿窒息,可并发多器官系统
1999年6月下旬在长江中下游发生长达10天之久的连续性暴雨,作者对其进行了全程中尺度四维同化数值模拟,利用时空高分辨的模式输出,对梅雨锋上与强降水密切相关的5个低涡的活
首先对１９９４年月中旬的华南暴雨过程进行了诊断分析，然后，利用ＰＳＵ和ＮＣＡＲ发展起来的有限区域中尺度模拟系统ＭＭ５进行了数值模拟研究。诊断结果表明：此地形等其他条件决定的。两广地区活动较强的对
<正>软件安全漏洞是软件中存在的可能被利用而造成损害的薄弱环节.随着互联网和移动互联网的快速发展,软件因为自身存在漏洞而遭受外界利用攻击,导致隐私泄漏、非法提权、勒
施工中的协调工作,牵涉面广且又琐碎,突出了各专业协调对施工的重要性,项目负责人需要加强这方面的管理,同时做好每一部分的工作,才有可能把问题、隐患消灭在萌芽状态,保证工