XiaoMi-AI文件搜索系统
World File Search Systemprogramming
通过混合整数线性规划对工业现场进行综合生产和能源供应规划
摘要：如今，工业生产现场面临两大问题：需要减少生产过程对环境的影响，以及能源价格上涨造成的经济困难。这两个挑战可以通过使用现场可再生能源发电为工业过程提供动力来部分解决。然而，电价的波动性和当地可再生能源的间歇性导致需要解决综合工业生产和能源供应规划问题。这项工作研究了由电网电力和现场可再生能源驱动的工业过程的单机多产品批量问题。我们提出了一种新的比例批量和调度问题扩展，它依赖于两级结构进行时间离散化。第一级与产品需求满足有关，第二级用于生产和能源供应规划。将提出的扩展与之前发布的处理类似问题的一般批量和调度问题扩展进行了比较。我们的初步数值结果表明，在大多数情况下，我们的模型提供了相同成本的生产计划，但计算工作量显著减少。
H3.3-G34R突变介导的表观遗传重编程导致免疫刺激基因治疗在弥漫性半球胶质瘤
。cc-by-nc-nd 4.0国际许可证（未经同行评审证明）获得的是作者/资助者，他授予Biorxiv授予Biorxiv的许可，以永久显示预印本。这是该预印本版本的版权持有人，该版本发布于2025年2月5日。 https://doi.org/10.1101/2023.06.13.544658 doi：Biorxiv Preprint
OCT4介导的炎症在心脏瓣膜发育和钙化的起源
细胞可塑性通过维持祖细胞的分化潜力在胚胎中起关键作用。产后体细胞是否会恢复到胚胎样的幼稚状态，从而恢复可塑性并将其重新分化为细胞类型，从而导致疾病。使用遗传谱系跟踪和单细胞RNA测序，我们揭示了OCT4在Embyronic Day 9.5的核因子b（NfB）诱导的小鼠心内膜细胞的子集中，该子心内膜细胞源自心脏向心房到膜的心脏到膜层过渡时的前心脏形成场。这些细胞获得了软骨稳定的命运。OCT4在成年瓣膜主动脉细胞中导致小鼠和人瓣的钙化。 这些钙化细胞源自Oct4胚胎谱系。 心内膜细胞谱系中POU5F1（PIT-OCT-UNC，OCT4）的遗传缺失可防止主动脉狭窄和APOE - / - 小鼠瓣膜的钙化。 我们建立了先前未识别的自我重编程NF b-和Oct4介导的炎症途径，触发了瓣膜钙化的剂量依赖机制。OCT4在成年瓣膜主动脉细胞中导致小鼠和人瓣的钙化。这些钙化细胞源自Oct4胚胎谱系。心内膜细胞谱系中POU5F1（PIT-OCT-UNC，OCT4）的遗传缺失可防止主动脉狭窄和APOE - / - 小鼠瓣膜的钙化。我们建立了先前未识别的自我重编程NF b-和Oct4介导的炎症途径，触发了瓣膜钙化的剂量依赖机制。
使用整数线性规划的绿色数据中心独立可再生能源系统调度
摘要 考虑到数据中心在世界各地的分布及其巨大的能源消耗，一些研究人员专注于任务调度和资源分配问题，以尽量减少数据中心的能源消耗。其他举措则侧重于实施绿色能源，以尽量减少化石燃料的消耗和二氧化碳排放。作为 ANR DATAZERO 项目 [ 34 ] 的一部分，一些研究团队旨在定义完全绿色数据中心的主要概念，该数据中心仅由可再生能源供电。为了实现这一目标，必须注重高效管理由太阳能电池板、风力涡轮机、电池和燃料电池系统组成的自主混合动力系统。这项工作的目的不是证明独立的数据中心在经济上可行，而是证明其可行性。本文提出了一组基于混合整数线性规划的模型，该模型能够管理能源承诺，以满足数据中心的电力需求。该方法在优化时会考虑季节和天气预报。
脊髓中的代谢重编程驱动到疼痛慢性的过渡
。cc-by 4.0国际许可（未经Peer Review尚未获得认证）是作者/资助者，他已授予Biorxiv的许可证，以永久显示预印本。这是此预印本版本的版权持有人，该版本发布于2025年2月1日。 https://doi.org/10.1101/2025.01.30.635746 doi：biorxiv Preprint
使用ECMWF Microphysics方案探索NWP域的高级编程模型
摘要。我们探索用于实现ECMWF的集成预测系统（IFS）的相关切线线性和相关算法的域特异性Python库GT4PY（用于Python的Gridtools）。gt4py以抽象和硬件的方式编码stenciL运算符，从而实现了更简洁，可读和可维护的Sciminifififififuction应用程序。图书馆通过将应用程序转换为有针对性的低级编码实现来实现高性能。在这里，主要目标是研究Python的控制性和性能可移植性与GT4PY相对于参考fortran代码的重写，以及由ECMWF创建的自动和手动移植变体。目前的工作是为与GT4PY python提供港口天气和气候模型的更大跨机构努力的一部分。当前工作的重点是IFS预后云微物理学方案，这是一种由综合代码表示的核心物理参数化，该代码占据了总预测模型执行时间的显着份额。为了验证数值天气预测（NWP）系统的GT4PY，我们将进一步强调了数据同化中使用的切线线性和伴随模型版本的实现和验证。我们将所有原型代码基于三个欧洲超级计算机上的所有原型代码，这些代码为特征，这些代码具有不同的图形处理单元（GPU）和中央处理单元（CPU）硬件，节点设计，软件堆栈和编译器套件。一旦将应用程序移植到gt4py到python，我们才会发现极好的
通过树结构双重动态编程
动机：从多个组织样品的大量DNA测序中重建肿瘤的进化史仍然是一个具有挑战性的计算问题，需要同时对肿瘤组织的反卷积及其进化史的推论。最近，系统发育重建方法通过将重建问题分为两个部分，从而取得了重大进展：固定拓扑的回归问题和对树空间的搜索。尽管已经为后一种搜索问题开发了有效的技术，但由于缺乏快速，专业的算法，回归问题仍然是方法设计和实施的瓶颈。结果：在这里，我们介绍了FastPPM，这是一种快速工具，可以通过树结构的双动态编程来解决回归问题。FastPPM支持任意可分离的凸损耗函数，包括ℓ2，分段线性，二项式和β-二元损失，并为现有算法提供了ℓ2和分段线性损失的渐近改进。我们发现，FastPPM的表现优于专业和通用回归算法，获得了50-450×加速度，同时提供了与现有方法一样准确的解决方案。将FASTPPM纳入几种系统发育推理算法中，立即产生高达400倍的速度，仅需要对现有软件的程序代码进行少量更改。最后，FASTPPM可以在模拟数据和结直肠癌的患者衍生的小鼠模型中分析低覆盖量的大量DNA测序数据，从精度和运行时都优于最先进的系统发育推断算法。可用性：FastPPM在C ++中实现，并在github.com/elkebir-group/fastppm.git上作为命令行接口和Python库可用。
一种表征量子多项式时间的编程语言
– 我们引入了一种量子编程语言，名为 foq ，其中包含一阶递归程序。foq 程序的输入包括一组排序的量子比特，即一列成对不同的量子比特索引。foq 程序可以将对应于一元酉算子的基本算子应用于其每个量子比特。所考虑的算子集已根据 [17] 进行选择，以形成一组通用门。 – 在证明终止 foq 程序是可逆的（定理 1）之后，我们将程序限制为一个严格子集，名为 pfoq ，多项式时间为 foq 。对 pfoq 程序的限制是可处理的（即可以在多项式时间内确定，参见定理 2），确保程序在任何输入时终止（引理 1），并防止程序出现任何指数爆炸（引理 2）。 – 我们证明，对于量子复杂度类 fbqp 而言，pfoq 程序计算的函数类是健全且完备的。fbqp 是有界误差量子多项式时间的函数扩展，称为 bqp [ 3 ]，这是一类决策问题，量子计算机可以在多项式时间内解决，错误概率最多为 1
单一编程文档 2025-2027 年
该框架于 2024 年 6 月 19 日在《欧盟官方公报》上正式发布。它包括 140 多项要求 EBA 制定监管标准、指南和报告的指令。EBA 将开发的一系列监管产品将与银行业一揽子计划本身一起，进一步巩固强有力的监管框架、高效监管和信贷机构加强的风险控制。它还将改善欧盟单一市场的比例和公平竞争环境。其中许多产品将在 2025 年交付（2024 年发布咨询文件后）。EBA 的路线图 1 按照共同立法者设定的截止日期列出了指令的顺序，并解释了 EBA 按主要领域执行指令的方法。EBA 将继续监测与实施相关的要素，包括欧盟委员会决定将 FTRB 自有资金要求的适用推迟一年。
数学编程中的模型构建
数学编程中的第五版模型构建提供了模型构建原理的概述，并通过各种环境中的实际问题来展示其应用。此版本提出了建议的配方，解决方案和计算体验，以帮助读者了解解决特定类型模型的复杂性。通过关注模型构建和解释而不是解决方案过程，本书旨在填补专注于算法方面的作品留下的空白。作者多年来讨论了他们的原始动机，修改和更新，突出了此版本中的新事物及其持久的相关性和知名度：该电子书可在无DRM的EPUB或PDF格式中获得，可以在任何支持这些格式的设备上阅读。要解锁并阅读电子书，您需要根据设备安装免费软件。对于移动设备（电话或平板电脑），下载一个免费的应用程序，例如Adobe Digital Editions（不要与Adobe Reader混淆）。在PC或Mac上，使用Adobe Digital Editions，这是一个用于电子书的专用应用程序。发布者对打印和复制电子书有设置限制；请参阅详细信息。