Enhanced semantic access to formal software models

The success of the Semantic Web, as the next generation of Web technology, can have profound impact on the environment for formal software development. It allows both the software engineers and machines to understand the content of formal models and supports more effective software design in terms of understanding, sharing and reusing in a distributed manner. To realise the full potential of the Semantic Web in formal software development, effectively creating proper semantic metadata for formal software models and their related software artefacts is crucial. In this paper, a methodology with tool support is proposed to automatically derive ontological metadata from formal software models and semantically describe them.

Learning in ultrametric committee machines

The problem of learning by examples in ultrametric committee machines (UCMs) is studied within the framework of statistical mechanics. Using the replica formalism we calculate the average generalization error in UCMs with L hidden layers and for a large enough number of units. In most of the regimes studied we find that the generalization error, as a function of the number of examples presented, develops a discontinuous drop at a critical value of the load parameter. We also find that when L>1 a number of teacher networks with the same number of hidden layers and different overlaps induce learning processes with the same critical points.

Blobs versus bars:psychophysical evidence supports two types of orientation response in human color vision

The classic hypothesis of Livingstone and Hubel (1984, 1987) proposed two types of color pathways in primate visual cortex based on recordings from single cells: a segregated, modularpathway that signals color but provides little information about shape or form and a second pathway that signals color differences and so defines forms without the need to specify their colors. A major problem has been to reconcile this neurophysiological hypothesis with the behavioral data. A wealth of psychophysical studies has demonstrated that color vision has orientation-tuned responses and little impairment on form related tasks, but these have not revealed any direct evidence for nonoriented mechanisms. Here we use a psychophysical method of subthreshold summation across orthogonal orientations for isoluminant red-green gratings in monocular and dichoptic viewing conditions to differentiate between nonoriented and orientation-tuned responses to color contrast. We reveal nonoriented color responses at low spatial frequencies (0.25-0.375 c/deg) under monocular conditions changing to orientation-tuned responses at higher spatial frequencies (1.5 c/deg) and under binocular conditions. We suggest that two distinct pathways coexist in color vision at the behavioral level, revealed at different spatial scales: one is isotropic, monocular, and best equipped for the representation of surface color, and the other is orientation-tuned, binocular, and selective for shape and form. This advances our understanding of the organization of the neural pathways involved in human color vision and provides a strong link between neurophysiological and behavioral data. © 2013 ARVO.

A novel framework of training hidden Markov support vector machines from lightly-annotated data

Natural language understanding (NLU) aims to map sentences to their semantic mean representations. Statistical approaches to NLU normally require fully-annotated training data where each sentence is paired with its word-level semantic annotations. In this paper, we propose a novel learning framework which trains the Hidden Markov Support Vector Machines (HM-SVMs) without the use of expensive fully-annotated data. In particular, our learning approach takes as input a training set of sentences labeled with abstract semantic annotations encoding underlying embedded structural relations and automatically induces derivation rules that map sentences to their semantic meaning representations. The proposed approach has been tested on the DARPA Communicator Data and achieved 93.18% in F-measure, which outperforms the previously proposed approaches of training the hidden vector state model or conditional random fields from unaligned data, with a relative error reduction rate of 43.3% and 10.6% being achieved.

Steps and bumps:precision extraction of discrete states of molecular machines

We report statistical time-series analysis tools providing improvements in the rapid, precision extraction of discrete state dynamics from time traces of experimental observations of molecular machines. By building physical knowledge and statistical innovations into analysis tools, we provide techniques for estimating discrete state transitions buried in highly correlated molecular noise. We demonstrate the effectiveness of our approach on simulated and real examples of steplike rotation of the bacterial flagellar motor and the F1-ATPase enzyme. We show that our method can clearly identify molecular steps, periodicities and cascaded processes that are too weak for existing algorithms to detect, and can do so much faster than existing algorithms. Our techniques represent a step in the direction toward automated analysis of high-sample-rate, molecular-machine dynamics. Modular, open-source software that implements these techniques is provided.

Nrf2 activation supports cell survival during hypoxia and hypoxia/reoxygenation in cardiomyoblasts; the roles of reactive oxygen and nitrogen species

Adaptive mechanisms involving upregulation of cytoprotective genes under the control of transcription factors such as Nrf2 exist to protect cells from permanent damage and dysfunction under stress conditions. Here we explore of the hypothesis that Nrf2 activation by reactive oxygen and nitrogen species modulates cytotoxicity during hypoxia (H) with and without reoxygenation (H/R) in H9C2 cardiomyoblasts. Using MnTBap as a cell permeable superoxide dismutase (SOD) mimetic and peroxynitrite scavenger and L-NAME as an inhibitor of nitric oxide synthase (NOS), we have shown that MnTBap inhibited the cytotoxic effects of hypoxic stress with and without reoxygenation. However, L-NAME only afforded protection during H. Under reoxygenation, conditions, cytotoxicity was increased by the presence of L-NAME. Nrf2 activation was inhibited independently by MnTBap and L-NAME under H and H/R. The increased cytotoxicity and inhibition of Nrf2 activation by the presence of L-NAME during reoxygenation suggests that NOS activity plays an important role in cell survival at least in part via Nrf2-independent pathways. In contrast, O2 -• scavenging by MnTBap prevented both toxicity and Nrf2 activation during H and H/R implying that toxicity is largely dependent on O2 -.To confirm the importance of Nrf2 for myoblast metabolism, Nrf2 knockdown with siRNA reduced cell survival by 50% during 4h hypoxia with and without 2h of reoxygenation and although cellular glutathione (GSH) was depleted during H and H/R, GSH loss was not exacerbated by Nrf2 knockdown. These data support distinctive roles for ROS and RNS during H and H/R for Nrf2 induction which are important for survival independently of GSH salvage. © 2013 The Authors.

An investigation into vibration criteria for rotating machinery

Concern had been expressed by engineers of the Shell Chemical Company regarding the validity of existing vibration criteria for rotating machinery. A survey showed that existing criteria were based solely on the amplitude of vibration, normally of the bearing housings, with no allowance being made for the dynamic properties of the support1ng structure. The feasibility of measuring the mechanical impedance of bearing supports in order to assess the severity of vibration generated by a machine has been investigated. It is suggested that in many cases the oscillatory bearing force levels obtained for these measurements will provide a quantitative indication of severity. Theoretical and experimental work has been conducted on a model rig, comprising a flexible shaft running in journal bearings housed in flexible, asymmetric supports. The accuracy with which the system behaviour could be predicted using measured support impedances is discussed together with the extraction of uncoupled support impedances from measurements on the complete rotating system. Access was available to several industrial centrifugal compressors. To enable the bearing support impedances of these machines to be measured on site considerable attention has been paid to the evolution of a technique involving the use of transient excitation. To develop this technique the model rig and a large rotary converter have been used as test structures. Methods have also been devised and developed for the analysis of the transient impedance data.

The characterisation and emulation of rotary mechanical machines

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

A study of stray load losses in core clamp plates of salient pole synchronous machines

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY SERVICES WITH PRIOR ARRANGEMENT

The use of electronic techniques in the construction of machines which can learn

DUE TO COPYRIGHT RESTRICTIONS ONLY AVAILABLE FOR CONSULTATION AT ASTON UNIVERSITY LIBRARY AND INFORMATION SERVICES WITH PRIOR ARRANGEMENT

Evaluation of the antimicrobial activities of plant oxylipins supports their involvement in defense against pathogens

Plant oxylipins are a large family of metabolites derived from polyunsaturated fatty acids. The characterization of mutants or transgenic plants affected in the biosynthesis or perception of oxylipins has recently emphasized the role of the so-called oxylipin pathway in plant defense against pests and pathogens. In this context, presumed functions of oxylipins include direct antimicrobial effect, stimulation of plant defense gene expression, and regulation of plant cell death. However, the precise contribution of individual oxylipins to plant defense remains essentially unknown. To get a better insight into the biological activities of oxylipins, in vitro growth inhibition assays were used to investigate the direct antimicrobial activities of 43 natural oxylipins against a set of 13 plant pathogenic microorganisms including bacteria, oomycetes, and fungi. This study showed unequivocally that most oxylipins are able to impair growth of some plant microbial pathogens, with only two out of 43 oxylipins being completely inactive against all the tested organisms, and 26 oxylipins showing inhibitory activity toward at least three different microbes. Six oxylipins strongly inhibited mycelial growth and spore germination of eukaryotic microbes, including compounds that had not previously been ascribed an antimicrobial activity such as 13-keto-9(Z),11(Z),15(Z)- octadecatrienoic acid and 12-oxo-10,15(Z)-phytodienoic acid. Interestingly this first large-scale comparative assessment of the antimicrobial effects of oxylipins reveals that regulators of plant defense responses are also the most active oxylipins against eukaryotic microorganisms, suggesting that such oxylipins might contribute to plant defense through their effects both on the plant and on pathogens, possibly through related mechanisms. © 2005 American Society of Plant Biologists.

Catalytic systems based on carbon supports for the low-temperature oxidation of carbon monoxide

Catalytic systems containing palladium, copper, and iron compounds on carbon supports-kernel activated carbon and fibrous carbon materials (Karbopon and Busofit)-for the low-temperature oxidation of CO were synthesized. The effects of the nature of the support, the concentration and composition of the active component, and the conditions of preparation on the efficiency of the catalytic system were studied. The catalytic system based on Karbopon exhibited the highest activity: the conversion of carbon monoxide was 90% at room temperature and a reaction mixture (0.03% CO in air) space velocity of 10 000 h. It was found that the metals occurred in oxidized states in the course of operation: palladium mainly occurred as Pd, whereas copper and iron occurred as Cu and Fe, respectively. © 2008 MAIK Nauka.

Mesoporous silicas as versatile supports to tune the palladium-catalyzed selective aerobic oxidation of allylic alcohols

Surfactant templating offers a simple route to synthesize high-surface area silicas with ordered, tunable mesopore architectures. The use of these materials as versatile catalyst supports for palladium nanoparticles has been explored in the aerobic selective oxidation (selox) of allylic alcohols under mild conditions. Families of Pd/mesoporous silicas, synthesized through incipient wetness impregnation of SBA-15, SBA-16, and KIT-6, have been characterized by using nitrogen porosimetry, CO chemisorption, diffuse reflection infrared Fourier transform spectroscopy, X-ray diffraction, X-ray photoelectron spectroscopy, X-ray absorption spectroscopy, and high-resolution TEM and benchmarked in liquid phase allylic alcohol selox against a Pd/amorphous SiO2 standard. The transition from amorphous to two-dimensional parallel and three-dimensional interpenetrating porous silica networks conferred significant selox rate enhancements associated with higher surface densities of active palladium oxide sites. Dissolved oxygen was essential for insitu stabilization of palladium oxide, and thus maintenance of high activity on-stream, whereas selectivity to the desired aldehyde selox product over competing hydrogenolysis pathways was directed by using palladium metal. © 2013 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Enhanced selective aerobic alcohol oxidation through nanoengineered catalyst supports

The selective conversion of alcohols to their carbonyl derivatives is a critical step towards a sustainable chemical industry. Heterogeneous Pd catalysts represent some of the most active systems known, even so further studies into the active species and role of support are required. Through controlling support mesostructure, using non-interconnected SBA-15 and interlinked SBA-16 and KIT-6, we have evaluated the role of pore architecture on supported Pd nanoparticles and their subsequent activity for liquid phase aerobic allylic alcohol selective oxidation.[1,2] These synthesised silica supports exhibit high surface areas (>800 m2g-1), and similar mesopore diameters (3.5 to 5 nm), but differ in their pore connectivity and arrangement; p6mm (SBA-15), I3mm (SBA-16) and I3ad (KIT-6). When evaluated alongside commercial non-mesoporous silica (200 m2 g-1) they promote enhanced Pd dispersion with interpenetrating assemblies providing further elevation. Macropore introduction into SBA-15, producing a hierarchical macro-mesoporous silica (MM-SBA-15), allows control over mesopore length and accessibility which escalates Pd distribution to levels akin to KIT-6 and SBA-16. Controlling dispersion, and likewise nanoparticle size, is thus facilitated through the choice of support and additionally Pd loading, with cluster sizes spanning 3.2 to 0.8 nm. X-ray spectroscopies indicate nanoparticles are PdO terminated with the oxide content a function of dispersion. Kinetic studies allude to surface PdO being the active site responsible, with a constant TOF observed, independent of loading and support. This confirms activity is governed by PdO density, whilst also overruling internal mass diffusion constraints. MM-SBA-15 facilitates superior activity and TOFs for long chain acyclic terpene alcohols due to reduced internal mass transport constraints.