摘要：软件产品线测试是一项非常具有挑战性的工作.基于相似性的测试方法通过提升测试集的多样性以达到提高测试覆盖率和缺陷检测率的目的.因其具有良好的可拓展性和较好的测试效果,目前已成为软件产品线测试的重要手段之一.在该测试方法中,如何产生多样化的测试用例和如何维护测试集的多样性是两个关键问题.针对以上问题,提出一种基于多样性可满足性(SAT)求解器和新颖性搜索(novelty search,NS)的软件产品线测试算法.具体地,所提算法同时采用两类多样性SAT求解器产生多样化的测试用例.特别地,为了改善随机局部搜索SAT求解器的多样性,提出一种基于概率向量的通用策略产生候选解.此外,为同时维护测试集的全局和局部多样性,设计并运用两种基于NS算法思想的归档策略.在50个真实软件产品线上的消融和对比实验验证多样性SAT求解器和两种归档策略的有效性,以及所提算法较其他主流算法的优越性.

摘要：淡水贻贝沼蛤入侵输水工程形成生物污损影响结构安全,常用的化学防治手段投加浓度仍需深入探究,因此分析NaClO、KMnO_(4)等常用药剂对沼蛤的毒理效应尤为重要。该研究通过沼蛤的死亡率、酶活性和过氧化脂质分别对NaClO和KMnO_(4)的应激响应,采用综合生物标志物响应(IBR)评价沼蛤受到的毒理效应,运用LC-MS非靶向代谢组学分别分析沼蛤鳃组织暴露在NaClO和KMnO_(4)溶液中72 h后的代谢变化,从分子生物学角度揭示沼蛤对NaClO和KMnO_(4)的毒理代谢调节机制,为确定准确的投加浓度提供依据。结果表明:(1)随NaClO浓度的增加,沼蛤鳃组织的抗氧化酶(超氧化物歧化酶(SOD)、过氧化氢酶(CAT)和谷胱甘肽过氧化物酶(GPx))活性下降;当暴露在KMnO_(4)溶液中时,抗氧化酶活性先升后降,最大值出现在2.0 mg/L,然后随着浓度的增加抗氧化酶活性下降;表征组织损伤的过氧化脂质(LPO)水平随药剂浓度的增加而增加;(2)死亡率和IBR结果表明,浓度小于4.0 mg/L时,NaClO灭活效果优于KMnO_(4),而当浓度为8.0 mg/L时,KMnO_(4)则优于NaClO;(3)代谢组学分析显示,所有处理组中均发现了氨基酸代谢通路,仅在KMnO_(4)浓度为8.0 mg/L时,处理组中未发现嘌呤代谢以及醚脂代谢通路;浓度小于4.0 mg/L时,NaClO通路以醚脂代谢主,当大于4.0 mg/L时,通路以嘌呤代谢为主;当浓度为8.0 mg/L时,KMnO_(4)通路以氨基酸代谢为主。研究结果可为NaClO和KMnO_(4)防治长距离输水系统的沼蛤生物污损提供微观基础数据和浓度投加的确定依据。

摘要：在气候变化和城市化的双重驱动下,人口稠密、经济发达的城市地区的洪涝问题日趋严重。气候变化背景下城市暴雨洪涝研究既是全面认识和理解气候变化影响的重要内容,也是降低灾害风险、减轻灾害影响的实际需要。从探究方法和技术手段的角度,综述了气候变化下极端降水特征、城市暴雨洪涝和城市洪涝韧性3个方面的国内外主要研究成果;系统归纳了气候变化下城市暴雨洪涝变化趋势的诊断方法、技术手段,关注气候情景设计、洪涝评估模型;阐述了气候变化下城市洪涝韧性的理念与实践,总结了韧性定性、定量评估方法;指出了气候变化下城市暴雨洪涝研究面临的主要挑战及关键技术难题,提出了未来研究的重点方向,如加强对气候变化与城市化双重驱动下极端降水、复合洪涝时空演变特征及其形成机理的研究,提高人工智能模型对气候变化背景下洪涝模拟的准确性和可解释性,深化城市洪涝韧性中概念框架、定性定量方法以及不确定性的探讨等。

摘要：油压锥阀与水压锥阀在空化特性方面有较大差异,其流场机制尚未明确。为此,利用VOF空化两相流数值模拟算法在OpenFOAM开源平台上开展流场模拟,研究水压锥阀与油压锥阀空化特性。结果表明,水压锥阀及油压锥阀的空化分布较为一致,集中在自由剪切层、壁面剪切层及阀芯后沿等位置,同时各区域的空化诱发机制相同。油压锥阀的近壁面漩涡空化呈现径向链状特征,而水压锥阀则为分散性的片状结构,不同的空化形态主要源于转捩过程的差异。另外,在高强度空化流动条件下,直角型油压锥阀的整体空化强度相对水压锥阀较大,而倒角型锥阀则相反。水压锥阀比油压锥阀更容易发生空化初生。研究分析了水压锥阀与油压锥阀的空化特性差异及相关机制,可为不同介质的液压阀设计提供理论参考。

摘要：传统SBR反应器TN去除效果较差,研究采用半固定生物膜载体模块、污泥回流系统和快速进出水系统优化传统SBR工艺,并开展中试试验探讨工艺深度脱氮的效果和机理。结果表明半固定生物膜载体耦合改良SBR工艺在低进水负荷情况下对COD、NH_(3)-N、TN和TP的去除率分别为87.19%、98.24%、63.42%和87.06%,高进水负荷情况下去除率分别为94.34%、98.47%、73.47%和73.73%。通过16S rRNA基因序列和PICRUSt2技术分析,悬浮污泥和生物膜载体的微生物群落存在显著差异。在低进水负荷情况下,悬浮污泥主要负责反硝化,生物膜载体主要负责氨氧化,TN主要通过硝化-反硝化去除。在高进水负荷情况下,悬浮污泥中硝酸盐还原酶的作用逐渐减弱,生物膜载体中厌氧氨氧化和氮的同化作用成为主导,TN主要通过同化作用去除。

摘要：空间电荷效应是强流质子加速器的核心问题之一,在注入和初始加速阶段其影响最大。采用相空间涂抹方法并优化其涂抹过程,可以有效地减少空间电荷效应对束流注入和加速效率及发射度增长的影响。横向相空间涂抹方法可分为相关涂抹和反相关涂抹。首先,本工作对强流质子同步加速器的横向相空间涂抹方法进行深入研究,包括不同的涂抹方法和实现方式。其次,基于中国散裂中子源(CSNS)注入系统,对束流注入过程和反相关涂抹设计方案进行详细研究,深入探索实际垂直涂抹范围变小的原因和凸轨磁铁边缘聚焦效应对涂抹效果和束流动力学的影响。同时,简单介绍了在反相关涂抹机械结构基础上实现相关涂抹的方法及其对实现CSNS设计指标起到的关键作用。最后,根据未来加速器对不同涂抹注入方法在线切换的需求,我们提出了一种同时实现相关和反相关涂抹的新注入方案,并对其进行详细的论证、模拟和优化。

摘要：针对果园种植管理系统存在可视性低、实时性差、适应性弱和交互方式单一的问题,提出一种面向种植管理过程的果园数字孪生系统六维模型。从管理要素实体建模、管理过程动态建模、管理系统仿真建模和管理策略优化建模4个方面论述了系统模型构建理论与技术体系。以六维模型为基础,理论与技术体系为支撑,设计了基于数字孪生的果园虚拟交互系统架构,并对系统开发过程的关键技术进行了阐述。借助Unity3D仿真平台搭建了果园虚拟交互系统,实现对果园的三维可视化监测。实验结果表明:该系统在农业物联网平台数据共享基础上,通过数据驱动、三维展示、人机交互、重构事件和智能决策方面提升了果园种植管理系统监测能力,为建设智慧果园提供参考。

摘要：研究通讯拓扑为符号有向图的人在环多机械臂系统的预设性能二分一致性跟踪控制问题.为在预设时间内收敛到预设精度,提出一种基于观测器的预设性能控制策略.首先,设计预设时间和精度的观测器以估计领导者的输出信息,通过合作/竞争信息交互实现观测器输出的二分一致性.该观测器不需要领导机械臂的输入信息及输出信息的高阶导数,并通过无芝诺行为的事件触发机制降低不同机械臂间的通讯负担.其次,通过反步法及误差转化法将有约束的机械臂输出跟踪问题转化为无约束的误差系统稳定性问题,进而基于观测器输出设计机械臂的输出调节控制器.值得一提的是,设计的控制策略不需要系统初始状态的先验知识且避免了预设时刻控制增益无穷大的现象,增强了系统的可靠性.最后,仿真结果表明所提控制策略的可行性及优越性.

摘要：手机信令数据记录了城市个体的社会经济属性信息,在城市贫困空间识别中可以更精准地定位相对贫困群体。以广州市为例,尝试结合手机信令数据与问卷调查数据,构建了个体手机使用指标与经济水平间的多元线性回归模型,再利用手机信令数据识别城市内部相对贫困空间。研究发现,个体层面上“手机通讯费用”“APP使用偏好”与其经济水平具有关联性;空间层面上呈“中心高、四周低”的空间分布规律,中心城区内相对贫困空间集中于老城区、城中村和旧工业区。对比传统人口普查数据识别结果,发现基于手机信令数据的相对贫困识别具有较高的可行性。研究丰富了城市相对贫困空间识别的方法体系,对有针对性推进贫困治理工作具有实践意义。

摘要：目的针对30CrMnSiA合金结构钢小模数齿形件电流辅助分形旋压成形工艺,探究工艺参数对小模数齿形件成形质量的影响规律,分析工艺参数间的相关性,获得优化后的工艺参数组合。方法选取小模数齿形件齿廓偏差、齿距偏差、轮齿饱和度为成形质量响应指标,以电流密度、占空比以及旋轮进给速度为影响因素,设计响应面试验方案;根据有限元模拟结果建立成形质量回归预测模型,分析电流密度、占空比以及旋轮进给速度对小模数齿形件成形质量的影响规律,计算获得最优的参数组合并进行试验验证。结果电流密度、脉冲占空比、旋轮进给速度对小模数齿形件成形质量有显著影响,成形质量随着电流密度与占空比的升高而升高,随旋轮进给速度的升高而先升高后降低;且电流密度与旋轮进给速度、脉冲占空比与旋轮进给速度在对轮齿饱和度的影响上有一定的交互性;通过建立的回归模型预测得到的优化工艺参数如下:电流密度为17.5 A/mm2、脉冲占空比为40%、旋轮进给速度为0.6 mm/min。结论回归模型预测值与试验值的相对误差小于8%,说明所构建的成形质量回归预测模型是准确的,利用优化后的参数可制备出成形质量良好的小模数齿形件。