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

研究领域

   

招生信息

   
招生专业
081203-计算机应用技术
081202-计算机软件与理论
招生方向
Kalman滤波及其应用
形式化方法

工作经历

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

教授课程

   

专利与奖励

   
奖励信息
   
专利成果
( 1 ) 一种高阶矩匹配的多层无迹卡尔曼滤波器的线性扩展方法, 发明, 2014, 第 1 作者, 专利号: 201410263570X
( 2 ) 基于高阶矩匹配的无迹卡尔曼滤波器的多项式方法, 发明, 2014, 第 1 作者, 专利号: 201410219994.6
( 3 ) 一种基于代数化的快速逻辑决策方法, 发明, 2017, 第 1 作者, 专利号: 2017121402031170
( 4 ) 一种可伸缩交通锥智能装置, 实用新型, 2017, 第 1 作者, 专利号: 2017030301140300
( 5 ) 一种新型香农完美保密方法, 发明, 2018, 第 1 作者, 专利号: 201810957456.5
( 6 ) 一种基于LAF剪枝决策的快速判定方法, 发明, 2018, 第 1 作者, 专利号: 2018071801007450
( 7 ) 一种基于二元域的高效决策判定方法, 发明, 2018, 第 1 作者, 专利号: 2018081600856750

出版信息

   
发表论文
(1) A Development of LAF for Satisfying Assignments Search, IEEE 3rd Information Technology,Networking,Electronic and Automation Control Conference, 2019, 第 1 作者
(2) Nonexistence of Minimal Pairs in L[d], CiE2015, 2015, 第 2 作者
(3) Abstraction of Elementary Hybrid Systems by Variable Transformation, FM2015, 2015, 第 1 作者
(4) 基于高斯分布的多层无迹卡尔曼滤波算法, 控制与决策, 2015, 第 1 作者
(5) A Linear Extension of Unscented Kalman Filter to Higher-Order Moment-Matching, 3rd IEEE CDC, 2014, 第 1 作者
(6) A Heuristic for Sigma Set Selection of UKF, ICSP’2014, 2014, 第 1 作者
(7) Discovering Non-terminating Inputs for Multi-path Polynomial Programs,  Journal of Systems Science and Complexity, 2014, 第 1 作者
(8) On a question of Csima on computational-time domination, Proceedings of the 12th Asian Logic Confenence, 2013, 第 2 作者
(9) Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems, Mathematics in Computer Science, 2012, 第 1 作者
(10) Almost universal cupping and diamond embeddings, Ann. Pure Appl. Logic , 2012, 第 1 作者
(11) Computing semi-algebraic invariants for polynomial dynamical systems, EMSOFT2011, 2011, 第 1 作者
(12) Cupping and Diamond Embeddings, CiE2011, 2011, 第 2 作者
(13) An almost-universal cupping degree, J. Symb. Log., 2011, 第 1 作者
(14)  A superhigh diamond in the c.e. tt-degrees, Arch. Math. Log., 2011, 第 3 作者
(15) Degrees with Almost Universal Cupping Property, CiE2010, 2010, 第 1 作者
(16) A Calculus for Hybrid CSP, APLAS2010, 2010, 第 1 作者
(17) Infima of d.r.e. degrees,  Arch. Math. Log., 2010, 第 1 作者
(18) Joining to high degrees via noncuppables, Arch. Math. Log., 2010, 第 1 作者
(19) Infima of d.r.e. Degrees, CiE2009, 2009, 第 1 作者
(20) Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms, TAMC 2009, 2009, 第 3 作者
(21) Joining to High Degrees, CiE 2008, 2008, 第 1 作者
(22) Isolation, Infima and Diamond Embeddings, J. Log. Comput., 2007, 第 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
参与会议
   

合作情况

   
项目协作单位
   

指导学生

已指导学生

叶松庆  硕士研究生  085210-控制工程  

现指导学生

周鸿昊  硕士研究生  081202-计算机软件与理论  

汪晋  硕士研究生  085211-计算机技术