基于模型的Fuzzing测试脚本自动化生成

针对基于知识的Fuzzing测试技术存在脚本编写工作量大的问题,提出一种基于模型的Fuzzing测试脚本自 动生成方法。方法首先以高阶属性文法形式化地描述数据模型,获取统一的、与测试环境无关的数据格式描述;然后 依据文法模型,将样本解析为带格式知识的文法分析树;最后建立文法分析树与测试逻辑的关联关系,实现自动化的 测试脚本生成。实验结果表明,所提出的方法能够自动生成有效的测试脚本,并发现软件中潜在的安全漏洞。     

离散广义Nash汇流模型及其在河道洪水演算中的应用

基于广义Nash汇流理论,通过定义S曲线或滞蓄曲线,简化了广义Nash汇流计算公式,并推导得出了离散广义Nash汇流模型,将河道下断面出流过程表述为时段初、末入流量与当前时刻及之前若干时刻出流量的线性组合,权重系数由S曲线或滞蓄曲线得出。该模型物理概念明确,又有一定统计意义,结构简单,形式直观,便于在实际中推广应用,最后通过实例分析检验了模型的预报能力。     

论水文计算中的相关性分析方法

相关性分析是水文计算的一项重要内容,几乎涉及到水文计算的各个领域,寻求适合的相关性分析方法,对解决实际问题将有很大帮助。本文全面论述了水文计算中的相关性,综述了各类相关性的度量和分析方法及适用范围;分析了线性回归和自回归分析在水文计算中遇到的理论障碍,研究了采用Copula函数解决水文变量非线性和非正态问题的可行性;考虑水库蓄水增量的长程相依性,展望了R/S分析方法在水库防洪风险分析中的应用前景;提出了用主成分分析思想构造洪水事件综合指标的方法,以实现洪水恶劣程度的综合排序;研究了Copula函数分析结果的可靠性,指出了这种方法在应用层面上可能出现的失真问题;最后分析了水文计算常遇到的假相关问题。     

考虑长江回水影响的举水危险流量研究

举水属于长江一级支流,历史上曾发生多次大洪水,给当地带来了巨大损失。为此,在综合考虑长江回水顶托对举水影响的基础上,开展了举水危险流量的研究。采用MIKE11水动力模型,通过构建长江和举水的一维河道水动力模型,模拟了长江和举水不同量级洪水组合下的河道洪水演进过程,确定了在长江各量级洪水回水顶托影响下举水柳子港站的危险流量。研究成果可为该地区山洪临界雨量预警指标的确定提供依据。