动态接力点模式下双自动化轨道吊协调调度

为提高自动化集装箱码头堆场中自动化轨道吊(automated stacking crane,ASC)的作业效率,研究箱区动态接力点对双ASC作业效率的影响。考虑双ASC作业过程中的安全距离、相互冲突等因素,建立以最小化双ASC最长完工时间为目标的混合整数规划模型,利用遗传算法对该模型进行求解。与固定贝位接力模式进行对比,结果表明,相较于固定贝位接力模式,动态接力点模式下双ASC的作业效率更高。在不同规模算例背景下,将遗传算法与CPLEX的计算结果进行对比,验证了遗传算法的有效性。     

考虑充电和等待时间的集装箱码头AGV调度

为提高自动化集装箱码头自动导引小车(automated guided vehicle,AGV)作业效率和利用率,考虑AGV的电量续航能力和重空载的耗电差异,在AGV任务选择时综合考虑任务距离和各任务紧急程度,并设置AGV充电结束条件以减少AGV排队等待的时间,建立以最小化完成任务总时间为目标的AGV调度模型。用Java进行实例求解。结果表明,对AGV采用多频次充电并将其允许工作电量百分比设定为71%时,完成任务总时间最短,耗电量最小,且AGV利用率较高。     

自动化码头起重机和自带提升功能的AGV的集成调度

为深入研究新工艺带来的自动化码头设备集成调度问题,针对自动化码头的一种自带提升功能的自动导引小车(L-AGV)和缓冲支架系统,提出新的设备集成调度框架。考虑不同设备之间的相互关联和制约的协同关系,将岸桥分配调度与L-AGV、场桥调度分开,合理定义两种任务(两个问题)的划分方式,建立两个多目标混合整数规划模型。设计一种具有内外层关联的适应度函数的双层遗传算法。相对传统联合调度算法,该算法平衡了计算复杂性与调度均衡性。最后的数值试验证明了模型和算法的有效性。从岸桥数量、任务规模、AGV数量和调度策略等对岸桥等待时间的影响上,对采用L-AGV的系统和采用传统AGV的系统进行比较,为自动化码头装卸作业调度提供决策支持。     

浅析加强港航系统信息化和自动化建设的重要性

以集装箱运输为例,阐述了加强港航系统信息化和自动化建设的重要性,同时对集装箱运输系统的信息化和自动化建设提出了一些具体的方案和措施。这些方案和措施对于其他运输系统同样具有借鉴作用。     

网络外部性下传统码头与自动化码头的博弈

为研究不同网络外部性下传统码头与自动化码头的博弈问题,建立基于网络外部性和码头服务质量的Hotelling模型,使用Nash博弈和Stackelberg博弈得出两种码头的最优定价、市场需求和市场收益这3个变量值。结果表明:在Stackelberg博弈下传统码头和自动化码头的这3个变量值均大于在Nash博弈下的这3个变量值。在码头服务质量差异化不变时,传统码头的市场需求与边际成本呈正相关,自动化码头的市场需求与边际成本呈负相关。在自动化码头网络外部性较小时,传统码头应提升自身服务质量;在自动化码头网络外部性较大时,传统码头不应提升自身服务质量。网络外部性使码头在选择定价时有更多空间,不再仅受码头位置和服务质量的影响。     

Dimensions of variability in embedded operating systems

Design, implementation, and re-engineering of operating systems are still an ambitious undertaking. Despite, or even because, of the long history of theory and practice in this field, adapting existing systems to environments of different conditions and requirements as originally specified or assumed, in terms of functional and/or non-functional respects, is anything but simple. Especially this is true for the embedded systems domain which, on the one hand, calls for highly specialized and application-aware system abstractions and, on the other hand, cares a great deal for easily reusable implementations of these abstractions. The latter aspect becomes more and more important as embedded systems technology is faced with an innovation cycle decreasing in length. Software for embedded systems needs to be designed for variability, and this is in particular true for the operating systems of this domain. The paper discusses dimensions of variability that need to be considered in the development of embedded operating systems and presents approaches that aid construction and maintenance of evolutionary operating systems. CR subject classification  C.3; D.2.11; D.2.13; D.4.7     

基于无线局域网的移动式航站楼火灾监测平台

针对传统火灾监测系统灵活性差、存在监控死角等缺点,设计了基于无线局域网的移动式航站楼火灾监测平台。该平台利用长波红外摄像机和烟雾传感器实时检测是否有火灾发生,并且通过无线局域网络向远程终端发送火灾报警信号。     

移动终端上文献管理工具的比较研究

文献管理工具是一种可以有效提高科研工作者学习研究效率的软件,移动终端上的文献管理工具将用户从PC中解脱出来,让用户可以随时随地阅读、管理参考文献.论文选取五款典型的移动终端上的文献管理工具,采用ISO/IEC9126-2000模型,分别从功能性、效率性、易用性、可移植性四个方面进行比较.最后,针对比较结果,指出目前移动终端的文献参考工具具有网络搜索功能薄弱、共享方式少、检索方式单一和书目信息导出方面的功能缺失等不足.     

异质同构的终末叙事——《驿站长》中宗教伦理的现代性反思

透过阐释学的视角，《驿站长》中源于《圣经》典故“浪子回头”的宗教图式与杜妮亚的人生轨迹有着结构上的同构，却在质性上指涉不同的意向。杜妮亚居于现代意义上的自觉人生选择与典故所隐喻的宗教伦理精神相悖而行，从而暗示俄国传统道德法则的失效，并在更高的意义上对宗教伦理的现代性困境作了一个终末式的叙述：社妮亚整个人生选择所预示的不仅是传统宗教伦理秩序面临的断裂，还是俄罗斯新女性代表的滥觞。     

网络计算机的发展及应用

网络计算机(NC)是近期发展较为迅速的一项新技术。本文介绍了NC的概念、发展、以及与PC的比较;结合一个NC在多媒体网络教室中的应用实例,阐述了NC所具有的优点,即发展NC不仅能降低成本、有利于信息安全管理,而且有利于我国发展自主知识产权、提升我国产业核心竞争力;肯定了NC在我国信息产业发展中的广阔前景。