XiaoMi-AI文件搜索系统
World File Search System底灰
撞击气候变化共享的水资源 - 欧普拉底山脉...
阿拉伯地区对共享水资源表现出很大的依赖，大多数阿拉伯国家都依靠与邻近的阿拉伯国家或该地区以外的国家共享的供水。实际上，超过三分之一的淡水资源来自该地区边界之外。在共享地表水方面，22个阿拉伯国家中有14个具有地表水体。1该地区也是世界上最稀缺的地区之一。这种稀缺性在农业部门表现出来，这是阿拉伯国家的粮食安全和生计的重要来源，以及最大的水消费者，在整个地区平均有80％的淡水资源，用于农业使用。2个预计的气候变化对水利用率的影响往往会加剧对水资源的现有压力。Findings from the Regional Initiative for the Assessment of Climate Change Impacts on Water Resources and Socio-Economic Vulnerability in the Arab Region (RICCAR) indicate that temperatures are projected to increase by 1.2°C – 2.6°C by mid-century and up to 4.8°C by the end of the century, as well as increased spatial-temporal variability of precipitation.这些因素显着影响淡水供应对所有依赖水的部门，尤其是农业的数量和质量，威胁到该地区的粮食安全。
CoralNet：用于自动注释底栖图像的 AI
Beijbom、Edmunds、Roelfsema、Smith、Kline、Neal、Dunlap、Moriarty、Fan、Tan、Chan、Treibitz、Gamst、Mitchell、Kriegman，“面向底栖调查图像的自动注释：人类专家的多变性和自动化操作模式”，PLOS ONE，2015 年
帕金森病患者丘脑底核的步态编码原理
帕金森病患者丘脑底核动力学的破坏会导致行走障碍。在此，我们旨在揭示丘脑底核编码帕金森病患者功能性和功能障碍性行走的原理。我们设计了一个神经机器人平台，使我们能够在控制良好的条件下解构行走的关键组成部分。我们在 18 名帕金森病患者身上利用了这个平台，这使我们能够证明丘脑底核编码腿部肌肉激活的开始、终止和活力。我们发现相同的基本原理决定了行走的编码。我们将这种理解转化为机器学习框架，该框架可以解码肌肉激活、行走状态、运动活力和步态冻结。这些结果揭示了丘脑底核动力学编码行走的关键原理，从而有可能利用这些信号操作神经假体系统，以改善帕金森病患者的行走能力。
TargetFuzz：使用 DART 引导定向灰盒模糊测试器
软件开发是一个持续、渐进的过程。开发人员不断以小批量而非一次性大批量的方式改进软件。小批量的高频率使得使用有效的测试方法在有限的测试时间内检测出错误变得至关重要。为此，研究人员提出了定向灰盒模糊测试 (DGF)，旨在生成针对某些目标站点进行压力测试的测试用例。与旨在最大化整个程序的代码覆盖率的基于覆盖范围的灰盒模糊测试 (CGF) 不同，DGF 的目标是覆盖潜在的错误代码区域（例如，最近修改的程序区域）。虽然先前的研究改进了 DGF 的几个方面（例如电源调度、输入优先级和目标选择），但很少有人关注改进种子选择过程。现有的 DGF 工具使用主要为 CGF 定制的种子语料库（即一组覆盖程序不同区域的种子）。我们观察到，使用基于 CGF 的语料库限制了定向灰盒模糊测试器的错误查找能力。为了弥补这一缺陷，我们提出了 TargetFuzz，这是一种为 DGF 工具提供面向目标的种子语料库的机制。我们将此语料库称为 DART 语料库，它仅包含与目标“接近”的种子。这样，DART 语料库就可以引导 DGF 找到目标，从而即使在有限的模糊测试时间内也能暴露漏洞。对 34 个真实漏洞的评估表明，与基于 CGF 的通用语料库相比，配备 DART 语料库的 AFLGo（一种最先进的定向灰盒模糊测试器）可以发现 10 个额外的漏洞，并且平均在暴露时间上实现了 4.03 倍的加速。
在不同的土壤条件下通过甘蔗砂灰的风化去除二氧化碳
甘蔗厂被认为是通过增强的风化（EW）具有很高的二氧化碳去除（CDR）的潜力，但尚未定量评估。这项研究的目的是1）通过EW评估各种甘蔗厂灰分的CDR电位，以及2）研究土壤条件和铣削灰分对CDR的影响。这是通过表征澳大利亚五台灰烬的物理和化学性质并使用一维反应性传输模型模拟风化的。该模型被列为模拟，以模拟100吨/公顷的湿灰（47 - 65％水）或压碎玄武岩的风化，在各种土壤pH和二氧化碳二氧化碳部分压力（PCO 2）的各种组合下（PCO 2）。在两级阶乘设计中进行了灵敏度分析，以测试pH，pH缓冲，材料表面积，浸润速率，植物摄入养分，有机物阳离子阳离子交换表面和PCO 2对建模CDR的影响。磨坊灰分的模拟CDR明显小于玄武岩（p <0.001），但在灰烬之间大多没有显着差异（p> 0.05）。铣削灰分的风化已累积地去除0.0 - 4.0 t CO 2 /ha（0.00 - 0.040 t CO 2 /t湿灰），类似于文献中建模的一些玄武岩和橄榄石。在大约5年内实现了磨坊灰分的理论最大CDR（基于适用的可风化材料）。CDR的估计值因条件而变化。至少当初始土壤溶液pH值最低（4.5，未封闭）时，pH为6.5或更少，持续缓冲且PCO 2较低（600 ppm）。cdr也显着降低。此处量化的pH和pH缓冲的效果可以解释酸性土壤现场试验中EW的低测量CDR，并突出了对pH缓冲能力进行更现实的建模的需求。总体而言，Mill Ash通过EW表现出很高的CDR潜力，尤其是在考虑生命周期益处的情况下，尽管必须在现场进行验证。
新城镇和灰带：健康的场所营造还是仅仅是住房数量？
工党承诺通过新城和“灰带”启动住房供应，这是对住房和负担能力问题以及过去几十年重大经济危机的重要回应。然而，如果没有质量保证和战略激励，这种方法就有可能成为一种“不惜一切代价追求数量”的做法。对住房供应的关注必须转变为对场所营造的关注。不健康的场所会增加疾病负担，增加中长期医疗成本，并降低生产力。它们还可能使我们更容易受到 Covid 等冲击（由于潜在的健康状况）和地球健康状况恶化的影响。实现质量和数量是可能的，但好的例子很少。政府需要将健康放在首位，才能有一个良好的开端。阅读我们关于健康对政策制定者意义的解释。
DDGF：带路径分析的动态定向灰盒模糊测试
覆盖引导模糊测试 (CGF) 已成为最流行和最有效的漏洞检测方法。它通常被设计为自动化的“黑盒”工具。安全审计员启动它，然后只需等待结果。然而，经过一段时间的测试，CGF 很难逐渐找到新的覆盖范围，因此效率低下。用户很难解释阻止模糊测试进一步进展的原因，也很难确定现有的覆盖范围是否足够。此外，没有办法交互和指导模糊测试过程。在本文中，我们设计了动态定向灰盒模糊测试 (DDGF)，以促进用户和模糊测试器之间的协作。通过利用 Ball-Larus 路径分析算法，我们提出了两种新技术：动态自省和动态方向。动态自省通过编码和解码揭示了路径频率分布的显著不平衡。基于自省的洞察力，用户可以动态地指导模糊测试器实时将测试重点放在选定的路径上。我们基于 AFL++ 实现 DDGF。在 Magma 上的实验表明，DDGF 能够有效帮助模糊测试器更快地重现漏洞，速度提升高达 100 倍，而性能开销仅为 13%。DDGF 展示了人在回路中模糊测试的巨大潜力。
绿党如何变灰：绿党政治以及能源和气候变化的非政治化
脱碳努力和可持续性转型是备受争议的社会政治项目。然而，它们经常遭遇各种形式的非政治化。本文阐明了能源转型这样的重大社会生态挑战是如何被一个不寻常的嫌疑人——德国绿党——非政治化的。基于对 1980 年至 2021 年期间发表的绿党计划、党代会和其他文件的定性内容分析，本文追溯了绿党如何随着时间的推移将能源转型非政治化，强调从激进的社会变革转向生态现代化。德国绿党在该国能源转型问题上的立场变化反映了该党通过其能源和气候变化议程共同设想的未来社会的更深刻变化。这些变化源于主张渐进式政治改革的温和派与旨在实现更根本和系统的社会变革的激进派之间的斗争。通过将可持续性转型研究与科学技术研究相结合，本文做出了双重贡献：首先，它提出了一个概念框架来研究通过能源和气候政治设想的社会和政治未来。其次，本文通过实证研究了一个不寻常但关键的案例的长期去政治化过程。德国绿党接受了以技术为中心的能源转型愿景，从而压制了早期更广泛的社会变革观念，例如反资本主义和能源民主。本文阐述了对更广泛的能源和气候政治领域的影响，并最后提出了对未来研究的建议。