一区二区不卡av免费观看-久久亚洲精品人成综合网-国产精品毛片一区二区-日韩无码电影

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

人才隊(duì)伍

研究員

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

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

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

所屬部門

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

研究領(lǐng)域

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

社會(huì)任職

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

獲獎(jiǎng)及榮譽(yù)

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

2023年，獲得第六屆重慶市電子學(xué)會(huì)十佳優(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)科研項(xiàng)目情況

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

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