XiaoMi-AI文件搜索系统
World File Search System程序化
程序化分类排除 (PCE)
发现：其他；注释中提供了简要叙述。注释：根据以下影响标题下列出的发现，拟议的行动不会对第 4(f) 节或第 106 节保护的财产产生重大影响。4. 项目发起人确认，拟议的行动不会导致与任何联邦、州或地方法律、要求或与行动的环境方面有关的行政决定不一致。影响：5. 拟议的行动将不涉及获取超过少量的临时或永久通行权。
final-eis-0557-太阳能-程序化-vol-1-2024-10-16.pdf
土地管理局已完成一项程序分析，以评估亚利桑那州、加利福尼亚州、科罗拉多州、爱达荷州、蒙大拿州、内华达州、新墨西哥州、俄勒冈州、犹他州、华盛顿州和怀俄明州的土地管理局资源管理计划的潜在修订，以促进公共土地上的太阳能开发，同时最大限度地减少资源冲突。潜在的修订将有助于引导太阳能开发通行权申请远离已知资源冲突可能性高的公共土地，同时保持足够的灵活性，以调整开发选址配置，以应对通过项目特定分析确定的特定地点的资源问题。潜在的修改将支持国家气候优先事项和公共土地的可再生能源部署目标，并将提供管理方向，以应对未来 20 年或更长时间内预计的可再生能源开发需求。
1报告：气候和发展部长级（C＆DM）技术专家：用于麻省和SIDS的程序化，可访问和规模的适应融资|星期一
与外国，英联邦和发展办公室（FCDO），能源安全和净零（DESNZ），国际环境与发展研究所（IIED），第三代环保主义（E3G）和Southsouthnorth（SSN）
SHA-256与程序化SAT碰撞攻击
抽象的加密哈希功能在确保数据安全性，从可变长度输入中生成固定长度哈希至关重要。Hash函数SHA-256因其二十多年的严格审查后的弹性而被信任数据安全性。其关键特性之一是碰撞电阻，这意味着找到具有相同哈希的两个不同输入是不可行的。当前，最佳的SHA-256碰撞攻击使用差分密码分析在SHA-256的简化版本中找到碰撞，这些碰撞减少以更少的步骤，从而使发现碰撞是可行的。在本文中，我们使用满意度（SAT）求解器作为搜索步骤减少的SHA-256碰撞的工具，并借助于计算机代数系统（CAS），动态地指导求解器，用于检测不一致之处并推断信息，否则求解器将不会单独检测到求解器。我们的混合动力SAT + CAS求解器明显超过了纯SAT方法，从而使我们能够在步骤减少的SHA-256中发现碰撞，并具有更大的步骤。使用SAT + CAS，我们找到了带有修改初始化向量的SHA-256的38步碰撞，这是由Mendel，Nad和Schläffer的高度复杂搜索工具首先找到的。相反，纯粹的SAT方法可能会发现不超过28个步骤的碰撞。但是，我们的工作仅使用SAT求解器Cadical及其程序化接口Ipasir-Up。
铅中毒的程序化框架，纯地球
简介纯地球是一个致力于保护人和环境免受有毒污染物危害的国际环境卫生组织。纯粹的地球通过与公共，私人和民间社会组织合作实施可持续的，具有成本效益的干预措施来促进其目标，从而实现可衡量的影响。根据我们2020 - 2030年的战略计划，Pure Earth当前的组织优先事项是减少低收入和中收入国家（LMIC）的铅和汞中毒，尤其是在儿童以及怀孕和哺乳期妇女中。的确，纯粹的地球及其合作伙伴负责大量的科学文献，数据，倡导和干预案例研究，围绕LMIC中的潜在客户暴露。Pure Earth已在1,600多个由铅污染的地点进行了现场评估，并在50多个社区进行了减少暴露计划。2017年，纯地球领导了柳叶刀污染与健康委员会的起草，1和2020年7月，纯地球和联合国儿童基金会出版了“有毒真理”，2一份报告着针对铅暴露的来源，对儿童健康的影响和缓解策略的影响。目前，Pure Earth拥有多年的多年赠款，支持Clarios Foundation，Givewell，Takeda Pharmaceutical Company Limited（“ Takeda”）等人的铅曝光计划。本文档的目的是建立和描述纯地球的铅编程框架（“框架”）。通过这种结构，我们解释了我们的主要策略，并创建一种资源来帮助员工设计并实施与该策略一致的主要项目。该框架是通过一组元素提出的，包括：
国家微电网政策，程序化和监管框架Naseo-Naruc微电网工作组
全国国家能源官员协会（NASEO）和全国监管公用事业专员协会（NARUC）感谢美国能源部（DOE）电力办公室（OE）对这项倡议的慷慨财务支持，以及他们的见解，这些洞察力为该报告的发展和范围提供了信息。尤其是，能源与环境资源集团的Doe OE和Paul Wang的Dan Ton一直是这项工作的主要支持者，他们认识到国家能源监管机构和州能源官员在推进微电网部署以及改善DOE和州官员之间协调和协作的好处方面的重要作用。作者感谢Smart Electric Alliance（SEPA）的Jared Leader和Brittany Blair支持2022年3月的计划和促进，以探讨该报告。
指引我！综合程序化策略的双层搜索
程序化策略的综合需要在计算机程序的大型不可微空间中进行搜索。当前的搜索算法使用自对弈方法来指导搜索。这些方法的问题在于，指导函数通常提供的搜索信号较弱。这是因为自对弈函数仅衡量程序相对于其他程序的表现。因此，虽然对失败程序的微小更改可能不会将其转变为获胜程序，但这种更改可能代表着朝着获胜程序迈出的一步。在本文中，我们引入了一种双层搜索算法，该算法同时在程序空间和状态特征空间中进行搜索。特征空间中的每次搜索迭代都会定义程序空间中的搜索试图实现的一组目标特征（即，在遵循程序中编码的策略时观察到的特征）。我们假设自对弈函数和基于特征的函数的组合为综合提供了更强的搜索信号。虽然这两个函数都用于指导程序空间中的搜索，但自对弈函数用于指导特征空间中的搜索，以便选择更有可能导致获胜程序的目标特征。我们在实时战略游戏 MicroRTS 中评估了我们的双层算法。我们的结果表明，双层搜索综合了比仅在程序空间中搜索的方法更强大的策略。此外，我们的方法综合的策略在模拟锦标赛中获得了最高的获胜率，其中包括来自最近两次 MicroRTS 比赛的最佳代理。
具有程序化机械响应的液晶弹性体支架的熔融电写
通过在喷嘴和喷嘴之间施加高电压，将喷嘴挤出的聚合物熔体电吸向收集器，从而无需任何溶剂即可形成聚合物纤维。[6] 与 MES 不同，MEW 引入了计算机辅助打印头相对于接收基板的相对运动，从而能够对生成的纤维进行数字控制定位，从而形成边界明确的微结构。与通常生产直径超过 100 微米的纤维的传统挤出数字沉积技术相比，MEW 可轻松产生从数百纳米到数十微米的定位良好的纤维。[2,3,5,7,8] 此外，由于静电吸引，该技术可以精确堆叠纤维，从而形成边界明确的高壁。[1] 凭借所有这些特性，MEW 已被证明是一种制备超细纤维基生物支架的强大技术，在组织工程和再生医学中具有巨大潜力。[8–12]
ISBA 普华永道程序化供应链研究 II（摘要）
本文件仅为英国广告主联合会 (ISBA) 准备，且仅用于我们于 2022 年 4 月 25 日与 ISBA 达成的协议中约定的目的和条款。除非另有书面约定，否则我们不对与本文件有关的任何其他人承担任何责任（包括疏忽），也不得将本文件提供给任何其他人。
实时战略游戏的程序化策略
基于搜索的系统已被证明可用于零和博弈中的规划。然而，基于搜索的方法具有重要的缺点。首先，搜索算法的决策大多是不可解释的，这在需要可预测性和信任的领域（例如商业游戏）中是个问题。其次，基于搜索的算法的计算复杂性可能会限制其适用性，特别是在资源与其他任务（例如图形渲染）共享的环境中。在这项工作中，我们介绍了一种用于合成实时战略 (RTS) 游戏的程序化策略的系统。与搜索算法相比，程序化策略更容易解释，并且一旦程序被合成，往往会很高效。我们的系统使用一种简化领域特定语言 (DSL) 的新算法和一种通过自对弈合成程序的本地搜索算法。我们进行了一项用户研究，招募了四名专业程序员来开发 µ RTS（一款极简 RTS 游戏）的编程策略。结果表明，通过我们的方法合成的程序可以超越搜索算法，并且可以与程序员编写的程序相媲美。