XiaoMi-AI文件搜索系统
World File Search System规划问题
规划问题与人工智能：概述
(1) Shigenobu Kobayashi 和 Takao Terano (编)：《知识系统手册》，Ohmsha (1990)。(2) J. Hopfield 和 P. Tank：《优化问题中的决策神经计算》，《生物控制论》，第 81 卷，第 141-152 页 (1985)。(3) S. Kirkpatricks 等人：《通过模拟退火实现优化》，《科学》，第 220 卷，第 671-680 页 (1983)。
航空货运装载规划问题 - KIT
航空货运业的一个主要运营规划问题是如何安排飞机上的货物，以便安全且有利可图地飞行。因此，每次飞行都必须解决一个具有挑战性的规划难题。除了复杂性之外，规划如今大多是手动完成的，这是一个耗时且解决方案质量不确定的过程。关于航空货运装载问题的文献很少，而且这个术语在不同的子问题中的使用含糊不清，例如选择集装箱、将物品装入集装箱或将集装箱装入飞机。所有提出的模型都只关注实践中更大的规划问题的某些方面。此外，文献中没有涉及一些实际方面。在这项工作中，我们全面概述了我们工业合作伙伴的运营实践中看到的空运货物装载规划问题。我们正式确定了它的要求和各个利益相关者的目标。此外，我们开发和评估合适的解决方案。因此，我们将问题分解为四个步骤：飞机配置、集结调度、空运货物码垛以及重量和平衡。我们主要采用混合整数线性规划来解决这些步骤。通过添加滚动时域规划方法和基于逻辑的 Benders 分解 (LBBD)，进一步分解两个子问题。实际的三维包装问题作为子问题中的约束程序得到解决
尼日利亚发展规划问题.pdf
发展规划涉及确保国家政策和战略得以实现以及将各级发展问题充分纳入国家总体发展重点的过程，这是全球持续关注的问题。在尼日利亚，可以说已经存在发展规划举措和方案，但从所有指标来看，这些努力似乎并未产生具体的发展成果。这项研究依靠宝贵的二手数据来源，批判性地审视了尼日利亚发展规划中的问题。这项研究还认为，多年来尼日利亚发展规划受到尼日利亚领导层未能正确设想真正的发展并将其提上议事日程的制约，并进一步指出，优先事项错误、计划纪律不严、缺乏有效的执行能力和公共部门效率低下、技术转让综合症、系统腐败和无效的公私伙伴关系等各种因素已使真正的发展道路变得有些虚幻。研究得出了一些有用的意见和建议，例如真正的发展规划、公共部门效率和纪律、公共/私营部门协同与合作以及态度转变，这些将为尼日利亚所期望的发展创造一个温和的气候。关键词：发展规划、温和的气候、公共/私营部门。
探索量子优化解决5G网络中PCI规划问题
物理小区 ID (PCI) 是区分 5G 等电信网络中各种天线或小区的关键数字标识符。它们在促进移动设备有效连接到不同小区、防止干扰等问题方面发挥着至关重要的作用。然而，5G 网络规模不断扩大，再加上唯一 PCI 池有限，为相邻小区分配不同的 PCI 是一个称为 PCI 规划问题的挑战。在这种情况下，本文探讨了使用量子计算 (QC) 解决 PCI 规划问题。近年来，随着 QC 的显著进步，QC 在解决复杂优化问题方面显示出巨大潜力。为了辨别 QC 可以为 PCI 规划带来的优势，我们分析了经典方法和量子方法在不同网络配置中的性能。我们的结果表明，量子方法可以得到与穷举搜索相当的解决方案，但执行时间大大缩短，为 QC 和电信领域开辟了新的研究机会。
巴瑟登镇地方规划战略
3. 规划问题/机会 6 3.1 概述 6 3.2 社区、城市发展和定居 6 3.2.1 规划问题/机会 1 – 住房 6 3.2.2 规划问题/机会 2 – 建筑形式和特色 7 3.2.3 规划问题/机会 3 – 文化遗产 7 3.2.4 规划问题/机会 4 – 活动中心 8 3.2.5 规划问题/机会 5 – 公共开放空间和社区设施 8 3.2.6 规划问题/机会 6 – 危险 9 3.3 经济和就业 13 3.3.1 规划问题/机会 7 – 活动中心 13 3.3.2 规划问题/机会 8 – 工业 14 3.3.3 规划问题/机会 9 –旅游业 14 3.4 环境 16 3.4.1 规划问题/机会 10 – 自然区域 16 3.4.2 规划问题/机会 11 – 气候变化 17 3.5 基础设施 17 3.5.1 规划问题/机会 12 – 交通网络 17 3.5.2 规划问题/机会 13 – 电信 18 3.5.3 规划问题/机会 14 – 服务 18
关于具有方法前提条件的全序 HTN 计划验证 - CYK 解析算法的扩展
简介 规划验证问题就是确定给定的规划是否是规划问题的解决方案。由于该问题的研究可能有助于规划研究，因此在过去十年中引起了越来越多的关注。例如，在国际规划竞赛 (IPC) 中，独立的规划验证者对于验证参与规划者是否制定了正确的规划至关重要。最近，有几项研究探索了在人机交互中部署规划验证技术的可能性。例如，Behnke、H¨oller 和 Biundo (2017) 指出了计划验证与混合初始规划 (Myers 等人，2003) 之间的联系，其中规划器应根据用户的变更请求迭代调整其输出计划，计划验证也可以看作是规划域验证的一种方法 (Lin 和 Bercher，2021、2023；Lin、Grastien 和 Bercher，2023)，即决定规划域是否正确建模，其中计划作为测试用例给出，该计划应该是规划问题的解决方案，验证失败表明该域存在一些缺陷。在本文中，我们考虑分层任务网络 (HTN) 规划中的计划验证问题 (Erol、Hendler 和 Nau，1996；Geier 和 Bercher，2011；Bercher、Alford 和 H¨oller，2019)。我们特别关注一类特殊的 HTN 规划问题，即全序 (TO) HTN 规划问题，该问题在 HTN 规划中发挥着重要作用，事实证明 TO 规划问题基准数量远远超过偏序 (PO)
印度理工学院鲁尔基分校
印度理工学院鲁尔基分校 系别：应用数学与科学计算系 科目代码：AMC-501 课程名称：应用优化技术 LTP：3-0-0 学分：3 学科领域：PCC 课程大纲：优化简介、凸集、凸函数、数学建模、线性规划：图解法、单纯形法、线性规划中的对偶性、灵敏度分析、对偶单纯形法、整数规划问题、混合整数规划问题、无约束优化 - 牛顿-拉夫逊法、拟牛顿法、共轭梯度法、最速下降法、约束优化 - 拉格朗日法、广义递减梯度法、罚函数法、多目标优化 - 多目标优化问题、帕累托前沿、支配和非支配解、经典多目标优化方法（如加权和方法、e-约束方法）。
风光水电抽水蓄能混合能源系统两阶段稳健优化容量配置
水电、抽水蓄能与可再生能源混合能源系统已成为现代电力系统发展的新课题方向，实现不同能源容量的合理、高效配置至关重要，但现有研究与混合能源系统进一步发展的要求之间仍然存在差距。本文重点研究风电、光伏、水电、抽水蓄能电力系统的最优容量配置，推导了风电、光伏、水电、抽水蓄能电力系统最优容量配置的双层规划模型。为了对抽水蓄能电站的运行模式进行建模，引入了两个 0-1 变量。为了处理由两个 0-1 变量引起的非线性、非凸的下层规划问题，建议将 0-1 变量视为一些不确定参数。另外，通过将 0-1 变量视为一些不确定参数，最终引入两阶段稳健优化问题，将原始双层规划问题分解为主问题和子问题。然后应用 Karush-Kuhn-Tucker (KKT) 条件来简化和线性化主问题中的最小-最大问题和非线性项。这使得主问题和子问题都被表述为混合整数线性规划 (MILP) 问题。通过利用强大的列和约束生成 (C&CG) 算法，两阶段稳健优化模型被分解为依次解决主问题和子问题的迭代过程。这种方法消除了混合能源系统现有双层规划问题中常用的复杂优化算法的需要。最后，通过案例研究的数值结果验证了所提出模型的有效性和优势。
基于人工智能的时变环境下 HAPS 规划框架
高空伪卫星 (HAPS) 是一种固定翼、太阳能供电的无人驾驶飞行器 (UAV)，旨在成为固定轨道卫星的灵活替代品，用于长期监测地面活动。然而，由于其重量轻、电动机功率弱，该平台对天气相当敏感，无法在危险天气区快速飞行。在这项工作中，我们将多个 HAPS 的任务规划问题公式化为以 PDDL+ 表示的混合规划问题。该公式还考虑了平台动态建模问题、时变环境以及需要执行的异构任务。此外，我们提出了一个框架，将 PDDL+ 自动规划器与自适应大邻域搜索 (ALNS) 方法相结合，开发该框架是为了将自动规划器与特定于该问题的元启发式方法相结合。任务和运动规划在框架内以交织的方式完成，因此保留了共同的决策/搜索空间。我们使用第三方 HAPS 真实模拟器以及一组基准测试验证了我们的方法，表明我们的集成方法可以制定可执行的任务计划。
沃尔瑟姆森林核心战略
1.0 简介 LDF 核心战略确定了沃尔瑟姆森林空间规划成果的总体目标，是理事会可持续社区战略文件中概述的优先事项的空间迭代。每个人都将使用它来了解沃尔瑟姆森林将如何变化或未来 15 年将如何规划和管理新开发项目。它处理该行政区面临的重大战略规划问题。因此，它不关心单个开发地点或详细政策。核心战略的目的是为未来制定总体框架。它寻求将城镇规划问题与处理健康、社区安全、气候变化、社会凝聚力、住房、就业、教育、交通、环境和再生等问题的计划和战略“结合起来”。所有其他规划文件都需要根据核心战略提供的战略方向进行准备。下图显示了核心战略将如何成为制定一系列其他发展计划文件的基础，例如区域行动计划和其他发展计划文件。