Comprehensive Path-sensitive Data-flow Analysis

Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex control-flow. W initially perform data-flow analysis to determine those control-flow merges which cause the loss in data-flow analysis precision. The control-flow graph of the program is then restructured such that performing data-flow analysis on the resulting restructured graph gives more precise results. The proposed framework is both simple, involving the familiar notion of product automata, and also general, since it is applicable to any forward data-flow analysis. Apart from proving that our restructuring process is correct, we also show that restructuring is effective in that it necessarily leads to more optimization opportunities. Furthermore, the framework handles the trade-off between the increase in data-flow precision and the code size increase inherent in the restructuring. We show that determining an optimal restructuring is NP-hard, and propose and evaluate a greedy strategy. The framework has been implemented in the Scale research compiler, and instantiated for the specific problem of Constant Propagation. On the SPECINT 2000 benchmark suite we observe an average speedup of 4% in the running times over Wegman-Zadeck conditional constant propagation algorithm and 2% over a purely path profile guided approach.

An Analysis of a Boundary Layer Diffusion Flame Over a Porous Flat Plate in a Confined Flow

A numerical analysis of the gas dynamic structure of a two-dimensional laminar boundary layer diffusion flame over a porous flat plate in a confined flow is made on the basis of the familiar boundary layer and flame sheet approximations neglecting buoyancy effects. The governing equations of aerothermochemistry with the appropriate boundary conditions are solved using the Patankar-Spalding method. The analysis predicts the flame shape, profiles of temperature, concentrations of variousspecies, and the density of the mixture across the boundary layer. In addition, it also predicts the pressure gradient in the flow direction arising from the confinement ofthe flow and the consequent velocity overshoot near the flame surface. The results of thecomputation performed for an n-pentane-air system are compared with experimental data andthe agreement is found to be satisfactory.

Probabilistic load flow for distribution systems with uncertain PV generation

Large integration of solar Photo Voltaic (PV) in distribution network has resulted in over-voltage problems. Several control techniques are developed to address over-voltage problem using Deterministic Load Flow (DLF). However, intermittent characteristics of PV generation require Probabilistic Load Flow (PLF) to introduce variability in analysis that is ignored in DLF. The traditional PLF techniques are not suitable for distribution systems and suffer from several drawbacks such as computational burden (Monte Carlo, Conventional convolution), sensitive accuracy with the complexity of system (point estimation method), requirement of necessary linearization (multi-linear simulation) and convergence problem (Gram–Charlier expansion, Cornish Fisher expansion). In this research, Latin Hypercube Sampling with Cholesky Decomposition (LHS-CD) is used to quantify the over-voltage issues with and without the voltage control algorithm in the distribution network with active generation. LHS technique is verified with a test network and real system from an Australian distribution network service provider. Accuracy and computational burden of simulated results are also compared with Monte Carlo simulations.

Polymer encapsulation of magnesium to control biodegradability and biocompatibility

Clinical utility of biodegradable magnesium implants is undermined by the untimely degradation of these materials in vivo. Their high corrosion rate leads to loss of mechanical integrity, peri–implant alkalization and localised accumulation of hydrogen gas. Biodegradable coatings were produced on pure magnesium using RF plasma polymerisation. A monoterpene alcohol with known anti-inflammatory and antibacterial properties was used as a polymer precursor. The addition of the polymeric layer was found to reduce the degradation rate of magnesium in simulated body fluid. The in vitro studies indicated good cytocompatibility of non-adherent THP–1 cells and mouse macrophage cells with the polymer, and the polymer coated sample. The viability of THP–1 cells was significantly improved when in contact with polymer encapsulated magnesium compared to unmodified samples. Collectively, these results suggest plasma enhanced polymer encapsulation of magnesium as a suitable method to control degradation kinetics of this biomaterial.

A core metabolic enzyme mediates resistance to phosphine gas

Phosphine is a small redox-active gas that is used to protect global grain reserves, which are threatened by the emergence of phosphine resistance in pest insects. We find that polymorphisms responsible for genetic resistance cluster around the redox-active catalytic disulfide or the dimerization interface of dihydrolipoamide dehydrogenase (DLD) in insects (Rhyzopertha dominica and Tribolium castaneum) and nematodes (Caenorhabditis elegans). DLD is a core metabolic enzyme representing a new class of resistance factor for a redox-active metabolic toxin. It participates in four key steps of core metabolism, and metabolite profiles indicate that phosphine exposure in mutant and wild-type animals affects these steps differently. Mutation of DLD in C. elegans increases arsenite sensitivity. This specific vulnerability may be exploited to control phosphine-resistant insects and safeguard food security.

Pleistocene isolation, secondary introgression and restricted contemporary gene flow in the pig-eye shark, Carcharhinus amboinensis across northern Australia

We examine the structure and phylogeography of the pig-eye shark (Carcharhinus amboinensis) common in shallow coastal environments in northern Australia using two types of genetic markers, two mitochondrial (control region and NADH hydrogenase 4) and two nuclear (microsatellite and Rag 1) DNA. Two populations were defined within northern Australia on the basis of mitochondrial DNA evidence, but this result was not supported by nuclear microsatellite or Rag 1 markers. One possibility for this structure might be sex-specific behaviours such as female philopatry, although we argue it is doubtful that sufficient time has elapsed for any potential signatures from this behaviour to be expressed in nuclear markers. It is more likely that the observed pattern represents ancient populations repeatedly isolated and connected during episodic sea level changes during the Pleistocene epoch, until current day with restricted contemporary gene flow maintaining population genetic structure. Our results show the need for an understanding of both the history and ecology of a species in order to interpret patterns in genetic structure.

Good science for improving policy: greenhouse gas emissions from agricultural manures

Australia’s and New Zealand’s major agricultural manure management emission sources are reported to be, in descending order of magnitude: (1) methane (CH4) from dairy farms in both countries; (2) CH4 from pig farms in Australia; and nitrous oxide (N2O) from (3) beef feedlots and (4) poultry sheds in Australia. We used literature to critically review these inventory estimates. Alarmingly for dairy farm CH4 (1), our review revealed assumptions and omissions that when addressed could dramatically increase this emission estimate. The estimate of CH4 from Australian pig farms (2) appears to be accurate, according to industry data and field measurements. The N2O emission estimates for beef feedlots (3) and poultry sheds (4) are based on northern hemisphere default factors whose appropriateness for Australia is questionable and unverified. Therefore, most of Australasia’s key livestock manure management greenhouse gas (GHG) emission profiles are either questionable or are unsubstantiated by region-specific research. Encouragingly, GHG from dairy shed manure are relatively easy to mitigate because they are a point source which can be managed by several ‘close-to-market’ abatement solutions. Reducing these manure emissions therefore constitutes an opportunity for meaningful action sooner compared with the more difficult-to-implement and long-term strategies that currently dominate agricultural GHG mitigation research. At an international level, our review highlights the critical need to carefully reassess GHG emission profiles, particularly if such assessments have not been made since the compilation of original inventories. Failure to act in this regard presents the very real risk of missing the ‘low hanging fruit’ in the rush towards a meaningful response to climate change

Genetic control of flowering in spotted gum, Corymbia citriodora subsp. variegata and C. maculata

Genetically controlled asynchrony in anthesis is an effective barrier to gene flow between planted and native forests. We investigated the degree of genetically controlled variation in the timing of key floral developmental stages in a major plantation species in subtropical Australia, Corymbia citriodora subsp. variegata K.D. Hill and L.A.S Johnson, and its relative C. maculata K.D. Hill and L.A.S. Johnson. Flowering observations were made in a common garden planting at Bonalbo in northern New South Wales in spring on 1855 trees from eight regions over three consecutive years, and monthly on a subset of 208 trees for 12 months. Peak anthesis time was stable over years and observations from translocated trees tended to be congruent with the observations in native stands, suggesting strong genetic control of anthesis time. A cluster of early flowering provenances was identified from the north-east of the Great Dividing Range. The recognition of a distinct flowering race from this region accorded well with earlier evidence of adaptive differentiation of populations from this region and geographically-structured genetic groupings in C. citriodora subsp. variegata. The early flowering northern race was more fecund, probably associated with its disease tolerance and greater vigour. Bud abundance fluctuated extensively at the regional level across 3 years suggesting bud abundance was more environmentally labile than timing of anthesis. Overall the level of flowering in the planted stand (age 12 years) was low (8–12% of assessed trees with open flowers), and was far lower than in nearby native stands. Low levels of flowering and asynchrony in peak anthesis between flowering races of C. citriodora subsp. variegata may partially mitigate a high likelihood of gene flow where the northern race is planted in the south of the species range neighbouring native stands

Baseline and greenhouse-gas emissions in extensive livestock enterprises, with a case study of feeding lipid to beef cattle

For accurate calculation of reductions in greenhouse-gas (GHG) emissions, methodologies under the Australian Government's Carbon Farming Initiative (CFI) depend on a valid assessment of the baseline and project emissions. Life-cycle assessments (LCAs) clearly show that enteric methane emitted from the rumen of cattle and sheep is the major source of GHG emissions from livestock enterprises. Where a historic baseline for a CFI methodology for livestock is required, the use of simulated data for cow-calf enterprises at six sites in southern Australia demonstrated that a 5-year rolling emission average will provide an acceptable trade off in terms of accuracy and stability, but this is a much shorter time period than typically used for LCA. For many CFI livestock methodologies, comparative or pair-wise baselines are potentially more appropriate than historic baselines. A case study of lipid supplementation of beef cows over winter is presented. The case study of a control herd of 250 cows used a comparative baseline derived from simple data on livestock numbers and class of livestock to quantify the emission abatement. Compared with the control herd, lipid supplementation to cows over winter increased livestock productivity, total livestock production and enterprise GHG emissions from 990 t CO2-e to 1022 t CO2-e. Energy embodied in the supplement and extra diesel used in transporting the supplement diminished the enteric-methane abatement benefit of lipid supplementation. Reducing the cow herd to 238 cows maintained the level of livestock production of the control herd and reduced enterprise emissions to 938 t CO2-e, but was not cost effective under the assumptions of this case study.

Flow-graph techniques for epicyclic gear train analysis

Flow-graph techniques are applied in this article for the analysis of an epicyclic gear train. A gear system based on this is designed and constructed for use in Numerical Control Systems.

Does manure management affect the latent greenhouse gas emitting potential of livestock manures?

With livestock manures being increasingly sought as alternatives to costly synthetic fertilisers, it is imperative that we understand and manage their associated greenhouse gas (GHG) emissions. Here we provide the first dedicated assessment into how the GHG emitting potential of various manures responds to the different stages of the manure management continuum (e.g., from feed pen surface vs stockpiled). The research is important from the perspective of manure application to agricultural soils. Manures studied included: manure from beef feedpen surfaces and stockpiles; poultry broiler litter (8-week batch); fresh and composted egg layer litter; and fresh and composted piggery litter. Gases assessed were methane (CH4) and nitrous oxide (N2O), the two principal agricultural GHGs. We employed proven protocols to determine the manures’ ultimate CH4 producing potential. We also devised a novel incubation experiment to elucidate their N2O emitting potential; a measure for which no established methods exist. We found lower CH4 potentials in manures from later stages in their management sequence compared with earlier stages, but only by a factor of 0.65×. Moreover, for the beef manures this decrease was not significant (P < 0.05). Nitrous oxide emission potential was significantly positively (P < 0.05) correlated with C/N ratios yet showed no obvious relationship with manure management stage. Indeed, N2O emissions from the composted egg manure were considerably (13×) and significantly (P < 0.05) higher than that of the fresh egg manure. Our study demonstrates that manures from all stages of the manure management continuum potentially entail significant GHG risk when applied to arable landscapes. Efforts to harness manure resources need to account for this.

Application of sorbers to mitigate greenhouse gas emissions from land-applied pig litter

Nitrous oxide is the foremost greenhouse gas (GHG)generated by land-applied manures and chemical fertilisers (Australian Government 2013). This research project was part of the National Agricultural Manure Management Program and investigated the potential for sorbers (i.e. specific naturally-occurring minerals) to decrease GHG emissions from spent piggery litter (as well as other manures)applied to soils. The sorbers investigated in this research were vermiculite and bentonite. Both are clays with high cation exchange capacities, of approximately 100–150 cmol/kg Faure 1998). The hypothesis tested in this study was that the sorbers bind ammonium in soil solution thereby suppressing ammonia (NH3)volatilisation and in doing so, slowing the kinetics of nitrate formation and associated nitrous oxide (N2O) emissions. A series of laboratory, glasshouse and field experiments were conducted to assess the sorbers’ effectiveness. The laboratory experiments comprised 64 vessels containing manure and sorber/manure ratios ranging from 1 : 10 to 1 : 1 incorporated into a sandy Sodosol via mixing. The glasshouse trial involved 240 pots comprising manure/sorber incubations placed 5 cm below the soil surface, two soil types (sandy Sodosol and Ferrosol) and two different nitrogen (N) application rates (50 kg N/ha and 150 kg N/ha) with a model plant (kikuyu grass). The field trial consisted of 96, 2 m · 2 m plots on a Ferrosol site with digit grass used as a model plant. Manure/ sorber mixtures were applied in trenches (5 cm below surface) to these plots at increasing sorber levels at anNloading rate of 200 kg/ha. Gas produced in all experiments was plumbed into a purpose-built automated gas analysis (N2O, NH3, CH4, CO2) system. In the laboratory experiments, the sorbers showed strong capacity to decreaseNH3 emissions (up to 80% decrease). Ammonia emissions were close to the detection limit in all treatments in the glasshouse and field trial. In all experiments, considerable N2O decreases (>40%) were achieved by the sorbers. As an example, mean N2O emission decreases from the field trial phase of the project are shown in Fig. 1a. The decrease inGHGemissions brought about by the clays did not negatively impact agronomic performance. Both vermiculite and bentonite resulted in a significant increase in dry matter yields in the field trial (Fig. 1b). Continuing work will optimise the sorber technology for improved environmental and agronomic performance across a range of soils (Vertosol, Dermosol in addition to Ferrosol and Sodosols) and environmental parameters (moisture, temperature, porosity, pH).

Flow field and traverse times for fan forced injection of fumigant via circular or annular inlet into stored grain

Fan forced injection of phosphine gas fumigant into stored grain is a common method to treat infestation by insects. For low injection velocities the transport of fumigant can be modelled as Darcy flow in a porous medium where the gas pressure satisfies Laplace's equation. Using this approach, a closed form series solution is derived for the pressure, velocity and streamlines in a cylindrically stored grain bed with either a circular or annular inlet, from which traverse times are numerically computed. A leading order closed form expression for the traverse time is also obtained and found to be reasonable for inlet configurations close to the central axis of the grain storage. Results are interpreted for the case of a representative 6m high farm wheat store, where the time to advect the phosphine to almost the entire grain bed is found to be approximately one hour.

Nonlinear Control Design for an Air-breathing Engine with State Estimation

A nonlinear control design approach is presented in this paper for a challenging application problem of ensuring robust performance of an air-breathing engine operating at supersonic speed. The primary objective of control design is to ensure that the engine produces the required thrust that tracks the commanded thrust as closely as possible by appropriate regulation of the fuel flow rate. However, since the engine operates in the supersonic range, an important secondary objective is to ensure an optimal location of the shock in the intake for maximum pressure recovery with a sufficient margin. This is manipulated by varying the throat area of the nozzle. The nonlinear dynamic inversion technique has been successfully used to achieve both of the above objectives. In this problem, since the process is faster than the actuators, independent control designs have also been carried out for the actuators as well to assure the satisfactory performance of the system. Moreover, an extended Kalman Filter based state estimation design has been carried out both to filter out the process and sensor noises as well as to make the control design operate based on output feedback. Promising simulation results indicate that the proposed control design approach is quite successful in obtaining robust performance of the air-breathing system.

Below-ground processes in meadow soil under elevated ozone and carbon dioxide : - Greenhouse gas fluxes, N cycling and microbial communities

This thesis focuses on how elevated CO2 and/or O3 affect the below-ground processes in semi-natural vegetation, with an emphasis on greenhouse gases, N cycling and microbial communities. Meadow mesocosms mimicking lowland hay meadows in Jokioinen, SW Finland, were enclosed in open-top chambers and exposed to ambient and elevated levels of O3 (40-50 ppb) and/or CO2 (+100 ppm) for three consecutive growing season, while chamberless plots were used as chamber controls. Chemical and microbiological analyses as well as laboratory incubations of the mesocosm soils under different treatments were used to study the effects of O3 and/or CO2. Artificially constructed mesocosms were also compared with natural meadows with regards to GHG fluxes and soil characteristics. In addition to research conducted at the ecosystem level (i.e. the mesocosm study), soil microbial communities were also examined in a pot experiment with monocultures of individual species. By comparing mesocosms with similar natural plant assemblage, it was possible to demonstrate that artificial mesocosms simulated natural habitats, even though some differences were found in the CH4 oxidation rate, soil mineral N, and total C and N concentrations in the soil. After three growing seasons of fumigations, the fluxes of N2O, CH4, and CO2 were decreased in the NF+O3 treatment, and the soil NH4+-N and mineral N concentrations were lower in the NF+O3 treatment than in the NF control treatment. The mesocosm soil microbial communities were affected negatively by the NF+O3 treatment, as the total, bacterial, actinobacterial, and fungal PLFA biomasses as well as the fungal:bacterial biomass ratio decreased under elevated O3. In the pot survey, O3 decreased the total, bacterial, actinobacterial, and mycorrhizal PLFA biomasses in the bulk soil and affected the microbial community structure in the rhizosphere of L. pratensis, whereas the bulk soil and rhizosphere of the other monoculture, A. capillaris, remained unaffected by O3. Elevated CO2 caused only minor and insignificant changes in the GHG fluxes, N cycling, and the microbial community structure. In the present study, the below-ground processes were modified after three years of moderate O3 enhancement. A tentative conclusion is that a decrease in N availability may have feedback effects on plant growth and competition and affect the N cycling of the whole meadow ecosystem. Ecosystem level changes occur slowly, and multiplication of the responses might be expected in the long run.