基本信息
吴文渊  男  博导  中国科学院重庆绿色智能技术研究院
电子邮件: 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] 吴文渊, 钱心缘, 杨文强. 一种基于格的压缩分块IBE加密装置及方法. CN: [[[CN111698081A]]], [[["2020-09-22"]]].

[2] 陈经纬, 杨文强, 吴文渊, 冯勇. 基于同态加密的无交互朴素贝叶斯分类方法. CN202111335853.7, 2022-02-11.

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

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

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

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

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

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

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

[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.

出版信息

   
发表论文
[1] 吕由, 吴文渊. 两方参与的隐私保护岭回归方案与应用. 密码学报[J]. 2023, 10(2): 276-288, [2] 吕由, 吴文渊. 隐私保护线性回归方案与应用. 计算机科学[J]. 2022, 49(9): 318-325, http://lib.cqvip.com/Qikan/Article/Detail?id=7107990821.
[3] 吕由, 吴文渊. 基于同态加密的线性系统求解方案. 计算机科学[J]. 2022, 49(3): 338-345, http://lib.cqvip.com/Qikan/Article/Detail?id=7106717154.
[4] 杨文强, 吴文渊, 陈经纬, 冯勇. 仿真系统中DAE求解技术现状. 包装工程[J]. 2022, 43(8): 18-27, http://lib.cqvip.com/Qikan/Article/Detail?id=7107008545.
[5] 陈经纬, 冯勇, 刘洋, 吴文渊, 杨观赐. Non-interactive privacy-preserving naive Bayes classifier using homomorphic encryption. Proc. SPNCE '21null. 2022, [6] 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.
[7] 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.
[8] 郑嘉彤, 吴文渊. 基于MLWE的双向可否认加密方案. 计算机科学[J]. 2021, 48(3): 307-312, http://lib.cqvip.com/Qikan/Article/Detail?id=7103984880.
[9] 钱心缘, 吴文渊. 基于R-SIS和R-LWE构建的IBE加密方案. 计算机科学[J]. 2021, 48(6): 315-323, http://lib.cqvip.com/Qikan/Article/Detail?id=7104825458.
[10] 冯勇, 陈经纬, 吴文渊. 零误差计算. 中国科学:数学[J]. 2021, 51(1): 3-16, [11] 吴文渊, 郑嘉彤, 冯勇. 基于LWE问题的发送方可否认公钥加密方案. 工程科学与技术[J]. 2020, 52(2): 192-, http://lib.cqvip.com/Qikan/Article/Detail?id=7101131303.
[12] 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.
[13] 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.
[14] 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.
[15] 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.
[16] 刘洋, 陈经纬, 冯勇, 吴文渊. 并行LLL算法研究综述. 计算机工程与应用[J]. 2019, 55(16): 36-41, http://lib.cqvip.com/Qikan/Article/Detail?id=7002667888.
[17] 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.
[18] 汪维华, 张景中, 吴文渊. 改进的形态学与Otsu相结合的视网膜血管分割. 计算机应用研究[J]. 2019, 36(7): 2228-2231, http://lib.cqvip.com/Qikan/Article/Detail?id=7002312537.
[19] 李轶, 蔡天训, 樊建峰, 吴文渊, 冯勇. 基于SVM的多项式循环程序秩函数生成. 软件学报[J]. 2019, 30(7): 1903-1915, http://lib.cqvip.com/Qikan/Article/Detail?id=7002464565.
[20] 柯程松, 吴文渊, 冯勇. 基于MLWE的低膨胀率加密算法. 计算机科学[J]. 2019, 46(4): 144-150, http://lib.cqvip.com/Qikan/Article/Detail?id=7001624811.
[21] 樊建峰, 李轶, 吴文渊, 冯勇. 基于双区块链的基站动环信息监控系统. 计算机科学[J]. 2019, 46(12): 155-, https://kns.cnki.net/KCMS/detail/detail.aspx?dbcode=CJFQ&dbname=CJFDLAST2020&filename=JSJA201912024&v=MDA0MTlMTHo3QmI3RzRIOWpOclk5SFlJUjhlWDFMdXhZUzdEaDFUM3FUcldNMUZyQ1VSN3FlWitkdkZpbm1VN3Y=.
[22] 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.
[23] 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.
[24] 李轶, 蔡天训, 吴文渊. 基于k阶秩函数的线性赋值循环程序的终止性分析. 计算机科学[J]. 2018, 45(6): 151-155, http://lib.cqvip.com/Qikan/Article/Detail?id=676176291.
[25] 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.
[26] 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.
[27] 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.
[28] 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.
[29] 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.
[30] 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.
[31] 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.
[32] 朱广, 李轶, 吴文渊. 计算最终线性秩函数的新方法. 计算机科学[J]. 2017, 44(1): 194-198,213, http://lib.cqvip.com/Qikan/Article/Detail?id=671087372.
[33] 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.
[34] 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, [35] 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.
[36] 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.
[37] 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.
[38] 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.
[39] 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.
[40] 李轶, 李传璨, 吴文渊. 多分支单变量循环程序的终止性分析. 软件学报[J]. 2015, 26(2): 297-304, http://lib.cqvip.com/Qikan/Article/Detail?id=663638146.
[41] 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.
[42] 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.
[43] 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.
[44] 李文康, 陈长波, 吴文渊. 有效保留模型特征的自适应分层算法. 计算机应用[J]. 2015, 35(8): 2295-2300, http://lib.cqvip.com/Qikan/Article/Detail?id=665663328.
[45] 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.
[46] 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.
[47] 唐卷, 杨文强, 吴文渊, 冯勇. 微分代数系统中分块快速指标约简的启发式算法. 四川大学学报:工程科学版[J]. 2014, 67-74, http://lib.cqvip.com/Qikan/Article/Detail?id=83677672504849524852484949.
[48] 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.
[49] 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.
[50] 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.
[51] 李轶, 吴文渊, 冯勇. 有界闭域上的线性赋值循环终止性分析. 软件学报[J]. 2014, 25(6): 1133-1142, http://lib.cqvip.com/Qikan/Article/Detail?id=49761051.
[52] 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, [53] 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.
[54] 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-控制工程