XiaoMi-AI文件搜索系统
World File Search System模拟验证
使用 CAE 模拟验证结构... - WeldGalaxy
麦肯锡全球去年进行的一项关于数字化转型的调查发现，石油和天然气、汽车、基础设施和制药等传统行业的数字化转型比其他行业更具挑战性。同一项研究还发现，采用的技术越多，转型就越成功。2018 年，大多数公司使用了麦肯锡全球询问的以下十一种技术中的四种：传统网络技术、基于云的服务、移动互联网技术、大数据和大数据架构、物联网、设计思维、人工智能工具、机器人、深度学习、增强学习、增材制造。（完整报告请见此处：https://www.mckinsey.com/business-functions/organization/our-insights/ unlocking-success-in-digital-transformations）
使用模拟验证 AFDX 基础设施... - HAL
摘要。直到最近，飞机内部对联网的需求并不强烈。事实上，通信主要是通过电缆和以太网协议处理的。航空电子嵌入式系统的发展和民用飞机中集成功能的数量改变了这种情况。事实上，这些功能意味着交换数据量大幅增加，从而导致功能之间连接数量的大幅增加。在处理这种新复杂性的可用机制中，我们发现了航空电子全双工交换以太网 (AFDX)，这是一种允许模拟源和一个或多个目的地之间的点对点网络的协议。AFDX 的核心思想是虚拟链路 (VL)，用于模拟设备之间的点对点通信。主要挑战之一是表明 VL 上数据包的总传送时间受某个预定义值的限制。这是一个困难的问题，还需要提供 AFDX 网络的正式但相当具有发展性的模型。在本文中，我们建议使用基于组件的设计方法来描述模型的行为。然后，我们提出了一种随机抽象，它不仅可以简化验证过程的复杂性，还可以提供有关协议的定量信息。
起落架操作用例。 - HAL
摘要。属性模型方法 (PMM) 与设计广泛的技术系统相关，本文将其应用于 ARP4754A/ED79A 框架内的直升机功能开发过程。在简要介绍该方法之后，介绍了案例研究：“收起和伸展机载起落架系统”。然后，通过案例研究中的示例说明了 PMM 开发过程的每个阶段：(1) 对顶层需求规范进行建模，(2) 通过证明和模拟验证需求规范，(3) 对架构设计进行建模，将顶层需求细化为对功能有贡献的不同子系统指定的需求，并对终端子系统详细设计进行建模 (4) 通过证明或模拟验证对贡献子系统指定的需求，(5) 通过模拟验证设计模型，最后 (6-8) 根据开发过程中积累的所有验证和验证场景，通过测试验证物理实现。最后，总结了经验教训和行业观点，强调了 PMM 是一种适应系统工程面临的挑战的方法，因为开发流程全球化，并展示了 PMM 如何提供强大的概念框架来支持全球化设计组织内的数字连续性。支持建模、仿真、验证和测试生成活动
革命热化学吸附热存储：1
与纯MGSO₄20和MGCl₂分别降低了64.8 kJ/mol的反应激活能量46.2％和79.2％。对本研究中使用的模拟参数进行了测量，每21个复合材料。数值模拟验证了材料的实用性，显示了116.7 W的最大22瞬时放热功率，体积储能密度为237.2 kWh/m³。23这项研究突出了球形培养材材料在低24
有风险的绿色供应链中的定价和协调...
本文认为使用制造商和零售商作为研究对象的绿色供应链。在参考价格效应下研究了绿色供应链的定价和协调策略，考虑到规避风险的制造商。我们建立集中，分散和成本分担的合同决策模型，然后为每个模型提供最佳的平衡策略。此外，我们分析了不同模型的最佳平衡策略。最后，通过数值模拟验证它们。我们发现，成本分担合同模型比分散的决策模型更好。此外，制造商的避免风险程度会影响供应链成员的批发价格，产品绿色，零售价和利润。可以验证，成本分担合同可以协调供应链系统以增加供应链成员的支持。
基于微谐振器的高性能逻辑门分析
摘要 — 微谐振器调制器通常用作硅光子学平台计算系统中的电光 (EO) 逻辑门。在本文中，我们提供了一个紧凑的分析模型来描述线性级联微谐振器调制器阵列的开关特性。通过商业软件上的模拟验证了该分析模型。研究了不同调制条件下微谐振器的开关特性。此外，还讨论了微谐振器调制器串联的计算模块，其中微谐振器的模型由 AIM 光子学工艺设计套件 (PDK) 提供。分析了导致逻辑输出恶化的因素，并提出了提高逻辑输出精度的方法，并用 8 个微谐振器调制器进行了演示。
基于网格形成逆变器的安全加固学习...
摘要 - 这封信研究了基于网格形成的安全强化学习策略（GFM）基于逆变器的频率调节。确保在学识渊博的控制策略下基于逆变器的资源（IBR）系统的稳定性，将基于模型的加固学习（MBRL）技术与Lyapunov方法相结合，该方法决定了国家和行动的安全区域。为了获得接近最佳的控制策略，使用从吸引力区域（ROA）采样的数据，可以通过近似动态编程（ADP）安全地改善控制性能。此外，为了增强对逆变器中参数不确定性的控制鲁棒性，提议的MBRL采用了高斯过程（GP）模型，以从测量中有效地学习系统动力学。数值模拟验证了所提出的方法的有效性。
使用多通道相干方法对轻型飞机客舱进行主动噪声控制
本文讨论了轻型飞机座舱的主动噪声控制系统。基本系统使用残差信号的相干平均法来产生驱动二次源的信号。该系统的高级版本使用有关噪声波形的先验信息，自适应过程从假设的波形开始（具有足够幅度、相位和频率的正弦信号，甚至低通滤波的参考噪声信号）。在测试单通道系统后，通过额外的模拟验证所实现的噪声抑制，其中考虑了实际飞机座舱的测量声学特性（以脉冲响应为特征）。系统可以扩展到 SIMO（单输入多输出）类型的多通道版本，其中相同的转速计/参考信号在经过足够的延迟（噪声信号通过座舱的声学传播）后驱动八个单通道系统，这些系统与多个增益延迟组合连接，以减少各个通道之间的串扰。
飞机装配线的资源高效配置
高效装配系统的设计可以显著提高产品的盈利能力和制造业的竞争力。高效装配线的配置可以通过适当的方法和技术来支持，例如面向制造和装配的设计、装配顺序规划、装配线平衡、精益制造和优化技术。本文参考 Skycar 轻型飞机装配线的工业案例研究应用了这些方法。考虑到装配结构的分析和所需的优先约束来确定装配工艺顺序，并应用各种技术来优化装配线性能。通过离散事件模拟验证不同的生产线配置，以评估数字环境中效率和吞吐量的潜在增长，并提出最合适的装配线配置。© 2015 作者。由 Elsevier B.V. 出版。同行评审由第 48 届 CIRP 制造系统会议科学委员会负责 - CIRP CMS 2015。