为提高灾难恢复能力评估的科学性与准确性,结合灾难恢复国家标准,提出基于资源的灾难恢复能力指标体系。针对灾难恢复能力指标度量缺乏系统研究的问题,依据指标特性,设计基于阈值逻辑树影响分析、网络性能影响分析及基于威布尔分析的动态指标度量方法。该指标体系及其度量在评估中的应用结果表明,其通过逐级细化国标并引入考察影 响因素的4类动态指标,能有效提高国标可操作性及评估的精度。
针对传统自动色彩均衡化(ACE)算法增强后的图像局部效果较差、运算速度较慢等问题,提出一种基于人眼侧抑制机制的ACE算法。ACE算法模拟人眼的侧抑制机制,在目标点周边选取符合侧抑制有效作用范围的二维圆形区域,并在该区域内选取服从高斯分布的采样点,将目标点和采样点进行差分比较,增强对比度。该算法能使运算集中在相关度较高的像素点内,降低算法复杂度。实验结果表明,该算法具有较好的细节增强效果及较快的处理速度。
当前缓存域名系统(DNS)服务器无法抵抗持续的Kaminsky DNS缓存投毒攻击。为此,提出一种基于应答报文检查的防御策略。应用概率学理论分析Kaminsky投毒成功概率与投毒持续时间的内在联系,通过报文检查策略抑制投毒成功概率随时间的积累效应,达到防御持续Kaminsky投毒的目的。利用概率模型检查工具PRISM进行仿真实验,结果证明该策略可以使攻击难度提高3 600倍以上。
城市建筑物的结构、高度和密度会对蜂窝移动通信产生影响,在多径扩散信道中产生宽带和窄带干扰。为此,设计一种次优化的盲最小均方误差检测器。在抑制通信系统中宽带干扰(多址干扰和码间干扰)的同时,消除窄带通信系统产生的窄带干扰(包括正弦波信号、自回归信号、多速信号系统中的数字信号等)以及环境噪声,利用子空间分解技术和辅助向量来简化传统检测器。仿真结果证明,当信噪比为10 dB时,该检测器的误码率比传统检测器低约3 dB。
为有效评估有向加权复杂网络的抗毁性能,考虑网络边的有向性和权重对复杂网络拓扑层抗毁性的影响,提出一种有向加权复杂网络抗毁性测度算法(IMADW)。IMADW利用最短调和距离度量节点之间以及整个网络节点对之间的连接紧密度,采用节点环路系数反映节点可选的路径数,由此得到网络拓扑层的全局抗毁性测度值。通过算法分析和实验仿真验证了该算法的准确性。
针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,设计一个支持高效验证的句子调度算法。实验结果表明,结合合适的谓词扩展,RPA可以有效地验证和分析软件逻辑,发现潜在的软件错误。
提出一种基于综合指标Petri网和混合蚁群算法的多星成像调度策略。在综合指标Petri网变迁中引入指标信息,处理多星并发观测和卫星资源竞争关系、反映卫星能量和存储等约束,使得问题描述更直观和完备。设计一种嵌入局部搜索技术的蚁群优化算法,通过启发式信息综合变迁中的指标,引导蚂蚁进行全局搜索。仿真实例结果表明,该策略能有效求解多星成像调度问题,实现全局搜索和快速收敛的平衡。