On the persistence of computer dreams: an application framework for robust adaptive deployment

The anticipated rewards of adaptive approaches will only be fully realised when autonomic algorithms can take configuration and deployment decisions that match and exceed those of human engineers. Such decisions are typically characterised as being based on a foundation of experience and knowledge. In humans, these underpinnings are themselves founded on the ashes of failure, the exuberance of courage and (sometimes) the outrageousness of fortune. In this paper we describe an application framework that will allow the incorporation of similarly risky, error prone and downright dangerous software artefacts into live systems – without undermining the certainty of correctness at application level. We achieve this by introducing the notion of application dreaming.

Modelling of the time-dependent flow behaviour of lead-free solder pastes used for flip-chip assembly applications

The market for solder paste materials in the electronic manufacturing and assembly sector is very large and consists of material and equipment suppliers and end users. These materials are used to bond electronic components (such as flip-chip, CSP and BGA) to printed circuit boards (PCB's) across a range of dimensions where the solder interconnects can be in the order of 0.05mm to 5mm in size. The non-Newtonian flow properties exhibited by solder pastes during its manufacture and printing/deposition phases have been of practical concern to surface mount engineers and researchers for many years. The printing of paste materials through very small-sized stencil apertures is known to lead to increased stencil clogging and incomplete transfer of paste to the substrate pads. At these very narrow aperture sizes the paste rheology and particle-wall interactions become crucial for consistent paste withdrawal. These non-Newtonian effects must be understood so that the new paste formulations can be optimised for consistent printing. The focus of the study reported in this paper is the characterisation of the rheological properties of solder pastes and flux mediums, and the evaluation of the effect of these properties on the pastes' printing performance at the flip-chip assembly application level. Solder pastes are known to exhibit a thixotropic behaviour, which is recognised by the decrease in apparent viscosity of paste material with time when subjected to a constant shear rate. The proper characterisation of this time-dependent theological behaviour of solder pastes is crucial for establishing the relationships between the pastes' structure and flow behaviour; and for correlating the physical parameters with paste printing performance. In this paper, we present a number of methods which have been developed for characterising the time-dependent and non-Newtonian rheological behaviour of solder pastes and flux mediums as a function of shear rates. We also present results of the study of the rheology of the solder pastes and flux mediums using the structural kinetic modelling approach, which postulates that the network structure of solder pastes breaks down irreversibly under shear, leading to time and shear dependent changes in the flow properties. Our results show that for the solder pastes used in the study, the rate and extent of thixotropy was generally found to increase with increasing shear rate. The technique demonstrated in this study has wide utility for R&D personnel involved in new paste formulation, for implementing quality control procedures used in solder paste manufacture and packaging; and for qualifying new flip-chip assembly lines

The collection and analysis of pre-evacuation times derived from evacuation trials and their application to evacuation modelling

This paper presents data relating to occupant pre-evacuation times from university and hospital outpatient facilities. Although the two occupancies are entirely different, they do employ relatively similar procedures: members of staff sweep areas to encourage individuals to evacuate.However the manner in which the dependent population reacts to these procedures is quite different. In the hospital case, the patients only evacuated once a member of the nursing staff had instructed them to do so, while in the university evacuation, the students were less dependent upon the actions of the staff, with over 50% of them evacuating with no prior prompting. In addition, the student pre-evacuation time was found to be dependent on their level of engagement in various activities.

The application of multilevel refinement to the vehicle routing problem

We discuss the application of the multilevel (ML) refinement technique to the Vehicle Routing Problem (VRP), and compare it to its single-level (SL) counterpart. Multilevel refinement recursively coarsens to create a hierarchy of approximations to the problem and refines at each level. A SL heuristic, termed the combined node-exchange composite heuristic (CNCH), is developed first to solve instances of the VRP. A ML version (the ML-CNCH) is then created, using the construction and improvement heuristics of the CNCH at each level. Experimentation is used to find a suitable combination, which extends the global view of these heuristics. Results comparing both SL and ML are presented.

Choosing the appropriate level of coupling in multi-physics modeling of metallurgical processes

A computational model for the interrelated phenomena in the process of vacuum arc remelting is analyzed and adjusted of optimal accuracy and computation time. The decision steps in this case study are offered as an example how the coupling in models of similar processes can be addressed. Results show dominance of the electromagnetic forces over buoyancy and inertia for the investigated process conditions.

Application of accelerated carbonation with a combination of Na2CO3 and CO2 in cement-based solidification/stabilization of heavy metal-bearing sediment

The efficient remediation of heavy metal-bearing sediment has been one of top priorities of ecosystem protection. Cement-based solidification/stabilization (s/s) is an option for reducing the mobility of heavy metals in the sediment and the subsequent hazard for human beings and animals. This work uses sodium carbonate as an internal carbon source of accelerated carbonation and gaseous CO2 as an external carbon source to overcome deleterious effects of heavy metals on strength development and improve the effectiveness of s/s of heavy metal-bearing sediment. In addition to the compressive strength and porosity measurements, leaching tests followed the Chinese solid waste extraction procedure for leaching toxicity - sulfuric acid and nitric acid method (HJ/T299-2007), German leaching procedure (DIN38414-S4) and US toxicity characteristic leaching procedures (TCLP) have been conducted. The experimental results indicated that the solidified sediment by accelerated carbonation was capable of reaching all performance criteria for the disposal at a Portland cement dosage of 10 wt.% and a solid/water ratio of 1: 1. The concentrations of mercury and other heavy metals in the leachates were below 0.10 mg/L and 5 mg/L, respectively, complying with Chinese regulatory level (GB5085-2007). Compared to the hydration, accelerated carbonation improved the compressive strength of the solidified sediment by more than 100% and reduced leaching concentrations of heavy metals significantly. It is considered that accelerated carbonation technology with a combination of Na2CO3 and CO2 may practically apply to cement-based s/s of heavy metal-bearing sediment. (C) 2008 Elsevier B.V. All rights reserved.

Application of regularization methods to damage detection in large scale plane frame structures using incomplete noisy modal data

This paper presents an approach for detecting local damage in large scale frame structures by utilizing regularization methods for ill-posed problems. A direct relationship between the change in stiffness caused by local damage and the measured modal data for the damaged structure is developed, based on the perturbation method for structural dynamic systems. Thus, the measured incomplete modal data can be directly adopted in damage identification without requiring model reduction techniques, and common regularization methods could be effectively employed to solve the developed equations. Damage indicators are appropriately chosen to reflect both the location and severity of local damage in individual components of frame structures such as in brace members and at beam-column joints. The Truncated Singular Value Decomposition solution incorporating the Generalized Cross Validation method is introduced to evaluate the damage indicators for the cases when realistic errors exist in modal data measurements. Results for a 16-story building model structure show that structural damage can be correctly identified at detailed level using only limited information on the measured noisy modal data for the damaged structure.