基于启发式算法的自动化跨运车作业调度

针对自动化集装箱码头自动化跨运车(automated straddle carrier,ASC)的调度问题,首先建立混合整数规划模型,基于ASC可以独立完成集装箱在岸边和堆场之间的运输作业这一特性,将自动化集装箱码头ASC的作业调度问题转化为同时取货送货问题,并提出一种先完成先执行(first finished first insert,FFFI)启发式算法进行求解,实现集装箱任务分配,确定ASC的作业序列,计算每辆ASC的使用率.最后,通过改变集装箱任务数和ASC数量验证该算法的有效性和可行性.     

一种新型自动化集装箱码头工艺布局仿真

通过仿真建模研究了双轨轮小车回字形布置自动化集装箱码头的工艺布局.设计新工艺系统的不同岸桥配置、堆场布局、低架行车配置的25种工况,分别构建仿真模型,分析不同工况下码头作业指标(岸桥装卸效率等)影响规律.仿真结果表明,岸桥增配可减少船舶平均服务时间8%,堆场纵深和宽度布局可影响岸桥效率5%,低架行车增配可缩短外集卡排队,提高堆场通过能力6%.所建仿真模型可分析新型概念工艺系统性能,双轨轮小车回字形布置自动化集装箱码头工艺布局优选有助于提高其性能指标,如堆场区宽度取1~2箱位,低架行车配5~6台为宜.     

集装箱船舶装卸作业时起吊设备-车辆的规划研究

针对集卡、堆场起吊设备和岸桥设备在集装箱船舶装卸作业时的规划问题提出了一个起吊设备一车辆的规划模型．模型对岸桥装载规划、堆场起吊设备路径选择和集卡分配进行了系统的优化,其优化目标是相关设备的空闲和堆场起吊设备空驶时间的最小化．针对模型提出一种改进的遗传算法,并根据其特性减少了搜索空间．实验表明,上述模型针对整个装载过程获得了系统模拟结果,其算法在允许的运算时间内能获得稳定的满意解．     

考虑缓冲区容量的岸桥、AGV和堆场起重机集成调度

为了提高自动化集装箱码头装卸设备之间的协调程度和作业效率,针对码头卸船过程中岸桥、自动化导引车(automated guided vehicle,AGV)和堆场起重机的集成调度问题,考虑了堆场交接缓冲区的容量约束,以最小化卸船任务完工时间为目标,建立了考虑缓冲区容量约束的集成调度混合整数线性规划模型,确定各装卸设备作业序列并优化缓存位-任务的分配关系.设计了优先级偏随机密钥遗传算法和贪婪插入启发式对问题求解.实验结果验证了模型和算法的有效性,并得出适当的缓冲区容量能够缩短船舶在港时间,降低码头水平运输区域压力,提高AGV利用率.     

自动化集装箱码头多载AGV调度问题研究

多载AGV是一种自动化集装箱码头水平作业设备,它可以同时搬运多个集装箱,可缩小AGV流的规模,增大AGV的利用率.为了提高自动化集装箱码头的作业效率,考虑了垂岸式集装箱堆场布局,以最小化作业总费用为规划目标,以作业限制、时间窗长度、负载平衡等为约束条件,以事件驱动的调度策略为研究方法,建立了多载AGV调度问题的混合整数规划模型.同时利用GUROBI和遗传算法求解多载AGV的作业总费用和空载率,并与相同条件下单载AGV的作业总费用和空载率对比,验证了多载AGV的优越性.     

差分进化算法求解自动堆垛起重机调度问题

[目的]研究了自动化码头双自动堆垛起重机(Automatic stacking crane,ASC)调度问题,为了提高堆场的作业效率,考虑ASC作业过程中的干扰和冲突,以极小化所有作业的总完工时间为目标,建立自动化码头双ASC调度问题的混合整数规划模型.[方法]通过CPLEX求解器对模型进行求解.为了解决中等规模问题,设计了基于任务编码的离散差分进化算法进行求解,并把求解结果与遗传算法求解结果进行对比分析.[结果]所设计的离散差分进化算法能够在要求的时间内解决自动化码头双ASC调度问题;[结论]相较于遗传算法,本文提出的算法寻优能力更强.     

智能自动化导引车配对调度的混合整数规划模型

为了提高自动化集装箱码头中混合尺寸集装箱搬运作业的效率,研究了由20 ft的智能自动化导引车(Intelligent and Autonomous Vehicle,IAV)配对并协调完成搬运作业:以最小化整体作业完成时间、空载时间和最大化闲置时间为目标,建立多目标混合整数规划模型,确定导引车配对调度方案;设计实验研究参数变化对模型特征的影响;对目标函数进行Pareto分析.通过实例验证了模型的有效性和可行性,为自动化集装箱码头提供IAV配对调度的参考方法.     

自动化集装箱码头同轨双堆垛起重机交接缓冲贝位优化

在自动化集装箱码头中,堆场作业效率是评估码头整体运作效率的重要指标.为了提高堆场作业效率,采用同轨双堆垛起重机以借助缓冲贝位同时存储和取回集装箱,其中主堆垛起重机将集装箱堆叠在缓冲贝位,协作起重机将其运送到目标贝位.缓冲贝位的设置能规避双堆垛起重机之间的移动冲突,将冲突转移到缓冲贝位上.制定了一个安全时间间隔以避免双堆垛起重机在缓冲贝位上发生碰撞,以最小化任务完成时间为目标,构建了一个混合整数规划模型决策缓冲区位置和作业最优序列.设计算例和数据集,研究安全时间间隔、起重机移动速度、小车处理时间的敏感性,起重机不借助缓冲贝位和借助缓冲贝位完成任务对任务完工时间的影响以及最优缓冲贝位发生变化对任务完工时间的影响.实验证明,安全时间间隔、起重机移动速度、小车处理时间会影响任务完成时间和缓冲贝位;相较于不借助缓冲贝位完成任务的情况,借助最优缓冲贝位完成任务可以减少11.38%的完工时间;而与最差缓冲贝位相比,最优缓冲贝位可以减少49.40%的任务完工时间.     

考虑优先权规则的自动化码头穿越式双ASC调度

自动化堆场起重机(ASC)的调度对于提高自动化堆场设备的作业效率至关重要。针对穿越式双ASC的调度优化问题,考虑集装箱任务组的时间窗约束和ASC之间可能发生的冲突,建立了多目标混合整数规划模型。为了解决在同一贝位上任务之间的冲突,提出了8条优先权规则,将优先权赋予评分高的任务,并通过算例对模型的实用性进行检验,对模型参数的变化设计了3组实验。实验结果表明:当作业任务的数量到达16时,采用优先执行海侧任务的优先权分配规则(R4)所产生的作业成本均低于采用其他规则产生的作业成本,并且增长速率和波动幅度均较小。当任务中存取比例和海陆侧比例均趋近于1时,作业成本、重载成本和空载成本会达到最小,作业成本相比其他情况减少了4%~16%。在实际操作中,当存取任务数量和海陆侧任务数量相差较小时,对发生冲突的任务采取R4规则,可以优化整个作业过程并达到成本趋于最小化的目的。     

集装箱码头泊位生产运作优化模型

为提高集装箱码头泊位各类设备配置在生产运作中的衔接效率,研究了在装卸岸桥-搬运集卡-堆场吊桥作业系统下的设备优化配置问题.以时间为度量,综合考虑泊位作业收益最大和各类设备的闲置成本与运行费用整体最低确定设备配置数量,并运用数学分析的方法构建了描述集装箱码头泊位生产运作的非线性整数优化模型.实例验证该优化模型对于描述集装箱码头泊位的实际生产运作情况具有很好的实用性和合理性.     

一种作战文书军事标图自动化方法

针对根据作战文书进行自动军事标图问题提出了一套处理方法。将自动标图归结为一个半结构化的自然语言信息抽取问题;采用构造作战文书用语词典库/地名库、综合使用正向最大匹配分词和反向最大匹配分词提高分词结果可靠性等方法实现文书词法分析;通过构造SLR(1)文法规则,实现常用句型句子语法分析;通过构造并填充通用标绘指令模板,实现标绘信息抽取并适配不同标绘软件以实现军事标绘。运用上述方法对一个作战文书语句的实例进行了处理,得到了预期的结果,表明该方法是可行和有效的。     

差分代换与不等式机器证明

设计了一个试探性的计算机程序SDS,用于证明多项式不等式,或等价地,用于判定多项式的非负性.将各变量按一定方式分割成较小的非负量,将变量替换后的多项式合并同类项,然后看是否所有的系数都是非负的.该方法不是完备的,但实验结果表明该程序对许多情况有效.不少次数较高或变量较多的多项式,除了SDS,还没有任何其他软件能做.     

基于语义的二进制代码自动化反混淆方法

针对已有的二进制代码反混淆方法只针对特定的混淆方法、不适用于未知的混淆方法,且代码覆盖率低的问题,提出了一种基于语义的二进制代码自动化反混淆方法,通过语义相关指令识别对混淆后程序的指令序列进行优化,能同时适用于已有的和未知的混淆方法.此外,提出了一种低开销的多执行路径构造方法,在提高代码覆盖率的同时降低了开销.实验结果表明:该方法具有较好的反混淆效果,对于恶意软件分析具有很好的辅助性作用,可有效地降低分析恶意软件的难度,提高分析恶意软件的效率.     

数据驱动自动化测试技术的应用

数据驱动测试技术主要用于用多组数据测试相同操作步骤的环境。使用此技术可以大大地降低测试员的工作量,同时提高工作效率。本文主要介绍了在自动化测试工具Winrunner中如何运用数据驱动测试技术完成计算器程序的自动化测试,并对测试结果进行了比较。     

自动信任协商中的策略一致性问题

对自动信任协商中的策略一致性问题进行了研究.分析了策略不一致性问题产生的原因,将其分为策略语言所引起的策略不一致、角色互斥导致的策略不一致、内容冲突导致的策略不一致和策略描述错误造成的策略不一致4类.根据各类冲突的特征,引入数字逻辑中的0-1表和分划的概念,对访问控制策略进行策略一致性检查和策略有效性检查,保证了策略的一致性和有效性.在解决策略不一致问题的同时,给出了最小满足访问控制策略的策略集合.     

Fluorescence detection in automated DNA sequence analysis

We have developed a method for the partial automation of DNA sequence analysis. Fluorescence detection of the DNA fragments is accomplished by means of a fluorophore covalently attached to the oligonucleotide primer used in enzymatic DNA sequence analysis. A different coloured fluorophore is used for each of the reactions specific for the bases A, C, G and T. The reaction mixtures are combined and co-electrophoresed down a single polyacrylamide gel tube, the separated fluorescent bands of DNA are detected near the bottom of the tube, and the sequence information is acquired directly by computer.     

A community-centric approach to automated service composition

In recent years, the Internet has been evolving from a primarily publication platform to a user participatory platform. With the proliferation of services available on the Internet, millions of users are able to voluntarily participate in the development of their own interests and bene-     

机械式自动变速器的离合器优化控制

为了解决机械式自动变速器中的离合器自动控制问题,对离合器接合过程中的冲击度和滑磨功进行分析,提出了冲击度与离合器分离轴承接合速度的关系模型,编制了仿真程序进行求解。采用人体主观感受和实际试验数据相结合的方式对不同挡位离合器接合的冲击度进行了研究,根据试验结果提出了不同挡位离合器接合过程的优化控制准则,该准则为离合器的优化控制提供了理论依据。     

面向异步机制的自动重构方法研究

为了解决并行处理中同步阻塞会浪费系统资源和影响程序性能的问题,提出了一种基于CompletableFuture异步机制的自动重构方法。首先,使用WALA静态程序分析工具进行访问者模式分析、逃逸分析、别名分析以及数据流分析等静态程序分析技术,确定共享变量数据的操作方式;然后,基于CompletableFuture机制设置4种异步重构模式;最后,根据不同模式实现异步机制的自动重构。基于此方法,在Eclipse平台下开发了自动重构工具AsynRef,并对HSQLDB,Jenkins, JGroups和SPECjbb2005等4个大型实际应用程序进行自动重构,从重构个数、改变的代码行数、准确性和重构后程序性能等方面对AsynRef进行评估,对4个程序所包含的919个同步方法共完成387个异步机制转换。结果显示,使用AsynRef进行异步机制重构后,程序执行性能有8%到39%的不同程度的提升。AsynRef可以有效完成代码异步化自动重构,与传统手动重构相比,有效提升了异步化的重构效率。     

一种改进的脑电癫痫波自动分析系统

脑电癫痫波的自动检测与分类是具有重要临床意义的课题。现存的算法大都着重于对棘、尖波形的检测 ,而忽略了慢波所包含的有用信息。为满足临床要求 ,论文提出了一种改进的脑电癫痫波自动分析系统。系统采用“分层次、多方法”的检测策略 ,兼顾了各种癫痫病理波形 ;整个处理过程综合应用了自适应预测、小波变换、人工神经网络、启发式规则等多种信号处理方法。经临床数据测试 ,该系统对癫痫波的总检测率达 83.6 % ,误检率为 1.1%。通过分层次处理 ,运用多方法的结合 ,可以提高检测敏感度和特异度 ,减少计算量 ,适合对长程脑电数据进行分析