摘要:程序终止性问题是自动程序验证领域中的一个研究热点.秩函数探测是进行终止性分析的主要方法.针对单重无条件分支的多项式循环程序，将其秩函数计算问题归结为二分类问题，从而可利用支持向量机（SVM）算法来计算程序的秩函数.与基于量词消去技术的秩函数计算方法不同，该方法能在可接受的时间范围内探测到更为复杂的秩函数.
Abstract:Synthesizing ranking functions of polynomial loop programs is the dominant method for checking their termination. In this study, the synthesis of ranking functions of a class of polynomial loop program is reduced to the binary problem. The support vector machine (SVM) technique then is applied to solve such the binary problem. This naturally relates detection of ranking functions to SVM. Different from the CAD-based method for synthesizing ranking functions, the proposed method can get more expressive polynomial ranking functions in an acceptable time.
PDF全文下载地址:
http://jos.org.cn/jos/article/pdf/5748
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
基于SVM的多项式循环程序秩函数生成
本站小编 Free考研考试/2022-01-02
相关话题/程序 计算 技术 函数 多项式
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19有关时间自动机重置的若干问题的计算复杂性
摘要:自动机的重置序列也称为同步序列，具有以下特性：有限自动机通过运行重置序列w，可从任意一个未知的或无法观测到的状态q0到达某个特定状态qw.这仅依赖于w，而与开始运行w时的状态q0无关.这一特性可用于部分可观察的复杂系统的自动恢复，而无需重启，甚至有时不能重启.基于此，重置问题自出现以来便得到关 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02高性能联盟区块链技术研究
摘要:以上海证券交易所“去中心化的主板核心交易系统”作为业务场景，旨在研究高性能联盟区块链的优化算法.在联盟链关键技术研究的基础上，结合现有主板证券竞价交易系统的业务，提出了系统架构以及关键技术的实现.对业务逻辑与共识分离、存储优化和数字签名验证优化（包括合并验签和GPU加速）等可提高联盟链性能的优 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02区块链与数字货币技术专题前言
摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/5747 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02区块链跨链技术进展研究
摘要:随着区块链技术的发展，各种具有不同特点、适用于不同应用场景的区块链如比特币、以太坊等公有链以及私有链、联盟链大量共存.由于区块链的相互独立性，现存各区块链之间的数据通信、价值转移仍面临挑战，价值孤岛现象逐渐显现.区块链的跨链技术是区块链实现互联互通、提升可扩展性的重要技术手段.对跨链技术领域的 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于应用视角的缓冲区溢出检测技术与工具
摘要:缓冲区溢出漏洞是危害最为广泛和严重的安全漏洞之一，彻底消除缓冲区溢出漏洞相当困难.学术界、工业界提出了众多缓冲区溢出漏洞检测技术与工具.面对众多的工具，使用者如何结合自身需求有效地选择工具，进而应用到漏洞的检测与修复、预防与保护、度量与评估等方面，是具体而实际的问题.解决这一问题，需要在各异的 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02智能化软件新技术专刊前言
摘要:Abstract:PDF全文下载地址:http://jos.org.cn/jos/article/pdf/5736 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于深度学习的程序生成与补全技术研究进展
摘要:自动化软件开发一直是软件工程领域的研究热点.目前，互联网技术促进了开源软件和开源社区的发展，这些大规模的代码和数据成为自动化软件开发的机遇.与此同时，深度学习也在软件工程领域开始得到应用.如何将深度学习技术用于大规模代码的学习，并实现机器自动编写程序，是人工智能与软件工程领域的共同期望.机器自 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02示例演化驱动的学生程序自动修复
摘要:已有的程序自动化调试研究大多面向工业软件，而学生程序调试具有缺陷数多、类型复杂等特有难点问题，因此，针对学生程序设计应用背景，研究程序自动修复方法，利用模板示例程序指导补丁的演化.改进了遗传编程算法，包括适应度的计算、变异体的生成方式和变异位置及操作的选择方式，使其更加适合修复学生程序.提出了 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02C/C++程序缺陷自动修复与确认方法
摘要:在计算机软件中，程序缺陷不可避免且极有可能造成重大损失.因此，尽早发现并排除程序中潜在的缺陷，是学术界和工业界的普遍共识.目前的程序缺陷自动修复方法大都遵循缺陷定位、修复候选项生成、选择及验证的流程，但在修复实际程序时存在修复率低、无法保证修复结果的正确性等问题.提出了一种基于程序合成的C/C ...中科院软件研究所 本站小编 Free考研考试 2022-01-02C程序内存泄漏智能化检测方法
摘要:内存泄漏在采用显式内存管理机制的C语言中是一种常见的代码缺陷，内存泄漏的检测方法目前主要是静态分析与动态检测.动态检测开销大，且高度依赖测试用例；静态分析目前被学术界和工业界广泛应用，但是存在大量误报，需要人工对检测结果进行确认.内存泄漏静态分析的误报通常是由于对指针、分支语句和全局变量分析的 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02
