删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
陕西师范大学数学与统计学院导师教师师资介绍简介-韩召伟
本站小编 Free考研考试/2021-07-04
基本情况
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日, 国家自然科学基金青年科学基金项目(**);
2. 2013.1月1日-2013年12月31日, 国家自然科学基金数学天元专项基金项目(**);
3. 2014.1月1日-2015年12月31日, 陕西师范大学中央高校基本科研业务费项目(GK);
4. 2008.1月1日-2009年12月31日, 陕西师范大学青年科技项目().
讲授课程
本科生:高等数学、微积分、文科高等数学、线性代数、概率论与数理统计.
上一条:韩国栋 下一条:李平
【关闭】
相关话题/陕西师范大学 数学
陕西师范大学数学与统计学院导师教师师资介绍简介-李平
基本情况教育工作经历:1998/09-2002/06,陕西师范大学,数学系,本科,导师:贾云锋2002/09-2005/06,陕西师范大学,数学与信息科学学院,硕士,导师:李永明2006/09-2010/12,陕西师范大学,数学与信息科学学院,博士,导师:李永明工作经历:2005/7-2008/12 ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-贺鹏飞
基本情况2015年7月毕业于西北大学数学学院,获博士学位,同年进入陕西师范大学数学与信息科学学院工作,2018年8月至2019年8月在美国Vanderbilt大学数学系做访问****。现为基础数学专业的硕士研究生导师,美国《数学评论》评论员,中国逻辑学会非经典逻辑与计算专委会委员,中国人工智能学会人 ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-李三平
基本情况1979年至1983年在陕西师范大学数学系读书,获理学学士学位;1986年至1989年在陕西师范大学数学系读书,获教育学硕士学位;1999年至2005年在西安交通大学数学系读书,博士毕业。1983年毕业至今,在陕西师范大学任教。代表性学术论文1、李三平、吴登文.AComparativeAna ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-李若霞
基本情况2018/03-至今,陕西师范大学,数学与信息科学学院2015/03-2017/12,东南大学,数学学院,博士2012/09-2014/12,燕山大学,理学院,硕士2008/09-2012/07,黄淮学院,数学科学学系,本科代表性学术论文[1]RuoxiaLi,JindeCao,Expone ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-刘丽丽
基本情况2002年7月毕业于山西师范大学数计系,获得理学学士学位。2005年7月毕业于陕西师范大学数学与信息科学学院,获得理学硕士学位,并留校参加工作。2011年12月毕业于西安交通大学理学院获得理学博士学位。2012年晋升为副教授。代表性学术论文[1]LiuLi-li,PengJi-gen,WuB ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-李艳平
基本情况2004年7月到陕西师范数学与统计学院工作至今,研究方向为密码学理论及其应用。2013年9月至2014年9月期间,国家公派至UniversityofFlorida进行访问学习。代表性学术论文1.Aprivacy-preservingpublicintegritycheckschemeforo ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-鲁来凤
基本情况2001年7月毕业于陕西师范大学计算机学院,同年留校任教。2005年3月和2012年6月在西安电子科技大学计算机学院分别获工学硕士和工学博士学位,2012年12月晋升为副教授,2015年9月至2016年9月赴加拿大渥太华大学访问。中国计算机学会会员、密码学会会员,隐私保护专委会委员,主要从事 ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-刘妮
基本情况1999年7月毕业于陕西师范大学数学系数学教育专业,获学士学位;2002年7月毕业于陕西师范大学基础数学专业,获理学硕士学位,同年留校并开始攻读博士学位。2004年底任讲师,2005年获基础数学专业理学博士学位。2009年1月晋升副教授。代表性学术论文在《InformationScience ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-马丽娜
马丽娜副教授姓名:马丽娜性别:女职称:副教授职务:E-mail:malina@snnu.edu.cn工作室:文津楼三段二层3221教育工作经历:2002年7月毕业于陕西师范大学数学系数学教育专业,获理学学士学位,同时留校任教;2006年7月和2011年7月毕业于陕西师范大学基础数学专业,分别获得理学 ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04陕西师范大学数学与统计学院导师教师师资介绍简介-罗新兵
罗新兵副教授姓名:罗新兵性别:男职称:副教授职务:远程教育学院副院长E-mail:xbluo@snnu.edu.cn工作室:教育工作经历:罗新兵,男,安徽桐城人。现为陕西师范大学副教授,瑞典厄勒布鲁大学教授(2012年5月至2014年10月)。1995年9月考入陕西师范大学数学系,学习数学教育专业, ...陕西师范大学师资导师 本站小编 Free考研考试 2021-07-04