XiaoMi-AI文件搜索系统
World File Search System友好
自然友好型经济的全球路线图
造成自然丧失的根本原因在于国际经济和金融体系，该体系制定了一套“游戏规则”，鼓励采掘和对环境有害的活动，阻止政府推行有利于自然的政策。这些游戏规则包括：来自公共和私人来源的国际资金流动，包括发展金融机构，往往会奖励和鼓励为短期利润而对自然资源进行不可持续的开发；缺乏金融监管来防止或抑制私人投资破坏环境的活动；国际贸易流动和规则破坏了改善生产环境标准或对进口产品实施标准的努力；地理上分散的供应链将自然资源开发的收益与成本区分开来；政府和企业报告框架过分强调短期 GDP 增长和利润，目前仍然排除了对自然资源的可比报告。
对委托友好的Zksnark和掠夺私人代表团
零知识简洁的非交互性知识论证（ZKSNARKS）导致了可以简洁验证的证据，但需要大量的计算资源才能产生。先前的系统外包证明通过Pub-LIC委托，该委托揭示了第三方的见证人，或者更优选地是私人代表团，该代表团使用多方计算（MPC）保留证人隐藏。然而，由于MPC不确定，资源利用率不佳以及ZKSNARK协议的次优设计，当前的私人代表团计划在稳定性和效率上挣扎。在本文中，我们介绍了DFS，这是一种新的ZKSNARK，对公共场景和私人场景都非常友好。先前的工作着重于优化用于iS ZKSNARKS的MPC协议，而DFS使用MPC和ZKSNARK之间的共同设计，以使该协议具有分解计算和MPC的有效性。尤其是DFS在非延长设置中实现线性谚语时间和对数验证成本。对于私人代表团，DFS引入了一个计划，其中MPC中的通信开销为零，并免费获得恶意安全性，这导致了遗留的整体通信；先前的工作需要线性通信。我们的评估表明，DFS与公共代表团中最先进的Zksnark一样有效。当用于私人委托时，它比以前的工作更好。特别是，对于2个24个约束，DFS的总体设备小于500 kb，而先前的工作会产生300 GB，这是线性至电路尺寸的。此外，我们在先前的工作中识别并解决了安全性，EOS（USENIX'23）。
历史友好模型：回顾和未来视角
摘要 二十年前，我们引入了历史友好型建模方法来正式研究产业动态。在本文中，我们回顾了历史友好型文献迄今为止取得的成果以及我们面临的挑战。我们说明了该方法的主要原理、方法和构建模块，然后通过两个应用对其进行了说明。第一个应用研究了进入计算机行业大型机领域的影响。第二个应用研究了不确定的技术环境中不同产业政策的影响。
历史友好模型：回顾和未来视角
摘要 二十年前，我们引入了历史友好型建模方法来正式研究产业动态。在本文中，我们回顾了历史友好型文献迄今为止取得的成果以及我们面临的挑战。我们阐述了该方法的主要原理、方法和构建模块，然后通过两个应用对其进行了说明。第一个应用研究了进入计算机行业大型机领域的影响。第二个应用研究了不确定的技术环境中不同产业政策的影响。
英语和英语友好课程-León
在ULE，可以研究一些英语（EC）或对英语（EF）的课程。英语友好的课程是材料，作业，可交付成果和测试的英语课程，但这些课程是用西班牙语进行的。在这两种情况下，都有可能在任何学校/教职员工中将这些课程与西班牙语提供的课程相结合。此外，我们的莱昂大学语言中心还提供具有大学学分认可的西班牙语课程。
PyFly：快速、友好的空气动力学模拟框架
通过了解控制动力学并可能利用特定现象，可以在设计的最初阶段增强空气动力学系统（例如航空航天器、船舶、潜艇、离岸结构和风力涡轮机）的性能。控制这些系统空气动力学性能的方程可能包括非线性偏微分方程（例如 Navier-Stokes 方程）。计算机硬件和软件的最新进展使得数值模拟成为可能，其中上述方程被离散化并与稳健的数值算法相结合。虽然这些高保真方法在捕捉主要物理特征方面非常有效，但它们涉及以复杂方式相互关联的多种现象，必须以大量自由度来解决。此外，使用这些工具所需的大量计算资源和时间可能会限制模拟大量配置以用于设计目的的能力。这些缺点导致需要开发简化的模拟工具，以降低计算成本，同时体现相关的物理方面和响应特性。在本文中，我们提出了一种基于非稳定涡格法 (UVLM) 的势流求解器（即 PyFly）的快速高效实现。该计算工具可用于模拟运动和变形物体（如拍打的机翼、旋转的叶片、悬索桥面和游动的鱼）的非稳定气动行为。UVLM 计算由加速度和环流现象导致的物体表面压力差异所产生的力。这解释了非稳定效应，例如增加的质量力、束缚环流的增长和尾流。UVLM 仅适用于理想流体、不可压缩、无粘性和无旋流，其中分离线是先验已知的。因此，UVLM 的公式要求流体在后缘平稳离开机翼（通过施加库塔条件），并且不涵盖前缘流动分离的情况和发生强烈机翼尾流相互作用的极端情况。尽管存在所有这些限制，研究工作仍考虑使用 UVLM 设计前向和悬停飞行中的类似鸟类的扑翼 [2、3、4、5]、风力涡轮机建模 [6] 以及土木工程结构的控制和振动抑制 [7、8]。虽然快速运行时间通常是科学软件项目的目标，但我们认识到简单的用户界面也是框架使用的一个重要方面。一个理解和使用起来很复杂的高效框架不会减少工程师的解决问题的时间，尽管生成的代码执行速度很快。但是，易于使用的语言的性能通常会慢几个数量级。这两种情况都不理想。PyFly 的目标是提供一个基于 UVLM 的友好气动模拟框架，该框架在计算上也是高效的。我们通过使用混合语言编程来实现这一点。我们使用 Python [9] 进行网格对象的高级管理，使用 Fortran 作为必须高效运行的计算内核。虽然数值方法不会因不同的应用程序而改变，但不同应用程序提出的要求可能会变得复杂难以管理。例如，在扑翼的情况下，需要管理机翼及其尾流。对于对称飞行，我们还必须跟踪机翼镜像的影响。然而，在