HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications

Nowadays, software artifacts are ubiquitous in our lives being an essential part of home appliances, cars, cell phones, and even in more critical activities like aeronautics and health sciences. In this context software failures may produce enormous losses, either economical or, in the worst case, in human lives. Software analysis is an area in software engineering concerned with the application of diverse techniques in order to prove the absence of errors in software pieces. In many cases different analysis techniques are applied by following specific methodological combinations that ensure better results. These interactions between tools are usually carried out at the user level and it is not supported by the tools. In this work we present HeteroGenius, a framework conceived to develop tools that allow users to perform hybrid analysis of heterogeneous software specifications. HeteroGenius was designed prioritising the possibility of adding new specification languages and analysis tools and enabling a synergic relation of the techniques under a graphical interface satisfying several well-known usability enhancement criteria. As a case-study we implemented the functionality of Dynamite on top of HeteroGenius.Comment: In Proceedings LAFM 2013, arXiv:1401.056

Active split-ring metamaterial slabs for magnetic resonance imaging

In this work, it is analyzed the ability of split-ring metamaterial slabs with zero/high permeability to reject/confine the radiofrequency magnetic field in magnetic resonance imaging systems. Using an homogenization procedure, split-ring slabs have been designed and fabricated to work in a 1.5T system. Active elements consisting of pairs of crossed diodes are inserted in the split-rings. With these elements, the permeability of the slabs can be automatically switched between a unity value when interacting with the strong excitation field of the transmitting body coil, and zero or high values when interacting with the weak field produced by protons in tissue. Experiments are shown for different configurations where these slabs can help to locally increase the signal-to-noise-ratio.Comment: 6 pages, 4 figure

Mixing in convective thermal fluxes in unsteady nonhomogeneous flows generating complex three dimensional vorticity patterns

Diffusion and scaling of the velocity and vorticity in a thermoelectric driven heating and cooling experimental device is presented in order to map the different patterns and transitions between two and three dimensional convection in an enclosure with complex driven flows. The size of the water tank is of 0.2 x 0.2 x 0.1 m and the heat sources or sinks can be regulated both in power and sign [1-3]. The thermal convective driven flows are generated by means of Peltier effects in 4 wall extended positions of 0.05 x 0.05 cm each. The parameter range of convective cell array varies strongly with the Topology of the boundary conditions. Side heat and momentum fluxes are a function of Rayleigh, Peclet and Nusselt numbers, [4-6] Visualizations are performed by PIV, Particle tracking and shadowgraph. The structure of the flow is shown by setting up a convective flow generated by buoyant heat fluxes. The experiments described here investigate high Prandtl number mixing using brine and fresh water in order to form a density interface and low Prandtl number mixing with temperature gradients. The evolution of the mixing fronts are compared and the topological characteristics of the merging of the convective structures are examined for different configurations. Based on two dimensional Vorticity spectral analysis, new techniques can be very useful to determine the evolution of scales considering the multi-fractal structure of the convective flows.Peer ReviewedPostprint (published version

The Importance of Shared Decision Making in the Decision to Prevent a Parastomal Hernia With Prosthetic Mesh

Parastomal hernia; Prosthetic mesh; Shared decision makingHèrnia parastomal; Malla protèsica; Presa de decisions compartidaHernia paraestomal; Malla protésica; Toma de decisiones compartid

Saber es Hacer: Una Experiencia Innovadora en la Enseñanza de Catastro.

La enseñanza de la asignatura de Catastro en la Escuela Técnica Superior de Ingenieros de Montes y en la Escuela Universitaria de Ingeniería Técnica Forestal ha sufrido modificaciones en cuanto a su metodología pedagógica, de manera que se ha incrementado el índice de recuerdo por parte de los alumnos una vez finalizados sus estudios. Este punto se ha logrado tras aplicar herramientas de análisis estratégico (DAFO) con el fin de detectar debilidades, amenazas, fortalezas y oportunidades que presentaban dichas asignaturas. Una vez descritas éstas, se han diseñado métodos para mejorar la calidad de la docencia en las mismas

1.3 mm Polarized emission in the circumstellar disk of a massive protostar

We present the first resolved observations of the 1.3 mm polarized emission from the disk-like structure surrounding the high-mass protostar Cepheus A HW2. These CARMA data partially resolve the dust polarization, suggesting a uniform morphology of polarization vectors with an average position angle of 57° ± 6° and an average polarization fraction of 2.0% ± 0.4%. The distribution of the polarization vectors can be attributed to (1) the direct emission of magnetically aligned grains of dust by a uniform magnetic field, or (2) the pattern produced by the scattering of an inclined disk. We show that both models can explain the observations, and perhaps a combination of the two mechanisms produces the polarized emission. A third model including a toroidal magnetic field does not match the observations. Assuming scattering is the polarization mechanism, these observations suggest that during the first few 104 years of high-mass star formation, grain sizes can grow from1 mm to several 10s μm.Fil: Fernandez Lopez, Manuel. Provincia de Buenos Aires. Gobernación. Comision de Investigaciones Científicas. Instituto Argentino de Radioastronomía. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto Argentino de Radioastronomia; ArgentinaFil: Stephens, I. W.. Harvard-Smithsonian Center for Astrophysics; Estados Unidos. Boston University; Estados Unidos. University of Illinois; Estados UnidosFil: Girart, J. M.. Harvard-Smithsonian Center for Astrophysics; Estados Unidos. Institut de Ciències de l’Espai; EspañaFil: Looney, L.. University of Illinois; Estados UnidosFil: Curiel, S.. Universidad Nacional Autónoma de México; MéxicoFil: Segura Cox, D.. University of Illinois; Estados UnidosFil: Eswaraiah, C.. National Tsing Hua University; República de ChinaFil: Lai, S. P.. National Tsing Hua University; República de Chin

Stably stratified Taylor-Couette flows

Stably stratified Taylor–Couette flow has attracted much attention due to its relevance as a canonical example of the interplay among rotation, stable stratification, shear and container boundaries, as well as its potential applications in geophysics and astrophysics. In this article, we review the current knowledge on this topic, highlight unanswered questions and propose directions for future research. This article is part of the theme issue ‘Taylor–Couette and related flows on the centennial of Taylor’s seminal Philosophical Transactions paper (part 2)’.Postprint (author's final draft