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平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

某矿快速掘进最优炮孔间距的选择

山西某矿5308底抽巷在掘进过程中速度慢、效率低，直接影响工作面的瓦斯抽采，为了改善上述情形，对炮孔间距进行研究。通过使用ANSYS软件对不同炮孔间距下快速掘进效果的模拟分析，并经现场验证，得出了适应该矿的最佳炮孔间距。结果表明：炮孔间距为500 mm时，爆破产生裂隙发育范围和岩石损伤区域都最大，快速掘进的效果最好。     

Profiling drunk driving recidivists in Denmark

Drunk drivers are a menace to themselves and to other road users, as drunk driving significantly increases the risk of involvement in road accidents and the probability of severe or fatal injuries. Although injuries and fatalities related to road accidents have decreased in recent decades, the prevalence of drunk driving among drivers killed in road accidents has remained stable, at around 25% or more during the past 10 years. Understanding drunk driving, and in particular, recidivism, is essential for designing effective countermeasures, and accordingly, the present study aims at identifying the differences between non-drunk drivers, drunk driving non-recidivists and drunk driving recidivists with respect to their demographic and socio-economic characteristics, road accident involvement and other traffic and non-traffic-related law violations. This study is based on register-data from Statistics Denmark and includes information from 2008 to 2012 for the entire population, aged 18 or older, of Denmark. The results from univariate and multivariate statistical analyses reveal a five year prevalence of 17% for drunk driving recidivism, and a significant relation between recidivism and the drunk drivers’ gender, age, income, education, receipt of an early retirement pension, household type, and residential area. Moreover, recidivists are found to have a higher involvement in alcohol-related road accidents, as well as other traffic and, in particular, non-traffic-related offences. These findings indicate that drunk driving recidivism is more likely to occur among persons who are in situations of socio-economic disadvantage and marginalisation. Thus, to increase their effectiveness, preventive measures aiming to reduce drunk driving should also address issues related to the general life situations of the drunk driving recidivists that contribute to an increased risk of drunk driving recidivism.     

埋地管道泄漏内封堵装置设计与研究

针对流体输送埋地管道泄漏问题,设计了一种利用管道机器人携带封堵气囊进行快速应急封堵修复的埋地管道泄漏内封堵装置。采用矩阵变换方法建立了牵引系统驱动轮过弯方程,利用MATLAB软件对过弯方程进行了验证,同时利用ADAMS软件仿真分析过弯路径与驱动轮转角对牵引系统行走速度的影响。研究结果表明:由两个串联封堵器组成的应急封堵系统可满足复杂工况下的管道泄漏封堵要求;牵引系统驱动轮在弯管内部行走时,单轮速度呈周期性变化,但三个驱动轮整体周期运动特性一致;驱动轮转角在25°~40°时,牵引系统行走速度与驱动轮转角成正比,且转角为30°时驱动效果最好。该内封堵装置的结构设计可为管道泄漏应急封堵领域装备的研发提供重要参考。     

可调偏迈步式胶带自移机尾的研究

随着掘进工作面自动化程度的提高,掘进巷道速度也在日益加快,而现有的顺槽皮带机机尾移动缓慢且移动时工作量大,需要两三人配合操作,存在一定的安全隐患。针对以上问题,研发可调偏迈步式胶带自移机尾,具有与悬挂二运皮带转载机搭接行程长,可以迈步式前进,自动调偏等功能,同时,可以降低工人的劳动强度,加快巷道掘进速度。     

基于MODBUS协议的激光雕刻切割系统HMI人机交互设备

近年来,国内激光雕刻切割控制器技术发展迅速,基于PC的传统控制器已相当成熟.为了显著提高工业生产效率,适应工业生产规模扩张的需要以及工业对系统稳定性要求的提高,目前国内几家专业运动控制器厂家已经实现了激光雕刻切割控制器的完全脱机运行.本文针对脱机控制器的需要设计一款人机交互设备,该设备采用AT89C55WD单片机为主控制器,采用标准的MODBUS协议实现HMI与脱机控制器的可靠通讯.     

浅谈如何有效学习计算机软件知识

计算机软件知识的学习并不是完全线性的，而是不断循环往复、迭代的过程。本对如何深入、广泛、有效地学习计算机软件知识做出了一些探讨。     

西部地区深井井身结构设计技术探讨

科学合理地确定井身结构及钻井液密度是深井超深井钻井的关键环节之一，其基础是准确建立地层孔隙压力、地应力、破裂压力、坍塌压力的钻前预测剖面。分析了西部地区目前深井井身结构的缺点和进行井身结构应考虑的问题，介绍了深探井井身结构的设计方法，并针对西部复杂地区的地层特点，建议采用3种增加技术套管的井身结构方案。塔河油田钻井实践表明，采用这3种井身结构方案后，深井机械钻速得到提高，钻井周期缩短，而且降低了钻井成本。     

A three-dimensional FE analysis of large deformations for impact loadings using tetrahedral elements

 A three-dimensional dynamic program for the anaysis of large deformations in contact-penetration problems is developed using the finite element Lagrangian method with explicit time integration. By incorporating a tetrahedral element, which allows a single-point integration without a special hourglass control scheme, this program can be more effective to the present problem. The position code algorithm is used to search contact surface. Eroding surfaces are also considered. The defense node algorithm was slightly modified for the calculation of contact forces. A study of obliquity effects on metallic plate perforation and ricochet processes in thin plates impacted by a sphere was conducted. It is well simulated that on separation of two parts of the sphere, the portion still within the crater tends to perforate, while the portion in contact with the plate surface ricochets. This deformation pattern is observed in experiments, especially at high obliquities. A long rod that impacts an oblique steel plate at high impact velocity was also simulated in order to study the dynamics of the rod caused by the three dimensional asymmetric contact. The agreement between simulated and experimental results is quite good. Fracture phenomena occuring at high obliquity deserves further investigations. Received: 20 February 2002 / Accepted: 20 September 2002