Aplicação do Building Information Modeling na gestão de projetos de construção

Dissertação de mestrado em Construção e Reabilitação Sustentáveis

Implementation and comparison of different switching techniques for shunt active power filters

This paper presents a comparison between three switching techniques that can be used in three-phase four-wire Shunt Active Power Filters (SAPFs). The implemented switching techniques are: Periodic-Sampling (PS), Triangular Carrier Pulse-Width Modulation (TC-PWM) and Space Vector PWM (SVPWM). The comparison between them is made in terms of the compensated currents THD%, implementation complexity, necessary CPU time and SAPF efficiency. To perform this comparison are presented and analyzed several experimental results, obtained with a 20 kVA Shunt Active Power Filter prototype, specially developed for this purpose. The control system of the developed SAPF is based in the p-q Theory with a grid synchronization algorithm p-PLL.

The greener grass: da autorrepresentação em Alanis Morissette

Tese de Doutoramento em Ciências da Literatura - Especialidade em Teoria da Literatura

New control algorithm for single-phase series active power filter

This paper presents a single-phase Series Active Power Filter (Series APF) for mitigation of the load voltage harmonic content, while maintaining the voltage on the DC side regulated without the support of a voltage source. The proposed series active power filter control algorithm eliminates the additional voltage source to regulate the DC voltage, and with the adopted topology it is not used a coupling transformer to interface the series active power filter with the electrical power grid. The paper describes the control strategy which encapsulates the grid synchronization scheme, the compensation voltage calculation, the damping algorithm and the dead-time compensation. The topology and control strategy of the series active power filter have been evaluated in simulation software and simulations results are presented. Experimental results, obtained with a developed laboratorial prototype, validate the theoretical assumptions, and are within the harmonic spectrum limits imposed by the international recommendations of the IEEE-519 Standard.

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

Pregnant crack addicts in a psychiatric unit

OBJECTIVE: In this study we aim to characterize a sample of 85 pregnant crack addicts admitted for detoxification in a psychiatric inpatient unit. METHOD: Cross-sectional study. Sociodemographic, clinical, obstetric and lifestyle information were evaluated. RESULTS: Age of onset for crack use varied from 11 to 35 years (median = 21). Approximately 25% of the patients smoked more than 20 crack rocks in a typical day of use (median = 10; min-max = 1-100). Tobacco (89.4%), alcohol (63.5%) and marijuana (51.8%) were the drugs other than crack most currently used. Robbery was reported by 32 patients (41.2%), imprisonment experience by 21 (24.7%), trade of sex for money/drugs by 38 (44.7%), home desertion by 33 (38.8%); 15.3% were positive for HIV, 5.9% for HCV, 1.2% for HBV and 8.2% for syphilis. After discharge from the psychiatric unit, only 25% of the sample followed the proposed treatment in the chemical dependency outpatient service. CONCLUSION: Greater risky behaviors for STD, as well as high rates of maternal HIV and Syphilis were found. Moreover, the high rates of concurrent use of other drugs and involvement in illegal activities contribute to show their chaotic lifestyles. Prevention and intervention programs need to be developed to address the multifactorial nature of this problem.

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.