Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Robust parameter settings of evolutionary algorithms for the optimisation of agricultural systems models

Numerical optimisation methods are being more commonly applied to agricultural systems models, to identify the most profitable management strategies. The available optimisation algorithms are reviewed and compared, with literature and our studies identifying evolutionary algorithms (including genetic algorithms) as superior in this regard to simulated annealing, tabu search, hill-climbing, and direct-search methods. Results of a complex beef property optimisation, using a real-value genetic algorithm, are presented. The relative contributions of the range of operational options and parameters of this method are discussed, and general recommendations listed to assist practitioners applying evolutionary algorithms to the solution of agricultural systems. (C) 2001 Elsevier Science Ltd. All rights reserved.

An extended interval dosing method for gentamicin in neonates

Traditional gentamicin dosing every 8–24 h depending on age and weight in neonates does not provide the ideal concentration–time profile to both optimize the concentration-dependent killing by aminoglycosides and minimize toxicity. Fifty-three neonates were audited prospectively while receiving gentamicin 2.5 mg/kg every 8–24 h, aiming for peak concentrations (Cmax) of 6–10 mg/L and trough concentrations (Cmin) 10 mg/L after the first dose. The mean area under the concentration versus time curve AUC0–24 was 93 mg•h/L (target = 100 mg•h/L). The extended interval dosing achieved higher Cmax values while ensuring that overall exposure per 24 h was acceptable. Prospective testing of the method demonstrated good predictive ability.

The pharmacokinetics of once-daily dosing of ceftriaxone in critically ill patients

The aim of this study was to determine the pharmacokinetic profile of the normal recommended dose of ceftriaxone in critically ill patients and to establish whether the current daily dosing recommendation maintains plasma concentrations adequate for antibacterial efficacy. Ceftriaxone at a recommended dose of 2 g iv was administered od to 12 critically ill patients with severe sepsis and normal serum creatinine concentrations. Blood samples were taken at predetermined intervals over the first 24 h and on day 3 for measurement of ceftriaxone concentrations. There was wide variability in drug disposition, explained by the presence of variable renal function and identified by the measurement of creatinine clearance. In nine patients with normal renal function, there was a high level of creatinine clearance(mean +/- S.D., 41 +/- 12 mL/min) and volume of distribution (20 +/- 3.3 L), which resulted in an elimination half-life of 6.4 +/- 1.1 h. In comparison with normal subjects, ceftriaxone clearance was increased 100%, volume of distribution increased 90% and the elimination half-life was similar. Three patients had substantially suboptimal plasma ceftriaxone concentrations. We confirm previous findings that ceftriaxone clearance in critically ill patients correlates with renal clearance by glomerular filtration. The elimination half-life is prolonged (21.4 +/- 9.8 h) in critically ill patients with renal failure when compared with previously published data in non-critically ill patients with renal failure. We conclude that in critically ill patients with normal renal function, inadequate plasma concentrations may result following od bolus dosing of ceftriaxone. Drug accumulation may occur in critically ill patients with renal failure.

Using siting algorithms in the design of marine reserve networks

Using benthic habitat data from the Florida Keys (USA), we demonstrate how siting algorithms can help identify potential networks of marine reserves that comprehensively represent target habitat types. We applied a flexible optimization tool-simulated annealing-to represent a fixed proportion of different marine habitat types within a geographic area. We investigated the relative influence of spatial information, planning-unit size, detail of habitat classification, and magnitude of the overall conservation goal on the resulting network scenarios. With this method, we were able to identify many adequate reserve systems that met the conservation goals, e.g., representing at least 20% of each conservation target (i.e., habitat type) while fulfilling the overall aim of minimizing the system area and perimeter. One of the most useful types of information provided by this siting algorithm comes from an irreplaceability analysis, which is a count of the number of, times unique planning units were included in reserve system scenarios. This analysis indicated that many different combinations of sites produced networks that met the conservation goals. While individual 1-km(2) areas were fairly interchangeable, the irreplaceability analysis highlighted larger areas within the planning region that were chosen consistently to meet the goals incorporated into the algorithm. Additionally, we found that reserve systems designed with a high degree of spatial clustering tended to have considerably less perimeter and larger overall areas in reserve-a configuration that may be preferable particularly for sociopolitical reasons. This exercise illustrates the value of using the simulated annealing algorithm to help site marine reserves: the approach makes efficient use of;available resources, can be used interactively by conservation decision makers, and offers biologically suitable alternative networks from which an effective system of marine reserves can be crafted.

Fast, scalable master equation solution algorithms. IV. Lanczos iteration with diffusion approximation preconditioned iterative inversion

In this paper we propose a second linearly scalable method for solving large master equations arising in the context of gas-phase reactive systems. The new method is based on the well-known shift-invert Lanczos iteration using the GMRES iteration preconditioned using the diffusion approximation to the master equation to provide the inverse of the master equation matrix. In this way we avoid the cubic scaling of traditional master equation solution methods while maintaining the speed of a partial spectral decomposition. The method is tested using a master equation modeling the formation of propargyl from the reaction of singlet methylene with acetylene, proceeding through long-lived isomerizing intermediates. (C) 2003 American Institute of Physics.

Fast, scalable master equation solution algorithms. III. Direct time propagation accelerated by a diffusion approximation preconditioned iterative solver

In this paper we propose a novel fast and linearly scalable method for solving master equations arising in the context of gas-phase reactive systems, based on an existent stiff ordinary differential equation integrator. The required solution of a linear system involving the Jacobian matrix is achieved using the GMRES iteration preconditioned using the diffusion approximation to the master equation. In this way we avoid the cubic scaling of traditional master equation solution methods and maintain the low temperature robustness of numerical integration. The method is tested using a master equation modelling the formation of propargyl from the reaction of singlet methylene with acetylene, proceeding through long lived isomerizing intermediates. (C) 2003 American Institute of Physics.

Knowledge-based system on optimum design of liquid retaining structures with genetic algorithms

This paper delineates the development of a prototype hybrid knowledge-based system for the optimum design of liquid retaining structures by coupling the blackboard architecture, an expert system shell VISUAL RULE STUDIO and genetic algorithm (GA). Through custom-built interactive graphical user interfaces under a user-friendly environment, the user is directed throughout the design process, which includes preliminary design, load specification, model generation, finite element analysis, code compliance checking, and member sizing optimization. For structural optimization, GA is applied to the minimum cost design of structural systems with discrete reinforced concrete sections. The design of a typical example of the liquid retaining structure is illustrated. The results demonstrate extraordinarily converging speed as near-optimal solutions are acquired after merely exploration of a small portion of the search space. This system can act as a consultant to assist novice designers in the design of liquid retaining structures.