80 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
Acetohydroxyacid synthase (AHAS; EC 4.1.3.18) contains catalytic and regulatory subunits, the latter being required for sensitivity to feedback regulation by leucine, valine and isoleucine. The regulatory subunit of Arabidopsis thaliana AHAS possesses a sequence repeat and we have suggested preciously that one repeat binds leucine while the second binds valine or isoleucine, with synergy between the two sites. We have mutated four residues in each repeat, based on a model of the regulatory subunit. The data confirm that there are separate leucine and valine/isoleucine sites, and suggest a complex pathway for regulatory signal transmission to the catalytic subunit. (C) 2002 Published by Elsevier Science B.V. on behalf of the Federation of European Biochemical Societies.
Resumo:
As a major European donor, German government development assistance faces a series of challenges. Recent political changes have raised expectations for demonstrable health outcomes as a result of German development assistance; there has been a deepened commitment to collaboration with other bilateral and multilateral donors; and partner countries are increasingly open to new approaches to development. German development assistance also reflects a new ethos of partnership and the shift to programmatic and sector based development approaches. At the same time, its particular organizational structure and administrative framework highlight the extent of structural and systems reforms required of donors by changing development relationships, and the tensions created in responding to these. This paper examines organizational changes within the German Agency for Technical Cooperation (Deutsche Gesellschaft fur Technische Zusammenarbeit) (GTZ), aimed at increasing its Regional, Sectoral, Managerial and Process competence as they affect health and related sectors. These include the decentralization of GTZ, the trend to integration of projects, the increasing focus on policy and health systems reform, increased inter-sectoral collaboration, changes in recruitment and training, new perspectives in planning and evaluation and the introduction of a quality management programme. Copyright (C) 2002 John Wiley Sons, Ltd.
Resumo:
The particle-based Lattice Solid Model (LSM) was developed to provide a basis to study the physics of rocks and the nonlinear dynamics of earthquakes (MORA and PLACE, 1994; PLACE and MORA, 1999). A new modular and flexible LSM approach has been developed that allows different microphysics to be easily included in or removed from the model. The approach provides a virtual laboratory where numerical experiments can easily be set up and all measurable quantities visualised. The proposed approach provides a means to simulate complex phenomena such as fracturing or localisation processes, and enables the effect of different micro-physics on macroscopic behaviour to be studied. The initial 2-D model is extended to allow three-dimensional simulations to be performed and particles of different sizes to be specified. Numerical bi-axial compression experiments under different confining pressure are used to calibrate the model. By tuning the different microscopic parameters (such as coefficient of friction, microscopic strength and distribution of grain sizes), the macroscopic strength of the material and can be adjusted to be in agreement with laboratory experiments, and the orientation of fractures is consistent with the theoretical value predicted based on Mohr-Coulomb diagram. Simulations indicate that 3-D numerical models have different macroscopic properties than in 2-D and, hence, the model must be recalibrated for 3-D simulations. These numerical experiments illustrate that the new approach is capable of simulating typical rock fracture behaviour. The new model provides a basis to investigate nucleation, rupture and slip pulse propagation in complex fault zones without the previous model limitations of a regular low-level surface geometry and being restricted to two-dimensions.
Resumo:
This communications describes an electromagnetic model of a radial line planar antenna consisting of a radial guide with one central probe and many peripheral probes arranged in concentric circles feeding an array of antenna elements such as patches or wire curls. The model takes into account interactions between the coupling probes while assuming isolation of radiating elements. Based on this model, computer programs are developed to determine equivalent circuit parameters of the feed network and the radiation pattern of the radial line planar antenna. Comparisons are made between the present model and the two-probe model developed earlier by other researchers.
Resumo:
In response to the increasing use of complementary and alternative medicine (CAM), governments are exploring ways to ensure patients' safety and respond to complaints. One solution is to establish registration boards and procedures based on the model of existing health practitioner Acts. Registration will require defined minimum standards for competence, which will have to be based on scientific evidence. As scientific evidence accumulates, these modalities are likely to lose their identities as alternative and become assimilated into Western medicine.