Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.

Good Practice Guides

This series of Good Practice Guides is designed to share important information about health inequalities and some of the evidence-based measures that can be taken to reduce the stark differences in health and wellbeing within populations. It is recognised that leadership and coordinated, effective action at a number of levels can reduce this gap. Ensuring concerted, evidence-based action on health and wellbeing inequalities demands the efforts of government, statutory organisations and the community, voluntary and private sectors. The Good Practice Guides were developed to inform and support joined-up working across these sectors. It is known that health inequalities are closely linked with degrees of social disadvantage and with the unequal distribution of power, income, goods and services. According to the World Health Organization, there are also powerful social and psychological factors and life circumstances that can serve to compound health and wellbeing inequalities. The topics included in the Good Practice Guide series reflect the wider determinants of health and the range of approaches necessary to reduce health inequalities. This first set of three guides is designed, in part, to test their usefulness. There are many other issues and areas where evidence of what works may be needed. It is envisaged that further guides will follow on other issues. All of the guides will be kept under review and amended in light of experience.

Population ecology of the Asian house rat (Rattus tanezumi) in complex lowland agroecosystems in the Philippines

Context. Rattus tanezumi (the Asian house rat) is the principal rodent pest of rice and coconut crops in the Philippines. Little is known about the population and breeding ecology of R. tanezumi in complex agroecosystems; thus, current methods of rodent control may be inappropriate or poorly implemented. Aims. To investigate the habitat use, population dynamics and breeding biology of R. tanezumi in complex lowland agroecosystems of the Sierra Madre Biodiversity Corridor, Luzon, and to develop ecologically based rodent management (EBRM) strategies that will target specific habitats at specific times to improve cost-efficiency and minimise non-target risks. Methods. An 18-month trapping study was conducted in rice monoculture, rice adjacent to coconut, coconut groves, coconut-based agroforest and forest habitats. Trapped animals were measured, marked and assessed for breeding condition. Key results. Five species of rodent were captured across all habitats with R. tanezumi the major pest species in both the rice and coconut crops. The stage of the rice crop was a major factor influencing the habitat use and breeding biology of R. tanezumi. In rice fields, R. tanezumi abundance was highest during the tillering to ripening stages of the rice crop and lowest during the seedling stage, whereas in coconut groves abundance was highest from the seedling to tillering stage of nearby rice crops. Peaks in breeding activity occurred from the booting stage of the rice crop until just after harvest, but >10% of females were in breeding condition at each month of the year. Conclusions. In contrast with the practices applied by rice farmers in the study region, the most effective time for lethal management based on the breeding ecology of R. tanezumi is likely to be during the early stages of the rice crop, before the booting stage. Farmers generally apply control actions as individuals. We recommend coordinated community action. Continuous breeding throughout the year may necessitate two community campaigns per rice cropping season. To limit population growth, the most effective time to reduce nesting habitat is from the booting stage until harvest. Implications. By adopting EBRM strategies, we expect a reduction in costs associated with rodent control, as well as improved yield and reduced risk to non-target species.

Pragmatic approach to the development of robust real-time protocols

This research is concerned with the development of distributed real-time systems, in which software is used for the control of concurrent physical processes. These distributed control systems are required to periodically coordinate the operation of several autonomous physical processes, with the property of an atomic action. The implementation of this coordination must be fault-tolerant if the integrity of the system is to be maintained in the presence of processor or communication failures. Commit protocols have been widely used to provide this type of atomicity and ensure consistency in distributed computer systems. The objective of this research is the development of a class of robust commit protocols, applicable to the coordination of distributed real-time control systems. Extended forms of the standard two phase commit protocol, that provides fault-tolerant and real-time behaviour, were developed. Petri nets are used for the design of the distributed controllers, and to embed the commit protocol models within these controller designs. This composition of controller and protocol model allows the analysis of the complete system in a unified manner. A common problem for Petri net based techniques is that of state space explosion, a modular approach to both the design and analysis would help cope with this problem. Although extensions to Petri nets that allow module construction exist, generally the modularisation is restricted to the specification, and analysis must be performed on the (flat) detailed net. The Petri net designs for the type of distributed systems considered in this research are both large and complex. The top down, bottom up and hybrid synthesis techniques that are used to model large systems in Petri nets are considered. A hybrid approach to Petri net design for a restricted class of communicating processes is developed. Designs produced using this hybrid approach are modular and allow re-use of verified modules. In order to use this form of modular analysis, it is necessary to project an equivalent but reduced behaviour on the modules used. These projections conceal events local to modules that are not essential for the purpose of analysis. To generate the external behaviour, each firing sequence of the subnet is replaced by an atomic transition internal to the module, and the firing of these transitions transforms the input and output markings of the module. Thus local events are concealed through the projection of the external behaviour of modules. This hybrid design approach preserves properties of interest, such as boundedness and liveness, while the systematic concealment of local events allows the management of state space. The approach presented in this research is particularly suited to distributed systems, as the underlying communication model is used as the basis for the interconnection of modules in the design procedure. This hybrid approach is applied to Petri net based design and analysis of distributed controllers for two industrial applications that incorporate the robust, real-time commit protocols developed. Temporal Petri nets, which combine Petri nets and temporal logic, are used to capture and verify causal and temporal aspects of the designs in a unified manner.

The design of robust protocols for distributed real-time systems

Modern distributed control systems comprise of a set of processors which are interconnected using a suitable communication network. For use in real-time control environments, such systems must be deterministic and generate specified responses within critical timing constraints. Also, they should be sufficiently robust to survive predictable events such as communication or processor faults. This thesis considers the problem of coordinating and synchronizing a distributed real-time control system under normal and abnormal conditions. Distributed control systems need to periodically coordinate the actions of several autonomous sites. Often the type of coordination required is the all or nothing property of an atomic action. Atomic commit protocols have been used to achieve this atomicity in distributed database systems which are not subject to deadlines. This thesis addresses the problem of applying time constraints to atomic commit protocols so that decisions can be made within a deadline. A modified protocol is proposed which is suitable for real-time applications. The thesis also addresses the problem of ensuring that atomicity is provided even if processor or communication failures occur. Previous work has considered the design of atomic commit protocols for use in non time critical distributed database systems. However, in a distributed real-time control system a fault must not allow stringent timing constraints to be violated. This thesis proposes commit protocols using synchronous communications which can be made resilient to a single processor or communication failure and still satisfy deadlines. Previous formal models used to design commit protocols have had adequate state coverability but have omitted timing properties. They also assumed that sites communicated asynchronously and omitted the communications from the model. Timed Petri nets are used in this thesis to specify and design the proposed protocols which are analysed for consistency and timeliness. Also the communication system is mcxielled within the Petri net specifications so that communication failures can be included in the analysis. Analysis of the Timed Petri net and the associated reachability tree is used to show the proposed protocols always terminate consistently and satisfy timing constraints. Finally the applications of this work are described. Two different types of applications are considered, real-time databases and real-time control systems. It is shown that it may be advantageous to use synchronous communications in distributed database systems, especially if predictable response times are required. Emphasis is given to the application of the developed commit protocols to real-time control systems. Using the same analysis techniques as those used for the design of the protocols it can be shown that the overall system performs as expected both functionally and temporally.

Sequential and coordinated action of phytochromes A and B during Arabidopsis stem growth revealed by kinetic analysis

Photoreceptor proteins of the phytochrome family mediate light-induced inhibition of stem (hypocotyl) elongation during the development of photoautotrophy in seedlings. Analyses of overt mutant phenotypes have established the importance of phytochromes A and B (phyA and phyB) in this developmental process, but kinetic information that would augment emerging molecular models of phytochrome signal transduction is absent. We have addressed this deficiency by genetically dissecting phytochrome-response kinetics, after having solved the technical issues that previously limited growth studies of small Arabidopsis seedlings. We show here, with resolution on the order of minutes, that phyA initiated hypocotyl growth inhibition upon the onset of continuous red light. This primary contribution of phyA began to decrease after 3 hr of irradiation, the same time at which immunochemically detectable phyA disappeared and an exclusively phyB-dependent phase of inhibition began. The sequential and coordinated actions of phyA and phyB in red light were not observed in far-red light, which inhibited growth persistently through an exclusively phyA-mediated pathway.

Primer for peace; world government for the atomic age, an analysis with recommendation for action. Presenting the results of a study.

Mode of access: Internet.

Formation of atomic carbon chains from graphene nanoribbons

The formation of one-dimensional carbon chains from graphene nanoribbons is investigated using ab initio molecular dynamics. We show under what conditions it is possible to obtain a linear atomic chain via pulling of the graphene nanoribbons. The presence of dimers composed of two-coordinated carbon atoms at the edge of the ribbons is necessary for the formation of the linear chains, otherwise there is simply the full rupture of the structure. The presence of Stone-Wales defects close to these dimers may lead to the formation of longer chains. The local atomic configuration of the suspended atoms indicates the formation of single and triple bonds, which is a characteristic of polyynes.

Towards modular and coordinated manufacturing systems oriented to services

Nowadays, there is a trend for industry reorganization in geographically dispersed systems, carried out of their activities with autonomy. These systems must maintain coordinated relationship among themselves in order to assure an expected performance of the overall system. Thus, a manufacturing system is proposed, based on ""web services"" to assure an effective orchestration of services in order to produce final products. In addition, it considers special functions, such as teleoperation and remote monitoring, users` online request, among others. Considering the proposed system as discrete event system (DES), techniques derived from Petri nets (PN), including the Production Flow Schema (PFS), can be used in a PFS/PN approach for modeling. The system is approached in different levels of abstraction: a conceptual model which is obtained by applying the PFS technique and a functional model which is obtained by applying PN. Finally, a particular example of the proposed system is presented.

Direct and Simultaneous Determination of Cd Cu, and Se in Blood Samples by Graphite Furnace Atomic Absorption Spectrometry

A graphite furnace atomic absorption spectrometric method is proposed for the direct and simultaneous determination of Cd, Cu, and Se in human blood. Samples were diluted 1:10 (v/v) in 0.5% (v/v) HNO(3) + 0.5% (v/v) Triton X-100 solution. For 12 mu L injected sample volume + 5 mu L, of 1000 mg L(-1) Pd(NO(3))(2) + 3 mu L of 1000 mg L(-1) Mg(NO(3))(2), the calculated characteristic masses (mo) were 0.9 pg Cd, 16 pg Cu, and 39 pg Se, which are close to those mo values for single-element conditions for THGA furnace (1.3 pg Cd, 17 pg Cu, and 45 pg Se). Calibration curves with linear correlations better than 0.999 were obtained. The limits of detection (LOD) were 0.03 mu g L(-1) Cd, 0.075 mu g L(-1) Cu and 0.3 mu g L(-1) Se, and the relative standard deviations (n= 12) were 2.5%, 0.3%, and 1.5%, respectively. The method was applied for Cd, Cu, and Se determination in 10 human blood samples and the results were in agreement at the 95% confidence level with those obtained by inductively coupled plasma mass spectrometry. Concentrations of analytes in the selected blood samples varied from 1.7 to 3.2 mu g L(-1) Cd, 700 to 921.7 mu g L(-1) Cu, and from 68.6 to 350 mu g L(-1) Se. The accuracy of the proposed method was also evaluated by an addition-recovery experiment and recoveries of Cd, Cu, and Se added to blood samples ranged from 99-109%, 91-103%,and 93-103%, respectively.

Probabilistic Action System Trace Semantics

Action systems are a construct for reasoning about concurrent, reactive systems, in which concurrent behaviour is described by interleaving atomic actions. Sere and Troubitsyna have proposed an extension to action systems in which actions may be expressed and composed using discrete probabilistic choice as well as demonic nondeterministic choice. In this paper we develop a trace-based semantics for probabilistic action systems. This semantics provides a simple theoretical base on which practical refinement rules for probabilistic action systems may be justified.

Studies of the Antiproliferative Activity of Ruthenium (II) Cyclopentadienyl-Derived Complexes with Nitrogen Coordinated Ligands

Four cationic ruthenium(II) complexes with the formula [Ru(eta(5)-C5H5)(PPh3)(2)](+), with L = 5-phenyl-1H-tetrazole (TzH) 1, imidazole (ImH) 2, benzo[1,2-b; 4,3-b'] dithio-phen-2-carbonitrile (Bzt) 3, and [5-(2-thiophen-2-yl)-vinyl]-thiophene-2-carbonitrile] (Tvt) 4 were prepared and characterized in view to evaluate their potentialities as antitumor agents. Studies by Circular Dichroism indicated changes in the secondary structure of ct-DNA. Changes in the tertiary structure of pBR322 plasmid DNA were also observed in gel electrophoresis experiment and the images obtained by atomic force microscopy (AFM) suggest strong interaction with pBR322 plasmid DNA; the observed decreasing of the viscosity with time indicates that the complexes do not intercalate between DNA base pairs. Compounds 1, 2, and 3 showed much higher cytotoxicity than the cisplatin against human leukaemia cancer cells (HL-60 cells).