欢迎光临数学与信息科学学院!
设为首页 | 加入收藏 | 联系我们 | 怀念旧版
副教授
    教授
    副教授
    讲师
    师资博士后
推荐新闻  
我院举行武虎林兼职教授聘任仪式
游旭群副校长参加我院党委201...
我院年度学术报告会顺利召开
2016年度我院基金资助成绩喜...
我院2016年获12项国家自然科...
我院卓越教师实验班学生走进...
我院党委换届选举大会顺利举行
您现在的位置: 首页 > 师资队伍 > 副教授 > 正文
韩召伟 副教授
姓名: 韩召伟
性别:
职称: 副教授(硕士生导师)
职务:
E-mail: hanzw888@snnu.edu.cn
工作室: 文津楼三段三层3304
教育工作经历:
1999-2003年, 在陕西师范大学数学与信息科学学院获数学与应用数学专业学士学位,同年留校任教; 2004-2007年, 在陕西师范大学数学与信息科学学院获基础数学专业硕士学位, 主要研究领域为计算智能,模糊自动机理论; 2007-2011年, 在陕西师范大学计算机科学学院获计算机软件与理论专业博士学位,主要研究领域为量子计算与量子逻辑、计算机软件与理论和模糊自动机理论.
论文、专著:
1. 韩召伟, 李永明. 量子Müller自动机与单体二阶量子逻辑, 软件学报, 2014, 25(1): 27-36.
2. 韩召伟. 量子Büchi自动机的代数及逻辑刻画, 电子学报, 2013, 41(6):1093-1100.
3. 韩召伟, 李永明. 模糊Büchi自动机的等价刻画, 计算机学报, 2013, 36(6):1235-1245.
4. 韩召伟, 李永明. 基于量子逻辑的下推自动机与上下文无关文法, 软件学报, 2010,21(9): 2107-2117.
5. 韩召伟, 李永明. 格值Mealy自动机的同余和同态,模糊系统与数学,2007,21(2),53-64.
6. 韩召伟. 量子无穷正则语言的代数性质,陕西师范大学学报(自然科学版), 2012, 40(5): 9-13.
7. 韩召伟, 李永明. 基于量子逻辑的下推自动机的代数刻画, 计算机工程与科学, 2008, 30(11): 72-74.
8. 韩召伟, 韩召莹. Lukasiewicz逻辑值上下文无关语言的代数刻画, 计算机工程与应用, 2011, 47 (3): 47-50.
9. 宋小震, 韩召伟, 李永明. 量子上下文无关文法的代数性质, 计算机工程与应用, 2011, 47 (4): 42-46.
科研项目:

1. 2015.1月1日-2017年12月31日, 国家自然科学基金青年科学基金项目(11401361);

2. 2013.1月1日-2013年12月31日, 国家自然科学基金数学天元专项基金项目(11226266);

3. 2014.1月1日-2015年12月31日, 陕西师范大学中央高校基本科研业务费项目(GK201402002);

4. 2008.1月1日-2009年12月31日, 陕西师范大学青年科技项目(200701008).

各种奖励:
讲授课程:
本科生:高等数学、微积分、文科高等数学、线性代数、概率论与数理统计.
历届指导研究生:
2014级:付雯静.
地址:西安市长安区西长安街620号       邮编:710119 
邮箱:maths@snnu.edu.cn 电话:029-85310232 传真:029-85310277 

陕西师范大学数学与信息科学学院