【摘 要】
：
针对大规模工控网络攻击图的量化计算耗时高、消耗资源大的问题,提出了一种大规模工控网络的关键路径分析方法.首先利用割集思想结合工控网络中的原子攻击收益,计算贝叶斯攻击图关键节点集合,解决目前割集算法只考虑图结构中节点关键性的问题.其次,提出一种只更新关键节点攻击概率的贝叶斯攻击图动态更新策略,高效计算全图攻击概率,分析攻击图关键路径.实验结果表明,所提方法在大规模工控攻击图的计算中,不仅可以保证计算结果的可靠性,而且能够大幅度降低方法耗时,显著提升计算效率.
【机 构】
：
哈尔滨工业大学(威海)计算机科学与技术学院,山东威海264209;国家工业信息安全发展研究中心,北京100040;哈尔滨工业大学网络空间安全研究院,黑龙江哈尔滨150006
论文部分内容阅读
针对大规模工控网络攻击图的量化计算耗时高、消耗资源大的问题,提出了一种大规模工控网络的关键路径分析方法.首先利用割集思想结合工控网络中的原子攻击收益,计算贝叶斯攻击图关键节点集合,解决目前割集算法只考虑图结构中节点关键性的问题.其次,提出一种只更新关键节点攻击概率的贝叶斯攻击图动态更新策略,高效计算全图攻击概率,分析攻击图关键路径.实验结果表明,所提方法在大规模工控攻击图的计算中,不仅可以保证计算结果的可靠性,而且能够大幅度降低方法耗时,显著提升计算效率.
其他文献
在委托代理视角下分析了隧道建设项目中建设方、施工方及设计方的价值偏好和行为选择以及多轮博弈后施工方与设计方之间可能存在的隐性契约关系,并在此基础上设计了建设方与施工方的合同激励条款.在多代理人框架内,委托人建设方在合同框架内追求质量、效率与低成本;设计方会考虑建设方的监督不足而偏好于优先考虑设计风险,再考虑委托人期望;施工方在施工过程中更倾向于通过利用得到的设计方行为选择以及围岩状况私人信息获利.以委托代理模型为基础得到对施工方的最佳激励模式:建设方对于额外工期收益只保留一个固定收益水平,施工方获得其余所
以珠海铁建大厦为研究对象,建立了框架–核心筒结构有限元模型,对整个结构的施工过程划分了施工段,采用CEB-FIP(2010)模型考虑混凝土的收缩徐变作用,用精确模拟法进行施工过程力学分析,结果表明,混凝土收缩徐变对柱底轴力影响不大,对核心筒墙体以及外框架柱的竖向变形影响很大,超高层建筑中的钢管混凝土柱或者型钢混凝土柱也必须考虑收缩徐变作用,收缩徐变引起的竖向变形占总竖向变形的30％～40％,考虑收缩徐变作用后,38层以下结构变形差有所减小,38层以上结构变形差反而增大,有限元分析结果与实测值符合较好,施工
考虑碳税、碳排放量、销售市场随机性、回收市场竞争性等因素,本文构建了由一个建材制造商、一个建材零售商和两个第三方建材回收商构成的双第三方低碳建材再制造风险闭环供应链.运用Stackelberg博弈理论,以建材制造商为主导,分析了分散决策、集中决策以及碳税、第三方建材回收商竞争系数、碳排放量等相关因素对供应链的影响.研究表明:废旧建材回收竞争系数与建材制造商、双第三方的期望效用呈负相关,与建材零售商期望效用不相关;制造商利用新鲜原材料制造过程中的碳排放量、风险规避程度、碳税均与建材制造商和零售商的期望效用呈
智能建造与建筑工业化协同发展是复杂的系统,关乎建筑产业转型升级.本文基于产业发展与协同学理论,构建二者协同发展系统,分析协同发展的内涵及系统结构;在此基础上,构建协同发展概念模型,运用结构方程实证研究系统内部作用机制.结果表明:环境、建造要素、企业、产业与系统协同发展等潜变量之间具有四条作用路径;产业对二者协同发展水平具有显著直接影响,而建造要素、企业、环境则通过产业结构、市场化程度、产业标准等间接影响二者协同发展.研究结果明确了二者协同发展作用机制,为政府相关政策制定及企业实践提供了依据.
锻造高颈法兰具有加工效率高、整体性好等优点,是目前1000 kV特高压钢管塔广泛采用的法兰连接形式.本文提出一种适用于钢管塔的内坡外直壁锻造高颈法兰,分别开展Q420高强钢锻造高颈法兰偏心受压试验研究与对应试件的有限元模拟,考察该型法兰节点受力性能、破坏模式以及螺栓的应力分布,重点探讨不同偏心距及法兰板厚度对螺栓拉力的影响,并提出螺栓受力修正系数m的建议计算公式.试验与有限元分析结果表明:连接锻造高颈法兰的主管在偏心距较小时发生局部屈曲失稳,偏心距较大时主管则发生强度破坏;锻造高颈法兰偏心受压时始终处于弹
图像非加性隐写不仅能更好地维持图像元素的分布,而且具有较高的抗检测性能.首先对图像非加性隐写方法进行了梳理,将其分为两大类:非加性失真设计和非加性隐写编码设计.进一步将非加性失真设计总结为3类:基于理论模型、基于修改原则和基于对抗检测的方法,对这些方法进行了对比.最后分析了非加性隐写面临的困难问题和未来的发展思路.
为有效分析节点失效波及反应导致航空自组网稳定性的变化,提出一种航空自组织(AANET)节点失效分析方法.首先,根据AANET特性建立业务-实体非对称依赖网络模型;其次,设计改进失效流量重分配算法,获取受影响节点数据集;最后,根据节点权值计算在AANET中的波及影响值,并对波及影响程度定级.实验结果表明所提方法在AANET节点失效波及影响分析方面具有更好的准确性.
The practical applica-tions of aqueous Zn metal batteries are currently restricted by the inherent drawbacks of Zn such as the hydrogen evolution reaction, sluggish kinetics, and dendrite formation. To address these problems, herein, a limitedly Zn-doped
时间敏感网络可以为应用提供有界低时延的确定性传输服务,为异构的实时以太网提供更加统一通用的架构与标准,然而IEEE802.1 Qcc标准下的时间敏感网络在各种应用场景中的实现部署存在各种挑战.对时间敏感网络中的控制管理机制研究进行了总结叙述,从传输性能、可扩展性、技术融合3方面分析归纳了所面临的问题,并介绍控制管理机制在相关方面的最新研究进展,指出了尚待解决的问题和未来的研究方向.
针对目前BIM模型向有限元模型转换之后无法适用于精细化分析的问题,本文提出了一种ACIS-API模型转换方法,即以ACIS格式文件为基础,通过软件二次开发以及外部模型信息数据库将BIM模型中包含的几何参数、材质、荷载及边界条件等信息完整精确地赋予ACIS几何模型,并对几何模型进行装配、划分网格形成有限元分析模型,从而实现BIM模型向精细化有限元模型的自动化转换;文章还根据该模型转换方法编写了Revit与ABAQUS之间精细化模型转换程序,并详细阐述了生成几何模型、信息匹配等程序要点.之后分别从几何模型转换