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.

Structure development in octadecyl trimethylammonium templated silicate films grown at the air/water interface

The mechanism of growth of silicate films at the air/liquid interface has been investigated in situ by a series of grazing incidence diffraction experiments using a 20 x 25 cm(2) imaging plate as the detector. C(18)TAX (X = Br- or Cl-) has been used as the film templating surfactant. The formation of a layered phase, prior to growth of the hexagonal mesophase in C(18)TABr templated films. has been seen. This layered structure has a significantly shorter d spacing compared to the final hexagonal film (43 versus 48 Angstrom, respectively). The correlation lengths associated with the development of the hexagonal in-plane diffraction spots are much longer in-plane than perpendicular to the air/liquid interface (300 Angstrom versus 50 Angstrom). This implies that the film forms via the growth or aggregation of islands that are initially only a micelle or two thick. which then grow down into the solution.

A spectral-based cusum test of evolutionary change

We develop a test of evolutionary change that incorporates a null hypothesis of homogeneity, which encompasses time invariance in the variance and autocovariance structure of residuals from estimated econometric relationships. The test framework is based on examining whether shifts in spectral decomposition between two frames of data are significant. Rejection of the null hypothesis will point not only to weak nonstationarity but to shifts in the structure of the second-order moments of the limiting distribution of the random process. This would indicate that the second-order properties of any underlying attractor set has changed in a statistically significant way, pointing to the presence of evolutionary change. A demonstration of the test's applicability to a real-world macroeconomic problem is accomplished by applying the test to the Australian Building Society Deposits (ABSD) model.

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.

Genetic algorithms for design of liquid retaining structure

In this paper, genetic algorithm (GA) is applied to the optimum design of reinforced concrete liquid retaining structures, which comprise three discrete design variables, including slab thickness, reinforcement diameter and reinforcement spacing. GA, being a search technique based on the mechanics of natural genetics, couples a Darwinian survival-of-the-fittest principle with a random yet structured information exchange amongst a population of artificial chromosomes. As a first step, a penalty-based strategy is entailed to transform the constrained design problem into an unconstrained problem, which is appropriate for GA application. A numerical example is then used to demonstrate strength and capability of the GA in this domain problem. It is shown that, only after the exploration of a minute portion of the search space, near-optimal solutions are obtained at an extremely converging speed. The method can be extended to application of even more complex optimization problems in other domains.

Homomeric ring assemblies of eukaryotic Sm proteins have affinity for both RNA and DNA - Crystal structure of an oligomeric complex of yeast SmF

Sm and Sm-like proteins are key components of small ribonucleoproteins involved in many RNA and DNA processing pathways. In eukaryotes, these complexes contain seven unique Sm or Sm-like (Lsm) proteins assembled as hetero-heptameric rings, whereas in Archaea and bacteria six or seven-membered rings are made from only a single polypeptide chain. Here we show that single Sm and Lsm proteins from yeast also have the capacity to assemble into homo-oligomeric rings. Formation of homo-oligomers by the spliceosomal small nuclear ribonucleoprotein components SmE and SmF preclude hetero-interactions vital to formation of functional small nuclear RNP complexes in vivo. To better understand these unusual complexes, we have determined the crystal structure of the homomeric assembly of the spliceosomal protein SmF. Like its archaeal/bacterial homologs, the SmF complex forms a homomeric ring but in an entirely novel arrangement whereby two heptameric rings form a co-axially stacked dimer via interactions mediated by the variable loops of the individual SmF protein chains. Furthermore, we demonstrate that the homomeric assemblies of yeast Sm and Lsm proteins are capable of binding not only to oligo(U) RNA but, in the case of SmF, also to oligo(dT) single-stranded DNA.

Flexibility revealed by the 1.85 angstrom crystal structure of the beta sliding-clamp subunit of Escherichia coli DNA polymerase III

The beta subunit of the Escherichia coli replicative DNA polymerase III holoenzyme is the sliding clamp that interacts with the alpha (polymerase) subunit to maintain the high processivity of the enzyme. The beta protein is a ring-shaped dimer of 40.6 kDa subunits whose structure has previously been determined at a resolution of 2.5 Angstrom [Kong et al. (1992), Cell, 69, 425-437]. Here, the construction of a new plasmid that directs overproduction of beta to very high levels and a simple procedure for large-scale purification of the protein are described. Crystals grown under slightly modified conditions diffracted to beyond 1.9 Angstrom at 100 K at a synchrotron source. The structure of the beta dimer solved at 1.85 Angstrom resolution shows some differences from that reported previously. In particular, it was possible at this resolution to identify residues that differed in position between the two subunits in the unit cell; side chains of these and some other residues were found to occupy alternate conformations. This suggests that these residues are likely to be relatively mobile in solution. Some implications of this flexibility for the function of beta are discussed.

Characterisation of the three-dimensional structure of earthworm burrow systems using image analysis and mathematical morphology

The aim of this work was to exemplify the specific contribution of both two- and three-dimensional (31)) X-ray computed tomography to characterise earthworm burrow systems. To achieve this purpose we used 3D mathematical morphology operators to characterise burrow systems resulting from the activity of an anecic (Aporrectodea noctunia), and an endogeic species (Allolobophora chlorotica), when both species were introduced either separately or together into artificial soil cores. Images of these soil cores were obtained using a medical X-ray tomography scanner. Three-dimensional reconstructions of burrow systems were obtained using a specifically developed segmentation algorithm. To study the differences between burrow systems, a set of classical tools of mathematical morphology (granulometries) were used. So-called granulometries based on different structuring elements clearly separated the different burrow systems. They enabled us to show that burrows made by the anecic species were fatter, longer, more vertical, more continuous but less sinuous than burrows of the endogeic species. The granulometry transform of the soil matrix showed that burrows made by A. nocturna were more evenly distributed than those of A. chlorotica. Although a good discrimination was possible when only one species was introduced into the soil cores, it was not possible to separate burrows of the two species from each other in cases where species were introduced into the same soil core. This limitation, partly due to the insufficient spatial resolution of the medical scanner, precluded the use of the morphological operators to study putative interactions between the two species.

Hierarchical determinants of capital structure

We analyze the influence of time-, firm-, industry- and country-level determinants of capital structure. First, we apply hierarchical linear modeling in order to assess the relative importance of those levels. We find that time and firm levels explain 78% of firm leverage. Second, we include random intercepts and random coefficients in order to analyze the direct and indirect influences of firm/industry/country characteristics on firm leverage. We document several important indirect influences of variables at industry and country-levels on firm determinants of leverage, as well as several structural differences in the financial behavior between firms of developed and emerging countries. (C) 2010 Elsevier B.V. All rights reserved.

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.

The economic determinants of the Brazilian nominal term structure of interest rates

The purpose of this study is to identify the effects of monetary policy and macroeconomic shocks on the dynamics of the Brazilian term structure of interest rates. We estimate a near-VAR model under the identification scheme proposed by Christiano et al. (1996, 1999). The results resemble those of the US economy: monetary policy shocks that flatten the term structure of interest rates. We find that monetary policy shocks in Brazil explain a significantly larger share of the dynamics of the term structure than in the USA. Finally, we analyse the importance of standard macroeconomic variables (e. g. GDP, inflation and measure of country risk) to the dynamics of the term structure in Brazil.

The structure of worker compensation in Brazil, with a comparison to France and the United States

We employ comprehensive linked employer-employee data for Brazil to analyze wage determinants and compare results to Abowd et al. (2001) for French and U.S. manufacturing. While returns to human capita in Brazilian manufacturing exceed those of the other countries, occupation and gender differentials are similar. The worker-characteristics component accounts for much of the greater wage inequality in Brazil, but the establishment-fixed component has scant explanatory power. Thus, firm-or industry-level factors offer little scope for explaining the differences in wage inequality. Brazil`s wage structure resembles that of France, a country with some similarity in labor market institutions.

A costs structure analysis of the Brazilian sugar and ethanol companies

The Brazil consolidated itself as the largest world producer of sugarcane, sugar and ethanol. The creation of the Programa Nacional do Alcool - PROALCOOL and the growing use of cars with flexible motors were some of the factors that helped to motivate still more the production. Evolutions in the agricultural and industrial research did the Brazilian competitiveness in sugar and ethanol globally elevated, what is evidenced when comparing the amount produced at the country and the production costs, which turned a big one differential. Therefore, the administration of costs is of great relevance to the sugar and ethanol companies, for representing a significant rationalization in the production processes, with economy of resources and the reach of better earnings, besides reducing the operational risk pertinent at the fixed costs of production. Thus, the present work has for objective to analyze the costs structure of sugar and ethanol companies of the Center-south area of the country through an empiric-analytical study based in methodologies and concepts extracted of the costs accounting. It is verified that great part of the costs and operational expenses have variable behavior, a positive factor for the sector reducing the operational risk of the activity. The main restraint of this study is the sample of five years and 10% of the number of plants in Brazil that although they represent 30% of the national production, don`t allow the generalization of the model.

Structure-activity relationships of alpha-conotoxins targeting neuronal nicotinic acetylcholine receptors

alpha-Conotoxins that target the neuronal nicotinic acetylcholine receptor have a range of potential therapeutic applications and are valuable probes for examining receptor subtype selectivity. The three-dimensional structures of about half of the known neuronal specific alpha-conotoxins have now been determined and have a consensus fold containing a helical region braced by two conserved disulfide bonds. These disulfide bonds define the two-loop framework characteristic for alpha-conotoxins, CCXmCXnC, where loop 1 comprises four residues (m = 4) and loop 2 between three and seven residues (n = 3, 6 or 7). Structural studies, particularly using NMR spectroscopy have provided an insight into the role and spatial location of residues implicated in receptor binding and biological activity.