SVM-based Method for Detecting Ranking Functions in Polynomial Loop Programs
文献类型：期刊论文
| 作者 | Li, Yi1 ; Cai, Tian-Xun3; Fan, Jian-Feng1,2; Wu, Wen-Yuan1; Feng, Yong1
|
| 刊名 | Ruan Jian Xue Bao/Journal of Software
 |
| 出版日期 | 2019 |
| 卷号 | 30期号:7页码:1903-1915 |
| ISSN号 | 10009825 |
| DOI | 10.13328/j.cnki.jos.005748 |
| 英文摘要 | 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. © Copyright 2019, Institute of Software, the Chinese Academy of Sciences. All rights reserved. |
| 语种 | 中文 |
| 源URL | [http://119.78.100.138/handle/2HOD01W0/9823]  |
| 专题 | 自动推理与认知研究中心 |
| 作者单位 | 1.Chongqing Key Laboratory of Automated Reasoning and Cognition, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences, Chongqing; 400714, China; 2.School of Computer and Control Engineering, University of Chinese Academy of Sciences, Beijing; 100093, China 3.Sagemcom Technologies Inc., Shenzhen; 518000, China; |
| 推荐引用方式 GB/T 7714 | Li, Yi,Cai, Tian-Xun,Fan, Jian-Feng,et al. SVM-based Method for Detecting Ranking Functions in Polynomial Loop Programs[J]. Ruan Jian Xue Bao/Journal of Software,2019,30(7):1903-1915. |
| APA | Li, Yi,Cai, Tian-Xun,Fan, Jian-Feng,Wu, Wen-Yuan,&Feng, Yong.(2019).SVM-based Method for Detecting Ranking Functions in Polynomial Loop Programs.Ruan Jian Xue Bao/Journal of Software,30(7),1903-1915. |
| MLA | Li, Yi,et al."SVM-based Method for Detecting Ranking Functions in Polynomial Loop Programs".Ruan Jian Xue Bao/Journal of Software 30.7(2019):1903-1915. |
入库方式： OAI收割
来源：重庆绿色智能技术研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。