基于Stackelberg安全博弈的动态防御策略选取方法

网络攻防对抗的本质是攻防双方非对等主体之间的博弈过程。针对现有网络防御策略研究中攻防博弈双方主体地位对等的先验假设缺陷,将博弈论非对等局中人思想引入网络防御策略生成模型构建过程,提出一种基于Stackelberg安全博弈的动态防御策略生成方法,通过建立网络模型,利用Stackelberg安全博弈强均衡策略算法生成网络的最优防御策略,既充分考虑攻防行为中双方关系彼此影响,又能确保防御策略生成的准确性。实验结果表明所提模型和方法的可行性和有效性。所提模型和方法能够加强系统的安全性。     

Formal Solutions of Linear PDEs and Convex Polyhedra

The Newton polygon construction for ODEs, and Malgrange–Ramis polygon for partial differential equations in one variable are generalized in order to give an algorithm to find solutions of a linear partial differential equation at a singularity. The solutions found involve exponentials, logarithms and Laurent power series with exponents contained in a strongly convex cone.     

基于SGM的用电需求自动响应方法仿真

为满足电力用户需求、减少不必要的资源浪费,基于Stackelberg博弈过程设计了一种用电需求自动响应方法.根据电网不同参与方的功能设计需求响应系统的结构,包括感知层、网络层及应用层;将供应商与电力用户作为需求响应的主要参与者,结合用户缴费、边际成本与供需不平衡成本等效用,建立供应商层博弈模型;综合电费和用电满意度构建...     

基于Stackelberg博弈的海事安全问题研究

近年来,安全问题在全世界范围内得到了越来越多的重视,如何利用有限的安全资源最大限度地部署防御策略保护重要的设施以及目标是许多安全部门所面临的一项艰巨的挑战。针对海事安全巡逻问题,提出基于Stackelberg博弈的安全模型进行安全资源调度,在安全资源有限的情况下,对现实世界中出现的时空限制和人类行为不完全理性因素进行了综合考虑,放宽了经典安全博弈模型对攻击者是完美理性这一假设。在随机最优反应均衡理论的基础上考虑了攻击者的行为偏好,对非完全理性情况下的最佳策略和完全理性情况下的最佳策略进行对比和分析,实验结果表明,非完全理性下的新模型在现实问题中可以获得更高的收益,可更有效地用于海事安全巡逻问题。     

基于多跟随者Stackelberg博弈的流速控制算法

由于现实网络中,端系统的角色往往并不平等,存在某些端系统制定整个网络的流速控制策略,其他端系统只能跟随这些策略,不能简单地使用非合作博弈理论研究Internet中非合作端系统的贪婪行为。该文在讨论了一次博弈模型和流速控制博弈均衡的解析解的基础上,对多跟随者Stackelberg博弈模型的流速与拥塞控制行为进行了深入研究。提出了多跟随者Stackelberg博弈流速控制模型,论证了Stackelberg均衡的存在性,并推导出在Stackelberg均衡点上领导者和多跟随者流速率的解析解。最后,文章设计了一种基于多跟随者Stackelberg博弈的流速控制算法(FCSM),并讨论了FCSM算法执行的过程。     

基于Stackelberg博弈的云CDN缓存资源分配算法

为提高云存储环境下内容分发网络(CDN)的分发效率,提出一种基于Stackelberg博弈的缓存资源分配与定价算法。将Web服务器和云CDN代理商建模成一个多主多从的Stackelberg博弈模型,并构建其各自的效用函数。证明在代理商价格确定的情况下存在Web服务器纳什均衡点,利用一种分布式迭代算法求解博弈模型,得到最优定价与该定价下的最优缓存分配结果。仿真结果表明,该算法可保证Web服务器缓存需求在代理商之间的高效分配,与用户服务质量优先算法相比,可使Web服务器获得更高的单位成本效益。     

基于线性迭加法的大气紊流数值仿真

在大气紊流系统优化的研究中,当前普遍采用采用白噪声通过成形滤波器来得到紊流频谱和紊流信号。传统方法对紊流频谱模型进行简化,因而存在模型偏差,仿真精度提高有限。为此提出利用函数线性迭加法,将大气紊流看作无限多个随机余弦函数迭加的随机过程。以Dryden模型和Von Karman为基础,推导出线性迭加法的计算公式,利用谱估计法对这两种方法进行了验证和比较,通过仿真证明线性迭加算法可信可行,不仅精度高于成形滤波器法,而且兼容不同大气紊流频谱模型,通用性更好,为大气紊流的研究提供了参考。     

基于斯塔克尔伯格博弈的在线社交网络扭曲信息干预算法

在新冠肺炎疫情期间,社交媒体以前所未有的速度向全世界传播消息.然而,扭曲信息隐藏在海量社交数据中,对国家安全、社会稳定提出了前所未有的挑战.目前的干预措施大多是建立在对关键节点和关键链路进行控制的基础之上,即删帖和封号,往往效果不佳且容易产生副作用.基于扭曲信息的定义和分析,打破传统思维的限定,在信息蔓延过程中通过发布...     

基于双层Stackelberg博弈的MEC计算卸载方案

多接入边缘计算(multi-access edge computing, MEC)中的计算卸载问题已经成为当前研究的热点之一.目前的计算卸载方案仅考虑云、边、端结构中的计算卸载问题,而未考虑到其公、私有云的属性.提出了一种新的计算卸载方案,所提方案考虑了边缘计算中公有云与私有云之间的关系,将公有云作为了私有云资源的补充,可以缓解由于私有云资源局限性带来的算力不足问题;并通过建立双层Stackelberg博弈来解决计算卸载问题.对公有云、私有云以及用户的策略和收益进行了分析,求出了各参与人的最优策略,证明了双层博弈的纳什均衡解的存在性及唯一性.仿真结果和分析也验证了基于双层Stackelberg博弈的计算卸载方案的可行性,且相较基于单层Stackelberg博弈的卸载方案更高效,更适合可扩展的边缘计算的环境.     

基于δ法求解高阶时变非线性微分方程

该文基于二阶线性微分方程δ法绘制相平面原理,提出一种新颖而简单计算圆弧圆心和半径的方法实现高阶时变非线性微分方程相平面的作图,从而得到求解高阶时变非线性微分方程时域解的算法,并与龙格-库塔法等解析法相比具有计算简单、结果精度高的特点。     

基于Stackelberg攻防博弈的网络系统安全控制机制优化研究

企业级网络中存在的漏洞日益增多,给公司网络系统安全控制机制的优化选择带来了巨大挑战。本文通过对企业网络中漏洞之间的复杂依赖关系进行建模,构建了漏洞依赖图,并在此基础上建立了Stackelberg攻防博弈模型。同时考虑到传统求解方法无法求解实际的问题规模,引入双模块算法。实验结果表明,本文提出的模型和方法是可行的、高效的。     

基于Stackelberg博弈论的Multi—Homing负载均衡研究

阐述了Stackelberg博弈的基本理论和模型,并将其应用于多主接入网络的负栽均衡问题中,给出了一种基于Stackelberg博弈理论的多主接入网络带宽分配模型.考虑网络和用户之间的供需平衡,采用线性和非线性价格方案,给出了更加合理的带宽分配策略.仿真结果证明了算法是有效的,Stackelberg博弈模型能够合理有效地利用带宽资源,实现了负载均衡.     

基于粗糙逻辑(RL)的微分对策理论

针对微分对策在实际应用上的困难,引入粗糙控制这一新颖的人工智能方法。粗糙集理论能刻画和处理不完整、不精确信息。在简略介绍了粗糙集、粗糙逻辑和粗糙控制大致思想的基础上,尝试将粗糙逻辑和粗糙控制引入微分对策,以追逃问题为例,初步探索了粗糙微分对策模型的建立方法。该对策模型体现了控制算法简单、迅速和易于实现的优点,也降低了微分对策要求精确数学模型和完备信息的困难。同时也将粗糙控制和模糊控制做了简单的比较。     

几种分数阶微分数值解法的比较研究

研究分数阶算法特性,基于抛物线插值方法,对分数阶微分计算设计了一种数值计算方法.明确了几种算法的特点,并进行了数值仿真,对于函数分数阶微分及分数阶微分方程的求解,在计算精度与计算时间开销方面,与迭代方法、线性插值方法进行了比较,结果表明迭代方法的计算精度和时间开销两方面都比较好,抛物线插值方法的计算精度高于线性插值,但线性插值在时间开销方面占优势,研究结果可为实际选择分数阶微分数值计算方法提供科学依据.     

基于等倾线法实现高阶非线性微分方程求解

该文提出基于二阶线性系统等倾线法绘制相平面原理，实现高阶非线性微分方程的求解，并与龙格-库塔法等解析法相比具有计算简单、结果精度高的特点。     

Formal Solutions of Linear Ordinary Differential Equations Containing m-Hypergeometric Series

Let a linear homogeneous ordinary differential equation with polynomial coefficients over a field be given. For a singular point of the equation, the fundamental system of formal solutions that contain a finite number of power series with coefficients belonging to the algebraic extension of can be constructed by known algorithms. In this paper, an algorithm is suggested for construction of a space of formal solutions such that all series containing in these solutions have m-hypergeometric coefficients. The implementation of the algorithm in the computer algebra system Maple is discussed.