教师登录: 用户名 密码

按

姓名研究方向查找教师

信息工程学院研究生导师队伍
首 页





刘任任教授主页

---

您是第位访问者，欢迎光临！

| 基本信息 | 个人简介| 学习工作经历| 主讲课程| 研究方向| 获奖情况| 科研项目| 著作
| 主要代表性论文| 社会兼职

基本信息

---

姓名:刘任任
职称:教授
电话:**
电子信箱:lrr863@163.com
办公室:
个人主页:暂无

个人简介

---

刘任任，男，1959年出生，中共党员，博士，教授，博士生导师。1993年确定为首批省级青年骨干教师培养对象，1998年确定为湖南省跨世纪学术和技术带头人培养对象后备人选，2002 年确定为湖南省高等学校学科带头人培养对象， 2007 年确定为湖南省 121 人才工程第一层次人选。

主要研究方向为多值逻辑理论、计算机算法、信息安全等。主持完成国家自然科学基金2项、国家863计划子课题1项，湖南省自然科学基金2项，湖南省教育厅重点项目1项。获湖南省科技进步二等奖1项，湖南省自然科学三等奖1项，湖南省优秀教学成果二等奖1项，所主编的《离散数学》被选为国家“十二五”规划教材；公开发表学术论文90余篇。

现任湘潭大学计算机科学与技术硕士学位点负责人， “计算机科学与技术”湖南省“十二五”重点学科负责人，中国计算机学会理事, 湖南省计算机学会常务理事，湘潭市计算机学会理事长，中国计算机学会多值逻辑专业委员会、理论计算机科学专业委员会委员，教育部计算机科学与技术专业指导湖南分委员会专家组成员，全国高等学校计算机教育研究会理事，湖南省高教学会计算机教育专业委员会副理事长，《计算技术与自动化》杂志编委。
Top
学习工作经历

---

1977年9月参加工作。 1978年3月—1981年12月湘潭大学计算数学（软件方向）本科毕业，获理学学士学位，留校任教。 1990年6月获湘潭大学计算机科学理论硕士学位。 2004年12月获中南大学计算机应用技术博士学位。
1987年晋升为讲师。

1993年晋升副教授。

1997年破格晋升为教授。
Top
主讲课程

---

1、计算机科学中的数学基础2、离散数学3、计算机科学导论
Top
研究方向

---

1、多值逻辑理论 2、计算机算法
3、信息安全
Top
获奖情况

---

（1）湖南省优秀教师（记二等功），2007年。

（2）多值逻辑函数结构理论研究，湖南省自然科学三等奖，2010年，排名第一。

（3）小波及小波神经网络的相关理论与应用研究，湖南省科学技术进步二等奖，

2006年，排名第三。

（4）“计算思维-创新实践-学科竞赛”立体化计算机类人才培养模式探索与实践, 湖南 省高等教育教学成果二等奖， 2013年，排名第一。（5）人防工程远程监控报警计算机网络控制系统，军队科技进步奖三等奖，国家人民 防空办公室，2003年，排名第三。（6）湖南省优秀硕士学位论文指导教师，2003年，2005年。

（7）SJW31高速网络密码机，长沙市科技进步一等奖，2005年，排名第五。
Top
科研项目

---

（1）部分多值逻辑函数结构理论及应用研究，国家自然科学基金项目，2007—2009，**，23万，主持。

（2）多值逻辑函数结构及优化理论研究，国家自然科学基金项目， 2001—2003，**，12万，主持。

（3）智能化网络访问终端系统，国家863项目子课题，2002—2003，2005—2006，2001AA114060，30万，主持。

（4）子波参数化及自适应子波神经网络研究，国家自然科学基金项目，2004—2006，**，17万，参与( 2)。

（5）基于多值逻辑理论的网络舆情分析系统的构建研究，湖南省科技厅项目，2011—2012，2011FJ6038，2万，主持。

（6）多值逻辑函数理论在信息安全中的应用研究，湖南省自然科学基金项目，2004—2005，03JJY3099，2万，主持。

（7）多值逻辑函数密码学性质研究，湖南省教育厅重点项目，2007—2009，07A067, 9万, 主持。

（8）基于虚拟机技术的计算机木马病毒全自动分析系统, 湖南省教育厅产业化项目2011—2013, 11CY018, 35万,主持。

（9）面向戏曲动画的数据获取与处理, 横向课题（中科院计算技术研究所）， 2011-2012， 10万, 主持。

（10）新型高效的自适应小波神经网络研究，省杰出青年基金，2005—2007，05JJ10011，8万，结题，参与( 2)。

（11）小波分析在乳腺癌早期检测中的应用研究，湖南省科技厅项目，2007—2010，2007FJ3033，2万，参与( 2)。

（12）智能像卡及其联网系统研究，湖南省科技厅项目， 2003—2004，03JZY3035，2万，参与( 3)。

（13）基于PDM信息系统综合开发平台的研究与应用，2000—2001，00GKY2054，2万，参与( 2)。

（14） 非接触式卡通信监测仪上位机图像处理软件，2014—2016，横向，3万，主持。

（15）显微镜细胞图像处理算法研究，2013—2016,横向，5万，主持。 (16) 显微镜细胞图像识别算法研究，横向， 2011-2013， 5万，主持。
Top
著作

---

（1）《多值逻辑函数结构理论研究》(学术专著)，科学出版社，2009.12，第一作者。

（2）《现代数学手册·计算机数学卷·多值逻辑篇》，华中科技大学出版社（国家九五重点出版项目）,2001.2，独立撰写。

（3）《离散数学》（国家“十二五”规划教材），中国铁道出版社，2015.8，主编。

（4）《算法设计与分析》（普通高等学校计算机科学与技术专业新编系列教材），武汉理工大学出版社，2003.12，主编。

（5）《计算机科学的数学基础》（计算机专业研究生教材），湘潭大学出版社，2007.9，第二作者。

（6）《现代远程教育与信息技术基础》（湖南省教育厅现代远程教育工程教材），湖南人民出版社, 2005.7，编委。
Top
主要代表性论文

---

（1）An improved Shellsort algorithm，THEORETICAL COMPUTER SCIENCE，1997.11。

（2）The Maximal Closed Classes of Unary Functions in p-Valued Logic, Mathematical Logic Quarterly，Vol. 42, 1996,234-240。

（3）Some Results on the Decision and Construction for Sheffer Functions in Partial K-Valued Logic，Multiple-Valued Logical，An International Journal, Vol. 1, 1996 (创刊号),253-269. （4）Some results on the minimal coverings of precomplete classes in partial k-valued logic functions，JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY，2004.12。 （5）关于部分多值逻辑函数集中准完备集的若干性质，计算机学报，2012，35(4)。

（6）部分多值逻辑中保正规关系的准完备集的性质，武汉大学学报（理学版），2012，58（2）。

（7）On the categorizing of simply separable relations in partial four-valued logic，Lecture Notes in Computer Science SPRINGER-VERLAG，2005.5。 （8）On the Categorizing of Fully Symmetric Relations in Partial Four-valued Logic，Lecture Notes in Artificial Intelligence, SPRINGER-VERLAG, 2006.7。

（9）Some results on the simply separable function sets in partial K-valued logic, Proceedings of the IEEE International Conference on Systems, Man and Cybernetics,2004.10。

（10）部分二值逻辑中Sheffer函数的判定，计算机工程, 2004.12。

（11）Some results on the minimal coverings of precomplete classesin partial K-valued logic functions, Proc. of the IEEE International Conference on Systems, Man and Cybernetics,2003.8。

(12） Research on the similarity among precomplete sets preserving m-ary relations in partial K-valued logic, Proceedings of The International Symposium on Multiple-Valued Logic,2003.10。

(13) On Basic Groups and Basic Semi-groups in Partial Multiple-Valued Logic，Proceedings - Fourth International Conference on Fuzzy Systems and Knowledge Discovery,2007.8。

(14) 部分四值逻辑中完满对称函数集的分类及最小覆盖成员的判定, 计算机科学, 2010.11。

(15) “大众化”高等教育下的“精英教育”探索, 计算机教育，2011.12。

(16) 关于部分多值逻辑函数集中准完备集的若干性质,计算机学报，2012.4。

(17) 模型检测规划中的状态之间的可达关系研究, 计算机学报，2012.8。

(18) 模型检测规划中的状态分层方法,软件学报，2009.4。

(19) 部分多值逻辑中保正规关系的准完备集之性质研究, 武汉大学学报（理学版）,2012.4。

(20) Cryptanalyzing an image encryption algorithm based on scrambling and Vegin`ere cipher，Multimedia Tools and Applications，2015.3

(21) 动态环境中的WiFi指纹自适应室内定位方法，传感技术学报，2015.5。

(22) 部分多值逻辑函数集中准完备集的分类问题研究，计算机科学，2014.8。(23) A secret inline hook technology,Control and Intelligent Systems,2014.08
Top
社会兼职

---

（1）中国计算机学会理事。

（2）湖南省计算机学会常务理事。

（3）中国计算机学会多值逻辑专业委员会、理论计算机科学专业委员会委员。

（4）教育部计算机科学与技术专业指导湖南分委员会专家组成员。

（5）全国高等学校计算机教育研究会理事。

（6）湖南省高教学会计算机教育专业委员会副理事长。

（7）湘潭市计算机学会理事长。

（8）《计算技术与自动化》编委。
Top




版权所有 @ 湘潭大学 　管理员登录
单位: 湘潭大学