An object-oriented model for rapid prototyping of data path/control systems - a case study

Publicado em "Information control in manufacturing 1998 : (INCOM'98) : advances in industrial engineering : a proceedings volume from the 9th IFAC Symposium, Nancy-Metz, France, 24-26 June 1998. Vol. 2"

Morphofunctional study of the junction between the left atrium and the pulmonary veins in patient with pulmonary hypertension

OBJECTIVE: To study the arrangement of the myocardial fiber bundles at the pulmonary venous left atrial junction in patients with pulmonary hypertension, and to discuss the pathophysiological importance of this element in the etiology of acute pulmonary edema. METHODS: We obtained 12 hearts and their pulmonary vein extremities from postmortem examinations of patients with the anatomicopathological diagnosis of acute pulmonary edema. The specimens, which had no grossly visible morphological cardiac alterations, were fixed in 10% formalin, and the muscular arrangement of the pulmonary venous left atrial junctions was analyzed. This material was then isolated, embedded in paraffin, underwent serial cutting (50 µm of thickness), and was stained with Azam's trichrome. RESULTS: We observed in our specimens that: a) the myocardial fiber bundles that originate in the atrial wall and involve the openings of the pulmonary veins were fewer than those observed in healthy material; b) the myocardial fiber bundles that extend into the pulmonary veins were shorter than those found in material originating from individuals with no pulmonary hypertension. CONCLUSION: Anatomical changes that result in a reduction in the amount of myocardial fiber bundles in the pulmonary venous left atrial junction, isolated or associated with other factors, may be the cause of disorders in pulmonary circulation, leading to an increase in pulmonary venous pressure, and, consequently, to acute pulmonary edema.

Validation study of an automated wrist monitor, omron model HEM-608, compared with the standard methods for blood pressure measurement

OBJECTIVE - The aim of our study was to assess the profile of a wrist monitor, the Omron Model HEM-608, compared with the indirect method for blood pressure measurement. METHODS - Our study population consisted of 100 subjects, 29 being normotensive and 71 being hypertensive. Participants had their blood pressure checked 8 times with alternate techniques, 4 by the indirect method and 4 with the Omron wrist monitor. The validation criteria used to test this device were based on the internationally recognized protocols. RESULTS - Our data showed that the Omron HEM-608 reached a classification B for systolic and A for diastolic blood pressure, according to the one protocol. The mean differences between blood pressure values obtained with each of the methods were -2.3 +7.9mmHg for systolic and 0.97+5.5mmHg for diastolic blood pressure. Therefore, we considered this type of device approved according to the criteria selected. CONCLUSION - Our study leads us to conclude that this wrist monitor is not only easy to use, but also produces results very similar to those obtained by the standard indirect method.

Random walk forecast of urban water in Iran under uncertainty

There are two significant reasons for the uncertainties of water demand. On one hand, an evolving technological world is plagued with accelerated change in lifestyles and consumption patterns; and on the other hand, intensifying climate change. Therefore, with an uncertain future, what enables policymakers to define the state of water resources, which are affected by withdrawals and demands? Through a case study based on thirteen years of observation data in the Zayandeh Rud River basin in Isfahan province located in Iran, this paper forecasts a wide range of urban water demand possibilities in order to create a portfolio of plans which could be utilized by different water managers. A comparison and contrast of two existing methods are discussed, demonstrating the Random Walk Methodology, which will be referred to as the â On uncertainty pathâ , because it takes the uncertainties into account and can be recommended to managers. This On Uncertainty Path is composed of both dynamic forecasting method and system simulation. The outcomes show the advantage of such methods particularly for places that climate change will aggravate their water scarcity, such as Iran.

Hierarchical modelling of timber reference properties using probabilistic methods: Maximum Likelihood Method, Bayesian Methods and Probability Networks

In recent decades, an increased interest has been evidenced in the research on multi-scale hierarchical modelling in the field of mechanics, and also in the field of wood products and timber engineering. One of the main motivations for hierar-chical modelling is to understand how properties, composition and structure at lower scale levels may influence and be used to predict the material properties on a macroscopic and structural engineering scale. This chapter presents the applicability of statistic and probabilistic methods, such as the Maximum Likelihood method and Bayesian methods, in the representation of timber’s mechanical properties and its inference accounting to prior information obtained in different importance scales. These methods allow to analyse distinct timber’s reference properties, such as density, bending stiffness and strength, and hierarchically consider information obtained through different non, semi or destructive tests. The basis and fundaments of the methods are described and also recommendations and limitations are discussed. The methods may be used in several contexts, however require an expert’s knowledge to assess the correct statistic fitting and define the correlation arrangement between properties.

Correlation between turbidimetric and nephelometric methods of measuring C-reactive protein in patients with unstable angina or non-ST elevation acute myocardial infarction

OBJECTIVE: To evaluate the performance of the turbidimetric method of C-reactive protein (CRP) as a measure of low-grade inflammation in patients admitted with non-ST elevation acute coronary syndromes (ACS). METHODS: Serum samples obtained at hospital arrival from 68 patients (66±11 years, 40 men), admitted with unstable angina or non-ST elevation acute myocardial infarction were used to measure CRP by the methods of nephelometry and turbidimetry. RESULTS: The medians of C-reactive protein by the turbidimetric and nephelometric methods were 0.5 mg/dL and 0.47 mg/dL, respectively. A strong linear association existed between the 2 methods, according to the regression coefficient (b=0.75; 95% C.I.=0.70-0.80) and correlation coefficient (r=0.96; P<0.001). The mean difference between the nephelometric and turbidimetric CRP was 0.02 ± 0.91 mg/dL, and 100% agreement between the methods in the detection of high CRP was observed. CONCLUSION: In patients with non-ST elevation ACS, CRP values obtained by turbidimetry show a strong linear association with the method of nephelometry and perfect agreement in the detection of high CRP.

Williams-Beuren syndrome: cardiovascular abnormalities in 20 patients diagnosed with fluorescence in situ hybridization

OBJECTIVE: To evaluate the cardiovascular findings and clinical follow-up of patients with Williams-Beuren syndrome. METHODS: We studied 20 patients (11 males, mean age at diagnosis: 5.9 years old), assessed for cardiovascular abnormalities with electrocardiography and Doppler echocardiography. Fluorescence in situ hybridization (FISH) was used to confirm the diagnosis of the syndrome. RESULTS: Elastin gene locus microdeletion was detected in 17 patients (85%) (positive FISH), and in 3 patients deletion was not detected (negative FISH). Sixteen patients with a positive FISH (94%) had congenital cardiovascular disease (mean age at diagnosis: 2,3 years old). We observed isolated (2/16) supravalvular aortic stenosis and supravalvular aortic stenosis associated (11/16) with pulmonary artery stenosis (4/11); mitral valve prolapse (3/11); bicuspid aortic valve (3/11); aortic coarctation (2/11), thickened pulmonary valve (2/11); pulmonary valvular stenosis (1/11); supravalvular pulmonary stenosis (1/11); valvular aortic stenosis (1/11); fixed subaortic stenosis (1/11); pulmonary artery stenosis (2/16) associated with pulmonary valvar stenosis (1/2) and with mitral valve prolapse (1/2); and isolated mitral valve prolapse (1/16). Four patients with severe supravalvular aortic stenosis underwent surgery (mean age: 5.7 years old), and 2 patients had normal pressure gradients (mean follow-up: 8.4 years). CONCLUSION: A detailed cardiac evaluation must be performed in all patients with Williams-Beuren syndrome due to the high frequency of cardiovascular abnormalities.

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.

Análisis comparativo entre actividades de aprendizaje diseñadas con Estudio de Casos y Aprendizaje Basado en Problemas, y actividades de tipo tradicional, como dispositivos didácticos en Educación a Distancia. Comparative analysis of learning activities designed with Problem Based Learning and Case Study approaches, and activities designed with traditional methods, in Distance Education.

Identificación y caracterización del problema: El problema que guía este proyecto, pretende dar respuesta a interrogantes tales como: ¿De qué modo el tipo de actividades que se diseñan, se constituyen en dispositivos posibilitadores de la comprensión de los temas propios de cada asignatura, por parte de los alumnos? A partir de esta pregunta, surge la siguiente: Al momento de resolver las actividades, ¿qué estrategias cognitivas ponen en juego los estudiantes? y ¿cuáles de ellas favorecen procesos de construcción del conocimiento? Hipótesis: - Las asignaturas cuyas actividades están elaboradas bajo la metodología de Aprendizaje Basado en Problemas y Estudio de Casos, propician aprendizajes significativos por parte de los estudiantes. - Las actividades elaboradas bajo la metodología del Aprendizaje Basado en Problemas y el Estudio de Casos requieren de procesos cognitivos más complejos que los que se implementan en las de tipo tradicional. Objetivo: - Identificar el impacto que tienen las actividades de aprendizaje de tipo tradicional y las elaboradas bajo la metodología de Aprendizaje Basado en Problemas y Estudio de Casos, en el aprendizaje de los alumnos. Materiales y Métodos: a) Análisis de las actividades de aprendizaje del primero y segundo año de la carrera de Abogacía, bajo lamodalidad a Distancia. b) Entrevistas tanto a docentes contenidistas como así también a los tutores. c) Encuestas y entrevistas a los alumnos. Resultados esperados: Se pretende confirmar que las actividades de aprendizaje, diseñadas bajo la metodología del Aprendizaje Basado en Problemas y el Estudio de Casos, promueven aprendizajes significativos en los alumnos. Importancia del proyecto y pertinencia: La relevancia del presente proyecto se podría identificar a través de dos grandes variables vinculadas entre sí: la relacionada con el dispositivo didáctico (estrategias implementadas por los alumnos) y la referida a lo institucional (carácter innovador de la propuesta de enseñanza y posibilidad de extenderla a otras cátedras). El presente proyecto pretende implementar mejoras en el diseño de las actividades de aprendizaje, a fin de promover en los alumnos la generación de ideas y soluciones responsables y el desarrollo de su capacidad analítica y reflexiva.