White stem borer damage and grain yield in irrigated rice in West Java, Indonesia

Factors influencing the relationship between whiteheads caused by the white stem borer Scirpophaga innotata (Walker) and grain yield were investigated. We determined the effect of different numbers of whiteheads on grain yield using different cultivars, nitrogen application, and at different field locations in Cilamaya, West Java. At the same number of panicles and whiteheads per plant, yield reduction is greater in cisadane than in IR64. With increasing nitrogen application, the range in panicle height increased. Except for Ketan, more whiteheads were recorded in shorter panicles. Two locations planted to the same cultivar showed different relationships between whiteheads and grain yield. The relationship between whiteheads and grain yield depends on the distribution of whiteheads in the field. Unless these factors have been taken into consideration, it may be difficult to make a damage prediction of white stem borer in the field. (C) 1997 Published by Elsevier Science Ltd.

Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.

Precursor scavenging of the resistive grain-boundary phase in 8 mol% yttria-stabilized zirconia: Effect of trace concentrations of SiO2

The influence that trace concentrations Of SiO2 have on improving grain-boundary conduction via precursor scavenging using additional heat treatment at 1200 degreesC for 40 h before sintering was investigated. At a SiO2-impurity level (SIL) less than or equal to 160 ppm by weight, the grain-boundary resistivity (p(gb)) decreased to 20% of its value, while no improvement in grain-boundary conduction was found at a SIL greater than or equal to 310 ppm. The correlation between the resistance per unit grain-boundary area, p(gb), and average grain size indicated that the inhomogeneous distribution of the siliceous phase in the sample with a SIL greater than or equal to 310 ppm. hampered the scavenging reaction.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Genotype-by-management interactions for grain yield and grain protein concentration of wheat

The magnitude of genotype-by-management (G x M) interactions for grain yield and grain protein concentration was examined in a multi-environment trial (MET) involving a diverse set of 272 advanced breeding lines from the Queensland wheat breeding program. The MET was structured as a series of management-regimes imposed at 3 sites for 2 years. The management-regimes were generated at each site-year as separate trials in which planting time, N fertiliser application rate, cropping history, and irrigation were manipulated. irrigation was used to simulate different rainfall regimes. From the combined analysis of variance, the G x M interaction variance components were found to be the largest source of G x E interaction variation for both grain yield (0.117 +/- 0.005 t(2) ha(-2); 49% of total G x E 0.238 +/- 0.028 t(2) ha(-2)) and grain protein concentration (0.445 +/- 0.020%(2); 82% of total G x E 0.546 +/- 0.057%(2)), and in both cases this source of variation was larger than the genotypic variance component (grain yield 0.068 +/- 0.014 t(2) ha(-2) and grain protein 0.203 +/- 0.026%(2)). The genotypic correlation between the traits varied considerably with management-regime, ranging from -0.98 to -0.31, with an estimate of 0.0 for one trial. Pattern analysis identified advanced breeding lines with improved grain yield and grain protein concentration relative to the cultivars Hartog, Sunco and Meteor. It is likely that a large component of the previously documented G x E interactions for grain yield of wheat in the northern grains region are in part a result of G x M interactions. The implications of the strong influence of G x M interactions for the conduct of wheat breeding METs in the northern region are discussed. (C) 2001 Elsevier Science B.V. All rights reserved.

Scavenging of siliceous grain-boundary phase of 8-mol%-ytterbia-stabilized zirconia without additive

The grain-boundary conductivity (sigma (gb),) of 8-mol%-ytterbiastabilized zirconia increased markedly with heat treatment between 1000 degrees and 1300 degreesC with a slow heating rate (0.1 degreesC/min) before sintering. The extent of the sigma (gb) improvement was the same or larger than that via Al2O3 addition. The heat treatment did not affect the grain-interior conduction when sintered at 1600 degreesC, while Al2O3-derived scavenging significantly did, given the larger increment of total conductivity in the heat-treated sample. The formation of a silicon-containing phase in a discrete form was suggested as a possible route of scavenging the resistive phase from the correlation between average grain size and sigma (gb).

Stay-green: A consequence of the balance between supply and demand for nitrogen during grain filling?

Retention of green leaf area in grain sorghum under post-anthesis drought, known as stay-green, is associated with greater biomass production, lodging resistance and yield. The stay-green phenomenon can be examined at a cell, leaf, or whole plant level. At a cell level, the retention of chloroplast proteins such as LHCP2, OEC33 and Rubisco until late in senescence has been reported in sorghum containing the KS19 source of stay-green, indicating that photosynthesis may be maintained for longer during senescence in these genotypes. At a leaf level, longevity of photosynthetic apparatus is intimately related to nitrogen (N) status. At a whole plant level, stay-green can be viewed as a consequence of the balance between N demand by the grain and N supply during grain filling. To examine some of these concepts, nine hybrids varying in the B35 and KS19 sources of stay-green were grown under a postanthesis water deficit. Genotypic variation in delayed onset and reduced rate of leaf senescence were explained by differences in specific leaf nitrogen (SLN) and N uptake during grain filling. Matching N supply from age-related senescence and N uptake during grain tilling with grain N demand found that the shortfall in N supply for grain filling was greater in the senescent than stay-green hybrids, resulting in more accelerated leaf senescence in the former. We hypothesise that increased N uptake by stay-green hybrids is a result of greater biomass accumulation during grain filling in response to increased sink demand (higher grain numbers) which, in turn, is the result of increased radiation use efficiency and transpiration efficiency due to higher SLN. Delayed leaf senescence resulting from higher SLN should, in turn, allow snore carbon and nitrogen to be allocated to the roots of stay-green hybrids during grain filling, thereby maintaining a greater capacity to extract N from the soil compared with senescent hybrids.

Precursor scavenging of resistive grain-boundary phase in 8 mol % ytterbia-stabilized zirconia

The grain-boundary conduction of 8 mol % ytterbia-stabilized zirconia (8YbSZ) was improved markedly by precursor scavenging via the two-stage sintering process. The most significant increase in the grain-boundary conductivity was found when the sample, whose conductivity was higher than that via Al2O3-derived scavenging, was heat-treated at 1250degreesC for greater than or equal to 20 h. The formation of a stable Si-containing phase such as ZrSiO4 during the first-stage heat-treatment was suggested as one probable scavenging route from the optimal heat-treatment temperature (HTT), long duration time (>20 h) at HTT, and the stability of the formed phase up to sintering temperatures (1500degrees C). (C) 2002 The Electrochemical Society.

Genetic linkage analysis of the lesser grain borer Rhyzopertha dominica identifies two loci that confer high-level resistance to the fumigant phosphine

High levels of inheritable resistance to phosphine in Rhyzopertha dominica have recently, been detected in Australia and hi art effort to isolate the genes responsible For resistance we have used random amplified DNA fingerprinting (RAF) to produce a genetic linkage map of R. dominica. The map consists of 94 dominant DNA markers with art average distance between markers of 4.6 cM and defines nine linkage groups with a total recombination distance of 390.1 cM. We have identified two loci that are responsible for high-level resistance. One provides similar to50x resistance to phosphine while the other provides 12.5x resistance and in combination, the two genes act synergistically to provide a resistance level 250 x greater than that of fully susceptible beetles. The haploid genome size has been determined to be 4.76 x 10(8) bp, resulting in an average physical distance of 1.2 Mbp per map unit. No recombination has been observed between either of the two resistance loci and their adjacent DNA markers in a population of 44 fully resistant F-5 individuals, which indicates that the genes are likely to reside within 0.91 cM (1.1 Mbp) of the DNA markers.