基本信息
刘江  男  硕导  中国科学院重庆绿色智能技术研究院
电子邮件: liujiang@cigit.ac.cn
通信地址: 重庆市北碚区方正大道266号
邮政编码: 400714

研究领域

智能医疗,并行计算,数值计算

招生信息

   
招生专业
081203-计算机应用技术
081202-计算机软件与理论
招生方向
智能医疗
数值计算
并行计算

工作经历

   
工作简历
2012-02~现在, 中国科学院重庆绿色智能技术研究院, 副研究员
2010-03~2012-01,中国科学院软件研究所, 博士后

专利与奖励

   
专利成果
( 1 ) 基于线性规划的布尔可满足性判定方法, 发明专利, 2022, 第 1 作者, 专利号: CN114091392A

( 2 ) 一种基于强化学习的监护预警方法及系统, 发明专利, 2021, 第 6 作者, 专利号: CN112270451A

( 3 ) 一种新型无穷字母表的香农完美保密方法, 发明专利, 2019, 第 1 作者, 专利号: CN109409106A

( 4 ) 一种新型香农完美保密方法, 发明专利, 2019, 第 1 作者, 专利号: CN109344627A

( 5 ) 一种基于LAF剪枝决策的快速判定方法, 发明专利, 2019, 第 1 作者, 专利号: CN109117453A

( 6 ) 一种基于代数化的快速逻辑决策方法, 发明专利, 2018, 第 1 作者, 专利号: CN107945275A

( 7 ) 一种临床决策支持与流程管理相结合的系统及其运行机制, 发明专利, 2017, 第 7 作者, 专利号: CN107391948A

( 8 ) 一种可伸缩交通锥智能小车装置, 实用新型, 2017, 第 1 作者, 专利号: CN206528400U

( 9 ) 一种主观评分环境中的高保真公平排名方法, 发明专利, 2017, 第 1 作者, 专利号: CN106339791A

( 10 ) 基于多层重要性采样的高斯滤波方法和高斯滤波器, 专利授权, 2016, 第 1 作者, 专利号: CN105703740A

( 11 ) 一种基于三边定位的自动闸机控制系统及其控制方法, 发明专利, 2014, 第 3 作者, 专利号: CN104200552A

( 12 ) 基于高阶矩匹配的无迹卡尔曼滤波器的多项式方法, 发明专利, 2014, 第 1 作者, 专利号: CN104038180A

( 13 ) 一种高阶矩匹配的多层无迹卡尔曼滤波器的线性扩展方法, 发明专利, 2014, 第 1 作者, 专利号: CN104022757A

出版信息

   
发表论文
(1) OpenFoam中多面体网格生成的MPI+OpenMP混合并行方法, Hybrid MPI+OpenMP Parallel Method on Polyhedral Grid Generation in OpenFoam, 计算机科学, 2022, 第 1 作者
(2) Polynomial dendritic neural networks, NEURAL COMPUTING & APPLICATIONS, 2022, 通讯作者
(3) Minimal Residual Based Iterative Methods and Its Parallel Implementation for Sparse Linear Systems, NCTCS 2020, 2021, 通讯作者
(4) 一种布尔公式的代数逻辑约化新方法, New Algebraic Logic Reduction Method for Boolean Formula, 计算机科学, 2020, 第 1 作者
(5) A Development of LAF for Satisfying Assignments Search, PROCEEDINGS OF 2019 IEEE 3RD INFORMATION TECHNOLOGY, NETWORKING, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (ITNEC 2019), 2019, 通讯作者
(6) 加性噪声下增广容积卡尔曼滤波及其目标跟踪应用, AUGMENTED CUBATURE KALMAN FILTER FOR ADDITIVE NOISE AND ITS APPLICATION TO OBJECT TRACKING, 计算机应用与软件, 2017, 第 2 作者
(7) 基于高斯分布的多层无迹卡尔曼滤波算法, 控制与决策, 2016, 第 2 作者
(8) Nonexistence of Minimal Pairs in L[d], CiE2015, 2015, 第 1 作者
(9) Abstraction of elementary hybrid systems by variable transformation, 20TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS, FM 2015, 2015, 第 1 作者
(10) DISCOVERING NON-TERMINATING INPUTS FOR MULTI-PATH POLYNOMIAL PROGRAMS, JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2014, 第 1 作者
(11) A HEURISTIC FOR SIGMA SET SELECTION OF UKF, 2014 12TH INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING (ICSP), 2014, 第 2 作者
(12) Low-dimensional chaos and fractal properties of long-term sunspot activity, RESEARCH IN ASTRONOMY AND ASTROPHYSICS, 2014, 第 5 作者
(13) A Linear Extension of Unscented Kalman Filter to Higher-Order Moment-Matching, 3rd IEEE CDC, 2014, 第 1 作者
(14) On a question of Csima on computational-time domination, Proceedings of the 12th Asian Logic Confenence, 2013, 第 1 作者
(15) Almost universal cupping and diamond embeddings, ANNALS OF PURE AND APPLIED LOGIC, 2012, 第 1 作者
(16) 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 作者
(17) A superhigh diamond in the c.e. tt-degrees, ARCHIVE FOR MATHEMATICAL LOGIC, 2011, 通讯作者
(18) AN ALMOST-UNIVERSAL CUPPING DEGREE, JOURNAL OF SYMBOLIC LOGIC, 2011, 通讯作者
(19) 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 作者
(20) Degrees with Almost Universal Cupping Property, CiE2010, 2010, 第 1 作者
(21) A Calculus for Hybrid CSP, PROGRAMMING LANGUAGES AND SYSTEMS, 2010, 通讯作者
(22) Joining to high degrees via noncuppables, ARCHIVE FOR MATHEMATICAL LOGIC, 2010, 通讯作者
(23) Infima of d.r.e. degrees, ARCHIVE FOR MATHEMATICAL LOGIC, 2010, 第 1 作者
(24) Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms, TAMC 2009, 2009, 第 1 作者
(25) Isolation, infima and diamond embeddings, JOURNAL OF LOGIC AND COMPUTATION, 2007, 通讯作者
(26) Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems, 第 1 作者

科研活动

   
科研项目
( 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-电子信息