【摘 要】
：
集装箱装卸技术和策略是衡量一个码头工作效率的关键因素.翻箱问题是码头装卸中的关键课题.翻箱问题是指:在给定贝位结构,集装箱的初始位置状态和集装箱的装船序列的条件下,寻找一个翻箱序列,使得翻箱数最小.本文研究了一类翻箱问题—狭义的翻箱问题（Blocks Relocation Problem,简称BRP）.本文第一章介绍了翻箱问题所涉及的集装箱码头基础术语,然后从问题的分类,主要算法的分类和计算复杂度
论文部分内容阅读
集装箱装卸技术和策略是衡量一个码头工作效率的关键因素.翻箱问题是码头装卸中的关键课题.翻箱问题是指:在给定贝位结构,集装箱的初始位置状态和集装箱的装船序列的条件下,寻找一个翻箱序列,使得翻箱数最小.本文研究了一类翻箱问题—狭义的翻箱问题（Blocks Relocation Problem,简称BRP）.本文第一章介绍了翻箱问题所涉及的集装箱码头基础术语,然后从问题的分类,主要算法的分类和计算复杂度等方面对翻箱问题研究现状进行了文献综述.本文第二章建立了BRP的数学模型,提出了集装箱的最坏贝位状态的概念.研究了贝位宽度为2时的翻箱算法和最坏贝位状态,其后,给出了在贝位高度没有限制,且贝位宽度为3的情形下,最坏贝位状态的猜想.本文在研究中得到了一些有意义的性质.Kim等人在2006年针对BRP提出了一类基于概率方法的启发式算法,但其中的随机性假设不符合实际情况.本文第三章利用离散时间马尔科夫链的模型和理论,对Kim等人提出的算法中的随机性假设进行了理论上的完善,并给出了完善后的递归公式.Caserta等人在2012年给出了BRP的整数规划模型,本文第四章受Caserta等人的原始模型启发,提出了一种刻画更细致的0-1整数线性规划模型.随后通过之前在理论研究中发现的翻箱规律,提出了基于翻箱规则的启发式算法,并用仿真实验验证了算法的有效性.
其他文献
随着移动设备的不断普及和增加,以及其自身计算能力和存储能力的提升,当今社会对于数据安全、数据隐私保护问题的关注度也逐渐提高,从数据隐私保护领域中应运而生的联邦学习也备受重视。作为分布式机器学习的一种方法,联邦学习要求原始隐私数据在本地客户端存储和计算而不再将原始数据直接上传至不受信任的中心服务器,这种方法能够显著地保护用户隐私免遭外部敌手的攻击。尽管如此,通过分析客户端上传模型参数的差异,例如在深
近场声全息是一种十分有效的噪声源定位及声场可视化技术。等效源近场声全息因不受限于声源形状且数学模型的建立及其传递矩阵的构造简单,近年来得到了广泛的应用。由于倏逝波随全息距离的增加呈指数倍衰减,经典的等效源近场声全息方法适用于近场测量,且上限频率受限于麦克风的平均间距。鉴于此,本文提出一种新型正则化参数选取方法和一种移动等效源网格模型的压缩等效源法近场声全息,旨在提升等效源近场声全息在大全息距离和更
提升阴极氧还原反应性能是提高燃料电池使用效率的关键。目前使用的贵金属铂成本高、自然储备量低,使燃料电池的推广应用受到阻碍。因此,研究开发高效低廉的碳基催化剂材料来替代贵金属显得十分重要。本论文以叶片形貌的Zn-ZIF-L材料为前驱体,制备出碳纳米管包覆的氮掺杂片状多孔碳和铁-酞菁包覆的氮掺杂多孔石墨烯催化剂材料;并研究了催化剂材料结构、组分与其电催化性能之间的构效关系。主要的工作内容如下所示:（1
本文主要研究了一类具有轨道翻转的对称双同宿环分支问题,主要从两个角度来研究,一是考虑原系统扰动后产生的轨道是R对称的情况?二是考虑原系统扰动后产生的轨道是非对称的情况,若系统扰动后存在某种轨道,那么根据系统的对称性,一定还存在另一条轨道与之对称.在第一章中,我们先对双同宿环分支的研究背景,研究现状进行了简要的分析与概述,以此作为研究基础.接着,我们简单陈述了本文的学术创新点以及主要研究成果.在第二
细胞外囊泡（EVs）是各种类型的细胞分泌的小囊泡,通过大分子的转移来介导细胞间的通讯。细胞EVs携带多个反映其供体细胞起源的载物分子,因此被认为是用于早期诊断的可靠且非入侵性的生物标记。然而,EVs当中多种细胞来源的细胞外囊泡掩盖了由肿瘤或非肿瘤来源的细胞外囊泡信号。因此,识别EVs的细胞起源是诊断应用的前提。在本研究中,我们开发了一种智能概率系统,用于追踪通过单分子多色成像实现的单个EV的细胞起
背景:人为土地利用的变化是造成全球生物多样性下降的主要因素之一。通过改变生态系统的生物和非生物条件,人为土地利用的变化可潜在地影响包括环境过滤、扩散和物种相互作用在内的生态过程。因此,土地利用的变化不仅影响生物多样性的数量,还可能对物种、群落或生物多样性的空间分布产生影响。生物多样性的空间分布变化可能会影响生态过程、生态系统的功能和服务,因此,探索土地利用变化对生物多样性空间分布的影响对于生态系统
近些年来,随着自动驾驶等技术的发展,要求可以对三维物体进行处理和分析。点云作为一种最简单的三维数据组织形式,可以由很多设备生成,如激光雷达设备等。就如何分析和理解三维物体方面,已经有很多人做过尝试,并取得了不错的成果,如多视图法和体素法。然而,这两种方法都存在着缺陷。多视图法是通过将三维物体从多角度渲染,得到一组二维图像,然后使用经典的图像神经网络进行处理。多视图法需要渲染,这个过程会很漫长,另外
由相邻色块组成的分类数据图,例如饼图和堆栈条形图,已广泛用于日常生活和科学研究中。在此类图表中,颜色是重要的视觉通道。通常,颜色用于区分这些数据的类别。相似的颜色和较差的查看条件往往增加用户阅读图表的难度,降低用户区分色块的边界的效率。以前已有工作通过修改调色板以实现颜色之间的区别。但是,在许多情况下,人们需要使用符合特定风格且不允许修改的调色板。存在一种方法可以优化给定调色板的颜色分配,但是该方
积分微分发展系统作为一类重要的发展系统,具有广泛的应用背景,其控制问题的研究具有重要的理论和应用价值.本文主要运用解析半群理论、算子分数幂理论、预解算子理论以及基本解理论研究了两类半线性积分微分系统的近似可控性问题.论文取得的结果推广了相关文献的已有工作.全文共分三章.第一章介绍了本文的相关研究背景,并概述了本文的主要工作.第二章研究一类有限时滞半线性积分微分系统的近似可控性.首先构造了相应的线性
PI3K激酶是细胞内的一种信号转导酶,在细胞生长、增殖、分化、运动等关键细胞过程中都具有重要的调节作用。PI3K信号通路是涉及许多基本细胞功能的中央信号转导通路,多种疾病的发生中都检测到了该通路的失调。因此,对于新型高效低毒的PI3K激酶抑制剂的研究一直是抗肿瘤药物设计的关键,对于PI3K通路的调节也被研究人员持续关注。蛋白水解目标嵌合体（PROTAC）技术是一种借助泛素-蛋白酶体系统将给定目标蛋