1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
刘江 男 硕导 重庆绿色智能技术研究院
电子邮件：liujiang@cigit.ac.cn
通信地址：重庆市北碚区方正大道266号
邮政编码：400714


研究领域
招生信息

招生专业 计算机应用技术
计算机软件与理论


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

工作经历

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


社会兼职
教授课程
专利与奖励

奖励信息

专利成果 （1） 一种高阶矩匹配的多层无迹卡尔曼滤波器的线性扩展方法，发明，2014，第1作者，专利号：**0X
（2） 基于高阶矩匹配的无迹卡尔曼滤波器的多项式方法，发明，2014，第1作者，专利号：**4.6

出版信息

发表论文 （1） 基于高斯分布的多层无迹卡尔曼滤波算法，控制与决策，2015，第1作者
（2） Abstraction of Elementary Hybrid Systems by Variable Transformation，FM2015，2015，第1作者
（3） Nonexistence of Minimal Pairs in L[d]，CiE2015，2015，第2作者
（4） Discovering Non-terminating Inputs for Multi-path Polynomial Programs， Journal of Systems Science and Complexity，2014，第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） On a question of Csima on computational-time domination，Proceedings of the 12th Asian Logic Confenence，2013，第2作者
（8） Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems，Mathematics in Computer Science，2012，第1作者
（9） Almost universal cupping and diamond embeddings，Ann. Pure Appl. Logic ，2012，第1作者
（10）A superhigh diamond in the c.e. tt-degrees，Arch. Math. Log.，2011，第3作者
（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） Joining to high degrees via noncuppables，Arch. Math. Log.，2010，第1作者
（15） Infima of d.r.e. degrees， Arch. Math. Log.，2010，第1作者
（16） A Calculus for Hybrid CSP，APLAS2010，2010，第1作者
（17） Degrees with Almost Universal Cupping Property，CiE2010，2010，第1作者
（18） Infima of d.r.e. Degrees，CiE2009，2009，第1作者
（19） Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms，TAMC 2009，2009，第3作者
（20） Joining to High Degrees，CiE 2008，2008，第1作者
（21） Isolation, Infima and Diamond Embeddings，J. Log. Comput.，2007，第1作者


发表著作
科研活动

科研项目 （1） 中国科学院青年创新促进会，主持，院级级，2015-01--2018-12
（2） 专利云平台建设及应用服务，主持，市地级，2013-01--2015-12
（3） 混成系统微分不变式计算理论方法，主持，国家级，2013-01--2015-12
（4） 陆地交通混成系统安全性分析与验证，主持，院级级，2013-01--2015-12


参与会议
合作情况

项目协作单位
指导学生现指导学生

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