Effect of heat treatment and zircon addition on the properties of low-cement castables based on recycled alumina grog

In this investigation, low-cement castables were prepared using 70% alumina grog aggregates obtained from crushed alumina brick waste. The aggregates were thermally treated at 1550 °C for 3 h. Four types of low-cement castables were prepared with various types of aggregates (alumina grog with or without thermal treatment) and fillers (with or without zircon addition), and they were evaluated in terms of their physical, thermal, and chemical properties. Microstructural analysis via scanning electron microscopy (SEM) was performed on the castables before and after slag attack. Compared to the other fabricated castables, the thermally treated alumina grog castables with zircon showed better physical properties, such as a higher bulk density, cold crushing strength, and modulus of rupture and a lower apparent porosity and water absorption. In addition, they had a higher positive linear thermal expansion, refractoriness under load, permanent linear change, and hot modulus of rupture. The results of the SEM with energy dispersive X-ray analysis of the prepared castables confirmed that the mullite and anorthite phases were predominant when zircon was not added and the zircon–mullite phase additionally appeared upon the incorporation of zircon. A quantitative elemental analysis via X-ray fluorescence spectroscopy was employed to determine the composition of the castables. X-ray diffraction analysis showed that the alumina grog castables had a high mullite and low anorthite content, and the thermally treated alumina grog had a high anorthite, low mullite, and high zircon content. The improvement in the mechanical and thermo-mechanical properties of the castables with thermally treated alumina grog and added zircon can be attributed to the formation of the zircon–mullite phase with a low mullite phase content.     

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

Corrosion behavior of under‐, peak‐, and over‐aged 6063 alloy: A comparative study

The mechanical property of age‐hardenable Al‐alloys is governed by the state of ageing, which determines the microstructure and consequently, their corrosion behavior which is a vital aspect for a number of applications. This article presents a comparative assessment of corrosion behavior of under‐, peak‐ and over‐aged Al‐Mg‐Si alloy. Corrosion characteristics have been determined via immersion tests in 0.1 M ortho‐phosphoric acid solution and intergranular corrosion (IGC) tests. Corroded surfaces are examined by field emission scanning electron micrographs‐energy dispersive spectroscopy and 3D optical profilometer. The obtained results reveal that the corrosion rate at a specific immersion time as well as the depth of IGC increases in the order for under‐, peak‐, and over‐aged states. Irrespective of the state of ageing, corrosion loss increases linearly but the rate of corrosion decreases rapidly with increasing immersion time. The dominant mode of corrosion in under‐aged alloy is identified as localized pitting, while peak‐aged is highly susceptible to IGC in contrast extensive pitting corrosion is observed for over‐aged alloy. The observed differences in corrosion behavior are explained considering characteristics of precipitates. Formation of β (Mg₂Si) in case of over‐aged alloy and presence of inclusions like AlFeMnSi particles are found to accelerate pitting corrosion.     

运行电站爆破震动控制研究

结合大渡河龚咀水电站下游河床整治爆破开挖拓宽，重点研究了爆破震动对运行电站机组及其仪表的影响，探讨了爆破震动安全判据和控制标准，用了若干实际工程采用的经验指标进行对比分析，所得结论意见可供同类工程作为爆震安全控制参考。     

高功率脉冲水中放电的应用及其发展

首先介绍了高功率脉冲水下放电的机理，然后综合论述了其应用和研究的状况，从较为成熟的脉冲水处理技术到医疗领域的ESWL应用技术，以及在脉冲电场食品杀菌和水下目标探测方面的最新发展和研究，最后指出了高功率脉冲电技术应用前景以及进行更系统和深入研究的必要性。     

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

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

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

科学合理地确定井身结构及钻井液密度是深井超深井钻井的关键环节之一，其基础是准确建立地层孔隙压力、地应力、破裂压力、坍塌压力的钻前预测剖面。分析了西部地区目前深井井身结构的缺点和进行井身结构应考虑的问题，介绍了深探井井身结构的设计方法，并针对西部复杂地区的地层特点，建议采用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