XiaoMi-AI文件搜索系统
World File Search System紧密度
精致的钻石规范范围在观察物的客观性的出现
摘要量子达尔文主义的理论旨在解释我们的客观经典现实是如何从量子世界中产生的，它是通过分析涉及量子系统的信息的分布，该量子系统可访问多个观察者，这些观察者可以通过拦截该系统来拦截该系统的环境片段。先前的工作表明，当环境碎片的数量增长时，建模从系统到观察者的信息流的量子通道变得越来越接近 - 按照钻石规范距离的术语 - 以“测量和播放”通道，从而确保可观察到的客观性；收敛是由钻石标准距离上的上限形式化的，该距离随着碎片数量的增加而降低。在这里，我们在有限尺寸的量子系统的客观性中得出了更严格的钻石规范范围，提供了一种可以在有限次和有限二维的情况下桥接的方法。此外，我们通过考虑纯损耗通道给出的系统环境动力学的特定模型来探测边界的紧密度。最后，我们概括为有限的维度，这是品牌〜Ao等人获得的结果（2015Nat。社区。6 7908），它提供了量子不和谐的操作表征，从与许多当事方的相关性的单方面重新分布。我们的结果提供了一个统一的框架，可以定量基准在量子到古典过渡中的客观性上升。
![arxiv：2404.01769v1 [cs.lg] 2024年4月2日](/simg/d\d95b759ebd6bed6b12bc345584714d55f28ad964.webp)
arxiv：2404.01769v1 [cs.lg] 2024年4月2日
摘要。深度加强学习技术的快速进步可以通过使用深神经网络（DNNS）来监督安全 - 关键系统。这强调了迫切需要为此类DNN控制系统建立精心设计的安全保证。大多数现有的验证方法都取决于定性方法，主要是使用可达性分析。但是，定性验证证明了DNN控制的系统不足，因为在开放和对抗环境中运行时，其行为表现出随机趋势。在本文中，我们提出了一个新的框架，用于统一DNN控制系统的定性和定量安全验证概率。这是通过将验证任务作为有效神经屏障证书（NBC）的综合来实现的。最初，该框架试图通过定性验证来建立几乎固定的安全保证。在定性验证失败的情况下，我们调用了我们的定量验证方法，在无限和有限的时间范围内都可以在概率安全性上获得精确的下限和上限。为了促进NBC的合成，我们引入了它们的𝑘诱导变体。我们还设计了一种模拟引导的训练NBC的方法，旨在在计算精确认证的上限和上限时达到紧密度。我们将方法原型化为一个名为uniqq的工具，并在四个经典的DNN控制系统上展示了其e ffi cacy。
量子随机预言模型中NTS-KEM的安全性研究
摘要。NTS-KEM 是 NIST 仍在争取标准化的 17 种后量子公钥加密 (PKE) 和密钥建立方案之一。它是一种基于代码的密码系统，从 (弱安全的) McEliece 和 Niederreiter PKE 方案的组合开始，并应用 Fujisaki-Okamoto (Journal of Cryptology 2013) 或 Dent (IMACC 2003) 变换的变体，在经典随机预言模型 (ROM) 中构建 IND-CCA 安全密钥封装机制 (KEM)。Hofheinz 等人 (TCC 2017)、Jiang 等人 (Crypto 2018) 和 Saito 等人 (Eurocrypt 2018) 也证明了这种通用 KEM 变换在量子 ROM (QROM) 中是安全的。但是，NTS-KEM 规范有一些特殊性，这意味着这些安全证明并不直接适用于它。本文确定了经典 ROM 中 NTS-KEM 的 IND-CCA 安全证明中的一个细微问题，如其初始 NIST 第二轮提交中所述，并对其规范提出了一些细微修改，不仅解决了这个问题，而且使其在 QROM 中具有 IND-CCA 安全性。我们使用 Jiang 等人（Crypto 2018）和 Saito 等人（Eurocrypt 2018）的技术为修改后的 NTS-KEM 版本建立了 IND-CCA 安全性降低，实现了 2 度紧密度损失；人们认为，这种类型的二次损失对于 QROM 中的减少通常是不可避免的（Jiang 等人，ePrint 2019/494）。根据我们的研究结果，NTS-KEM 团队接受了我们提出的更改，并将它们纳入到他们向 NIST 流程提交的第二轮更新中。
通过形式抽象的非高斯噪声的动态系统的强大控制
在安全 - 关键设置中运行的动态系统的控制器必须解释随机干扰。这种干扰通常被建模为动态系统中的过程噪声，并且常见的假设是潜在的分布是已知和/或高斯。但是，在实践中，这些假设可能是不现实的，并且可能导致真实噪声分布的近似值差。我们提出了一种新型控制器合成方法，该方法不依赖于噪声分布的任何明确表示。特别是，我们解决了计算一个控制器的问题，该控制器可在安全达到目标时提供概率保证，同时避免了状态空间的不安全区域。首先，我们将连续控制系统抽象为有限状态模型，该模型通过离散状态之间的概率过渡捕获噪声。作为关键贡献，我们根据有限数量的噪声样本来调整方案方法的工具，以计算这些过渡概率的近似正确（PAC）。我们在所谓的间隔马尔可夫决策过程（IMDP）的过渡概率间隔中捕获了这些界限。此IMDP具有用户指定的置信度概率，可抵抗过渡概率的不确定性，并且可以通过样本数量来控制概率间隔的紧密度。我们使用最先进的验证技术在IMDP上提供保证，并计算一个保证将这些保证置于原始控制系统的控制器。此外，我们开发了一种量身定制的计算方案，该方案降低了IMDP上这些保证的合成的复杂性。现实控制系统上的基准测试显示了我们方法的实际适用性，即使IMDP具有数亿个过渡。
基于分配的合并和多...
摘要。用于调查，评估和预期气候变化，已经设计了数十个全球气候模型（GCM），每种都对地球系统进行建模略有不同。要从不同的模拟和输出中提取强大的信号，通常将模型收集到多模型集合（MME）中。然后以各种方式汇总这些内容，包括（可能加权的）多模型手段，中值或分位数。在这项工作中，我们引入了一种称为“ alpha Pooling”的新概率聚合方法，该方法构建了一个累积的累积分布函数（CDF），旨在在校准（历史）期间更接近参考CDF。然后可以使用聚合的CDF来对原始气候模拟进行偏置调整，因此进行“多模型偏置校正”。在实践中，每个CDF都是根据取决于参数α的非线性转换而转换的。然后，将重量分配给每个转换的CDF。此权重是CDF紧密度与参考转换的CDF的增加功能。键合的键是一个参数α，它描述了转化的类型，因此汇总的类型，将线性和对数线性池化方法均赋予。我们首先确定α池是通过验证某些最佳特性来适当的聚集方法。然后，着重于西欧温度和降水量的气候模型模拟，为了评估α汇合的性能，以针对当前可用的方法（包括多模型平均值和加权变体）的性能。基于重新分析的评估以及完美的模型实验以及对气候模型集的灵敏度分析。我们的发现证明了所提出的合并方法的优越性，表明α池提出了一种结合GCM CDF的有效方法。这项研究的结果还表明，我们对多模型偏置校正的CDF合并策略的独特概念是通常的by-GCM-GCM偏置校正方法的可靠替代方法，可以一次允许处理和考虑几种气候模型。
迈向2030年的电动汽车市场前景，并对相关行业产生影响
任何国家一直在采用越来越严格的CO 2排放法规，以支持车辆电气化。汽车制造商一直在加强其电气化策略，以达到坚固的标准。这些努力在公共和私营部门带来的协同效应一直在加速电动驱动车市场的增长，以期过渡到全电动车辆。在欧洲，插电式混合动力电动汽车（PHEVS）正在桥接向全电动车辆（EVS）的转变。中国新能源车市场（EV和PHEVS）预计将迅速扩展到2020年。即使在2020年取消补贴之后，市场也不太可能迅速缩小。在美国，特朗普政府的就职典礼可以加速电气化双极化。在日本，目前关注混合动力汽车（HEV）的市场结构可能会发生变化。考虑到每个地区的电气化方法和每个汽车制造商的电气化计划，作者估计了电动驱动车市场的大小（包括电动汽车，PHEV和HEVS）。一个乐观的估计表明，到2025年，该市场的规模将达到约1800万台（约占乘用车市场的17％）。电动驾驶汽车市场的快速扩张可能会导致锂离子电池（LIB）的供需紧密度。为了应对可能短缺的LIB，汽车制造商一直在审查其采购电池的策略，并试图与电池制造商建立牢固的合作伙伴关系。即使汽车行业一直向水平专业化转移，但已经看到了回到垂直整合的趋势。迅速上升的电动驱动车市场的影响将扩展到上游材料行业。为了进入全球市场，LIB材料行业将看到主要材料制造商和专业材料制造商之间的合作和合作伙伴关系。以这种方式，该行业可能会经历重组。车辆电气化对汽车零件行业的影响包括内燃机制造商遭受的商机的损失以及传统的传输到水平国际专业化的加速。在能源行业中，由于电气化在确保稳定的电源方面构成了机会和威胁，因此该行业必须制定适当的操作和解决方案以稳定电源。通信行业将通过将物联网应用于电动车辆的车身和电池充电器来看到新的商机的出现。
医学杂志缩写清单
建筑物的热隔离是当前能量和环境问题的核心。随着2024年生效的新法规，建筑行业正处于转折点。这些加强的标准旨在显着提高新建筑物和现有建筑物的能源效率，同时减少其碳足迹。对于建筑专业人士，建筑师和所有者，了解这些变化对于设计和翻新满足环境要求的建筑物至关重要。从2012年热调节（RT 2012）到2020年环境调节（RE 2020）的转变标志着建筑物热绝缘的方法是一个重要的里程碑。这种进化不仅增强了能源效率标准，而且还引入了新的环境标准。RE 2020优先考虑三个主要目标：减少建筑物的碳足迹，提高其能源性能并增强夏季舒适感。为了实现这些目标，热绝缘标准已得到显着加强。例如，与RT 2012相比，不透明壁的最小热阻力平均增加了20％。最重要的变化之一涉及整体建筑设计方法。虽然RT 2012主要关注能源消耗，但RE 2020考虑了建筑物的整个生命周期，从建筑到寿命末。这种整体方法意味着对绝缘材料的选择进行了更深入的反思，不仅考虑了它们的热性能，还考虑了它们的环境影响。u值越低，绝缘效果越好。2024年建造信封的技术要求比以前更为严格。这些新标准旨在在建筑物的内部和外部之间建立几乎不可渗透的热屏障，从而减少加热和空调需求。关键因素是热传输的系数（U值），该系数根据内部和外部之间的温度差异测量通过墙壁的热量。这是2024年各种墙壁最大允许的U值的概述： *外墙：0.15 w/m²k *屋顶：0.10 W/m²K *下层平板：0.20 w/m²K * Windows：1.2 w/m²K这些值这些值代表了先前的标准，代表了平均允许的30％的标准，均为先前的标准率高。为了实现这些性能，不可避免地使用高质量的绝缘材料和增加的绝缘厚度。热桥，热量更容易逃脱，在新法规下需要特别关注。The coefficient psi (Ψ), which measures linear heat loss at junctions between building elements, must now meet very strict values: * Junction wall/floor: Ψ ≤ 0.5 W/mK * Junction wall/roof: Ψ ≤ 0.3 W/mK * Junction between walls: Ψ ≤ 0.2 W/mK * Window perimeter: Ψ ≤ 0.4 W/mK Let me know if you'd like me to rephrase 任何事物！les nouvelles normes d'Aintrique thermique 2024 jexigent l'l'iperiques de construction de constructionavancéespor garantirl'Efficacitédesbâtiments。la Mesure del'étanchéité-l'Air est Cruciale，Avec des Seuils以及严格的MesurésPAR LE系数Q4PA-SURF。该过程涉及：1。2。3。专业人员必须从设计阶段整合此要求，并提供合适的密封解决方案。强烈鼓励使用基于生物的材料在热绝缘材料中，因为它们具有降低的环境影响，同时提供出色的绝缘性能。标准2024将这些材料纳入新结构的最低率。生物包封的材料必须符合特定的性能标准，例如小于或等于0.040 W/（M.K）的热导率（λ）。将这些材料的整合到绝缘材料中不仅满足技术要求，而且也是全球可持续建筑方法的一部分。为了满足2024个热绝缘标准的增加要求，建筑部门必须依靠创新的技术和解决方案。提前不仅可以满足监管标准，还可以优化建筑物的整体能源性能。从外部（ITE）的热绝缘材料正在经历明显的演变以适应标准2024。新的ITE系统结合了高性能复合材料和连接的传感器，从而可以对建筑物信封的热和潮流性能进行实际监视。最后，相变材料（PCM）代表了热绝缘领域的重大进步，因为它们具有存储和释放大量能量的能力。彻底的热学习用户批准的软件。在从固体到液体的相过渡期间，反之亦然，集成的PCM（相变材料）允许建筑物内的自然温度调节，从而减少加热和空调需求。PCM可以纳入各种形式，例如嵌入石膏面板中的微胶囊，带有聚合物矩阵的复合材料或用于热量储能的宏观化系统。这些解决方案增强了建筑物的热惯性，这显着有助于实现2024年标准设定的热舒适目标。门窗在全球建筑物绝缘层中起着至关重要的作用。2024标准对太阳因子（SW）和发光传输（TL）施加了更高的性能要求。具有低发射率的三层玻璃窗口已成为新结构的规范，其UW值低于0.8 W/（m².k）。该领域的创新涉及能够根据外部条件调整其光学和热性能的动态玻璃系统。这些电致变色或热色素技术全年优化太阳能增益和发光度，从而降低了建筑能源消耗。地板和屋顶绝缘材料也有了重大的技术进步。在地板上，闭孔泡沫隔离器可确保高温电阻率，同时保持完美的空气和湿度紧密，尤其适用于卫生坑或陶土板构造。对于屋顶，真空绝缘面板（VIP）正在越来越受欢迎，提供了厚度降低的出色绝缘材料，使其在空间有限的翻新项目中有利。4。5。热绝缘已经从简单地将隔离材料应用于复杂而智能的系统，以整合高级技术来优化整体建筑能源性能。计算方法和2024年认证的方法已经发生了重大发展，以适应新的热和环境绩效要求。这种整体方法可确保对建筑能源绩效的精确评估。动态热模拟软件（STD）在设计和评估符合2024标准的建筑物中起着至关重要的作用，对整个一年中建筑物的热行为进行了建模，考虑到方向，太阳能输入，热习惯，热习惯以及加热和频道系统。批准的2024认证软件必须集成THBCE的最新计算方法。要符合新的性能指标，设计师和建筑商必须考虑诸如Pleiades，DesignBuilder和TRNSYS之类的软件工具。这些程序不仅验证符合建筑标准，而且还优化建筑设计以提高能源效率。BBIO，CEP和TIC性能指标是2024方法论的关键。BBIO评估建筑物的生物气候质量，独立于能源系统，考虑了隔热，方向和太阳能收益等因素。在2024年，与RT 2012相比，BBIOMAX目标降低了30％，鼓励设计师优化建筑信封。CEP测量建筑物的主要能源消耗，用于加热，冷却，照明，热水生产和通风。TIC评估没有空调的夏季室内温度。2024标准为住宅建筑物设置了50 kWhep/（m².an）的Cepmax，这与以前的法规大幅度降低。为了实现这些雄心勃勃的目标，使用高性能能源系统并整合可再生能源是必不可少的。2024标准加强了此指标，要求室内温度每年不超过28°C超过28°C。这一要求推动了采用动态太阳阴影和夜间通风等被动解决方案。BBC-Feftinergie 2024标签代表了能量性能的卓越表现。要获得它，建筑物必须达到2020年的标准并超越。验证BBIO，CEP和TIC目标。 由认证组织进行的空气紧密度测试。 整个建筑物生命周期的碳足迹评估。 可再生能源的整合。 BBC-Feftinergie 2024标签需要的CEP至少比2020年标准（住宅建筑物40 kWhep/（m².an））低20％。 此外，它要求可再生能源满足建筑物需求的至少40％。 这些严格的标准推动了创新并采用了建筑部门的尖端技术。 2024年引入更严格的绝缘标准具有重大的经济和环境影响。 这种转变会影响建筑成本，财产价值和建筑物的生态足迹。 生命周期评估（LCA）成为评估隔离解决方案的全球环境影响的重要工具。验证BBIO，CEP和TIC目标。由认证组织进行的空气紧密度测试。整个建筑物生命周期的碳足迹评估。可再生能源的整合。BBC-Feftinergie 2024标签需要的CEP至少比2020年标准（住宅建筑物40 kWhep/（m².an））低20％。此外，它要求可再生能源满足建筑物需求的至少40％。这些严格的标准推动了创新并采用了建筑部门的尖端技术。2024年引入更严格的绝缘标准具有重大的经济和环境影响。这种转变会影响建筑成本，财产价值和建筑物的生态足迹。生命周期评估（LCA）成为评估隔离解决方案的全球环境影响的重要工具。这种方法考虑了材料生活的所有阶段，从提取到处置或回收。在2024年，必须为每个主要的建筑或翻新项目进行LCA。结果表明，某些基于生物的材料（例如木羊毛和大麻）通常比传统的绝缘选择更好。建筑物的新隔热标准远远超出了直接的热性能，并考虑了对环境的长期影响。例如，与传统的合成材料相比，使用木制羊毛面板可以将建筑物的碳足迹减少50年。目标不仅是减少能源消耗，而且是在整个建筑物的生命周期中最大程度地减少环境排放。为了实现这一目标，建筑师必须优化建筑物的各个方面，从物质选择到能源系统。新标准需要改变思维的转变，不仅要考虑即时成本和收益，还考虑了长期储蓄和环境影响。政府提出了经济激励措施，以鼓励采用这些标准，包括： *MapRimerénov'：低收入家庭的90％覆盖范围 *以零利率为零：20年内20年内的eco-loan * 50,000欧元 *能源储蓄证书（CEE）（CEE）：全面翻新的奖励这些奖励可显着降低这些薪资期。例如，耗资40,000欧元的100平方米房屋的全面翻新可能会在这些激励措施的帮助下从15年下降到7年，从而导致每年能源节省1,500欧元。减少碳排放是新标准的关键目标。E+C-（能量正和减少碳）计算方法已集成到法规中，为整个建筑物的生命周期设定了雄心勃勃的温室气体排放目标。到2024年，与2020年级相比，预计排放量将减少30％。要实现这些目标，建筑师必须专注于使用低碳材料，例如减少 - 连接器混凝土或本地采购的木材，并将可再生能源生产系统整合到建筑物中。建筑的未来正朝着更智能，更高效和对环境意识的建筑物发展，从而最大程度地降低了它们对地球的影响。（mbsurf_moy），可以放松生物气候需求阈值bbio_max，尤其是对于超过100平方米的房屋。地理状况：与位于热区（H2C或H3或H3且高度<400m）的房屋相关的调制（McGéo）的调制增加，从而使能源消耗天花板CEP_MAX，CEP，CEP，NR_MAX和CO2ICénergie_maxIcénergie_maxiCénergie_max通过使用空气条件的使用而增加。连接到热网络：对于连接到热网络的房屋，iCénergy_max平均天花板升至200 kg eqco2/m²，直到2027年。用于小规模的集体建筑物（shab≤1300m²）的适应与总建筑物表面积（MISURF_TOT）相关的调制，以减少构造排放天花板ICCONSTRUCTION_MAX，这考虑了每平方米参考表面的CO2排放。经验表明，由于电梯对小规模集体建筑的每平方米基础的重大影响，这种类型的建筑物确实受到指标ICConstruction的惩罚。用于组成小公寓（Smoyenne logement≤40m²）的集体建筑物基于平均公寓表面积（MISURF_MOY）的调制引入，以确定构造排放天花板ICCONSTRUCTION_MAX，考虑到小规模建筑（壁尺寸设备）的每平方尺度建筑物的每平方米基础上的较高密度，可用于墙壁，墙壁的设备，等等。对于配备太阳能电池板的建筑物：所有建筑物都受到RE2020的影响，无论大小如何：基于太阳能电池板安装（MIPV）的影响，当安装的碳足迹超过20kGGO2/m²时，基于太阳能电池板安装（MIPV）对施工排放天花板ICCONSTRUCTION_MAX的影响。由于这些设备的碳足迹，在存在太阳能电池板覆盖的重要表面积的情况下，可以放松建筑排放天花板。对于连接到分类热网络的建筑物：与能源消耗相关的二氧化碳排放的平均iCénergie_max天花板从2022 - 2024年延长至2025-2027。由于大多数热量网络仍然没有足够的可再生能源速度，因此公共当局希望为网络经理提供三年的时间，以进行必要的工作以脱碳，使其网络化。