许荣强 作品数:5 被引量:16 H指数:2 供职机构: 北京工业大学 更多>> 发文基金: 国家重点基础研究发展计划 更多>> 相关领域: 自动化与计算机技术 军事 更多>>
数码迷彩若干关键算法的设计与研究 在现代数字化军事战争中,如何防止敌人窃取己方军事情报已成为军事项目的一项非常重要的课题,好的伪装能大大减小军事情报被窃取的可能性,好的伪装技术往往能够通过较小的代价换取一场战争的胜利,因此如何提高军事中的伪装技术有着越来... 许荣强关键词:背景图片 主色提取 聚类算法 自动生成算法 云环境下基于可靠性的均衡任务调度算法研究 被引量:8 2015年 云计算作为一种新兴的具有商业特性的计算模式,已经受到了广泛的关注。云计算中的关键问题——任务调度问题也成为了社会各界研究的热点。主要以云计算系统中的可靠性需求为优化目标,运用博弈论工具,将云计算的任务调度系统建模为一个合作博弈模型。合作博弈的参与者为计算节点,效用函数为计算节点在稳定状态下的提供能力,博弈策略为任务在计算节点上的速率分配策略。系统中的各计算节点相互合作,选择自己的博弈策略,以期使系统在稳定状态下的提供能力最大。将计算节点看作具有一般重试时间和服务器崩溃的M/G/1排队系统,根据M/G/1排队论,分析了计算节点在稳定状态的提供能力,并根据合作博弈理论知识,证明了纳什讨价还价解的存在性,从而给出了最优博弈策略的求解算法;在此基础上,给出了基于可靠性的均衡任务调度算法。 王勇 刘美林 李凯 任兴田 许荣强关键词:云计算 合作博弈 任务调度 可靠性 可信计算中信任链建立的形式化验证 被引量:6 2016年 为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证.验证的结果表明系统具有期望的外部行为. 王勇 许荣强 任兴田 杨建红关键词:可信计算 可信平台控制模块 形式化验证 进程代数 一种基于三阶Bezier曲线的伪装迷彩自动生成方法 一种基于三阶Bezier曲线的伪装迷彩自动生成方法,本方法具有按照给定模型尺寸、颜色比、斑点曲率半径,快速自动化生成迷彩斑点、并在AutoCAD中自动绘图等几个主要方面的功能。传统斑点图案生成主要是人工绘制,这种做法不仅... 王勇 许荣强 辛淙 刘相新 黎兰 韦学中一种基于三阶Bezier曲线的伪装迷彩自动生成方法 一种基于三阶Bezier曲线的伪装迷彩自动生成方法,本方法具有按照给定模型尺寸、颜色比、斑点曲率半径,快速自动化生成迷彩斑点、并在AutoCAD中自动绘图等几个主要方面的功能。传统斑点图案生成主要是人工绘制,这种做法不仅... 王勇 许荣强 辛淙 刘相新 黎兰 韦学中文献传递