Desenvolvimento de um sistema para análise de equilíbrio baseado em sensores inerciais

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e de Computadores

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Dessincronia ventricular e aumento dos níveis de BNP na estimulação apical do ventrículo direito

FUNDAMENTO: A estimulação apical crônica do ventrículo direito pode ocasionar dessincronia ventricular e, secundariamente, alterações neuro-humorais e aumento da morbimortalidade cardíaca. OBJETIVO: Pesquisar dessincronia ventricular e seus efeitos sobre os níveis de BNP em pacientes com marca-passo estimulados cronicamente no ápice do ventrículo direito (VD). MÉTODOS: Estudo transversal com 85 pacientes com marca-passo uni ou bicameral, em classe funcional I e II da NYHA e fração de ejeção do ventrículo esquerdo (FEVE) > 35%. A avaliação de dessincronia foi realizada utilizando-se várias técnicas ecocardiográficas, incluindo o Tissue Synchronization Imaging (TSI), com análise dos 12 segmentos. O BNP foi dosado junto com o ecocardiograma, porém com o examinador cego. RESULTADOS: Quarenta e seis mulheres e 39 homens, com idade de 58 ± 12 anos, chagásicos (56%) e hipertensos controlados (62%), foram incluídos. A fração de ejeção do VE foi 52 ± 8% e a duração média do QRS de 139 ms (120-180 ms). O BNP mostrou-se alterado em 36,5% da amostra (ponto de corte de 60 pg/ml). Na análise multivariada de regressão linear, o BNP correlacionou-se com a idade (p = 0,024), FEVE (p < 0,0001) e tempo pré-ejetivo do VE (p = 0,009), que é índice de dessincronia intraventricular. CONCLUSÃO: Em pacientes com estimulação cardíaca convencional, estáveis clinicamente, a dessincronia intraventricular foi um preditor independente do aumento dos níveis de BNP, após ajuste pela idade e FEVE.

Theoretische Untersuchungen der mikroskopischen Synchronisation von molekularen Enzymzyklen

Allosteric regulation, automaton-model, enzymes, kinetics, fluctuations, hopf-bifurcation, reaction coordinate, selforganization, synchronization

Hatching and larval export of the intertidal crab Neohelice granulata in Mar Chiquita coastal lagoon, Argentina

Synchronization in the events of the reproductive cycle in female Neohelice granulata Dana, 1851 were studied from samples taken weekly and biweekly from September to December 2006 in the Laguna Mar Chiquita. The timing and larval hatching and synchronicity were inferred from numbers of ovigerous females and observing the stages of embryonic development. Synchronization in larval hatching also was observed in females in experiments in dark for a period of 48 hours, at three different salinities (10, 23 and 33 ppm). In addition plankton sampling were performed in order to study larval exportation at the field and its link to the tidal and light/dark cycles. We found that ovigerous females of N. granulata have a marked synchronization in embryonic development which results in that most of berried females are close to hatching within a period of maximum tidal range (days). Within this period, there is a synchronization of hatching at a time scale of hours, governed by environmental conditions. The salinity range used in this study (10-32‰) did not affect hatching synchronicity neither time to hatch. Hatching was synchronized according to endogenous rhythms governed mainly by the tidal cycle and secondarily by the breadth of it. It is also conditioned by the light-dark cycle through an exogenous cycle, so that the hatchings would occur mostly at night high tides.

Estudio de sincronización cooperativa en redes de sensores

En este informe se estudia cómo es posible utilizar redes de sensores inalámbricos (WSN), para la localización de determinados eventos. Se hace un estudio previo de cómo una red de sensores puede llegar a estar sincronizada de una manera cooperativa, interactuando todos los sensores de la red entre sí. Primero se realiza el estudio para la sincronización de dos sensores con frecuencias diferentes, viéndose los parámetros que intervienen para que esta sincronización se realice con éxito, y también los efectos que en ella se produce al añadirle ruido. Seguidamente, se realiza el estudio para la sincronización de redes de N sensores, de manera que interactúen entre ellos de forma cooperativa. Se observan las características de la sincronización cuando todos los sensores llegan a consenso y, después, se busca la forma para que el consenso tienda hacia un valor determinado por mutuo acuerdo de los sensores. Finalmente, a partir de las características obtenidas en el consenso de N sensores, se realiza una aplicación práctica para la localización de eventos por medio del consenso de estas redes de sensores inalámbricos.

Implementación de técnicas de estimación y sincronización para sistemas OFDM: aplicación directa sobre la implementación de la capa física del estándar DVB-T

El sistema de modulación ODFM es utilizado en diversas aplicaciones de banda ancha, tanto en comunicaciones por cable como en aplicaciones inalámbricas. Presenta numerosas ventajas frente a sistemas de banda ancha de portadora única ya que permite una alta eficiencia espectral, una fácil ecualización y una reducción del ISI. Por el contrario, presenta dificultades inherentes a su estructura, que son de vital importancia solventar, entre las cuales se encuentran los altos requisitos de sincronización. Este proyecto presenta métodos de sincronización de tiempo y frecuencia implementados y evaluados sobre una plataforma software basada en Matlab®, que recoge el sistema completo de transmisión basado fielmente en el estándar DVB-T. Tras una presentación de los principios de la modulación OFDM, en este documento se presenta un estudio detallado de este sistema de transmisión y su implementación, formando conjuntamente una plataforma de simulación para la evaluación de los estimadores implementados.

Testing low-altitude infrared digital photography from a mini-UAV to retrieve information for biological conservation

Satellite remote sensing imagery is used for forestry, conservation and environmental applications, but insufficient spatial resolution, and, in particular, unavailability of images at the precise timing required for a given application, often prevent achieving a fully operational stage. Airborne remote sensing has the advantage of custom-tuned sensors, resolution and timing, but its price prevents using it as a routine technique for the mentioned fields. Some Unmanned Aerial Vehicles might provide a “third way” solution as low-cost techniques for acquiring remotely sensed information, under close control of the end-user, albeit at the expense of lower quality instrumentation and instability. This report evaluates a light remote sensing system based on a remotely-controlled mini-UAV (ATMOS-3) equipped with a color infra-red camera (VEGCAM-1) designed and operated by CATUAV. We conducted a testing mission over a Mediterranean landscape dominated by an evergreen woodland of Aleppo pine (Pinus halepensis) and (Holm) oak (Quercus ilex) in the Montseny National Park (Catalonia, NE Spain). We took advantage of state-of-the-art ortho-rectified digital aerial imagery (acquired by the Institut Cartogràfic de Catalunya over the area during the previous year) and used it as quality reference. In particular, we paid attention to: 1) Operationality of flight and image acquisition according to a previously defined plan; 2) Radiometric and geometric quality of the images; and 3) Operational use of the images in the context of applications. We conclude that the system has achieved an operational stage regarding flight activities, although with meteorological limits set by wind speed and turbulence. Appropriate landing areas can be sometimes limiting also, but the system is able to land on small and relatively rough terrains such as patches of grassland or short matorral, and we have operated the UAV as far as 7 km from the control unit. Radiometric quality is sufficient for interactive analysis, but probably insufficient for automated processing. A forthcoming camera is supposed to greatly improve radiometric quality and consistency. Conventional GPS positioning through time synchronization provides coarse orientation of the images, with no roll information.

On the existence of hysteresis in the Kuramoto model with bimodal frequency distributions

We investigate the transition to synchronization in the Kuramoto model with bimodal distributions of the natural frequencies. Previous studies have concluded that the model exhibits a hysteretic phase transition if the bimodal distribution is close to a unimodal one, due to the shallowness the central dip. Here we show that proximity to the unimodal-bimodal border does not necessarily imply hysteresis when the width, but not the depth, of the central dip tends to zero. We draw this conclusion from a detailed study of the Kuramoto model with a suitable family of bimodal distributions.

Aging and motor programming: differential effects according to the selection of action

There are controversial reports about the effect of aging on movement preparation, and it is unclear to which extent cognitive and/or motor related cerebral processes may be affected. This study examines the age effects on electro-cortical oscillatory patterns during various motor programming tasks, in order to assess potential differences according to the mode of action selection. Twenty elderly (EP, 60-84 years) and 20 young (YP, 20-29 years) participants with normal cognition underwent 3 pre-cued response tasks (S1-S2 paradigm). S1 carried either complete information on response side (Full; stimulus-driven motor preparation), no information (None; general motor alertness), or required free response side selection (Free; internally-driven motor preparation). Electroencephalogram (EEG) was recorded using 64 surface electrodes. Alpha (8-12 Hz) desynchronization (ERD)/synchronization (ERS) and motor-related amplitude asymmetries (MRAA) were analyzed during the S1-S2 interval. Reaction times (RTs) to S2 were slower in EP than YP, and in None than in the other 2 tasks. There was an Age x Task interaction due to increased RTs in Free compared to Full in EP only. Central bilateral and midline activation (alpha ERD) was smaller in EP than YP in None. In Full just before S2, readiness to move was reflected by posterior midline inhibition (alpha ERS) in both groups. In Free, such inhibition was present only in YP. Moreover, MRAA showed motor activity lateralization in both groups in Full, but only in YP in Free. The results indicate reduced recruitment of motor regions for motor alertness in the elderly. They further show less efficient cerebral processes subtending free selection of movement in elders, suggesting reduced capacity for internally-driven action with age.

The cave-like sense organ in the antennae of Triatominae bugs

In the second segment of the antennae of haematophagous reduviids an unusual cave-like organ is found the function os which was investigated in Triatoma infestans. the morphology of the organ makes it difficult to ascribe it to a mechno- or chemoreceptive function, but shows some characteristics shared with thermoreceptors of other animals. The electrical activity of sense cells was recorded in the presence of stimuli that evoke behavioural responses in this species, i.e. warm, CO2, lactic and butyric acids at different concentrations. The three compounds tested failed to evoke a response at all concentrations assayed. Only thermal stimulation evinced a clear modification in the electrical activity of the sense cells.Both the morphological and electrophysiological findings support a thermoreceptive finding, habitat selection and circadian synchronization.

Patient-ventilator asynchrony during noninvasive ventilation: a bench and clinical study.

BACKGROUND: Different kinds of ventilators are available to perform noninvasive ventilation (NIV) in ICUs. Which type allows the best patient-ventilator synchrony is unknown. The objective was to compare patient-ventilator synchrony during NIV between ICU, transport-both with and without the NIV algorithm engaged-and dedicated NIV ventilators. METHODS: First, a bench model simulating spontaneous breathing efforts was used to assess the respective impact of inspiratory and expiratory leaks on cycling and triggering functions in 19 ventilators. Second, a clinical study evaluated the incidence of patient-ventilator asynchronies in 15 patients during three randomized, consecutive, 20-min periods of NIV using an ICU ventilator with and without its NIV algorithm engaged and a dedicated NIV ventilator. Patient-ventilator asynchrony was assessed using flow, airway pressure, and respiratory muscles surface electromyogram recordings. RESULTS: On the bench, frequent auto-triggering and delayed cycling occurred in the presence of leaks using ICU and transport ventilators. NIV algorithms unevenly minimized these asynchronies, whereas no asynchrony was observed with the dedicated NIV ventilators in all except one. These results were reproduced during the clinical study: The asynchrony index was significantly lower with a dedicated NIV ventilator than with ICU ventilators without or with their NIV algorithm engaged (0.5% [0.4%-1.2%] vs 3.7% [1.4%-10.3%] and 2.0% [1.5%-6.6%], P < .01), especially because of less auto-triggering. CONCLUSIONS: Dedicated NIV ventilators allow better patient-ventilator synchrony than ICU and transport ventilators, even with their NIV algorithm. However, the NIV algorithm improves, at least slightly and with a wide variation among ventilators, triggering and/or cycling off synchronization.

Anàlisi del desenvolupament floral d'un arbust mediterrani, la Globularia alypum, en poblacions costaneres i continentals

En aquest projecte s’ha estudiat la fenologia de floració de nou poblacions de G.alypum, un arbust de fulla perenne típic dels ambients termòfils de l’oest de l’Àrea Mediterrània, situades en diferents localitats de Catalunya. Aquesta espècie té una fenologia de la floració molt variable entre poblacions, ja que poden florir des de l’estiu tardà - tardor primerenca fins a la primavera següent depenent de la població. Es distingeixen dos grups de població, el de floració primerenca i el floració tardana. Les poblacions primerenques creixen, majoritàriament, a les localitats costaneres i floreixen des de setembre fins a novembre. Les poblacions tardanes creixen a les localitats d’interior i floreixen des de febrer fins a abril. En aquest treball es pretén millorar la comprensió sobre les diferències geogràfiques dels patrons de la fenologia floral entre les poblacions de G. alypum. Unes diferències que ja es manifesten al juliol, quan el desenvolupament floral es troba en els seus estadis preliminars. Alhora, en els mesos posteriors, l’increment del desenvolupament floral de les poblacions de G. alypum s’ha correlacionat positivament amb la temperatura mínima del mes de desembre. En aquest projecte també es pretén aprofundir en el coneixement sobre el desenvolupament floral d’aquesta espècie, descriure’n els diferents estadis i trobar un indicador adient per realitzar anàlisis estadístics. Uns aspectes gens banals tenint en compte la importància ecològica de la floració, sobretot en la seva sincronització amb el cicle vital dels pol·linitzadors així com en la seva importància adaptativa.

Visual stimulus-dependent changes in interhemispheric EEG coherence in humans.

We analyzed the coherence of electroencephalographic (EEG) signals recorded symmetrically from the two hemispheres, while subjects (n = 9) were viewing visual stimuli. Considering the many common features of the callosal connectivity in mammals, we expected that, as in our animal studies, interhemispheric coherence (ICoh) would increase only with bilateral iso-oriented gratings located close to the vertical meridian of the visual field, or extending across it. Indeed, a single grating that extended across the vertical meridian significantly increased the EEG ICoh in normal adult subjects. These ICoh responses were obtained from occipital and parietal derivations and were restricted to the gamma frequency band. They were detectable with different EEG references and were robust across and within subjects. Other unilateral and bilateral stimuli, including identical gratings that were effective in anesthetized animals, did not affect ICoh in humans. This fact suggests the existence of regulatory influences, possibly of a top-down kind, on the pattern of callosal activation in conscious human subjects. In addition to establishing the validity of EEG coherence analysis for assaying cortico-cortical connectivity, this study extends to the human brain the finding that visual stimuli cause interhemispheric synchronization, particularly in frequencies of the gamma band. It also indicates that the synchronization is carried out by cortico-cortical connection and suggests similarities in the organization of visual callosal connections in animals and in man.

Sky Net : sistema de sincronización y control de versiones de documentos on-line

La función de la aplicación Sky Net (un sistema de control de versiones y sincronización de documentos on-line) será la de ofrecer un conjunto de herramientas capaces de establecer una comunicación cliente-servidor de forma transparente utilizando carpetas del disco duro. De esta forma el usuario final podrá tener todos sus documentos guardados en un servidor, poderlos recuperar en el momento que se desee, y tener los mismos documentos en todas las estaciones de trabajo que estén conectadas a la aplicación. Además se le añade una función de control de versiones que permitirá guardar el contenido de una carpeta bajo un identificador (nombre o versión), y poderlo recuperar más adelante aunque ya hayamos hecho modificaciones en los documentos de dicha carpeta. El proyecto se compone de dos aplicaciones: Sky Catcher, la aplicación cliente, y Sky Node, la aplicación servidor.