20 resultados para B formal method
Resumo:
BACKGROUND Aortic dissection is a severe pathological condition in which blood penetrates between layers of the aortic wall and creates a duplicate channel - the false lumen. This considerable change on the aortic morphology alters hemodynamic features dramatically and, in the case of rupture, induces markedly high rates of morbidity and mortality. METHODS In this study, we establish a patient-specific computational model and simulate the pulsatile blood flow within the dissected aorta. The k-ω SST turbulence model is employed to represent the flow and finite volume method is applied for numerical solutions. Our emphasis is on flow exchange between true and false lumen during the cardiac cycle and on quantifying the flow across specific passages. Loading distributions including pressure and wall shear stress have also been investigated and results of direct simulations are compared with solutions employing appropriate turbulence models. RESULTS Our results indicate that (i) high velocities occur at the periphery of the entries; (ii) for the case studied, approximately 40% of the blood flow passes the false lumen during a heartbeat cycle; (iii) higher pressures are found at the outer wall of the dissection, which may induce further dilation of the pseudo-lumen; (iv) highest wall shear stresses occur around the entries, perhaps indicating the vulnerability of this region to further splitting; and (v) laminar simulations with adequately fine mesh resolutions, especially refined near the walls, can capture similar flow patterns to the (coarser mesh) turbulent results, although the absolute magnitudes computed are in general smaller. CONCLUSIONS The patient-specific model of aortic dissection provides detailed flow information of blood transport within the true and false lumen and quantifies the loading distributions over the aorta and dissection walls. This contributes to evaluating potential thrombotic behavior in the false lumen and is pivotal in guiding endovascular intervention. Moreover, as a computational study, mesh requirements to successfully evaluate the hemodynamic parameters have been proposed.
Resumo:
Staphylococcus aureus genotype B (GTB) is a contagious mastitis pathogen in cattle, occurring in up to 87% of individuals. Because treatment is generally insufficient, culling is often required, leading to large economic loss in the Swiss dairy industry. As the detection of this pathogen in bulk tank milk (BTM) would greatly facilitate its control, a novel real-time quantitative PCR-based assay for BTM has previously been developed and is now being evaluated for its diagnostic properties at the herd level. Herds were initially classified as to their Staph. aureus GTB status by a reference method. Using BTM and herd pools of single-quarter and 4-quarter milk, the herds were then grouped by the novel assay, and the resulting classifications were compared. A total of 54 dairy herds were evaluated. Using the reference method, 21 herds were found to be GTB positive, whereas 33 were found to be negative. Considering the novel assay using both herd pools, all herds were grouped correctly, resulting in maximal diagnostic sensitivities (100%) and specificities (100%). For BTM samples, diagnostic sensitivities and specificities were 90 and 100%, respectively. Two herds were false negative in BTM, because cows with clinical signs of mastitis were not milked into the tank. Besides its excellent diagnostic properties, the assay is characterized by its low detection level, high efficiency, and its suitability for automation. Using the novel knowledge and assay, eradication of Staph. aureus GTB from a dairy herd may be considered as a realistic goal.
Resumo:
A new technique to porewater extraction from claystone employs advective displacement of the in situ porewater by traced artificial porewater. Monitoring of tracer breakthrough yields species-specific transport properties. Results for Opalinus Clay from the Mont Terri Research Laboratory indicate that the chemical disturbances due to the method are minimal, and the observed significant differences in transport properties for Br– and 2H are in agreement with existing data. Sampling times are 2–4 months, and observation of tracer breakthrough takes 12–24 months at hydraulic conductivity of ∼10-13 m/s.
Resumo:
We describe a rational approach to simultaneously test Escherichia coli strains for the presence of known virulence genes in a reverse dot blot procedure. Specific segments of virulence genes of E. coli designed to have similar hybridization parameters were subcloned on plasmids and subsequently amplified by PCR as unlabeled probes in amounts sufficient to be bound to nylon membranes. Various pathogenic isolates and laboratory strains of E. coli were probed for the presence of virulence genes by labeling the genomic DNA of these strains with digoxigenin and then hybridizing them to the prepared nylon membranes. These hybridization results demonstrated that besides the E. coli K-12 safety strain derivatives, E. coli B and C strains are also devoid of genes encoding any of the investigated virulence factors. In contrast, pathogenic E. coli control strains, used to evaluate the method, showed typical hybridization patterns. The described probes and their easy application on a single filter were shown to provide a useful tool for the safety assessment of E. coli strains to be used as hosts in biotechnological processes. This approach might also be used for the identification and characterization of clinically significant E. coli isolates from human and animal species.