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