无码人妻av免费一区二区三区_大胸少妇午夜三级_国产内射爽爽大片_无码任你躁久久久久久_亚洲av中文无码乱人伦在线r▽

歡迎訪問中國科學(xué)院重慶綠色智能技術(shù)研究院！

人才隊伍

研究員

陳長波
性別：男
職稱：研究員
學(xué)歷：博士
電話：
電子郵箱：chenchangbo@cigit.ac.cn
職務(wù)：
簡歷

　　陳長波，2011年8月在加拿大西安大略大學(xué)計算機系獲博士學(xué)位。2011年9月-2013年8月在西安大略大學(xué)從事博士后研究，2013年9月加入中國科學(xué)院重慶綠色智能技術(shù)研究院電子信息研究所自動推理與認(rèn)知研究中心，先后獲得中國科學(xué)院西部青年學(xué)者和重慶英才青年拔尖人才稱號。 ???

　　主要學(xué)術(shù)貢獻包括提出了一系列高效的多項式系統(tǒng)求解算法并應(yīng)用于生物化學(xué)網(wǎng)絡(luò)平衡點分析、量子關(guān)聯(lián)判定、循環(huán)程序的自動并行和優(yōu)化等。開發(fā)的多項式和半代數(shù)系統(tǒng)求解器被集成進著名數(shù)學(xué)軟件Maple的多個官方發(fā)行版中。迄今在SIAM-ADS、JSC、 PRA等雜志和ISSAC、CASC等會議上發(fā)表學(xué)術(shù)論文50余篇。多次擔(dān)任奧地利、加拿大和德國等自然科學(xué)基金會的評審專家及國際會議ISSAC、CASC、ICMS等的程序委員會委員，擔(dān)任中國數(shù)學(xué)會計算機數(shù)學(xué)大會CM2024程序委員會共同主席。曾受邀在中國數(shù)學(xué)會年會、中國工業(yè)與應(yīng)用數(shù)學(xué)學(xué)會年會、中國數(shù)學(xué)會計算機數(shù)學(xué)大會、德國Dagstuhl?研討會、國際工業(yè)與應(yīng)用數(shù)學(xué)大會作邀請報告。?

所屬部門

自動推理與認(rèn)知研究中心

研究領(lǐng)域

計算機代數(shù)、高性能計算和應(yīng)用機器學(xué)習(xí)?

社會任職

中國數(shù)學(xué)會計算機數(shù)學(xué)專委會委員

獲獎及榮譽

2011年，獲ACM-SIGSAM頒發(fā)的杰出軟件演示獎?

2023年，獲得第六屆重慶市電子學(xué)會十佳優(yōu)秀科技工作者?

代表論著

1. Changbo Chen, Wenyuan Wu. A Geometric Approach for Analyzing Parametric Biological Systems by Exploiting Block Triangular Structure. SIAM Journal on Applied Dynamical Systems, 21(2), pp. 1573-1596, 2022. 第1作者

2. Changbo Chen, Changliang Ren, Hongqing Lin and He Lu. Entanglement Structure Detection via Machine Learning. Quantum Science and Technology 6, 035017, 2021. 第1作者

3. Changbo Chen, Wenyuan Wu, Yong Feng. Numerical roadmap of smooth bounded real algebraic surface. Computer Aided Geometric Design 79, 101858, 2020. 第1作者

4. Changbo Chen, Wenyuan Wu, Yong Feng.? Visualizing Planar and Space Implicit Real Algebraic Curves with Singularities. Journal of Systems Science and Complexity 33, 1252–1274, 2020. 第1作者

5. Changliang Ren, Changbo Chen. Steerability detection of an arbitrary two-qubit state via machine learning. Physical Review A 100(2), 022314, 2019. 共同第1作者

6. Changbo Chen, Changliang Ren, Xiang-Jun Ye, and Jing-Ling Chen. Mapping criteria between nonlocality and steerability in qudit-qubit systems and between steerability and entanglement in qubit-qudit systems. PHYSICAL REVIEW A 98, 052114, 2018. 共同第1作者

7. Changbo Chen, Marc Moreno Maza. Quantifier elimination by cylindrical algebraic decomposition based on regular chains. Journal of Symbolic Computation 75, 74-93, 2016. 第1作者

8. Changbo Chen. Chordality Preserving Incremental Triangular Decomposition and Its Implementation. ICMS 2020: 27-36, 2020. 第1作者

9. Changbo Chen, Zhangpeng Zhu, Haoyu Chi. Variable Ordering Selection for Cylindrical Algebraic Decomposition with Artificial Neural Networks. ICMS 2020: 281-291, 2020. 第1作者

10. Changbo Chen and Marc Moreno Maza. An Incremental Algorithm for Computing Cylindrical Algebraic Decompositions. Computer Mathematics, R. Feng et al., Springer-Verlag, pp 199-221, 2014. 第一作者

承擔(dān)科研項目情況

1.? “計算機數(shù)學(xué)核心理論、算法與軟件”，國家重點研發(fā)計劃，2023-2028，子課題負(fù)責(zé)人。

2. “含參循環(huán)程序的自動并行與優(yōu)化”， 重慶英才青年拔尖人才，2022-2024，主持，在研。
3. “參數(shù)半代數(shù)系統(tǒng)的誤差可控計算理論與算法”，國家自然科學(xué)基金面上項目，2018-2021，主持，已結(jié)題。
4. “零誤差計算在程序自動并行化中的應(yīng)用”，中國科學(xué)院西部青年學(xué)者A，2019-2021， 主持，已結(jié)題。
5. “基于三角分解的參數(shù)多項式優(yōu)化”，國家自然科學(xué)基金青年項目，2014-2016， 主持，已結(jié)題。