Proof Explanation in the DR-DEVICE System

Trust is a vital feature for Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design and implementation of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.

A power system control scheme based on security visualisation in parameter space

Power system real time security assessment is one of the fundamental modules of the electricity markets. Typically, when a contingency occurs, it is required that security assessment and enhancement module shall be ready for action within about 20 minutes’ time to meet the real time requirement. The recent California black out again highlighted the importance of system security. This paper proposed an approach for power system security assessment and enhancement based on the information provided from the pre-defined system parameter space. The proposed scheme opens up an efficient way for real time security assessment and enhancement in a competitive electricity market for single contingency case

Comparison of BR and QR Eigenvalue Algorithms for Power System Small Signal Stability Analysis

The BR algorithm is a novel and efficient method to find all eigenvalues of upper Hessenberg matrices and has never been applied to eigenanalysis for power system small signal stability. This paper analyzes differences between the BR and the QR algorithms with performance comparison in terms of CPU time based on stopping criteria and storage requirement. The BR algorithm utilizes accelerating strategies to improve its performance when computing eigenvalues of narrowly banded, nearly tridiagonal upper Hessenberg matrices. These strategies significantly reduce the computation time at a reasonable level of precision. Compared with the QR algorithm, the BR algorithm requires fewer iteration steps and less storage space without depriving of appropriate precision in solving eigenvalue problems of large-scale power systems. Numerical examples demonstrate the efficiency of the BR algorithm in pursuing eigenanalysis tasks of 39-, 68-, 115-, 300-, and 600-bus systems. Experiment results suggest that the BR algorithm is a more efficient algorithm for large-scale power system small signal stability eigenanalysis.

Spatial Technologies: What use are they to managers of environmental lands?

This paper reviews the potential use of three types of spatial technology to land managers, namely satellite imagery, satellite positioning systems and supporting computer software. Developments in remote sensing and the relative advantages of multispectral and hyperspectral images are discussed. The main challenge to the wider use of remote sensing as a land management tool is seen as uncertainty whether apparent relationships between biophysical variables and spectral reflectance are direct and causal, or artefacts of particular images. Developments in satellite positioning systems are presented in the context of land managers’ need for position estimates in situations where absolute precision may or may not be required. The role of computer software in supporting developments in spatial technology is described. Spatial technologies are seen as having matured beyond empirical applications to the stage where they are useful and reliable land management tools. In addition, computer software has become more user-friendly and this has facilitated data collection and manipulation by semi-expert as well as specialist staff.

Historic Bridge Photographs: The Lahey Collection

Romeo Watkins Lahey (1887-1968) was a distinguished Queensland engineer. He graduated in engineering from the University of Sydney in 1914 and served in World War I from 1915 to 1918 with The Royal Australian Engineers. Following the war, he accepted an offer to remain for a period in England and studied town planning at the University of London. He visited Europe and collected a remarkable set of historic bridge photographs. In the course of this visit, he met Paul Sejourne, a distinguished French bridge engineer, the designer of at Ieast one of the bridges (at Fontpedrouse, pages 25-27) included in this set. When Lahey died, his wife Sybil and daughter Ann took steps to give this remarkable set of 58 historic bridge photographs to The University of Queensland. More recently, Lahey's daughters Ann Neale and Alison Drake have given a set of lantern plates collected by their father, many of which also have photographs of bridges. This volume is divided into three parts: (a) a biography of Romeo Watkins Lahey, written by his daughter, Ann Neale; (b) copies of the original set of 58 bridge photographs, and (c) copies taken from 32 lantern plates. To these have been added captions. Many of the original photographs carried titles; where these are available they have been printed in italics. Further work has been done to identify bridges and where possible the captions include the completion date, major dimensions, locations, and references to published works. Plates 8.1-10 are copies of drawings used as Figures in a book. These drawings have not been copied and the source has not been identified. Two lists of photographs and plates are included - the first in the order of the original collections and a second with bridges listed in the order of material, structural form and date. The collection is of remarkable value to any bridge historian, and is recommended for study by students.

Observation of generalized synchronization of chaos in a driven chaotic system

We report on the experimental observation of the generalized synchronization of chaos in a real physical system. We show that under a nonlinear resonant interaction, the chaotic dynamics of a single mode laser can become functionally related to that of a chaotic driving signal and furthermore as the coupling strength is further increased, the chaotic dynamics of the laser approaches that of the driving signal.

Evolution of a mate recognition system after hybridization between two Drosophila species

I investigated the genetic relationship between male and female components of the mate recognition system and how this relationship influenced the subsequent evolution of the two traits, in a series of replicate populations of interspecific hybrids. Thirty populations of hybrids between Drosophila serrata and Drosophila birchii were established and maintained for 24 generations. At the fifth generation after hybridization, the mating success of hybrid individuals with the D. serrata parent was determined. The genetic correlation between male and female components of the male recognition system, as a consequence of pleiotropy or tight physical linkage, was found to be significant but low (r = 0.388). This result suggested that pleiotropy may play only a minor role in the evolution of mate recognition in this system. At the twenty-fourth generation after hybridization, the mating success of the hybrids was again determined. The evolution of male and female components was investigated by analyzing the direction of evolution of each hybrid line with respect to its initial position in relation to the genetic regression. Male and female components appeared to converge on a single equilibrium point, rather than evolving along trajectories with slope equal to the genetic regression, toward a line of equilibria.

Optimising fed-batch production of recombinant proteins using the baculovirus expression vector system

Fed-batch culture can offer significant improvement in recombinant protein production compared to batch culture in the baculovirus expression vector system (BEVS), as shown by Nguyen et al. (1993) and Bedard et al. (1994) among others. However, a thorough analysis of fed-batch culture to determine its limits in improving recombinant protein production over batch culture has yet to be performed. In this work, this issue is addressed by the optimisation of single-addition fed-batch culture. This type of fed-batch culture involves the manual addition of a multi-component nutrient feed to batch culture before infection with the baculovirus. The nutrient feed consists of yeastolate ultrafiltrate, lipids, amino acids, vitamins, trace elements, and glucose, which were added to batch cultures of Spodoptera frugiperda (Sf9) cells before infection with a recombinant Autographa californica nuclear polyhedrosis virus (Ac-NPV) expressing beta-galactosidase (beta-Gal). The fed-batch production of beta-Gal was optimised using response surface methods (RSM). The optimisation was performed in two stages, starting with a screening procedure to determine the most important variables and ending with a central-composite experiment to obtain a response surface model of volumetric beta-Gal production. The predicted optimum volumetric yield of beta-Gal in fed-batch culture was 2.4-fold that of the best yields in batch culture. This result was confirmed by a statistical analysis of the best fed-batch and batch data (with average beta-Gal yields of 1.2 and 0.5 g/L, respectively) obtained from this laboratory. The response surface model generated can be used to design a more economical fed-batch operation, in which nutrient feed volumes are minimised while maintaining acceptable improvements in beta-Gal yield. (C) 1998 John Wiley & Sons, Inc.

Expression of galectin-1 in the mouse olfactory system

Primary sensory olfactory axons arise from the olfactory neuroepithelium that lines the nasal cavity and then project via the olfactory nerve into the olfactory bulb. The P-galactoside binding lectin, galectin-1,and its laminin ligand have been implicated in the growth of these axons along this pathway. In galectin-1 null mutant mice, a subpopulation of primary sensory olfactory axons fails to reach its targets in the olfactory bulb. In the present study we examined the spatiotemporal expression pattern of galectin-1 in normal mice in order to understand its role in the development of the olfactory nerve pathway. At E15.5, when olfactory axons have already contacted the olfactory bulb, galectin-1 was expressed in the cartilage and mesenchyme surrounding the nasal cavity but was absent from the olfactory neuroepithelium, nerve and bulb. Between E16.5 and birth galectin-1 began to be expressed by olfactory nerve ensheathing cells in the lamina propria of the neuroepithelium and nerve fibre layer. Galectin-1 was neither expressed by primary sensory neurons in the olfactory neuroepithelium nor by their axons in the olfactory nerve. Laminin, a galectin-1 ligand, also exhibited a similar expression pattern in the embryonic olfactory nerve pathway. Our results reveal that galectin-1 is dynamically expressed by glial elements within the nerve fibre layer during a discrete period in the developing olfactory nerve pathway. Previous studies have reported galectin-1 acts as a substrate adhesion molecule by cross-linking primary sensory olfactory neurons to laminin. Thus, the coordinate expression of galectin-1 and laminin in the embryonic nerve fibre layer suggests that these molecules support the adhesion and fasciculation of axons en route to their glomerular targets.

Retinal and lenticular ultrastructure in the aestivating salamanderfish, Lepidogalaxias salamandroides (Galaxiidae, Teleostei) with special reference to a new type of photoreceptor mosaic

The salamanderfish, Lepidogalaxias salamandroides (Galaxiidae, Teleostei) is endemic to southwestern Australia and inhabits shallow, freshwater pools which evaporate during the hot summer months. Burrowing into the substrate in response to falling water levels allows these fish to aestivate for extended periods of time while encapsulated in a mucous cocoon even when the pools contain no water. Only a few minutes after a major rainfall, these fish emerge into relatively clear water which subsequently becomes laden with tannin, turning the water black and reducing the pH to approximately 4.3. As part of a large study of the visual adaptations of this unique species, the retinal and lenticular morphology of the aestivating salamanderfish is examined at the level of the light and electron microscopes. The inner retina is highly vascularised by a complex system of vitreal blood vessels, while the outer retina receives a blood supply by diffusion from a choriocapillaris. This increased retinal blood supply may be an adaptation for reducing the oxygen tension during critical periods of aestivation. Large numbers of Muller cells traverse the thickness of the retina from the inner to the outer limiting membranes. The ganglion cells are arranged in two ill-defined layers, separated from a thick inner nuclear layer containing two layers of horizontal cells by a soma-free inner plexiform layer. The photoreceptors can be divided into three types typical of many early actinopterygian representatives; equal double cones, small single cones and large rods (2:1:1). These photoreceptors are arranged into a unique regular square mosaic comprising a large rod bordered by four equal double cones with a small single cone located at the corner of each repeating unit. The double cones may optimise perception of mobile prey which it tracks by flexion of its head and neck and the large rods may increase sensitivity in the dark tannin-rich waters in which it lives. Each single cone also possesses a dense collection of polysomes and glycogen (a paraboloid) beneath its ellipsoid, the first such finding in teleosts. The retinal pigment epithelium possesses melanosomes, pha,oocytes and a large number of mitochondria. The anatomy of the retina and the photoreceptor mosaic is discussed in relation to the primitive phylogeny of this species and its unique life history.

A systemic secondary vessel system is present in the teleost fish Tandanus tandanus and absent in the elasmobranchs Carcharhinus melanopterus and Rhinobutos typus and in the dipnoan Neoceratodus forsteri

A system of secondary vessels emerging from the primary vessels as numerous coiled capillaries has been described in numerous teleost and holost fishes. The systemic secondary vessels of the teleost Tandanus tandanus are typical of this system and are described in this study. The existence of a secondary vessel system has been postulated in the elasmobranch group. No secondary vessel origins, as seen in the teleosts, are present in the elasmobranchs Rhinobatos typus and Carcharhinus melanopterus. Vessels with a similar distribution to secondary arteries are observed but these are venous rather than arterial in nature and do not connect with the primary arteries. Like the secondary veins in teleosts, the cutaneous veins in R. typus contain blood with a low haematocrit. There is no morphological evidence for a secondary vessel system in the dipnoan Neoceratodus forsteri.