基本信息
吴文渊  男  博导  中国科学院重庆绿色智能技术研究院
电子邮件: 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] 吴文渊, 郑嘉彤, 杨文强. 一种基于容错学习问题的发送方可否认加密方法. CN: CN109450635B, 2021-11-26.

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

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

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

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

[8] 陈长波, 李文康, 吴文渊, 杨文强. 一种用于3D打印中CLI文件错误检查的方法. CN: CN104751476B, 2017-10-31.

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

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

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

出版信息

   
发表论文
[1] 吕由, 吴文渊. 基于同态加密的线性系统求解方案. 计算机科学. 2022, 49(3): 338-345, [2] 陈经纬, 冯勇, 刘洋, 吴文渊, 杨观赐. Non-interactive privacy-preserving naive Bayes classifier using homomorphic encryption. Proc. SPNCE '21null. 2022, [3] Shen, Liyong, Wu, Wenyuan. Foreword to the Special Topic. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITYnull. 2021, 34(1): 1-2, https://www.webofscience.com/wos/woscc/full-record/WOS:000614434900001.
[4] 郑嘉彤, 吴文渊. 基于MLWE的双向可否认加密方案. 计算机科学. 2021, 48(3): 307-312, http://lib.cqvip.com/Qikan/Article/Detail?id=7103984880.
[5] 冯勇, 陈经纬, 吴文渊. 零误差计算. 中国科学:数学[J]. 2021, 51(1): 3-16, [6] 吴文渊, 郑嘉彤, 冯勇. 基于LWE问题的发送方可否认公钥加密方案. 工程科学与技术[J]. 2020, 52(2): 192-199, http://lib.cqvip.com/Qikan/Article/Detail?id=7101131303.
[7] 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.
[8] 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.
[9] 刘洋, 陈经纬, 冯勇, 吴文渊. 并行LLL算法研究综述. 计算机工程与应用[J]. 2019, 55(16): 36-41, http://lib.cqvip.com/Qikan/Article/Detail?id=7002667888.
[10] 汪维华, 张景中, 吴文渊. 改进的形态学与Otsu相结合的视网膜血管分割. 计算机应用研究[J]. 2019, 36(7): 2228-2231, http://lib.cqvip.com/Qikan/Article/Detail?id=7002312537.
[11] 李轶, 蔡天训, 樊建峰, 吴文渊, 冯勇. 基于SVM的多项式循环程序秩函数生成. 软件学报[J]. 2019, 30(7): 1903-1915, [12] 柯程松, 吴文渊, 冯勇. 基于MLWE的低膨胀率加密算法. 计算机科学[J]. 2019, 46(4): 144-150, http://lib.cqvip.com/Qikan/Article/Detail?id=7001624811.
[13] 樊建峰, 李轶, 吴文渊, 冯勇. 基于双区块链的基站动环信息监控系统. 计算机科学[J]. 2019, 46(12): 155-164, http://lib.cqvip.com/Qikan/Article/Detail?id=7100518301.
[14] 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.
[15] 李轶, 蔡天训, 吴文渊. 基于k阶秩函数的线性赋值循环程序的终止性分析. 计算机科学[J]. 2018, 45(6): 151-155, http://lib.cqvip.com/Qikan/Article/Detail?id=676176291.
[16] 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.
[17] Chen Changbo, Wu Wenyuan. 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.
[18] Chen Changbo, Wu Wenyuan, Feng Yong. 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.
[19] 朱广, 李轶, 吴文渊. 计算最终线性秩函数的新方法. 计算机科学[J]. 2017, 44(1): 194-198,213, http://lib.cqvip.com/Qikan/Article/Detail?id=671087372.
[20] 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.
[21] 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.
[22] 李轶, 李传璨, 吴文渊. 多分支单变量循环程序的终止性分析. 软件学报[J]. 2015, 26(2): 297-304, http://lib.cqvip.com/Qikan/Article/Detail?id=663638146.
[23] 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.
[24] 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.
[25] 李文康, 吴文渊, 陈长波. 有效保留模型特征的自适应分层算法. 计算机应用[J]. 2015, 35(8): 2295-2300, http://lib.cqvip.com/Qikan/Article/Detail?id=665663328.
[26] 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.
[27] 唐卷, 杨文强, 吴文渊, 冯勇. 微分代数系统中分块快速指标约简的启发式算法. 四川大学学报:工程科学版[J]. 2014, 67-74, http://lib.cqvip.com/Qikan/Article/Detail?id=83677672504849524852484949.
[28] 李轶, 吴文渊, 冯勇. 有界闭域上的线性赋值循环终止性分析. 软件学报[J]. 2014, 25(6): 1133-1142, http://lib.cqvip.com/Qikan/Article/Detail?id=49761051.
发表著作
(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-控制工程