任燕
- 作品数：41 被引量：71H指数：5
- 供职机构：河南理工大学数学与信息科学学院更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金山西省教育科学“十一五”规划课题更多>>
- 相关领域：理学自动化与计算机技术文化科学经济管理更多>>
- 模糊逻辑的紧致性与模糊理论相容度被引量：2
- 2010年
- 为了得到一般理论的相容度函数,利用不同的模糊系统的共同性质——模糊系统的紧致性,基于相容、不相容和全发散理论的性质以及发散度的概念,主要在二值逻辑系统和L*命题逻辑来讨论理论的相容度问题,对有限命题集的相容度函数给出自然的推广,得到一般的命题集的相容度函数,并讨论了相容度函数的性质。
- 任燕王洪丽鲁忠良
- 关键词：模糊逻辑紧致性相容度
- ~*命题集的约简及命题集的根被引量：6
- 2006年
- 本文的主要目的有两个,第一,在*系统中给出了独立命题集的概念,并定义了命题集的约简;第二,讨论了命题集的根。
- 任燕马晓珏王洪涛
- 关键词：不可约元
- 基于辫群的多级强代理盲签名方案被引量：2
- 2009年
- 为了构造一个在辫群代数结构上的多级强代理盲签名方案,研究了辫群的基本定义、性质和难解问题.利用辫群上的共轭难解问题进行构造,完成了该方案的构造.新方案满足强代理签名以及强盲签名方案的各种性质.同时,该方案还具有实现简单且安全性高的特点.
- 任燕李志慧
- 关键词：代理签名多级代理签名盲签名非交换群辫群
- 无随机预言模型下可否认的基于属性的指定证实人签名方案
- 2016年
- 首次在无随机预言模型下构建了可否认的基于属性的指定证实人签名方案。在该方案中,签名者和指定的证实人均可通过执行相同的协议来对签名的有效性进行确认,同时可以通过执行相同的协议来否认无效的签名。最后,对方案的正确性进行了分析,并在无随机预言模型下证明了方案的安全性。分析表明,本方案具有不可伪造性和隐形性。
- 任燕
- 关键词：数字签名
- 模糊数据融合在矿井安全监测系统中的应用被引量：8
- 2008年
- 基于模糊系统理论,提出一种对多种检测数据进行模糊数据融合的检测方法.将矿井中各个监测点得到的信息模糊化,经过数据融合中心的合成运算和决策规则进行优化组合,从而充分利用各个监测点得到的信息,获得对矿井环境状态的精确估计.最后,通过一个实验说明了算法增加了状态监测的置信程度,提高并改善了监测系统的监测性能.
- 刘娟任燕高岩
- 关键词：检测方式数据融合矿井环境
- 一种动态多种群粒子群优化算法被引量：1
- 2011年
- 粒子群优化算法PSO目前仍存在着早熟收敛和收敛速度较慢的难题,提出一种新的PSO改进算法。该算法利用水平集对PSO的每一代粒子按照适应度划分成两个子种群,对两种群采用不同进化策略,并适当进行信息交换,通过采用这种策略提高了算法的收敛速度和精度,同时也减少早熟发生的机会。实验证明,这种改进的算法是非常有效的。
- 王洪涛任燕
- 关键词：粒子群优化算法水平集多种群
- 山西省农业用地结构优化的一般模型
- 2008年
- 本文以优化2015年山西省的农业用地结构为目的,以最大净收益为目标函数,以生态效益和社会效益为约束条件,建立了线性规划的一般数学模型,由所在地区的实际情况代入数据即可得到所在地区的农业用地结构优化的结果。
- 任燕王宏斌
- 关键词：线性规划目标函数
- 微分几何课程学习的几点建议
- 2015年
- 通过对微分几何课程的教学实践,从曲线论和曲面论两方面对课程的学习进行探讨,分别针对曲线论和曲面论中的计算类和证明类题型给出了对应的解题方法,通过本文的论述希望能为学生学习微分几何提供一些参考。
- 任燕
- 关键词：微分几何曲面论解题方法
- 适应中学数学新课程体系的高等代数课程的改革与实践被引量：4
- 2009年
- 目前我国新一轮高中课程改革在不断深化,高等院校正在进行基础教育数学课程改革,这些改革强调情感、态度、价值观,强调探究与发现,高等代数作为数学专业的一门重要基础课,应尽快适应新的形势。研究探讨"高等代数"课程改革中就如何适应中学数学新课程体系所面临的几个主要问题与课程改革的一些理念,分别从教学方法、教学手段及教学内容等方面讨论了课程改革中需要解决的几个问题,提出了课程改革的一些思路。
- 王济荣任燕
- 关键词：高中数学新课程体系高等代数教学方法
- 求解非线性方程组的改进粒子群算法被引量：1
- 2013年
- 针对传统非线性方程组求解方法易导致求解失败和精确度、有效性偏低的问题,提出了一种改进粒子群优化算法.该算法在进化初期采用线性递减权重粒子群进行粗略搜索,后期利用蒙特卡罗算法进行随机搜索,提高了求解精度,对5个典型算例的测试结果表明,MPSO在求解精度、稳定性和全局搜索能力等方面都有明显提高,且实用性和通用性都很强.
- 任燕王洪涛
- 关键词：粒子群算法非线性方程组
