Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Problems associated with spray drying of sugar-rich foods

Stickiness is a major reason that limits the spray drying of various sugar-rich food products. Higher hygroscopicity of amorphous powder, increase in solubility of sugars with temperature, and lower melting point and glass transition temperature, contribute to the stickiness problem. So far, the glass transition temperature has been widely accepted as a best indicator for stickiness. There are various manoeuvres that have been applied to spray dry such products. Some of them are the addition of drying aids, modification of drier design and use of mild drying temperature conditions. This review paper highlights the major research works that deal with the stickiness property of sugar-rich foods.

Mechanisms of biocontrol by Pantoea dispersa of sugar cane leaf scald disease caused by Xanthomonas albilineans

Albicidins, a family of phytotoxins and antibiotics produced by Xanthomonas albilineans, are important in sugar cane leaf scald disease development. The albicidin detoxifying bacterium Pantoea dispersa (syn. Erwinia herbicola) SB1403 provides very effective biocontrol against leaf scald disease in highly susceptible sugar cane cultivars. The P. dispersa gene (albD) for enzymatic detoxification of albicidin has recently been cloned and sequenced. To test the role of albicidin detoxification in biocontrol of leaf scald disease, albD was inactivated in P. dispersa by site-directed mutagenesis. The mutants, which were unable to detoxify albicidin, were less resistant to the toxin and less effective in biocontrol of leaf scald disease than their parent strain. This indicates that albicidin detoxification contributes to the biocontrol capacity of P. dispersa against X. albilineans. Rapid growth and ability to acidify media are other characteristics likely to contribute to the competitiveness of P. dispersa against X. albilineans at wound sites used to invade sugar cane.

A semi-empirical approach to optimise the quantity of drying aids required to spray dry sugar-rich foods

A semi-empirical linear equation has been developed to optimise the amount of maltodextrin additive (DE 6) required to successfully spray dry a sugar-rich product on the basis of its composition. Based on spray drying experiments, drying index values for individual sugars (sucrose, glucose, frutose) and citric acid were determined, and us;ng these index values an equation for model mixtures of these components was established. This equation has been tested with two sugar-rich natural products, pineapple juice and honey. The relationship was found to be valid for these products.

Comparative respiratory toxicity of particles produced by traffic and sugar cane burning

The impact of particle emissions by biomass burning is increasing throughout the world. We explored the toxicity of particulate matter produced by sugar cane burning and compared these effects with equivalent mass of traffic-derived particles. For this purpose, BALB/c mice received a single intranasal instillation of either distilled water (C) or total suspended particles (15 mu g) from an urban area (SP group) or biomass burning-derived particles (Bio group). Lung mechanical parameters (total, resistive and viscoelastic pressures, static elastance, and elastic component of viscoelasticity) and histology were analyzed 24h after instillation. Trace elements and polycyclic aromatic hydrocarbons (PAHs) metabolites of the two sources of particles were determined. All mechanical parameters increased similarly in both pollution groups compared with control, except airway resistive pressure, which increased only in Bio. Both exposed groups showed significantly higher fraction area of alveolar collapse, and influx of polymorphonuclear cells in lung parenchyma than C. The composition analysis of total suspended particles showed higher concentrations of PAHs and lower concentration of metals in traffic than in biomass burning-derived particles. In conclusion, we demonstrated that a single low dose of ambient particles, produced by traffic and sugar cane burning, induced significant alterations in pulmonary mechanics and lung histology in mice. Parenchymal changes were similar after exposure to both particle sources, whereas airway mechanics was more affected by biomass-derived particles. Our results indicate that biomass particles were at least as toxic as those produced by traffic. (C) 2008 Elsevier Inc. All rights reserved.

Discordant Nadir GH After Oral Glucose and IGF-I Levels on Treated Acromegaly: Refining the Biochemical Markers of Mild Disease Activity

Biochemical markers for remission on acromegaly activity are controversial. We studied a subset of treated acromegalic patients with discordant nadir GH levels after oral glucose tolerance test (oGTT) and IGF-I values to refine the current consensus on acromegaly remission. We also compared GH results by two GH immunoassays. From a cohort of 75 treated acromegalic patients, we studied 13 patients who presented an elevated IGF-I despite post-oGTT nadir GH of <= 1 mu g/l. The 12-h daytime GH profile (GH-12 h), nadir GH after oGTT, and basal IGF-I levels were studied in patients and controls. Bland-Altman method showed high concordance between GH assays. Acromegalic patients showed higher mean GH-12 h values (0.71+/-0.36 vs. 0.31+/-0.28 mu g/l; p<0.05) and nadir GH after oGTT (0.48+/-0.32 vs. 0.097+/-0.002 mu g/l; p<0.05) as compared to controls. Nadir GH correlated with mean GH-12 h (r=0.92, p<0.05). The mean GH-12 h value from upper 95% CI of controls (0.54 mu g/l) would correspond to a theoretical normal nadir GH of <= 0.27 mu g/l. Patients with GH nadir <= 0.3 mu g/l had IGF-I between 100-130% ULNR (percentage of upper limit of normal range) and mean GH-12 h of 0.35+/-0.15, and patients with GH nadir >0.3 and <= 1 mu g/l had IGF-I >130% ULNR and mean GH-12 h of 0.93+/-0.24 mu g/l. Our data integrate daytime GH secretion, nadir GH after oGTT, and plasma IGF-I concentrations showing a continuum of mild residual activity in a subgroup of treated acromegaly with nadir GH values <= 1 mu g/l. The degree of increased IGF-I levels and nadir GH after oGTT are correlated with the subtle abnormalities of daytime GH secretion.

A dynamic model with on-line identification for rotary sugar drying processes

A dynamic modelling methodology, which combines on-line variable estimation and parameter identification with physical laws to form an adaptive model for rotary sugar drying processes, is developed in this paper. In contrast to the conventional rate-based models using empirical transfer coefficients, the heat and mass transfer rates are estimated by using on-line measurements in the new model. Furthermore, a set of improved sectional solid transport equations with localized parameters is developed in this work to reidentified on-line using measurement data, the model is able to closely track the dynamic behaviour of rotary drying processes within a broad range of operational conditions. This adaptive model is validated against experimental data obtained from a pilot-scale rotary sugar dryer. The proposed modelling methodology can be easily incorporated into nonlinear model based control schemes to form a unified modelling and control framework.place the global correlation for the computation of solid retention time. Since a number of key model variables and parameters are identified on-line using measurement data, the model is able to closely track the dynamic behaviour of rotary drying processes within a broad range of operational conditions. This adaptive model is validated against experimental data obtained from a pilot-scale rotary sugar dryer. The proposed modelling methodology can be easily incorporated into nonlinear model based control schemes to form a unified modelling and control framework.

Lipid, sugar and liposaccharide based delivery systems

Although there are formidable barriers to the oral delivery of biologically active drugs, considerable progress in the field has been made, using both physical and chemical strategies of absorption enhancement. A possible method to enhance oral absorption is to exploit the phenomenon of lipophilic modification and mono and oligosaccharide conjugation. Depending on the uptake mechanism targeted, different modifications can be employed. To target passive diffusion, lipid modification has been used, whereas the targeting of sugar transport systems has been achieved through drugs conjugated with sugars. These drug delivery units can be specifically tailored to transport a wide variety of poorly absorbed drugs through the skin, and across the barriers that normally inhibit absorption from the gut or into the brain. The delivery system can be conjugated to the drug in such a way as to release the active compound after it has been absorbed (i.e. the drug becomes a prodrug), or to form a biologically stable and active molecule (i.e. the conjugate becomes a new drug moiety). Examples where lipid, sugar and lipid-sugar conjugates have resulted in enhanced drug delivery will be highlighted in this review.

Factors affecting cane yield and commercial cane sugar in the Tully district

The Tully Sugar Mill has collected information about sugarcane supplied for crushing from every block in the mill district from 1970 to 1999. Data from 1988 to 1999 were analysed to understand the extent of the variation in cane yield per hectare and commercial cane sugar in the Tully mill area. The key factors influencing the variation in cane yield and commercial cane sugar in this commercial environment were identified and the variance components computed using a restricted maximum likelihood methodology. Cane yield was predominantly influenced by the year in which it was harvested, the month when the crop was ratooned (month of harvest in the previous year) and the farm of origin. These variables were relatively more important than variety, age of crop or crop class (plant crop, first ratoon through to fourth or older ratoons) and fallowing practice (fallow or ploughout-replant). The month-of-ratooning effect was relatively stable from year-to-year. Commercial cane sugar was influenced by the year of harvest, the month of harvest and their interaction, in that the influence of the month of harvest varied from year to year. Variety and farm differences were also significant but accounted for a much lower portion of the variation in commercial cane sugar. An empirical model was constructed from the key factors that influenced commercial cane sugar and cane yield to quantify their combined influence on sugar yield (t/ha). This may be used to assist mill personnel to predict their activities more accurately, for example to calculate the impact of a late finish to the current harvest season on the following year's crop.

Nomenclature of the GLUT/SLC2A family of sugar/polyol transport facilitators

The recent identification of several additional members of the family of sugar transport facilitators (gene symbol SLC2A, protein symbol GLUT) has created a heterogeneous and, in part, confusing nomenclature. Therefore, this letter provides a summary of the family members and suggests a systematic nomenclature for SLC2A and GLUT symbols.

Resistance to Fiji disease in sugar cane: Role of cultivar preference by planthopper vector Perkinsiella saccharicida (Homoptera : Delphacidae)

Fiji disease (FD) of sugar cane caused by Fiji disease virus (FDV) is transmitted by the planthopper Perkinsiella saccharicida Kirkaldy (Hemiptera: Delphacidae). FD is effectively managed by using resistant cultivars, but whether the resistance is for the vector or for the Virus is Unknown. This knowledge would help develop a rapid and reliable glasshouse-based screening method for disease resistance. Sugar cane cultivars resistant, intermediate, and susceptible to FD were screened in a glasshouse, and the relationship between vector preferences and FD incidence was studied. Cultivar preference by nymphs increased with an increase in cultivar susceptibility to FD, but the relationship between adult preference and FD resistance was not significant. There was a positive correlation between the vector population and FD incidence, and the latent period for symptom expression declined with the increase in the vector populations. FD incidence in the glasshouse trial reflected the field-resistance status of sugar cane cultivars with known FD-resistance scores. The results suggest that resistance to FD in sugar cane is mediated by cultivar preference of the plant-hopper vector.