个人简历

刘任任，男，1959年10月出生，中共党员，博士，二级教授，博士生导师。1993年确定为首批省级青年骨干教师培养对象，1998年确定为湖南省跨世纪学术和技术带头人培养对象后备人选，2002年确定为湖南省高等学校学科带头人培养对象，2007年确定为湖南省121人才工程第一层次人选。主持完成国家自然科学基金2项、国家863计划子课题1项，湖南省自然科学基金2项，湖南省教育厅重点项目1项。获******科学技术一等奖1项，湖南省科技进步二等奖1项，湖南省自然科学三等奖1项，JD科学技术进步三等奖1项，湖南省优秀教学成果二等奖1项、三等奖2项；公开发表学术论文80余篇，出版学术专著1部，教材4本，其中所主编的《离散数学》被选为国家“十二五”规划教材。获宝钢优秀教师奖、湖南省优秀教师等荣誉称号。主要学术贡献为1996年与导师合作彻底解决了一元p（质数）逻辑函数完备性之判定问题（Math. Log. Quart. 42（1996）234-240），并于1999年当选为IEEE计算机学会多值逻辑技术委员会委员。曾先后中国计算机学会理事、 ACM会员、IEEE会员、中国逻辑学会非经典逻辑与计算专业委员会副主任、湖南省计算机学会常务理事、中国计算机学会理论计算机科学专业委员会常委、教育部计算机科学与技术专业指导湖南分委员会专家组成员、湖南省普通高等学校计算机类专业教学指导委员会副主任、全国高等学校计算机教育研究会理事、湖南省高教学会计算机教育专业委员会副理事长、湖南省物联网学会常务理事、《计算技术与自动化》杂志编委。

研究领域

""1、多值逻辑理论; 2、计算机算法; 3、信息安全""""

近期论文

An improved Shellsort algorithm，THEORETICAL COMPUTER SCIENCE，1997.11.\r
\r
The Maximal Closed Classes of Unary Functions in p-Valued Logic, Mathematical Logic Quarterly，Vol. 42, 1996.\r
\r
Some Results on the Decision and Construction for Sheffer Functions in Partial K-Valued Logic，Multiple-Valued Logical, Vol.1,1996.\r
\r
Some results on the minimal coverings of precomplete classes in partial k-valued logic functions，JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY，2004.12.\r
\r
关于部分多值逻辑函数集中准完备集的若干性质，计算机学报，2012.\r
\r
模型检测规划中的状态之间的可达关系研究, 计算机学报，2012.\r
\r
模型检测规划中的状态分层方法,软件学报，2009.4.\r
\r
Cryptanalyzing an image encryption algorithm based on scrambling and Vegin`ere cipher，Multimedia Tools and Applications,2016.75(10).\r
\r
动态环境中的WiFi指纹自适应室内定位方法，传感技术学报，2015.5.\r
\r
A secret inline hook technology,Control and Intelligent Systems,2014.8.\r
\r
Cryptanalyzing a novel couple images encryption algorithm based on DNA subsequence operation and chaotic system, Optik-International Journal for Light and Electron Optics, 2015, 126(24).\r
\r
基于HSI修正空间信息融合的彩色白细胞图像分割方法，生物医学工程学杂志.2016.2.\r
\r
结合距离变换与边缘梯度的分水岭血细胞分割，中国图象图形学报，2016.2.