国家自然科学基金(61272038)
- 作品数：39 被引量：111H指数：4
- 相关作者：蒋亚平甘勇尹毅峰殷兴光蔡增玉更多>>
- 相关机构：郑州轻工业学院陕西国防工业职业技术学院南京航空航天大学更多>>
- 发文基金：国家自然科学基金河南省科技攻关计划河南省教育厅科学技术研究重点项目更多>>
- 相关领域：自动化与计算机技术电子电信轻工技术与工程经济管理更多>>
- 一种新型直流电机控制器被引量：1
- 2015年
- 过去控制直流电机多由单片机完成,其不但接口繁琐,而且速度慢,不易在高温、高压等恶劣环境下工作。针对电压闭环和电流闭环直流调速系统的不足,采用数字信息化的方法,设计一种基于DSP控制器的通用电机调速系统,并将其应用于电动车驱动系统电机控制中。仿真结果表明,该系统工作稳定可靠,运行速度提高了60%以上,达到了设计要求。
- 殷兴光
- 关键词：DSP直流调速电动车PWM
- 一个基于两区间八边形约束的抽象域
- 2017年
- 抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性,已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的非凸性质,抽象域的这种凸性限制很多时候会影响数值分析的精度,甚至带来更多误报。基于两区间八边形约束,提出了一个新的数值抽象域,其约束形式为x±y∈[a,b]∪[c,d],其中x和y表示变量取值,a,b,c,d∈R。该抽象域的域元素是用两区间八边形约束表示,因此可以表达某类非凸性质,表达能力强于经典的八边形抽象域,并且相对于八边形抽象域,域操作的计算复杂度并没有提高太多。
- 丁泽文郭鸿昌阚双龙张弛
- 基于多态性时间戳水印的网络取证研究
- 2016年
- 为使数字水印更适合安全取证的需要,提出一种改良的数字水印设计方案,分析了伪随机序列的特点和现有数字水印中时间戳方案存在的缺陷,将伪随机序列和时间戳理论相结合,提出了一种应用于网络取证的数字水印设计方法。实验结果证明水印的不可分辨性和良好的扩展性,改进后的数字水印设计方案在很大程度上提高了水印的安全性,且减少了对原数字作品嵌入的数据量。因此改良设计方案更加符合网络安全取证对数字水印的安全需要。
- 温何雨尹毅峰樊鲲鹏刘扬
- 关键词：数字水印时间戳伪随机序列
- 人工免疫系统的研究进展与展望被引量：4
- 2021年
- 人工免疫是受生物免疫系统的启发而发展起来的,并逐步成为人工智能研究的热点。首先介绍人工免疫系统的生物原型,并对免疫系统群体计算中的免疫学习、免疫记忆、免疫遗传等算法进行描述;对近几年典型的人工免疫算法与系统进行了深入探讨,通过人工免疫算法在不同领域的应用,展示人工免疫系统在解决复杂问题时具有自组织、自适应、鲁棒性的特点。最后提出免疫算法在未来一段时间内的发展趋势与应用领域,尤其是在免疫协同防御、人工免疫系统与模糊系统集成、量子技术与免疫算法的融合以及人工免疫在无人驾驶技术中的应用,是未来人工免疫系统的发展趋势和研究方向。
- 蒋亚平张安康黎星
- 关键词：人工免疫系统生物免疫系统人工智能
- 基于SVM的查询向量微博话题跟踪技术研究
- 2014年
- 为了使人们能够更准确地了解所关注微博话题的后续发展情况,在分析支持向量机(SVM)算法和基于查询向量的话题跟踪算法这两种传统算法的基础上,提出了一种新的微博话题跟踪算法,即基于SVM的查询向量话题跟踪算法,给出了该算法在微博话题跟踪应用中的流程,并通过数据模拟实验对该算法的性能进行验证。实验表明,该算法能够提高话题跟踪准确率及综合性能。
- 甘勇姜森杨佳佳
- 基于隐写术和关联数码的香烟防伪方法的研究
- 2017年
- 为了解决仅依靠单一的防伪技术难以遏制香烟假冒伪劣行为及防伪标识真假难辨这一问题,提出了一种结合隐写术和关联码的香烟防伪方法,用隐写技术将香烟烟支数码作为暗码隐藏于烟支图标,烟盒条形码作为明码印制在烟盒上,然后把烟盒上的明码和烟支暗码关联,查询者可以通过防伪系统来查询明暗码,对其互相印证从而验证香烟的真伪.
- 张杰张帅帅陈启强
- 关键词：隐写术防伪
- 一种工具支撑的动态故障树定量分析方法被引量：2
- 2017年
- 动态故障树目前被广泛应用在动态系统的可靠性分析中,通过引入动态逻辑门来弥补了传统静态故障树无法描述动态系统时序逻辑关系的缺点.由于动态故障树复杂的动态特性,现有的针对动态故障树的定量分析方法或需要大量的人力劳动或降低了结果的精度,同时还缺少实用工具的支撑.提出一种针对动态故障树的定量分析方法:将动态故障树转到PRSIM语言,并用计算树逻辑定义定量分析属性,从而通过PRISM概率模型检测机对动态故障树进行定量分析;本方法能保证动态故障树定量分析精度,并减少大量的人力劳动.
- 司佳沈国华黄志球王梓潘诚
- 关键词：动态故障树可靠性分析
- 基于免疫识别的最小检测器生成模型
- 2014年
- 高效的检测器是入侵检测系统的核心和决定检测效率的关键,根据形态空间理论提出了最小检测器概念,建立了基于免疫识别的最小检测器生成模型。通过克隆选择、遗传变异以及进化算法生成有效检测器集合,利用改进的冗余优化算法生成最小检测器集合。理论结果表明了最小检测器的可行性和有效性,仿真结果表明,该模型具有较高的检测率和较低的误检率。
- 蒋亚平赵军伟马亚琼田月霞
- 关键词：免疫识别免疫进化网络安全
- 基于知识转换的人工智能统一模型被引量：2
- 2014年
- 分析了人工智能的符号主义、连接主义和行为主义三大学派的主要观点;着重研究了人工智能统一研究的进展和存在的问题;在此基础上,提出了一种基于知识转换的人工智能统一模型,阐述了实现人工智能统一的思路,并分析了新模型的特点。基于知识转换的人工智能统一模型使结构主义学派、符号主义学派、行为主义学派将被综合成为一个有机的整体,对人工智能统一的研究具有一定的参考价值。
- 冯媛张志锋蔡增玉甘勇
- 关键词：人工智能机制主义知识转化
- 一种改进的BM模式匹配算法
- 2015年
- 传统的模式匹配算法匹配效率较低,有时无法满足入侵检测、搜索引擎等系统性能需求。为此,在BM算法及其衍生算法的基础上,提出了一种高效的模式匹配算法—BMQ算法。该算法利用模式串末字符对应的文本字符与文本字符下一个字符的独特性和组合性,有效提高了模式串最大右移位数出现的概率,加快了匹配速度。通过实验对比,BMQ算法的效率优于BM匹配算法;为进一步验证其有效性,将改进后的算法引入到入侵检测系统中,实验测试结果表明,BMQ算法提高了入侵检测效率。
- 蒋亚平田月霞赵军伟
- 关键词：BM算法入侵检测
