摘要 — 定向灰盒模糊测试 (DGF) 可以通过寻求到达程序位置或按顺序探索某些位置来快速发现或重现程序中的错误。然而,由于其静态阶段划分和粗粒度的能量调度,以前的 DGF 工具在面对多个目标位置(简称目标)时表现不佳。在本文中,我们提出了多目标定向灰盒模糊测试,旨在在模糊测试活动中到达多个程序位置。具体而言,我们提出了一种新颖的策略来自适应地协调探索和利用阶段,以及一种新颖的能量调度策略,通过考虑种子和目标位置之间的更多关系。我们在一个名为 LeoFuzz 的工具中实现了我们的方法,并在崩溃重现、真正验证和实际程序中的漏洞暴露方面对其进行了评估。实验结果表明,LeoFuzz 在有效性和效率方面优于六种最先进的模糊测试器,即 QYSM、AFLGo、Lolly、Berry、Beacon 和 WindRanger。此外,LeoFuzz 在实际程序中检测到 23 个新漏洞,其中 11 个已分配 CVE ID。
引言 孪生是材料在受到外界刺激时最常见的结构转变之一,这些刺激包括机械载荷(1)、电子束或离子辐照(2、3)、激光冲击(4)和加热(5)。具有孪生结构的纳米晶体具有优异的性能,例如优异的机械强度(6)、改善的热稳定性(7)、高电导率(8)、显著的发光(9)和增强的催化活性(10)。了解纳米晶体中的孪生机制有助于对具有所需性能的纳米材料进行结构工程设计。传统观点认为,孪生是通过相邻原子平面上部分位错的逐层移动进行的(11)。外部机械载荷下的变形孪生涉及非常规机制,如部分位错的随机激活(12)、部分位错的同时激活(13)或洗牌机制(14)。由机械载荷以外的外部刺激引起的相变孪生尚不明确。人们认为纳米晶体的相变孪生通过传统的变形孪生机制进行(11),但这种说法缺乏直接证据。相变孪生需要外部能量来克服能垒(2-5)。外部能量的注入(15、16),例如在热退火和电子或离子辐照期间,为纳米晶体中孪生的形成提供了机会。这表明纳米晶体的孪生可能表现出由动力学控制的非常规路径。然而,由于部分位错/滑移的速度被认为在与声速一样快的时间尺度上发生(17),同时实现孪生激发和原子成像仍然是一项技术挑战。在这项工作中,以面心立方铅(Pb)纳米粒子为模型系统,我们利用透射电子显微镜(TEM)研究了单个纳米晶体中的转变孪生,
图 1 RolR 诱变、选择和半自动化高通量筛选工作流程。a. 全构象的 RolR 二聚体(PDB:3AQT),以及配体结合口袋的结构,其中残基 D149 为黑色,间苯二酚为青色,5Å 内选择用于诱变的 19 个残基为橙色,5Å 和 8Å 之间的残基为紫色。b. 组合活性位点饱和度测试 (CAST) 的笛卡尔结合口袋图。c. 六个氨基酸组组成了要用于诱变的 19 个残基。d. 生物传感器 TetA 双重选择的原理,使用 NiCl 2 对转录抑制能力进行负向选择,使用四环素对目标配体进行正向选择。e. 半自动化高通量筛选。在第 1 天,为每个候选分子挑选约 500 个菌落。第二天,使用声学液体处理器将 IPTG 和小分子分配到 384 孔板中。生长的菌落被稀释并分配到 384 个孔板中,使用液体处理工作站测试传感器的不同状态。第三天,荧光
虽然政策制定者和气候科学家长期以来一直认为,克服气候变化带来的挑战需要制定鼓励开发新技术的政策,以降低生产和消费的能源和排放强度,但经济学文献最初侧重于具有外生技术变革的模型(例如,参见Nordhaus,1994年)。在这些模型中,最佳政策响应是对温室气体排放征收庇古税,该税随时间推移逐渐增加。关于环境背景下的定向技术变革(下称DTC)的理论文献越来越多,表明考虑创新的内生性可以深刻影响政策建议,而实证文献提供了充足的证据表明,创新确实对燃料或能源价格上涨等经济激励作出反应。本章对此类文献进行了简短且非详尽的回顾,主要基于 Acemoglu、Aghion、Bursztyn 和 H´e-mous(2012,以下简称 AABH)以及 Aghion、Dechezleprˆetre、H´emous、Martin 和 van
11-12 故障事件数据寄存器................................................................................ 11-38 11-13 故障事件地址寄存器................................................................................ 11-39 11-14 故障事件高位地址寄存器........................................................................ 11-40 11-15 故障记录寄存器...................................................................................... 11-41 11-16 受保护的存储器启用寄存器...................................................................... 11-44 11-17 受保护的低位存储器基址寄存器...................................................................... 11-46 11-18 受保护的低位存储器限制寄存器...................................................................... 11-47 11-19 受保护的高位存储器基址寄存器...................................................................... 11-48 11-20 受保护的高位存储器限制寄存器...................................................................... 11-49 11-21 无效队列头寄存器................................................................................ 11-50 11-22 无效队列尾部寄存器.................................................................. 11-51 11-23 无效队列地址寄存器............................................................... 11-52 11-24 无效完成状态寄存器............................................................... 11-53 11-25 无效事件控制寄存器............................................................... 11-54 11-26 无效事件数据寄存器............................................................... 11-55 11-27 无效事件地址寄存器................................................................. 11-56 11-28 无效事件高位地址寄存器.................................................................... 11-57 11-29 无效队列错误记录寄存器.................................................................... 11-58 11-30 中断重映射表地址寄存器............................................................. 11-60 11-31 页面请求队列头寄存器......................................................................... 11-61 11-32 页面请求队列尾部寄存器......................................................................... 11-62 11-33 页面请求队列地址寄存器...................................................................... 11-63 11-34 页面请求状态寄存器.................................................................... 11-64 11-35 页面请求事件控制寄存器............................................................... 11-65 11-36 页面请求事件数据寄存器............................................................... 11-66 11-37 页面请求事件地址寄存器....................................................................... 11-67 11-38 页面请求事件高位地址寄存器.................................................................... 11-68 11-39 MTRR 能力寄存器.................................................................................... 11-69 11-40 MTRR 默认类型寄存器........................................................................................................ 11-70 11-41 固定范围 MTRR 格式.............................................................................. 11-71 11-42 可变范围 MTRR 格式.............................................................................. 11-73 11-43 性能监控寄存器的示例寄存器布局.................................................... 11-76 11-44 性能监控能力寄存器...................................................................... 11-77 11-45 性能监控配置偏移寄存器......................................................................... 11-79 11-46 性能监控冻结偏移寄存器......................................................................... 11-80 11-47 性能监控溢出偏移寄存器......................................................................... 11-81 11-48 性能监控计数器偏移寄存器......................................................................... 11-82 11-49 性能监控中断状态寄存器......................................................................... 11-83 11-50 性能监控中断控制寄存器......................................................................... 11-84 11-51 性能监控中断数据寄存器............................................................. 11-85 11-52 性能监控中断地址寄存器 .............................................................. 11-86 11-53 性能监控中断高位地址寄存器 .............................................................. 11-87 11-54 性能监控冻结状态寄存器 .............................................................. 11-88 11-55 性能监控溢出状态寄存器 .............................................................. 11-89 11-56 性能监控事件能力寄存器 ............................................................. 11-90 11-57 性能监控计数器配置寄存器 ............................................................. 11-91 11-58 性能监控请求者 ID 过滤器配置寄存器 ............................................. 11-93 11-59 性能监控域 ID 过滤器配置寄存器 ............................................. 11-94 11-60 性能监控 PASID 过滤器配置寄存器 ............................................. 11-95 11-61 性能监控地址类型过滤器配置寄存器 ............................................. 11-96 11-62 性能监控页表级过滤器配置寄存器 ............................................. 11-97 11-63 性能监控计数器能力寄存器....................................................... 11-98 11-64 性能监控计数器事件能力寄存器................................................... 11-99 11-65 性能监控计数器寄存器................................................................... 11-100 11-66 增强命令寄存器............................................................................... 11-101........................................................... 11-77 11-45 性能监控配置偏移寄存器 .............................................................. 11-79 11-46 性能监控冻结偏移寄存器 .............................................................. 11-80 11-47 性能监控溢出偏移寄存器 .............................................................. 11-81 11-48 性能监控计数器偏移寄存器 .............................................................. 11-82 11-49 性能监控中断状态寄存器 ............................................................. 11-83 11-50 性能监控中断控制寄存器 ............................................................. 11-84 11-51 性能监控中断数据寄存器 ............................................................. 11-85 11-52 性能监控中断地址寄存器 ............................................................. 11-86 11-53 性能监控中断高位地址寄存器 ............................................................. 11-87 11-54 性能监控冻结状态寄存器 ............................................................. 11-88 11-55 性能监控溢出状态寄存器 ............................................................. 11-89 11-56 性能监控事件能力寄存器..................................................... 11-90 11-57 性能监控计数器配置寄存器..................................................... 11-91 11-58 性能监控请求者 ID 过滤器配置寄存器..................................... 11-93 11-59 性能监控域 ID 过滤器配置寄存器..................................... 11-94 11-60 性能监控 PASID 过滤器配置寄存器............................................. 11-95 11-61 性能监控地址类型过滤器配置寄存器..................................... 11-96 11-62 性能监控页表级过滤器配置寄存器..................................... 11-97 11-63 性能监控计数器能力寄存器..................................................... 11-98 11-64 性能监控计数器事件能力寄存器..................................................... 11-99 11-65 性能监控计数器寄存器..................................................... 11-100 11-66 增强命令寄存器..................................................................... 11-101........................................................... 11-77 11-45 性能监控配置偏移寄存器 .............................................................. 11-79 11-46 性能监控冻结偏移寄存器 .............................................................. 11-80 11-47 性能监控溢出偏移寄存器 .............................................................. 11-81 11-48 性能监控计数器偏移寄存器 .............................................................. 11-82 11-49 性能监控中断状态寄存器 ............................................................. 11-83 11-50 性能监控中断控制寄存器 ............................................................. 11-84 11-51 性能监控中断数据寄存器 ............................................................. 11-85 11-52 性能监控中断地址寄存器 ............................................................. 11-86 11-53 性能监控中断高位地址寄存器 ............................................................. 11-87 11-54 性能监控冻结状态寄存器 ............................................................. 11-88 11-55 性能监控溢出状态寄存器 ............................................................. 11-89 11-56 性能监控事件能力寄存器..................................................... 11-90 11-57 性能监控计数器配置寄存器..................................................... 11-91 11-58 性能监控请求者 ID 过滤器配置寄存器..................................... 11-93 11-59 性能监控域 ID 过滤器配置寄存器..................................... 11-94 11-60 性能监控 PASID 过滤器配置寄存器............................................. 11-95 11-61 性能监控地址类型过滤器配置寄存器..................................... 11-96 11-62 性能监控页表级过滤器配置寄存器..................................... 11-97 11-63 性能监控计数器能力寄存器..................................................... 11-98 11-64 性能监控计数器事件能力寄存器..................................................... 11-99 11-65 性能监控计数器寄存器..................................................... 11-100 11-66 增强命令寄存器..................................................................... 11-10111-85 11-52 性能监控中断地址寄存器 .............................................................. 11-86 11-53 性能监控中断高位地址寄存器 .............................................................. 11-87 11-54 性能监控冻结状态寄存器 .............................................................. 11-88 11-55 性能监控溢出状态寄存器 .............................................................. 11-89 11-56 性能监控事件能力寄存器 ............................................................. 11-90 11-57 性能监控计数器配置寄存器 ............................................................. 11-91 11-58 性能监控请求者 ID 过滤器配置寄存器 ............................................. 11-93 11-59 性能监控域 ID 过滤器配置寄存器 ............................................. 11-94 11-60 性能监控 PASID 过滤器配置寄存器 ............................................. 11-95 11-61 性能监控地址类型过滤器配置寄存器 ............................................. 11-96 11-62 性能监控页表级过滤器配置寄存器 ............................................. 11-97 11-63 性能监控计数器能力寄存器....................................................... 11-98 11-64 性能监控计数器事件能力寄存器................................................... 11-99 11-65 性能监控计数器寄存器................................................................... 11-100 11-66 增强命令寄存器............................................................................... 11-10111-85 11-52 性能监控中断地址寄存器 .............................................................. 11-86 11-53 性能监控中断高位地址寄存器 .............................................................. 11-87 11-54 性能监控冻结状态寄存器 .............................................................. 11-88 11-55 性能监控溢出状态寄存器 .............................................................. 11-89 11-56 性能监控事件能力寄存器 ............................................................. 11-90 11-57 性能监控计数器配置寄存器 ............................................................. 11-91 11-58 性能监控请求者 ID 过滤器配置寄存器 ............................................. 11-93 11-59 性能监控域 ID 过滤器配置寄存器 ............................................. 11-94 11-60 性能监控 PASID 过滤器配置寄存器 ............................................. 11-95 11-61 性能监控地址类型过滤器配置寄存器 ............................................. 11-96 11-62 性能监控页表级过滤器配置寄存器 ............................................. 11-97 11-63 性能监控计数器能力寄存器....................................................... 11-98 11-64 性能监控计数器事件能力寄存器................................................... 11-99 11-65 性能监控计数器寄存器................................................................... 11-100 11-66 增强命令寄存器............................................................................... 11-101
我开发了一个经济增长和能源效率的定向技术变革模型,以研究气候变化缓解政策对能源使用的影响。我指出,环境宏观经济学文献中使用的标准柯布-道格拉斯生产函数夸大了在给定的能源税路径下可以实现的累计能源使用量的减少。我还指出,在该模型中,政府将能源税与有利于增加产出的技术(而不是能源效率技术)的研发 (R&D) 政策相结合,以在累计能源使用量受到限制的情况下实现福利最大化。此外,我还研究了能源效率突然提高后的能源使用动态。提高能源效率的外生冲击也会降低后续能源效率研发的动力,并且实际上会增加长期能源使用量(相对于没有原始冲击的世界而言)。然而,对能源效率研发的补贴会永久改变研发激励并减少长期能源使用。
已经提出,在重离子碰撞的早期阶段产生的强电磁场可能会导致迅速性odd的阳性和阴性载体的速度分裂。对于浅亨德(Div>),这种测量值的解释是由于导向流的低幅度以及由运输的夸克引起的歧义而变得复杂。为了克服这些并发症,我们建议仅使用携带产生夸克的哈德子(u,d,s,s)进行测量。我们讨论了如何通过合并机制生产这种哈子的运动学,因此它们的流量是其组成夸克的流量的总和。使用此总和验证了某些HADRON的组合,可以测量预期的系统违反该规则,而增加电荷的增加,这可能是碰撞中产生的电磁场的结果。我们的方法可以通过相对论重离子对撞机(RHIC)的光束能量扫描(BES)程序的II阶段的高统计数据进行测试。
∗经济学系,耶路撒冷希伯来大学,耶路撒冷91905,以色列。电子邮件:muly.san@mail.huji.ac.il。For their helpful comments, I thank Michael Clemens, James Fenske, Christo- pher Flinn, Raphael Franck, Walker Hanlon, Richard Hornbeck, Alfred Galichon, Ethan Lewis, Petra Moser, Suresh Naidu, Tzachi Raz, Martin Rotemberg, Yannay Spitzer, Kevin Thom, Sharon Traiberman, Miguel Uribe, and Joseph Zeira以及EHS 2021会议的参与者,EHA IHA 2020会议,NBER 2020夏季学院(DAE海报会议),唯一2019次会议,Aasle 2018 2018会议,2018年经济学和经济学会议(Northwestern)2018年,Warwick Ph.D. 2018会议,以及纽约大学和耶路撒冷希伯来大学的研讨会。Yoav Sivor提供了出色的研究帮助。我感谢经济史协会和人道研究研究所的财务支持。
免责声明:请注意,任何 CDS 请求仅供参考,并非联邦资金申请。提交此类请求并不构成对任何一方的约束性承诺,也不保证任何组织将通过此流程获得任何联邦机构的资金。此外,联邦资金申请的提交、审查和批准将按照联邦机构的规则和规定进行。
