19 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
Las metáforas son un instrumento pedagógico y terapéutico para facilitar la comunicación y comprensión de temas relacionados con la salud-enfermedad. Objetivo: Presentar las metáforas que el equipo de “Aula de Salut” ha elaborado en base a la experiencia en formación de grado, posgrado y profesionales, intervención y asesoramiento en Educación para la Salud (EpS), con el fin de reflexionar y enseñar los modelos de intervención en EpS. Método: Se ha seguido la metodología de la investigación-acción de Mac Kernan. Resultados: Se han caracterizado cuatro tipologías distintas de profesionales de la salud en función de su modelo de intervención (botijo, maceta, látigo y matrona) con sus respectivas metáforas. A través de dichas metáforas se provoca la implicación, tanto del alumno como del profesional, permitiéndoles observar y analizar sus modelos de intervención para ayudarles a comprenderlos y mejorarlos. Conclusiones: Ha resultado ser una herramienta muy útil porque abre una vía de investigación en el campo de la EpS tanto en la práctica asistencial como en la formación de los profesionales de la salud. También constituye un elemento clave de comunicación al convertirse en un modo de transmitir el mensaje de forma más efectiva y, finalmente, se alzan como una herramienta de pensamiento al transformarse en un medio para ayudar a entender nuevas ideas, conceptos y métodos.
Resumo:
Past temperature variations are usually inferred from proxy data or estimated using general circulation models. Comparisons between climate estimations derived from proxy records and from model simulations help to better understand mechanisms driving climate variations, and also offer the possibility to identify deficiencies in both approaches. This paper presents regional temperature reconstructions based on tree-ring maximum density series in the Pyrenees, and compares them with the output of global simulations for this region and with regional climate model simulations conducted for the target region. An ensemble of 24 reconstructions of May-to-September regional mean temperature was derived from 22 maximum density tree-ring site chronologies distributed over the larger Pyrenees area. Four different tree-ring series standardization procedures were applied, combining two detrending methods: 300-yr spline and the regional curve standardization (RCS). Additionally, different methodological variants for the regional chronology were generated by using three different aggregation methods. Calibration verification trials were performed in split periods and using two methods: regression and a simple variance matching. The resulting set of temperature reconstructions was compared with climate simulations performed with global (ECHO-G) and regional (MM5) climate models. The 24 variants of May-to-September temperature reconstructions reveal a generally coherent pattern of inter-annual to multi-centennial temperature variations in the Pyrenees region for the last 750 yr. However, some reconstructions display a marked positive trend for the entire length of the reconstruction, pointing out that the application of the RCS method to a suboptimal set of samples may lead to unreliable results. Climate model simulations agree with the tree-ring based reconstructions at multi-decadal time scales, suggesting solar variability and volcanism as the main factors controlling preindustrial mean temperature variations in the Pyrenees. Nevertheless, the comparison also highlights differences with the reconstructions, mainly in the amplitude of past temperature variations and in the 20th century trends. Neither proxy-based reconstructions nor model simulations are able to perfectly track the temperature variations of the instrumental record, suggesting that both approximations still need further improvements.
Resumo:
This study investigates the transformation of practical teaching in a Catalan school, connected to the design, implementation and development of project-based learning, and focusing on dialogic learning to investigate its limits and possibilities. Qualitative and design-based research (DBR) methods are applied. These methods are based on empirical educational research with the theory-driven of learning environments. DBR is proposed and applied using practical guidance for the teachers of the school. It can be associated with the current proposals for Embedding Social Sciences and Humanities in the Horizon 2020 Societal Challenges. This position statement defends the social sciences and the humanities as the most fundamental and important ideas to face all societal challenges. The results of this study show that before the training process, teachers apply dialogic learning in specific moments (for example, when they speak about the weekend); however, during the process and after the process, they work systematically with dialogic learning through the PEPT: they start and finish every activity with a individual and group reflection about their own processes, favouring motivation, reasoning and the implication of all the participants. These results prove that progressive transformations of teaching practice benefit cooperative work in class
Resumo:
Context. The interaction of microquasar jets with their environment can produce non-thermal radiation as in the case of extragalactic outflows impacting on their surroundings. Significant observational evidence of jet/medium interaction in galactic microquasars has been collected in the past few years, although little theoretical work has been done regarding the resulting non-thermal emission. Aims. In this work, we investigate the non-thermal emission produced in the interaction between microquasar jets and their environment, and the physical conditions for its production. Methods. We developed an analytical model based on those successfully applied to extragalactic sources. The jet is taken to be a supersonic and mildly relativistic hydrodynamical outflow. We focus on the jet/shocked medium structure in its adiabatic phase, and assume that it grows in a self-similar way. We calculate the fluxes and spectra of the radiation produced via synchrotron, inverse Compton, and relativistic bremsstrahlung processes by electrons accelerated in strong shocks. A hydrodynamical simulation is also performed to investigate further the jet interaction with the environment and check the physical parameters used in the analytical model. Results. For reasonable values of the magnetic field, and using typical values of the external matter density, the non-thermal particles could produce significant amounts of radiation at different wavelengths, although they do not cool primarily radiatively, but by adiabatic losses. The physical conditions of the analytical jet/medium interaction model are consistent with those found in the hydrodynamical simulation. Conclusions. Microquasar jet termination regions could be detectable at radio wavelengths for current instruments sensitive to ~arcminute scales. At X-ray energies, the expected luminosities are moderate, although the emitter is more compact than the radio one. The source may be detectable by XMM-Newton or Chandra, with 1-10 arcsec of angular resolution. The radiation at gamma-ray energies may be within the detection limits of the next generation of satellite and ground-based instruments.