XiaoMi-AI文件搜索系统
World File Search System解器
BTK和CIAP1蛋白质降解器三元复合物的快照和合奏
杂功能嵌合降解器是一类配体，它们募集靶蛋白到E3泛素连接酶以驱动化合物依赖性蛋白质降解。对作用机理至关重要的是靶，降解器和E3连接酶之间形成三元复合物，以促进泛素化和随后的降解。然而，存在对三元复合物结构的有限见解，包括几乎没有对最广泛选择的E3，凋亡1的细胞抑制剂的研究（CIAP1）。我们的结果揭示了独特的三元复合结构的见解，并表明增加的三元复合稳定性/刚度不一定总是与提高的降解效率相关。
用于量子计算设备上可扩展分子模拟的收缩特征值方程的量子求解器
精确计算多费米子量子系统的基态和激发态是当代物理和计算科学中最重要的挑战之一，其解决方案将从量子计算设备的出现中受益匪浅。现有的使用相位估计或变分算法的方法存在潜在缺点，例如深度电路需要大量误差校正或非平凡的高维经典优化。在这里，我们引入了一个收缩特征值方程的量子求解器，它是经典方法的量子类似物，用于求解基态和激发态的能量和简化密度矩阵。该求解器不需要深度电路或困难的经典优化，并且比其经典对应物实现了指数级加速。我们通过在量子模拟器和两个 IBM 量子处理单元上进行计算来演示该算法。
用于可再生能源系统的水电解器
配备氢能储存系统 (HESS) 的发电厂，包括基于可再生能源 (RES) 的发电厂，是世界能源发展最有前景的领域之一 [1]。HESS 的关键要素是水电解器、氢气（有时是氧气）储存系统和燃料电池系统。水电解器利用一次电源的多余电能产生氢气（和氧气）。根据最终用户及其需求，生成的氢气可以以压缩形式、液化状态存储在各种载体上，例如金属氢化物、毛细管、微球和碳材料。不饱和烃的可逆加氢过程为安全储存和运输开辟了广阔的前景。一次电源电能的缺乏或缺失由燃料电池系统补偿，该系统将储存的氢气和氧气（来自氧气储存系统或空气）之间的反应化学能转换回电能。
通过二维输入空间探索对 SMT 求解器进行模糊测试
可满足性模理论 (SMT) 求解器是许多技术的核心引擎，例如符号执行。因此，确保 SMT 求解器的稳健性和正确性至关重要。虽然模糊测试是一种确保 SMT 求解器质量的有效方法，但我们观察到之前的模糊测试工作仅侧重于生成各种一阶公式作为输入，而忽略了 SMT 求解器的算法配置空间，这导致许多深藏不露的错误未被及时报告。在本文中，我们提出了 Falcon，一种同时探索公式空间和配置空间的模糊测试技术。将这两个空间结合起来会显著扩大搜索空间，使有效检测错误变得更加困难。我们通过利用两个空间之间的相关性来减少搜索空间，并引入自适应变异策略来提高搜索效率，从而解决了这个问题。经过六个月的广泛测试，Falcon 在两款最先进的 SMT 求解器 CVC4 和 Z3 中发现了 518 个已确认的错误，其中 469 个已经修复。与两款最先进的模糊测试器相比，Falcon 在 24 小时的测试中检测到了 38 个和 44 个以上的错误，并且覆盖率大幅提高。
元变分量子特征求解器：学习参数化汉密尔顿量的能量分布以进行量子模拟
我们提出了元变分量子本征求解器 (VQE)，这是一种能够学习参数化汉密尔顿量的基态能量分布的算法。如果使用几个数据点训练元 VQE，它将提供初始电路参数化，可用于计算特定信任区域内汉密尔顿量的任何参数化的基态能量。我们使用 XXZ 自旋链、电子 H 4 汉密尔顿量和单传输量子模拟测试该算法。在所有情况下，元 VQE 都能够学习能量函数的形状，在某些情况下，与单个 VQE 优化相比，它可以提高准确性。元 VQE 算法在优化数量方面提高了参数化汉密尔顿量的效率，并为单个优化的量子电路参数提供了良好的起点。所提出的算法可以很容易地与变分算法领域的其他改进相结合，以缩短当前最先进技术与具有量子优势的应用之间的距离。
在靶向蛋白质降解器的硅硅设计中
作为治疗方法的靶向蛋白质降解已经看到了惊人的发展和巨大的投资[1]。蛋白水解 - 靶向嵌合体（protac）和诱导靶向蛋白质降解的相关分子具有很大的价值，主要是因为与常规目标占用驱动抑制剂相比，对于给药，安全性，有效性，选择性和调节“不可用的”目标[2] [2]。这些异常小分子具有三个化学特征：与靶蛋白的部分结合，另一种与E3泛素连接酶结合，以及与这两个元素结合的接头[3]。除了protac，还有某些称为分子胶地的非晶状体小分子蛋白蛋白二聚体，它们还结合了泛素E3连接酶和募集蛋白质以降解，类似于带有靶向蛋白质降解的Protacs [4]。
利用大型电解器提供主要储备，实现电网平衡
摘要：随着可再生能源份额的增加，电网频率变得更加不稳定。因此，电网平衡服务在未来将变得更加重要。专用设备可以安装在海上风电场与陆地输电网连接点附近。在那里，它们可以用来减弱功率变化、减少拥堵并提供电网平衡。这些辅助服务的提供可以创造可观的额外经济收入。在本研究中，针对比利时输电系统的具体情况，研究了通过 25 MW 大型氢电解器提供初级储备。根据技术经济模型分析了频率控制储备 (FCR) 提供的收益，包括资本成本、运营成本、产生的氢气和氧气产品的收入以及辅助服务收入。收入在很大程度上取决于合同功率带。因此，它经过优化以获得最大收入。结果表明，提供 FCR 可以创造可观的额外收入。因此，大型电解器可以成为将过剩的可再生能源转化为绿色气体同时为电网提供支持的良好选择。
一个用于学习空中流量的交互式冲突求解器... -Dr -ntu
参数值参与者网络的输入层大小20参与者网络中的隐藏层数3 Actor Network中的每个隐藏层的单位数量300 Actor Network的输出层的大小2输入层的输入层的大小22批评网络网络中的隐藏层数量3 CILTER网络中的每个隐藏层数量的每个隐藏层中隐藏层中隐藏层中的每个隐藏层数量Actor网络300输出网络网络网络10-批评者网络1学习速率10 - 4 4