当前位置: 首页>>研究生教育>>导师简介>>正文

刘杰
2017-11-19 18:02  

刘杰,男,1974年10月出生,博士,副教授,硕士研究生导师,计算机学院副院长。1997年本科毕业于国防科技大学计算机专业,2018年获华东师范大学计算机应用技术博士学位。国家智能教育技术专委会常务理事,湖南省人工智能学会理事。国家万名创新创业优秀导师。

     


近年主要以核电系统为主要应用背景,研究因果人工智能、大数据技术、形式化方法等技术,提升安全攸关系统的可靠性和安全性。近五年来,主持或参与国家自然科学基金、湖南省自然科学基金、湖南省哲学社会科学基金等国家级及省厅级科研课题4项,完成 32套国产核电系统验证和确认工作,申请发明专利5项,已授权3项,获得软件著作权 3 项。 获得计算机学会科技进步一等奖1项。Email: jliuhn@foxmail.com。          


主要著作  

[1] A Proof-based Method for Hybrid Systems Development Using Differential Invariants. Frontiers Computer Science, 2018, 12(5):1026-1028.

[2] A Formal Framework for Hybrid Event B. Electronic Notes in Theoretical Computer Science, 2014, 309(12): 3-12.

[3] An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants. In Computer Software and Applications Conference (COMPSAC), 2017 IEEE 41st Annual, Turin, Italy 2017. 7.4-7.8

[4] Hybrid Event B. In Proceeding of The 6th Internatioal Workshop on Harnessing Theories for Tool Support in Software, pages 64-73, 2013.

[5] Safety Verification of State/Time-Driven Hybrid Systems Using Barrier Certificates. In Proceeding of the 35th Chinese Control Conference, pages: 2483-2489, 2016.

[6] Method of Detecting Unary Polynomial Inequality Likely Invariants. International Conference on Mechanics ,Robotics and Automation, 2013.

[7] Timed Behavioral Specification in Globally Asynchronous Locally Synchronous systems. TELKOMNIKA Indonesian Journal of Electrical Engineering, 2013.  

[8] 基于合约逐级求解的系统测试用例生成[J]. 计算机工程与设计, 2020, 41(3):8.

[9] 基于DCS系统组件的变力度组合测试方法[J]. 计算机工程, 2021.

[10] 龙格库塔程序的似然蜕变关系识别方法[J]. 计算机工程与设计, 2022, 43(4):8.

[11] 基于 STAMP 模型的核动力蒸汽发生器水位控制系统安全性分析. 中国安全生产科学技术, 2014.

[12] 基于微分动态逻辑的数字化反应堆控制系统建模与验证方法. 中国安全生产科学技术, 2015.


主要课题:

[1] 国家自然科学基金面上项目,61572195,时空统一建模、精化和验证方法研究

[2] 国家自然科学基金面上项目,61472140,信息物理融合系统的随机行为建模与验证

[3] 国家自然科学基金面上项目,61170084,基于MARTE的实时系统模型驱动架构关键

[4] 核反应堆设计技术国家重点实验室基金,HT-YK-04-2015002,压水堆DI&C系统软件全约束模型构建理论和方法研究

[5] 核反应堆设计技术国家重点实验室基金,LRSDT2017304,系统软件测试用例自动生成技术研究

[6] 湖南省科技厅科技计划项目,2011GK3192,核电站数字仪控系统运行时安全监控研究


上一条:杨飞
下一条:何啸峰
关闭窗口
快速通道

地址:中国 湖南 衡阳 常胜西路     
雨母校区:湖南省衡阳市蒸湘区衡祁路228号南华大学雨母校区计算机学院     
电话:0734-8282473     邮编:421001

版权所有:南华大学计算机学院