Analysis of the Datagram Congestion Control Protocol’s connection management procedures using the sweep-line method

State space explosion is a key problem in the analysis of finite state systems. The sweep-line method is a state exploration method which uses a notion of progress to allow states to be deleted from memory when they are no longer required. This reduces the peak number of states that need to be stored, while still exploring the full state space. The technique shows promise but has never achieved reductions greater than about a factor of 10 in the number of states stored in memory for industrially relevant examples. This paper discusses sweep-line analysis of the connection management procedures of a new Internet standard, the Datagram Congestion Control Protocol (DCCP). As the intuitive approaches to sweep-line analysis are not effective, we introduce new variables to track progress. This creates further state explosion. However, when used with the sweep-line, the peak number of states is reduced by over two orders of magnitude compared with the original. Importantly, this allows DCCP to be analysed for larger parameter values. Somsak Vanit-Anunchai was partially supported by an Australian Research Council Discovery Grant (DP0559927) and Suranaree University of Technology. Guy Edward Gallasch was supported by an Australian Research Council Discovery Grant (DP0559927).     

A direct stiffness analysis of a composite beam with partial interaction

The use of the conventional semi-analytical stiffness method in finite element analysis, in which interpolation polynomials are used to develop the stiffness relationships, leads to problems of curvature locking when beam-type elements are developed for composite members with partial interaction between the materials of which it is comprised. The curvature locking phenomenon that occurs for composite steel–concrete members is quite well reported, and the general approach to minimizing the undesirable ramifications of curvature locking has been to use higher-order polynomials with increasing numbers of internal nodes. This paper presents an alternate formulation based on a direct stiffness approach rather than starting from pre-defined interpolation polynomials, and which does not possess the undesirable locking characteristics. The formulation is based on a more general approach for a bi-material composite flexural member, whose constituent materials are joined by elastic shear connection so as to provide partial interaction. The stiffness relationships are derived, and these are applied to a simply supported and a continuous steel–concrete composite beam to demonstrate the efficacy of the method, and in particular its ability to model accurately both very flexible and very stiff shear connection that causes difficulties when implemented in competitive semi-analytical algorithms. Copyright © 2004 John Wiley & Sons, Ltd.     

Anisotropic mesh adaption by metric‐driven optimization

We describe a Gauss–Seidel algorithm for optimizing a three‐dimensional unstructured grid so as to conform to a given metric. The objective function for the optimization process is based on the maximum value of an elemental residual measuring the distance of any simplex in the grid to the local target metric. We analyse different possible choices for the objective function, and we highlight their relative merits and deficiencies. Alternative strategies for conducting the optimization are compared and contrasted in terms of resulting grid quality and computational costs. Numerical simulations are used for demonstrating the features of the proposed methodology, and for studying some of its characteristics. Copyright © 2004 John Wiley & Sons, Ltd.     

盐井水平对接钻井技术

钻一口通过主采盐层的水平井与已完成的直井对接，形成连通井(形如“U”字)，一口井注水溶解盐／芒硝矿，另一口井采出卤水，这是盐化工业对钻井提出的要求。针对水平对接盐井井身轨迹设计、着陆段、水平段的轨迹控制和连通技术，介绍了水平段侧钻时的钻井液技术。     

Crushing behaviour of the energy absorbing 'tensor skin' panels

ABSTRACT Research results concerning the simulation of the crushing behaviour of composite systems with energy absorption characteristics are presented in the present work. The study is focused on the ‘tensor skin’ concept, an energy absorbing composite system that was originally developed to improve the crashworthiness of helicopters under water impact and which is promising for utilization in the construction of the lower part of composite fuselage aircraft. The ‘tensor skin’ concept comprises a folded or corrugated composite construction, which upon loading unfolds by forming ‘plastic hinges’, leading to an increase in the load bearing capability of the structure. The numerical modelling issues and the critical aspects of the simulation are discussed. Verification of the numerical simulation procedure is performed by experimental work. The experimental results utilized to assess and validate the numerical procedure were derived within the European Research Project ‘Design for Crash Survivability – CRASURV’ (BRITE – Aeronautics Area). The results of the simulations are generally in good agreement with experimental data.     

聚乙烯丙纶复合防水卷材的特点及其应用

介绍了聚乙烯丙纶复合防水卷材的产品结构特点和性能特点、防水系统结构特点和配套材料、应用拼接技术以及产品应用范围。     

喷射沉积SiCP/Al复合材料及6066铝合金热挤压工艺的研究

作者应用喷射共沉积工艺制备 6 0 6 6 / Si Cp复合材料和 6 0 6 6铝合金锭坯 ,在不同的挤压比、挤压温度下挤压成　　型 ,用金相显微镜观察材料的显微组织 ,并测试了材料的力学性能。结果表明 :Si C/ Al复合材料喷射沉积状态的组织很疏松 ,存在许多的间隙 ,其密度约为理论密度的 86 % ,Si C颗粒在复合材料中分布不均匀 ,喷射沉积铝合金基体的致密度可达 90 % ;挤压过程使 Al/ Si Cp复合材料的大多数空隙消失 ,致密程度随挤压比的增大而增大 ,挤压比超过 14 .7后不会明显变化 ,而铝合金基体的致密程度与挤压比的变化关系不明显 ;挤压温度对材料的致密程度影响不大 ;Al/ Si Cp复合材料性能在挤压比超过 14 .7后变化不大 ;铝合金的性能不受挤压比变化的影响 ;而挤压温度过高使材料性能下降     

硼／铝复合材料管构件的界面特性EI

主要研究带钛合金连接头硼／铝复合材料管构件中Ｂ－Ａｌ－Ｔｉ间的界面结构与性质。研究表明，在复合工艺条件下，硼－铝界面附近没有检测到任何铝－硼化合物，而钛－铝间形成ＴｉＡｌ有序金属间化合物相。实验证明，硼／铝复合材料与铝合金端环之间采用的固结方法是有效的，且可按照受载类型随意调整斜面搭接长度，达到承受不同载荷的目的。     

WC对Cu/WC_P复合材料性能及组织的影响

通过ＷＣ含量对ＷＣ／Ｃｕ复合材料性能的影响，确定了冷压－烧结法制备Ｃｕ／ＷＣ材料的适宜ＷＣ含量为１０ｖｏｌ％左右。并就ＷＣ对该材料组织和再结晶行为的影响进行了有益的探讨。