Experiences using lightweight formal methods for requirementsmodeling

The paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies differ from previously reported applications of formal methods in that formal methods were applied very early in the requirements engineering process to validate the evolving requirements. The results were fed back into the projects to improve the informal specifications. For each case study, we describe what methods were applied, how they were applied, how much effort was involved, and what the findings were. In all three cases, formal methods enhanced the existing verification and validation processes by testing key properties of the evolving requirements and helping to identify weaknesses. We conclude that the benefits gained from early modeling of unstable requirements more than outweigh the effort needed to maintain multiple representations     

Organic polymer thin-film transistor photosensors

We present our study of the effects of monochromatic illumination on the electrical performance of organic polymer thin-film transistors (OP-TFTs) and the use of these devices as photosensors. In the case of monochromatic illumination that is strongly absorbed by the polymer, the drain current of a device biased in the OFF-state is significantly increased and the threshold voltage is reduced. Light that is not strongly absorbed by the polymer has little effect on the electrical performance of the OP-TFTs. We explain these effects in terms of the photogeneration of excitons in the polymer channel region of the device. The density of excitons generated in the polymer depends on the energy of the incident photons, as well as on the irradiance level of the incident illumination. The photogenerated excitons subsequently dissociate into electrons and holes. The electrons can be trapped by positively charged states, thereby reducing the threshold voltage, while the photogenerated holes contribute to the excess photocurrent measured at the drain. To demonstrate the possible use of OP-TFTs as photosensors, we also present the responsivity, photosensitivity (signal-to-noise ratio), external quantum efficiency, noise-equivalent power, and specific detectivity of these devices. The dependence of these parameters on the incident photon energy and irradiance level is described.     

Ontology-based approach to Basic Grafcet formalization

In recent years, various proposals have been put forth to formalize the Grafcet graphical language. The objective of this paper is to propose an ontology-based approach to formalize this language. The authors have implemented a semi-coarse grain ontology written in Ontology Web Language and have tested it by including it in an existing educational tool for the teaching of Grafcet language for use in programmable logic controllers.     

Gene Discovery in Gelsemium Highlights Conserved Gene Clusters in Monoterpene Indole Alkaloid Biosynthesis

Genome mining is a routine technique in microbes for discovering biosynthetic pathways. In plants, however, genomic information is not commonly used to identify novel biosynthesis genes. Here, we present the genome of the medicinal plant and oxindole monoterpene indole alkaloid (MIA) producer Gelsemium sempervirens (Gelsemiaceae). A gene cluster from Catharanthus roseus, which is utilized at least six enzymatic steps downstream from the last common intermediate shared between the two plant alkaloid types, is found in G. sempervirens, although the corresponding enzymes act on entirely different substrates. This study provides insights into the common genomic context of MIA pathways and is an important milestone in the further elucidation of the Gelsemium oxindole alkaloid pathway.     

Differential Signaling by Protease-Activated Receptors: Implications for Therapeutic Targeting

Protease-activated receptors (PARs) are a family of four G protein-coupled receptors that exhibit increasingly appreciated differences in signaling and regulation both within and between the receptor class. By nature of their proteolytic self-activation mechanism, PARs have unique processes of receptor activation, “ligand” binding, and desensitization/resensitization. These distinctive aspects have presented both challenges and opportunities in the targeting of PARs for therapeutic benefit—the most notable example of which is inhibition of PAR1 on platelets for the prevention of arterial thrombosis. However, more recent studies have uncovered further distinguishing features of PAR-mediated signaling, revealing mechanisms by which identical proteases elicit distinct effects in the same cell, as well as how distinct proteases produce different cellular consequences via the same receptor. Here we review this differential signaling by PARs, highlight how important distinctions between PAR1 and PAR4 are impacting on the progress of a new class of anti-thrombotic drugs, and discuss how these more recent insights into PAR signaling may present further opportunities for manipulating PAR activation and signaling in the development of novel therapies.     

Uptake of energy efficiency interventions in English dwellings

Little detailed evidence has previously been available regarding the uptake rate or prevalence of energy efficiency interventions among specific household groups. This study uses the Home Energy Efficiency Database (HEED) to investigate both the combination of measures that have been installed, and in which dwellings, according to key neighbourhood socio-demographic variables, including income and tenure. Analysis of 2000–07 data indicates that approximately 40% (9.3 million) dwellings in England had approximately 23.7 million efficiency measures installed, with an average of 2.5 measures per dwelling. Building fabric-related measures were the most frequent (e.g. cavity wall insulation, loft insulation and glazing) with an average of 2.1 million installed each year. Dwellings with the highest number of fabric interventions (the top 20%) were more likely to be found in areas with low income, with more owner-occupied dwellings, experiencing lower winter temperatures, having a lower proportion of flats, and having a slightly higher proportion of older adults and children. Energy efficiency installations have tended to occur among specific types of households or parts of the building stock. These findings have implications for the design of future government programmes for targeting energy efficiency measures to specific household groups or dwelling types.     

Spray drying with a two-fluid nozzle to produce fine particles: Atomization,scale-up,and modeling

This article presents experimental and modeling work to complete previously reported work on spray drying. Back-calculated droplet sizes have been verified by measurements with a laser imaging rig. Flow patterns in a cylindrical spray chamber have been simulated by computational fluid dynamics and demonstrated that droplet residence times are much shorter than expected. A droplet tracking population balance model has been implemented in gSOLIDS and shows how drying times vary with droplet diameter. Particle collection by cyclone and bag filter have also been compared experimentally.     

Thiol Redox and pKa Properties of Mycothiol,the Predominant Low‐Molecular‐Weight Thiol Cofactor in the Actinomycetes

The thiol pK_a and standard redox potential of mycothiol, the major low‐molecular‐weight thiol cofactor in the actinomycetes, are reported. The measured standard redox potential reveals substantial discrepancies in one or more of the other previously measured intracellular parameters that are relevant to mycothiol redox biochemistry.     

Evidence for mineral matter forms in coal liquefaction extracts

High- and low-temperature ashes from feed coal, coal extract solution and filter cake from a two-stage coal liquefaction process have been studied by X-ray diffraction (XRD) and scanning electron microscopy/energy dispersive X-ray fluorescence (SEM/EDX). Hydrocracking experiments using alumina support only, in place of the active Ni/Mo catalyst on alumina, were also carried out, with trace metal analysis of the coal extract solution feed and hydrocracked extracts using atomic absorption and emission spectroscopy. The major mineral transformations occurring were of pyrite to pyrrhotite and the fixation of organic sulphur by calcium carbonate. Mineral particles were not observed in the coal extract solution ashes, even under high magnification, and the study indicated that size alone was not a determining factor as to whether a coal mineral was to be found in a coal-derived liquid. None of the trace metals was deposited on the alumina support under hydrocracking conditions, in marked contrast to the results obtained with the normal Ni/Mo catalyst. These results lead to the conclusion that for the deposition of trace elements to occur a reaction must take place and hence the trace elements must be chemically bound in some form.