研究成果

近五年学术著作、专利、发表论文以及开发的软件。

专利

[1] 杨文强,吴文渊,刘江,陈经纬.一种基于三边定位的自动闸机控制方法.中国专利, 2016.专利号: ZL2014 10447404.5.

[2] 李轶,杨文强,李传璨,朱广,吴文渊,冯勇. 一类有界闭连通域上的循环程序终止性判断方法. 专利:中国, 2015. 申请号:201510181105.6.

[3] 李轶,朱广,杨文强. 一种用于符号线性系统的快速高斯约当消去方法. 专利:中国, 2015. 申请号:201510362146.5.

[4] 陈长波,李文康,杨文强. 一种保留模型特征的 3D 打印自适应切片方法. 专利:中国, 2015. 申请号:201510108708.3.

[5] 陈长波,李文康,吴文渊,杨文强. 一种用于 3D 打印中 CLI 文件错误检查的方法. 专利:中国, 2015. 申请号:201510181569.7.

[6] 刘江,王玉金,杨文强,张矩. 基于高阶矩匹配的无迹卡尔曼滤波器的多项式方法. 专利, 2014. 申请号:201410219994.

[7] 刘江,杨文强,王玉金,张矩. 一种高阶矩匹配的多层无迹卡尔曼滤波器的线性扩展方法. 专利, 2014. 申请号:201410263570.X

[8] 杨文强,吴文渊,刘江,陈经纬. 一种基于三边定位的自动闸机控制系统及其控制方法. 专利, 2014. 申请号:201310528908.5.

[9] 周双,冯勇,吴文渊,杨文强. 一种模糊 C 均值聚类小数据量识别混沌的方法.专利, 2014. 申请号:201410381619.1.

[10] 唐卷,冯勇,吴文渊,杨文强. 一种基于最小结构奇异子集的分块快速延展方法. 专利, 2013. 申请号:201310528908.5.

软件

[1] LHP with maple interface.

论文(SCI/EI检索)

[1] Jingwei Chen, Yong Feng, Yang Liu, Bing Tang, and Wenyuan Wu. Sparsenon-negative matrix factorization with generalized Kullback-Leibler divergence.In Hujun Yin, Yang Gao, Bin Li, Daoqiang Zhang, Ming Yang, Yun Li, FrankKlawonn, and Antonio Tall´on, editors, Proceedings of the 17th InternationalConference on Intelligent Data Engineering and Automated Learning (October12–14, 2016, Yangzhou, China), volume 9937, pages 353–360. Springer, Cham,Switzerland, 2016. EI.

[2] 李轶,冯勇. 有界闭连通域上的非线性循环终止性分析. 软件学报, 27(3):1–10,2016. EI.

[3] 周双,冯勇,吴文渊,汪维华. 一种基于模糊 C 均值聚类小数据量计算最大Lyapunov 指数的新方法. 物理学报, 65(2):020502:1–7, 2016. SCI.

[4] Changbo Chen and Marc Moreno Maza. Quantifier elimination by cylindricalalgebraic decomposition based on regular chains. Journal of Symbolic Computation, 75:74–93, 2016. SCI.

[5] Changbo Chen and Wenyuan Wu. A numerical method for analyzing the stability of bi-parametric biological systems. In Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing(September 24–27, 2016, Timisoara, Romania), Piscataway, NJ,2016. IEEE. EI.

[6] Changbo Chen and Wenyuan Wu. A numerical method for computing bordercurves of bi-parametric real polynomial systems and applications. In VladimirP. Gerdt, Wolfram Koepf, Werner M. Seiler, and Evgenii V. Vorozhtsov, editors, Proceedings of the 18th International Workshop on Computer Algebra inScientific Computing (September 19–23, 2016, Bucharest, Romania), volume9890 of Lecture Notes in Computer Science, pages 156–171. Springer, Cham,Switzerland, 2016. EI.

[7] Yi Li. Termination of single-path polynomial loop programs. In ??, editor, Proceedings of the 13th International Colloquium on Theoretical Aspects of Computing (October 24-30, 2016, Taiwan), Springer, 2016.EI.

[8] Yi Li. Witness to non-termination of linear programs. Theoretical ComputerSciences, 2016. SCI.

[9] Yi Li, Guang Zhu, and Yong Feng. The L-depth eventual linear ranking functionsfor single-path linear constraint loops. In Proceedings of the 10th Theoretical Aspects of Software Engineering Conference (July 17–19, 2016, Shanghai, China), Piscataway, NJ, 2016. IEEE. EI.

[10] Wenyuan Wu, Greg Reid, and Yong Feng. Computing real witness points of positive dimensional polynomial systems. Theoretical Computer Sciences, ??(??):??,2016. SCI.

[11] Wenyuan Wu and Zhonggang Zeng. The numerical factorization of polynomials.Foundations of Computational Mathematics, 2016. SCI.

[12] Chen Xu, Jingwei Chen, Wenyuan Wu, and Yong Feng. Homomorphically encrypted arithmetic operations over the integer ring. In Liqun Chen, editor,Proceedings of the 12th International Conference on Information Security Practice and Experience. (November 16–18, 2016, Zhangjiajie, China), volume ?? ofLecture Notes in Computer Sciences, Springer, 2016. EI

[13] 周双,冯勇,吴文渊. 一种识别关联维数无标度区间的新方法. 物理学报,64(13):130504:1–6, 2015. SCI/EI

[14] 周双,冯勇,吴文渊. 太阳高纬和低纬活动现象的混沌与分形特征. 物理学报,64(24):249601:1–10, 2015. SCI/EI.

[15] 李轶,李传璨,吴文渊. 多分支单变量循环程序的终止性分析. 软件学报,26(2):297–304, 2015. EI.

[16] Parisa Alvandi, Changbo Chen, Amir Hashemi, and Marc Moreno Maza. Regular chains under linear changes of coordinates and applications. In V. P.Gerdt, editor, CASC 2015, volume 9301 of Lecture Notes in Computer Science, pages 30–44. Springer, 2015. EI.

[17] Changbo Chen, Xiaohui Chen, Abdoul-Kader Keita, Marc Moreno Maza, andNing Xie. MetaFork: A compilation framework for concurrency models targeting hardware accelerators and its application to the generation of parametric CUDA kernels. In In proceedings of CASCON ’15, pages 70–79, Toronto,Canada, 2015. ACM. EI.

[18] Changbo Chen and Marc Moreno Maza. Simplification of cylindrical algebraicformulas. In V. P. Gerdt, editor, CASC 2015, volume 9301 of Lecture Notesin Computer Science, pages 119–134. Springer, 2015. EI.

[19] Chengling Fang, Jiang Liu, Guohua Wu, and Mars M. Yamaleev. Nonexistenceof minimal pairs in L[d]. In Arnold Beckmann, Victor Mitrana, and MariyaSoskova, editors, Evolving Computability, volume 9136 of Lecture Notes inComputer Science, pages 177–185. Springer, 2015. EI.

[20] Yong Feng, Wenyuan Wu(通讯作者), Jingzhong Zhang, and Jingwei Chen.Exact bivariate polynomial factorization over Q by approximation of roots.Journal of Systems Science and Complexity, 28(1):243–260, 2015. SCI.

[21] Chuancan Li, Yi Li(通讯作者), and Wenyuan Wu. Termination of initializedtwo variable homogeneous linear loops. In Proceedings of the 6th IEEE International Conference on Software Engineering and Service Science (ICSESS2015), pages 461–466, Beijing, 2015. IEEE. EI.

[22] Jiang Liu, Guohua Wu, and Mars M. Yamaleev. Downward density of exactdegrees. Lobachevskii Journal of Mathematics, 36(4):389–398, 2015.

[23] Jiang Liu, Naijun Zhan, Hengjun Zhao(通讯作者), and Liang Zou. Abstraction of elementary hybrid systems by variable transformation. In NikolajBjørner and Frank de Boer, editors, FM 2015: Formal Methods, volume 9109of Lecture Notes in Computer Science, pages 360–377. Springer, 2015. EI.

[24] 李轶,吴文渊,冯勇. 有界闭域上的线性赋值循环终止性分析. 软件学报,26(6):1133–1142, 2014. EI.

[25] 李轶,李传璨,吴文渊. 一类带初始输入的线性循环终止性分析. 四川大学学报(工程科学版), 46(5):1–7, 2014. EI.

[26] 唐卷,杨文强,吴文渊,冯勇. 微分代数系统中分块快速指标约简的启发式算法. 四川大学学报(工程科学版), 46(4):67 –74, 2014. EI.

[27] Parisa Alvandi, Changbo Chen, Steffen Marcus, Marc Moreno Maza, Eric ´Schost, and Paul Vrbik. Doing algebraic geometry with the RegularChainslibrary. In Hong Hong and Chee K. Yap, editors, Proceedings of the 4th International Congress on Mathematical Software, volume 8592 of LNCS, pages472–479. Springer, Berlin, 2014. EI.

[28] Russell Bradford, Changbo Chen, James H. Davenport, Matthew England,Marc Moreno Maza, and David Wilson. Truth table invariant cylindrical algebraic decomposition by regular chains. In V. P. Gerdt et al., editor, Proceedingsof the 16th International Workshop on Computer Algebra in Scientific Computing, volume 8660 of LNCS, pages 44–58. Springer Switzerland, 2014. EI.

[29] Fran¸cois Boulier, Changbo Chen, Fran¸cois Lemaire, and Marc Maza Moreno.Real root isolation of regular chains. In Ruyong Feng, Wen-shin Lee, and YosukeSato, editors, Computer Mathematics, pages 33–48. Springer Berlin Heidelberg,2014. EI.

[30] Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza,Ning Xie, and Yuzhen Xie. Basic polynomial algebra subprograms. ACMCommunications in Computer Algebra, 48(4):197–201, 2014. EI.

[31] Changbo Chen, Svyatoslav Covanov, Farnam Mansouri, Marc Moreno Maza,Ning Xie, and Yuzhen Xie. The basic polynomial algebra subprograms. In HongHong and Chee K. Yap, editors, Proceedings of the 4th International Congresson Mathematical Software, volume 8592 of LNCS, pages 669–676. Springer,Berlin, 2014. EI.

[32] Changbo Chen and Marc Moreno Maza. Cylindrical algebraic decomposition inthe RegularChains library. In Hong Hong and Chee K. Yap, editors, Proceedingsof the 4th International Congress on Mathematical Software, volume 8592 ofLNCS, pages 425–433. Springer, Berlin, 2014. EI.

[33] Changbo Chen and Marc Moreno Maza. Quantifier elimination by cylindricalalgebraic decomposition based on regular chains. In Proceedings of the 39thInternational Symposium on Symbolic and Algebraic Computation, pages 91–98, Kobe, Japan, 2014. ACM. EI.

[34] Changbo Chen and Marc Moreno Maza. Real quantifier elimination in theRegularChains library. In Hong Hong and Chee K. Yap, editors, Proceedingsof the 4th International Congress on Mathematical Software, volume 8592 ofLNCS, pages 283–290. Springer, Berlin, 2014. EI.

[35] Changbo Chen and Marc Moreno Maza. Solving parametric polynomial systems by RealComprehensiveTriangularize. In Hong Hong and Chee K. Yap,editors, Proceedings of the 4th International Congress on Mathematical Software, volume 8592 of LNCS, pages 504–511. Springer, Berlin, 2014. EI.

[36] Changbo Chen and Marc Maza Moreno. An incremental algorithm for computing cylindrical algebraic decompositions. In Ruyong Feng, Wen-shin Lee, andYosuke Sato, editors, Computer Mathematics, pages 199–221. Springer BerlinHeidelberg, 2014. EI.

[37] Matthew England, Russell Bradford, Changbo Chen, James H. Davenport,Marc Moreno Maza, and David Wilson. Problem formulation for truth-tableinvariant cylindrical algebraic decomposition by incremental triangular decomposition. In Proceedings of 2014 Conferences on Intelligent Computer Mathematics. 2014. EI.

[38] Yong Feng, Jingwei Chen (通讯作者), and Wenyuan Wu. Two variants ofHJLS-PSLQ with applications. In Proceedings of 2014 International Workshopon Symbolic-Numeric Computation, pages 88–96, Shanghai, China, 2014. ACM.EI.

[39] Zhenyi Ji, Zijian Liu, Wenyuan Wu, Yong Feng, and Yi Li. Numerical methodfor computing the stable equilibrium of high dimensional predator prey system.Journal of Computational and Theoretical Nanoscience, 11:1942–1946, 2014.SCI.

[40] Yi Li. A recursive decision method for termination of linear programs. In Proceedings of 2014 International Workshop on Symbolic-Numeric Computation,pages 97–106, Shanghai, China, 2014. ACM. EI.

[41] Jiang Liu, Yujin Wang, and Ju Zhang. A linear extension of unscented kalmanfilter to higher-order moment-matching. In Proceedings of the 53rd IEEE Conference on Decision and Control, pages 5021–5026, Los Angeles, USA, 2014.IEEE. EI.

[42] Jiang Liu, Ming Xu, Naijun Zhan, and Hengjun Zhao. Discovering nonterminating inputs for multi-path polynomial programs. Journal of SystemsScience and Complexity, 27(6):1286–1304, 2014. SCI.

[43] Greg Reid, Fei Wang, and Wenyuan Wu. A note on geometric involutive basesfor positive dimensional polynomial ideals and SDP methods. In Proceedings of2014 International Workshop on Symbolic-Numeric Computation, pages 41–42,Shanghai, China, 2014. ACM. EI.

[44] Fei Shen, Wenyuan Wu, and Bican Xia. Real root isolation of polynomialequations based on hybrid computation. In Ruyong Feng, Wen-shin Lee, and Yosuke Sato, editors, Computer Mathematics, pages 375–396. Springer BerlinHeidelberg, 2014. EI.

[45] Wenyuan Wu, Jingwei Chen (通讯作者), and Yong Feng. Sparse bivariate polynomial factorization. Science China Mathematics, 53:2123–2142, 2014. SCI.

[46] Yujin Wang, Jiang Liu, Wenqiang Yang, and Ju Zhang. A heuristic for sigmaset selection of UKF. In Proceedings of the 12th IEEE International Conferenceon signal processing, pages 72–77, Hangzhou, China, 2014. IEEE. EI.

[47] Wenyuan Wu, Greg Reid, and Yong Feng. Numerical aspects of finding pointson real solution components. In Proceedings of 2014 International Workshop onSymbolic-Numeric Computation, pages 111–117, Shanghai, China, 2014. ACM.EI.

[48] Shuang Zhou and Yong Feng. Signatures of chaotic naturein astronomical datawith nonlinear analysis techniques. International Journal of u- and e- Service,Science and Technology, 7(3):73–84, 2014. EI.

[49] Shuang Zhou, Yong Feng, Wenyuan Wu, Yi Li, and Jiang Liu. Low-dimensionalchaos and fractal property of long-term sunspot activity. Research in Astronomyand Astrophysics, 14(1):104–112, 2014. SCI.

[50] 陈经纬,冯勇,秦小林,张景中. Sird: 一个同步整数关系探测算法. 四川大学学报(工程科学版), 43(6):127–132, 2011. EI.

[51] Changbo Chen, Marc Moreno Maza, and Yuzhen Xie. Computing the supremumof the real roots of a parametric univariate polynomial (Extended abstract).In Marek Koˇsta and Thomas Sturm, editors, Fifth International Conferenceon Mathematical Aspects of Computer and Information Sciences, pages 13–20,2013. EI.

[52] Yong Feng, Jingwei Chen, and Wenyuan Wu. Incremental pslq with application to algebraic number reconstruction. ACM Communications in ComputerAlgebra, 47(3):112–113, 2013. EI.

[53] Xia Hua, Jiang Liu, and Guohua Wu. On a question of Csima on computationtime domination. In 12th Asian Logic Confenence, pages 178–184. World Scientific, 2013. EI.

[54] Zhenyi Ji, Wenyuan Wu, Yong Feng, and Guofeng Zhang. Constructing the lyapunov function through solving positive dimensional polynomial system. Journalof Applied Mathematics, Volume 2013:Article ID 859578, 5 pages, 2013. EI.

[55] Zhenyi Ji, Wenyuan Wu, Yi Li, and Yong Feng. Computing the singular solutionof power flow system. Applied Mechanics and Materials, 392:660–664, 2013. EI.

[56] Yi Li and Yong Feng. Proving program termination by DISCOVERER and complete discrimination system. In 2012 International Symposium on InformationScience and Engineering (ISISE), pages 24–28. IEEE, 2013. EI.

[57] Yi Li, Chuancan Li, Wenyuan Wu, and Yong Feng. Termination of two variable homogeneous linear loops. In The Sixth International Joint Conferenceon Computational Sciences and Optimization, pages 10–13, Hangzhou, China,2013. IEEE. EI.

[58] Wenyuan Wu and Greg Reid. Finding points on real solution components andapplications to differential polynomial systems. In Proceedings of the 38th international symposium on International symposium on symbolic and algebraiccomputation, pages 339–346, Boston, USA, 2013. ACM. EI.

[59] W. Wu, J. Chen, and Y. Feng. An efficient algorithm to factorize sparse bivariatepolynomials over the rationals. ACM Communications in Computer Algebra,46(3):125–126, 2012. EI.