基于信号博弈模型的网络攻击归因方法

现有的网络攻击归因方法缺乏对攻击成本与防御措施的考虑,对攻击行为分析不够全面、准确。通过分析攻防对抗与非合作博弈基本特征的一致性,构建信号博弈模型描述攻防过程。利用通用漏洞评分系统CVSS(common vulnerability scoring system)对攻防成本及收益进行量化,采用信号传递机制表述防御信息对攻击者决策产生的重要影响,基于对博弈均衡解的分析实现对攻击策略的可信归因。实验结果表明,所提模型可以提升网络攻击归因的准确性,对防御策略的选取具有指导作用。

面向国产平台的LLVM自动向量化移植与优化

作为SIMD扩展部件向量化的重要手段,自动向量化已在LLVM编译器中得到实现,但向量长度以及指令集功能的差异,导致国产平台在自动向量化过程中容易错失向量化机会以及向量化后产生倒加速的问题。为使SIMD得到充分应用,结合国产平台的指令集特征完善指令代价信息以提高收益分析精准度,使其在自动向量化后生成后端支持且简洁高效的向量指令。在此基础上,提出一种改进的控制流向量化方法,通过添加指令代价信息提高自动向量化的适配能力,从而形成一套面向国产平台的LLVM自动向量化系统。实验结果表明,相比自动向量化移植前,通过该方法进行移植优化后,SPEC测试的整体性能提升10.8%,TSVC测试集中的加速比提升16%,精准代价指导下的加速比提升42%,控制流向量化下的加速比提升51%。

基于静态贝叶斯博弈的风险评估方法研究

目前基于博弈论的风险评估方法大多数采用完全信息博弈模型,无法应对攻击者和防御者互不清楚对方行为的情况。基于静态贝叶斯博弈理论建立攻防博弈模型,将攻击者和防御者分为多种类型,全面地分析了博弈的贝叶斯均衡及其存在性,并结合防御者反击行为、攻击成功率对已有的策略收益量化方法进行改进。基于博弈均衡进行攻击行为可信预测,给出了风险评估算法对信息系统所存在的风险进行计算,得到系统风险值。最后,通过一个实例分析验证了模型和算法的有效性。

模块化动态博弈的网络可生存性态势跟踪方法

针对网络系统中可生存性能实时评估和生存决策能力的有效提高问题,提出了一种基于模块化动态博弈的网络可生存性态势跟踪方法.该方法根据提出的模块化动态博弈思想,将攻防双方的动态博弈过程分为抵抗、检测、容忍生存3个阶段,结合可生存性问题,给出了动态博弈的数学描述及3个生存阶段的动态博弈扩展式,将博弈收益量化结果转化为二维的可生存性态势评估结果.实验结果表明,该方法可依据网络现有的攻防数据,对网络系统遭遇的生存威胁,以及网络系统本身面对威胁的可生存能力进行实时跟踪评估,使网络系统的生存评估和决策能力得到了提高.

基于攻防图的网络主动防御策略选取研究

传统的网络主动防御策略选取方法在网络状态重要性和攻防策略依存性上考虑不足,并存在计算冗余问题。通过在攻击图中融入防御动作,提出了基于模式匹配的攻防图生成方法。结合攻防图,给出节点重要性和攻击前提概率的定义,改进现有收益量化方法。运用自顶向下广度优先算法遍历攻防图节点生成收益矩阵,减少了计算冗余,在此基础上选取纳什均衡策略对和最优主动防御策略。最后,运用实例验证了所提方法的可行性和有效性。

综合能源项目全生命周期投资评价方法

随着“碳中和,碳达峰”计划的推动,综合能源项目进一步得到发展,如何对综合能源项目进行投资评价成为不可忽视的问题。针对现有综合能源项目投资评价方法评价角度不全面、评价环节单一的问题,从全生命周期角度进行综合能源投资项目组件成本收益量化分析,构建了考虑经济性和社会因素的综合能源投资评价指标体系,全面地覆盖了综合能源项目投资的效益情况。采用层次分析和熵权法相结合的方法进行项目的综合评价,具有评价结果客观和评价方式简洁的优点。最后通过案例分析证明了所提出评价方法的准确性和实用性。

Distributive Quantum Logic： Controlled-Error Approach

The idea that approximate exactness is the most we can and should expect scientific theories to yield underlies the formation and application of the multi-valued logic of approximation discussed in this paper. In this logic, inexactness （measured by truth values） is controlled and minimized by means of uniquely designed deductions. We show how the notion of equality （including substitution of equals） is handled within this logic and we apply it to certain principles and interpretations of quantum theory.

生物多样性抵消的研究进展

生物多样性抵消(biodiversity offsetting)是一种补偿模式,在国际上已广泛实施,包括北美和欧洲,但尚未在中国开展。本文综述了生物多样性抵消的优点和主要问题,特别是美国和英国的实际情况,并展望了中国开展生物多样性抵消项目的前景。生物多样性抵消的主要优点有:(1)理论上成果透明可靠;(2)理论上结果始终积极;(3)衍生出主动积极保护生物多样性的方法——抵消银行。目前仍存在的主要问题包括:(1)“可量化的保护成果”难以实现;(2)无净损失难以达成;(3)实践过程中监管存在问题;(4)实施与结果之间的滞后性。此外,还讨论了美国和英国案例中一些更加具体的问题,如模糊和过时的法律和政策、不适当的抵消比例等。总之,生物多样性抵消的主要问题是现有的研究无法支撑其理想化的实施和实际应用中出现的各类主观性问题。从目前的证据来看,生物多样性抵消或许能为我国环境保护、可持续发展提供一定的帮助。建议加强对生物多样性抵消在中国可行性的研究,包括引入抵消层次、完善生物多样性量化指标、试点项目和抵消银行等,为我国制定生物多样性保护政策提供更多的理论基础。