A refinement calculus for logic programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.

Yield response of rice (Oryza sativa L.) genotypes to different types of drought under rainfed lowlands - Part 1. Grain yield and yield components

Responses of rice genotypes to drought stress may be different when characteristics of the drought stress environments differ. The performance of 128 genotypes was examined under irrigation and four different types of drought stress, to determine genotypic consistency in yield and factors determining yields under different drought stress conditions. The different drought conditions were mild drought during grain filling, short and severe drought at flowering, prolonged severe drought during the reproductive to grain filling, and prolonged mild drought during vegetative and grain filling. Genotypic grain yield under mild stress conditions was associated with yield under irrigated conditions, indicating the importance of potential yield in environments where the yield reduction was less than 50%. However, yields under irrigated conditions differed over time and locations. Under prolonged or severe drought conditions, flowering time was an important determinant of grain yield. Earlier flowering genotypes escaped the severe stress and had higher grain yields indicating large genotype by environment (G x E) interactions which have implications for plant breeding even for mild stress. It is suggested that variations in flowering time, potential yields and drought patterns need to be considered for development of drought-resistant cultivars using specific physiological traits. (C) 2002 Elsevier Science B.V. All rights reserved.

Tillering in grain sorghum over a wide range of population densities: Identification of a common hierarchy for tiller emergence, leaf area development and fertility

Most studies of tiller development have not related the physiological and morphological features of each calm to its subsequent fertility. This introduced problems when trying to account for the effects of tillering on yield in crop models. The objective of this study was to detect the most likely early determinants of tiller fertility in sorghum by identifying hierarchies for emergence, fertility and grain number of tillers over a wide range of assimilate availabilities. Emergence, phenology, leaf area development and dry weight partitioning were quantified weekly for individual tillers and main culms of tillering and uniculm plants grown at one of four densities, from two to 16 plants m(-2). For a given plant in any given density, the same tiller hierarchy applied for emergence of tillers, fertility of the emerged tillers and their subsequent grain number. These results were observed over a range of tiller fertility rates (from 7 to 91%), fertile tiller number per plant at maturity (from 0.2 to 4.7), and tiller contribution to grain yield (from 5 to 78%). Tiller emergence was most probably related to assimilate supply and light quality. Development, fertility and contribution to yield of a specific tiller were highly dependent on growing conditions at the time of tiller emergence, particularly via early leaf area development of the tiller, which affected its subsequent leaf area accumulation. Assimilate availability in the main culm at the time of tiller emergence was the most likely early determinant of subsequent tiller fertility in this study. (C) 2002 Annals of Botany Company.

Tillering in grain sorghum over a wide range of population densities: Modelling dynamics of tiller fertility

The prediction of tillering is poor or absent in existing sorghum crop models even though fertile tillers contribute significantly to grain yield. The objective of this study was to identify general quantitative relationships underpinning tiller dynamics of sorghum for a broad range of assimilate availabilities. Emergence, phenology, leaf area development and fertility of individual main calms and tillers were quantified weekly in plants grown at one of four plant densities ranging from two to 16 plants m(-2). On any given day, a tiller was considered potentially fertile (a posteriori) if its number of leaves continued to increase thereafter. The dynamics of potentially fertile tiller number per plant varied greatly with plant density, but could generally be described by three determinants, stable across plant densities: tiller emergence rate aligned with leaf ligule appearance rate; cessation of tiller emergence occurred at a stable leaf area index; and rate of decrease in potentially fertile tillers was linearly related to the ratio of realized to potential leaf area growth. Realized leaf area growth is the measured increase in leaf area, whereas potential leaf area growth is the estimated increase in leaf area if all potentially fertile tillers were to continue to develop. Procedures to predict this ratio, by estimating realized leaf area per plant from intercepted radiation and potential leaf area per plant from the number and type of developing axes, are presented. While it is suitable for modelling tiller dynamics in grain sorghum, this general framework needs to be validated by testing it in different environments and for other cultivars. (C) 2002 Annals of Botany Company.

The variety of variables in automated real-time refinement

The refinement calculus is a well-established theory for deriving program code from specifications. Recent research has extended the theory to handle timing requirements, as well as functional ones, and we have developed an interactive programming tool based on these extensions. Through a number of case studies completed using the tool, this paper explains how the tool helps the programmer by supporting the many forms of variables needed in the theory. These include simple state variables as in the untimed calculus, trace variables that model the evolution of properties over time, auxiliary variables that exist only to support formal reasoning, subroutine parameters, and variables shared between parallel processes.

Effect of type of grain and oil supplement on the performance, blood lipoproteins, egg cholesterol and fatty ccids of laying hens

The effects of type of grain (wheat vs. sorghum) and oil supplement/kg diet [0, 20g olive oil (OL), 20g safflower oil (SO), 10 g OL plus 10 g SO (OLSO)], over a 12-week period on the performance, plasma and lipoproteins lipids [cholesterol (C), triglycerides (TG), phospholipid (P)], and yolk C and fatty acids concentrations of laying hens were studied. Hens fed on the sorghum diet had significantly (P

Genotype and environment effects on dynamics of harvest index during grain filling in sorghum

An approach based on a linear rate of increase in harvest index (141) with time after anthesis has been used as a simple means-to predict grain growth and yield in many crop simulation models. When applied to diverse situations, however, this approach has been found to introduce significant error in grain yield predictions. Accordingly, this study was undertaken to examine the stability of the HI approach for yield prediction in sorghum [Sorghum bicolor (L.) Moench]. Four field experiments were conducted under nonlimiting water. and N conditions. The experiments were sown at times that ensured a broad range in temperature and radiation conditions. Treatments consisted of two population densities and three genotypes varying in maturity. Frequent sequential harvests were used to monitor crop growth, yield, and the dynamics of 111. Experiments varied greatly in yield and final HI. There was also a tendency for lower HI with later maturity. Harvest index dynamics also varied among experiments and, to a lesser extent, among treatments within experiments. The variation was associated mostly with the linear rate of increase in HI and timing of cessation of that increase. The average rate of HI increase was 0.0198 d(-1), but this was reduced considerably (0.0147) in one experiment that matured in cool conditions. The variations found in IN dynamics could be largely explained by differences in assimilation during grain filling and remobilization of preanthesis assimilate. We concluded that this level of variation in HI dynamics limited the general applicability of the HI approach in yield prediction and suggested a potential alternative for testing.

Structural refinement of systems specified in object-z and CSP

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Correlation between grain nutritional content and pasting properties of pre-gelatinized red rice flour

As with any variety of rice, red rice characteristics are subject to varietal differences, growing conditions, types of processing, and nutritional and rheological properties. This study determined the nutritional characteristics (centesimal composition and minerals) and paste viscosity properties of raw grains of four red rice genotypes (Tradicional MNAPB0405, MNACE0501 and MNACH0501) and the paste viscosity properties of pre-gelatinized flours obtained at different cooking times (20, 30 and 40 min). The main nutritional properties were correlated with the pasting properties of the pre-gelatinized flours. The samples showed differences in nutritional properties and paste viscosity. MNAPB0405 and MNACE0501 showed higher levels of fiber and fat and provided higher caloric energy than Tradicional and MNACH0501, which, in turn, showed higher levels of amylose. MNACH0501 showed higher peak viscosity (2402 cP), higher breakdown viscosity (696 cP) and a greater tendency to retrogradation (1510 cP), while Tradicional, MNAPB0405 and MNACE0501 had pasting profiles with peak viscosities varying between 855 and 1093 cP, breaking viscosity below 85 cP and retrogradation tendency between 376 and 1206 cP. The factors genotype and cooking time influenced the rheological behavior of pre-gelatinized flours, decreasing their pasting properties. The protein and amylose levels are correlated with the pasting properties and can be used as indicators of these properties in different genotypes of red rice, whether raw or processed into pre-gelatinized flours.

Thermal degradation of Pb(Zr0.53Ti0.47)O3/poly(vinylidene fluoride) composites as a function of ceramic grain size and concentration

Poly(vinylidene fluoride)/Pb(Zr0.53Ti0.47)O3,([PVDF]1−x/[PZT]x) composites of volume fractions x and (0–3) type connectivity were prepared in the form of thin films. PZT powders with average grain sizes of 0.2, 0.84, and 2.35 μm in different volume fraction of PZT up to 40 % were mixed with the polymeric matrix. The influence of the inorganic particle size and its content on the thermal degradation properties of the composites was then investigated by means of thermo-gravimetric analysis. It is observed that filler size affects more than filler concentration the degradation temperature and activation energy of the polymer. In the same way and due to their larger specific area, smaller particles leave larger solid residuals after the polymer degradation. The polymer degradation mechanism is not significantly modified by the presence of the inorganic fillers. On the other hand, an inhibition effect occurs due to the presence of the fillers, affecting particularly the activation energy of the process.

Action of auxin inhibitors on growth and grain yield of soybean

Soybean genotypes grown in sub-tropical climate may exhibit lodging. The plant lodging is influenced by soil type and fertility level, sowing date, latitude and altitude of the location, plant population and conditions of crop development. Plant regulators and herbicides are able to avoid or reduce plant lodging. This study aimed to verify the effects of the growth regulators TIBA and daminozide on vegetative growth and yield of soybean cultivar CD 214 RR. The experiment was carried out at a field in randomized block design with four replications in a factorial scheme. The A factor was represented by the combination of regulators TIBA and daminozide and its concentrations, and the Factor B was seven times of evaluation of injury and plant height or eight times of evaluation of lodging. In the range of doses used, the application of daminozide resulted in greater injury to soybean plants than TIBA. The smaller plant height was achieved by the application of 6 g ha-1 of TIBA and 1200 g ha-¹ of daminozide. Treatments with daminozide (100 g ha-¹) and TIBA (10 g ha-1) stood out due to the reduced lodging of soybean plants. Grain weight increased linearly when the levels of TIBA increased. There was a negative correlation between lodging and grain yield and a positive correlation between plant height and lodging. There was also a negative correlation between injury caused by the application of plant regulators and lodging.

Selection of common bean lines with high grain yield and high grain calcium and iron concentrations

Genetic improvement of common bean nutritional quality has advantages in marketing and can contribute to society as a food source. The objective of this study was to evaluate the genetic variability for grain yield, calcium and iron concentrations in grains of inbred common bean lines obtained by different breeding methods. For this, 136 F7 inbred lines were obtained using the Pedigree method and 136 F7 inbred lines were obtained using the Single-Seed Descent (SSD) method. The lines showed genetic variability for grain yield, and concentrations of calcium and iron independently of the method of advancing segregating populations. The Pedigree method allows obtaining a greater number of lines with high grain yield. Selection using the SSD method allows the identification of a larger number of lines with high concentrations of calcium and iron in grains. Weak negative correlations were found between grain yield and calcium concentration (r = -0.0994) and grain yield and iron concentration (r = -0.3926). Several lines show genetic superiority for grain yield and concentrations of calcium and iron in grains and their selection can result in new common bean cultivars with high nutritional quality.

Phenotypic correlations and path analysis for plant architecture traits and grain production in three generations of cowpea

ABSTRACT The objective of this study was to analyze the phenotypic correlation and path analysis of traits related to plant architecture, earliness and grain yield in F2, BC1 and BC2 generations, from crosses between cowpea cultivars BRS Carijó and BR14 Mulato. Most phenotypic correlations of the examined traits were concordant in statistical significance, with approximate values ​​among the examined generations. For the trait seed weight, significant and positive phenotypic correlations were observed in the three generations only for the trait number of secondary branches. The values ​​of the direct effects were in agreement with the values ​​of the phenotypic correlations, which indicate true association by the phenotypic correlation among the traits of grain yield examined. Path analysis indicated that the selection of productive plants will result in early plants and an increased number of secondary branches. In F2, plants with shorter length of the main branch and shorter length of secondary branches can be obtained. The causal model explained 15 to 30% of the total variation in grain weight in relation to the traits examined. The analyses indicated the possibility of selecting plants with a higher and early grain yield, shorter length of primary branches and lower number of nodes, which are important variables for mechanical or semi-mechanical harvesting.

The role of discriminant analysis in the refinement of customer satisfaction assessment

OBJECTIVE: To test discriminant analysis as a method of turning the information of a routine customer satisfaction survey (CSS) into a more accurate decision-making tool. METHODS: A 7-question, 10-multiple choice, self-applied questionnaire was used to study a sample of patients seen in two outpatient care units in Valparaíso, Chile, one of primary care (n=100) and the other of secondary care (n=249). Two cutting points were considered in the dependent variable (final satisfaction score): satisfied versus unsatisfied, and very satisfied versus all others. Results were compared with empirical measures (proportion of satisfied individuals, proportion of unsatisfied individuals and size of the median). RESULTS: The response rate was very high, over 97.0% in both units. A new variable, medical attention, was revealed, as explaining satisfaction at the primary care unit. The proportion of the total variability explained by the model was very high (over 99.4%) in both units, when comparing satisfied with unsatisfied customers. In the analysis of very satisfied versus all other customers, significant relationship was identified only in the case of the primary care unit, which explained a small proportion of the variability (41.9%). CONCLUSIONS: Discriminant analysis identified relationships not revealed by the previous analysis. It provided information about the proportion of the variability explained by the model. It identified non-significant relationships suggested by empirical analysis (e.g. the case of the relation very satisfied versus others in the secondary care unit). It measured the contribution of each independent variable to the explanation of the variation of the dependent one.