吴文渊-中国科学院大学-UCAS


本站和网页 http://people.ucas.ac.cn/~0020188 的作者无关,不对其内容负责。快照谨为网络故障时之索引,不代表被搜索网站的即时页面。

吴文渊-中国科学院大学-UCAS
[中文]
[English]
教育背景
工作经历
教授课程
专利与奖励
出版信息
科研活动
指导学生
基本信息
吴文渊 男 博导 中国科学院重庆绿色智能技术研究院电子邮件: 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)&nbsp国家优秀自费留学生奖,&nbsp,&nbsp国家级,&nbsp2006(2)&nbspGeneral Membership of IMA,&nbsp,&nbsp国家级,&nbsp2006(3)&nbspWestern Graduate Thesis Research Award,&nbsp,&nbsp研究所(学校),&nbsp2006(4)&nbspACM 最佳学生论文奖,&nbsp,&nbsp专项,&nbsp2005(5)&nbsp最佳poster奖,&nbsp,&nbsp其他,&nbsp2005(6)&nbspPhD Entrance Research Award,&nbsp,&nbsp研究所(学校),&nbsp2004
专利成果
[1] 吴文渊, 钱心缘, 杨文强. 一种基于格的压缩分块IBE加密装置及方法.&nbspCN:&nbsp[[[CN111698081A]]],&nbsp[[["2020-09-22"]]].[2] 陈经纬, 杨文强, 吴文渊, 冯勇. 基于同态加密的无交互朴素贝叶斯分类方法.&nbspCN202111335853.7,&nbsp2022-02-11.[3] 吴文渊, 柯程松, 杨文强. 一种基于模容错学习问题的同态内积方法.&nbspCN:&nbspCN108923907B,&nbsp2021-01-29.[4] 李轶, 樊建峰, 吴文渊. 一种基于区块链管理的基站动环信息监控方法.&nbspCN:&nbspCN109547408B,&nbsp2020-11-20.[5] 吴文渊, 郑嘉彤, 杨文强. 一种基于模容错学习问题的双向可否认加密方法.&nbspCN:&nbspCN110266479A,&nbsp2019-09-20.[6] 吴文渊, 郑嘉彤, 杨文强. 一种基于容错学习问题的发送方可否认加密方法.&nbspCN:&nbspCN109450635A,&nbsp2019-03-08.[7] 吴文渊, 柯程松, 陈经纬, 杨文强. 多项式点表示的低膨胀率的抗量子攻击的文件加解密方法.&nbspCN:&nbspCN107682140A,&nbsp2018-02-09.[8] 李轶, 杨文强, 李传璨, 朱广, 吴文渊, 冯勇. 一类有界闭连通域上的循环程序终止性判断方法.&nbspCN:&nbspCN104750613A,&nbsp2015-07-01.[9] 陈长波, 李文康, 吴文渊, 杨文强. 一种用于3D打印中CLI文件错误检查的方法.&nbspCN:&nbspCN104751476A,&nbsp2015-07-01.[10] 杨文强, 吴文渊, 刘江, 陈经纬. 一种基于三边定位的自动闸机控制系统及其控制方法.&nbspCN:&nbspCN104200552A,&nbsp2014-12-10.[11] 周双, 冯勇, 吴文渊, 杨文强. 一种模糊C均值聚类小数据量识别混沌的方法.&nbspCN:&nbspCN104156768A,&nbsp2014-11-19.
出版信息
发表论文
[1] 吕由, 吴文渊. 基于同态加密的线性系统求解方案. 计算机科学. 2022, 49(3):&nbsp338-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):&nbsp1-2, https://www.webofscience.com/wos/woscc/full-record/WOS:000614434900001.[4] 郑嘉彤, 吴文渊. 基于MLWE的双向可否认加密方案. 计算机科学. 2021, 48(3):&nbsp307-312, http://lib.cqvip.com/Qikan/Article/Detail?id=7103984880.[5] 冯勇, 陈经纬, 吴文渊. 零误差计算. 中国科学:数学[J]. 2021, 51(1):&nbsp3-16, [6] 吴文渊, 郑嘉彤, 冯勇. 基于LWE问题的发送方可否认公钥加密方案. 工程科学与技术[J]. 2020, 52(2):&nbsp192-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):&nbsp1252-1274, http://lib.cqvip.com/Qikan/Article/Detail?id=00002EOFK7407JP0MPDO5JP0MNR.[9] 刘洋, 陈经纬, 冯勇, 吴文渊. 并行LLL算法研究综述. 计算机工程与应用[J]. 2019, 55(16):&nbsp36-41, http://lib.cqvip.com/Qikan/Article/Detail?id=7002667888.[10] 汪维华, 张景中, 吴文渊. 改进的形态学与Otsu相结合的视网膜血管分割. 计算机应用研究[J]. 2019, 36(7):&nbsp2228-2231, http://lib.cqvip.com/Qikan/Article/Detail?id=7002312537.[11] 李轶, 蔡天训, 樊建峰, 吴文渊, 冯勇. 基于SVM的多项式循环程序秩函数生成. 软件学报[J]. 2019, 30(7):&nbsp1903-1915, [12] 柯程松, 吴文渊, 冯勇. 基于MLWE的低膨胀率加密算法. 计算机科学[J]. 2019, 46(4):&nbsp144-150, http://lib.cqvip.com/Qikan/Article/Detail?id=7001624811.[13] 樊建峰, 李轶, 吴文渊, 冯勇. 基于双区块链的基站动环信息监控系统. 计算机科学[J]. 2019, 46(12):&nbsp155-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):&nbsp262-274, https://www.webofscience.com/wos/woscc/full-record/WOS:000423786700015.[15] 李轶, 蔡天训, 吴文渊. 基于k阶秩函数的线性赋值循环程序的终止性分析. 计算机科学[J]. 2018, 45(6):&nbsp151-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):&nbsp1554-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):&nbsp194-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):&nbsphttps://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):&nbsphttps://www.webofscience.com/wos/woscc/full-record/WOS:000357674600004.[22] 李轶, 李传璨, 吴文渊. 多分支单变量循环程序的终止性分析. 软件学报[J]. 2015, 26(2):&nbsp297-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):&nbsphttps://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):&nbsphttps://www.webofscience.com/wos/woscc/full-record/WOS:000368828600055.[25] 李文康, 吴文渊, 陈长波. 有效保留模型特征的自适应分层算法. 计算机应用[J]. 2015, 35(8):&nbsp2295-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):&nbsp104-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):&nbsp1133-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 )&nbsp基于同伦方法的代数方程并行计算的理论、实现及其应用, 主持, 国家级, 2011-01--2013-12( 2 )&nbsp基于同伦方法的复杂工业产品MBD建模优化平台开发, 主持, 国家级, 2012-01--2014-12( 3 )&nbsp基于数值方法的有理数域上准确多元多项式因式分解, 参与, 国家级, 2012-01--2015-12( 4 )&nbsp基于计算机推理的多领域统一工业模型技术, 参与, 省级, 2012-01--2014-12( 5 )&nbsp零误差算法在欧几里得格和密码学中的应用, 参与, 省级, 2014-11--2017-12( 6 )&nbsp微分代数方程中的误差可控计算理论与算法, 主持, 国家级, 2015-01--2018-12( 7 )&nbsp实代数方程中的零误差计算理论及其应用, 主持, 部委级, 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-控制工程
2013 中国科学院大学,网络信息中心.