数理统计专业导师
张家锋 教授
e-mail:jiafengzhang@163.com


硕士生导师简介（张家锋）

主要学习工作经历
1. 2000年9月——2004年6月，淮北师范大学（原淮北煤炭师范学院）数学学院数学与应用数学专业学习，学士
2. 2004年9月——2007年6月，西南交通大学数学学院应用数学专业学习，硕士，秦克云（导师）
3. 2009年9月——2014年12月，西南交通大学信息科学与技术学院交通信息工程与控制专业学习，博士，徐扬（导师）
4. 2007年9月——2014年8月，毕节学院，理学院，讲师、副教授
5. 2014年9月——至今 贵州民族大学，数据科学与信息工程学院， 教授

科研情况
1.学术论文

[1]张家锋，徐扬，曹发生. 格值一阶逻辑中α-语义归结方法的相容性[J]. 辽宁工程技术大学学报, 2016, 35(11): 1335-1340. （核心期刊）
[2]张家锋，徐扬，曹发生. 格值一阶逻辑LF(X)中α-广义语义归结方法的相容性[J]. 模糊系统与数学, 2016, 30(1): 52-58. （核心期刊）
[3]张家锋，徐扬，陈琴. 语言真值格值命题逻辑中的α-语义归结方法. 计算机科学，2015，42(11): 123-129. （核心期刊）
[4]张家锋，曹发生. 格值命题逻辑系统(Ln×L2)P(X)中广义文字的α-归结性. 计算机工程与应用，2015，51(24): 8-11.
[5]张家锋，曹发生. 格值一阶逻辑系统LF(X)中的α-有序语义归结. 四川理工学院学报，2015，28(5): 27-30.
[6]Jiafeng Zhang, Yang Xu, Xingxing He. α-Genenralized semantic resolution method in linguistic truth-valued propositional logic L_V(n×2)P(X). International Journal of Computational Intelligent System, 2014, 7(1):160-171 (SCI源刊，EI检索：20**5)
[7]Jiafeng Zhang, Yang Xu, Xingxing He. α-Resolution fields of generalized literals in lattice-valued propositionallogic. Journal of Computational InformationSystem, 2012, 8(18): 7543-4552 (EI检索：627)
[8]Jiafeng Zhang,Yang Xu.α-Semantic resolutionmethod in lattice-valued logic. 2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD2011), 2011, 26-28, July, Shanghai, China, 1152-1157 (EI检索: 705)
[9]Jiafeng Zhang, Yang Xu, Yi Liu, Xiaoyan Qin. α-Resolution fields of generalized literals in lattice-valued propositional logic (L_n×L₂)P(X). Proceedings of the 9^thInternationalflinsConference: Computational Intelligence Foundations and Applications, 2010, 2-4, August, Chengdu, China, 99-104 (ISTP检索)
[10]张家锋，徐扬，陈琴. 语言真值格值命题逻辑LF(X)中的α-语义归结方法. 计算机科学，2015，42(11): 123-129(北图中文核心期刊)
[11]张家锋, 徐扬. 格值一阶逻辑LF(X)中的α-语义归结方法. 计算机科学, 2014， 已接收 (CSCD核心期刊)
[12]张家锋, 徐扬. 格值命题逻辑LP(X)中的语义归结方法. 辽宁工程技术大学学报(自然科学版), 2010, 29(5): 767-770 (北图中文核心期刊)
[13]张家锋, 邵迎超, 秦克云. R₀-代数滤子的粗糙性. 模糊系统与数学, 2010, 24(6): 163-167 (CSCD核心期刊)
[14]张家锋, 徐扬，何星星. 格值命题逻辑系统LP(X)的语义归结方法. 辽宁工程技术大学学报(自然科学版), 2011, 30(4): 611-614 (北图中文核心期刊)
[15]张家锋, 徐扬, 何星星. 四值非链格值命题逻辑系统L₄P(X)的语义归结原理. 计算机应用研究, 2011, 28(9): 3226-3228 (CSCD核心期刊)
[16]张家锋, 徐扬, 何星星. 格值语义归结推理方法, 计算机科学, 2011, 38(9): 201-204 (CSCD核心期刊)
[17]张家锋, 徐扬. 格值逻辑命题逻辑L_n×2P(X)中广义文字的α-归结性. 四川师范大学学报, 2011, 34(5): 635-639 (北图中文核心期刊)
[18]张家锋, 何星星, 格蕴涵代数LI-理想的粗糙性, 河南科技大学学报（自然科学版）, 2011, 32(5): 64-67 (北图中文核心期刊)

2.科研项目
[1] 基于格值逻辑的自动推理方法研究，贵州省科技厅项目，2013.03——2015.03，已结题。
[2] 基于格值命题逻辑的语义调解自动推理，贵州省教育厅项目，2016.12——2019.12，在研。
[3] 基于格值逻辑的α-调解自动推理研究，贵州省科技厅项目，2017.12——2020.07，在研。
3.专著
张家锋著，基于格值逻辑的语义归结自动推理，成都：西南交通大学出版社，2017年8月，21万字。

学术兼职
中国逻辑学会非经典逻辑与计算专委会委员，任期：2017——2021。