基本情况

出生年月：1984年9月

专业方向：计算机科学与技术，计算智能

毕业院校：陕西师范大学

学 位：软件与理论硕士学位

职 称：副教授

E-mail：232027@slxy.edu.cn

工作简况：鱼先锋，男，1984年生，陕西商州人，中共党员，副教授，研究生学历。2008年于陕西师范大学，获GIS工学学士学位。2011年于陕西师范大学，获软件理论硕士学位。2011年6月至今在商洛学院任教。主要从事教学、科研及学生管理工作，先后承担《离散数学》、《人工智能》、《数据结构》、《信息安全基础》、《C语言程序设计》《计算机基础》等课程的教学工作。发表核心论文20余篇，2篇被SCI检索，6篇论文被CSCD收录，2篇论文被EI检索，获商洛市自然科学优秀论文二等奖1项，商洛市科学技术奖1项。主持省教育厅项目1项，校级教改项目1项，校级科研项目3项；参与多项省级、校级项目。指导学生完成国家级大创项目2项，在互联网+，挑战杯，蓝桥杯等学科竞赛中获奖多项，校级优秀毕业论文多项。

教学科研成果

（一）论文

1.Yu, X.; Li, Y.; Geng, S. Fuzzy Linear Temporal Logic with Quality Constraints. Mathematics[J] .2024, 12, 3148.https://doi.org/10.3390/math12193148.

2.Li Y M, Liu W, Wang J,Li C,Yu X F. Model checking of possibilistic linear-time properties based on generalized possibilistic decision processes[J]. IEEE Transactions on Fuzzy Systems, 2023，31（10）：3495-3512.

3.鱼先锋,李超,耿生玲.直觉模糊线性时序逻辑推理与应用研究[J].模糊系统与数学, 2023, 37(05): 54-68.

4.鱼先锋,耿生玲.模糊智能决策树模型与应用研究[J].计算机科学与探索, 2022, 16(03): 703-712.

5.鱼先锋,李永明.直觉模糊模型检测在工程决策上的应用[J].模糊系统与数学,2020,34(02):142-150.

6.鱼先锋,李超,李永明.直觉模糊测度的计算树逻辑[J].计算机科学与探索,2017,11(09):1523-1530.

7.鱼先锋.半直觉模糊图与应用[J].计算机工程与应用,2016,52(18):88-91.

8.鱼先锋,雷丽晖,李永明.单道批处理系统的建模与验证[J].计算机科学,2011,38(04):257-259.

（二）项目

1.陕西省教育厅专项科研计划项目(No.16JK1236):半直觉模糊图与应用研究。

2.商洛学院基金项目(No.20SKY021)：带品质约束的模糊计算树时序逻辑及其应用研究。

3.商洛学院基金项目(No.12SKY009)：直觉模糊的满意度计算模型与应用研究。

4.商洛学院教改项目(No.14jyjx108)：新建本科院校计算机专业离散数学教学研究。

5.国家大创项目（No.202111396024）：基于模糊决策的商洛核桃冻害智能预警模型研究。

6.国家大创项目（No.202311396014）：秦岭康养旅游评价与产品开发研究。

获奖情况

1.商洛学院2017年，2023年优秀教师。

2.商洛学院2018年优秀党员。

3.2015年商洛市科学技术技奖二等奖。

4.2013年，2018年，商洛市自然科学优秀论文二等奖。