hal是一个多学科的开放访问档案,用于存款和传播科学研究文件,无论它们是否已发表。这些文件可能来自法国或国外的教学和研究机构,也可能来自公共或私人研究中心。
摘要 - 幽灵投机侧通道攻击构成了计算机系统安全的巨大威胁。研究表明,使用选择性载荷硬化(SLH)的选择性变体可以有效地保护密码恒定时间代码。slh还不够强大,无法保护非晶型代码,从而引入了Ultimate SLH,该代码为任意程序提供了保护,但对于一般使用的开销太大,因为它保守地假定所有数据都是秘密的。在本文中,我们引入了一个灵活的SLH概念,该概念通过正式概括选择性和最终的SLH来实现两全其美。我们为保护任意程序的此类转换提供了适当的安全定义:运行猜测的任何转换程序都不会泄漏源程序依次泄漏。我们正式证明使用ROCQ权METER证明两个灵活的SLH变体强制执行此相对安全保证。作为简单的推论,我们还获得了最终的SLH执行我们的相对安全性概念,还可以使Value SLH的选择性变体和地址SLH执行投机性恒定时间安全性。关键字 - 侧通道攻击,投机执行,规格,安全汇编,投机负载硬化,投机性恒定时间,相对安全性,正式验证,ROCQ,COQ
美国需要将其电力生产增加一倍。大型核电站有可能与任何其他来源提供更便宜和更清洁的能源。美国建造核电站的历史远不及成本效益。本简介建议利用现有技术有效地建造和操作核电站的过程。建议的方法包括:1)政府通过控制流程并提供第一轮融资来重新启动行业,2)经过一致的训练有素的劳动力,一遍又一遍地建造了验证的反应堆设计,3)3)工作是由成本加上固定费用合同进行的,而4)公用事业公司曾经购买并以成本购买费用以及费用再加费用。提供了使用这种方法在50年内构建300个大型反应堆的一个例子,该反应堆涵盖了美国的25%的生成需求分析显示了政府和公用事业的现金流量和回报,发电能力的增长以及就业增长。政府投资仅在最初的31年中,平均年度投资为117亿美元($ b),并收回其所有费用加上70年的利息。公用事业公司将可靠的基本负载容量提高了300,000兆瓦(MWS),并以每兆瓦时36美元的价格提供批发电力($/MWH)。创造和维持了超过100万个就业机会,并创造了139亿美元的国内供应链市场。该计划可以无限期地维持自己,甚至可以维持
比萨大学,土木与工业工程系 - 航空航天部,意大利比萨 56122 lily.blondel@ing.unipi.it; alberto.sarritzu@ing.unipi.it; angelo.pasini@unipi.it b 米兰理工大学,航空航天、科学与技术系。 (DAER),20156 米兰,意大利 inigo.alforja@polimi.it; michelle.lavagna@polimi.it c 布伦瑞克工业大学,空间系统研究所,38106 布伦瑞克,德国 l.ayala-fernandez@tu-braunschweig.de d 布鲁塞尔自由大学,航空热力学系,1050 Bruxelles,比利时 riccardo.gelain@ulb.be ; patrick.hendrick@ulb.be 和 ONERA/DMPE,图卢兹大学,F-31410 Mauzac,法国 christopher.glaser@onera.fr;杰罗姆·安索因@onera.fr; Jouke.Hijlkema@onera.fr f 德累斯顿工业大学,航空工程学院,01062 德累斯顿,德国 Livia.Ordonjez-Valles@hs-bremen.de; martin.tajmar@tu-dresden.de g 不来梅应用技术学院,28199 不来梅,德国 Livia.Ordonjez-Valles@hs-bremen.de ; uapel@fbm.hs-bremen.de h 柏林工业大学,空间技术系,10587 柏林,德国 e.stoll@tu-berlin.de * 通讯作者
摘要 可重复使用运载火箭 (RLV) 不仅是经济和生态可持续的太空进入的关键,也是满足对小型卫星和巨型星座日益增长的需求的一项至关重要的创新。为了确保欧洲独立的太空进入能力,ASCenSIon(推进太空进入能力 - 可重复使用性和多卫星注入)作为一个创新培训网络诞生,拥有 15 名早期研究人员、10 名受益者和 14 个遍布欧洲的合作组织。本文概述了该任务,从可重复使用级的上升到再入,包括多轨道注入和安全处置。特别关注 ASCenSIon 内部开展的有关任务分析 (MA)、制导导航和控制 (GNC) 和气动热力学 (ATD) 的活动。介绍了项目的预见方法、途径和目标。这些主题由于相互关联,需要内部创新和高水平的协作。飞行前设计能力推动了 MA 和 GNC 任务化工具与 ATD 软件相结合以测试/探索再入解决方案的必要性。这种可靠而高效的工具将需要开发用于发射器再入的 GNC 算法。此外,还解决了 RLV 轨迹优化的具体挑战,例如集成的多学科飞行器设计和轨迹分析、快速可靠的机载方法。随后,本研究的结果用于制定控制策略。此外,执行新颖的多轨道多有效载荷注入。随后,开发了一种 GNC 架构,该架构能够在精度和软着陆约束下以最佳方式将飞行器引导至目标着陆点。此外,ATD 在多个阶段影响任务概况,需要在每个设计步骤中加以考虑。由于初步设计阶段的复杂性和计算资源有限,需要使用响应时间短的替代模型来基于压力拓扑预测沿所考虑轨迹的壁面热通量。完整的概况包括发射装置为确保遵守空间碎片减缓指南而采用的任务后处置策略,以及这些策略的初步可靠性方面。本文对 ASCenSIon 工作框架内讨论的主题及其相互联系进行了初步分析,为开发 RLV 的新型尖端技术铺平了道路。关键词:可重复使用运载火箭、制导、导航和控制、可靠性、气动热力学、
摘要:本研究检查了行为表现的演变,主观上感知的困难和前额叶皮层的血液动力学活性是在两个不同的认知任务点击执行功能的过程中认知负荷的函数。此外,它研究了这些行为,主观和神经影像数据之间的关系。在三个认知负载条件下N-BACK和随机数生成任务的执行过程中,使用连续波功能的近红外功能近红外的近红外表格扫描了19岁的右手年轻人(18-22岁)。在腹外侧和背外侧前额叶皮层上,将四个发射极和四个受体选择固定在双侧,以记录血液动力学的变化。自我报告的量表揭示了人们所感知的困难。这项研究的发现表明,越来越多的认知负荷降低了行为表现并增加了感知的困难。与一背条件相比,随机数生成任务的三个认知载荷以及在两背和三背的参数量增加了参数。此外,在腹外侧前额叶皮层中的血液动力学活性在两项认知任务(随机数生成和N-背包任务)中的血液动力学活性在腹侧前额叶皮层中比背外侧前皮层更大。最后,结果强调了脑充氧与行为表现之间的一些联系,但没有主观上感知的困难。我们的结果表明,认知负荷会影响执行绩效和困难,并且可以使用FNIRS来指定前额叶皮层对涉及抑制和工作记忆更新的执行任务的影响。
第 8 类进入、下降和着陆 1563 航天器减速和轨道插入的大气捕获 第 8 类进入、下降和着陆 1565 综合精确着陆系统的评估和验证能力
简介:地球上的生物多样性受到威胁,并处于危险之中。即使在全球气候变化的最乐观模型下,地球生物的惊人比例也将继续灭绝。由于无数的人为驱动因素,大部分物种和生态系统面临的不稳定和灭绝威胁,这些威胁的加速速度比我们帮助他们在自然环境中拯救它们的能力更快。迫切需要设想创新的策略来保护地球的生物多样性,以保护未来的生态系统。冷冻保存技术提供了一种创新的策略,从而可以在100年内冷冻和呈静脉。随着成功的越来越多,可以融化冷冻保存材料的收集以恢复DNA,完整的细胞甚至整个功能生物。全球许多机构都维持冷冻保存的生物收藏,尤其是那些处理人类健康的机构;但是,很少有生物症状在冷冻状态下将活的野生动植物样品持有。尽管如此,所有这些生物局限器都需要密集的人类管理,电力和持续的液氮供应,从而使它们容易受到不可预测的自然和地缘政治灾难的影响。此外,许多冷冻收藏都存储在城市中心,使它们更容易受到破坏稳定威胁的影响。
ACP 美国清洁能源 DFMEA 设计故障模式与影响分析 DLC 设计载荷工况 dWAM 分布式风气动弹性建模 ECD 具有方向变化的极端相干阵风 ECG 极端相干阵风 EDC 极端方向变化 EOG 极端运行阵风 EOG 1、EOG 50 具有 1 年和 50 年重现期的 EOG ETM 极端湍流模型 EWM 极端风速模型 EWS 极端风切变 FLS 疲劳极限状态 HAWC2 水平轴风力涡轮机模拟代码 第二代 HAWT 水平轴风力涡轮机 IEC 国际电工委员会 IECRE IEC 可再生能源应用设备标准认证体系 NREL 国家可再生能源实验室 NTM 正常湍流模型 NWP 正常风廓线模型 O&M 运营和维护 OEM 原始设备制造商 PSF 部分安全系数 RRD RRD Engineering, LLC SLS 使用极限状态 ULS 极限状态 VAWT垂直轴风力涡轮机 V&V 验证和确认 WTG 风力发电机 数学符号 A 威布尔尺度参数 𝐹𝐹 𝑘𝑘 通用特征载荷 k 威布尔形状参数 I ETM ETM 湍流强度 PE (𝐹𝐹 𝑘𝑘 ) 超过 𝐹𝐹 𝑘𝑘 的概率 p 0 参考大气压 T ECD ECD 的瞬态持续时间 T EDC EDC 的瞬态持续时间 T EWS 极端风切变 (EWS) 的瞬态持续时间 T 阵风 EOG 的阵风持续时间