自动推理，形式化验证，深度学习，激光雷达点云处理

1. 发表论文：

[1] Jian Zhong, Yang Xu, Feng Cao. A Novel Combinational ATP Based on Contradiction Separation for First-Order Logic[J]. International Journal of Computational Intelligence Systems, 2020.（SCI,三区）

[2] Jian Zhong, Feng Cao, Guanfeng Wu, Yang Xu, Jun Liu. Multi-clause synergized contradiction separation based first-order theorem prover―MC-SCS[C]//2017 12th International Conference on Intelligent Systems and Knowledge Engineering (ISKE). IEEE, 2017: 1-6. (EI）

[3] Jian Zhong, Yang Xu, JianMei Tang. An implementation of data structure for shared term[C]//Uncertainty Modelling in Knowledge Engineering and Decision Making: Proceedings of the 12th International FLINS Conference. 2016: 502-508. （EI）

[4] 钟建, 徐扬, 陈树伟, 何星星. 一阶逻辑中基于稳定度的项评估方法[J].计算机工 程, 2019, 11.（CSCD）

[5] Zhong, J.; Zhao, T.; Xiong, L.; Lin, R.; Wang, Z. An Anonymous Authentication Scheme Based on Chinese Residue Theorem in Wireless Body Area Networks. Mathematics 2023, 11, 2951. https://doi.org/10.3390/math11132951 （SCI,三区）

[6] Jian Zhong, Peiyao Liu, Shuwei Chen. Active Deduction Heuristic Algorithm of Standard Contradiction Separation Rule Based on Reinforcement Learning [C]//2023 18th International Conference on Intelligent Systems and Knowledge Engineering (ISKE). IEEE, 2023 (EI）

2.主持/参与课题（项目）：

（1）本人主持的科研项目

[1] 地质勘探多源数据重构系统（纵向项目 ） 四川省科技厅重点项目，与地质勘探所合作完成。对地质勘探数据的三维重建，实时数据监控等

[2] 基于 3D 点云检测系统（纵向项目 ） 负责内容：项目负责人。系统设计、开发 具体内容：昆明铁路局立项项目。采用激光雷达进行数据采集，利用 3D 点云算法实现列车行车区域限界测量。

[3] 1C 几何参数数据分析系统（纵向项目 ） 负责内容：系统设计、系统开发 具体内容：上海铁路局立项项目，完成铁路接触网几何参数检测的数据分析和缺陷预测。

[4] 基于红外相机检测系统（横向项目） 负责内容：系统设计、系统开发 具体内容：智能相机端采用 C++ 实现相机采用，编码、解码等； 前端采用 C# 实现红外视频以及温度展示 效果：北京地铁、厦门地铁

[5] 成都狮子楼餐饮点餐系统 （横向项目） 负责内容：整体系统设计、系统开发 具体内容：dephi + SqlServer 实现点餐功能

[6] 四川省经济贸易委会经济分析系统 （算法类 ） 负责内容：经济算法分析模块。 具体内容：利用 C++实现经济类数据统计与分析算法（共四个算法模块），编译为动态库供前端调用。

[7] 奔驰 4S 店双屏展示系统 （横向项目） 负责内容：整体系统设计开发 具体内容：c# + sqlserver 实现双屏联动，店内广告信息展示；数据由服务器进行远程推送；设备状态检测等。 效果：应用于湖南奔驰 4S 店。

[8] 四川万家和装饰有限公司，薪资管理系统 （横向项目） 负责内容：整体系统设计开发 具体内容：C#+sqlserver 主要实现薪资管理模块，人员管理模块，合同管理模块 效果：在用。 

[9] 装修公司 web 端 3D 呈现交互系统。（横向项目） 负责内容：项目架构和项目管理， 具体内容：3 人团队完成调研，算法设计等。

[10] 高铁 4C 项目 （工程应用类） 负责内容：整体设计与架构 具体内容：C# 完成离线、在线以及数据分析等模块 效果：中老铁路施工检测、综合巡检车；安九线大 4C 检测；武汉电气化局工程检测车

[11] CPII (高速铁路工程测量平面控制网) 系统 （工程应用类） 负责内容：总体设计，项目管理 具体内容：实现算法模块，完成 CPII 的各项计算测量（线路放样，支持装置测量，承力索测量等） 效果：武汉电气化局中老铁路施工测量

（2）本人参与的科研项目

[1] 国家自然科学基金面上项目（Nos.61673320）：基于矛盾体分离的动态自动演绎推理研究,2017.01 ∼ 2020.12。

[2] 国家自然科学基金面上项目（Nos.61175055）：基于格值逻辑的 α-n(t)元归结动 态自动推理研究, 2013.01 ∼ 2016.12。

[3] 四川省经济和信息化委员会项目：工业信息系统可信性自动验证平台建设。2016.1 ∼ 2017.12。

[4] 企业横向项目（中车唐山机车车辆厂）：列车网络控制系统认证性测试验证项 目。2015.12 ∼ 2016.6。

[5] 四川省科技计划项目，应用基础研究计划（项目编号：2020YJ0270）：基于逻辑自动推理与机器学习的软件可 信性验证研究，2020.01―2021.12

编程语言类课程《Java 》、《Java Web》《C++》

安全类课程《操作系统安全》、《安全编程技术》、《软件形式化验证》

基础课程《数据结构》、《数据库》