摘要 — 定向灰盒模糊测试 (DGF) 可以通过寻求到达程序位置或按顺序探索某些位置来快速发现或重现程序中的错误。然而,由于其静态阶段划分和粗粒度的能量调度,以前的 DGF 工具在面对多个目标位置(简称目标)时表现不佳。在本文中,我们提出了多目标定向灰盒模糊测试,旨在在模糊测试活动中到达多个程序位置。具体而言,我们提出了一种新颖的策略来自适应地协调探索和利用阶段,以及一种新颖的能量调度策略,通过考虑种子和目标位置之间的更多关系。我们在一个名为 LeoFuzz 的工具中实现了我们的方法,并在崩溃重现、真正验证和实际程序中的漏洞暴露方面对其进行了评估。实验结果表明,LeoFuzz 在有效性和效率方面优于六种最先进的模糊测试器,即 QYSM、AFLGo、Lolly、Berry、Beacon 和 WindRanger。此外,LeoFuzz 在实际程序中检测到 23 个新漏洞,其中 11 个已分配 CVE ID。
自 1994 年以来,SSNERR 一直与技术顾问合作,修复南斯劳温彻斯特溪沿岸的潮汐湿地和非潮汐湿地,这些湿地历史上曾被改造用于支持农业活动(例如 Cornu & Sadro,2002 年)。作为温彻斯特潮汐地修复项目 (WTRP) 的一部分,SSNERR 已经修复了大约 55 英亩的湿地(例如 Cornu,2005 年),改善了整个温彻斯特系统的河口鲑鱼栖息地(例如 Miller & Sadro,2003 年),并测试了恢复失去的沿海湿地栖息地功能和减少的生态系统服务的方法。沃森溪流域修复项目是 WTRP 地区最后一个需要进行场地规模修复的地点。沃森溪项目区(图 1)在 SSNERR 2009 年上游流域修复行动计划和 2017-2022 年管理计划中被确定为高优先级修复区。 SSNERR 于 2012 年获得了刚刚收获的 Wasson Creek 排水系统的上游部分,这为 SSNERR 提供了一个机会,通过展示一种整体的“从山脊到河口”的海岸修复方法,继续其创新的修复方法。
©新南威尔士州通过一级工业和区域发展部2024。本出版物中包含的信息基于2024年7月写作时的知识和理解。但是,由于知识的进步,提醒用户需要确保其依赖的信息是最新的,并与部门的适当官员或用户的独立顾问一起检查信息的货币。
港口特征 位于纽约州卡特罗格斯县汉诺威镇的伊利湖畔。 授权:1968 年《河流与港口法》。 浅吃水休闲港口。 项目入口水道深度为 8 英尺,卡特罗格斯溪水道深度为 6 英尺。 西防波堤和南防波堤共为港口提供了 2,450 英尺的保护。 通过清除溪口的浅滩并减少每年冰塞洪水的威胁,该项目为当地社区提供了防洪效益。 该项目的维护费用由联邦政府分担 59%,当地分担合作伙伴分担 41%。当地分担合作伙伴是纽约州公园、娱乐和历史保护办公室 (NYSOPRHP)。 其他设施包括公共临时停泊处、私人停泊处和下水设施。 主要利益相关者:美国海岸警卫队、纽约州环境保护部 (NYSDEC)、NYSOPRHP、塞内卡民族、私人码头、包船捕鱼利益集团和休闲划船社区。项目要求 自 1983 年建设以来,没有进行过疏浚。港口需要维护疏浚来维护航道。资金已于 2022 年收到,与当地成本分摊合作伙伴的协调正在进行中。工作暂定于 2024/25 年进行。 南防波堤部分开始恶化,需要进行维修以防止进一步恶化。维修资金需要与 NYSOPRHP 进行成本分摊协调。
本研究开发了一个具有内生起飞的开放经济熊彼特增长模型,以探讨出口对经济从停滞向创新驱动增长转型的影响。我们发现,更高的出口需求会提高就业水平,从而导致市场规模扩大和更早的起飞,以及国内人均产出的过渡增长率更高,但对长期经济增长没有影响。这些理论结果与我们使用跨国面板数据记录的经验证据一致,在这些经验证据中,随着国家变得更加发达,出口对经济增长的积极影响变得越来越小,并最终消失。我们还根据中国的数据校准了该模型,发现其出口份额从 1978 年的 4.6% 增加到 2006 年的 36%,导致增长迅速加速,但 2007 年以后出口下降导致增长减速,并持续到最近。
本研究开发了一个具有内生起飞的开放经济熊彼特增长模型,以探讨出口对经济从停滞向创新驱动增长转型的影响。我们发现,更高的出口需求会提高就业水平,从而导致市场规模扩大和更早的起飞,以及更高的过渡增长率,但对长期经济增长没有影响。这些理论结果与我们使用跨国面板数据记录的经验证据一致,在这些经验证据中,随着国家变得更加发达,出口对经济增长的积极影响变得越来越小,并最终消失。我们还根据中国的数据校准了该模型,发现其出口份额从 1978 年的 4.6% 增加到 2006 年的 36%,导致增长迅速加速,但 2007 年以后出口下降导致增长减速,并持续到最近。
TRS比例尺不太精确地定义,但是Silver解释说,使用TRS幅度1的发明对应于“淋浴中的一半思想”,而TRS 2是发明家继续实现的东西,但并未公开,例如“只有您和您的家人知道的盐水更稍微更好地培养了Brine Brine a Brine Chicke and Brine and Brine and and and you and and you andrine and your and you and and and and and and you brine and and and。从那里,量表从专利和商业化方面朝着更大的影响方向发展,直到在TRS 6处,我们达到了一项技术的水平,该技术可以被合理地列入“年度最佳技术”奖励(Silver认为后IT的注释为低6,而VCR记录均为6)。同样,TRS 7对应于候选人是十年的发明(信用卡是低7和社交媒体高7),TRS 8是本世纪发明的候选者(例如电力或互联网),而TRS 9具有相应的状态,而在这里,只有少数这样的技术媒体已经构成了这些技术,例如又有了众所周知的绘制。最后,TRS 10保留了如此巨大的影响,以至于它们只能与全新世的发作相提并论,这是大约12,000年前开始的地质时期,其特征是同性恋者的主要驱动力。如果AI从人类接管地球的主导力量,那就是10。
联系人:Charles Davis,项目经理 (314) 320-9677 charles.s.davis@usace.army.mil 地点:这个跨部门项目将评估冷水溪流域,重点关注伯克利、欧弗兰、布雷肯里奇山、布里奇顿梯田、黑泽尔伍德、弗洛里桑特和伍德森梯田六个贫困社区内城市化流域中洪水易发区段。说明:恶劣天气的频率和强度增加导致洪水风险加大,有记录显示 1957 年至 2013 年间该流域曾 14 次发生洪灾,现在 2022 年 7 月 26 日又发生了一场由 500 年一遇的降雨频率事件引发的历史性洪水。这场夏中洪水发生在 7 月 26 日的干旱时期,并于 2022 年 8 月 4 日再次发生,导致总统发布灾害声明 DR-4665-MO。圣路易斯区将组建一支多学科团队,与跨机构合作伙伴协调确定具体的缓解措施并确定这些措施的优先次序,以有效减少该脆弱地区未来的洪灾损失。状态:该项目已通过竞争性选拔,并已于 2024 财年获得资助。