Fluid Model Checking of Timed Properties

We address the problem of verifying timed properties of Markovian models of large populations of interacting agents, modelled as finite state automata. In particular, we focus on time-bounded properties of (random) individual agents specified by Deterministic Timed Automata (DTA) endowed with a single clock. Exploiting ideas from fluid approximation, we estimate the satisfaction probability of the DTA properties by reducing it to the computation of the transient probability of a subclass of Time-Inhomogeneous Markov Renewal Processes with exponentially and deterministically-timed transitions, and a small state space. For this subclass of models, we show how to derive a set of Delay Differential Equations (DDE), whose numerical solution provides a fast and accurate estimate of the satisfaction probability. In the paper, we also prove the asymptotic convergence of the approach, and exemplify the method on a simple epidemic spreading model. Finally, we also show how to construct a system of DDEs to efficiently approximate the average number of agents that satisfy the DTA specification

LA CARTELLA CLINICA ELETTRONICA

Questo lavoro offre una descrizione a più livelli della Cartella Clinica Elettronica (CCE), una fotografia della gestione attuale delle informazioni cliniche in ambito Riabilitativo (ospedaliero e territoriale) delle Aziende pubbliche della Regione Toscana. Analizza, nello specifico settore di riabilitazione territoriale dell'età evolutiva della Unità Operativa di Riabilitazione Funzionale dell'A.U.S.L. 12 Viareggio , le criticità riscontrate nei confronti della documentazione riabilitativa cartacea (Cartella Riabilitativa) e le aspetative risolutive attese da un sistema elettronico. Offre una panoramica sulla Cartella Clinica (cartacea), la sua storia ed evoluzione, i riferimenti normativo-legislativi e le caratteristiche. Descrive il contesto di sviluppo della Cartella Clinica Elettronica, gli aspetti normativi e legislativi, le caratteristiche, i requisiti ed i vantaggi per operatori, cittadini ed amministrazioni, rispetto allo strumento tradizionale. Descrive inoltre brevemente la questione dell'approccio dell'operatore sanitario allo strumento elettronico, ad oggi molto differenziabile tra le varie generazioni di operatori sanitari

Miro Villar e la poesia galega di fine secolo

Analisi della poesia galega del XX secolo, in special modo del poeta Miro Villar. In appendice alcune traduzioni, con testo a fronte, del poeta medesimo

A multiscale approach for precipitation verification applied to the FORALPS case studies

International audienceMultiscale methods, such as the power spectrum, are suitable diagnostic tools for studying the second order statistics of a gridded field. For instance, in the case of Numerical Weather Prediction models, a drop in the power spectrum for a given scale indicates the inability of the model to reproduce the variance of the phenomenon below the correspondent spatial scale. Hence, these statistics provide an insight into the real resolution of a gridded field and must be accurately known for interpolation and downscaling purposes. In this work, belonging to the EU INTERREG IIIB Alpine Space FORALPS project, the power spectra of the precipitation fields for two intense rain events, which occurred over the north-eastern alpine region, have been studied in detail. A drop in the power spectrum at the shortest scales (about 30 km) has been found, as well as a strong matching between the precipitation spectrum and the spectrum of the orography. Furthermore, it has also been shown how the spectra help understand the behavior of the skill scores traditionally used in Quantitative Precipitation Forecast verification, as these are sensitive to the amount of small scale detail present in the fields

The use of coated micropowders to reduce radiation heat transfer in foam insulation

Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Architecture, 1991.Includes bibliographical references (leaves 126-129).Polyurethane foam is the most effective insulation currently available for buildings. Chlorofluorocarbon (CFC) blowing agents, which have low thermal conductivities, contribute highly to the effectiveness of this insulation. However, CFC blowing agents are being phased out because they are depleting the earth's protective ozone layer. Alternate blowing agents, with higher thermal conductivities, will compromise the insulating value of the foam insulation. To counteract this effect, the author has sought to improve the effectiveness of foam insulation by increasing its extinction coefficient. In this work, theoretical analysis and experimental measurements have been used to study and increase the extinction coefficient of polyurethane foam insulation. Radiative heat transfer, which accounts for approximately 25% of the total heat transfer through foams, is inversely proportionate to the extinction coefficient. Foam cell walls presently have a transmissivity of about 80% to infrared radiation. The extinction coefficient of foams can be improved by decreasing the cell sizes or by increasing the absorptivity of the foam cell walls. The approach of this work has been to increase the cell wall opacity through the addition of opaque micropowders. Conduction through the solid polymer is of the same magnitude as the radiative transfer, also accounting for approximately 25% of the heat transfer of the foam. To maintain the low thermal conductivity of the polymer, the micropowders added to reduce radiative transfer through the foam must not change its characteristic conductivity. Polymer micropowders with thermally opaque coatings of graphite have been developed in this work using core micropowders with diameters between 8 and 30 [mu]m. Theory predicts that the smaller the particle size, the larger the resulting improvement in extinction coefficient. The coatings required for opacity are less than 0.1 [mu]m thick, composing less than 7% of the overall volume of the powder. The extinction coefficients of the coated micropowders have been experimentally derived and agree well with analytical predictions. These coated micropowders have been added to foams with the goal of increasing their extinction coefficients. The resulting foams indeed demonstrate improved extinction coefficients when compared to a powderless control foam. This improvement results both from reduction in cell size and increased cell wall opacity. The resulting effective conductivities of the foams have been decreased by as much as 6% through the addition of these relatively large micropowders. These results correlate well with predicted values and indicate that the addition of smaller particles will result in even more improvement.by Arlene Lanciani Marge.M.S

Impaired postural control in patients affected by tension-type headache.

Sixteen subjects, affected by chronic tension-type headache (TTH) accordingly to the International Headache Society Classification (1988) criteria, in presence of tenderness in pericranial muscles,with a mean age of 37+/-11.8 years, and ten healthy volunteer subjects, age and sex matched, were submitted to postural analysis by Static Posturography (S.Ve.P. Amplaid). Aim of the study was to evaluate whether patients with TTH have disturbed postural control, as compared to normal subjects. Postural analysis considered all posturographic variables but focused on spectral frequency analysis of body sway. In both open (OE) and closed eyes (CE) condition, spectral frequency analysis showed a significantly increased body sway at low (OE= p < or = 0.01; CE= p < or = 0.01) and middle (OE= p < or = 0.01; CE= p < or = 0.01) frequencies on the antero-posterior (y) plane and at low frequencies (OE= p < or = 0.05; CE= p < or = 0.05) on the lateral (x) plane. Statistical analysis was performed using the Student's t test for unpaired data, p value 0.05 defined significant. The proprioceptive input seems to be predominant at middle and high frequencies in maintaining posture, our results seem then to suggest a proprioceptive disturbance in TTH patients. The disturbance is likely related to chronic pericranial muscle contraction and tenderness. Posturography and spectral analysis may help not only in the diagnosis of a postural disturbance but even more in the follow-up of TTH patients, during and after a medical and/or a rehabilitative treatment

Precisiones sobre la luz en el Pantheon de Roma

[EN] Adriano’s Pantheon is one of the most celebrated works in the history of architecture. Many questions have captivated its visitors, but it is the light that has captured most of the attention: after stripping the building of its symbolic load, the manifestation of its interior light seems to be the only purpose of this immense “space-light” that has fascinated architects, art historians, painters and photographers throughout time. It seems difficult to add anything new, but being fully aware of this, the author of this article hopes to point out some of the different aspects of light in the Pantheon that he considers haven’t been developed enough: the reason behind the solar and urban orientation of the temple regarding the north-south axis; the reconstruction of the light and shadow sequence that must have occurred in the original access to the interior of the temple; the interpretation of the ocular beam of light as an immaterial reminiscence of the false central support of the Etruscan domes, turned into a subtle column that without ever reaching the vertical position, falls in different ways on the surfaces that create the interior.[ES] El Pantheon de Adriano es una de las obras más celebradas de la historia de la arquitectura. Han sido muchas las cuestiones que han cautivado a cuantos han entrado en él, pero es la luz la que ha acaparado el mayor protagonismo: una vez despojado el edificio de su originaria carga simbólica, la manifestación de su luz interior parece ser el único fin de este inmenso espacio-luz que tanto ha fascinado a arquitectos, historiadores del arte, pintores y fotógrafos. Parece difícil poder aportar nada nuevo. Consciente de ello, el autor del presente artículo sólo pretende apuntar algunas cuestiones sobre distintos aspectos de la luz en el Pantheon que considera que no han sido aún suficientemente desarrolladas: el por qué de la orientación solar y urbana del templo con respecto al eje norte-sur; la reconstrucción de la secuencia de luz y sombra que debió de darse en el recorrido original de acceso al interior del templo; la interpretación del haz de luz ocular como reminiscencia inmaterial del soporte central de las falsas cúpulas etruscas, convertida en una columna de materia sutil que, sin alcanzar nunca la vertical, incide de manera variada sobre los paramentos que conforman el interior.Linares De La Torre, O. (2015). Further observations on the light in the Pantheon in Rome. VLC arquitectura. Research Journal. 2(1):33-55. doi:http://dx.doi.org/10.4995/vlc.2015.3376.SWORD335521Deleuze, G. El pliegue. Leibniz y el barroco. Barcelona: Paidós, 1898Giedion, S. El Presente eterno: los comienzos de la arquitectura. Madrid: Alianza, 1981Hatecoeur, L. Mystique et Architecture: Symbolisme du cercle et de la coupole. Paris: A. et J. Picard et Cie, 1954Lanciani, R. Forma Urbis Romae, Quasar, Roma, 1990Macdonald, W. L. The Pantheon: design, meaning and progeny. Cambridge: Harvard University Press, 1976Miguel Arbonés, E. La Luz en la configuración del espacio. Tesis doctoral, Universidad Politécnica de Madrid, 2006Montero Fernández, F.J. El Panteón: Imagen, Tiempo y Espacio. Proyecto y Patrimonio. Sevilla: Universidad de Sevilla, 2004Stamper, J. W. The Architecture of Roman temples: the republic to the middle empire. Cambridge: Cambridge University Press, 200