973 resultados para Model Driven Engineering


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Experimental models of infection are good tools for establishing immunological parameters that have an effect on the host-pathogen relationship and also for designing new vaccines and immune therapies. In this work, we evaluated the evolution of experimental tuberculosis in mice infected with increasing bacterial doses or via distinct routes. We showed that mice infected with low bacterial doses by the intratracheal route were able to develop a progressive infection that was proportional to the inoculum size. In the initial phase of disease, mice developed a specific Th1-driven immune response independent of inoculum concentration. However, in the late phase, mice infected with higher concentrations exhibited a mixed Th1/Th2 response, while mice infected with lower concentrations sustained the Th1 pattern. Significant IL-10 concentrations and a more preeminent T regulatory cell recruitment were also detected at 70 days post-infection with high bacterial doses. These results suggest that mice infected with higher concentrations of bacilli developed an immune response similar to the pattern described for human tuberculosis wherein patients with progressive tuberculosis exhibit a down modulation of IFN-gamma production accompanied by increased levels of IL-4. Thus, these data indicate that the experimental model is important in evaluating the protective efficacy of new vaccines and therapies against tuberculosis. (C) 2010 Elsevier Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Background: There is only limited knowledge on how the quantification of valvular regurgitation by color Doppler is affected by changing blood viscosity. This study was designed to evaluate the effect of changing blood viscosity on the vena contracta width using an in vitro model of valvular insufficiency capable of providing ample variation in the rate and stroke volume. Methods: We constructed a pulsatile flow model filled with human blood at varying hematocrit (15%, 35%, and 55%) and corresponding blood viscosity (blood/water viscosity: 2.6, 4.8, 9.1) levels in which jets were driven through a known orifice (7 mm(2)) into a 110 mL compliant receiving chamber (compliance: 2.2 mL/mmHg) by a pulsatile pump. In addition, we used variable pump stroke volumes (5, 7.5, and 10 mL) and rates (40, 60, and 80 ppm). Vena contracta region was imaged using a 3.5 MHz transducer. Pressure and volume in the flow model were kept constant during each experimental condition, as well as ultrasound settings. Results: Blood viscosity variation in the experimental range did not induce significant changes in vena contracta dimensions. Also, vena contracta width did not change from normal to low hematocrit and viscosity levels. A very modest increase only in vena contracta dimension was observed at very high level of blood viscosity when hematocrit was set to 55% . Pump rate, in the evaluated range, did not influence vena contracta width. These results in controlled experimental settings suggest that the vena contracta is an accurate quantitative method for quantifying valvular regurgitation even when this condition is associated with anemia, a frequent finding in patients with valvular heart disease.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Relevância:

30.00% 30.00%

Publicador:

Relevância:

30.00% 30.00%

Publicador:

Resumo:

To histomorphometrically investigate the repair of critical size defects (CSDs) and bone augmentation in cranial walls using block of sintered bovine-derived anorganic bone (sBDAB) graft. Forty guinea-pigs were divided into test (n=20) and CSD control (n=20) groups. In each animal, a full-thickness bone defect with 9.5 mm diameter was made in the frontal bone. The defects were filled with an sBDAB block soaked in blood in the test group and with blood clot in the CSD control group. The skulls were collected at 0 h (n=2) and 30, 90 and 180 days (n=6/group and period) postoperatively. The volume density and total volume of newly formed bone, sBDAB, blood vessels and connective tissue, vertical thickness of removed bone plug, sBDAB block and graft area were evaluated. The vertical thickness of the adapted sBDAB block was 3.8 times higher than that of the removed bone plug and did not show significant difference between periods, filling in average 29.8% of the total graft region. The sBDAB block exhibited complete osseointegration with the borders of the defect at 90 days. At 90 and 180 days, the vertical thickness of the graft was 279% in the average, and the total volume of bone augmentation was, respectively, 78.8% and 148.5% higher compared with the removed bone plug. The defects of the CDS control group showed limited osteogenesis and filling by connective tissue plus tegument. The sBDAB block can be used to promote repair of CSDs and bone augmentation in the craniomaxillofacial region, due to its good osteoconductive and slow resorptive properties. To cite this article:Cestari TM, Granjeiro JM, de Assis GF, Garlet GP, Taga R. Bone repair and augmentation using block of sintered bovine-derived anorganic bone graft in cranial bone defect model.Clin. Oral Impl. Res. 20, 2009; 340-350.doi: 10.1111/j.1600-0501.2008.01659.x.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Most cellular solids are random materials, while practically all theoretical structure-property results are for periodic models. To be able to generate theoretical results for random models, the finite element method (FEM) was used to study the elastic properties of solids with a closed-cell cellular structure. We have computed the density (rho) and microstructure dependence of the Young's modulus (E) and Poisson's ratio (PR) for several different isotropic random models based on Voronoi tessellations and level-cut Gaussian random fields. The effect of partially open cells is also considered. The results, which are best described by a power law E infinity rho (n) (1<n<2), show the influence of randomness and isotropy on the properties of closed-cell cellular materials, and are found to be in good agreement with experimental data. (C) 2001 Acta Materialia Inc. Published by Elsevier Science Ltd. All rights reserved.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The relationship between the ordering characteristic of the pyrochlore structure type and that characteristic of the defect fluorite structure type (immediately on either side of two phase regions separating the two structure types) in a range of rare eath sesquioxide stabilized cubic zirconias is investigated via electron diffraction and imaging. Systematic structural change as a function of composition and relative size of the constituent metal ions is highlighted and a multi-q to single-q = 1/2 [111]* model proposed for the observed pyrochlore to defect fluorite phase transition. Strain introduced into the close-packed {111} metal ion planes of the defect fluorite average structure by the local cation and oxygen vacancy distribution is pointed to as the likely origin of the observed behavior. (C) 2001 Academic Press

Relevância:

30.00% 30.00%

Publicador:

Resumo:

For a two layered long wave propagation, linearized governing equations, which were derived earlier from the Euler equations of mass and momentum assuming negligible friction and interfacial mixing are solved analytically using Fourier transform. For the solution, variations of upper layer water level is assumed to be sinosoidal having known amplitude and variations of interface level is solved. As the governing equations are too complex to solve it analytically, density of upper layer fluid is assumed as very close to the density of lower layer fluid to simplify the lower layer equation. A numerical model is developed using the staggered leap-forg scheme for computation of water level and discharge in one dimensional propagation having known amplitude for the variations of upper layer water level and interface level to be solved. For the numerical model, water levels (upper layer and interface) at both the boundaries are assumed to be known from analytical solution. Results of numerical model are verified by comparing with the analytical solutions for different time period. Good agreements between analytical solution and numerical model are found for the stated boundary condition. The reliability of the developed numerical model is discussed, using it for different a (ratio of density of fluid in the upper layer to that in the lower layer) and p (ratio of water depth in the lower layer to that in the upper layer) values. It is found that as ‘CX’ increases amplification of interface also increases for same upper layer amplitude. Again for a constant lower layer depth, as ‘p’ increases amplification of interface. also increases for same upper layer amplitude.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this work, we present a systematic approach to the representation of modelling assumptions. Modelling assumptions form the fundamental basis for the mathematical description of a process system. These assumptions can be translated into either additional mathematical relationships or constraints between model variables, equations, balance volumes or parameters. In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The smallest indivisible syntactical element, the so called assumption atom has been identified as a triplet. With this syntax a modelling assumption can be described as an elementary assumption, i.e. an assumption consisting of only an assumption atom or a composite assumption consisting of a conjunction of elementary assumptions. The above syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and necessary conditions for checking them are given. These transformations can be used in several ways and their implications can be analysed by formal methods. The modelling assumptions define model hierarchies. That is, a series of model families each belonging to a particular equivalence class. These model equivalence classes can be related to primal assumptions regarding the definition of mass, energy and momentum balance volumes and to secondary and tiertinary assumptions regarding the presence or absence and the form of mechanisms within the system. Within equivalence classes, there are many model members, these being related to algebraic model transformations for the particular model. We show how these model hierarchies are driven by the underlying assumption structure and indicate some implications on system dynamics and complexity issues. (C) 2001 Elsevier Science Ltd. All rights reserved.