摘要:秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序，这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题，从而便于利用线性规划工具Simplex去计算这类程序的秩函数.不同于现有基于柱形代数分解的量词消去算法，该方法能够在可接受的时间内计算更为复杂的多项式秩函数.
Abstract:Synthesizing ranking functions of loop programs is the dominant method for checking their termination. In this study, the synthesis of ranking functions of a class of loop program is reduced to the detection of positive polynomial on the standard simplex. This then enables the computation of the desired ranking functions by linear programming tool. Different from the existing methods based on cylindrical algebraic decomposition, the proposed method in the study can get more expressive polynomial ranking functions within an acceptable time.
PDF全文下载地址:
http://jos.org.cn/jos/article/pdf/5567
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
多项式循环程序的秩函数探测
本站小编 Free考研考试/2022-01-02
相关话题/程序 计算 代数 多项式 函数
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19一种基于程序功能标签切片的制导符号执行分析方法
摘要:提出了一种基于程序功能标签切片的制导符号执行分析方法OPT-SSE.该方法从程序功能文档提取功能标签，利用程序控制流分析，建立各功能标签和程序基本块的映射关系，并根据功能标签在程序执行中的顺序关系生成功能标签执行流.针对给定的代码目标点，提取与之相关的功能执行流切片，根据预定义好的功能标签流制 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02ICOMDT:一个面向动态任务的交互计算模型
摘要:近年来，包含动态任务的交互式系统得到了广泛的应用.基于现有对用户与动态任务交互的研究，提出一个面向动态任务的定量化可计算的交互模型ICOMDT，用于解释用户与动态任务的交互行为，并实现用户意图预测.更具体地，将ICOMDT应用于运动目标选择任务，设计了两个实验以验证模型的有效性.实验1收集用户 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02NSFC计算机图像与视频处理领域项目关键词分析
摘要:关键词能够反映出一份项目申请书的主要研究内容.统计了国家自然科学基金计算机图像与视频处理领域2014年~2018年申请与资助项目关键词，并分别从关键词标引量、关键词词频等方面进行分析，探讨其与资助率的关系.最后，运用定量的方法，透过热频关键词的内容变化，分析近5年来的计算机图像与视频处理领域的 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02移动边缘网络中计算迁移与内容缓存研究综述
摘要:随着移动设备数量的爆炸性增长以及许多新兴应用的出现，移动网络的流量呈指数级增长.传统的集中式网络架构由于回程链路负载过重、时延较长，无法满足移动用户的需求.因此，提出了将网络能力从核心网开放至边缘网的新体系结构，即移动边缘计算（MEC）.移动边缘计算能够在移动蜂窝网络的边缘提供轻量级的云计算和 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于SVM的多项式循环程序秩函数生成
摘要:程序终止性问题是自动程序验证领域中的一个研究热点.秩函数探测是进行终止性分析的主要方法.针对单重无条件分支的多项式循环程序，将其秩函数计算问题归结为二分类问题，从而可利用支持向量机（SVM）算法来计算程序的秩函数.与基于量词消去技术的秩函数计算方法不同，该方法能在可接受的时间范围内探测到更为复 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02有关时间自动机重置的若干问题的计算复杂性
摘要:自动机的重置序列也称为同步序列，具有以下特性：有限自动机通过运行重置序列w，可从任意一个未知的或无法观测到的状态q0到达某个特定状态qw.这仅依赖于w，而与开始运行w时的状态q0无关.这一特性可用于部分可观察的复杂系统的自动恢复，而无需重启，甚至有时不能重启.基于此，重置问题自出现以来便得到关 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于深度学习的程序生成与补全技术研究进展
摘要:自动化软件开发一直是软件工程领域的研究热点.目前，互联网技术促进了开源软件和开源社区的发展，这些大规模的代码和数据成为自动化软件开发的机遇.与此同时，深度学习也在软件工程领域开始得到应用.如何将深度学习技术用于大规模代码的学习，并实现机器自动编写程序，是人工智能与软件工程领域的共同期望.机器自 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02示例演化驱动的学生程序自动修复
摘要:已有的程序自动化调试研究大多面向工业软件，而学生程序调试具有缺陷数多、类型复杂等特有难点问题，因此，针对学生程序设计应用背景，研究程序自动修复方法，利用模板示例程序指导补丁的演化.改进了遗传编程算法，包括适应度的计算、变异体的生成方式和变异位置及操作的选择方式，使其更加适合修复学生程序.提出了 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02C/C++程序缺陷自动修复与确认方法
摘要:在计算机软件中，程序缺陷不可避免且极有可能造成重大损失.因此，尽早发现并排除程序中潜在的缺陷，是学术界和工业界的普遍共识.目前的程序缺陷自动修复方法大都遵循缺陷定位、修复候选项生成、选择及验证的流程，但在修复实际程序时存在修复率低、无法保证修复结果的正确性等问题.提出了一种基于程序合成的C/C ...中科院软件研究所 本站小编 Free考研考试 2022-01-02C程序内存泄漏智能化检测方法
摘要:内存泄漏在采用显式内存管理机制的C语言中是一种常见的代码缺陷，内存泄漏的检测方法目前主要是静态分析与动态检测.动态检测开销大，且高度依赖测试用例；静态分析目前被学术界和工业界广泛应用，但是存在大量误报，需要人工对检测结果进行确认.内存泄漏静态分析的误报通常是由于对指针、分支语句和全局变量分析的 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02
