Template-based circuit understanding

When verifying or reverse-engineering digital circuits, one often wants to identify and understand small components in a larger system. A possible approach is to show that the sub-circuit under investigation is functionally equivalent to a reference implementation. In many cases, this task is difficult as one may not have full information about the mapping between input and output of the two circuits, or because the equivalence depends on settings of control inputs. We propose a template-based approach that automates this process. It extracts a functional description for a low-level combinational circuit by showing it to be equivalent to a reference implementation, while synthesizing an appropriate mapping of input and output signals and setting of control signals. The method relies on solving an exists/forall problem using an SMT solver, and on a pruning technique based on signature computation.

New evidence of the reproductive organs of Glossopteris based on permineralized fossils from Queensland, Australia. II: pollen-bearing organ Ediea gen. nov

Ediea homevalensis H. Nishida, Kudo, Pigg & Rigby gen. et sp. nov. is proposed for permineralized pollen-bearing structures from the Late Permian Homevale Station locality of the Bowen Basin, Queensland, Australia. The taxon represents unisexual fertile shoots bearing helically arranged leaves on a central axis. The more apical leaves are fertile microsporophylls bearing a pair of multi-branched stalks on their adaxial surfaces that each supports a cluster of terminally borne pollen sacs. Proximal to the fertile leaves there are several rows of sterile scale-like leaves. The pollen sacs (microsporangia) have thickened and dark, striate walls that are typical of the Arberiella type found in most pollen organs presumed to be of glossopterid affinity. An examination of pollen organs at several developmental stages, including those containing in situ pollen of the Protohaploxypinus type, provides the basis for a detailed analysis of these types of structures, which bear similarities to both compression/impression Eretmonia-type glossopterid microsporangiate organs and permineralized Eretmonia macloughlinii from Antarctica. These fossils demonstrate that at least some Late Permian pollen organs were simple microsporophyll-bearing shoot systems and not borne directly on Glossopteris leaves.

An Algorithm to Decide Feasibility of Linear Integer Constraints Occurrng in Decision Tables

Abstract-To detect errors in decision tables one needs to decide whether a given set of constraints is feasible or not. This paper describes an algorithm to do so when the constraints are linear in variables that take only integer values. Decision tables with such constraints occur frequently in business data processing and in nonnumeric applications. The aim of the algorithm is to exploit. the abundance of very simple constraints that occur in typical decision table contexts. Essentially, the algorithm is a backtrack procedure where the the solution space is pruned by using the set of simple constrains. After some simplications, the simple constraints are captured in an acyclic directed graph with weighted edges. Further, only those partial vectors are considered from extension which can be extended to assignments that will at least satisfy the simple constraints. This is how pruning of the solution space is achieved. For every partial assignment considered, the graph representation of the simple constraints provides a lower bound for each variable which is not yet assigned a value. These lower bounds play a vital role in the algorithm and they are obtained in an efficient manner by updating older lower bounds. Our present algorithm also incorporates an idea by which it can be checked whether or not an (m - 2)-ary vector can be extended to a solution vector of m components, thereby backtracking is reduced by one component.

Tissue culture of forest trees: Clonal multiplication of Eucalyptus grandis L

Axillary shoot proliferation was obtained using explants of Eucalyptus grandis L. juvenile and mature stages on a defined medium. Murashige and Skoog medium (MS) supplemented with benzyladenine (BA), naphthalene acetic acid (NAA) and additional thiamine. Excised shoots were induced to root on a sequence of three media: (1) White's medium containing indoleacetic acid (IAA), NAA and indole butyric acid; (IBA), (2) half-strength MS medium with charcoal and (3) half-strength MS liquid medium. The two types of explants differed in rooting response, with juvenile-derived shoots giving 60% rooting and adult-derived ones only 35%. Thus, the factors limiting cloning of selected trees in vitro are determined to be those controlling rooting of shoots in E. grandis.

Recovery and succession in a multi-species tropical seagrass meadow following experimental disturbance: the role of sexual and asexual reproduction

Recolonisation and succession in a multi-species tropical seagrass meadow was examined by creating gaps (50×50 cm) in the meadow and manipulating the supply of sexual and asexual propagules. Measurements of leaf shoot density and estimates of above-ground biomass were conducted monthly to measure recovery of gaps between September 1995 and November 1997. Measurements of the seeds stored in the sediment (seed bank) and horizontal rhizome growth of colonising species were also conducted to determine their role in the recovery process. Asexual colonisation through horizontal rhizome growth from the surrounding meadow was the main mechanism for colonisation of gaps created in the meadow. The seed bank played no role in recolonisation of cleared plots. Total shoot density and above-ground biomass (all species pooled) of cleared plots recovered asexually to the level of the undisturbed controls in 10 and 7 months, respectively. There was some sexual recruitment into cleared plots where asexual colonisation was prevented but seagrass abundance (shoot density and biomass) did not reach the level of unmanipulated controls. Seagrass species did not appear to form seed banks despite some species being capable of producing long-lived seeds. The species composition of cleared plots remained different to the undisturbed controls throughout the 26-month experiment. Syringodium isoetifolium was a rapid asexual coloniser of disturbed plots and remained at higher abundances than in the control treatments for the duration of the study. S. isoetifolium had the fastest horizontal rhizome growth of species asexually colonising cleared plots (6.9 mm day−1). Halophila ovalis was the most successful sexual coloniser but was displaced by asexually colonising species. H. ovalis was the only species observed to produce fruits during the study. Small disturbances in the meadow led to long-term (>2 years) changes in community composition. This study demonstrated that succession in tropical seagrass communities was not a deterministic process. Variations in recovery observed for different tropical seagrass communities highlighted the importance of understanding life history characteristics of species within individual communities to effectively predict their response to disturbance. A reproductive strategy involving clonal growth and production of long-lived, locally dispersed seeds is suggested which may provide an evolutionary advantage to plants growing in tropical environments subject to temporally unpredictable major disturbances such as cyclones

Ginger (Zingiber officinale) autotetraploids with improved processing quality produced by an in vitro colchicine treatment

Ginger autotetraploids were produced by immersing shoot tips in a 0.5% w/v colchicine, 2% v/v dimethyl sulfoxide solution for 2 h. Stomatal measurements were used as an early indicator of ploidy differences in culture with mean stomata length of tetraploids (49.2 μm) being significantly larger than the diploid (38.8 µm). Of the 500 shoot tips treated, 2% were characterised as stable autotetraploid lines following field evaluation over several seasons. Results were confirmed with flow cytometry and, of the 7 lines evaluated for distinctness and uniformity, 6 were solid tetraploid mutants and 1 was a periclinal chimera. Significant differences were noted between individual tetraploid lines in terms of shoot length, leaf length, leaf width, size of rhizome sections (knob weight) and fibre content. The solid autotetraploid lines had significantly wider, greener leaves than the diploids, they had significantly fewer but thicker shoots and, although ‘Queensland’ (the diploid parent from which the tetraploids were derived) had a greater total rhizome mass at harvest, its knob size was significantly smaller. From the autotetraploid lines, one line was selected for commercial release as ‘Buderim Gold’. It compared the most favourably with ‘Queensland’ in terms of the aroma/flavour profile and fibre content at early harvest, and had consistently good rhizome yield. More importantly it produced large rhizome sections, resulting in a higher recovery of premium grade confectionery ginger and a more attractive fresh market product.

First report of Tomato spotted wilt virus in chickpea (Cicer arietinum) in Australia

Tomato spotted wilt virus (genus Tospovirus) is recorded on chickpea (Cicer arietinum) in Australia for the first time. It caused shoot tip symptoms of wilting, necrosis, bunching and chlorosis, followed by premature death of plants.

In vitro Induction of Banana Autotetraploids by Colchicine Treatment of Micropropagated Diploids

Alternative breeding strategies, based on colchicine-induced autotetraploids, have been proposed as a means of introducing disease resistance into banana breeding programs. This paper describes techniques for the in vitro induction of banana autotetraploids by the use of colchicine on cultured explants. The technique can be readily applied and large numbers of autotetraploids produced. The optimum treatment involved immersing shoot tips in a 0.5% w/v colchicine solution for 2 h under aseptic conditions. Dimethyl sulfoxide (DMSO) was applied with the colchicine treatments to increase cell permeability and so absorption of colchicine, resulting in the optimum treatment unchanged at 0.5% colchicine, but including the addition of 2% v/v DMSO. Of the shoot tips treated over 30% were induced to the autotetraploid level. Methods for in vitro selection of induced tetraploids from treated diploid plantlets were also developed. Tetraploid plants were more robust with thicker pseudostems, roots and broader leaves than diploids and they could be selected on these morphological characteristics. Mean stornatal lengths of diploid banana plants growing in vitro were significantly smaller (16.0 pm) than the tetraploids (26.9pm) and were used as a more reliable indicator of ploidy than morphological criteria alone. A root tip squash technique using carbol fuchsin was developed for positive confirmation of ploidy change by chromosome counts. Although chimerism and reversion to the diploid form occurred, it was not considered a problem because of the large number of autotetraploids induced. Stable autotetraploids were recovered and established in the field and were characterised by their large, drooping leaves and thick pseudostems. They have retained these characteristics for more than 3 years in the field.

Field evaluation of micropropagated and conventionally propagated ginger in subtropical Queensland

The growth and performance of micropropagated ginger (Zingiber officinale Roscoe) was compared with 'seed'-derived plants in field trials conducted in south-eastern Queensland. In the first generation ex vitro, micropropagated plants had significantly (P<0.01) reduced rhizome yield with smaller knobs and more roots. Micropropagated plants had a greater (P<0.01) shoot: root (rhizome) ratio compared with seed-derived plants. Shoots from micropropagated plants were also significantly (P<0.01) smaller with a greater number of shoots per plant. The unusual shoot morphology of the micropropagated plants did not appear to be related to the presence of benzylaminopurine, a plant growth hormone added to the multiplication medium, as plants subcultured for 3 cycles on a hormone-free medium also exhibited similar characteristics. Seed collected from the micropropagated plants and seed-derived plants was harvested and, despite the micropropagated seed being significantly (P<0.01) smaller, by the second generation ex vitro there were no significant differences between the treatments. Factors that can improve rhizome size, while reducing production costs, need to be identified before micropropagated plants can be recommended for routine use in the ginger industry as a source of disease and pest-free planting material.

In Vitro Conditions for a Successful Biolistics transformation System of Pineapples (ananas comosus merr.), in 'Contributing to a Sustainable Future'

In order to develop an efficient and reliable biolistics transformation system for pineapples parameters need to be optimised for growth, survival and development of explants pre- and post transformation. We have optimised in vitro conditions for culture media for the various stages of plant and callus initiation and development, and for effective selection of putative transgenic material. Shoot multiplication and proliferation is best on medium containing MS basic nutrients and vitamins with the addition of 0.1 mg/L myo-inositol, 20 g/L sucrose, 2.5 mg/L BAP and 3 g/L Phytagel, followed by transfer to basic MS medium for further development. Callus production on leaf base explants is best on MS nutrients and vitamins, to which 10 mg/L of BAP and NAA each was added. Optimum explant age for bombardment is 17-35 week old callus, while a pre-bombardment osmoticum treatment in the medium is not required. By comparing several antibiotics as selective agent, it has been established that a two-step selection of 2 fortnightly sub-cultures on 50 μg/mL of geneticin in the culture medium, followed by monthly sub-cultures on 100 μg/mL geneticin is optimal for survival of transgenic callus. Shoot regeneration from callus cultures is optimal on medium containing MS nutrients and vitamins, 5% coconut water and 400 mg/L casein hydrolysate. Plants can be readily regenerated and multiplied from transgenic callus through organogenesis. Rooting of shoots does not require any additional plant hormones to the medium. A transformation efficiency of 1 – 3.5% can be achieved, depending on the gene construct applied.

Seasonal effects of foliar application of phosphonate on phosphonate translocation, in vitro pollen viability and pollen germination in `Hass' avocado (Persea americana Mill.)

Phosphonate fungicides are used widely in the control of diseases caused by Phytophthora cinnamomi Rands. For the most part phosphonate is seen as a safe to use on crops with phytotoxicity rare. However, recent research has shown that phosphonate has detrimental effects on the floral biology of some indigenous Australian plants. Since phosphonate fungicides are regularly used for the control of Phytophthora root rot in avocados, research was carried out to study the translocation of phosphonate fungicide in 'Hass' trees and any effects on their floral biology. Field-grown trees were sprayed with 0, 0.06 or 0.12 M mono-dipotassium phosphonate (pH 7.2) at summer flush maturity, floral bud break or anthesis. Following treatment, phosphonic acid concentrations were determined in leaves, roots, inflorescence rachi and flowers and in vitro pollen germination and pollen tube growth studied. Phosphonic acid concentration in the roots and floral parts was related to their sink strength at the respective times of application with concentration in roots highest (36.9.mg g±1) after treatment at summer flush maturity and in flowers (234.7 mg g±1) after treatment during early anthesis. Phosphonate at >0.03 M was found to be significantly phytotoxic to in vitro pollen germination and pollen tube growth. However, this rate gave a concentration far in excess of that measured in plant tissues following standard commercial applications of mono-dipotassium phosphonate fungicide. There was a small effect on pollen germination and pollen tube growth when 0.06 and 0.12 M mono-dipotassium phosphonate was applied during early anthesis. However, under favourable pollination and fruit set conditions it is not expected to have commercial impact on tree yield. However, there may be detrimental commercial implications from phosphonate sprays at early anthesis if unfavourable climatic conditions for pollination and fruit set subsequently occur. A commercial implication from this study is that phosphonic acid root concentrations can be elevated and maintained with strategic foliar applications of phosphonate fungicide timed to coincide with peaks in root sink strength. These occur at the end of the spring and summer flushes when shoot growth is relatively quiescent. Additional foliar applications may be advantageous in under high disease-pressure situations but where possible should be timed to minimize overlap with other significant growth events in the tree such as rapid inflorescence, and fruit development and major vegetative flushing.

Kirramyces viscidus sp. nov., a new eucalypt pathogen from tropical Australia closely related to the serious leaf pathogen, Kirramyces destructans

Kirramyces destructans is a serious pathogen causing a leaf, bud and shoot blight disease of Eucalyptus plantations in the subtropics and tropics of South-East Asia. During surveillance of eucalypt taxa trials in northern Queensland, symptoms resembling those of K. destructans were observed on Eucalyptus grandis and E. grandis × E. camaldulensis. Phylogenetic and morphological studies revealed that the Kirramyces sp. associated with these symptoms represents a new taxon described here as K. viscidus sp. nov., which is closely related to K. destructans. Plantation assessments revealed that while E. grandis from the Copperload provenance, collected in northern Queensland, recovered from disease, E. grandis × E. camaldulensis hybrids from South America were highly susceptible to infection by K. viscidus and are not recommended for planting in northern Queensland. Preliminary results suggest the fungus probably originates from Australia. K. viscidus is closely related to K. destructans and causes a disease with similar symptoms, suggesting that it could seriously damage Australian eucalypt plantations, especially those planted off-site.

Trehalose Toxicity in Cuscuta reflexa

a,a-Trehalose induced a rapid blackening of the terminal 2.5-centimeter region of excised Cuscuta relexa Roxb. vine. The incorporation of radioactivity from [I'C]glucose into alkali-insoluble fraction of shoot tip was markedly inhibited by 12 hours of trehalose feeding to an excised vine. This inhibition was confied to the apical segment of the vine in which cell elongation occurred. The rate of blackening of shoot tip explants was hastened by the addition of gibberellic acid A3, which promoted elongation growth of isolated Cuscuta shoot tips. The symptom of trehalose toxicity was duplicated by 2-deoxygucose, which has been shown to be a potent inhibitor of ceD wall synthesis in yeast. The observations suggest that trehalose interferes with the synthesis of ceDl wail polysaccharides, the chief component of which was presumed to be cellulose.

Ultraviolet radiation effects on fruit surface respiration and chlorophyll fluorescence

High-value fruit crops are exposed to a range of environmental conditions that can reduce fruit quality. Solar injury (SI) or sunburn is a common disorder in tropical, sub-tropical, and temperate climates and is related to: 1) high fruit surface temperature; 2) high visible light intensity; and, 3) ultraviolet radiation (UV). Positional changes in fruit that are caused by increased weight or abrupt changes that result from summer pruning, limb breakage, or other damage to the canopy can expose fruit to high solar radiation levels, increased fruit surface temperatures, and increased UV exposure that are higher than the conditions to which they are adapted. In our studies, we examined the effects of high fruit surface temperature, saturating photosynthetically-active radiation (PAR), and short-term UV exposure on chlorophyll fluorescence, respiration, and photosynthesis of fruit peel tissues from tropical and temperate fruit in a simulation of these acute environmental changes. All tropical fruits (citrus, macadamia, avocado, pineapple, and custard apple) and the apple cultivars 'Gala', 'Gold Rush', and 'Granny Smith' increased dark respiration (A0) when exposed to UV, suggesting that UV repair mechanisms were induced. The maximum quantum efficiency of photosystem II (Fv/Fm) and the quantum efficiency of photosystem II (ΦII) were unaffected, indicating no adverse effects on photosystem II (PSII). In contrast, 'Braeburn' apple had a reduced Fv/Fm with no increase in A0 on all sampling dates. There was a consistent pattern in all studies. When Fv/Fm was unaffected by UV treatment, A0 increased significantly. Conversely, when Fv/Fm was reduced by UV treatment, then A0 was unaffected. The pattern suggests that when UV repair mechanisms are effective, PSII is adequately protected, and that this protection occurs at the cost of higher respiration. However, when the UV repair mechanisms are ineffective, not only is PSII damaged, but there is additional short-term damage to the repair mechanisms, indicated by a lack of respiration to provide energy.

Quambalaria species associated with plantation and native eucalypts in Australia

This study aimed to determine which species of Quambalaria are associated with shoot blight symptoms on Corymbia spp. An additional aim was to determine the presence and impact of quambalaria shoot blight on Eucalyptus species used in plantation development in subtropical and tropical regions of eastern Australia. Surveys identified three Quambalaria spp. -Q. pitereka, Q. eucalypti and Q. cyanescens - from native and plantation eucalypts, as well as amenity plantings, including the first confirmed report of Q. eucalypti from Eucalyptus plantations in Australia. Symptom descriptions and morphological studies were coupled with phylogenetic studies using ITS rDNA sequence data. Quambalaria pitereka was the causal agent of blight symptoms on species and hybrids in the Corymbia complex. Quambalaria eucalypti was identified from Eucalyptus species and a single Corymbia hybrid. Quambalaria cyanescens was detected from native and plantation Corymbia spp.