国家自然科学基金(61272038)

作品数：39被引量：118H指数：4
导出分析报告
相关作者：蒋亚平甘勇尹毅峰殷兴光蔡增玉更多>>
相关机构：郑州轻工业学院陕西国防工业职业技术学院南京航空航天大学郑州轻工业大学更多>>
相关期刊：《湖北民族大学学报（自然科学版）》《计算机与网络》《科技通报》《控制工程》更多>>
相关主题：人工智能入侵检测人工免疫机制主义无线射频识别更多>>
相关领域：自动化与计算机技术电子电信轻工技术与工程经济管理更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于多维虚置换的用户位置共享方案
《现代计算机》2021年第18期85-88,92,共5页刘琨鹏 尹毅峰 胡超飞 
国家自然科学基金资助项目(No.U1804263、61572445、61272038);河南省科技攻关项目(No.142102210081);河南省自然科学基金面上项目(No.202300410508)。
无线技术和智能终端的迅速发展大大推广了位置服务技术的广泛应用。在传统的信息集中式服务器管理下,以服务器作为可信第三方经常出现位置隐私的泄露、位置信息的篡改等问题给用户的隐私安全问题带来了巨大的隐患。因此提出了一种分布...
关键词：位置服务 分布式存储 多维虚置换 迭代函数 对称加密 
人工免疫系统的研究进展与展望被引量：5
《信息安全与通信保密》2021年第2期83-92,共10页蒋亚平 张安康 黎星 
国家自然科学基金(No.61272038);河南省科技厅科技攻关基金(No.0624220084);河南省基础与前沿技术研究计划(No.122300410255);河南省教育厅自然科学基金(No.2010A520044)。
人工免疫是受生物免疫系统的启发而发展起来的,并逐步成为人工智能研究的热点。首先介绍人工免疫系统的生物原型,并对免疫系统群体计算中的免疫学习、免疫记忆、免疫遗传等算法进行描述;对近几年典型的人工免疫算法与系统进行了深入探讨...
关键词：人工免疫系统 生物免疫系统 群体计算 人工智能 
一种保护代理的移动目标防御方法被引量：1
《湖北民族大学学报（自然科学版）》2020年第2期165-170,共6页蒋亚平 郭梦佳 张安康 
国家自然科学基金项目(61272038);河南省基础与前沿技术研究计划项目(122300410255).
DDoS攻击对关键基础设施和互联网服务构成重大威胁.在客户和应用服务器之间引入代理作为中间层的防御架构,恶意客户端能在发起DDoS攻击之前收集大量代理信息.为阻止系统受到来自内部人员发起的DDoS攻击、防止代理信息泄露,提出一种保护...
关键词：移动目标防御 DDOS攻击 代理 代理捕获攻击 代理保护 
一种工具支撑的动态故障树定量分析方法被引量：2
《小型微型计算机系统》2017年第9期2006-2010,共5页司佳 沈国华 黄志球 王梓 潘诚 
国家自然科学基金项目(61272038)资助;国家"八六三"高技术研究发展计划项目(2015AA015303)资助;软件新技术与产业化协同创新中心
动态故障树目前被广泛应用在动态系统的可靠性分析中,通过引入动态逻辑门来弥补了传统静态故障树无法描述动态系统时序逻辑关系的缺点.由于动态故障树复杂的动态特性,现有的针对动态故障树的定量分析方法或需要大量的人力劳动或降低了...
关键词：动态故障树 定量分析 模型检测 可靠性分析 
一种Web服务组合一致性验证方法研究被引量：1
《计算技术与自动化》2017年第3期81-86,共6页马薇薇 王进 姜家鑫 
国家自然科学基金(61272038)
为解决Web服务组合事务放松ACID属性后,原子性与一致性无法保证同时满足的问题,提出了一种基于有限状态自动机的服务组合概念一致性检测方法。与以往大多通过运行时监控和协调保证应用一致性的方法不同,该方法采用有限状态自动机在设计...
关键词：WEB服务组合 确定有限状态自动机 事务 一致性检测 
采用CCSL仿真与分析反应式系统事件链模型
《小型微型计算机系统》2017年第8期1718-1723,共6页潘诚 黄志球 王珊珊 王梓 
国家自然科学基金项目(61272038)资助;国家"八六三"高技术研究发展计划项目(2015AA015303)资助;软件新技术与产业化协同创新中心资助
目前,能够对汽车电子领域中复杂嵌入式系统安全关键软件功能建模和时间分析的方法尚在研究中,而这些系统作为反应式控制系统,应该确保其具有准确的、可分析的时间行为.时钟约束规范语言CCSL是反应式系统的标准描述语言中描述时钟约束的...
关键词：反应式系统 事件链 时间约束 CCSL 
路径规划算法的研究与发展被引量：68
《控制工程》2017年第7期1473-1480,共8页杨俊成 李淑霞 蔡增玉 
国家自然科学基金资助项目(61272038);河南省教育厅科学技术研究重点项目(12A520048)
路径规划作为人工智能领域中重点研究热点问题之一,越来越受国内外相关研究人员的关注。在深入研究路径规划的基础上,详细综述了现有的路径规划算法。首先对路径规划算法中涉及的基础知识进行详细的论述;接着分别从启发式搜索算法、智...
关键词：路径规划算法 启发式搜索 全覆盖路径规划 智能优化算法 
基于隐写术和关联数码的香烟防伪方法的研究
《湖北民族学院学报（自然科学版）》2017年第2期186-189,223,共5页张杰 张帅帅 陈启强 
国家自然科学基金项目(61272038)
为了解决仅依靠单一的防伪技术难以遏制香烟假冒伪劣行为及防伪标识真假难辨这一问题,提出了一种结合隐写术和关联码的香烟防伪方法,用隐写技术将香烟烟支数码作为暗码隐藏于烟支图标,烟盒条形码作为明码印制在烟盒上,然后把烟盒上的明...
关键词：关联数码 隐写术 防伪 
网络入侵检测技术的研究进展与展望被引量：7
《轻工学报》2017年第3期63-72,共10页蒋亚平 曹聪聪 梅骁 
国家自然科学基金项目(61272038);河南省科技厅科技攻关基金项目(0624220084);河南省基础与前沿技术研究计划项目(122300410255);河南省教育厅自然科学基金项目(2010A520044)
目前网络面临越来越多的病毒、漏洞和黑客攻击,入侵检测技术作为网络安全防御的核心技术之一,能够有效地检测攻击行为.综述了网络入侵检测技术不同的发展阶段的相关研究与技术,以及基于神经网络、数据融合、计算机免疫学的入侵检测新技...
关键词：入侵检测 人工智能 入侵防御 免疫计算机 
一个基于两区间八边形约束的抽象域
《计算机工程与科学》2017年第4期740-747,共8页丁泽文 郭鸿昌 阚双龙 张弛 
国家863计划(2015AA015303);江苏省研究生培养创新工程(KYLX_0315);国家自然科学基金(61272038)
抽象解释静态程序分析技术用来发现运行时错误,保证程序正确性,已经被成功应用到工业界。抽象域是抽象解释理论中的一个重要方面,然而大部分已存在的数值抽象域无法表示程序的非凸性质,抽象域的这种凸性限制很多时候会影响数值分析的精...
关键词：抽象解释 八边形抽象域 两区间 迁移函数 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部