Liner services network design and fleet deployment with empty container repositioning

Transportation demand of shipping container fluctuates due to the seasonality of international trade, thus, every 3–6 months, the liner company has to alter its current liner shipping service network, redeploy ships and design cargo routes with the objective of minimizing the total cost. To solve the problem, the paper presents a mixed integer linear program model. The proposed model incorporates several relevant constraints, such as weekly frequency, the transshipment of cargo between two or more service routes, and transport time. Extensive numerical experiments based on realistic date of Asia–Europe–Oceania shipping operations show that the proposed model can solve real-case problems efficiently by CPLEX. The results demonstrate that the model can reduce ship’s capacity consumption and raise ships’ capacity utilization.     

嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

Alternatives for improving energy security in Cape Verde

The lack of consensus on the meaning of energy security and how it should be measured hinders the evaluation of alternatives for improving the Cape Verdean energy sector. The objective of the paper is to develop an energy security index adjusted to the country's context. The methods used are the multi-criteria analysis and the Delphi survey. Different alternatives to improve energy security are assessed: electrically interconnect Cape Verde's islands, increase the share of renewable energy, and a combination of the previous alternatives. The results of our analysis indicate that increasing renewable energy is the optimal alternative for Cape Verde.     

曲沃县水资源开发利用现状及对策

文中对曲沃县水资源开发利用现状进行了认真分析，并从思想观念、管理体制、管理模式上提出了问题，为解决问题提出了相应对策。     

浅析医药包装

随着市场经济的深入，医药包装正成为我国经济发展的朝阳产业，文中意在介绍先进的医药包装材料。分析其应用情况及发展趋势和动态。     

新设备技术在催化裂化装置上的应用

文章介绍了近年来在催化裂化装置上应用的新设备、新技术,如BY型旋风分离器、BSX型旋分式三级旋风分离器、上下拱型三级旋风分离器、下拱型三级旋风分离器、SHS“自蔓延”技术、SWY外取热器、BWJ型喷嘴、自流浇注料、Actehem高耐磨衬里、弓形钢丝纤维、侧拉环锚固钉、分体可拆人孔等的结构特点及实际应用情况。     

连续油管技术与装备发展综述

自世界上第一台连续油管作业机问世至今,连续油管作业技术与装备已经过了40多年的发展历程,以其占地面积小、作业成本低、搬迁安装方便、保护油层、增加油井产量和使用范围广等诸多不可比拟的优势,得到迅速发展,并广泛应用于钻井、完井、试油、采油、修井和集输等各个作业领域。实践表明,连续油管作业技术与装备是一项具有巨大潜力和生命力的实用性技术。目前,该项技术的应用日趋活跃,备受关注。在总结连续油管作业技术与装备的发展现状和展示其发展趋势的基础上,客观地分析了国内连续油管技术与装备的应用与研究现状,提出相应的发展对策。     

改性乳化沥青的发展和应用概况

综述了改性乳化沥青的发展及应用概况,重点讨论了改性乳化沥青的生产、制备工艺、稳定性影响因素,并对国内外改性乳化沥青的应用情况加以概述。     

水泥砂浆衬里在输水钢管内壁防腐中的应用

结合工程实例,阐述了在输水水质腐蚀性不大的情况下,输水钢管的内壁防腐采用水泥砂浆衬里的必要性和优点,并介绍了设计要点和安装施工注意事项。     

全球邮政、快递业应用RFID技术的研究

本文在掌握大量案例的基础上,分析了全球邮政、快递行业应用RFID技术的发展空间、应用现状,提出了我国邮政企业实施RFID在技术层面上的若干问题并提供了建议。