姓 名 王晓峰
性 别 男
出生日期 1980年10月
职 务 智能科学与技术系教师
职 称 副教授
政治面貌 中共党员
毕业院校 贵州大学
学历/ 学位 研究生/博士
学科专业 软件工程
邮 箱 wxf_nun@163.com

教育经历
2010年9月-2013年6月在贵州大学计算机软件与理论专业，获工学博士学位。
工作经历
2013.11—今，就职于北方民族大学 计算机科学与工程学院
教学科研
1.主持国家自然科学基金项目“规则结构限制下信息传播算法的收敛性研究”；
2.主持北方民族大学自主科研基金项目“随机实例集上信息传播算法的收敛性研究”;
3.主持北方民族大学校级科研项目“求解命题公式关键文字集的信息传播算法的设计与分析研究”;
4.参与国家自然科学基金项目“命题公式有效推理的特殊变元集及算法研究”;
5.参与国家自然科学基金项目“信息传播算法的数学理论和原理”;
6.参与国家自然科学基金项目“带正则结构的命题公式的可满足性问题研究”;
7.王晓峰,许道云.《RB模型实例集上置信传播算法的收敛性》，软件学报,2016.
8.王晓峰,许道云.《警示传播算法收敛的一个充分条件》,软件学报,2016.
9.王晓峰,李强，丁红胜.《规则实例集上警示传播算法的收敛性》，计算机科学，2015,42（1）.
10.王晓峰,许道云,韦立.《随机可满足实例集上警示传播算法的收敛性》，软件学报，2013,24（1）:1-11.（一级学报，EI源刊20**6）.
11.王晓峰,许道云,秦永彬.《信息传播算法收敛的后门集》，西南交通大学学报,2012.47(1):32-38.（EI源刊,检索号:240）.
12.王晓峰,许道云,秦永彬.《求解公式关键文字的信息传播算法》，山东大学学报,2011,41(3):1-6.
13.王晓峰,许道云,唐瑞雪.《基于DPLL的混合遗传算法求解SAT问题》，计算机工程与科学,2010,32(5):54-56.
14.王晓峰.《基于遗传算法的SAT问题判定》，宁夏工程技术,2009,8(2).
15.王晓峰.《有穷自动机状态极小化方法及正则语言判定优化》,广西民族大学学报,2008,14(3).
16.XUDaoyun,WANGXiaofeng.《ReductionTechniquesforSatisfiabilityProblems》,逻辑研究,2012,5(1):35-49.
17.LIQiang,WANGXiaofeng.《CollectiveTracesModelinginCollaborativeWorkingEnvironment》，2015，(EI).
18.许道云,王晓峰.《一个可控变迁系统模型》，广西师范大学学报,2011,29(2).
19.王伦津,王晓峰.《JAVA语言互动式教学模式探索》，宁夏工程技术,2005,4(2).
20.许道云,韦立,王晓峰.《布尔函数的性质学习与测试》，武汉大学学报,2012,58(2).
21.许道云,韦立,王晓峰.《鸽巢公式的性质》，软件学报,2011,22(11).
22.韦立,许道云,王晓峰.《参数化匹配问题》，广西师范大学学报,2011,29(1).
23.秦永彬,许道云,王晓峰.《基于警示传播与DPLL算法的启发式极性决策算法》,计算机科学,2010,37(12).
24.王正才,许道云,王晓峰.《基于基于自动机并操作的多目标AC-BM算法》,计算机科学,2013,119-123.
25.唐郑熠,许道云,王晓峰.《基于模型检测技术的语义WEB服务自动组合》,吉林大学学报,2013,（EI源刊）.
26.王正才,许道云,王晓峰.《BAN逻辑的可靠性分析与改进》,计算机工程,2012,110-115.
成果奖励
1.博士学位论文《随机实例集上信息传播算法的收敛性》获得2014年贵州省优秀博士学位论文奖;
2.2012年获得贵州省硕博论坛一等奖;
3.2014年终考核优秀;2015年终考核优秀;