Aplicação de ferramentas Lean e Seis Sigma numa indústria de sistemas de fixação

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

Electrodialytic remediation of two types of air pollution control residues and their applicability in construction materials

Dissertação para obtenção do Grau de Mestre em Engenharia do Ambiente Perfil de Engenharia de Sistemas Ambientais

Controlo unfalsified em sistemas MIMO

Com o crescente progresso tecnológico, surgem sistemas mais eficientes, mas também mais complexos e não-lineares. Isto torna-se mais evidente em sistemas Multi-Input Multi-Output (MIMO), devido a diferentes efeitos que uma entrada possa ter sobre diversas saídas. Para estes sistemas, a obtenção de modelos matemáticos que capturem, com precisão aceitável, a dinâmica do sistema, torna-se cada vez mais complexa e custosa. Sendo que muitos dos sistemas utilizados hoje em dia são MIMO, a diminuição na precisão dos modelos matemáticos é uma adversidade à eficiência dos sistemas de controlo. Isto deve-se a grande parte dos métodos de projeto de controladores terem como base o modelo do sistema. O trabalho realizado nesta dissertação pretende desenvolver uma estrutura de supervisão para sistemas MIMO, com base em controlo Unfalsified, ou Unfalsified Control (UC). Este consiste numa abordagem de controlo adaptativo, cujo processo de adaptação se traduz na seleção de um controlador, de entre um conjunto pré-determinado. Em cada momento é selecionado o controlador que mais se adequa ao objetivo de controlo pretendido. A utilização de UC representa uma possível solução para o problema apresentado, pois utiliza apenas dados experimentais recolhidos do funcionamento do processo. Assim, contorna a necessidade da existência de modelos do processo. Existem, no entanto, dificuldades associadas à comutação de controladores, pelo que este trabalho pretende também desenvolver uma estrutura de Bumpless Transfer (BT), de forma a reduzir estes efeitos. Finalmente, a utilização de dados experimentais implica que a aplicação de UC a um processo está apenas limitada ao ajuste dos parâmetros do sistema de supervisão, e à existência de um conjunto de controladores adequados.

Estudo do controlo motor via Sincronias entre sinais de EEG e de EMG / Motor control study through sincrony between EEG and EMG signals

Um dos maiores desafios da neurofisiologia é o de compreender a forma como a informação é transmitida através do sistema nervoso. O estudo do sistema nervoso tem várias aplicações, tanto na neurologia, permitindo avanços ao nível clínico, como noutras áreas, e.g., nos sistemas de processamento de informação baseados em redes neuronais. A transmissão de informação entre neurónios é feita por via de sinais elétricos. A compreensão deste fenómeno é ainda incompleta e há projectos a nível europeu e mundial com o objetivo de modular o sistema nervoso no seu todo de forma a melhor o compreender. Uma das teses que se desenvolve hoje em dia é a de que a transmissão de sinais elétricos no sistema nervoso é influenciada por fenómenos de sincronia. O objetivo desta dissertação é o de otimizar um protocolo de aquisição e análise de dados reais de eletroencefalograma e eletromiograma com o propósito de observar fenómenos de sincronia, baseando-se num algoritmo (análise por referência de fase, ou RPA, do inglês reference phase analysis) que deteta sincronias de fase entre os sinais de eletroencefalograma (EEG) e um sinal de referência, que é, no caso presente, o eletromiograma (EMG). A otimização deste protocolo e sua validação indicaram a existência de fenómenos significativos de sincronia no sinal elétrico, transmitido entre os músculos da mão e o córtex motor, no decorrer da ação motora.

Seguidor do ponto de máxima potência multi-conversor para sistemas solares fotovoltaicos

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

Aproveitamento de energia em sistemas de abastecimento de água

Dissertação de mestrado integrado em Engenharia Civil

Avaliação e gestão de riscos em sistemas de saneamento

Dissertação de mestrado integrado em Engenharia Civil

Análise técnica - económica da produção de energia em sistemas de abastecimento de água: caso do aproveitamento de fins múltiplos dos socorridos

Dissertação de mestrado integrado em Engenharia Civil

Sistemas de controlo de gestão, empreendedorismo corporativo, estratégia e performance : contraste entre empresas familiares e não familiares

Mestrado em Contabilidade, Fiscalidade e Finanças Empresariais

Mejoramiento de la eficiencia productiva de caprinos de leche de la zona norte de la provincia de Córdoba por el control de enfermedades infecciosas y parasitarias (Red Pictor)

En el norte de la Provincia de Córdoba, la progresiva intensificación de la producción láctea caprina, debido al fuerte incentivo desde áreas gubernamentales, ha dado como resultado la aparición de algunos problemas sanitarios que generalmente pasan desapercibidos cuando las condiciones productivas se desarrollan en sistemas extensivos y muy rudimentarios. Se comienzan a visualizar problemas sanitarios-productivos inherentes a sistemas de mayor eficiencia y derivados de una mayor carga animal y productividad individual como son las parasitosis por nematodes gastrointestinales y las mastitis. El control químico de ambas afecciones se está llevando a cabo en forma totalmente empírica y con un uso indiscriminado e irracional de antimicrobianos y antiparasitarios, con fracasos terapéuticos, aparición de residuos y sin control de tiempos de retiro. En este contexto, además de las pérdidas productivas, existe un riesgo real de enviar leche al consumo o a la industrialización con concentraciones importantes de antibióticos y/o antiparasitarios. Por todo ello, con este proyecto nos planteamos como objetivos identificar principales especies bacterianas y parasitarias que infectan a nuestros rodeos caprinos; identificar los antimicrobianos y antiparasitarios que se utilizan; realizar los mismos estudios de eficacia, farmacocinética y de resistencia, siendo los beneficiarios directos de estos resultados los productores, el profesional veterinario, los consumidores y la industria láctea.

Sistemas inteligentes para apoyo a los procesos productivos

Desarrollar en el marco de los proyectos PAV (Programa de Área de Vacancia – PAV 2003-00076-0000 de la SECyT) y PROSUL (Programa Sul-Americano de apoyo ás Atividades de Cooperacao em Ciencia e tecnolofia Edital CNPq Nº 015/2004) las diferentes partes del bloque de control para dispositivos básicos o elementales en forma de una solución de hardware y software integrados. A partir de allí, junto a los módulos desarrollados en el proyecto previo, se implementará una red de censores inteligentes a la cual se le podrá agregar lo específico de aplicación en diversos ámbitos tales como automatización de viviendas, edificios inteligentes, máquinas expendedoras automáticas, electrodomésticos, sistemas automáticos de riego, instrumental de monitoreo clínico centralizado, electromedicina, etc.

Estudio de las propiedades dinámicas de sistemas magnéticos con redes neuronales y otros sistemas complejos

En este proyecto continuaremos estudiando algunas propiedades dinámicas de diferentes sistemas complejos, con especial énfasis en vidrios de spin, redes neuronales y autómatas celulares aplicados a modelos de evolución biológica. En vidrios de spin estamos analizando la dependencia entre los diagramas dinámicos obtenidos utilizando la técnica de propagación de daños y aquellos obtenidos estudiando el decaimiento de la función de autocorrelación. Este estudio pretende contribuir a entender los mecanismos microscópicos responsables del surgimiento de "ageing", entendiendo por éste a la dependencia de algunas cantidades con la historia de la muestra. En redes neuronales seguiremos dos líneas: en primer lugar, introducir componentes más realistas desde el punto de vista biológico, a fin de entender los mecanismos fisiológicos de las diferentes funciones cerebrales. En segundo lugar, estamos interesados en utilizar el modelo de Hopfield para red neuronal como por ejemplo de sistema complejo controlable a partir del cual estamos tratando de entender cómo la estructura del espacio de fases influye en la dinámica del sistema. Finalmente, continuaremos trabajando con el modelo Bak-Sneppen para evolución biológica de especies interactuantes y el surgimiento de "ageing" en el estado auto crítico. Objetivos generales y específicos (...) 1. Estudio de la relación entre el fenómeno de "ageing" y la sensibilidad del proceso dinámico a las condiciones iniciales. (...) 2. Estudio del efecto de la formación de dominios en la dinámica de no-equilibrio de modelos de vidrios de spin y ferromagnéticos. (...) 3. Estudio de la influencia de la estructura del espacio de configuraciones en la dinámica de no-equilibrio. (...) 4. Inclusión de ingredientes biológicamente realistas. (...) 5. Auto criticalidad forzada por secuencias deterministas. (...)

Transporte de carga y espín en sistemas mesoscópicos

Se busca profundizar en el entendimiento del transporte cuántico prediciendo y observando efectos de interferencias temporales (ecos mesoscópicos) y espaciales. Estos conocimientos se aplican a la difusión de excitaciones, cuantificando así las interacciones que controlan la relajación. En el caso de espines, se desarrollan métodos de análisis que permiten una mejor cuantificación de las interacciones magnéticas. Se posibilita así la caracterización de moléculas y nanopartículas metálicas por RMN. En el caso de microdispositivos, el control de las excitaciones cuánticas nos permitió el diseño de un amplificador de ultra-sonido por emisión estimulada (SASER) que convierte las excitaciones electrónicas en ultrasonido. Objetivos En lo relativo al transporte de carga, se quiere optimizar los parámetros del dispositivo SASER (amplificador de ultra-sonido por emisión estimulada). Se estudiará la compatibilidad de las aproximaciones de transporte coherente y secuencial. Por otra parte se continuará con el estudio de las manifestaciones del confinamiento electrónico en una nanoestructura en el espectro de RMN de núcleos metálicos para lograr un mejor ajuste con los resultados experimentales. En lo relativo al transporte de magnetización, el objetivo teórico es encontrar las condiciones para la observación de ecos cuánticos así como otros fenómenos temporales en el transporte de espines en molécula, procurando extenderlos al transporte de carga en microdispositivos. Se desea evaluar la influencia de interacciones de muchas partículas y otras interacciones que rompen la coherencia de fase en la descripción dinámica de las excitaciones. En la parte experimental, se crecen monocristales de moléculas orgánicas susceptibles de presentar los ecos dinámicos estudiados en la parte teórica. (...) También deseamos explorar la difusión de magnetización mediante el análisis de Coherencias Cuánticas Múltiples. En síntesis, se espera mejorar la cuantificación e identificación de los ecos medidos en ferroceno y cimantreno, incorporando el efecto de las interacciones que rompen la coherencia de fase.

CONTROL DEL FLUJO DE ENERGÍA ELÉCTRICA DE CC TOLERANTE A FALLAS

El objetivo general de esta propuesta es investigar y desarrollar nuevos convertidores electrónicos de potencia, más eficientes, confiables y robustos, para controlar el flujo de energía eléctrica en Sistemas Híbridos. Estos sistemas pueden alimentarse de almacenadores y generadores de CC, como por ejemplo baterías, ultracapacitores y celdas de combustible. Como objetivos específicos se pretende proponer nuevas topologías de convertidores electrónicos de potencia, incluyendo los controladores digitales, con las siguientes características: • Alto rendimiento, • Tolerantes a fallas, • Desarrollo de estrategias para la detección y diagnóstico de fallas. Se propone modelar y realizar simulaciones de las nuevas propuestas con el objetivo de compararlas con otras ya existentes. Con el objetivo de validar experimentalmente los resultados teóricos y de simulación también se propone implementar prototipos demostrativos. La implementación de los citados convertidores se realizará con dispositivos semiconductores de potencia y componentes magnéticos de alta frecuencia para maximizar las relaciones potencia/volumen y/o potencia/peso del sistema.

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.