摘要：遗传算法在模糊测试领域的应用提高了这一主流漏洞挖掘方法的性能和效率,诞生了一批研究成果.目前对基于遗传算法的模糊测试还没有全面的分析和总结.首先介绍了模糊测试、遗传算法,说明了遗传算法在模糊测试中应用的基本流程,其次,分3个方面(提高漏洞发现能力、执行效率和自动化程度)总结了遗传算法在模糊测试中的作用和实现方式,然后分析了遗传算法用于模糊测试的适应性改进(编码、进化组织、适应度函数设计),最后讨论了当前研究的不足并提出了进一步研究方向.

摘要：生物量是衡量植被生产力的重要指标,灌木生物量模型是快速估算灌木生物量的重要方法之一。以河南省高速公路边坡3种常见的护坡灌木紫穗槐、荆条和胡枝子为研究对象,基于实地刈割获得植物叶、茎和地上生物量数据,以及对各灌木株高、冠幅和基径的测算,建立3种灌木叶、茎和地上总生物量的估算模型,根据决定系数(R~2)值的大小、估计值的标准误差(SEE)的大小及回归检验显著水平(P)筛选出最优预测模型,并利用地上生物量最优模型对3种灌木生物量进行了估算。结果表明:3种灌木茎叶比相差不大,为2.57~3.35;3种灌木器官和地上总生物量的最优模型采用的自变量为植株体积(V)、植株高度(H)或基径平方乘以株高(D~2H),最优模型形式多为二次或者三次函数方程。实测值检验显示,建立的3种灌木的函数模型预测生物量的预估精度均达到97%以上,预测精度较好,河南省高速公路边坡灌木地上生物量为6.86×10^(7) kg。研究结果证实,建立的灌木生物量预测模型可应用到高速公路边坡紫穗槐、荆条和胡枝子叶、茎和地上总生物量的估算。

摘要：加载控制方式是影响岩石力学性质重要因素之一。采用轴向变形控制和环向变形控制两种加载方式,对花岗岩试样开展变形速率为0.005 mm·s^(-1)条件下的单轴压缩试验,分析两种加载控制方式对花岗岩强度、应力及应变门槛值、能量演化及声发射特性等的影响规律。结果表明,与环向变形控制方式相比,轴向变形控制加载条件下:试样的峰值强度、损伤应力、起裂应力分别高12.8%、15.1%、13.1%;峰值轴向应变、损伤轴向应变及起裂轴向应变分别大12.5%、14.3%、15.2%,而峰值环向应变、起裂环向应变分别小24.2%、16.7%;峰值总能量大23.9%,储能能力R e大2.6%;声发射累计计数及累计能量分别高48.8%、106.1%,声发射b值大14.1%;通过声发射AF-RA值分析发现,两种加载控制方式对裂纹类型的影响不显著。研究结果对于深入揭示脆性岩石破裂机制具有重要意义。

摘要：针对煤矿井下长钻孔取样过程中存在的瓦斯损失量大、孔内条件复杂、煤样钻取率低等技术难点,设计了以高压水为驱动力、以活塞为驱动装置、以球阀为密封装置的保压取样器。该取样器通过钻杆传递水压的变化控制球阀的开启和关闭,实现煤样的高效钻取和密封保压。采用该取样器分别进行了3组常规钻孔和18组长钻孔取样试验,最大取样深度为297 m,取样过程煤层暴露时间均控制在5 min内,所取煤样瓦斯含量测定结果表明:在同一工作面,采用保压取样器取样比常规取样方式取样测试的煤层瓦斯含量大0.01~1.34 m^(3)/t,且长钻孔取样深度对煤层瓦斯含量测试数值无明显影响,表明保压取样器在取样成功后具有良好的密封保压性能,达到了煤矿井下长钻孔取样测试煤层瓦斯含量的目的。

摘要：为了研究某型号GH4169合金螺栓的镦制工艺及力学性能,利用Deform-3D有限元模拟软件对M30 mm×130 mm规格的GH4169合金螺栓的镦制成形过程进行了数值模拟,分析了不同摩擦因数对成形载荷的影响、成形过程中工件的等效应力和模具应力分布等,根据模拟结果设计、制造相应模具结构并完成了镦制工艺试验。将试验得到的GH4169合金螺栓锻件进行后续加工,分析时效处理与滚丝工艺的顺序对其显微组织及其力学性能的影响。研究结果表明,制定的GH4169合金螺栓镦制成形工艺是可行的,模具结构设计合理,加工时采用先时效处理后滚丝加工的制造工艺可降低材料的晶粒尺寸且具有良好的螺纹形态,其疲劳寿命高于先滚丝加工后时效处理的螺栓。研究结果对GH4169合金螺栓镦制工艺及后续加工方法具有较实用的指导价值。

摘要：随着云计算和大数据技术的发展,外包计算受到了越来越多的关注。外包计算为资源受限的用户解决复杂的计算问题提供了新的思路,但用户在外包过程中可能会面临数据隐私泄露、外包计算方案验证效率不高等问题,且外包计算中存在用户与外包计算者之间公平支付的问题。为解决这些问题,本文针对科学界和工程领域常见的大规模线性方程组的求解问题,结合区块链技术,提出了一种基于区块链的可审计大规模线性方程组求解外包计算方案。首先,利用稀疏矩阵盲化技术和随机加法分割方法构造了高效的外包计算方案,实现了用户外包数据的隐私保护和外包结果的可验证;其次,基于具有自动化和强制执行特点的智能合约,设计了一种新的外包计算智能合约,实现了外包计算结果的公开验证和用户与外包计算者之间的公平支付,并保障了用户和外包计算者双方的权益;同时,借助区块链不可篡改和可溯源等特性,将外包过程中所涉及的交互信息记录在区块链上,并提出了一种链上链下协同的可审计外包计算机制,实现了对外包计算者计算行为的公开审计,并能对恶意外包计算者进行追溯;最后,进行安全性分析和性能分析,并与现有的方案进行比较,证明所提方案是安全高效的且能实现用户与外包计算者之间的公平支付。

摘要：近年来,数字孪生技术在水利领域正在快速发展。其中,数字孪生数据底板存储着水利工程全生命周期中的信息,存在数据量庞大、管理复杂、更新成本增加等问题。同时,以WebGL为核心引擎渲染加载的应用层数字孪生平台受网络带宽和计算机性能的限制,面临着轻量化处理的挑战。针对数字孪生虚拟实体维度中的几何模型数据,利用改进QEM(Quadric Error Metrics,二次误差测度)算法和Low-Poly算法进行轻量化处理,选取水轮机导水机构作为案例,研究在满足数字孪生业务需求下的最优简化程度。结果表明:轻量化的处理是必要的;轻量化处理后的模型文件大小大幅度减小;在满足数字孪生精细度等级4个精度等级的简化程度的上限分别为原始数据、40%左右、70%左右、98%左右。

摘要：为解决混合A^(*)(Hybrid A^(*))算法在高分辨率地图和复杂场景下搜索效率低、耗费时间长的问题,通过对影响传统Hybrid A^(*)算法搜索效率的因素进行分析,提出了J-Hybrid A^(*)算法。首先,在Hybrid A^(*)算法扩展节点前,使用跳点搜索(JPS)算法进行起点到终点的路径搜索,将该路径进行拉直处理后作为计算节点启发值的基础;其次,设计了新的启发函数,在Hybrid A^(*)算法扩展前就能完成所有节点启发值的计算,减少了Hybrid A^(*)扩展节点时计算启发值所需的时间;最后,将RS曲线由最小转弯半径搜索改为变半径RS曲线搜索,使RS曲线能够更早搜索到一条无碰撞路径,进一步提升了Hybrid A^(*)算法的搜索效率。仿真结果表明:所提J-Hybrid A^(*)算法在简单环境中比传统Hybrid A^(*)算法和反向Hybrid A^(*)算法用时分别缩短68%、21%,在复杂环境中缩短59%、27%。在不同分辨率地图场景中,随着地图分辨率的提高,规划效率显著提升。实车实验表明:所提J-Hybrid A^(*)算法相较于传统Hybrid A^(*)算法和反向Hybrid A^(*)算法的搜索用时分别减少88%、82%,有效提升了Hybrid A^(*)算法的搜索效率、缩短了路径规划所需时间。

摘要：当前我们的城市面临多样化的威胁人类健康的问题,而城市形态与这些问题关系较为密切,为塑造健康的人居环境,设计可持续的城市形态成为当前的研究主流。在分析国内外相关研究基础上,依据复杂适应系统,提出非线性特征、空间流动性、局部与整体协调性、多样性、要素标识优势等评估内容,采用分形、空间句法、生物多样性、多维指标构建等方法提出具体量化框架与步骤。以天津市中心城区为对象评估其形态的可持续表现,并针对评估结果进行实地调研,发现评估结果与实际形态表现较为吻合,证实了评估方法的有效性,也为健康人居环境设计提供依据。

摘要：时间步长是数值天气模式稳定运行的关键参数。为实现业务模式稳定运行并保证运行效率,根据CMA-MESO 3 km模式时间积分方案特点,设计了自适应时间步长方案。以模式最大库朗数为依据,提出瞄准法和削顶法两种方法。根据CMA-MESO模式动力框架特点,研发了相应时间控制技术并在CMA-MESO 3 km系统中程序实现了自适应时间步长方案。个例和批量试验结果显示,采用瞄准法,模式中最大库朗数会在目标值附近变化,使模式更加稳定。采用削顶法,会调整模式中最大库朗数超出目标值的部分,保证模式稳定积分的同时,又尽量少地干预模式。总之,两种方法的自适应时间步长方案能够有效避免模式积分溢出情况,显著地提高模式的稳定性。对于3 km分辨率的模式来说,当库朗数目标值取1.2左右时,削顶法比瞄准法更适合业务运行。目前,自适应时间步长方案已投入业务应用。