【摘 要】
：
程序终止性问题是自动程序验证领域中的一个研究热点。秩函数探测是进行终止性分析的主要方法。针对单重无条件分支的多项式循环程序,将其秩函数计算问题归结为二分类问题,从
【机 构】
：
中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室,萨基姆通讯（深圳）有限公司,中国科学院大学计算机科学与技术学院
【基金项目】
：
国家自然科学基金(61572024,61103110,11471307)~~
论文部分内容阅读
程序终止性问题是自动程序验证领域中的一个研究热点。秩函数探测是进行终止性分析的主要方法。针对单重无条件分支的多项式循环程序,将其秩函数计算问题归结为二分类问题,从而可利用支持向量机(SVM)算法来计算程序的秩函数。与基于量词消去技术的秩函数计算方法不同,该方法能在可接受的时间范围内探测到更为复杂的秩函数。
其他文献
通过 GIS建模 ,本文分析了我国土地利用的变化与其影响因子之间的相互作用关系 ,并着重对耕地的变化及其空间分布进行了模拟。研究发现 ,土地利用的变化主要是自然与经济因素
本文旨在通过对辽宁省现有沿海港口基本情况和物流发展竞争态势的分析,提出辽宁省沿海港口加快综合物流发展的对策和建议,以全面提升辽宁省沿海港口群的核心竞争力,更好地服
目的了解永州市中心医院院内感染病原菌的分布情况及耐药性,为指导临床合理用药和降低医院感染发生率提供依据。方法回顾性分析该医院2015-2016年医院感染病例,对其院内感染
教师在课堂教学中采取有效的课堂教学评价策略是实施新课程的需要。主要的课堂教学评价策略有:依据教学目标的内容和水平进行评价;以学生为主体的评价;注重对学习过程进行评
自然植被演替成为次生植被、人工林或人工开垦利用后,岩溶山地土壤物理性能退化;沙化现象明显;坡耕地土壤长时间持水供水性能、抗旱性能降低;土壤种子库中草本种子比例大,木
目的:探讨以行气疏肝为主的中药治疗缺血性视神经病变的临床效果。方法:将纳入缺血性视神经病变诊断的患者76例(102眼)随机分为两组:治疗组37例(51眼)以行气疏肝为主的中药汤
推焦车是炼焦生产过程中最重要的设备之一,除了完成推焦、装煤的任务外,还引导除尘车、拦焦车以及熄焦车协调工作。推焦过程四大车的对位以及推焦计划的执行情况在炼焦诸多生
随着财务软件的迅速普及和市场环境不断变化,给高职会计专业的发展提出了新的问题和挑战,我们面临变化不断的市场,我认为高职会计教育应从软件和硬件两方面改进,软件是提高自
现代教育强调学生主体的地位,为了更好的培养学生的主体地位,调动学生的主动性和自主性,教育提出了双主体理论。教育双主体中教师与学生都是具有独立人格的人,教师应该充分尊
本文以苏丹GNPOC原油为油样,对在不同温度下下形成结构的胶凝原油进行剪切蠕变实验,通过比较已提出的几种典型的粘弹/塑性模型,选取将Burgers粘弹性模型与连续损伤因子模型二