基于svm的多项式循环程序秩函数生成
文献类型：期刊论文
| 作者 | 李轶2 ; 蔡天训1; 樊建峰2; 吴文渊2; 冯勇2
|
| 刊名 | 软件学报
 |
| 出版日期 | 2019 |
| 卷号 | 30期号:7页码:1903 |
| ISSN号 | 1000-9825 |
| 英文摘要 | 程序终止性问题是自动程序验证领域中的一个研究热点.秩函数探测是进行终止性分析的主要方法.针对单重无条件分支的多项式循环程序,将其秩函数计算问题归结为二分类问题,从而可利用支持向量机(SVM)算法来计算程序的秩函数.与基于量词消去技术的秩函数计算方法不同,该方法能在可接受的时间范围内探测到更为复杂的秩函数. |
| 语种 | 英语 |
| 源URL | [http://119.78.100.138/handle/2HOD01W0/9497]  |
| 专题 | 自动推理与认知研究中心 |
| 作者单位 | 1.萨基姆通讯有限公司 2.中国科学院重庆绿色智能技术研究院 |
| 推荐引用方式 GB/T 7714 | 李轶,蔡天训,樊建峰,等. 基于svm的多项式循环程序秩函数生成[J]. 软件学报,2019,30(7):1903. |
| APA | 李轶,蔡天训,樊建峰,吴文渊,&冯勇.(2019).基于svm的多项式循环程序秩函数生成.软件学报,30(7),1903. |
| MLA | 李轶,et al."基于svm的多项式循环程序秩函数生成".软件学报 30.7(2019):1903. |
入库方式： OAI收割
来源：重庆绿色智能技术研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。