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

张家锋，男，汉族，1981年05月生，安徽濉溪人，中共党员，博士，教授，数学专业硕士生导师。

主要研究领域：非线性泛函分析，格值逻辑。

1.学习经历    

(1)  2000/9 - 2004/6，淮北煤炭师范学院（现淮北师范大学），数学与应用数学，本科

(2)  2004/9 - 2007/6，西南交通大学，应用数学，硕士

(3)  2008/9 - 2014/6，西南交通大学，计算机科学与技术系，博士     

2.工作经历          

(1)  2019-01 至 今, 贵州民族大学, 数据科学与信息工程学院, 教授

(2)  2014-09 至 2018-12, 贵州民族大学, 数据科学与信息工程学院, 副教授

(3)  2012-01 至 2014-07, 贵州工程应用技术学院, 理学院, 副教授

(4)  2007-08 至 2011-12, 贵州工程应用技术学院, 数学系, 讲师

3.科研成果

（1）主持（或主研）科研项目X项。XXX。

1) 基于格值命题逻辑的语义调解自动推理，贵州民族大学科研项目(15XRY006)，2015.07-2017.06，2.5万元，主持，已结题

2) 基于格值逻辑的自动推理方法研究(黔科合J字LKB[2012]02号)，贵州省科技厅项目，2013.01——2015.03，10万元，主持，已结题

3) 基于格值命题逻辑的语义调解自动推理(黔教合KY字[2016]164号)，贵州省教育厅项目，2016.12——2019.12，6万元，主持，已结题

4) 基于格值逻辑的α-调解自动推理研究(黔科合基础[2017]1084号)，贵州省科技厅项目，2017.10.01——2020.09.30，10万元，主持，已结题

5) 西部高校微分方程中的变分方法专题讲习班, 专项项目, 11942107, 国家自然科学基金委员会, 2020.01.01 —— 2020.12.31, 15万元, 主研，已结题

6) 含局部临界增长的薛定谔-泊松系统多解性研究(黔科合基础[2019]1163号)，贵州省科技厅项目，2019.01.01——2021.12.31，10万元，主研，已结题

 

（2）发表论文情况

1) Jiafeng Zhang, Chunyu Lei, Jun Lei, Ground state solutions for a Schrödinger- Poisson-Slater type equation with critical growth, Mathematical Methods in the Applied Sciences, DOI: 10.1002/mma.8251, In Production.

 

 

2) Wei Guo, Jinfu Yang, Jiafeng Zhang, Existence results of nontrivial solutions for a new p(x)-biharmonic problem with weight function, AIMS Mathematics, 2022, 7(5):  8491-8509.   doi: 10.3934/math.2022473. Published: 28 February 2022.

3) Jiafeng Zhang, Wei Guo, Changmu Chu, Hongmin Suo, Existence of Solutions for a Schrödinger–Poisson System with Critical Nonlocal Term and General Nonlinearity, Journal of Function Spaces, Volume 2020, Article ID 2197207, 5 pages, https://doi.org/10.1155/2020/2197207. WOS:000568559500003，Aug 28 2020 

4) Jiafeng Zhang, Chunyu Lei, Liutao Guo, Positive solutions for a nonlocal Schrödinger-Newton system involving critical nonlinearity, Computers & Mathematics with Applications, 2018, 76(8): 1966-1974. WOS: 000447574100011, https://doi.org/10.1016/j.camwa.2018.07.042. 2018年10月15日

5) 郭微; 张家锋; 索洪敏 ; 一类含临界指数的Schrödinger-Poisson系统的多重正解的存在性, 应用数学, 2021, 34(4): 870-876. （核心期刊）

6) 张家锋，徐扬，曹发生. 格值一阶逻辑中α-语义归结方法的相容性[J]. 辽宁工程技术大学学报, 2016, 35(11): 1335-1340. （核心期刊）

7) 张家锋，徐扬，曹发生. 格值一阶逻辑LF(X)中α-广义语义归结方法的相容性[J]. 模糊系统与数学, 2016, 30(1): 52-58. （核心期刊）

8) 张家锋，徐扬，陈琴. 语言真值格值命题逻辑中的α-语义归结方法. 计算机科学，2015，42(11): 123-129. （核心期刊）

9) 张家锋，曹发生. 格值命题逻辑系统(Ln×L2)P(X)中广义文字的α-归结性. 计算机工程与应用，2015，51(24): 8-11. （核心期刊）

10) 张家锋，曹发生. 格值一阶逻辑系统LF(X)中的α-有序语义归结. 四川理工学院学报，2015，28(5): 27-30.

11) 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 Intelligence Systems, 2014, 7(1): 160-171 (SCI源刊: 000334125500014，EI检索：20141217480055)

12) 张家锋, 徐扬. 格值一阶逻辑LF(X)中的α-语义归结方法. 计算机科学, 2014， 41(9): 274-278.  (CSCD核心期刊)

13) Jiafeng Zhang, Yang Xu, Xingxing He. α-Resolution fields of generalized literals in lattice-valued propositional logic. Journal of Computational Information System, 2012, 8(18): 7543-4552 (EI检索：20123915472627) 

14) Jiafeng Zhang,Yang Xu. α-Semantic resolution method in lattice-valued logic. 2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD2011), 2011, 26-28, July, Shanghai, China, 1152-1157 (EI检索: 20110313596705)

15) 张家锋, 徐扬，何星星. 格值命题逻辑系统LP(X)的语义归结方法. 辽宁工程技术大学学报(自然科学版), 2011, 30(4): 611-614 (核心期刊)

16) 张家锋, 徐扬, 何星星. 四值非链格值命题逻辑系统L₄P(X)的语义归结原理. 计算机应用研究, 2011, 28(9): 3226-3228 (CSCD核心期刊)

17) 张家锋, 徐扬, 何星星. 格值语义归结推理方法, 计算机科学, 2011, 38(9): 201-204. (CSCD核心期刊)

18) 张家锋, 徐扬. 格值逻辑命题逻辑L_n×2P(X)中广义文字的α-归结性. 四川师范大学学报, 2011, 34(5): 635-639  (核心期刊)

19) 张家锋, 何星星, 格蕴涵代数LI-理想的粗糙性, 河南科技大学学报（自然科学版）, 2011, 32(5): 64-67.  (核心期刊)

20) 张家锋, 徐扬. 格值命题逻辑LP(X)中的语义归结方法. 辽宁工程技术大学学报(自然科学版), 2010, 29(5): 767-770. (核心期刊)

21) 张家锋, 邵迎超, 秦克云.  R₀-代数滤子的粗糙性. 模糊系统与数学, 2010, 24(6): 163-167. (CSCD核心期刊)

22) 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^th International flins Conference: Computational Intelligence Foundations and Applications, 2010, 2-4, August, Chengdu, China, 99-104 (ISTP检索)

 

（3）专利、著作

张家锋著，基于格值逻辑的语义归结自动推理(ISBN:978-7-5643-5735-1)，成都：西南交通大学出版社， 2017年8月，19.2万字.

4.学术兼职

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

5.联系方式

邮箱：jiafengzhang@163.com.