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.

Caenorhabditis elegans mutants resistant to phosphine toxicity show increased longevity and cross-resistance to the synergistic action of oxygen

Phosphine (hydrogen phosphide, PH3) is the fumigant most widely used to protect stored products from pest infestation. Despite the importance of this chemical, little is known about its mode of action. We have created three phosphine-resistant lines (pre-1, pre-7, pre-33) in the model organism C. elegans, with LC50 values 2, 5, and 9 times greater than the fully susceptible parental strain. Molecular oxygen was shown to be an extremely effective synergist with phosphine as, under hyperoxic conditions, 100% mortality was observed in wild-type nematodes exposed to 0.1 mg/l phosphine, a nonlethal concentration in air. All three mutants were resistant to the synergistic effects of oxygen in proportion to their resistance to phosphine with one mutant, pre-33, showing complete resistance to this synergism. We take the proportionality of cross-resistance between phosphine and the synergistic effect of oxygen to imply that all three mutants circumvent a mechanism of phosphine toxicity that is directly coupled to oxygen metabolism. Compared with the wild-type strain, all three mutants have an extended average life expectancy of from 12.5 to 25.3%. This is consistent with the proposed involvement of oxidative stress in both phosphine toxicity and ageing. Because the wild-type and mutant nematodes develop at the same rate, the longevity is unlikely to be caused by a clk-type reduction in oxidative metabolism, a potential alternative mechanism of phosphine resistance.

Do expertise and the degree of perception-action coupling affect natural anticipatory performance?

Two experiments using a temporal occlusion paradigm (the first with expert and novice participants and the second with participants of intermediate skill) were conducted to examine the capability of tennis players to predict the direction of an opponent's service in situ. In both experiments two different response conditions, reflecting differing degrees of perception-action coupling, were employed. In a coupled condition players were required to make a movement-based response identical to that which they would use to hit a return of service in a game situation, whereas in an uncoupled condition a verbal prediction of service direction was required. Experiment 1 provided clear evidence of superior prediction accuracy under the coupled response condition when ball flight was available, plus some limited evidence to suggest that superior prediction accuracy under uncoupled response conditions might hold true if only advance (pre-contact) information was available. Experiment 2 showed the former finding to be a robust one, but was unable to reveal any support for the latter. Experiment 1 also revealed that expert superiority is more apparent for predictions made under natural (coupled) than uncoupled response-mode conditions. Collectively, these findings suggest that different perceptual processes may be in operation in anticipatory tasks which depend on skill level, the type of information presented, and degree of perception-action coupling inherent in the task requirements.

Evaluating plant breeding strategies by simulating gene action and dryland environment effects

Functional genomics is the systematic study of genome-wide effects of gene expression on organism growth and development with the ultimate aim of understanding how networks of genes influence traits. Here, we use a dynamic biophysical cropping systems model (APSIM-Sorg) to generate a state space of genotype performance based on 15 genes controlling four adaptive traits and then search this spice using a quantitative genetics model of a plant breeding program (QU-GENE) to simulate recurrent selection. Complex epistatic and gene X environment effects were generated for yield even though gene action at the trait level had been defined as simple additive effects. Given alternative breeding strategies that restricted either the cultivar maturity type or the drought environment type, the positive (+) alleles for 15 genes associated with the four adaptive traits were accumulated at different rates over cycles of selection. While early maturing genotypes were favored in the Severe-Terminal drought environment type, late genotypes were favored in the Mild-Terminal and Midseason drought environment types. In the Severe-Terminal environment, there was an interaction of the stay-green (SG) trait with other traits: Selection for + alleles of the SG genes was delayed until + alleles for genes associated with the transpiration efficiency and osmotic adjustment traits had been fixed. Given limitations in our current understanding of trait interaction and genetic control, the results are not conclusive. However, they demonstrate how the per se complexity of gene X gene X environment interactions will challenge the application of genomics and marker-assisted selection in crop improvement for dryland adaptation.

Translating policy: Power and action in Australia's country towns

Controversies In its present condition, rural Australia is characterised by a discourse of decline that sees country towns and regions as places of demoralisation and despair. From a Foucauldian governmentality perspective, those who live in these spaces are not so much 'powerless' to the demands of urban-based governments and global capital, as rendered governable according to the socio-political ambitions of late capitalism. While important insights have been derived from such analyses, it is argued in this paper that excessive attention is often paid to the power of the state with little concern for the various ways in which local people engage with, and transform the strategies and effects of state power. Rather than utilising the concept of resistance to make sense of these interactions, a sociology of translation is adopted from the Actor Network Theory literature. Applied to two case examples, it shows how governmental policies and programmes are frequently the outcome of the interactions and negotiations that take place between all those enrolled in the actor-network.

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.

A practical framework for the generation and selection of strategic plans of action, The relevance of timeframe considerations and a systems thinking approach

The paper proposes a methodology especially focused on the generation of strategic plans of action, emphasizing the relevance of having a structured timeframe classification for the actions. The methodology explicitly recognizes the relevance of long-term goals as strategic drivers, which must insure that the complex system is capable to effectively respond to changes in the environment. In addition, the methodology employs engineering systems techniques in order to understand the inner working of the system and to build up alternative plans of action. Due to these different aspects, the proposed approach features higher flexibility compared to traditional methods. The validity and effectiveness of the methodology has been demonstrated by analyzing an airline company composed by 5 subsystems with the aim of defining a plan of action for the next 5 years, which can either: improve efficiency, redefine mission or increase revenues.

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.

Knowledge and policy action in urban development: if we know so much, why is the urban condition not improving?

In spite of the wealth generation potential of the world's large metropolitan cities, poor living conditions for much of the world's urban population persist. Although the city has been widely studied, urban policy often remains ineffective. The paper adopts a policy process approach to analyze the relationship between knowledge and governmental action. Impediments to improving urban policy are found in the inadequate capacity of government to act and in the politics of democratic decision-making. The paper recommends that a pragmatic view of knowledge generation be adopted.

Theory of reasoned action for continuous improvement capabilities: a behavioral approach

The importance of interaction between Operations Management (OM) and Human Behavior has been recently re-addressed. This paper introduced the Reasoned Action Theory suggested by Froehle and Roth (2004) to analyze Operational Capabilities exploring the suitability of this model in the context of OM. It also seeks to discuss the behavioral aspects of operational capabilities from the perspective of organizational routines. This theory was operationalized using Fishbein and Ajzen (F/A) behavioral model and a multi-case strategy was employed to analyze the Continuous Improvement (CI) capability. The results posit that the model explains partially the CI behavior in an operational context and some contingency variables might influence the general relations among the variables involved in the F/A model. Thus intention might not be the determinant variable of behavior in this context.

O planejamento econômico no Brasil: considerações críticas

In the past thirty years, a series of plans have been developed by successive Brazilian governments in a continuing effort to maximize the nation's resources for economic and social growth. This planning history has been quantitatively rich but qualitatively poor. The disjunction has stimulated Professor Mello e Souza to address himself to the problem of national planning and to offer some criticisms of Brazilian planning experience. Though political instability has obviously been a factor promoting discontinuity, his criticisms are aimed at the attitudes and strategic concepts which have sought to link planning to national goals and administration. He criticizes the fascination with techniques and plans to the exclusion of proper diagnosis of the socio-political reality, developing instruments to coordinate and carry out objectives, and creating an administrative structure centralized enough to make national decisions and decentralized enough to perform on the basis of those decisions. Thus, fixed, quantified objectives abound while the problem of functioning mechanisms for the coordinated, rational use of resources has been left unattended. Although his interest and criticism are focused on the process and experience of national planning, he recognized variation in the level and results of Brazilian planning. National plans have failed due to faulty conception of the function of planning. Sectorial plans, save in the sector of the petroleum industry under government responsibility, ha e not succeeded in overcoming the problems of formulation and execution thereby repeating old technical errors. Planning for the private sector has a somewhat brighter history due to the use of Grupos Executivos which has enabled the planning process to transcend the formalism and tradition-bound attitudes of the regular bureaucracy. Regional planning offers two relatively successful experiences, Sudene and the strategy of the regionally oriented autarchy. Thus, planning history in Brazil is not entirely black but a certain shade of grey. The major part of the article, however, is devoted to a descriptive analysis of the national planning experience. The plans included in this analysis are: The Works and Equipment Plan (POE); The Health, Food, Transportation and Energy Plan (Salte); The Program of Goals; The Trienal Plan of Economic and Social Development; and the Plan of Governmental Economic Action (Paeg). Using these five plans for his historical experience the author sets out a series of errors of formulation and execution by which he analyzes that experience. With respect to formulation, he speaks of a lack of elaboration of programs and projects, of coordination among diverse goals, and of provision of qualified staff and techniques. He mentions the absence of the definition of resources necessary to the financing of the plan and the inadequate quantification of sectorial and national goals due to the lack of reliable statistical information. Finally, he notes the failure to coordinate the annual budget with the multi-year plans. He sees the problems of execution as beginning in the absence of coordination between the various sectors of the public administration, the failure to develop an operative system of decentralization, the absence of any system of financial and fiscal control over execution, the difficulties imposed by the system of public accounting, and the absence of an adequate program of allocation for the liberation of resources. He ends by pointing to the failure to develop and use an integrated system of political economic tools in a mode compatible with the objective of the plans. The body of the article analyzes national planning experience in Brazil using these lists of errors as rough model of criticism. Several conclusions emerge from this analysis with regard to planning in Brazil and in developing countries, in general. Plans have generally been of little avail in Brazil because of the lack of a continuous, bureaucratized (in the Weberian sense) planning organization set in an instrumentally suitable administrative structure and based on thorough diagnoses of socio-economic conditions and problems. Plans have become the justification for planning. Planning has come to be conceived as a rational method of orienting the process of decisions through the establishment of a precise and quantified relation between means and ends. But this conception has led to a planning history rimmed with frustration, and failure, because of its rigidity in the face of flexible and changing reality. Rather, he suggests a conception of planning which understands it "as a rational process of formulating decisions about the policy, economy, and society whose only demand is that of managing the instrumentarium in a harmonious and integrated form in order to reach explicit, but not quantified ends". He calls this "planning without plans": the establishment of broad-scale tendencies through diagnosis whose implementation is carried out through an adjustable, coherent instrumentarium of political-economic tools. Administration according to a plan of multiple, integrated goals is a sound procedure if the nation's administrative machinery contains the technical development needed to control the multiple variables linked to any situation of socio-economic change. Brazil does not possess this level of refinement and any strategy of planning relevant to its problems must recognize this. The reforms which have been attempted fail to make this recognition as is true of the conception of planning informing the Brazilian experience. Therefore, unworkable plans, ill-diagnosed with little or no supportive instrumentarium or flexibility have been Brazil's legacy. This legacy seems likely to continue until the conception of planning comes to live in the reality of Brazil.

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.