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

高性能應(yīng)用研究中心

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

中國(guó)計(jì)算機(jī)學(xué)會(huì)形式化專委執(zhí)行委員， 

中國(guó)數(shù)學(xué)會(huì)數(shù)理邏輯專委會(huì)委員 

[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.  

橫向“大規(guī)模稀疏帶狀線性方程組并行加速求解研究”，2023/01-2023/12，主持； 

國(guó)家重點(diǎn)研發(fā)計(jì)劃計(jì)劃項(xiàng)目“重癥和手術(shù)監(jiān)護(hù)危重事件預(yù)測(cè)模型與智能干預(yù)推理決策系統(tǒng)研究”，2018/08-2022/09，參與，研究骨干(3)；  

中國(guó)科學(xué)院平臺(tái)專項(xiàng)“動(dòng)力系統(tǒng)并行求解研發(fā)”，2019/01-2020/12，主持；  

國(guó)家自然基金“隨機(jī)混成系統(tǒng)狀態(tài)估計(jì)算法理論研究”，2017/01-2020/12，主持；  

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