Reduction rules for reset/inhibitor nets

Reset/inhibitor nets are Petri nets extended with reset arcs and inhibitor arcs. These extensions can be used to model cancellation and blocking. A reset arc allows a transition to remove all tokens from a certain place when the transition fires. An inhibitor arc can stop a transition from being enabled if the place contains one or more tokens. While reset/inhibitor nets increase the expressive power of Petri nets, they also result in increased complexity of analysis techniques. One way of speeding up Petri net analysis is to apply reduction rules. Unfortunately, many of the rules defined for classical Petri nets do not hold in the presence of reset and/or inhibitor arcs. Moreover, new rules can be added. This is the first paper systematically presenting a comprehensive set of reduction rules for reset/inhibitor nets. These rules are liveness and boundedness preserving and are able to dramatically reduce models and their state spaces. It can be observed that most of the modeling languages used in practice have features related to cancellation and blocking. Therefore, this work is highly relevant for all kinds of application areas where analysis is currently intractable.

The role of vegetation in enhancing radon concentration and ion production in the atmosphere

The role of ions in the production of atmospheric particles has gained wide interest due to their profound impact on climate. Away from anthropogenic sources, molecules are ionized by alpha radiation from radon exhaled from the ground and cosmic gamma radiation from space. These molecular ions quickly form into ‘cluster ions’, typically smaller than about 1.5 nm. Using our measurements and the published literature, we present evidence to show that cluster ion concentrations in forest areas are consistently higher than outside. Since alpha radiation cannot penetrate more than a few centimetres of soil, radon present deep in the ground cannot directly contribute to the measured cluster ion concentrations. We propose an additional mechanism whereby radon, which is water soluble, is brought up by trees and plants through the uptake of groundwater and released into the atmosphere by transpiration. We estimate that, in a forest comprising eucalyptus trees spaced 4m apart, approximately 28% of the radon in the air may be released by transpiration. Considering that 24% of the earth’s land area is still covered in forests; these findings have potentially important implications for atmospheric aerosol formation and climate.

Photocatalytic hydrogen production with iron oxide under solar irradiation

As solar hydrogen is a sustainable and environmental friendly energy carrier, it is considered to take the place of fossil fuels in the near future. Solar hydrogen can be generated by splitting of water under solar light illumination. In this study, the use of nanostructured hematite thin-film electrodes in photocatalytic water splitting was investigated. Hematite (á-Fe2O3) has a narrow band-gap of 2.2 eV, which is able to utilise approximately 40% of solar radiation. However, poor photoelectrochemical performance is observed for hematite due to low electrical conductivity and a high rate of electron-hole recombination. An extensive review of useful measures taken to overcoming the disadvantages of hematite so as to enhance its performance was presented including thin-film structure, nanostructuring, doping, etc. Since semiconductoring materials which exhibit an inverse opal structure are expected to have a high surface-volume ratio, unique optical characteristics and a shorter distance for photogenerated holes to travel to the electrode/electrolyte interface, inverse opals of hematite thin films deposited on FTO glass substrate were successfully prepared by doctor blading using PMMA as a template. However, due to the poor adhesion of the films, an acidic medium (i.e., 2 M HCl) was employed to significantly enhance the adhesion of the films, which completely destroyed the inverse opal structure. Therefore, undoped, Ti and Zn-doped hematite thin films deposied on FTO glass substrate without an inverse opal structure were prepared by doctor blading and spray pyrolysis and characterised using SEM, EDX, XRD, TGA, UV-Vis spectroscopy and photoelectrochemical measurements. Regarding the doped hematite thin films prepared by doctor blading, the photoelectrochemical activity of the hematite photoelectrodes was improved by incorporation of Ti, most likely owing to the increased electrical conductivity of the films, the stabilisation of oxygen vacancies by Ti4+ ions and the increased electric field of the space charge layer. A highest photoresponse was recorded in case of 2.5 at.% Ti which seemed to be an optimal concentration. The effect of doping content, thickness, and calcination temperature on the performance of the Ti-doped photoelectrodes was investigated. Also, the photoactivity of the 2.5 at.% Ti-doped samples was examined in two different types of electrochemical cells. Zn doping did not enhance the photoactivity of the hematite thin films though Zn seemed to enhance the hole transport due to the slow hole mobility of hematite which could not be overcome by the enhancement. The poor performance was also obtained for the Ti-doped samples prepared by spray pyrolysis, which appeared to be a result of introduction of impurities from the metallic parts of the spray gun in an acidic medium. Further characterisation of the thin-film electrodes is required to explain the mechanism by which enhanced performance was obtained for Ti-doped electrodes (doctor blading) and poor photoactivity for Zn and Ti-doped samples which were synthesised by doctor blading and spray pyrolysis, respectively. Ti-doped hematite thin films will be synthesised in another way, such as dip coating so as to maintain an inverse opal structure as well as well adhesion. Also, a comparative study of the films will be carried out.

The evaluation of new and isotopically labeled isoindoline nitroxides and an azaphenalene nitroxide for EPR oximetry

Isoindoline nitroxides are potentially useful probes for viable biological systems, exhibiting low cytotoxicity, moderate rates of biological reduction and favorable Electron Paramagnetic Resonance (EPR) characteristics. We have evaluated the anionic (5-carboxy-1,1,3,3-tetramethylisoindolin-2-yloxyl; CTMIO), cationic (5-(N,N,N-trimethylammonio)-1,1,3,3-tetramethylisoindolin-2-yloxyl iodide, QATMIO) and neutral (1,1,3,3-tetramethylisoindolin-2-yloxyl; TMIO) nitroxides and their isotopically labeled analogs ((2)H(12)- and/or (2)H(12)-(15)N-labeled) as potential EPR oximetry probes. An active ester analogue of CTMIO, designed to localize intracellularly, and the azaphenalene nitroxide 1,1,3,3-tetramethyl-2,3-dihydro-2-azaphenalen-2-yloxyl (TMAO) were also studied. While the EPR spectra of the unlabeled nitroxides exhibit high sensitivity to O(2) concentration, deuteration resulted in a loss of superhyperfine features and a subsequent reduction in O(2) sensitivity. Labeling the nitroxides with (15)N increased the signal intensity and this may be useful in decreasing the detection limits for in vivo measurements. The active ester nitroxide showed approximately 6% intracellular localization and low cytotoxicity. The EPR spectra of TMAO nitroxide indicated an increased rigidity in the nitroxide ring, due to dibenzo-annulation.

Turbulent velocity and suspended sediment concentration measurements in an urban environment of the Brisbane River Flood Plain at Gardens Point on 12-13 January 2011

The flood flow in urbanised areas constitutes a major hazard to the population and infrastructure as seen during the summer 2010-2011 floods in Queensland (Australia). Flood flows in urban environments have been studied relatively recently, although no study considered the impact of turbulence in the flow. During the 12-13 January 2011 flood of the Brisbane River, some turbulence measurements were conducted in an inundated urban environment in Gardens Point Road next to Brisbane's central business district (CBD) at relatively high frequency (50 Hz). The properties of the sediment flood deposits were characterised and the acoustic Doppler velocimeter unit was calibrated to obtain both instantaneous velocity components and suspended sediment concentration in the same sampling volume with the same temporal resolution. While the flow motion in Gardens Point Road was subcritical, the water elevations and velocities fluctuated with a distinctive period between 50 and 80 s. The low frequency fluctuations were linked with some local topographic effects: i.e, some local choke induced by an upstream constriction between stairwells caused some slow oscillations with a period close to the natural sloshing period of the car park. The instantaneous velocity data were analysed using a triple decomposition, and the same triple decomposition was applied to the water depth, velocity flux, suspended sediment concentration and suspended sediment flux data. The velocity fluctuation data showed a large energy component in the slow fluctuation range. For the first two tests at z = 0.35 m, the turbulence data suggested some isotropy. At z = 0.083 m, on the other hand, the findings indicated some flow anisotropy. The suspended sediment concentration (SSC) data presented a general trend with increasing SSC for decreasing water depth. During a test (T4), some long -period oscillations were observed with a period about 18 minutes. The cause of these oscillations remains unknown to the authors. The last test (T5) took place in very shallow waters and high suspended sediment concentrations. It is suggested that the flow in the car park was disconnected from the main channel. Overall the flow conditions at the sampling sites corresponded to a specific momentum between 0.2 to 0.4 m2 which would be near the upper end of the scale for safe evacuation of individuals in flooded areas. But the authors do not believe the evacuation of individuals in Gardens Point Road would have been safe because of the intense water surges and flow turbulence. More generally any criterion for safe evacuation solely based upon the flow velocity, water depth or specific momentum cannot account for the hazards caused by the flow turbulence, water depth fluctuations and water surges.

Platinum/graphene nanosheet/SiC contacts and their application for hydrogen gas sensing

Pt/graphene nanosheet/SiC based devices are fabricated and characterized and their performances toward hydrogen gas are investigated. The graphene nanosheets are synthesized via the reduction of spray-coated graphite oxide deposited onto SiC substrates. Raman and X-ray photoelectron spectroscopies indicate incomplete reduction of the graphite oxide, resulting in partially oxidized graphene nanosheet layers of less than 10 nm thickness. The effects of interfaces on the nonlinear behavior of the Pt/graphene and graphene/SiC junctions are investigated. Current-voltage measurements of the sensors toward 1% hydrogen in synthetic air gas mixture at various temperatures ranging up to 100. ° C are performed. From the dynamic response, a voltage shift of ∼100 mV is recorded for 1% hydrogen at a constant current bias of 1 mA at 100. °C. © 2010 American Chemical Society.

Proactive detection of high collision concentration locations on highways

In previous research (Chung et al., 2009), the potential of the continuous risk profile (CRP) to proactively detect the systematic deterioration of freeway safety levels was presented. In this paper, this potential is investigated further, and an algorithm is proposed for proactively detecting sites where the collision rate is not sufficiently high to be classified as a high collision concentration location but where a systematic deterioration of safety level is observed. The approach proposed compares the weighted CRP across different years and uses the cumulative sum (CUSUM) algorithm to detect the sites where changes in collision rate are observed. The CRPs of the detected sites are then compared for reproducibility. When high reproducibility is observed, a growth factor is used for sequential hypothesis testing to determine if the collision profiles are increasing over time. Findings from applying the proposed method using empirical data are documented in the paper together with a detailed description of the method.

Aircraft emission reduction through multi-disciplinary flight path optimisation

There is worldwide interest in reducing aircraft emissions. The difficulty of reducing emissions including water vapour, carbon dioxide (CO2) and oxides of nitrogen (NOx) is mainly due from the fact that a commercial aircraft is usually designed for a particular optimal cruise altitude but may be requested or required to operate and deviate at different altitude and speeds to archive a desired or commanded flight plan, resulting in increased emissions. This is a multi- disciplinary problem with multiple trade-offs such as optimising engine efficiency, minimising fuel burnt, minimise emissions while maintaining aircraft separation and air safety. This project presents the coupling of an advanced optimisation technique with mathematical models and algorithms for aircraft emission reduction through flight optimisation. Numerical results show that the method is able to capture a set of useful trade-offs between aircraft range and NOx, and mission fuel consumption and NOx. In addition, alternative cruise operating conditions including Mach and altitude that produce minimum NOx and CO2 (minimum mission fuel weight) are suggested.