基本信息
陈长波  男  硕导  中国科学院重庆绿色智能技术研究院
电子邮件: chenchangbo@cigit.ac.cn
通信地址: 重庆市北碚区水土镇方正大道266号
邮政编码: 400714

研究领域

符号数值混合计算,自动推理,高性能计算,机器学习

招生信息

   
招生专业
081203-计算机应用技术
081202-计算机软件与理论
招生方向
计算机程序自动并行和优化
机器学习
符号数值计算

教育背景

2006-09--2011-08   加拿大西安大略大学   博士
2003-09--2006-07   北京大学   硕士
1999-09--2003-07   山东科技大学   学士
学历
   
学位
   

工作经历

   
工作简历
2013-08~现在, 中国科学院重庆绿色智能技术研究院, 副研究员
2011-09~2013-08,加拿大西安大略大学, 博士后
社会兼职
2018-10-26-今,第十届全国计算机数学大学程序委员会委员,
2017-11-01-今,中国数学学会会员,
2017-10-15-今,奥地利科学基金会博士学科评审专家,
2017-01-01-今,第三届中国数学会计算机数学专业委员会委员,
2016-09-24-今,SC-Square 2016程序委员会委员,
2016-03-28-今,SCSS 2016 程序委员会委员,
2015-08-03-今,第四届符号计算暑期讲习班组织委员会委员,
2015-08-01-今,第8届国际工业与应用数学大会minisymposium organizer,
2015-05-01-今,Reviewer of CASC 2015,
2015-02-01-今,Reviewer of ISSAC 2015,
2014-09-03-今,Reviewer of Journal of Symbolic Computation,
2014-05-02-今,Reviewer of CASC 2014,
2014-03-31-今,博士论文审稿人,
2014-03-01-今,Program Committee Member and Session Organizer of ICMS 2014,

教授课程

   

专利与奖励

   
奖励信息
(1) ACM最佳软件演示奖, , 其他, 2011
专利成果
( 1 ) 一种保留模型特征的3D打印自适应切片方法, 发明, 2015, 第 1 作者, 专利号: 2015101087083
( 2 ) 一种用于3D打印中CLI文件错误检查的方法, 发明, 2017, 第 1 作者, 专利号: 201510181569.7

出版信息

   
发表论文
(1) Mapping criteria between nonlocality and steerability in qudit-qubit systems and between steerability and entanglement in qubit-qudit systems, PHYSICAL REVIEW A, 2018, 第 1 作者
(2) A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities, Proc. of CASC 2018, 2018, 第 1 作者
(3) Revealing Bistability in Neurological Disorder Models By Solving Parametric Polynomial Systems Geometrically, Proc. of AISC 2018, 2018, 第 1 作者
(4) 基于同态门限密码体制的的投票协议, 计算机应用, 2018, 通讯作者
(5) Full Rank Representation of Real Algebraic Sets and Applications, Proc. of CASC 2017, 2017, 第 1 作者
(6) Penalty Function Based Critical Point Approach to Compute Real Witness Solution Points of Polynomial Systems, Proc. of CASC 2017, 2017, 通讯作者
(7) A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications, Proc. of CASC 2016, 2016, 第 1 作者
(8) Bell’s Nonlocality Can be Detected by the Violation of Einstein-Podolsky-Rosen Steering Inequality, Sci. Rep., 2016, 第 3 作者
(9) A Numerical Method for Analyzing the Stability of Bi-parametric Biological Systems, Proc. of SYNASC 2016, 2016, 第 1 作者
(10) Parallel Integer Polynomial Multiplication, Proc. of SYNASC 2016, 2016, 第 1 作者
(11) Quantifier elimination by cylindrical algebraic decomposition based on regular chains, Journal of Symbolic Computation, 2016, 第 1 作者
(12) Basic Polynomial Algebra Subprograms, ACM Communications in Computer Algebra, 2015, 第 1 作者
(13) MetaFork: A Compilation Framework for Concurrency Models Targeting Hardware Accelerators and Its Application to the Generation of Parametric CUDA Kernels, Proceedings of CASCON 2015, 2015, 第 1 作者
(14) Regular chains under linear changes of coordinates and applications, Proc. of CASC 2015, 2015, 第 2 作者
(15) Simplification of Cylindrical Algebraic Formulas, Proc. of CASC 2015, 2015, 第 1 作者
(16) 有效保留模型特征的自适应分层算法, 计算机应用, 2015, 通讯作者
(17) STL文件的法向量错误修复, 计算机应用研究, 2015, 通讯作者
(18) An Incremental Algorithm for Computing Cylindrical Algebraic Decomposition, Computer Mathematics, proceeding of ASCM 2009 and ASCM 2012, 2014, 第 1 作者
(19) Real Root Isolation of Regular Chains, Computer Mathematics, proceeding of ASCM 2009 and ASCM 2012 , 2014, 第 2 作者
(20) Real Quantifier Elimination in the RegularChains Library, Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014), 2014, 第 1 作者
(21) Cylindrical Algebraic Decomposition in the RegularChains Library, Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014) , 2014, 第 1 作者
(22) Doing Algebraic Geometry with the RegularChains Library, Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014), 2014, 第 2 作者
(23) Solving Parametric Polynomial Systems by RealComprehensiveTriangularize, Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014) , 2014, 第 1 作者
(24) The Basic Polynomial Algebra Subprograms, Proceedings of the 4th International Congress on Mathematical Software (ICMS 2014) , 2014, 第 1 作者
(25) Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains, Proceedings of Computer Algebra in Scientific Computing 2014 (CASC 2014), 2014, 第 2 作者
(26) Problem Formulation for Truth-table Invariant Cylindrical Algebraic Decomposition by Incremental Triangular Decomposition, Proceedings of 2014 Conferences on Intelligent Computer Mathematics (CICM 2014) , 2014, 第 3 作者
(27) Quantifier Elimination by Cylindrical Algebraic Decomposition Based on Regular Chains , Proceedings of 2014 International Symposium on Symbolic and Algebraic Computation (ISSAC 2014) , 2014, 第 1 作者
(28) Triangular Decomposition of Semi-algebraic Systems (Extended Version), Journal of Symbolic Computation, 2013, 第 1 作者
(29)  Computing the Limit Points of the Quasi-component of a Regular Chain in Dimension One, Proceedings of Computer Algebra in Scientific Computing (CASC 2013), 2013, 第 2 作者
(30) Computing with Semi-algebraic Sets: Relaxation Techniques and Effective Boundaries, Journal of Symbolic Computation, 2013, 第 1 作者
(31) An Application of Regular Chain Theory to the Study of Limit Cycles, International Journal of Bifurcation and Chaos, 2013, 第 1 作者
(32) Algorithms for Computing Triangular Decomposition of Polynomial Systems (Extended Version), Journal of Symbolic Computation, 2012, 第 1 作者
(33) Cache Complexity and Multicore Implementation for Univariate Real Root Isolation, Journal of Physics: Conference Series, 2012, 第 1 作者
(34) Computing the Real Solutions of Polynomial Systems with the RegularChains Library in Maple, ACM Communications in Computer Algebra, 2011, 第 1 作者
(35) Computing with Semi-algebraic Sets Represented by Triangular Decomposition , Proceedings of 2011 International Symposium on Symbolic and Algebraic Computation (ISSAC 2011), 2011, 第 1 作者
(36) Semi-algebraic Description of the Equilibria of Dynamical Systems , Proceedings of 2011 Computer Algebra in Scientific Computing (CASC 2011), Springer Verlag, LNCS 6885, 2011, 第 1 作者
(37) Algorithms for Computing Triangular Decompositions of Polynomial Systems , Proceedings of 2011 International Symposium on Symbolic and Algebraic Computation (ISSAC 2011), 2011, 第 1 作者
(38) Solving Semi-algebraic Systems with the RegularChains Library in Maple, Proceedings of the Fourth International Conference on Mathematical Aspects of Computer Science and Information Sciences (MACIS 2011), 2011, 第 1 作者
(39) Triangular Decomposition of Semi-algebraic Systems, Proceedings of 2010 International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), 2010, 第 1 作者
(40) Computing Cylindrical Algebraic Decomposition via Triangular Decomposition, Proceedings of 2009 International Symposium on Symbolic and Algebraic Computation (ISSAC 2009), 2009, 第 1 作者
(41) On the Verification of Polynomial System Solvers , Frontiers of Computer Science in China, 2008, 第 1 作者
(42) The ConstructibleSetTools and ParametricSystemsTools Modules of the RegularChains Library in Maple , Proceedings of the International Conference on Computational Science and Applications, IEEE Computer Society, 2008, 第 1 作者
(43) On the Representation of Constructible Sets, Proceedings of Milestones in Computer Algebra 2008, 2008, 第 1 作者
(44) Efficient Computations of Irredundant Triangular Decompositions with the RegularChains Library, Proceedings of Computer Algebra Systems and Their Applications 2007 (ICCS 2007), LNCS 4488, 2007, 第 1 作者
(45) Comprehensive Triangular Decomposition, Proceedings of CASC 2007, Lecture Notes in Computer Science, vol. 4770, 2007, 第 1 作者
发表著作
   

科研活动

   
科研项目
( 1 ) 基于三角分解的参数多项式优化, 主持, 国家级, 2014-01--2016-12
( 2 ) 微分代数方程中的误差可控计算理论与算法, 参与, 国家级, 2015-01--2018-12
( 3 ) 零误差计算在欧几里得格和密码学中的应用, 参与, 省级, 2014-12--2017-12
( 4 ) 多项式循环程序的终止性研究及其应用, 参与, 国家级, 2016-01--2019-12
( 5 ) 实代数方程中的零误差计算理论及其应用, 参与, 部委级, 2017-01--2021-12
( 6 ) 参数半代数系统的误差可控计算理论与算法, 主持, 国家级, 2018-01--2021-12
( 7 ) 零误差计算在程序自动并行化中的应用, 主持, 部委级, 2019-01--2021-12
( 8 ) 自动推理及其在信息安全中的应用, 参与, 省级, 2018-10--2021-09
参与会议
(1)A Continuation Method for Visualizing Planar Real Algebraic Curves with Singularities   2018-09-17
(2)Applications of Symbolic-Numeric Computation on Studying Quantum Nonlocality   2017年中国数学会学术年会   2017-10-21
(3)Full Rank Representation of Real Algebraic Sets and Applications   2017-09-16
(4)Numerically Solving Bi-parametric Real Polynomial Systems and Applications    第五期符号计算暑期讲习班   2017-07-16
(5)A Numerical Method for Analyzing the Stability of Bi-Parametric Biological Systems   2016-09-24
(6)A Numerical Method for Computing Border Curves of Bi-parametric Real Polynomial Systems and Applications   2016-09-19
(7)Simplification of cylindrical algebraic formulas    Changbo Chen, Marc Moreno Maza   2015-09-14
(8)Solving Parametric Polynomial Optimization by Triangular Decomposition   Changbo Chen, Marc Moreno Maza   2015-08-10
(9)Computing the Supremum of the Real Roots of a Parametric Univariate Polynomial   Changbo Chen and Marc Moreno Maza   2013-12-11
(10)Computing the Limit Points of Quasi-componets of Regular Chains in Diemnsion One   Parisa Alvandi, Changbo Chen, Marc Moreno Maza   2013-09-09
(11)An Incremental Algorithm for Computing Cylindrical Algebraic Decomposition and Its Application to Quantifier Elimination   Changbo Chen, Marc Moreno Maza   2013-08-01
(12)An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions   Changbo Chen, Marc Moreno Maza   2012-10-26
(13)Quantifier Elimination via Triangular Decomposition   Changbo Chen, Marc Moreno Maza   2012-06-24
(14)Advances on Quantifier Elimination and Applications   Changbo Chen, Marc Moreno Maza   2012-06-18
(15)Semi-algebraic description of the equilibria of dynamical systems    Changbo Chen, Marc Moreno Maza   2011-09-05
(16)Parallel Univariate Real Root Isolation on Multicores   Changbo Chen, Marc Moreno Maza, Yuzhen Xie   2011-07-25
(17)Cache Complexity and Multicore Implementation for Univariate Real Root Isolation   Changbo Chen, Marc Moreno Maza, Yuzhen Xie   2011-06-15
(18)Computing the Real Solutions of Polynomial Systems with the RegularChains library in Maple    Changbo Chen, James H. Davenport, Francois Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie    2011-06-08
(19)Computing with Semi-Algebraic Sets Represented by Triangular Decomposition   Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao   2011-06-08
(20) Algorithms for Computing Triangular Decompositions of Polynomial Systems   Changbo Chen, Marc Moreno Maza   2011-06-08
(21)Triangular Decomposition of Semi-Algebraic Systems   Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia and Rong Xiao   2010-07-25
(22)Real Root Isolation of Regular Chains   Francois Boulier, Changbo Chen, Francois Lemaire and Marc Moreno Maza   2009-12-14
(23)Computing Cylindrical Algebraic Decomposition via Triangular Decompositions   Changbo Chen, Marc Moreno Maza, Bican Xia, Lu Yang   2009-07-28
(24)Solving Parametric Polynomial Systems with the RegularChains library in Maple   Changbo Chen, Francois Lemaire, Marc Moreno Maza, Bican Xia, Rong Xiao, Yuzhen Xie   2009-06-25
(25)The ConstructibleSetTools and ParametricSystemTools modules of the RegularChains library in Maple   Changbo Chen, Francois Lemaire, Liyun Li, Marc Moreno Maza, Wei Pan, Yuzhen Xie   2008-07-20
(26)Comprehensive Triangular Decomposition   Changbo Chen, Oleg Golubitsky, Francois Lemaire, Marc Moreno Maza, Wei Pan    2007-09-16

合作情况

   
项目协作单位
   

指导学生

现指导学生

池昊宇  硕士研究生  085211-计算机技术