基本信息
吴文渊  男  博导  中国科学院重庆绿色智能技术研究院
电子邮件: wuwenyuan@cigit.ac.cn
通信地址: 重庆市北碚区方正大道266号
邮政编码:

招生信息

   
招生专业
081202-计算机软件与理论
招生方向
数值符号计算,密码学
人工智能,自动推理

教育背景

2003-09--2007-08   加拿大西安大略大学   应用数学博士
1999-09--2002-07   中科院研究生院(成都计算机应用研究所)   计算机科学硕士
1997-09--1999-07   北京大学   经济学学士
1995-09--1999-07   北京大学   数学理学学士

工作经历

   
工作简历
2017-01~现在, 中科院重庆绿色智能技术研究院, 研究员
2011-10~2016-12,中科院重庆绿色智能技术研究院, 副研究员
2010-08~2011-10,电子科技大学, 副教授
2008-09~2010-08,美国密西根州立大学, 博士后
2007-09~2008-08,西安大略大学, 博士后

教授课程

计算机代数

专利与奖励

   
奖励信息
(1) 国家优秀自费留学生奖, , 国家级, 2006
(2) General Membership of IMA, , 国家级, 2006
(3) Western Graduate Thesis Research Award, , 研究所(学校), 2006
(4) ACM 最佳学生论文奖, , 专项, 2005
(5) 最佳poster奖, , 其他, 2005
(6) PhD Entrance Research Award, , 研究所(学校), 2004
专利成果
[1] 陈经纬, 杨文强, 吴文渊, 冯勇. 基于同态加密的无交互朴素贝叶斯分类方法. CN202111335853.7, 2022-02-11.

[2] 吴文渊, 钱心缘, 杨文强. 一种基于格与基本访问树的CP-ABE方法. CN: CN112291053A, 2021-01-29.

[3] 吴文渊, 钱心缘, 杨文强. 一种基于格的压缩分块IBE加密装置及方法. CN: [[[CN111698081A]]], [[["2020-09-22"]]].

[4] 吴文渊, 郑嘉彤, 杨文强. 一种基于模容错学习问题的双向可否认加密方法. CN: CN110266479A, 2019-09-20.

[5] 吴文渊, 郑嘉彤, 杨文强. 一种基于容错学习问题的发送方可否认加密方法. CN: CN109450635A, 2019-03-08.

[6] 李轶, 樊建峰, 吴文渊. 一种基于区块链管理的基站动环信息监控技术. CN: CN109547408A, 2019-03-29.

[7] 李轶, 樊建峰, 吴文渊. 一种基于区块链管理的基站动环信息监控方法. CN: CN109547408B, 2020-11-20.

[8] 吴文渊, 柯程松, 杨文强. 一种基于模容错学习问题的同态內积方法. CN: CN108923907A, 2018-11-30.

[9] 吴文渊, 柯程松, 杨文强. 一种基于模容错学习问题的同态内积方法. CN: CN108923907B, 2021-01-29.

[10] 吴文渊, 柯程松, 陈经纬, 杨文强. 多项式点表示的低膨胀率的抗量子攻击的文件加解密方法. CN: CN107682140A, 2018-02-09.

[11] 李轶, 杨文强, 李传璨, 朱广, 吴文渊, 冯勇. 一类有界闭连通域上的循环程序终止性判断方法. CN: CN104750613A, 2015-07-01.

[12] 陈长波, 李文康, 吴文渊, 杨文强. 一种用于3D打印中CLI文件错误检查的方法. CN: CN104751476A, 2015-07-01.

[13] 杨文强, 吴文渊, 刘江, 陈经纬. 一种基于三边定位的自动闸机控制系统及其控制方法. CN: CN104200552A, 2014-12-10.

[14] 周双, 冯勇, 吴文渊, 杨文强. 一种模糊C均值聚类小数据量识别混沌的方法. CN: CN104156768A, 2014-11-19.

[15] 高御尧, 石明全, 张鹏, 吴文渊, 李轶, 杨文强, 王正江. 一种公交线路OD矩阵的代数组合预测方法. CN: CN116415735A, 2023-07-11.

[16] 吴文渊, 吕由, 杨文强. 一种基于同态加密的隐私保护岭回归方法. CN: CN115150055A, 2022-10-04.

[17] 吴文渊, 郭春彤, 杨文强. 一种基于MLWE和MSIS的可验证解密方法. CN: CN115150094A, 2022-10-04.

[18] 吴文渊, 钱心缘, 杨文强. 一种基于格的压缩分块IBE加密装置及方法. CN: CN111698081B, 2023-05-02.

[19] 李轶, 樊建峰, 吴文渊. 一种基于区块链管理的基站动环信息监控技术. CN: CN109547408A, 2019-03-29.

出版信息

   
发表论文
[1] 吕由, 吴文渊. 两方参与的隐私保护岭回归方案与应用. 密码学报[J]. 2023, 10(2): 276-288, [2] 陆星缘, 陈经纬, 冯勇, 吴文渊. 基于同态加密的隐私保护数据分类协议. 计算机科学[J]. 2023, 50(8): 321-332, http://lib.cqvip.com/Qikan/Article/Detail?id=7110154854.
[3] 吕由, 吴文渊. 隐私保护线性回归方案与应用. 计算机科学[J]. 2022, 49(9): 318-325, http://lib.cqvip.com/Qikan/Article/Detail?id=7107990821.
[4] 吕由, 吴文渊. 基于同态加密的线性系统求解方案. 计算机科学[J]. 2022, 49(3): 338-345, http://lib.cqvip.com/Qikan/Article/Detail?id=7106717154.
[5] 杨文强, 吴文渊, 陈经纬, 冯勇. 仿真系统中DAE求解技术现状. 包装工程[J]. 2022, 43(8): 18-27, http://lib.cqvip.com/Qikan/Article/Detail?id=7107008545.
[6] 陈经纬, 冯勇, 刘洋, 吴文渊, 杨观赐. Non-interactive privacy-preserving naive Bayes classifier using homomorphic encryption. Proc. SPNCE '21null. 2022, [7] Wang, Shijie, Wu, Wenyuan, Lu, Junjie, She, Zhikun. Inner-approximating domains of attraction for discrete-time switched systems via Multi-step multiple Lyapunov-like functions. NONLINEAR ANALYSIS-HYBRID SYSTEMS[J]. 2021, 40: http://dx.doi.org/10.1016/j.nahs.2020.100993.
[8] Shen, Liyong, Wu, Wenyuan. Foreword to the Special Topic. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2021, 34(1): 1-2, https://www.webofscience.com/wos/woscc/full-record/WOS:000614434900001.
[9] 郑嘉彤, 吴文渊. 基于MLWE的双向可否认加密方案. 计算机科学[J]. 2021, 48(3): 307-312, http://lib.cqvip.com/Qikan/Article/Detail?id=7103984880.
[10] 钱心缘, 吴文渊. 基于R-SIS和R-LWE构建的IBE加密方案. 计算机科学[J]. 2021, 48(6): 315-323, http://lib.cqvip.com/Qikan/Article/Detail?id=7104825458.
[11] 冯勇, 陈经纬, 吴文渊. 零误差计算. 中国科学:数学[J]. 2021, 51(1): 3-16, [12] 吴文渊, 郑嘉彤, 冯勇. 基于LWE问题的发送方可否认公钥加密方案. 工程科学与技术[J]. 2020, 52(2): 192-, http://lib.cqvip.com/Qikan/Article/Detail?id=7101131303.
[13] Bai, Yanan, Shi, Xiaoyu, Wu, Wenyuan, Chen, Jingwei, Feng, Yong. seIMC: A GSW-Based Secure and Efficient Integer Matrix Computation Scheme With Implementation. IEEE ACCESS[J]. 2020, 8: 98383-98394, https://doaj.org/article/f86efe3eadca43a1a934916a9004bd41.
[14] Chen, Changbo, Wu, Wenyuan, Feng, Yong. Numerical roadmap of smooth bounded real algebraic surface. COMPUTER AIDED GEOMETRIC DESIGN[J]. 2020, 79: http://dx.doi.org/10.1016/j.cagd.2020.101858.
[15] Chen, Changbo, Wu, Wenyuan, Feng, Yong. Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2020, 33(4): 1252-1274, http://lib.cqvip.com/Qikan/Article/Detail?id=00002EOFK7407JP0MPDO5JP0MNR.
[16] Li, Yi, Wu, Wenyuan, Feng, Yong. On ranking functions for single-path linear-constraint loops. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER[J]. 2020, 22(6): 655-666, https://www.webofscience.com/wos/woscc/full-record/WOS:000496208800001.
[17] 刘洋, 陈经纬, 冯勇, 吴文渊. 并行LLL算法研究综述. 计算机工程与应用[J]. 2019, 55(16): 36-41, http://lib.cqvip.com/Qikan/Article/Detail?id=7002667888.
[18] Feng, Yong, Chen, Jingwei, Wu, Wenyuan. THE PSLQ ALGORITHM FOR EMPIRICAL DATA. MATHEMATICS OF COMPUTATION[J]. 2019, 88(317): 1479-1501, http://119.78.100.138/handle/2HOD01W0/7314.
[19] 汪维华, 张景中, 吴文渊. 改进的形态学与Otsu相结合的视网膜血管分割. 计算机应用研究[J]. 2019, 36(7): 2228-2231, http://lib.cqvip.com/Qikan/Article/Detail?id=7002312537.
[20] 李轶, 蔡天训, 樊建峰, 吴文渊, 冯勇. 基于SVM的多项式循环程序秩函数生成. 软件学报[J]. 2019, 30(7): 1903-1915, http://lib.cqvip.com/Qikan/Article/Detail?id=7002464565.
[21] 柯程松, 吴文渊, 冯勇. 基于MLWE的低膨胀率加密算法. 计算机科学[J]. 2019, 46(4): 144-150, http://lib.cqvip.com/Qikan/Article/Detail?id=7001624811.
[22] 樊建峰, 李轶, 吴文渊, 冯勇. 基于双区块链的基站动环信息监控系统. 计算机科学[J]. 2019, 46(12): 155-, https://kns.cnki.net/KCMS/detail/detail.aspx?dbcode=CJFQ&dbname=CJFDLAST2020&filename=JSJA201912024&v=MDA0MTlMTHo3QmI3RzRIOWpOclk5SFlJUjhlWDFMdXhZUzdEaDFUM3FUcldNMUZyQ1VSN3FlWitkdkZpbm1VN3Y=.
[23] Wu Wenyuan, Xia Bican, Wang Yu. Early ending in homotopy path-tracking for real roots. 13TH INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, AISC 2018null. 2018, 181-194, http://119.78.100.138/handle/2HOD01W0/7975.
[24] Wang, Weihua, Zhang, Jingzhong, Wu, Wenyuan, Zhou, Shuang. An Automatic Approach for Retinal Vessel Segmentation by Multi-Scale Morphology and Seed Point Tracking. JOURNAL OF MEDICAL IMAGING AND HEALTH INFORMATICS[J]. 2018, 8(2): 262-274, https://www.webofscience.com/wos/woscc/full-record/WOS:000423786700015.
[25] 李轶, 蔡天训, 吴文渊. 基于k阶秩函数的线性赋值循环程序的终止性分析. 计算机科学[J]. 2018, 45(6): 151-155, http://lib.cqvip.com/Qikan/Article/Detail?id=676176291.
[26] Wang, Weihua, Wang, Weiqing, Wu, Wenyuan, Zhang, Jingzhong. Multi-Window Local Region Contrast Adjustment and Region Growing for Retinal Vessel Segmentation. JOURNAL OF MEDICAL IMAGING AND HEALTH INFORMATICS[J]. 2018, 8(8): 1554-1565, https://www.webofscience.com/wos/woscc/full-record/WOS:000449743300003.
[27] Chen Changbo, Wu Wenyuan, Fleuriot J, Wang D, Calmet J. Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically. ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION (AISC 2018)null. 2018, 11110: 170-180, [28] Changbo Chen, Wenyuan Wu. Revealing bistability in neurological disorder models by solving parametric polynomial systems geometrically. 13TH INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, AISC 2018null. 2018, 170-180, http://119.78.100.138/handle/2HOD01W0/7979.
[29] 陈长波, 吴文渊. A Continuation Method for Visualizing Planar Real Algebraic Curves withÂSingularities. 20TH INTERNATIONAL WORKSHOP ON COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2018null. 2018, 99-115, http://119.78.100.138/handle/2HOD01W0/7981.
[30] Wang Yu, Wu Wenyuan, Xia Bican. A Special Homotopy Continuation Method for a Class of Polynomial Systems. 19TH INTERNATIONAL WORKSHOP ON COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2017null. 2017, 362-376, http://www.chinair.org.cn/handle/1471x/1660802.
[31] Changbo Chen, Wenyuan Wu, Yong Feng. Full Rank Representation of Real Algebraic Sets and Applications. 19TH INTERNATIONAL WORKSHOP ON COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2017null. 2017, 51-65, http://www.chinair.org.cn/handle/1471x/1659915.
[32] Wu, Wenyuan, Reid, Greg, Feng, Yong. Computing real witness points of positive dimensional polynomial systems. THEORETICAL COMPUTER SCIENCE[J]. 2017, 681: 217-231, http://dx.doi.org/10.1016/j.tcs.2017.03.035.
[33] Wu, Wenyuan, Chen, Changbo, Reid, Greg. Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems. COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2017null. 2017, 10490: 377-391, [34] Chen Jingwei, Feng Yong, Liu Yang, Wu Wenyuan. Faster binary arithmetic operations on encrypted integers. 2017 7TH INTERNATIONAL WORKSHOP ON COMPUTER SCIENCE AND ENGINEERING, WCSE 2017null. 2017, 956-960, http://www.chinair.org.cn/handle/1471x/1660804.
[35] Wu, Wenyuan, Zeng, Zhonggang. The Numerical Factorization of Polynomials. FOUNDATIONS OF COMPUTATIONAL MATHEMATICS[J]. 2017, 17(1): 259-286, https://www.webofscience.com/wos/woscc/full-record/WOS:000393669300008.
[36] 朱广, 李轶, 吴文渊. 计算最终线性秩函数的新方法. 计算机科学[J]. 2017, 44(1): 194-198,213, http://lib.cqvip.com/Qikan/Article/Detail?id=671087372.
[37] Chen, Changbo, Wu, Wenyuan, Feng, Yong. Full Rank Representation of Real Algebraic Sets and Applications. COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2017null. 2017, 10490: 51-65, [38] Zhu Guang, Li Yi, Wu Wenyuan, Xu B. Eventual Linear Ranking Functions for Multi-path Linear Loops. 2016 IEEE INFORMATION TECHNOLOGY, NETWORKING, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (ITNEC)null. 2016, 331-337, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000389505000070.
[39] Wu Wenyuan, Feng Yong, Ji Zhenyi, Li Yi, Qin Xiao Lin, 秦小林. Numerical method for real root isolation of semi-algebraic system and its applications. JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE[J]. 2016, 13(1): 803-811, [40] Chen Jingwei, Liu Yang, Tang Bing, Wu Wenyuan, 冯勇. Sparse non-negative matrix factorization with generalized kullback-leibler divergence. 17TH INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING, IDEAL 2016null. 2016, 353-360, http://www.chinair.org.cn/handle/1471x/1660801.
[41] Zhou Shuang, Feng Yong, Wu WenYuan, Wang WeiHua. A novel method based on the fuzzy C-means clustering to calculate the maximal Lyapunov exponent from small data. ACTA PHYSICA SINICA[J]. 2016, 65(2): https://www.webofscience.com/wos/woscc/full-record/WOS:000370942000006.
[42] Wu Wenyuan, Chen Changbo. A numerical method for analyzing the stability of Bi-parametric biological systems. 18TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING, SYNASC 2016null. 2016, 91-98, http://www.chinair.org.cn/handle/1471x/1660817.
[43] Chen, Changbo, Wu, Wenyuan. A numerical method for computing border curves of bi-parametric real polynomial systems and applications. 18TH INTERNATIONAL WORKSHOP ON COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2016null. 2016, 156-171, http://www.chinair.org.cn/handle/1471x/1660815.
[44] Zhou Shuang, Feng Yong, Wu WenYuan. A novel method to identify the scaling region of correlation dimension. ACTA PHYSICA SINICA[J]. 2015, 64(13): http://dx.doi.org/10.7498/aps.64.130504.
[45] 李轶, 李传璨, 吴文渊. 多分支单变量循环程序的终止性分析. 软件学报[J]. 2015, 26(2): 297-304, http://lib.cqvip.com/Qikan/Article/Detail?id=663638146.
[46] Zhou Shuang, Feng Yong, Wu WenYuan. A novel method to identify the scaling region of correlation dimension. ACTA PHYSICA SINICA[J]. 2015, 64(13): https://www.webofscience.com/wos/woscc/full-record/WOS:000357674600004.
[47] Li Yi, Li ChuanCan, Wu WenYuan. Termination analysis of multipath loop programs with one variable. RUAN JIAN XUE BAO/JOURNAL OF SOFTWARE[J]. 2015, 26(2): 297-304, http://www.chinair.org.cn/handle/1471x/1660800.
[48] Zhou Shuang, Feng Yong, Wu WenYuan. Chaos and fractal properties of solar activity phenomena at the high and low latitudes. ACTA PHYSICA SINICA[J]. 2015, 64(24): https://www.webofscience.com/wos/woscc/full-record/WOS:000368828600055.
[49] 李文康, 陈长波, 吴文渊. 有效保留模型特征的自适应分层算法. 计算机应用[J]. 2015, 35(8): 2295-2300, http://lib.cqvip.com/Qikan/Article/Detail?id=665663328.
[50] Ji, Zhenyi, Liu, Zijian, Wu, Wenyuan, Feng, Yong, Li, Yi. Numerical Method for Computing the Stable Equilibrium of High Dimensional Predator Prey System. JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE[J]. 2014, 11(9): 1942-1946, https://www.webofscience.com/wos/woscc/full-record/WOS:000338426800011.
[51] Zhou, Shuang, Feng, Yong, Wu, WenYuan, Li, Yi, Liu, Jiang. Low-dimensional chaos and fractal properties of long-term sunspot activity. RESEARCH IN ASTRONOMY AND ASTROPHYSICS[J]. 2014, 14(1): 104-112, https://www.webofscience.com/wos/woscc/full-record/WOS:000330160200009.
[52] 唐卷, 杨文强, 吴文渊, 冯勇. 微分代数系统中分块快速指标约简的启发式算法. 四川大学学报:工程科学版[J]. 2014, 67-74, http://lib.cqvip.com/Qikan/Article/Detail?id=83677672504849524852484949.
[53] Wu Wenyuan, Feng Yong, Reid Greg. Numerical and geometric properties of a method for finding points on real solution components. 2014 SYMPOSIUM ON SYMBOLIC-NUMERIC COMPUTATION, SNC 2014null. 2014, 111-117, http://www.chinair.org.cn/handle/1471x/1659927.
[54] Li Yi, Feng Yong, Wu WenYuan. Termination analysis of loops with linear assignment over closed and bounded domains. RUAN JIAN XUE BAO/JOURNAL OF SOFTWARE[J]. 2014, 25(6): 1133-1142, http://www.chinair.org.cn/handle/1471x/1659876.
[55] Wu WenYuan, Chen JingWei, Feng Yong. Sparse bivariate polynomial factorization. SCIENCE CHINA-MATHEMATICS[J]. 2014, 57(10): 2123-2142, https://www.webofscience.com/wos/woscc/full-record/WOS:000340568900010.
[56] 李轶, 吴文渊, 冯勇. 有界闭域上的线性赋值循环终止性分析. 软件学报[J]. 2014, 25(6): 1133-1142, http://lib.cqvip.com/Qikan/Article/Detail?id=49761051.
[57] Li, Yi, Li, Chuancan, Wu, Wenyuan, Feng, Yong, IEEE. Termination of Two Variable Homogeneous Linear Loops. 2013 SIXTH INTERNATIONAL CONFERENCE ON BUSINESS INTELLIGENCE AND FINANCIAL ENGINEERING (BIFE)null. 2014, 10-13, [58] Wu Wenyuan, Chen Jingwei, Feng Yong. An efficient algorithm to factorize sparse bivariate polynomials over the rationals. 2013, 125-126, http://www.chinair.org.cn/handle/1471x/1659918.
[59] Ji, Zhenyi, Wu, Wenyuan, Feng, Yong, Zhang, Guofeng. Constructing the Lyapunov Function through Solving Positive Dimensional Polynomial System. JOURNAL OF APPLIED MATHEMATICS[J]. 2013, 2013: https://doaj.org/article/7024d00d246c495182fe5d7cbe64b3e7.
发表著作
(1) Approximate Commutative Algebra, Geometric Involutive Bases and their Applications to the Numerical Computation of Groebner Bases, Springer, 2010-05, 第 3 作者
(2) Approximate Commutative Algebra, Towards Geometric Completion of Differential Systems by Points, Springer, 2010-05, 第 1 作者

科研活动

   
科研项目
( 1 ) 基于同伦方法的代数方程并行计算的理论、实现及其应用, 主持, 国家级, 2011-01--2013-12
( 2 ) 基于同伦方法的复杂工业产品MBD建模优化平台开发, 主持, 国家级, 2012-01--2014-12
( 3 ) 基于数值方法的有理数域上准确多元多项式因式分解, 参与, 国家级, 2012-01--2015-12
( 4 ) 基于计算机推理的多领域统一工业模型技术, 参与, 省级, 2012-01--2014-12
( 5 ) 零误差算法在欧几里得格和密码学中的应用, 参与, 省级, 2014-11--2017-12
( 6 ) 微分代数方程中的误差可控计算理论与算法, 主持, 国家级, 2015-01--2018-12
( 7 ) 实代数方程中的零误差计算理论及其应用, 主持, 部委级, 2016-10--2021-09
参与会议
(1)Finding points on real solution components and applications to differential polynomial systems   Wenyuan Wu, Greg Reid   2013-06-28
(2)On Sparse Bivariate Polynomial Factorization   第四届全国计算机数学学术会议   Wenyuan Wu, JingWei Chen, Yong Feng   2011-11-25
(3)Bivariate Polynomial Factorization Based on Homotopy Continuation Methods    第三届全国计算机数学学术会议   Yong Feng, Wenyuan Wu, Jingzhong Zhang   2010-10-19
(4)F,G,H,I Bases for Polynomial Rings and their Relations   Wenyuan Wu   2009-01-03
(5)Symbolic-numeric computation of implicit Riquier bases for PDE   Wenyuan Wu, Greg Reid   2007-07-10

指导学生

已指导学生

王永恒  硕士研究生  085210-控制工程