Noise Control in the Urban Environment

An environmental problem that has been the subject of increasing attention in recent years is the high level of noise that has become so characteristic of the urban environment

On Languages Accepted by P/T Systems Composed of joins

Recently, some studies linked the computational power of abstract computing systems based on multiset rewriting to models of Petri nets and the computation power of these nets to their topology. In turn, the computational power of these abstract computing devices can be understood by just looking at their topology, that is, information flow. Here we continue this line of research introducing J languages and proving that they can be accepted by place/transition systems whose underlying net is composed only of joins. Moreover, we investigate how J languages relate to other families of formal languages. In particular, we show that every J language can be accepted by a log n space-bounded non-deterministic Turing machine with a one-way read-only input. We also show that every J language has a semilinear Parikh map and that J languages and context-free languages (CFLs) are incomparable

Hubble Space Telescope faint object camera instrument handbook (Post-COSTAR), version 5.0

The faint object camera (FOC) is a long-focal-ratio, photon-counting device capable of taking high-resolution two-dimensional images of the sky up to 14 by 14 arc seconds squared in size with pixel dimensions as small as 0.014 by 0.014 arc seconds squared in the 1150 to 6500 A wavelength range. Its performance approaches that of an ideal imaging system at low light levels. The FOC is the only instrument on board the Hubble Space Telescope (HST) to fully use the spatial resolution capabilities of the optical telescope assembly (OTA) and is one of the European Space Agency's contributions to the HST program

Calibration and evaluation of optical systems for full-field strain measurement

The design and testing of a reference material for the calibration of optical systems for strain measurement is described, together with the design and testing of a standardized test material that allows the evaluation and assessment of fitness for purpose of the most sophisticated optical system for strain measurement. A classification system for the steps in the measurement process is also proposed and allows the development of a unified approach to diagnostic testing of components or sub-systems in an optical system for strain measurement based on any optical technique. The results described arise from a European study known as SPOTS whose objectives were to begin to fill the gap caused by a lack of standards

Inhibition of glyoxylate conversion to oxalate in cultured human cells by the carbonyl-scavenging drug, aminoguanidine

Calcium oxalate is the most frequent cause of kidney stones, and is responsible for the damage to kidneys and other organs observed in inherited disorders of oxalate metabolism. Most oxalate produced in the body is derived from its metabolic precursor, glyoxylate. Thus, any means of scavenging glyoxylate to a non-toxic product, thereby diverting it away from oxalate synthesis, has considerable therapeutic implications. Here we show that aminoguanidine, a compound with a proven safety record and used for many years to prevent long-term complications of diabetes, binds glyoxylate covalently and reduces its conversion to oxalate by human liver- and lymphocyte-derived cell lines by >90%. We propose that scavenging glyoxylate with aminoguanidine or its congeners may provide a means of reducing oxalate production in vivo, and advocate the tissue culture system described here as a convenient means for testing such agents in vitro. A serendipitous finding to emerge from our study was the abiotic and strongly pH-dependent formation of oxalate from ascorbate, which has implications for the contribution of ascorbate to urine oxalate excretion

Integer Vector Addition Systems with States

This paper studies reachability, coverability and inclusion problems for Integer Vector Addition Systems with States (ZVASS) and extensions and restrictions thereof. A ZVASS comprises a finite-state controller with a finite number of counters ranging over the integers. Although it is folklore that reachability in ZVASS is NP-complete, it turns out that despite their naturalness, from a complexity point of view this class has received little attention in the literature. We fill this gap by providing an in-depth analysis of the computational complexity of the aforementioned decision problems. Most interestingly, it turns out that while the addition of reset operations to ordinary VASS leads to undecidability and Ackermann-hardness of reachability and coverability, respectively, they can be added to ZVASS while retaining NP-completness of both coverability and reachability.Comment: 17 pages, 2 figure

Human Robot Interaction and Usability Studies for a Smart Wheelchair

We build on previous work [12], [14] on the development of a computer controlled wheelchair equipped with a suite of sensors and a novel interface for human-robot interaction. In this paper, we present experimental results and usability studies for the wheelchair. The architecture for human-robot interaction is hierarchical, with the lowest level corresponding to trajectory control, the intermediate level being behavioral and the highest level involving the composition of behaviors and navigation. Our experimental results illustrate the benefits of a shared-control paradigm where the human operator selects the appropriate hehavior(s) or goals while the software is responsible for executing behaviors and generating safe trajectories. Experiments with human users highlight advantages of augmentation in wheelchairs

Indirect Nitrous Oxide Emission Factors for Agricultural Field Drains and Headwater Streams

Agriculture is a major source of nitrous oxide (N2O) emissions, a potent greenhouse gas. While direct N2O emissions from soils have been widely investigated, indirect N2O emissions from nitrogen (N) enriched surface water and groundwater bodies are poorly understood. In this contribution, indirect N2O emissions from subsurface agricultural field drains and headwater streams were monitored over a two-year period (2013–2015) in an intensive arable catchment in eastern England. Indirect N2O emission factors for groundwater (EF5g) and surface runoff (EF5r) were calculated for both field drain and streamwater samples, respectively, using two approaches: the N2O–N/NO3–N ratio and the IPCC (2006) methodology. Mean EF5g values derived from the N2O–N/NO3–N ratio were 0.0012 for field drains and 0.0003 for streamwater. Using the IPCC (2006) methodology, the mean EF5g values were 0.0011 for field drains and 0.0001 for streamwater. Thus, EF values derived from both methods were below the current IPCC (2006) default value of 0.0025 and a downward revision to 0.0012 for EF5g and 0.0002 for EF5r is recommended. Such revision would halve current estimates of N2O emissions associated with nitrogen leaching and runoff from agriculture for both the UK and globally

Hydration state diagnosis in fractal flow-field based polymer electrolyte membrane fuel cells using acoustic emission analysis

Techniques for evaluating water management are critical to diagnose the performance of polymer electrolyte membrane fuel cells (PEMFCs). Acoustic emission as a function of polarisation (AEfP) has been recently introduced as a non-invasive, non-destructive method to analyse the water generation and removal inside a PEMFC during polarisation. AEfP was shown to provide unique insight into water management within a conventional PEMFC and correlating it to cell performance. Here, AEfP is used to characterise the performance of fractal PEMFCs by evaluating the hydration conditions inside them. This is achieved by probing the water dynamics inside two different fractal flow-field based PEMFCs, namely 1-way and 2-way fractal PEMFCs, and measuring the corresponding acoustic activity generated from them. AEfP is performed on the fractal PEMFCs under relatively humid (70% RH) and fully humidified (100% RH) reactant relative humidity (RH) conditions. Flooding in the 2-way fractal PEMFC, as opposed to the 1-way fractal PEMFC, is demonstrated under different operating conditions by the relatively higher acoustic activity it generates. Corroborating evidence of flooding in the 2-way fractal flow-field under different conditions is provided by its polarisation curves, impedance tests and galvanostatic (current hold) measurements