点击查看原图

潘海玉 正高级 (phyu76@126.com)    

beat365体育亚洲入口计算机与信息安全学院    

形式化方法;模糊逻辑;;

个人简介

潘海玉,工学博士,研究员,硕士生导师,中国计算机学会理论计算机专委会委员,中国计算机学会形式化方法专委会委员,中国人工智能学会离散智能计算专委会委员,中国逻辑学会非经典逻辑与计算专委会委员,中国系统工程学会模糊数学与模糊系统专委会委员,研究方向为形式化方法、模糊逻辑。负责主持国家自然科学基金面上项目、国家自然科学基金地区项目、中国博士后基金、广西自然科学基金面上项目、广西可信软件重点实验室开放基金。以第一作者身份在IEEE Transactions on Fuzzy Systems,Fuzzy Sets and Systems,International Journal of Approximate Reasoning,Theoretical Computer Science,Fundamenta Informaticae等国内外重要学术刊物和国际会议发表论文20余篇,其中中国计算机学会推荐国际学术刊物上发表文章9篇,SCI收录9篇,EI收录15篇。

教育背景
1. 2009.09-2012.06   华东师范大学软件学院,计算机应用技术专业,博士研究生
2. 2006.09-2009.04   浙江理工大学信息和电子学院,计算机应用技术专业,硕士研究生,
3. 1994.09-1996.07   巢湖师范专科学校物理系,电器技术专业,大学专科
工作经历
1. 2012.07-2015.02    安徽工程大学计算机与信息学院,讲师
2. 2015.03-2018.02    泰州学院计算机科学与技术学院,副教授

3. 2018.03-2021.12    beat365体育亚洲入口计算机与信息安全学院,副教授

4. 2022.01-至今         beat365体育亚洲入口计算机与信息安全学院,研究员

 
主要荣誉
学术活动
教学信息

本科生课程:算法设计与分析、ACM算法设计与竞赛等课程;

研究生课程:高级算法、计算机科学中的逻辑学等。

 

 

 
主要论文

[1] Haiyu Pan, Yongzhi Cao, Liang Chang, Junyan Qian, Yumin Lin. Fuzzy Alternating Refinement Relations Under the Gödel Semantics.  IEEE Transactions on Fuzzy Systems, 2021,29(5), 953-964 (SCI 1区, EI, CCF B类)

[2] Haiyu Pan, Fu Song, Yongzhi Cao, Junyan Qian. Fuzzy pushdown termination games. IEEE Transactions on Fuzzy Systems, 2019,4: 760-774 (SCI 1区, EI, CCF B类)

[3] Haiyu Pan, Yongming Li, Yongzhi Cao, Dechao Li. Reachability in fuzzy game graphs. IEEE Transactions on Fuzzy Systems, 2017, 25, 972-984 (SCI 1区,CCF B类)

[4] Haiyu Pan, Yongming Li, Yongzhi Cao, Ping Li. Nondeterministic fuzzy automata with membership values in complete residuated lattices. International Journal of Approximate Reasoning , 2017, 82, 22-38(SCI 2,  CCF B类)

[5] Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma. Model checking computation tree logic over finite lattices. Theoretical Computer Science, 2016, 612, 45-62 (SCI 3区,CCF B类)

[6] Haiyu Pan, Yongming Li, Yongzhi Cao. Lattice-valued simulations for quantitative transition systems. International Journal of Approximate Reasoning, 2015, 56, 28-42 (SCI 2区,CCF B类)

[7] Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma. Model checking fuzzy computation tree logic. Fuzzy Sets and Systems, 2015, 262, 60-77 (SCI 1区,CCF C类)

[8] Haiyu Pan, Yongzhi Cao, Min Zhang, Yixiang Chen. Simulation for lattice-valued doubly labeled transition systems. International Journal of Approximate Reasoning, 2014, 55,797-811 (SCI 2区,CCF B类)

[9] Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen. Quantitative analysis of lattice-valued Kripke structures. Fundamenta Informaticae, 2014, 135, 269-293 (SCI 4区,CCF C类)

[10] 潘海玉,裴道武,陈仪香.基于三I算法的模糊系统的响应能力.控制理论与应用,2011,28(1):24-29(EI)


学术著作
科研项目

[1] 国家自然科学基金地区项目“开放式模糊系统的模型检验研究”,2022.1-2025.12(主持)

[2] 广西可信软件重点实验室开放基金重点项目“模糊计算树逻辑的模型检测”,2019.5-2021.4(主持)

[3] 广西自然科学基金面上项目“不确定型模糊Kripke结构的模型检测方法”,2019.01-2021.12(主持)

[4] 国家自然科学基金面上项目“模糊转换系统的量化等价验证及模型检测研究”,2017.1-2020.12(主持)

[5] 中国博士后科学基金面上项目“状态转换系统的格值等价验证方法研究”,2014.5-2016.12(主持)

[6] 广西可信软件重点实验室开放基金项目“模糊转换系统的量化验证方法的研究”,2016.9-2018.8(主持)


知识产权
联系信息

E-mail: phyu76@126.com

基本要求:

1、非数学类专业学生,要求学过《离散数学》和《算法设计与分析》两门课程且理论基础扎实,能熟练掌握一门编程语言。

2、数学类专业学生,要求成绩单上《数学分析》、《高等代数》等为良好及以上。

3、无抽烟、嗜酒、沉溺于游戏等不良习惯。

4、每周能坚持在实验室学习60小时以上时间

优先考虑:

1、愿意将来继续到国内外攻读博士学位的考生。

2、优先招收学术型硕士。

3、本科为数学专业,理论基础扎实,通过英语六级,

4、参加过ACM国际大学生程序设计大赛、全国大学生程序设计大赛或全国大学生数学建模竞赛。

5、孝顺、诚信,认同中华优秀传统文化,熟读《论语》、《唐诗》和《宋词》等。

温馨提示:

有报考意愿的同学务必事先了解本实验室研究方向及基本要求。


 
 
常用链接



Baidu
sogou