Tool support for testing concurrent Java components

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 1. Methodology for residual generation

For dynamic simulations to be credible, verification of the computer code must be an integral part of the modelling process. This two-part paper describes a novel approach to verification through program testing and debugging. In Part 1, a methodology is presented for detecting and isolating coding errors using back-to-back testing. Residuals are generated by comparing the output of two independent implementations, in response to identical inputs. The key feature of the methodology is that a specially modified observer is created using one of the implementations, so as to impose an error-dependent structure on these residuals. Each error can be associated with a fixed and known subspace, permitting errors to be isolated to specific equations in the code. It is shown that the geometric properties extend to multiple errors in either one of the two implementations. Copyright (C) 2003 John Wiley Sons, Ltd.

An approach to verifying and debugging simulation models governed by ordinary differential equations: Part 2. Residuals analysis and a case study

In Part 1 of this paper a methodology for back-to-back testing of simulation software was described. Residuals with error-dependent geometric properties were generated. A set of potential coding errors was enumerated, along with a corresponding set of feature matrices, which describe the geometric properties imposed on the residuals by each of the errors. In this part of the paper, an algorithm is developed to isolate the coding errors present by analysing the residuals. A set of errors is isolated when the subspace spanned by their combined feature matrices corresponds to that of the residuals. Individual feature matrices are compared to the residuals and classified as 'definite', 'possible' or 'impossible'. The status of 'possible' errors is resolved using a dynamic subset testing algorithm. To demonstrate and validate the testing methodology presented in Part 1 and the isolation algorithm presented in Part 2, a case study is presented using a model for biological wastewater treatment. Both single and simultaneous errors that are deliberately introduced into the simulation code are correctly detected and isolated. Copyright (C) 2003 John Wiley Sons, Ltd.

Document retrieval for e-mail search and discovery using Formal Concept Analysis

This paper discusses a document discovery tool based on Conceptual Clustering by Formal Concept Analysis. The program allows users to navigate e-mail using a visual lattice metaphor rather than a tree. It implements a virtual. le structure over e-mail where files and entire directories can appear in multiple positions. The content and shape of the lattice formed by the conceptual ontology can assist in e-mail discovery. The system described provides more flexibility in retrieving stored e-mails than what is normally available in e-mail clients. The paper discusses how conceptual ontologies can leverage traditional document retrieval systems and aid knowledge discovery in document collections.

Assessing forest fire as a potential PCDD/F source in Queensland, Australia

Forest fires are suggested as a potential and significant source of polychlorinated dibenzo-p-dioxins and polychlorinated dibenzofurans (PCDD/Fs), even though no studies to date provide sufficient evidence to confirm forest fires as a source of PCDD/Fs. Recent investigations in Gueensland, Australia have identified a widespread contamination of PCDDs (in particular OND) in soils and sediments in the coastal region from an unknown source of PCDD/Fs. Queensland is predominately rural; it has few known anthropogenic sources of PCDD/Fs, whereas forest fires are a frequent occurrence. This study was conducted to assess forest fires as a potential source of the unknown PCDD/F contamination in Queensland. A combustion experiment was designed to assess the overall mass of PCDD/Fs before and after a simulated forest fire. The results from this study did not identify an increase in Sigma-PCDD/Fs or OCDD after the combustion process. However, specific non-2,3,7,8 substituted lower chlorinated PCDD/Fs were elevated after the combustion process, suggesting formation from a precursor. The results from this study indicate that forest fires are unlikely to be the source of the unknown PCDD contamination in Gueensland, rather they are a key mechanism for the redistribution of PCDD/Fs from existing sources and precursors.

In situ characterization of stickiness of sugar-rich foods using a linear actuator driven stickiness testing device

A stickiness testing device based on the probe tack test has been designed and tested. It was used to perform in situ characterization of drying hemispherical drops with an initial radius 3.5 mm. Tests were carried out in two drying temperatures, 63 and 95 degreesC. Moisture and temperature histories of the drying drops of fructose, honey, sucrose, maltodextrin and sucrose-maltodextrin mixtures were determined. The rates of moisture evaporation of the fructose solution was the fastest while those of the maltodextrin solution was the lowest. A profile reversal was observed when the temperature profiles of these materials were compared. Different modes of failure were observed during the stickiness tests. Pure fructose and honey solutions remained completely sticky and failed cohesively until the end of drying. Pure sucrose solution remained sticky and failed cohesively until complete crystallization occurred. The surface of the maltodextrin drops formed a skin shortly after the start of drying. It exhibited adhesive failure and reached a state of non-adhesion. Addition of maltodextrin significantly altered the stickiness of sucrose solution. (C) 2002 Elsevier Science Ltd. All rights reserved.

Characterization of the surface stickiness of fructose-maltodextrin solutions during drying

A probe tack test has been used for the in situ characterization of the surface stickiness of hemispherical drops with an initial radius of 3.5 mm while drying. Surface stickiness of drops of fructose and maltodextrin solutions dried at 63degreesC and 95degreesC was determined. The effect of addition of maltodextrin on fructose solution-was studied with fructose/maltodextrin solid mass ratios of 4: 1, 1: 1, and 1:4. Pure fructose solutions remained completely sticky and failed cohesively even when their moisture approached zero. Shortly after the start of drying, the surface of the maltodextrin drops formed a skin, which rapidly grew in thickness. Subsequently the drop surface became completely nonsticky probably due to transformation of outer layers into a glassy material. Addition of malto,dextrin significantly altered the surface stickiness of drops of fructose solutions, demonstrating its use as an effective drying aid.

Effect of lifter design on drying performance in rotary dryers

Lifter use in dryers improves mass transfer by increasing the amount of surface area available for transfer and also by increasing the velocity of gas over the particle surface. An even cross-sectional distribution of particles in a dryer improves the efficiency of operation by ensuring that evaporation from falling particles is taking place for the maximum fraction of the rotation period of the drier. Studies on lifter design to improve the cross-sectional particle distribution were performed on angled lifters. A single lifter was used and the mass-transfer rate examined as a function of angular lifter displacement. Analysis of the mass transfer characteristics of single lifters allowed performance comparisons and recommendations for lifter design.

Surface stickiness of drops of carbohydrate and organic acid solutions during convective drying: Experiments and modeling

Drying kinetics of low molecular weight sugars such as fructose, glucose, sucrose and organic acid such as citric acid and high molecular weight carbohydrate such as maltodextrin (DE 6) were determined experimentally using single drop drying experiments as well as predicted numerically by solving the mass and heat transfer equations. The predicted moisture and temperature histories agreed with the experimental ones within 6% average relative (absolute) error and average difference of +/- 1degreesC, respectively. The stickiness histories of these drops were determined experimentally and predicted numerically based on the glass transition temperature (T-g) of surface layer. The model predicted the experimental observations with good accuracy. A nonsticky regime for these materials during spray drying is proposed by simulating a drop, initially 120 mum in diameter, in a spray drying environment.

Dissolution of sucrose crystals in the anhydrous sorbitol melt

The dissolution of a sugar (sucrose as a model) with higher melting point was studied in a molten food polyol (sorbitol as a model) with lower melting point, both in anhydrous state. A DSC and optical examination revealed the dissolution of anhydrous sucrose crystals (mp 192 degreesC) in anhydrous sorbitol (mp 99 degreesC) liquid melt. The sucrose-sorbitol crystal mixtures at the proportions of 10, 30, 60, 100 and 150 g of sucrose per 100 g of sorbitol were heat scanned in a DSC to above melting endotherm of sorbitol but well below the onset temperature of melting of sucrose at three different temperatures 110, 130 and 150 degreesC. The heat scanning modes used were with or without isothermal holding. The dissolution of sucrose in the sorbitol liquid melt was manifested by an increase in the glass transition temperature of the melt and corresponding decrease in endothermic melting enthalpy of sucrose. At given experimental conditions, as high as 25 and 85% of sucrose dissolved in the sorbitol melt during 1 h of isothermal holding at 110 and 150 degreesC, respectively. Optical microscopic observation also clearly showed the reduction in the size of sucrose crystals in sorbitol melt during the isothermal holding at those temperatures. (C) 2003 Elsevier Science Ltd. All rights reserved.

A new wavelet-based adaptive method for solving population balance equations

A new wavelet-based adaptive framework for solving population balance equations (PBEs) is proposed in this work. The technique is general, powerful and efficient without the need for prior assumptions about the characteristics of the processes. Because there are steeply varying number densities across a size range, a new strategy is developed to select the optimal order of resolution and the collocation points based on an interpolating wavelet transform (IWT). The proposed technique has been tested for size-independent agglomeration, agglomeration with a linear summation kernel and agglomeration with a nonlinear kernel. In all cases, the predicted and analytical particle size distributions (PSDs) are in excellent agreement. Further work on the solution of the general population balance equations with nucleation, growth and agglomeration and the solution of steady-state population balance equations will be presented in this framework. (C) 2002 Elsevier Science B.V. All rights reserved.

Solubility of selected esters in supercritical carbon dioxide

The solubility of ethyl propionate, ethyl butyrate, and ethyl isovalerate in supercritical carbon dioxide was measured at temperature ranging from 308.15 to 333.15 K and pressure ranging from 85 to 195 bar. At the same temperature, the solubility of these compounds increases with pressure. The crossover pressure region was also observed in this study. The experimental data were correlated by the semi-empirical Chrastil equation and Peng-Robinson equation of state (EOS) using several mixing rules. The Peng-Robinson EOS gives better solubility prediction than the empirical Chrastil equation. (C) 2002 Elsevier Science B.V. All rights reserved.