XiaoMi-AI文件搜索系统
World File Search System灰水
RLTG：多目标定向灰盒模糊测试
定向灰盒模糊测试可以引导模糊器探索特定的目标代码区域，在补丁测试等场景中取得了良好的效果。然而，如果有多个目标代码需要探索，现有的定向灰盒模糊测试器（如AFLGo和Hawkeye）往往会忽略一些目标，因为它们使用距离的调和平均值，倾向于测试可达路径较短的目标。此外，现有的定向灰盒模糊测试器由于程序中存在间接调用，无法计算出准确的距离。此外，现有的定向灰盒模糊测试器无法解决探索和利用问题，种子调度效率低下。针对这些问题，我们提出了一种动态种子距离计算方案，当可达路径遇到间接调用时，动态增加种子距离。此外，种子距离计算可以处理多目标场景下的偏差问题。利用种子距离计算方法，我们提出了一种基于置信上限算法的种子调度算法，以解决定向灰盒模糊测试中的探索和利用问题。我们实现了一个原型 RLTG，并在实际程序上对其进行了评估。原型评估表明，我们的方法优于最先进的定向模糊器 AFLGo。在多目标基准测试 Magma 上，RLTG 以 6.9 倍的速度重现错误，并且比 AFLGo 多发现 66.7% 的错误。
2020州水计划：水和气候
2020年国家水计划的目的是为未来十年的国家机构，立法优先事项以及地方政府政策，计划和行动建立一个框架。EQB制定了该计划，以制定议程，以解决明尼苏达州的气候变化将加剧的固执和复杂的水问题。在为本报告做准备时，EQB召集了州机构，与来自44个公共和私人组织的250多人会面，并进行了两项非正式调查，以了解与水和气候有关的担忧以及有关地方和州政府应采取的行动的想法。该计划定义了目标，策略和行动。它突出了与气候有关的关键水问题，但这并不是我们面临的挑战或实施解决方案的详尽清单。本计划中提出的想法可以帮助建立优先事项并为决策提供信息，并且强调了在几个目标中采取多个好处采取行动以超越我们当前轨迹的需要。
对气候缓解水的水的分析简介
国际大学气候联盟（IUCA）与未水和气候变化专家集团合作估计，IPCC评估的许多气候缓解措施的水需求是附件2（IUCA，2024年）。这项工作还估计了各种缓解作用的相对“水效率”。例如，每千亿升水用于使清洁能量代替化石燃料的能量，估计绿色氢的生产可节省约68.4吉甘顿二氧化碳等效排放，第二代液体生物燃料，大约2吉甘酮，以及约1.7 Gigatonnes左右的轻型电动汽车的电气化。IUCA估计，每千亿升水旨在维护或恢复泥炭地的水桌，将隔离约18.5 Gigatonnes的排放。IUCA估计，每千亿升水旨在维护或恢复泥炭地的水桌，将隔离约18.5 Gigatonnes的排放。
DeepGo：预测定向灰盒模糊测试
在本文中，我们提出了一个预测定向灰盒模糊测试器 DeepGo，它可以结合历史和预测信息来引导 DGF 通过最佳路径到达目标站点。我们首先提出路径转换模型，该模型将 DGF 建模为通过特定路径转换序列到达目标站点的过程。突变产生的新种子将导致路径转换，而高奖励路径转换序列对应的路径表示通过它到达目标站点的可能性很高。然后，为了预测路径转换和相应的奖励，我们使用深度神经网络构建虚拟集成环境 (VEE)，它逐渐模仿路径转换模型并预测尚未采取的路径转换的奖励。为了确定最佳路径，我们开发了一个强化学习模糊测试 (RLF) 模型来生成具有最高序列奖励的转换序列。RLF 模型可以结合历史和预测的路径转换来生成最佳路径转换序列，以及指导模糊测试突变策略的策略。最后，为了练习高奖励路径转换序列，我们提出了行动组的概念，全面优化模糊测试的关键步骤，实现高效到达目标的最优路径。我们在 2 个基准测试套件（共 25 个程序，100 个目标站点）上对 DeepGo 进行了测试。实验结果表明，与 AFLGo、BEACON、WindRanger 和 ParmeSan 相比，DeepGo 在到达目标站点方面分别实现了 3.23 倍、1.72 倍、1.81 倍和 4.83 倍的加速比，在暴露已知漏洞方面分别实现了 2.61 倍、3.32 倍、2.43 倍和 2.53 倍的加速比。
关键代码引导的灰盒模糊测试
新提交的提交容易将漏洞引入程序。作为一种有前途的对策，可以使用定向灰盒模糊测试器通过将提交更改位置指定为目标来测试提交更改。但是，现有的定向模糊测试器主要侧重于达到单个目标，而忽略了对其他受影响代码的多样化探索。因此，它们可能会忽略在远离更改位置的位置崩溃的错误，并且在多目标场景中缺乏直接性，这在提交测试的背景下都很常见。在本文中，我们提出了一种直接灰盒模糊测试器 WAFLG O ，以有效发现提交引入的漏洞。WAFLGO 采用一种新颖的关键代码引导输入生成策略来彻底探索受影响的代码。具体而言，我们确定了两种类型的关键代码：路径前缀代码和数据后缀代码。关键代码首先引导输入生成逐渐、增量地到达更改位置。然后，在保持关键代码可达性的同时，输入生成策略进一步鼓励在探索受影响代码时生成输入的多样性。此外，WAFLGO 引入了一种轻量级多目标距离度量，用于直接和彻底检查所有更改点。我们实现了 WAFLG O，并使用提交引入的 30 个真实错误对其进行了评估。与 8 种最先进的工具相比，WAFLGO 实现了平均 10.3 × 的加速。此外，WAFLGO 在测试最近 50 次提交的真实软件（包括 libtiff、fig2dev 和 libming 等）时发现了 7 个新漏洞，其中包括 4 个 CVE。
灰龙：评估中国高级军事领导层
图 1.改革后的解放军结构 ......................................................................................................................9 2.解放军高级军官，按级别划分（2015 年和 2021 年） ........................................................................10 3.解放军高级军官，按军种划分（2015 年和 2021 年）（%） .............................................................................12 4.陆军关键联合作战岗位军官（2015-2021 年）（%） .............................................................................12 5.解放军高级军官，按军种与军种人力份额划分（2022 年）（%） .............................................................................13 6.解放军高级军官，按类型划分（2015 年和 2021 年）（%） .............................................................................14 7.解放军高级军官年龄/经验年限，按职等划分（2021 年）................................................................................................................................17 8.过去 10 年的地理轮换（%）................................................................................................................19 9.过去 10 年的地理轮换，按职位类型划分（%）.............................................................................20 10.过去 10 年的跨职能轮换（%）.............................................................................................21 11.过去 10 年的职位类型轮换（%）.............................................................................................22 12.过去 10 年（2015 年和 2021 年）的联合任务（%）.............................................................23 13.过去 10 年的联合任务，按职等划分（%）.............................................................................23 14.过去三年的联合任务各职级，按职务划分（2016-2022 年）.....24 15.过去 10 年的联合任务，按部队划分（%）.............................................................25 16.战区指挥官的职业发展，2016-2021 年.........................................................................27 17.各部队指挥官的职业发展，2016-2021 年.........................................................................27 18.解放军高级军官，按军种/战区划分（2015 年 vs. 2021 年）.............................................31 19.各集团军的先前职务（2015 年 vs. 2021 年）.............................................................31 20.在中央党政机关任职的解放军高级军官（2021 年）.............................................................33 21.中共决策机关成员等级（2021年）......................................................34 22.第十三届全国人民代表大会代表（2021年）.......................................35
水研究
饮用水分配系统中生物膜的存在（DWD）负责水质的恶化和公共卫生风险的可能来源。不同的因素影响分配网络中饮用水（DW）的生物稳定性，例如养分的存在和浓度，水温，管道材料组成，流体动力学条件以及消毒剂残留水平。本综述旨在通过对过去十年中发表的文献进行定性和定量分析来评估DW生物膜消毒策略的当前知识状态。对通过数据库搜索网络和Scopus搜索确定的562个期刊文章进行了系统的审查方法，并选择了85项研究进行详细分析。鉴定出各种用于DW生物膜对照的消毒剂，例如氯，氯胺，紫外线辐照，过氧化氢，二氧化碳，臭氧和其他以较低的频率，即电解水，电粒水，噬菌体，银离子和纳米群。消毒剂会影响生物膜内的微生物群落，减少可培养的细胞和生物膜生物量的数量，并干扰生物膜基质成分。在水中维持有效的残留浓度可以保证长期预防生物膜形成，并改善了分离的生物膜相关的机会性病原体的失活。大多数研究都使用台式实验室设备进行生物膜研究。此外，通过优化一级和次要消毒与其他水处理方法相结合的基于多级轰炸过程的策略改善了机会性病原体的控制，降低了生物膜膜的细胞的氯耐受性，并降低了金属基管道的腐蚀速率。尽管这些设备模仿了实际DWD中发现的条件，但对DW生物膜控制策略的未来研究也应包括对实际DW网络中形成的生物膜的有希望策略的有效性。