摘要：针对当前单机模式下频繁闭图挖掘算法无法处理大规模Internet数据集的问题,通过改进Apriori算法,提出基于Hadoop的迭代式频繁闭图挖掘算法AMR(Apriori based on MapReduce)。首先将动态网络的边集存储在键值表中,并设计了序列化子图编码方案以确保频繁子图的唯一性;然后提出了一种传递子图编码的通信机制,通过整合每个分片的支持度得到全局支持度,从而确保了频繁闭图的准确性;最后通过剪枝得到动态网络的频繁闭图。将AMR算法分别运用于国家级和AS级Internet的动态网络中。结果表明,频繁闭图能够准确表征Internet骨干网络的拓扑结构,说明AMR算法能够快速且有效地挖掘大规模动态网络的频繁闭图。

摘要：构建控制流图(CFG)是二进制程序分析的基础工作,针对静态构建方法无法处理间接跳转,动态构建方法效率低、不适用于大规模程序的问题,提出结合静态分析和动态分析的混合分析方法.使用静态分析获得基础的控制流信息;采用模糊测试生成测试用例以进行动态分析,利用动态插桩获得间接跳转信息;融合静态分析和动态分析结果生成控制流图.基于该混合分析方法,设计并实现了面向x86平台二进制程序的控制流图构建工具CFGConstructor.分别在示例程序和CGC数据集上进行实验,评估该工具的有效性和性能.实验结果表明CFGConstructor相比于静态分析能够构建更加完备的控制流图,相比于动态分析分析效率更高,能够适用于大规模程序.

摘要：基于MapReduce分布式计算框架对路由器级互联网拓扑的抗毁性进行研究,从连通性和传输效率两个角度衡量网络的拓扑抗毁性,提出了两个抗毁性新测度:网络连通率和网络传输效率比。基于MapReduce设计并实现了互联网抗毁性分析算法(AIIMR),算法在分布式环境下采用不同的攻击策略对互联网拓扑进行仿真攻击。实验对比分析了传统测度在衡量路由器网络时存在的问题,证明了所提测度的有效性。在不同网络上的实验结果表明,路由器级互联网在遭受随机攻击时表现出很强的抗毁性,而在面对蓄意攻击时则表现得十分脆弱。最后,在不同规模的Hadoop集群上进行实验,结果验证了算法的高效性和扩展性。

摘要：针对传统单机算法在计算大规模互联网拓扑特征参数时效率低的问题,基于MapReduce分布式计算框架对网络拓扑特征参数算法进行研究。通过分析单机图算法并行移植时存在的问题,提出了图算法并行化设计的原则和消息传递机制;根据设计原则和消息传递机制,为4个网络拓扑参数设计了并行算法。实验证明,并行的拓扑参数算法能够有效提高计算效率,且具备良好的可扩展性。

摘要：模糊测试技术是一种使用不同变异算子生成测试用例对程序进行漏洞检测的技术.当前对模糊测试技术的研究集中在变异算子的设计与程序分析两个方面,对多种变异算子之间的协同调度还没有进行深入研究.文章首先对模糊测试中通用的15个变异算子进行研究,分析不同变异算子在不同类型程序上的变异效率.文章以探索与利用模型为基础,结合变异算子变异效率变化的规律,设计了变异算子调度优化模型EE-POS,以提高模糊测试技术的漏洞挖掘效率.文章在原型系统EE-POS-AFL上实现了EE-POS变异算子调度优化模型,通过与AFL的对比实验表明EE-POS-AFL路径探索效率提高63%,漏洞检测效率提高153%.

摘要：针对当前分布式模糊测试任务分配中,大量测试用例重复执行导致测试效率低的问题,提出基于状态聚类的分布式模糊测试任务分配策略。通过大量随机测试获得目标程序的初始状态空间;根据路径前缀将初始状态空间划分为相互独立的状态子空间,将其对应的任务分发到各测试节点;利用路径约束控制变异的方向,保证各测试节点探测的状态空间相互独立。根据该方法,设计实现一个高效的分布式模糊测试系统。分别在libtiff库和CGC测试集上进行实验,实验结果表明,该系统能够有效减少测试用例的重复执行次数,提高模糊测试效率,有机会发现更多crash。

摘要：模糊测试是一种有效的自动化漏洞挖掘技术,主流模糊测试技术采用遗传算法生成测试用例,存在早熟现象,导致路径覆盖率不足。针对该问题,提出一种基于动态适应度函数的模糊测试方法。综合考虑了种子新度和路径深度因素,设计了根据测试阶段不同而动态变化的适应度函数,实现了基于动态适应度函数的模糊测试工具DynFuzzer。在BegBunch和CGC提供的测试集上进行实验,结果表明,与现有模糊测试工具相比,DynFuzzer路径覆盖率提高了40%,多发现了10%的bug。基于动态适应度函数的模糊测试方法能有效克服早熟问题,提高路径覆盖率,发现更多的bug。

摘要：为了降低安全风险损失,并在有限的资源下做出最优网络防御决策,设计了一种网络攻防博弈最优策略选取方法。首先,建立网络攻防博弈模型,证明了该模型混合策略纳什均衡的存在性;然后,给出了基于该模型的网络攻防策略选取算法,包括基于网络攻防策略图的攻防策略搜索算法、攻防双方不同策略下基于通用漏洞评分系统的效用函数量化计算方法和混合策略纳什均衡求解方法等;最后,在一个典型的网络攻防实例场景下对模型的有效性进行了分析和验证。实验结果表明,该模型能够有效地生成最优防御决策方案。

摘要：腰椎间盘突出症、腰椎管狭窄症等腰椎退行性疾病是引起急性腰腿痛的主要原因,对于保守治疗失败的患者,融合内固定术是治疗该类疾病的主要方式,被称为"金标准"。Coflex为棘突间U形固定装置,是棘突间动态稳定系统的一种。区别于椎弓根螺钉融合内固定术,该装置既保留了手术节段一部分的活动度,又实现了手术节段的相对稳定。因此,Coflex动态稳定既可以缓解患者的临床症状,又能在一定程度上避免如手术节段活动度消失以及邻近节段退变等融合相关并发症的发生。对于多节段的腰椎退变,Topping-off术式即下位节段腰椎融合手术联合上位节段腰椎Coflex动态稳定展现了独特的优势,其在融合椎与正常椎之间起缓冲作用,避免了应力集中,可降低邻近节段椎间盘退变发生的风险。在临床应用过程中,Coflex动态稳定系统在设计细节以及应用途径等方面得到不断改进与拓展,新型的棘突间动态稳定系统IntraSPINE也取得了一定的临床疗效。近年来,关于Coflex的研究不断加深,Coflex系统的安全性和有效性不断被认可,但仍缺乏高级别大样本多中心的临床研究作为支撑。因此,旨在为Coflex系统的临床应用提供参考依据,本文就Coflex系统的适应证与禁忌证、生物力学特点、临床疗效、术后并发症及新型动态稳定装置的进展等方面进行综述。

摘要：目的探讨经椎间孔入路经皮内窥镜下腰椎椎间盘切除术(PETD)治疗腰椎椎间盘突出症(LDH)的临床疗效,并探讨影响患者预后的相关因素。方法采用前瞻性队列研究设计,纳入2015年8月—2016年9月诊断为LDH并行PETD治疗的102例患者。分别于术前1 d及术后1 d、3个月、6个月、12个月、36个月时评估疼痛视觉模拟量表(VAS)评分、Oswestry功能障碍指数(ODI)、日本骨科学会(JOA)评分,采用改良MacNab标准评估临床疗效。分析患者临床特征和影像学资料等因素对预后的影响。结果86例患者完成36个月及以上随访,其中男56例、女30例,年龄19~88(46.96±14.03)岁,随访36~46(40.91±3.21)个月。86例患者手术顺利完成,无术中转开放手术。并发症发生率为1.2%(1/86),复发率为5.8%(5/86)。术后1 d、3个月、6个月、12个月、36个月,腰痛和腿痛VAS评分及ODI均较术前下降,JOA评分较术前升高,差异均有统计学意义(P0.05)。结论PETD治疗LDH可取得满意疗效。HNP大小是影响患者预后的主要因素,BMI可能对预后也有一定影响,但尚需扩大样本量进一步研究。