Measuring market power in electricity generation: A long-term perspective using a programming model

This paper focuses on measuring the extent to which market power has been exercised in a recently deregulated electricity generation sector. Our study emphasises the need to consider the concept of market power in a long-run dynamic context. A market power index is constructed focusing on differences between actual market returns and long-run competitive returns, estimated using a programming model devised by the authors. The market power implications of hedge contracts are briefly considered. The state of Queensland Australia is used as a context for the analysis. The results suggest that generators have exercised significant market power since deregulation.

UML approach to the generation of test sequences for Java-based concurrent systems

Starting with a UML specification that captures the underlying functionality of some given Java-based concurrent system, we describe a systematic way to construct, from this specification, test sequences for validating an implementation of the system. The approach is to first extend the specification to create UML state machines that directly address those aspects of the system we wish to test. To be specific, the extended UML state machines can capture state information about the number of waiting threads or the number of threads blocked on a given object. Using the SAL model checker we can generate from the extended UML state machines sequences that cover all the various possibilities of events and states. These sequences can then be directly transformed into test sequences suitable for input into a testing tool such as ConAn. As an illustration, the methodology is applied to generate sequences for testing a Java implementation of the producer-consumer system. © 2005 IEEE

Microbial Fuel Cells: Methodology and Technology

Microbial fuel cell (MFC) research is a rapidly evolving field that lacks established terminology and methods for the analysis of system performance. This makes it difficult for researchers to compare devices on an equivalent basis. The construction and analysis of MFCs requires knowledge of different scientific and engineering fields, ranging from microbiology and electrochemistry to materials and environmental engineering. DescribingMFCsystems therefore involves an understanding of these different scientific and engineering principles. In this paper, we provide a review of the different materials and methods used to construct MFCs, techniques used to analyze system performance, and recommendations on what information to include in MFC studies and the most useful ways to present results.

Behavioural abnormalities of the hyposulphataemic Nas1 knock-out mouse

We recently generated a sodium sulphate cotransporter knock-out mouse (Nas1-/-) which has increased urinary sulphate excretion and hyposulphataemia. To examine the consequences of disturbed sulphate homeostasis in the modulation of mouse behavioural characteristics, Nas1-/- mice were compared with Nas1+/- and Nas1+/+ littermates in a series of behavioural tests. The Nas1-/- mice displayed significantly (P < 0.001) decreased marble burying behaviour (4.33 +/- 0.82 buried) when compared to Nas1+/+ (7.86 +/- 0.44) and Nas1+/- (8.40 +/- 0.37) animals, suggesting that Nas1-/- mice may have decreased object-induced anxiety. The Nas1-/- mice also displayed decreased locomotor activity by moving less distance (1.53 +/- 0.27 m, P < 0.05) in an open-field test when compared to Nas1+/+ (2.31 +/- 0.24 m) and Nas1+/- (2.15 +/- 0.19 m) mice. The three genotypes displayed similar spatiotemporal and ethological behaviours in the elevated-plus maze and open-field test, with the exception of a decreased defecation frequency by the Nas1-/- mice (40% reduction, P < 0.01). There were no significant differences between Nas1-/- and Nas1+/+ mice in a rotarod performance test of motor coordination and in the forced swim test assessing (anti-)depressant-like behaviours. This is the first study to demonstrate behavioural abnormalities in the hyposulphataemic Nas1-/- mice. (C) 2004 Elsevier B.V. All rights reserved.

API documentation with executable examples

The rise of component-based software development has created an urgent need for effective application program interface (API) documentation. Experience has shown that it is hard to create precise and readable documentation. Prose documentation can provide a good overview but lacks precision. Formal methods offer precision but the resulting documentation is expensive to develop. Worse, few developers have the skill or inclination to read formal documentation. We present a pragmatic solution to the problem of API documentation. We augment the prose documentation with executable test cases, including expected outputs, and use the prose plus the test cases as the documentation. With appropriate tool support, the test cases are easy to develop and read. Such test cases constitute a completely formal, albeit partial, specification of input/output behavior. Equally important, consistency between code and documentation is demonstrated by running the test cases. This approach provides an attractive bridge between formal and informal documentation. We also present a tool that supports compact and readable test cases; and generation of test drivers and documentation, and illustrate the approach with detailed case studies. (C) 2002 Elsevier Science Inc. All rights reserved.

Reproducibility of a laboratory-based 40-km cycle time-trial on a stationary wind-trainer in highly trained cyclists

The purpose of the present study was to examine the reproducibility of laboratory-based 40-km cycle time-trial performance on a stationary wind-trainer. Each week, for three consecutive weeks, and on different days, forty-three highly trained male cyclists ((x) over bar +/- SD; age = 25 +/- 6 y; mass = 75 +/- 7 kg; peak oxygen uptake [(V) over dot O-2 peak] = 64.8 +/- 5.2 ml x kg(-1) x min(-1)) performed: 1) a (V) over dot O-2 peak test, and 2) a 40-km time-trial on their own racing bicycle mounted to a stationary wind-trainer (Cateye - Cyclosimulator). Data from all tests were compared using a one-way analysis of variance. Performance on the second and third 40-km time-trials were highly related (r = 0.96; p < 0.001), not significantly different (57:21 +/- 2:57 vs. 57:12 +/- 3:14 min:s), and displayed a low coefficient of variation (CV) = 0.9 +/- 0.7%. Although the first 40-km time-trial (58:43 +/- 3:17min:s) was not significantly different from the second and third tests (p = 0.06), inclusion of the first test in the assessment of reliability increased within-subject CV to 3.0 +/- 2.9%. 40-km time-trial speed (km x h(-1)) was significantly (p < 0.001) related to peak power output (W; r = 0.75), (V) over dot O-2 peak (1 x min(-1); r = 0.53), and the second ventilatory turnpoint (1 x min(-1); r = 0.68) measured during the progressive exercise tests. These data demonstrate that the assessment of 40-km cycle time-trial performance in well-trained endurance cyclists on a stationary wind-trainer is reproducible, provided the athletes perform a familiarization trial.