XiaoMi-AI文件搜索系统
World File Search SystemStratego
无需热风供暖：智能供热电气化原理
8 Connolly, D.、Hansen, K.、Drysdale, D.、Lund, H.、Van Mathiesen, B.、Werner, S. 等 (2015)。加强供暖和制冷计划以量化提高欧盟成员国能源效率的影响：将欧洲供热路线图方法论转化为成员国层面。（工作包 2。主要报告：执行摘要。）比利时布鲁塞尔：Stratego 项目。检索自 https://www.euroheat.org/wp-content/uploads/2016/04/WP2-Main-Report.pdf
自主网络防御：超越游戏？
网络防御是与试图利用弱点并在数字系统中引起意外行为的攻击者的动态和不断发展的对抗的一方。从历史上看，攻击者和捍卫者都依靠人类的创造力和智力来超越彼此，以竞争性，新兴，临时课程学习彼此的策略。现代网络战斗人员越来越依赖各种自动化工具，机器学习；也许更令人惊讶的是，游戏在追求目标。虽然基于深厚的强化学习的自主代理人在玩复杂的策略游戏（如GO，Starcraft和Stratego）中取得了巨大的突破，但在网络防御游戏中几乎没有得到相对较少的进展以及他们与他们相关的现实世界中的问题。我们强调了网络防御中的自治药物的现状，预示着其巨大的未来潜力，并确定了近乎近外的关键研究挑战。
Porgy 策略语言：用户手册
Porgy 是一种基于端口图重写的可视化交互式建模工具。在 Porgy 中，系统状态由端口图表示，系统的动态演化通过端口图重写规则定义。策略表达式用于控制规则的应用，更准确地说，策略表达式既指示重写推导中每一步要应用的规则，也指示应用规则的图中位置（后者通过聚焦构造完成）。一些策略构造受到术语重写语言的强烈启发，例如 Elan Borovansk´y 等人（1998 年）、Stratego Visser（2001 年）和 Tom Balland 等人（2007 年）。术语重写语言中不存在聚焦运算符（尽管它们依赖于隐式遍历策略）。通过目标图中和定位端口图重写规则中可区分的位置和禁用子图来直接管理策略表达式中的位置是该语言的原始特征，并使用定位构造进行管理。本文档描述了策略表达式的具体语法，解释了如何使用不同类型的构造，并提供了示例。完整的形式语法在 Fern'andez 等人 (2019) 中进行了描述。有关 Porgy 的更多信息，我们请读者参阅 Pinaud 等人 (2012)（交互功能）、Fern'andez 等人 (2019)（语言的初步版本）、Fernandez 等人 (2018)（社交网络示例）和 Varga (2018)（规则应用条件）。
引用出版版本（APA）：Christian，M.，Curse，A.，Jensen，P.G.，Theodorescu，R。，＆Larsen，K。（2023）。 SOC/SOT双重平衡
摘要 - 电动汽车中的电池包由电池管理系统管理，这些电池管理系统会影响包装中的电池状态，在这些系统中，此类系统在研究中受到了很多关注。最近，平衡细胞之间的脾气已成为研究主题。在我们的工作中，我们考虑了一个双平衡问题，我们旨在平衡充电状态和温度的两个参数。我们考虑一个智能电池组，可以绕过单个单元格，这意味着没有电流往返或从单元格，这使得单元在电池不充电或放电时冷却。此外，智能电池组可以估计每个单元的特性，进而可以用来定义单元格和电池组行为的模型。我们使用电池组的模型进行实验，其中每个细胞的配置都作为衰老的效果。对于具有异质细胞的这样的包装，我们在Uppaal Stratego中使用Q学习来合成一个控制器，该控制器最大化在平衡状态下所花费的时间，这意味着所有单元格的状态彼此之间都在特定的范围内。与两个基于阈值的控制器相比，我们在两个方面都有显着改善，这些控制器平衡了充电状态或温度状态。合成的控制器仅在1-4％的时间之间，温度在15-20％的时间之间是不平衡的。基于阈值的控制器的充电状态不平衡，多达37％的时间，或者在温度的时间内是44％的时间。最后，电荷状态和温度的最大变化减少。索引术语 - 启动电池组，数字双胞胎，SOC和SOT，双平衡，增强学习