国家自然科学基金(60903168)

作品数：17被引量：87H指数：5
导出分析报告
相关作者：余建平徐亮许波彭志平赖锦辉更多>>
相关机构：湖南师范大学广东石油化工学院教育部湖南大学更多>>
相关期刊：《Chinese Physics B》《计算机工程与应用》《湖南大学学报（自然科学版）》《计算机工程》更多>>
相关主题：多目标优化AGENT联盟PARETO最优解云模型BLP模型更多>>
相关领域：自动化与计算机技术电子电信更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种消除孤立点的微博热点话题发现方法被引量：9
《计算机应用与软件》2014年第1期105-107,139,共4页赖锦辉 梁松 
国家自然科学基金项目(60903168);广东省教育部产学研结合项目(2010B090400235);茂名市科技计划项目(2011008)
微博具有数量多、字数少、话题广泛等特点,导致数据中孤立点较多,对微博热点话题聚类算法产生不利影响,为此,提出一种消除孤立点的微博热点话题发现方法。首先消除数据集中的孤立点,然后采用CURE(Clustering Using Representatives)算...
关键词：微博热点话题孤立点 CURE算法 发现 
BLP改进模型的形式化描述及自动化验证被引量：3
《计算机工程》2013年第12期130-135,共6页徐亮 谭煌 
国家自然科学基金资助项目(60903168);湖南省科技计划基金资助项目(2012FJ6012);湖南省重点学科建设基金资助项目(湘教发[2011]76号);湖南省教育厅科学研究基金资助项目(13C527);长沙市科技计划基金资助项目(K1109020-11)
在《信息安全技术操作系统安全技术要求》中,提出访问验证保护级安全操作系统的研发过程需要完全形式化的安全策略模型。针对该情况,对经典的数据机密性BLP模型进行相应改进,为系统中的主客体引入多级安全标签以及安全迁移规则,使其满...
关键词：BLP模型 安全策略 形式化方法 自动化验证 定理证明 安全操作系统 
一种新的基于GCS-SVM的网络流量预测模型被引量：25
《计算机工程与应用》2013年第21期75-78,共4页赖锦辉 梁松 
国家自然科学基金(No.60903168);广东省教育部产学研结合项目(No.2010B090400235)
针对网络流量预测模型存在预测稳定性不好、精度较低等问题,提出一种改进布谷鸟搜索算法优化支持向量机的网络流量预测模型(GCS-SVM)。将网络流量时间序列进行重构,采用改进布谷鸟搜索算法优化支持向量机参数,使用这组最优参数建立网络...
关键词：网络流量预测 高斯变异 支持向量机 布谷鸟搜索算法 
基于Android的远程控制系统被引量：16
《计算机工程》2013年第11期280-284,共5页徐亮 
国家自然科学基金资助项目(60903168);湖南省科技计划基金资助项目(2012FJ6012);湖南省教育厅科学研究基金资助项目(13C527);长沙市科技计划基金资助项目(K1109020-11);湖南省重点学科建设基金资助项目(湘教发[2011]76号)
远程控制系统可以让用户访问非本机系统上的各种软、硬件资源。为了在移动平台上为用户提供远程控制服务,提出基于Android系统的远程控制系统。该系统基于Android系统的应用程序规范,遵照RFB协议,通过Java语言实现远程访问和控制系统,...
关键词：远程控制 ANDROID系统 虚拟网络计算系统 RFB协议 JAVA语言 触屏 
基于SMT的TECTL性质的限界模型检测方法被引量：1
《计算机工程与科学》2013年第10期166-171,共6页徐亮 刘宏 
国家自然科学基金资助项目(60903168);湖南省教育厅科学研究项目(13C527);湖南省科技计划资助项目(2012FJ6012);长沙市科技计划资助项目(K1109020-11);湖南省重点学科建设资助项目(湘教发[2011]76号)
近些年来,基于SMT的限界模型检测方法作为基于SAT的限界模型检测方法的一种改进,在对实时系统的检测上已经得到了一定发展。一直以来,限界模型检测多被用于检验存在性性质,而很少用于验证全局性性质,原因之一就是该方法受界限的限制,很...
关键词：限界模型检测 可满足性模理论 全局性性质 实时系统 验证 
实用模型的自动化形式验证
《湖南大学学报（自然科学版）》2013年第9期91-97,共7页徐亮 刘宏 
国家自然科学基金资助项目(60903168);湖南省科技计划资助项目(2012FJ6012);湖南省教育厅科学研究项目(13C527);湖南省重点学科建设资助项目(湘教发[2011]76号)
通过给传统的Biba模型增加相应的敏感级函数,完善其主客体完整性标签,并对其安全操作规则进行相应的改进,使其适应实际的应用需求.采用完全形式化的方法对改进后模型中的各元素、模型必须满足的不变式以及模型迁移规则进行描述,并在此...
关键词：BIBA模型 形式化方法 定理证明 自动化形式验证 安全策略 
改进的验证正确性ACTL性质的限界模型检测方法被引量：7
《计算机科学》2013年第06A期99-102,共4页徐亮 余建平 
国家自然科学基金项目(60903168);湖南省自然科学基金项目(12JJ6063);湖南省科技计划项目(2012FJ6012);长沙市科技计划项目(K1109020-11);湖南省重点学科建设项目(湘教发[2011]76号)资助
近些年来,基于SAT的限界模型检测方法作为基于BDD的限界模型检测方法的一种有效补充,已经得到了一定的发展。其中,大部分的研究成果都集中在了使用该方法来进行系统查错方面,而在正确性性质的验证上一直难有突破,原因在于正确性性质的...
关键词：限界模型检测 可满足性求解 全局计算树逻辑 验证 
改进的BLP模型的建模及其应用
《计算机与现代化》2013年第4期193-197,共5页徐亮 
国家自然科学基金资助项目(60903168);湖南省科技计划项目(2012FJ6012);长沙市科技计划项目(K1109020-11);湖南省重点学科项目(湘教发[2011]76号)
BLP模型是经典的数据机密性模型,也是高等级安全操作系统研发过程中最常使用的一种安全策略模型。但是由于模型自身存在的不足,使得它无法满足实际系统开发的需求。通过对其做相应的改进,并对其做完全形式化的描述,将其应用到具体的系...
关键词：BLP模型 安全策略 形式化 安全迁移规则 安全操作系统 
一类基因表达式程序设计的若干收敛定理及其推广被引量：3
《小型微型计算机系统》2013年第3期606-610,共5页陈明 丁立新 余建平 
国家自然科学基金项目(60975050,60903168,61165004)资助;湖南省教育厅资助科研项目(10B062)资助;福建省自然科学基金项目(2011J05146)资助;湖南师范大学青年项目(11001)资助
基因表达式编程算法(或称基因表达式程序设计)的基因型/表现型双实体为之带来许多不同于传统演化算法的优势,但建立其Markov模型时,我们须在两者之间作出权衡.为简化遗传算子概率结构的分析,本文以基因型空间为搜索空间,研究一类GEP在...
关键词：基因表达式程序设计 完全收敛 几乎必然收敛 依均值收敛 依概率收敛 有限Markov链 
基于蛙跳算法的无线传感器网络节点定位被引量：3
《计算机工程与应用》2012年第20期126-130,186,共6页葛宇 梁静 许波 余建平 
国家自然科学基金(No.60903168);四川师范大学青年基金资助项目(No.10QNL04)
为减小测距误差对无线传感器网络定位精度的影响,将蛙跳算法应用到距离式定位算法的位置计算阶段中,提出了蛙跳定位算法。该算法在适应度函数设计中,根据节点间的测距信息对锚节点进行了加权处理,以降低测距误差对定位结果的影响。结合...
关键词：无线传感器网络 距离式定位算法 最小最大法 蛙跳算法 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部