基本信息
刘江 男 硕导 中国科学院重庆绿色智能技术研究院
电子邮件: liujiang@cigit.ac.cn
通信地址: 重庆市北碚区方正大道266号
邮政编码: 400714
电子邮件: liujiang@cigit.ac.cn
通信地址: 重庆市北碚区方正大道266号
邮政编码: 400714
研究领域
智能医疗,并行计算,数值计算
招生信息
招生专业
081203-计算机应用技术081202-计算机软件与理论
招生方向
智能医疗数值计算并行计算
工作经历
工作简历
2012-02~现在, 中国科学院重庆绿色智能技术研究院, 副研究员2010-03~2012-01,中国科学院软件研究所, 博士后
专利与奖励
专利成果
[1] 刘江, 方成玲. 基于线性规划的布尔可满足性判定方法. CN: CN114091392A, 2022-02-25.[2] 陈芋文, 张矩, 钟坤华, 孙启龙, 林小光, 刘江. 一种基于强化学习的监护预警方法及系统. CN: CN112270451A, 2021-01-26.[3] 刘江, 方成玲. 一种新型无穷字母表的香农完美保密方法. CN: CN109409106A, 2019-03-01.[4] 刘江, 方成玲. 一种新型香农完美保密方法. CN: CN109344627A, 2019-02-15.[5] 刘江, 周鸿昊. 一种基于LAF剪枝决策的快速判定方法. CN: CN109117453A, 2019-01-01.[6] 刘江, 方成玲. 一种基于代数化的快速逻辑决策方法. CN: CN107945275A, 2018-04-20.[7] 邱毓茗, 唐鹏, 姜军, 王浩林, 汪鹏, 张矩, 刘江, 王飞. 一种临床决策支持与流程管理相结合的系统及其运行机制. CN: CN107391948A, 2017-11-24.[8] 刘江, 张矩, 杨文强. 一种可伸缩交通锥智能小车装置. CN: CN206528400U, 2017-09-29.[9] 刘江, 叶松庆. 一种主观评分环境中的高保真公平排名方法. CN: CN106339791A, 2017-01-18.[10] 刘江, 叶松庆. 基于多层重要性采样的高斯滤波方法和高斯滤波器. CN: CN105703740A, 2016-06-22.[11] 杨文强, 吴文渊, 刘江, 陈经纬. 一种基于三边定位的自动闸机控制系统及其控制方法. CN: CN104200552A, 2014-12-10.[12] 刘江, 杨文强, 王玉金, 张炬. 一种高阶矩匹配的多层无迹卡尔曼滤波器的线性扩展方法. CN: CN104022757A, 2014-09-03.[13] 刘江, 王玉金, 杨文强, 张矩. 基于高阶矩匹配的无迹卡尔曼滤波器的多项式方法. CN: CN104038180A, 2014-09-10.
出版信息
发表论文
[1] Jiang Liu, Yihao Xie, Xin Shu, Yuwen Chen, Yizhu Sun, Kunhua Zhong, Hao Liang, Yujie Li, Chunyong Yang, Yan Han, Yuwei Zou, Ziting Zhuyi, Jiahao Huang, Junhong Li, Xiaoyan Hu, Bin Yi. Value function assessment to different RL algorithms for heparin treatment policy of patients with sepsis in ICU. ARTIFICIAL INTELLIGENCE IN MEDICINE. 2024, 第 1 作者147: http://dx.doi.org/10.1016/j.artmed.2023.102726.[2] 张思齐, 秦小林, 张矩, 刘江. Estimating event probabilities via signal temporal logic and first occurrence distributions. Journal of Logic and Computation[J]. 2024, 第 4 作者 通讯作者 https://ucas.scholarin.cn/profile/liu-jiang-uopems?anchor=fruits&tab=article.[3] 易斌, 刘祥, 刘江, 陈芋文, 王英伟. 大模型在围术期医学中应用的前景. 中华麻醉学杂志[J]. 2023, 第 3 作者43(7): 773-777, http://lib.cqvip.com/Qikan/Article/Detail?id=7110443268.[4] 刘江, 刘文博, 张矩. OpenFoam中多面体网格生成的MPI+OpenMP混合并行方法. 计算机科学[J]. 2022, 第 1 作者49(3): 3-10, http://lib.cqvip.com/Qikan/Article/Detail?id=7106717109.[5] Chen, Yuwen, Liu, Jiang. Polynomial dendritic neural networks. NEURAL COMPUTING & APPLICATIONS[J]. 2022, 第 2 作者 通讯作者 34(14): 11571-11588, http://dx.doi.org/10.1007/s00521-022-07044-4.[6] 刘江. Minimal Residual Based Iterative Methods and Its Parallel Implementation for Sparse Linear Systems. NCTCS 2020. 2021, 第 1 作者 通讯作者 [7] 刘江, 周鸿昊. 一种布尔公式的代数逻辑约化新方法. 计算机科学[J]. 2020, 第 1 作者47(5): 32, https://kns.cnki.net/KCMS/detail/detail.aspx?dbcode=CJFQ&dbname=CJFDLAST2020&filename=JSJA202005008&v=MTIyNDc0SE5ITXFvOUZiSVI4ZVgxTHV4WVM3RGgxVDNxVHJXTTFGckNVUjdxZVorUnZGaW5rVXJyTUx6N0JiN0c=.[8] Liu, Jiang, Zhou, Honghao, Xu, B. A Development of LAF for Satisfying Assignments Search. PROCEEDINGS OF 2019 IEEE 3RD INFORMATION TECHNOLOGY, NETWORKING, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (ITNEC 2019). 2019, 第 1 作者719-726, http://apps.webofknowledge.com/CitedFullRecord.do?product=UA&colName=WOS&SID=5CCFccWmJJRAuMzNPjj&search_mode=CitedFullRecord&isickref=WOS:000491352900140.[9] 叶松庆, 刘江. 加性噪声下增广容积卡尔曼滤波及其目标跟踪应用. 计算机应用与软件[J]. 2017, 第 2 作者34(3): 136-141, http://lib.cqvip.com/Qikan/Article/Detail?id=671573267.[10] 叶松庆, 刘江, 王玉金, 段建雷. 基于高斯分布的多层无迹卡尔曼滤波算法. 控制与决策[J]. 2016, 第 2 作者31(4): 609-615, [11] Liu Jiang. Nonexistence of Minimal Pairs in L[d]. CiE2015. 2015, 第 1 作者[12] Liu Jiang, Zou Liang, Zhao Hengjun, Zhan Naijun. Abstraction of elementary hybrid systems by variable transformation. 20TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, FM 2015. 2015, 第 1 作者360-377, http://www.chinair.org.cn/handle/1471x/1660850.[13] Liu Jiang, Xu Ming, Zhan Naijun, Zhao Hengjun. Discovering non-terminating inputs for multi-path polynomial programs. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY[J]. 2014, 第 1 作者27(6): 1286-1304, https://www.webofscience.com/wos/woscc/full-record/WOS:000345627000013.[14] Wang, Yujin, Liu, Jiang, Yang, Wenqiang, Zhang, Ju, Yuan, B, Ruan, Q, Tang, X. A HEURISTIC FOR SIGMA SET SELECTION OF UKF. 2014 12TH INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING (ICSP). 2014, 第 2 作者72-77, [15] Zhou, Shuang, Feng, Yong, Wu, WenYuan, Li, Yi, Liu, Jiang. Low-dimensional chaos and fractal properties of long-term sunspot activity. RESEARCH IN ASTRONOMY AND ASTROPHYSICS[J]. 2014, 第 5 作者14(1): 104-112, https://www.webofscience.com/wos/woscc/full-record/WOS:000330160200009.[16] Liu Jiang. A Linear Extension of Unscented Kalman Filter to Higher-Order Moment-Matching. 3rd IEEE CDC. 2014, 第 1 作者[17] Liu Jiang. On a question of Csima on computational-time domination. Proceedings of the 12th Asian Logic Confenence. 2013, 第 1 作者[18] Liu, Jiang, Wu, Guohua. Almost universal cupping and diamond embeddings. ANNALS OF PURE AND APPLIED LOGIC[J]. 2012, 第 1 作者163(6): 717-729, https://www.webofscience.com/wos/woscc/full-record/WOS:000301611300008.[19] Fang Chengling, Liu Jiang, Wu Guohua. Cupping and diamond embeddings: a unifying approach. LECTURE NOTES IN COMPUTER SCIENCE (INCLUDING SUBSERIES LECTURE NOTES IN ARTIFICIAL INTELLIGENCE AND LECTURE NOTES IN BIOINFORMATICS). 2011, 第 2 作者71-80, http://ir.iscas.ac.cn/handle/311060/14333.[20] Cenzer, Douglas, Franklin, Johanna N Y, Liu, Jiang, Wu, Guohua. A superhigh diamond in the c.e. tt-degrees. ARCHIVE FOR MATHEMATICAL LOGIC[J]. 2011, 第 3 作者 通讯作者 50(1-2): 33-44, https://www.webofscience.com/wos/woscc/full-record/WOS:000286668400003.[21] Liu, Jiang, Wu, Guohua. AN ALMOST-UNIVERSAL CUPPING DEGREE. JOURNAL OF SYMBOLIC LOGIC[J]. 2011, 第 1 作者 通讯作者 76(4): 1137-1152, http://dx.doi.org/10.2178/jsl/1318338843.[22] Liu Jiang, Zhan Naijun, Zhao Hengjun. Computing semi-algebraic invariants for polynomial dynamical systems. EMBEDDED SYSTEMS WEEK 2011, ESWEEK 2011 - PROCEEDINGS OF THE 9TH ACM INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE, EMSOFT'11. 2011, 第 1 作者97-106, http://ir.iscas.ac.cn/handle/311060/16221.[23] Liu Jiang. Degrees with Almost Universal Cupping Property. CiE2010. 2010, 第 1 作者[24] Liu, Jiang, Wang, Shenling, Wu, Guohua. Infima of d.r.e. degrees. ARCHIVE FOR MATHEMATICAL LOGIC[J]. 2010, 第 1 作者49(1): 35-49, http://dx.doi.org/10.1007/s00153-009-0159-x.[25] Liu Jiang, Lv Jidong, Quan Zhao, Zhan Naijun, Zhao Hengjun, Zhou Chaochen, Zou Liang, Ueda K. A Calculus for Hybrid CSP. PROGRAMMING LANGUAGES AND SYSTEMS. 2010, 第 1 作者6461: 1-+, [26] Liu, Jiang, Wu, Guohua. Joining to high degrees via noncuppables. ARCHIVE FOR MATHEMATICAL LOGIC[J]. 2010, 第 1 作者 通讯作者 49(2): 195-211, http://dx.doi.org/10.1007/s00153-009-0165-z.[27] Liu Jiang. Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms. TAMC 2009. 2009, 第 1 作者[28] Liu, Jiang, Wu, Guohua. Isolation, infima and diamond embeddings. JOURNAL OF LOGIC AND COMPUTATION[J]. 2007, 第 1 作者 通讯作者 17(6): 1153-1166, https://www.webofscience.com/wos/woscc/full-record/WOS:000252665100009.[29] Liu, Jiang, Zhan, Naijun, Zhao, Hengjun. Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems. 第 1 作者http://arxiv.org/abs/1103.3372.
科研活动
科研项目
( 1 ) 混成系统微分不变式计算理论方法, 负责人, 国家任务, 2013-01--2015-12( 2 ) 陆地交通混成系统安全性分析与验证, 负责人, 中国科学院计划, 2013-01--2015-12( 3 ) 专利云平台建设及应用服务, 负责人, 地方任务, 2013-01--2015-12( 4 ) 中国科学院青年创新促进会, 负责人, 中国科学院计划, 2015-01--2018-12( 5 ) 随机混成系统状态估计算法理论研究, 负责人, 国家任务, 2017-01--2020-12( 6 ) 中国科学院重庆绿色智能技术研究院, 负责人, 国家任务, 2023-01--2023-12
指导学生
已指导学生
叶松庆 硕士研究生 085210-控制工程
周鸿昊 硕士研究生 081202-计算机软件与理论
汪晋 硕士研究生 085211-计算机技术
刘文博 硕士研究生 085211-计算机技术
雷超 硕士研究生 085400-电子信息
现指导学生
谢一豪 硕士研究生 085400-电子信息