国家重点基础研究发展计划(2009CB320706)

作品数：26被引量：102H指数：5
导出分析报告
相关作者：胡亮努尔布力柴胜袁巍解男男更多>>
相关机构：吉林大学新疆大学清华大学公安部第一研究所更多>>
相关期刊：《电子学报》《Chinese Journal of Electronics》《中国科技论文》《吉林大学学报（理学版）》更多>>
相关主题：计算机应用计算机系统结构RC4算法入侵检测RFID更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Towards Verified Software：Mirror Theory of Programming
《Chinese Journal of Electronics》2017年第2期279-284,共6页ZHANG Junfu ZHAO Wen YUAN Chongyi 
supported by National Grand Fundamental Research 973 Program of China(No.2009CB320706,No.2010CB32813);National Core-Hightech-Basic Project(No.2010ZX01045-001-008);the National Nature Science Foundation of China(No.61170001)
A program,when being executed,acts like a mirror that produces mirror images for objects in front of it.A mirror distinguishes itself from others by the way how it changes the shape of an object.A program can be chara...
关键词：Operation expression Semantic axiom Programming logic Theory of programming Verified software 
基于移动汇聚节点延迟容忍的节能策略被引量：2
《吉林大学学报（工学版）》2015年第5期1586-1591,共6页匡哲君 师唯佳 胡亮 周航 
'863'国家高技术研究发展计划项目(2011AA010101);吉林省重大科技攻关项目(2011ZDGG007);国家自然科学基金项目(61073009;60873235);'973'国家重点基础研究发展计划项目(2009CB320706)
根据对无线传感器网络静态和移动汇聚节点模型的分析,在应用层延迟容忍的基础上提出了一种移动延迟容忍的策略。该策略利用移动代理节点代替静态的汇聚节点,移动到节点附近进行数据的收发,缓解了'能量洞'问题。延迟容忍的节能策略能够...
关键词：计算机应用 无线传感器网络 移动汇聚节点 延迟容忍 节能 
基于无线传感器网络的角色成员关系剩余能量新算法
《吉林大学学报（工学版）》2015年第2期600-605,共6页匡哲君 师唯佳 胡亮 
'863'国家高技术研究发展计划项目(2011AA010101);吉林省重大科技攻关项目(2011ZDGG007);国家自然科学基金面上项目(61073009;60873235);'973'国家重点基础研究发展计划项目(2009CB320706)
将传感器节点的剩余能量和通信代价这两个参数作为参考依据,提出了角色成员关系能量算法(Role energy-efficient membership,REEM)。该算法构建了节点之间的角色关系和成员关系,并且通过这两层关系进行信息的传输。节点的剩余能量和汇...
关键词：计算机系统结构 无线传感器网络 剩余能量 角色成员关系 汇聚节点 REEM算法 
Lerisk-i^＊框架自动建模与编辑工具介绍
《计算机科学》2014年第9期45-51,79,共8页李天颍 刘璘 寇晓溪 赵德旺 
国家基础研究发展计划(973计划)(2009CB320706);国家高技术研究发展计划(863计划)(2012AA040904);国家自然科学基金重大项目(90818026)资助
在需求工程中,基于主体的i*建模框架(主要包括策略依赖模型及策略推理模型)已经成为最常用的早期需求建模与分析的工具之一,而且关于i*建模框架的编辑工具开发也有很多相关的研究工作。然而现有的这些工具往往只提供诸如模型图编辑、存...
关键词：i^＊建模框架 可视化工具 自动布局 策略依赖 策略推理 
无线网络中WEP攻击数据集的分析与实现被引量：3
《吉林大学学报（理学版）》2014年第1期71-75,共5页张辰 胡亮 努尔布力 
国家自然科学基金(批准号:61073009;61163052);国家重点基础研究发展计划973项目基金(批准号:2009CB320706);国家高技术研究发展计划863项目基金(批准号:2011AA010101);新疆大学博士科研启动基金(批准号:BS110126)
针对有线对等私密协议(wired equivalent privacy,WEP)下的无线安全漏洞与KDD99攻击数据集中攻击特征的构成,利用人为构造的无线环境下WEP协议攻击实验,基于特征选择算法,完整地实现了WEP攻击数据的采集与特征提取,并进一步构建了基于WE...
关键词：无线网络 WEP协议 WEP攻击 特征数据集 
一种基于数据挖掘的多步入侵警报关联模型被引量：2
《吉林大学学报（理学版）》2013年第5期881-886,共6页于潇菂 努尔布力 胡亮 解男男 
国家自然科学基金(批准号:61073009;61163052);国家重点基础研究发展计划973项目基金(批准号:2009CB320706);国家高技术研究发展计划863项目基金(批准号:2011AA010101);新疆大学博士启动基金(批准号:BS110126)
基于传统网络入侵检测系统,提出一种基于数据挖掘的多步入侵警报关联模型.该模型能将多个入侵检测系统的警报信息进行融合,对大量、无序的警报信息进行分析,发现其中的内在联系,精简攻击事件警报,并通过不断更新场景知识库发现融合后警...
关键词：数据挖掘 异常检测 多步入侵 警报关联模型 
基于智能规划的多步攻击场景识别算法被引量：5
《电子学报》2013年第9期1753-1759,共7页胡亮 解男男 努尔布力 刘志宇 柴胜 
国家重点基础研究发展计划(No.2009CB320706);国家高技术研究发展计划(No.2011AA010101);国家自然科学基金(No.61073009;N61163052);新疆大学博士启动基金(No.BS110126)
多步攻击的识别过程与智能规划的求解过程具有一定的对应性.提出了一种基于智能规划的多步攻击识别模型,将智能规划的方法应用于多步攻击识别的领域,并以此为基础实现相应的识别算法.采用DARPA数据集进行实验,这种算法在多步攻击识别领...
关键词：多步攻击 智能规划 攻击场景识别 
一种基于知识表示的多步攻击规划问题描述模型被引量：4
《电子学报》2013年第6期1101-1107,共7页努尔布力 解男男 刘志宇 胡亮 柴胜 
国家重点基础研究发展计划(973计划)(No.2009CB320706);国家高技术研究发展计划(863计划)(No.2011AA010101);国家自然科学基金(No.61073009;No.61163052);吉林省重大科技攻关项目(No.2011ZDGG007);长春市国际合作项目(No.11GH12);新疆大学博士启动基金(No.BS110126)
网络入侵检测中,攻击的形式越来越多样化和复杂化,网络多步攻击成为当前攻击的主要形式.智能规划最早用于人工智能领域,将一个领域内的知识形成规划推理时的规划域,将待求解的问题对应于规划问题.将智能规划应用于多步攻击领域,用以对...
关键词：多步攻击 智能规划 安全规划问题 PDDL 
基于规则推理的语义检索若干关键技术研究被引量：7
《电子学报》2013年第5期977-981,共5页马森 赵文 袁崇义 张世琨 王立福 
国家973重点基础研究发展计划(No.2009CB320706);解放军总装备部预研项目(No.513150202)
针对专业领域复杂的检索需求,目前相关研究采用基于语义的方法来扩展检索范围并提高准确度.在语义推理方面,目前搜索引擎通常直接采用语义网中的推理算法,推理效率不高.在排序方面,基于关键字的搜索引擎的排序算法也不适合对语义检索结...
关键词：语义检索 语义规则 语义规则推理 语义相似性排序 
基于Web日志挖掘的网页推荐方法被引量：4
《吉林大学学报（理学版）》2013年第2期267-272,共6页解男男 胡亮 努尔布力 樊丽 印晓天 
国家自然科学基金(批准号:61163052;61073009;60873235);国家高技术研究发展计划863项目基金(批准号:2011AA010101);国家重点基础研究发展计划973项目基金(批准号:2009CB320706);教育部新世纪优秀人才支持计划项目(批准号:NCET-06-0300)
针对传统单纯聚类算法实现网页推荐精确度欠缺的问题,提出一种基于Web日志挖掘的个性化网页推荐模型,并实现了相应的网页推荐算法,算法结合聚类分析和关联规则挖掘,能有效实现网页推荐.实验结果表明,在保障网页页面推荐覆盖率的条件下,...
关键词：网页推荐 模糊聚类 关联规则挖掘 WEB日志挖掘 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部