多层网络级联失效的预防和恢复策略概述

现实生活中,与国计民生密切相关的基础设施网络大多不是独立存在的,而是彼此之间相互联系或依赖的,于是用于研究这些系统的多层网络模型随之产生.多层网络中的节点在失效或者遭受攻击后会因"层内"和"层间"的相互作用而产生级联效应,从而使得失效能够在网络层内和层间反复传播并使得失效规模逐步放大.因此,多层网络比单个网络更加脆弱.多层网络级联失效产生的影响和损失往往是非常巨大的,所以对多层网络级联失效的预防和恢复的研究具有重大意义.就多层网络级联失效的预防而言,主要包含故障检测,保护重要节点,改变网络耦合机制和节点备份等策略.就多层网络发生级联失效后的恢复策略而言,主要包含共同边界节点恢复、空闲连边恢复、加边恢复、重要节点优先恢复、更改拓扑结构、局域攻击修复、自适应边修复等策略.     

时间敏感选项依赖下的基础设施恢复决策研究

突发事件发生后,基础设施之间的恢复依赖为恢复过程带来了严重挑战。为了能够在突发事件后高效而有序的实现基础设施恢复运行,根据相互之间的恢复依赖关系制定合理的恢复决策非常关键。本文基于网络流理论,以累积恢复效能最大化为目标,建立了时间敏感选项依赖下的恢复设计与调度决策混合整数规划模型。然后,讨论了模型在完全中心化、完全分散和信息共享决策环境下的应用方法。最后,通过真实基础设施数据集测试了模型,结果表明:(1)该模型在突发事件后的基础设施恢复决策中具有应用可行性;(2)决策环境显著影响存在恢复依赖的基础设施网络整体累积恢复效能;(3)与完全分散决策环境相比,在信息共享决策环境下独立决策的整体累积恢复效能可以得到大幅提升。     

基于旋转变换和鲁棒主成分分析的车牌校正方法

本文研究了受到非高斯噪声污染及边框信息不完整的车牌图像校正的问题.利用鲁棒主成分分析与旋转变换结合的方法,获得了更具普适性的车牌矫正方法.并通过与主成分分析法、旋转投影法的矫正结果相比较,推广了本文方法具有更好的鲁棒性和普适性的结果.     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

低分辨率医学图像的多图谱分割方法

基于多图谱的图像分割方法因其分割精度高和鲁棒性强,在医学图像分割领域被广泛研究,主要包含图像配准和标签融合两个步骤.目前对多图谱分割方法的研究通常都是在图谱图像和待分割目标图像具有相同分辨率的情况下展开的.然而,由于受图像采集时间,采集设备等影响,临床实践中采集的影像大多是低分辨率数据,使得目前在影像研究中广泛使用的方法无法有效应用于临床实践.因此,针对这一问题,我们结合图像超分辨率恢复方法,提出了精确鲁棒的低分辨率医学图像的多图谱分割方法,实验结果显示提出的方法显著地提高了多图谱分割方法的分割精度.     

WSANs中基于蜂巢结构的移动容错恢复算法

旨在研究无线传感器与执行器网络(WSANs)中节点失效情况下恢复执行器(actor)节点服务的算法. 首先说明了WSANs中的实时覆盖模型, 证明WSANs覆盖恢复问题是NP难问题, 给出了近似求解方案. 在此基础上, 提出了一种基于六边形蜂巢结构的移动容错算法HMFR用于恢复失效actor节点, HMFR 算法在限制网络初始部署的条件下拥有很好的性能. 通过实验与现有的恢复算法进行比较, 发现HMFR算法在actor覆盖sensor节点数和移动距离方面有更好的性能.     

基于瑞利-索末菲积分的大衍射角衍射光学元件设计方法

针对现有的衍射光学元件设计方法只适用于小角度衍射的情况,本文提出了一种基于瑞利-索末菲衍射积分的设计方法,可以用来设计具有大衍射角的衍射光学元件。先对目标光场进行坐标变换和强度调整,再利用改进的Gerchberg-Saxton算法优化得到衍射光学元件的相位分布。分别采用本文方法和原有的基于夫琅禾费衍射积分的方法设计衍射光学元件实现线条结构光和不同角度方框图形的光场重构,结果表明:原有的设计方法只适用于衍射角全角小于25°的情况,当衍射角大于25°时,重构光场会出现显著的枕形畸变和不均匀的强度分布。而本文方法在小角度和大角度衍射下都能重构出准确的衍射角和较为均匀的强度分布.     

散斑与数字技术

本文总结了过去十年中散斑数字技术在力学、医学、无线电电子学和天文学中的应用和进展,以及在这些领域中所发展的各种新的理论、实验技术和实验方法。     

Costas环在无线扩频定位系统中的应用技术研究

分析了扩频定位系统中载波恢复和数据解调数学模型，设计了环路中应用的Butterworth低通滤波器和产生正交两路信号的Hilbert变换滤波器，在Simulink中建立了Costas环仿真模型。结果表明：该Costas环能够准确地实现扩频定位系统的载波恢复和发送端数据解调输出，理论仿真和实际工程实验基本一致。     

基于迁移学习的原子力显微镜成像恢复方法

受限于探针针尖结构尺寸,用原子力显微镜进行微纳测量时会产生图像边缘失真.提出了一种基于迁移学习的原子力显微镜成像恢复方法,通过迁移学习训练源模型和靶模型实现一维栅格成像恢复.该方法采用数学形态法中的腐蚀算法生成栅格点云数据,通过U-Net网络源模型从点云中提取针尖卷积效应的特征向量,将权重参数迁移至U-Net网络靶模型,靶模型在自适应正则化方法下进行监督学习.实验结果表明,该方法能有效恢复一维栅格的原子力显微镜测量图像,提高横向分辨力,可用于纳米栅格的线宽检测上.