您的位置： 专家智库 > >

国家自然科学基金(60903168)

作品数：17 被引量：89H指数：5
相关作者：余建平徐亮许波彭志平赖锦辉更多>>
相关机构：湖南师范大学广东石油化工学院教育部更多>>
发文基金：国家自然科学基金湖南省教育厅科研基金湖南省重点学科建设项目更多>>
相关领域：自动化与计算机技术电子电信更多>>

文献类型

  • 17篇中文期刊文章

领域

  • 16篇自动化与计算...
  • 1篇电子电信

主题

  • 4篇多目标优化
  • 3篇定理
  • 3篇形式化
  • 3篇网络
  • 2篇定理证明
  • 2篇多目标
  • 2篇云模型
  • 2篇自动化
  • 2篇最优解
  • 2篇安全操作
  • 2篇安全操作系统
  • 2篇PARETO...
  • 2篇PARETO...
  • 2篇AGENT联...
  • 2篇BLP模型
  • 2篇操作系
  • 2篇操作系统
  • 1篇多AGENT
  • 1篇多目标进化
  • 1篇多目标进化算...

机构

  • 13篇湖南师范大学
  • 8篇广东石油化工...
  • 6篇教育部
  • 3篇湖南大学
  • 1篇成都电子机械...
  • 1篇广州番禺职业...
  • 1篇暨南大学
  • 1篇四川师范大学
  • 1篇武汉大学

作者

  • 8篇余建平
  • 6篇徐亮
  • 6篇许波
  • 4篇彭志平
  • 2篇梁松
  • 2篇王永
  • 2篇赖锦辉
  • 2篇刘宏
  • 1篇柯文德
  • 1篇葛宇
  • 1篇谭煌
  • 1篇梁静
  • 1篇朱兴统
  • 1篇周顺先
  • 1篇丁立新
  • 1篇陈晓龙
  • 1篇陈明
  • 1篇王伟
  • 1篇王伟

传媒

  • 3篇计算机工程
  • 2篇小型微型计算...
  • 2篇计算机工程与...
  • 1篇系统工程理论...
  • 1篇计算机工程与...
  • 1篇湖南大学学报...
  • 1篇计算机应用与...
  • 1篇计算机应用
  • 1篇信息与控制
  • 1篇系统仿真学报
  • 1篇计算机与现代...
  • 1篇计算机科学
  • 1篇Chines...

年份

  • 1篇2014
  • 8篇2013
  • 5篇2012
  • 1篇2011
  • 2篇2010
共 17 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
基于蛙跳算法的无线传感器网络节点定位被引量：3
2012年
为减小测距误差对无线传感器网络定位精度的影响,将蛙跳算法应用到距离式定位算法的位置计算阶段中,提出了蛙跳定位算法。该算法在适应度函数设计中,根据节点间的测距信息对锚节点进行了加权处理,以降低测距误差对定位结果的影响。结合最小最大法构造初始种群,使其包含更多可行解,从而提高算法效率。仿真结果表明,与采用极大似然估计法或总体最小二乘法来进行位置计算的距离式定位算法相比,该算法有效降低了距离误差对定位精度的影响,具有较高的定位精确度和稳定性,是一种实用的无线传感器网络节点定位方法。
葛宇梁静许波余建平
关键词：无线传感器网络蛙跳算法
一种基于云模型的多目标进化算法被引量：5
2012年
在多目标进化算法的基础上,提出了一种基于云模型的多目标进化算法(CMOEA).算法设计了一种新的变异算子来自适应地调整变异概率,使得算法具有良好的局部搜索能力.算法采用小生境技术,其半径按X条件云发生器非线性动态地调整以便于保持解的多样性,同时动态计算个体的拥挤距离并采用云模型参数来估计个体的拥挤度,逐个删除种群中超出的非劣解以保持解的分布性.将该算法用于多目标0/1背包问题来测试CMOEA的性能,并与目前最流行且有效的多目标进化算法NSGA-II及SPEA2进行了比较.结果表明,CMOEA具有良好的搜索性能,并能很好地维持种群的多样性,快速收敛到Pareto前沿,所获得的Pareto最优解集具有更好的收敛性与分布性.
许波彭志平陈晓龙柯文德余建平
关键词：多目标优化多目标进化算法云模型PARETO最优解
改进的BLP模型的建模及其应用
2013年
BLP模型是经典的数据机密性模型,也是高等级安全操作系统研发过程中最常使用的一种安全策略模型。但是由于模型自身存在的不足,使得它无法满足实际系统开发的需求。通过对其做相应的改进,并对其做完全形式化的描述,将其应用到具体的系统当中,从而满足《信息安全技术——操作系统安全技术要求》(《GB/T 20272-2006》)中对"访问验证保护级"安全操作系统研发过程中提出的需要完全形式化的安全策略模型的需求。
徐亮
关键词：BLP模型形式化安全操作系统
基于云模型的NSGA-Ⅱ算法改进被引量：3
2012年
如何使算法快速收敛到真正的Pareto前沿,并保持解集在前沿分布的均匀性是多目标优化算法重点研究解决的问题.提出一种基于云模型的改进NSGA-Ⅱ算法,利用正态云模型云滴的随机性和稳定倾向性特点,分别对交叉、变异、拥挤距离算子进行改进.使算法既具有传统的趋势性和满足快速寻优能力,又具有随机性.在提高收敛速度与保持种群多样性之间做了个很好的权衡.通过求解多目标背包问题,对本文算法的多目标优化性能进行了考察,并与NSGA-Ⅱ算法进行比较,结果表明本文算法在整个解空间内能快速搜索到Pareto最优解,使搜索到的Pareto最优解在前沿均匀分布.
许波彭志平余建平王永
关键词：云模型多目标优化函数优化
实用模型的自动化形式验证
2013年
通过给传统的Biba模型增加相应的敏感级函数,完善其主客体完整性标签,并对其安全操作规则进行相应的改进,使其适应实际的应用需求.采用完全形式化的方法对改进后模型中的各元素、模型必须满足的不变式以及模型迁移规则进行描述,并在此基础上利用定理证明器Isabelle完成对该模型的自动化形式验证,从而实现高等级安全操作系统研发过程中对安全策略模型的形式化需求.
徐亮刘宏
关键词：BIBA模型形式化方法定理证明
基于QPSO的单任务Agent联盟形成被引量：7
2010年
智能群体搜索算法在求解单任务Agent联盟时稳定性较差、收敛速度慢、全局寻优能力不强,因此采用优化的量子粒子群优化算法解决上述问题。利用群体历史优质解,在最优粒子变异的基础上,采用多种群并行搜索,防止陷入局部极值,并对粒子群进行筛选以加快粒子群的收敛速度。对比实验结果表明,该算法可以快速、高效地找出合适的Agent联盟,在运行时间和解的质量方面优于同类算法。
许波余建平
关键词：AGENT联盟量子粒子群优化算法组合优化多AGENT系统
一种新的基于GCS-SVM的网络流量预测模型被引量：25
2013年
针对网络流量预测模型存在预测稳定性不好、精度较低等问题,提出一种改进布谷鸟搜索算法优化支持向量机的网络流量预测模型(GCS-SVM)。将网络流量时间序列进行重构,采用改进布谷鸟搜索算法优化支持向量机参数,使用这组最优参数建立网络流量预测模型。仿真结果表明,GCS-SVM模型对网络流量预测是有效可行的。
赖锦辉梁松
关键词：网络流量预测高斯变异支持向量机
参与者有权重的多重秘密共享方案被引量：2
2010年
考虑参与者权重不同,基于RSA密码体制和Hash函数的安全性,设计了一种参与者有权重的多重秘密共享方案。方案中,参与者只需维护一个秘密份额,可实现对多个秘密的共享。秘密份额由参与者确定和保管,秘密分发者也不知晓,秘密共享过程中,只需出示伪秘密份额。方案不需要安全信道,算法能够保证信息安全传送,以及验证参与者是否进行了欺骗。分析表明,方案具有更高的安全性和可行性。
王伟王伟
关键词：秘密共享门限方案RSA密码体制HASH函数
BLP改进模型的形式化描述及自动化验证被引量：3
2013年
在《信息安全技术操作系统安全技术要求》中,提出访问验证保护级安全操作系统的研发过程需要完全形式化的安全策略模型。针对该情况,对经典的数据机密性BLP模型进行相应改进,为系统中的主客体引入多级安全标签以及安全迁移规则,使其满足实际系统开发的需求。运用完全形式化的方法对改进模型的状态、不变量、迁移规则等进行描述,使用Isabelle定理证明器证明了迁移规则对模型的不变量保持性,从而实现对模型正确性的自动形式化验证,并保证了模型的可靠性。
徐亮谭煌
关键词：BLP模型自动化验证定理证明安全操作系统
一种消除孤立点的微博热点话题发现方法被引量：9
2014年
微博具有数量多、字数少、话题广泛等特点,导致数据中孤立点较多,对微博热点话题聚类算法产生不利影响,为此,提出一种消除孤立点的微博热点话题发现方法。首先消除数据集中的孤立点,然后采用CURE(Clustering Using Representatives)算法对剩余有聚类价值的数据进行聚类,最后通过实例验证算法的有效性。结果表明,相对于对比聚类算法,该算法降低聚类结果对孤立点的敏感度,提高了微博热点话题发现的准确性,并提高了算法的运行效率,更适合应用于大规模的微博热点话题发现。
赖锦辉梁松
关键词：CURE算法
全选 清除 导出
共2页<12>
聚类工具0