中文版 | English

在结果中检索

CSpace
（本次检索基于用户作品认领结果）

浏览/检索结果: 共7条，第1-7条 帮助

限定条件                
已选(0)清除 条数/页：   排序方式：
SVM-based Method for Detecting Ranking Functions in Polynomial Loop Programs 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2019, 卷号: 30, 期号: 7, 页码: 1903-1915
作者:  Li, Yi;  Cai, Tian-Xun;  Fan, Jian-Feng;  Wu, Wen-Yuan;  Feng, Yong
收藏  |  浏览/下载：259/0  |  提交时间：2020/02/18
一类有界闭连通域上的循环程序终止性判断方法 专利
专利类型: 发明专利, 专利号: 2015101811056, 申请日期: 2015-04-16,
发明人:  李轶;  杨文强;  李传璨;  朱广;  吴文渊;  冯勇
Adobe PDF(860Kb)  |  收藏  |  浏览/下载：156/0  |  提交时间：2018/03/16
一种模糊C均值聚类小数据量识别混沌的方法 专利
专利类型: 发明专利, 专利号: 2014103816191, 申请日期: 2014-08-05,
发明人:  周双;  冯勇;  吴文渊;  杨文强
Adobe PDF(1853Kb)  |  收藏  |  浏览/下载：138/0  |  提交时间：2018/03/16
有界闭域上的线性赋值循环终止性分析 期刊论文
软件学报, 2014, 卷号: 25, 期号: 6, 页码: 1133-1142
作者:  李轶;  吴文渊;  冯勇
Adobe PDF(738Kb)  |  收藏  |  浏览/下载：67/0  |  提交时间：2018/03/16
微分代数系统中分块快速指标约简的启发式算法 期刊论文
四川大学学报. 工程科学版, 2014, 卷号: 46, 期号: 4, 页码: 67-74
作者:  唐卷;  杨文强;  吴文渊;  冯勇
Adobe PDF(537Kb)  |  收藏  |  浏览/下载：74/0  |  提交时间：2018/03/16
Termination analysis of loops with linear assignment over closed and bounded domains 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2014, 卷号: 25, 期号: 6, 页码: 1133-1142
作者:  Li, Yi;  Wu, Wen-Yuan;  Feng, Yong
收藏  |  浏览/下载：36/0  |  提交时间：2018/03/16
一类非线性方程组奇异解的计算方法及其应用 期刊论文
计算机应用, 2013, 卷号: 33, 期号: 1, 页码: 230-233
作者:  季振义;  吴文渊;  冯勇
Adobe PDF(881Kb)  |  收藏  |  浏览/下载：66/0  |  提交时间：2018/03/16