XiaoMi-AI文件搜索系统
World File Search System规划问题
Jasmine Rimani、Charles Lesire、Stéphanie Lizy-Destrez、Nicole Viola。MBSE 在 HDDL 中建模分层 AI 规划问题的应用。ICAPS 2021，2021 年 8 月，虚拟活动，中国。第 0 页。�hal-03434905�
分层 AI 规划的最新改进为不同专业领域的新应用开辟了道路。一个存在大胆而复杂的规划和调度问题的领域是空间探索系统操作的定义。对于这种特定的应用，分层定义域语言 (HDDL) 可能是最合适的 AI 规划语言。然而，为 HDDL 设计和编写问题和域文件是一项复杂的任务。它们需要熟练的设计师来编写和检查语法的一致性。此外，共享和修改 HDDL 文件可能是一项复杂的任务，并且可能缺乏修改的可追溯性，从而使整个过程容易出错。另一方面，大多数空间系统工程师（空间系统操作概念的架构师）几乎从未在大学课程中学习过 HDDL 和 PDDL 等规划语言。本文提出的工作有助于填补太空操作工程师与 AI 规划潜力之间的空白，以解决应用于太空探索系统的规划和调度问题。HDDL 的典型问题和域文件是从 SysML 的形式化构建的，SysML 是一种用于系统工程的通用架构建模语言。SysML 被有效地用作基于模型的系统工程 (MBSE) 中的建模语言，以研究和设计太空任务的任务架构。所提出的方法应用于模拟空间机器人任务，其中协作无人机和探测车需要探索未知环境。该方法的最终目的是将“人类知识”转移到规划问题中，并展示 MBSE 应用于 AI 规划问题的知识工程 (KE) 的能力。
探索量子优化解决5G网络中PCI规划问题
物理小区 ID (PCI) 是区分 5G 等电信网络中各种天线或小区的关键数字标识符。它们在促进移动设备有效连接到不同小区、防止干扰等问题方面发挥着至关重要的作用。然而，5G 网络规模不断扩大，再加上唯一 PCI 池有限，为相邻小区分配不同的 PCI 是一个称为 PCI 规划问题的挑战。在这种情况下，本文探讨了使用量子计算 (QC) 解决 PCI 规划问题。近年来，随着 QC 的显著进步，QC 在解决复杂优化问题方面显示出巨大潜力。为了辨别 QC 可以为 PCI 规划带来的优势，我们分析了经典方法和量子方法在不同网络配置中的性能。我们的结果表明，量子方法可以得到与穷举搜索相当的解决方案，但执行时间大大缩短，为 QC 和电信领域开辟了新的研究机会。
尼日利亚发展规划问题.pdf
发展规划涉及确保国家政策和战略得以实现以及将各级发展问题充分纳入国家总体发展重点的过程，这是全球持续关注的问题。在尼日利亚，可以说已经存在发展规划举措和方案，但从所有指标来看，这些努力似乎并未产生具体的发展成果。这项研究依靠宝贵的二手数据来源，批判性地审视了尼日利亚发展规划中的问题。这项研究还认为，多年来尼日利亚发展规划受到尼日利亚领导层未能正确设想真正的发展并将其提上议事日程的制约，并进一步指出，优先事项错误、计划纪律不严、缺乏有效的执行能力和公共部门效率低下、技术转让综合症、系统腐败和无效的公私伙伴关系等各种因素已使真正的发展道路变得有些虚幻。研究得出了一些有用的意见和建议，例如真正的发展规划、公共部门效率和纪律、公共/私营部门协同与合作以及态度转变，这些将为尼日利亚所期望的发展创造一个温和的气候。关键词：发展规划、温和的气候、公共/私营部门。
航空货运装载规划问题 - KIT
航空货运业的一个主要运营规划问题是如何安排飞机上的货物，以便安全且有利可图地飞行。因此，每次飞行都必须解决一个具有挑战性的规划难题。除了复杂性之外，规划如今大多是手动完成的，这是一个耗时且解决方案质量不确定的过程。关于航空货运装载问题的文献很少，而且这个术语在不同的子问题中的使用含糊不清，例如选择集装箱、将物品装入集装箱或将集装箱装入飞机。所有提出的模型都只关注实践中更大的规划问题的某些方面。此外，文献中没有涉及一些实际方面。在这项工作中，我们全面概述了我们工业合作伙伴的运营实践中看到的空运货物装载规划问题。我们正式确定了它的要求和各个利益相关者的目标。此外，我们开发和评估合适的解决方案。因此，我们将问题分解为四个步骤：飞机配置、集结调度、空运货物码垛以及重量和平衡。我们主要采用混合整数线性规划来解决这些步骤。通过添加滚动时域规划方法和基于逻辑的 Benders 分解 (LBBD)，进一步分解两个子问题。实际的三维包装问题作为子问题中的约束程序得到解决
规划问题与人工智能：概述
(1) Shigenobu Kobayashi 和 Takao Terano (编)：《知识系统手册》，Ohmsha (1990)。(2) J. Hopfield 和 P. Tank：《优化问题中的决策神经计算》，《生物控制论》，第 81 卷，第 141-152 页 (1985)。(3) S. Kirkpatricks 等人：《通过模拟退火实现优化》，《科学》，第 220 卷，第 671-680 页 (1983)。