• <fieldset id="qkyym"></fieldset>
    <abbr id="qkyym"></abbr>
    <strike id="qkyym"></strike>
    <button id="qkyym"><noscript id="qkyym"></noscript></button>
  • <center id="qkyym"></center>

    两性色午夜视频免费网,91精品欧美激情在线播放,国产小视频在线观看免费,欧美日韩一区在线观看

    歡迎訪(fǎng)問(wèn)中國科學(xué)院重慶綠色智能技術(shù)研究院!

    副研究員

    劉江
    性別:
    職稱(chēng):副研究員
    學(xué)歷:博士
    電話(huà):
    電子郵箱:liujiang@cigit.ac.cn
    職務(wù):
    簡(jiǎn)歷

    劉江,20104月在新加坡南洋理工大學(xué)獲博士學(xué)位。2009年底赴中國科學(xué)院軟件研究所從事博士后研究,主要開(kāi)展混成系統安全分析與形式化方法方面的研究,2012年在中國科學(xué)院重慶綠色智能技術(shù)研究院從事計算機算法安全分析與驗證等方面的研究。

    所屬部門(mén)

    高性能應用研究中心

    研究領(lǐng)域

    混成系統、形式化方法、神經(jīng)網(wǎng)絡(luò )模型 

    社會(huì )任職

    中國計算機學(xué)會(huì )形式化專(zhuān)委執行委員, 

    中國數學(xué)會(huì )數理邏輯專(zhuān)委會(huì )委員 

    獲獎及榮譽(yù)

    [1] Estimating Event Probabilities via Signal Temporal Logic and First Occurrence Distributions[J]. Journal of Logic and Computation. 2024, Zhang S, Qin X, Zhang J, Liu Jiang*. 

    [2] Value function assessment to different RL algorithms for heparin treatment policy of patients with sepsis in ICU[J]. Artificial Intelligence in Medicine. 2024, Liu Jiang, Xie Y, Shu X, Chen Y, et al.  

    [3] Correct-by-Construction for Hybrid Systems by Synthesizing Reset Controller. arXiv:2309.05906. 2023, Liu Jiang, Su H, Bai Y, Gu B, et al.  

    [4] Polynomial dendritic neural networks[J]. Neural Computing and Applications. 2022, Chen Y, Liu Jiang*.  

    [5] Minimal Residual Based Iterative Methods and Its Parallel Implementation for Sparse Linear Systems[C]. NCTCS 2020, Liu Jiang, Wang J.  

    [6] The geometric unscented Kalman filter. arXiv preprint arXiv:2009.13079. 2020, Fang C, Liu Jiang*, Ye S, et al.  

    [7] Abstraction of elementary hybrid systems by variable transformation[C]. FM 2015, Liu Jiang, Zhan N, Zhao H, et al.  

    [8] A linear extension of unscented Kalman filter to higher-order moment-matching[C]. In 53rd IEEE CDC. 2014, Liu Jiang, Wang Y, Zhang J.  

    [9] Computing semi-algebraic invariants for polynomial dynamical systems[C]. In ACM EMSOFT 2011, Liu Jiang, Zhan N, Zhao H.  

    [10] A Calculus for Hybrid CSP[C]. In APLAS 2010, Liu Jiang, Zhan N, Zhou C, et al.

    代表論著(zhù)

     

    承擔科研項目情況

    橫向“大規模稀疏帶狀線(xiàn)性方程組并行加速求解研究”,2023/01-2023/12,主持; 

    國家重點(diǎn)研發(fā)計劃計劃項目“重癥和手術(shù)監護危重事件預測模型與智能干預推理決策系統研究”,2018/08-2022/09,參與,研究骨干(3);  

    中國科學(xué)院平臺專(zhuān)項“動(dòng)力系統并行求解研發(fā)”,2019/01-2020/12,主持;  

    國家自然基金“隨機混成系統狀態(tài)估計算法理論研究”,2017/01-2020/12,主持;  

    中國科學(xué)院青年創(chuàng )新促進(jìn)會(huì )“非線(xiàn)性卡曼濾波器研”,2015/01-2018/12,主持;  

    國家自然基金“混成系統微分不變式計算理論方法”,2013/01-2015/12,主持。