DeltaFuzz: Historical Version Information Guided Fuzz Testing

With the widespread use of agile software development methods,such as agile and scrum,software is iteratively updated more frequently.To ensure the quality of the software,regression testing is conducted before new versions are released.Moreover,to improve the efficiency of regression testing,testing efforts should be concentrated on the modified and impacted parts of a program.However,the costs of manually constructing new test cases for the modified and impacted parts are relatively expensive.Fuzz testing is an effective method for generating test data automatically,but it is usually devoted to achieving higher code coverage,which makes fuzz testing unsuitable for direct regression testing scenarios.For this reason,we propose a fuzz testing method based on the guidance of historical version information.First,the differences between the program being tested and the last version are analyzed,and the results of the analysis are used to locate change points.Second,change impact analysis is performed to find the corresponding impacted basic blocks.Finally,the fitness values of test cases are calculated according to the execution traces,and new test cases are generated iteratively by the genetic algorithm.Based on the proposed method,we implement a prototype tool DeltaFuzz and conduct experiments on six open-source projects.Compared with the fuzzing tool AFLGo,AFLFast and AFL,DeltaFuzz can reach the target faster,and the time taken by DeltaFuzz was reduced by 20.59%,30.05%and 32.61%,respectively.     

考虑压实度的填土场基桩负摩阻力试验

填土场地会因处理手段和时间的差异呈现出不同的压实度,填土压实度的差异往往导致不同程度的沉降,并引起不同程度的基桩负摩阻力。针对不同压实度填土场开展基桩承载性状模型试验,研究不同压实度填土对基桩负摩阻力的影响;分析了不同填土压实度的加卸载与基桩沉降、桩端阻力之间的关系;研究了基桩轴力、桩侧摩阻力沿深度的分布情况以及随时间的变化关系,桩周土体随固结时间的沉降变化情况。试验结果表明：填土场基桩负摩阻力的发展演化存在明显的时间效应,与填土沉降先快后慢的趋势一致;随填土层压实度增加基桩负摩阻力减少,中性点位置上移。     

小净距邻近营业线隧道爆破施工研究

成渝高铁新中梁山隧道与既有营业线交叉段竖向净距仅为2.7 m,为顺利完成隧道建设,对既有营业线路隧道利用"天窗"期采用I20b型钢进行加固,并运用"三次钻进法"完成了钢拱架脚底螺栓和锁脚锚杆的安装。根据围岩情况隧道采用机械开挖和非爆法加控制爆破法进行施工,通过计算采用低爆速2号岩石乳化炸药进行爆破,使得最大爆破振速、拱顶沉降值、水平收敛值均在规范允许变化范围内。     

基于手机蓝牙控制的智能电风扇

随着时代的发展以及科学技术的进步,我国的社会生产、生活发生了具体的变化,而社会居民的生活逐步朝着智能化、数字化的方向发展.目前,随着移动智能化以及移动通信时代的到来,手机作为集合了各项科技成果的设备,在社会居民的生活中发挥着较为重要的作用.本文基于此,探讨了借助蓝牙系统控制起停的全方位无线电风扇.     

天然气水合物实验装置及其发展趋势

研究天然气水合物离不开实验模拟。分析了国内外水合物实验装置设计和发展情况及相应的实验研究内容,总结了水合物实验系统构成,探讨了我国与国外水平的差距,最后归纳了国内外水合物实验装置研究特点与技术发展趋势,并给出了提高我国水合物综合实验研究水平的建议。     

工业纯钛TA1薄带制备工艺对织构与性能的影响

TA1常温下具有密排六方结构,滑移系较少,对称性较差,塑性变形机制复杂,加工方法不同会导致其各向异性,造成制耳、起皱等缺陷.为解决该问题,本文选用了厚度为0.5 mm的TA1薄带,通过X射线衍射(XRD)、电子背散射衍射(EBSD)、拉伸成形试验及共聚焦显微镜,研究了由于制备工艺不同而产生的不同织构和组织对其性能的影响...     

旱涝交替下驮英灌区年内水资源优化调控研究

针对旱涝频发下区域水资源分配不均问题,基于某时段可供水量是否满足用户层理想需水量,提出旱涝交替下年内水资源优化调控方法。以驮英灌区为研究对象,建立水资源优化调控模型,通过2030规划水平年驮英灌区供水侧供水能力分析及需水侧水资源需求预测,分析远期水资源供需平衡情况,研究年内尺度的水资源优化调控方案。结果表明,规划水平年总缺水1 692万m³,年缺水率较调控前降低37.7%,生活用水得到充分保证,有效缓解了水资源短缺和分配不均局面。研究成果可为驮英灌区旱涝交替水资源优化调控提供决策方案,且该方法可供旱涝频发区域水资源优化调控参考。     

基于SPI指标左江流域旱涝演变规律与趋势预测分析

为探明广西驮英灌区旱涝灾害演变机理,揭示旱涝的演变规律,选取了1983年～2018年该灌区及周边5座大中型水库的逐月降水量数据,采用标准化降水指数SPI法对降雨数据进行不同时间尺度的处理,以SPI指数表征区域历史旱涝程度,采用趋势分析并运用Morlet小波分析方法,分析灌区近年旱涝变化的周期性,预测未来旱涝变化趋势。结果表明,该灌区年降水量变化波动幅度较大,年降水呈不显著的增长趋势;降水量具有明显的阶段性特征;年降水主要分布在汛期,夏秋季节的降水过程对年降水过程影响较大。根据Morlet小波分析结果,预测未来灌区总体降水将偏多,其中春夏两季将处于丰水期,而秋冬两季将处于枯水期。     

一次变压器环流引起智能电能表反向电量的原因分析

结合一次10 kV专变用户两台变压器并联运行,导致智能电能表出现反向电量的现场实例,运用计量参数数据和变压器并联运行条件,分析智能电能表反向电量原因和计量误差,提出了相应防范措施。     

长工作距变焦显微系统物镜设计

激光内雕机在进行激光内雕时,经常会存在激光炸点不均匀的情况,需要对其进行放大分析,从而更好地控制激光束的能量。根据企业激光内雕炸点观察需求,设计了一款长工作距变焦显微物镜。玻璃内部的炸点观察范围为9~32 mm,系统采用光学变焦方式,变焦范围为6~24 mm,放大倍率为4~16,变倍比为4倍。探测器采用了一款型号为VA-1MG2的1/2 in（1 in=2.54 cm）CCD,其像元大小为5.5 m。利用Zemax进行光学系统设计优化,在截止频率91 lp/mm处,各组态下各视场的MTF值均大于0.4,在中心视场和0.7视场处均接近衍射极限。点列图的RMS半径也均小于艾里斑半径,满足长工作距变焦显微系统的各项指标需求。