中文版 | English

在结果中检索

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

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

限定条件        
已选(0)清除 条数/页：   排序方式：
基于svm的多项式循环程序秩函数生成 期刊论文
软件学报, 2019, 卷号: 30, 期号: 7, 页码: 1903
作者:  李轶;  蔡天训;  樊建峰;  吴文渊;  冯勇
收藏  |  浏览/下载：305/0  |  提交时间：2019/12/03
基于k阶秩函数的线性赋值循环程序的终止性分析 期刊论文
计算机科学, 2018, 卷号: 045, 期号: 006, 页码: 151
作者:  李轶;  蔡天训;  吴文渊
收藏  |  浏览/下载：116/0  |  提交时间：2019/12/03
一类有界闭连通域上的循环程序终止性判断方法 专利
专利类型: 发明专利, 专利号: 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
计算最终线性秩函数的新方法 期刊论文
计算机科学, 2017, 卷号: 044, 期号: 001, 页码: 194
作者:  朱广;  李轶;  吴文渊
收藏  |  浏览/下载：90/0  |  提交时间：2019/12/03
Chaos and fractal properties of solar activity phenomena at the high and low latitudes 期刊论文
ACTA PHYSICA SINICA, 2015, 卷号: 64, 期号: 24, 页码: 10
作者:  Zhou Shuang;  Feng Yong;  Wu Wen-Yuan
Adobe PDF(800Kb)  |  收藏  |  浏览/下载：110/0  |  提交时间：2018/03/15
polar faculae  sunspot numbers  recurrence plot  correlation dimension  
基于HElib的并行多比特明文同态比较模型 期刊论文
计算机应用, 2015, 期号: S2, 页码: 53-56+69
作者:  孙爽;  吴文渊;  王会勇
Adobe PDF(326Kb)  |  收藏  |  浏览/下载：85/0  |  提交时间：2018/03/16
同态加密  BGV  单指令多数据流  明文槽  HElib  
有效保留模型特征的自适应分层算法 期刊论文
计算机应用, 2015, 卷号: 35, 期号: 8, 页码: 2295-2300
作者:  李文康;  陈长波;  吴文渊
Adobe PDF(1277Kb)  |  收藏  |  浏览/下载：88/0  |  提交时间：2018/03/16
Termination analysis of multipath loop programs with one variable 期刊论文
Ruan Jian Xue Bao/Journal of Software, 2015, 卷号: 26, 期号: 2, 页码: 297-304
作者:  Li, Yi;  Li, Chuan-Can;  Wu, Wen-Yuan
Adobe PDF(731Kb)  |  收藏  |  浏览/下载：49/0  |  提交时间：2018/03/16
有界闭域上的线性赋值循环终止性分析 期刊论文
软件学报, 2014, 卷号: 25, 期号: 6, 页码: 1133-1142
作者:  李轶;  吴文渊;  冯勇
Adobe PDF(738Kb)  |  收藏  |  浏览/下载：67/0  |  提交时间：2018/03/16