A formal representation of assumptions in process modelling

In this work, we present a systematic approach to the representation of modelling assumptions. Modelling assumptions form the fundamental basis for the mathematical description of a process system. These assumptions can be translated into either additional mathematical relationships or constraints between model variables, equations, balance volumes or parameters. In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The smallest indivisible syntactical element, the so called assumption atom has been identified as a triplet. With this syntax a modelling assumption can be described as an elementary assumption, i.e. an assumption consisting of only an assumption atom or a composite assumption consisting of a conjunction of elementary assumptions. The above syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and necessary conditions for checking them are given. These transformations can be used in several ways and their implications can be analysed by formal methods. The modelling assumptions define model hierarchies. That is, a series of model families each belonging to a particular equivalence class. These model equivalence classes can be related to primal assumptions regarding the definition of mass, energy and momentum balance volumes and to secondary and tiertinary assumptions regarding the presence or absence and the form of mechanisms within the system. Within equivalence classes, there are many model members, these being related to algebraic model transformations for the particular model. We show how these model hierarchies are driven by the underlying assumption structure and indicate some implications on system dynamics and complexity issues. (C) 2001 Elsevier Science Ltd. All rights reserved.

Category-theoretic fibration as an abstraction mechanism in information systems

This paper examines the problem of establishing a formal relationship of abstraction and refinement between abstract enterprise models and the concrete information systems which implement them. It introduces and justifies a number of reasonableness requirements, which turn out to justify the use of category theoretic concepts, particularly fibrations, to precisely specify a semantics for enterprise models which enables them to be considered as abstractions of the conceptual models from which the implementing information systems are built. The category-theoretic concepts are developed towards the problem of testing whether a system satisfies the fibration axioms, and are applied to case studies to demonstrate their practicability.

A critical comparison of the external and internal boron requirements for contrasting species in boron-buffered solution culture

Despite reports that boron (B) requirements differ among plant species there is a shortage of critical evidence to demonstrate unequivocally whether species differ in internal or external B requirements or both. The present research was conducted to establish the external and internal B requirements of three contrasting species, a woody dicot (marri), an herbaceous dicot (sunflower) and a monocot (wheat) using B-buffered solution culture. Boron-buffered solution culture provided satisfactory control of external B concentrations ranging from 0.04 to 30 muM throughout the 20- (sunflower and wheat) or 40-day (marri) growth period. At low external B concentrations (less than or equal to 0.13 muM), the growth of marri and sunflower was severely depressed but by contrast the vegetative growth of wheat plants was satisfactory and free of B deficiency symptoms. Marri and sunflower plants achieved total maximum shoot growth at greater than or equal to1.2 muM B in solutions while wheat plants did so at greater than or equal to 0.6 muM B. The critical B concentrations (mg kg(-1) dry matter) in the youngest open leaf blades of marri, sunflower and wheat plants were 17.9, 19.7 and 1.2 on 20, 10 and 10 days after transplanting (DAT), respectively. Lower internal and external B requirements of wheat were matched by a lower uptake rate of B compared to marri and sunflower.

Breeding for low input conditions and consequences for participatory plant breeding: Examples from tropical maize and wheat

Participatory plant breeding (PPB) has been suggested as an effective alternative to formal plant breeding (FPB) as a breeding strategy for achieving productivity gains under low input conditions. With genetic progress through PPB and FPB being determined by the same genetic variables, the likelihood of success of PPB approaches applied in low input target conditions was analyzed using two case studies from FPB that have resulted in significant productivity gains under low input conditions: (1) breeding tropical maize for low input conditions by CIMMYT, and (2) breeding of spring wheat for the highly variable low input rainfed farming systems in Australia. In both cases, genetic improvement was an outcome of long-term investment in a sustained research effort aimed at understanding the detail of the important environmental constraints to productivity and the plant requirements for improved adaptation to the identified constraints, followed up by the design and continued evaluation of efficient breeding strategies. The breeding strategies used differed between the two case studies but were consistent in their attention to the key determinants of response to selection: (1) ensuring adequate sources of genetic variation and high selection pressures for the important traits at all stages of the breeding program, (2) use of experimental procedures to achieve high levels of heritability in the breeding trials, and (3) testing strategies that achieved a high genetic correlation between performance of germplasm in the breeding trials and under on-farm conditions. The implications of the outcomes from these FPB case studies for realizing the positive motivations for adopting PPB strategies are discussed with particular reference for low input target environment conditions.

Inorganic nitrogen requirements during shoot organogenesis in tobacco leaf discs

The role of nitrate, ammonium, and culture medium pH on shoot organogenesis in Nicotiana tabacum zz100 leaf discs was examined. The nitrogen composition of a basal liquid shoot induction medium (SIM) containing 39.4 mM NO3- and 20.6 mM NH4+ was altered whilst maintaining the overall ionic balance with Na+ and Cl- ions. Omission of total nitrogen and nitrate, but not ammonium, from SIM prevented the initiation and formation of shoots. When nitrate was used as the sole source of nitrogen, a high frequency of explants initiated and produced leafy shoots. However, the numbers of shoots produced were significantly fewer than the control SIM. Buffering nitrate-only media with the organic acid 2[N-morpholinol]thanesulphonic acid (MES) could not compensate for the omission of ammonium. Ammonium used as the sole source of nitrogen appeared to have a negative effect on explant growth and morphogenesis, with a significant lowering of media pH. Buffering ammonium-only media with MES stabilized pH and allowed a low frequency of explants to initiate shoot meristems. However, no further differentiation into leafy shoots was observed. The amount of available nitrogen appears to be less important than the ratio between nitrate and ammonium. Shoot formation was achieved with a wide range of ratios, but media containing 40 mM nitrate and 20 mM ammonium (70:30) produced the greatest number of shoots per explant. Results from this study indicate a synergistic effect between ammonium and nitrate on shoot organogenesis independent of culture medium pH.

Quantifying stresses and support requirements in the undercut and production level drifts of block and panel caving mines

A numerical modelling strategy has been developed in order to quantify the magnitude of induced stresses at the boundaries of production level and undercut level drifts for various in situ stress environments and undercut scenarios. The results of the stress modelling were in line with qualitative experiential guidelines and a limited number of induced stress measurements documented from caving sites. A number of stress charts were developed which quantify the maximum boundary stresses in drift roofs for varying in situ stress regimes, depths and undercut scenarios. This enabled many of the experiential guidelines to be quantified and bounded. A limited number of case histories of support and support performance in cave mine drifts were compared to support recommendations using the NGI classification system, The stress charts were used to estimate the Stress Reduction Factor for this system. The back-analyses suggested that the NGI classification system might be able to give preliminary estimates of support requirements in caving mines with modifications relating to rock bolt length and the support of production level intersections. (C) 2002 Elsevier Science Ltd. All rights reserved.

Reliability factors in business software: volatility, requirements and end-users

Many business-oriented software applications are subject to frequent changes in requirements. This paper shows that, ceteris paribus, increases in the volatility of system requirements decrease the reliability of software. Further, systems that exhibit high volatility during the development phase are likely to have lower reliability during their operational phase. In addition to the typically higher volatility of requirements, end-users who specify the requirements of business-oriented systems are usually less technically oriented than people who specify the requirements of compilers, radar tracking systems or medical equipment. Hence, the characteristics of software reliability problems for business-oriented systems are likely to differ significantly from those of more technically oriented systems.

Habitat requirements for the conservation of arboreal marsupials in dry sclerophyll forests of Southeast Queensland, Australia

The habitat requirements of arboreal marsupials were investigated in the dry sclerophyll forests of southeast Queensland, Australia. Species richness and abundance of arboreal marsupials was correlated to the proportion of total stand basal area occupied by lemon-scented gum (Corymbia citriodora), the height of the tallest trees, and density of hollow-bearing trees. The first two factors suggested that the most productive forests were also the most suitable habitats for arboreal marsupials. Importantly, the number of hollow-bearing trees was a significant factor in determining species richness and abundance of arboreal marsupials in this study, with the maximum number of species reached at sites containing greater than or equal to4 hollow-bearing trees/ha, and maximum abundance occurring at sites with :6 hollow-bearingtrees/ha. The proportion of C. citriodora was significant for the presence of the common brushtail possum (Trichosurus vulpecula), greater glider (Petauroides volans), and the yellow-bellied glider (Petaurus australis), while understory Acacia sp. density was important for the presence of the sugar glider (Petaurus breviceps). The yellow-bellied glider was also affected by two other variables: the density of hollow-bearing trees >50 cm diameter at breast height (dbh), and the time since the last logging. Current Codes of Practice regulating the density of hollow-bearing trees and silvicultural practices in state-owned timber production forests appear to provide adequate protection for arboreal marsupials, but the recently introduced increase in timber extraction rates within state forests may be detrimental to the animals. Also, protective prescriptions do not apply to the privately owned and leasehold estates, which contain the majority of the dry sclerophyll forests in southeast Queensland.

Differential requirements for COPI coats in formation of replication complexes among three genera of Picornaviridae

Picornavirus RNA replication requires the formation of replication complexes (RCs). consisting of virus-induced vesicles associated with viral nonstructural proteins and RNA. Brefeldin A (BFA) has been shown to strongly inhibit RNA replication of poliovirus but not of encephalomyocarditis virus (EMCV). Here, we demonstrate that the replication of parechovirus 1 (ParV1) is partly resistant to BFA, whereas echovirus 11 (EV11) replication is strongly inhibited. Since BFA inhibits COPI-dependent steps in endoplasmic reticulum (ER)-Golgi transport, we tested a hypothesis that different picornaviruses may have differential requirements for COPI in the formation of their RCs. Using immunofluorescence and cryo-immunoelectron microscopy we examined the association of a COPI component, beta-COP, with the RCs of EMCV, ParV1, and EV11 EMCV RCs did not contain beta-COP. In contrast, beta-COP appeared to be specifically distributed to the RCs of EV11 In ParV1-infected cells beta-COP was largely dispersed throughout the cytoplasm, with some being present in the RCs. These results suggest that there are differences in the involvement of COPI in the formation of the RCs of various picornaviruses, corresponding to their differential sensitivity to BFA. EMCV RCs are likely to be formed immediately after vesicle budding from the ER, prior to COPI association with membranes. ParV1 RCs are formed from COPI-containing membranes but COPI is unlikely to be directly involved in their formation, whereas formation of EV11 RCs appears to be dependent on COPI association with membranes.

A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.