基于舱位协同作业的集装箱同步装卸方法

在集装箱同步装卸方法的研究基础上提出了舱位协同作业,建立了基于岸桥与集卡加权作业时间最短的多目标优化模型.求解同一个贝位中不同舱位的最优装卸顺序,及优化后的集卡与岸桥作业时间.通过数值模拟与传统装卸策略的数据对比,验证了基于舱位协同策略的集装箱同步装卸方法的可行性与有效性,为改进国内大多数港口传统装卸方法提供了参考.     

面向集装箱船同贝同步装卸的堆垛协同作业方法

针对集装箱船同贝同步装卸的堆垛协同作业,设计了舱位内堆垛协同策略和舱位间堆垛协同策略来完成指定贝位内集装箱的同步装卸工作;建立了基于岸桥与集卡作业成本最小化的数学模型,并采用序列编码的双层单亲遗传算法进行优化,算法第一层用于求解船舶某个贝位中任一舱位内甲板下方堆垛的同步装卸最优顺序,第二层用于搜索该贝位全部舱位中甲板上堆垛的最优顺序.通过对不同规模的试验船舶进行算例分析,验证了在同步装卸技术下,证明了面向集装箱船同贝同步装卸的堆垛协同作业方法的可行性和高效性.     

宁波港集装箱码头装卸桥规模研究

运用排队理论对宁波港集装箱码头的通过能力进行了测算,比较了装卸桥数量、装卸效率、非生产性作业时间等因素变化后码头的表现,提出了宁波港集装箱码头装卸桥配置的方案．     

基于单亲遗传算法的集装箱码头岸桥作业调度

分析了单船装卸作业的岸桥调度问题,以船舶作业时间和岸桥闲置时间最短为目标函数,建立了面向单船的集装箱码头岸桥调度和装卸船任务分配问题的多目标混合整数规划优化模型。设计了一种基于矩阵编码的单亲遗传算法进行求解,将实验算例与相关文献进行比较,结果显示本研究提出的算法能得到更优解。     

基于单亲遗传算法的全岸线岸桥动态调度研究

本文主要研究集装箱码头船舶全岸线动态岸桥分配的调度问题,提出滚动式泊位分配的优化方式,建立基于滚动式泊位的分配调度模型,设计基于矩阵编码的单亲遗传法,对集装箱码头全岸线动态岸桥装卸任务进行求解.实例分析表明:相比传统的静态岸桥调度方法,基于滚动式泊位分配的全岸线岸桥动态调度方法有利于提高集装箱码头运行效率,缩短船舶停靠时间.     

基于集装箱倒箱和岸桥作业均衡的集装箱船配载优化

为了减少集装箱船舶装船作业所需时间,在岸桥并行作业的工况条件下,针对集装箱船舶先卸后装的作业模式,综合考虑集装箱船舶纵向强度、岸桥作业安全距离等实际约束和集装箱倒箱量对装船作业时间的影响,构建了以装船作业时间最短为目标的集装箱船舶配载优化模型,引入岸桥作业均衡参数,用以衡量岸桥作业的均衡性,并使用遗传算法对模型进行求解.实证分析结果表明,在本文假定的实验条件下,该方法能够在减少岸桥装船作业时间的同时保证集装箱倒箱量的优化和岸桥作业量的均衡.     

集卡作业面模式下装船作业场桥与集卡联合调度优化

为进一步减少集装箱船舶靠泊时间, 在岸桥多线作业工况条件下, 重点考虑了场桥与集卡的同步作业, 对场桥与集卡进行联合调度. 在此基础上, 综合考虑场桥间安全距离、任务优先顺序等实际约束, 针对集卡作业面模式, 构建了以装船作业时间最短为目标的场桥与集卡联合调度优化模型, 并开发了带染色体更新操作的改进遗传算法确定场桥作业量, 利用路径优化确定场桥最短行驶路径, 基于先到先服务规则对集卡进行动态调度. 实证分析结果证明了所提出模型与算法的有效性, 并且在集卡数量较少时, 采用集卡作业面模式有助于缩短集装箱装船时间.     

岸边集装箱起重机多功能液压系统控制软件的改进

针对岸边集装箱起重机原多功能液压系统的控制软件在满足装卸生产要求上存在的问题，根据实际装卸要求，在分析原多功能液压系统工作原理的基础上，重新确定了控制系统的技术要求，编制了相应的控制程序，经改进，系统队使用时，对位置不准的集装箱平均吊运时间由８．６ｍｉｎ减少到３．０ｍｉｎ，提高平均装卸效率３０％。     

多吨位岸桥服务优先级和泊位分配问题研究

针对各型集装箱船舶的长度、作业时间及所需求岸桥数量的不同,提出船舶靠泊优先级计算方法.并针对港口相邻岸桥作业相互干扰及吨位不同的特点,研究建立了最小作业成本惩罚函数的非线性规划模型.使用Matlab建立启发式算法求解模型,算例表明:依据优先级计算方法安排调度船舶靠泊作业情况,可降低整体港区作业成本惩罚值,并提高港区作业效率与经济效益.     

基于复合成本的集装箱码头泊位-岸桥联合调度优化方法

针对集装箱码头泊位与岸桥调度中的资源和成本问题,考虑不确定因素的影响,采用增添缓冲时间方式,以复合成本最低为目标建立泊位岸桥联合调度优化模型,设计改进的遗传算法对模型进行求解.在案例数据分析中,比较了港口和船公司在不同成本比率下的调度结果,验证了该方法能在保证客户满意度的同时不损害码头利益,对港口生产操作决策具有一定参考价值.     

精确的堆内存使用量上界分析

基于符号执行框架分析了程序堆内存使用量的符号化上界.首先扩展了经典符号执行技术中的内存模型,针对堆内存分配与释放操作进行建模,维护堆内存的使用量信息,然后针对＂平板循环＂、带分支循环等常见循环结构给出了特殊处理策略,并采用程序切片技术缩减程序分析的规模.最后基于开源符号执行工具KLEE设计实现了一个堆内存使用量上界分析原型工具.实验结果证明,该工具能够针对很多常见程序给出精确可靠的堆内存使用量上界.     

非法计算故障的自动测试方法

基于对程序源代码的静态分析方法，针对程序中的非法计算故障，提出了一种自动测试方法．以非法计算故障的表现形式为基础，将静态分析程序源代码和识别非法计算的过程模型化，建立了静态检测非法计算所需的计算模型，将非法计算故障静态检测过程自动化，给出了非法计算自动测试算法．该方法通过对程序源代码的静态分析，实现了非法计算故障检测的自动化．实验结果表明，该自动测试方法能有效地提高检测非法计算的准确率和自动化水平．     

基于信号行为的二值组合电路冒险检测

数字电路中的冒险现象不仅会导致电路的误操作,而且消耗了能量、增加了操作时间,因此在电路设计中冒险的检测非常重要．文章介绍了信号行为四值模型的基本概念,并进一步提出了基于信号行为四值逻辑的二值组合电路冒险检测方法．此方法与传统的冒险检测方法相比更直接,而且可以同时检测出电路的静态冒险和动态冒险．     

ECDIS人机界面的可用性研究

运用基于任务的KLM模型, 对ECDIS人机界面的2种常见设计方案(基于单文档和基于对话框)执行特定任务所需的操作用时进行了理论预测, 然后通过实际测试检验理论预测结果的准确性, 进而比较这2种设计方案执行相同特定任务的效率.     

基于哈希和双数组trie树的多层次地址匹配算法

针对目前地址匹配算法匹配速率低、空间开销大的不足,提出了一种基于哈希和双数组trie树的多层次地址匹配算法.利用中文地址的分类、分层及组合规则,改进了地址匹配词典的构建方式,减少了词典构建的时间和空间开销.通过哈希运算,将空间坐标存储在哈希表相应的位置上,加快了空间坐标的检索效率.同时,在地址匹配的过程中,采用双向扫描及哈希运算代替传统的数据库检索方式,提高了地址匹配速率.最后,通过实验对算法的有效性进行了验证.     

全要素生产率测定的数理分析和方法比较

全要素生产率是分析经济增长源泉的重要工具,最常用的全要素生产率测定方法包括索络余值法、随机前沿生产函数法和非参数Malmquist生产率指数法.本文在对这些测算方法进行数理分析和优劣比较的基础上,就实际应用中的数据处理方法和应用前景作进一步探讨.     

逻辑函数RM展开式和CRM展开式的转换

讨论了逻辑函数在与-异或和或-符合代数系统中的RM展开式和CRM展开式.根据异或和符合运算的性质详细讨论了逻辑函数bj系数和dj系数间的关系,并提出了两者的矩阵转换法,举例说明了转换过程.该方法揭示了bj系数和dj系数的内在联系,具有较好的实用性.