Structuring real-time Object-Z specifications

This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z's notion of object instantiation and introducing a parallel composition operator similar to those found in process algebras. The parallel composition operator approach is both more concise and allows more general modelling of concurrency. Its incorporation into the existing semantics of real-time Object-Z is presented.

A preliminary phylogeny of the scale insects (Hemiptera : Sternorrhyncha : Coccoidea) based on nuclear small-subunit ribosomal DNA

Scale insects (Hemiptera: Sternorrhyncha: Coccoidea) are a speciose and morphologically specialized group of plant-feeding bugs in which evolutionary relationships and thus higher classification are controversial. Sequences derived from nuclear small-subunit ribosomal DNA were used to generate a preliminary molecular phylogeny for the Coccoidea based on 39 species representing 14 putative families. Monophyly of the archaeococcoids (comprising Ortheziidae, Margarodidae sensu lato, and Phenacoleachia) was equivocal, whereas monophyly of the neococcoids was supported. Putoidae, represented by Puto yuccae, was found to be outside the remainder of the neococcoid clade. These data are consistent with a single origin (in the ancestor of the neococcoid clade) of a chromosome system involving paternal genome elimination in males. Pseudococcidae (mealybugs) appear to be sister to the rest of the neococcoids and there are indications that Coccidae (soft scales) and Kerriidae (lac scales) are sister taxa. The Eriococcidae (felt scales) was not recovered as a monophyletic group and the eriococcid genus Eriococcus sensu lato was polyphyletic. (C) 2002 Elsevier Science (USA). All rights reserved.

The large-scale distribution of neutral hydrogen in the Fornax region

Using data from the H I Parkes All Sky Survey (HIPASS), we have searched for neutral hydrogen in galaxies in a region similar to25x25 deg(2) centred on NGC 1399, the nominal centre of the Fornax cluster. Within a velocity search range of 300-3700 km s(-1) and to a 3sigma lower flux limit of similar to40 mJy, 110 galaxies with H I emission were detected, one of which is previously uncatalogued. None of the detections has early-type morphology. Previously unknown velocities for 14 galaxies have been determined, with a further four velocity measurements being significantly dissimilar to published values. Identification of an optical counterpart is relatively unambiguous for more than similar to90 per cent of our H I galaxies. The galaxies appear to be embedded in a sheet at the cluster velocity which extends for more than 30degrees across the search area. At the nominal cluster distance of similar to20 Mpc, this corresponds to an elongated structure more than 10 Mpc in extent. A velocity gradient across the structure is detected, with radial velocities increasing by similar to500 km s(-1) from south-east to north-west. The clustering of galaxies evident in optical surveys is only weakly suggested in the spatial distribution of our H I detections. Of 62 H I detections within a 10degrees projected radius of the cluster centre, only two are within the core region (projected radius

An agent-based approach to modelling driver route choice behaviour under the influence of real-time information

This paper presents an agent-based approach to modelling individual driver behaviour under the influence of real-time traffic information. The driver behaviour models developed in this study are based on a behavioural survey of drivers which was conducted on a congested commuting corridor in Brisbane, Australia. Commuters' responses to travel information were analysed and a number of discrete choice models were developed to determine the factors influencing drivers' behaviour and their propensity to change route and adjust travel patterns. Based on the results obtained from the behavioural survey, the agent behaviour parameters which define driver characteristics, knowledge and preferences were identified and their values determined. A case study implementing a simple agent-based route choice decision model within a microscopic traffic simulation tool is also presented. Driver-vehicle units (DVUs) were modelled as autonomous software components that can each be assigned a set of goals to achieve and a database of knowledge comprising certain beliefs, intentions and preferences concerning the driving task. Each DVU provided route choice decision-making capabilities, based on perception of its environment, that were similar to the described intentions of the driver it represented. The case study clearly demonstrated the feasibility of the approach and the potential to develop more complex driver behavioural dynamics based on the belief-desire-intention agent architecture. (C) 2002 Elsevier Science Ltd. All rights reserved.

Local-global processing in early-onset schizophrenia: Evidence for an impairment in shifting the spatial scale of attention

In this study we report the results of two experiments on visual attention conducted with patients with early-onset schizophrenia. These experiments investigated the effect of irrelevant spatial-scale information upon the processing of relevant spatial-scale information, and the ability to shift the spatial scale of attention, across consecutive trials, between different levels of the hierarchical stimulus. Twelve patients with early-onset schizophrenia and matched controls performed local-global tasks under: (1) directed attention conditions with a consistency manipulation and (2) divided-attention conditions. In the directed-attention paradigm, the early-onset patients exhibited the normal patterns of global advantage and interference, and were not unduly affected by the consistency manipulation. Under divided-attention conditions, however, the early-onset patients exhibited a local-processing deficit. The source of this local processing deficit lay in the prolonged reaction time to local targets, when these had been preceded by a global target, but not when preceded by a local target. These findings suggest an impaired ability to shift the spatial scale of attention from a global to a local spatial scale in early-onset schizophrenia. (C) 2003 Elsevier Science (USA). All rights reserved.

Late Quaternary Milankovitch-scale climatic change and variability and its impact on monsoonal Australasia

Four pollen and charcoal records derived from marine cores around the northern perimeter of Australia are examined to provide a regional picture of patterns, causes and impacts of climate change over the last 100-300 ka. The availability of radiocarbon dates and oxygen isotope records for the cores provides primary chronological control. Spectral analysis of components of these records demonstrates an overall importance of Milankovitch frequencies with clear glacial-interglacial cyclicity dominated by variation in precipitation. In addition, a number of pollen taxa, as well as charcoal particles, exhibit a 30 ka frequency that is considered, from its relationship with biomass burning and with results of past modelling, to reflect changes in the intensity of El Nino-Southern Oscillation (ENSO) variability. Pollen components of all records show a decline, frequently stepwise, in more fire-sensitive vegetation and its replacement with more fire-tolerant vegetation. There is some evidence that this trend is linked to an onset or general increase in ENSO activity and perhaps also to variation in monsoon activity dating from about 300 ka BP that was caused by changes to oceanic circulation within the Indonesian region. The trend may have accelerated within the last 45 ka due to burning by indigenous people. (C) 2003 Elsevier B.V. All rights reserved.

Apiomorpha gullanae sp n., an unusual new species of gall-inducing scale insect (Hemiptera : Eriococcidae)

An unusual new species of the gall-inducing scale insect genus Apiomorpha Rubsaamen is described from Queensland. The adult female, its gall, and the first-instar nymph (crawler) are illustrated, and relationships of the new species are estimated using mitochondrial COII data. Adult females induce cigar-shaped galls on leaves of several eucalypts in section Adnataria of subgenus Symphyomyrtus. The bilobed anal lobes of the adult female differ from those of all other Apiomorpha species (single lobe) and the first-instar nymph possesses features, such as broad frontal tubercles and dorsal stripes, that are not present in crawlers of other Apiomorpha species. However, DNA sequence data confirm that the new species falls within Apiomorpha, rather than representing a sister group, and indicate that the new species is not closely related to the A. pharetrata (Schrader) species-group, the only other group within Apiomorpha that induces cigar-shaped galls on leaves. The systematic affiliations of A. gullanae sp. n. are currently not known. Females only are known and there is some indication that reproduction in the new taxon is parthenogenetic. This represents the first putative case of parthenogenesis in Apiomorpha.

Real exchange rate and elasticity of labour supply in a balance-of-payments-constrained macrodynamics

A macrodynamic model is proposed in which the real exchange rate and the elasticity of labour supply interact defining different trajectories of growth and income distribution in a developing economy. Growth depends on imports of capital goods which are paid with exports (there are no capital flows) and hence is constrained by equilibrium in current account. The role of the elasticity of labour supply is to prevent the real exchange rate from appreciating as the economy grows, thereby sustaining international competitiveness. The model allows for endogenous technological change and considers the impact of migration from the subsistence to the modern sector on the cumulative (Kaldor-Verdoorn) process of learning.

Hierarchical risk scale of agribusiness activities

This study aims to elaborate a hierarchical risk scale (HRS) of agricultural and cattle breeding activities and to classify the main agricultural crops and cattle breeding activities according to their risk levels. The research is characterized as exploratory and quantitative and was based on previous risk assessment (MARKOWITZ, 1952) and capital cost calculation (SHARPE, 1964) work for other business segments. The calculations on agricultural and cattle breeding data were processed for the period from 2000 to 2006. The used methods considers simplifications and adaptations needed to achieve the proposed objective. The final result, pioneering and embryonic, provides support to improve the management of these activities that are so essential to produce food for society.

Financial leverage and tangibility of assets of Brazilian companies of agribusiness in the post-real plan period

This paper aims to study the relationship between the debt level and the asset structure of Brazilian companies of the agribusiness sector, since it is considered a current and relevant discussion: to evaluate the mechanisms for fund-raising and guarantees. The methodology of Granger`s Causality test and Autoregressive Vectors was used to conduct a comparative analysis, applied to a financial database of companies with open capital of Brazilian agribusiness, in particular the agricultural sector and Fisheries and Food and Beverages in a period of 10 years (1997-2007) from quarterly series available in the database of Economatica(R). The results demonstrated that changes in leverage generate variations in the tangibility of the companies, a fact that can be explained by the large search of funding secured by fiduciary transfer of fixed assets, which facilitates access to credit by business of the Agribusiness sector, increasing the payment time and lowering interest rates.

Real-time monitoring and kinetic parameter estimation of the affinity interaction of jArtinM and rArtinM with peroxidase glycoprotein by the electrogravimetric technique

ArtinM is a D-mannose binding lectin that has been arousing increasing interest because of its biomedical properties, especially those involving the stimulation of Th1 immune response, which confers protection against intracellular pathogens The potential pharmaceutical applications of ArtinM have motivated the production of its recombinant form (rArtinM) so that it is important to compare the sugar-binding properties of jArtinM and rArtinM in order to take better advantage of the potential applications of the recombinant lectin. In this work, a biosensor framework based on a Quartz Crystal Microbalance was established with the purpose of making a comparative study of the activity of native and recombinant ArtinM protein The QCM transducer was strategically functionalized to use a simple model of protein binding kinetics. This approach allowed for the determination of the binding/dissociation kinetics rate and affinity equilibrium constant of both forms of ArtinM with horseradish peroxidase glycoprotein (HRP), a N-glycosylated protein that contains the trimannoside Man alpha 1-3[Man alpha 1-6]Man, which is a known ligand for jArtinM (Jeyaprakash et al, 2004). Monitoring of the real-time binding of rArtinM shows that it was able to bind HRP, leading to an analytical curve similar to that of jArtinM, with statistically equivalent kinetic rates and affinity equilibrium constants for both forms of ArtinM The lower reactivity of rArtinM with HRP than jArtinM was considered to be due to a difference in the number of Carbohydrate Recognition Domains (CRDs) per molecule of each lectin form rather than to a difference in the energy of binding per CRD of each lectin form. (C) 2010 Elsevier B V. All rights reserved