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

研究领域

招生信息
招生专业081203-计算机应用技术
081202-计算机软件与理论

招生方向Kalman滤波及其应用
形式化方法


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

社会兼职

教授课程

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


出版信息
发表论文（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-计算机技术