Desenvolvimento de framework para análise e simulação dinâmica de sistemas elétricos de potência

Esta tese apresenta uma metodologia flexível orientada a objetos (OO) para a aplicação no projeto e implementação de sistemas de software utilizados na realização de estudos dinâmicos de sistemas elétricos de grande porte. A metodologia OO proposta objetiva tornar mais simples o desenvolvimento, a atualização e a manutenção de complexos sistemas de software para estudos de transitórios eletromecânicos em sistemas elétricos de potência. Os requisitos de usuário são mapeados para um conjunto de classes básicas, as quais são usadas para efetuar a modelagem de dispositivos dinâmicos tais como geradores elétricos. Para avaliação da metodologia foram realizados dois estudos de casos. No primeiro estudo caso o Framework foi aplicado na simulação das unidades geradoras da Usina Hidrelétrica de Tucuruí. Os resultados da simulação foram comparados com medições obtidos em ensaios no campo e mostrou a boa performance do Framework na reprodução dos fenômenos eletromecânicos desta usina de grande porte. No segundo estudo de caso, por outro lado, o Framework foi aplicado na modelagem de um sistema de geração fotovoltaico (PV) com seu sistema de Rastreamento da Potência Máxima (MPPT). O controle MPPT foi implementado usando técnicas digitais. Os resultados das simulações demonstram a performance do Framework na modelagem do sistema de controle de corrente, assim como no controle MPPT, dos sistemas de geração PV.

Estudo do lodo gerado em reator biológico, pelo tratamento da água de produção do petróleo, no terminal marítimo Almirante Barroso, município de São Sebastião, SP visando sua disposição final

Pós-graduação em Ciências Biológicas (Microbiologia Aplicada) - IBRC

Uma abordagem usando visualização de software como apoio à refatoração para aspectos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Avaliação da auto-suficiência energética em reatores anaeróbios aplicados ao tratamento de resíduos da indústria de produção do etanol

Ethanol, the main automotive biofuel, has its production based on the fermentation of sugars found in biological materials and on the distillation of the alcoholic media formed during the fermentative process. Stillage is the main residue from ethanol production, containing a high organic loading in addition to acidic and corrosive characteristics. Considering the available technologies to treat stillage, we highlight anaerobic digestion, which allows the reduction of the impacts associated to pollutants loading of this effluent and the generation of energy from the methane gas produced in the process. Based on the high treatment efficiency usually associated to the anaerobic process, this work aimed to assess whether anaerobic systems applied to the treatment of stillage are energetically self-sufficient. First we evaluated the energy recovery capacity in an anaerobic reactor applied to the treatment of stillage resulting from corn-to-ethanol processing. The results indicated the great influence that a correct selection of electrical equipment and their respective operating periods have on the net energy balance of the anaerobic treatment. The high energy consumption of the heater would not allow the system to achieve a positive net energy balance – the maximum energy recovery would reach only 0.68% of the consumption. However, the replacement of the mixture equipment would result in energy gains ranging from 8.5 to 967.9% of the consumption. In this work we also assessed the efficiency of methane yields for a few studies and the correlation between some parameters of the anaerobic process. With respect to the methane yield, we noted that mesophilic systems tend to be more advantageous than the thermophilic ones (efficiency of 76.45 ± 22.51% vs. 69.40 ± 30.36%). Considering the study... (Complete abstract click electronic access below)

Identificación empírica de beneficios de usabilidad

La usabilidad es un atributo de la calidad del software que se encuentra en la mayoría de las clasificaciones. En este contexto, se entiende por usabilidad la medida en que un producto satisface las necesidades de los stakeholders para alcanzar determinados objetivos de eficacia, eficiencia y satisfacción sin efectos adversos en un contexto específico de uso. En este contexto, no es de extrañar que la usabilidad sea cada vez más reconocida como uno de los factores críticos para la aceptación de un sistema software. En la literatura se encuentran recomendaciones para mejorar la usabilidad de los sistemas software. Sin embargo, no existen datos empíricos que demuestren cómo estas recomendaciones contribuyen positiva o negativamente a cada atributo de usabilidad. En este contexto, el objetivo de la tesis doctoral es la obtención de evidencias empíricas sobre el impacto de la inclusión de mecanismos de usabilidad en un sistema software, más concretamente en los atributos de eficacia, eficiencia y satisfacción-- En esta tesis doctoral se trabaja con mecanismos de usabilidad con gran impacto en la arquitectura software, ya que los mismos deben ser especialmente considerados durante el proceso de desarrollo software. Para obtener evidencias empíricas sobre la inclusión de dichos mecanismos, se ha realizado un experimento piloto y 4 experimentos definitivos utilizando aplicaciones software especialmente desarrolladas para tal fin. Una vez realizada la contrastación empírica de la influencia de estos mecanismos para diferentes sistemas software se pueden realizar las siguientes recomendaciones generales: -La inclusión de cada uno de los mecanismos considerados aumenta considerablemente la satisfacción del usuario en su interacción con las aplicaciones software. -La inclusión de aquellos mecanismos que introducen cuadros de interacción adicionales, disminuye la eficiencia de los usuarios, ya que aumenta el tiempo de duración de las tareas. -Existen una serie de mecanismos que como consecuencia de su ausencia en las aplicaciones resulta imposible la realización de las tareas asociadas a los mismos. Dentro de éste grupo de mecanismos se encuentran aquellos que permiten cancelar o deshacer acciones previamente tomadas y aquellos que provean ayuda en la introducción de información en formularios. Esto implica que su presencia permite la realización exitosa de las tareas y como consecuencia la interacción es mucho más eficaz. En definitiva, se ha encontrado que los distintos mecanismos de usabilidad tienen un impacto diferente en cada atributo, dependiendo su inclusión del/los atributos a potenciar en cada proyecto. Usability is an aspect of software quality that´s found in most classifications. In this context usability is understood as the measure in which a product satisfies the needs of the stakeholders in order to reach certain effectiveness, efficiency and satisfaction goals without adverse sideeffects in a specific context of use. It´s no wonder usability is increasingly being recognized as one of the critical factors for the acceptance of a software system. Recommendations are found in literature to improve the usability of software systems. Nevertheless, there is no empirical data that shows how these recommendations contribute positively or negatively to each usability aspect. In this context, the objective of this doctoral thesis is to obtain empirical evidence on the impact of the inclusion of usability mechanisms in a software system, specifically in the attributes of effectiveness, efficiency and satisfaction. This doctoral thesis deals with usability mechanisms of great impact in software architecture, since they have to be considered during the software development process. In order to get empirical evidence on the inclusion of such mechanisms, a pilot experiment and four definitive experiments have been performed through software applications especially developed for this end. Once the empirical assessment of the influence of these mechanisms on different software systems has been performed, the following general recommendations can be made: -The inclusion of each of the considered mechanisms considerably increases the user´s satisfaction in his interaction with software applications. -The inclusion of those mechanisms that introduce additional interaction frames diminishes the efficiency of the users, since it increases task duration time. -As a consequence of being absent in applications, there is a series of mechanisms whose associated tasks are impossible to perform. Within this group we find those mechanisms that allow cancelling or undoing previous actions, and those that provide help with the introduction of information in forms. This implies that their presence allows the successful completion of tasks, and as a consequence, the interaction is much more effective. In summary, it has been found that the diverse usability mechanisms has a different impact on each attribute, and their inclusion depends on the attribute or attributes to enhance in each project.

Estrategia guiada por modelos para incluir aspectos de seguridad en sistemas empotrados basados en servicios web

En los sistemas distribuidos modernos, como la Internet o Web de las Cosas, la seguridad juega un papel preponderante. Debe prestarse especial atención a la consideración de estos aspectos en las primeras etapas de desarrollo. En este contexto, el desarrollo guiado por modelos de requisitos no funcionales (NF) presenta especial interés, ya que aborda dichas características NF en la etapa de diseño, cuando todavía se pueden realizar análisis, y aun hay margen para modificaciones antes de que estas sean muy costosas. El uso de estas metodologías guiadas por modelos ofrece beneficios tales como el aumento de la productividad, una mayor reutilización de los elementos de diseño, o una mejor mantenibilidad del sistema. Este artículo presenta una estrategia de desarrollo que permite integrar aspectos NF de seguridad (confidencialidad, integridad, y control de acceso) en los sistemas de software empotrado.

Extração de casos de teste utilizando Redes de Petri hierárquicas e validação de resultados utilizando OWL.

Este trabalho propõe dois métodos para teste de sistemas de software: o primeiro extrai ideias de teste de um modelo desenvolvido em rede de Petri hierárquica e o segundo valida os resultados após a realização dos testes utilizando um modelo em OWL-S. Estes processos aumentam a qualidade do sistema desenvolvido ao reduzir o risco de uma cobertura insuficiente ou teste incompleto de uma funcionalidade. A primeira técnica apresentada consiste de cinco etapas: i) avaliação do sistema e identificação dos módulos e entidades separáveis, ii) levantamento dos estados e transições, iii) modelagem do sistema (bottom-up), iv) validação do modelo criado avaliando o fluxo de cada funcionalidade e v) extração dos casos de teste usando uma das três coberturas de teste apresentada. O segundo método deve ser aplicado após a realização dos testes e possui cinco passos: i) primeiro constrói-se um modelo em OWL (Web Ontology Language) do sistema contendo todas as informações significativas sobre as regras de negócio da aplicação, identificando as classes, propriedades e axiomas que o regem; ii) em seguida o status inicial antes da execução é representado no modelo através da inserção das instâncias (indivíduos) presentes; iii) após a execução dos casos de testes, a situação do modelo deve ser atualizada inserindo (sem apagar as instâncias já existentes) as instâncias que representam a nova situação da aplicação; iv) próximo passo consiste em utilizar um reasoner para fazer as inferências do modelo OWL verificando se o modelo mantém a consistência, ou seja, se não existem erros na aplicação; v) finalmente, as instâncias do status inicial são comparadas com as instâncias do status final, verificando se os elementos foram alterados, criados ou apagados corretamente. O processo proposto é indicado principalmente para testes funcionais de caixa-preta, mas pode ser facilmente adaptado para testes em caixa branca. Obtiveram-se casos de testes semelhantes aos que seriam obtidos em uma análise manual mantendo a mesma cobertura do sistema. A validação provou-se condizente com os resultados esperados, bem como o modelo ontológico mostrouse bem fácil e intuitivo para aplicar manutenções.

Desarrollo Riguroso de Sistemas Tolerantes a Fallas

Los sistemas críticos son aquellos utilizados en áreas en las cuales las fallas, o los eventos inesperados, pueden ocasionar grandes perdidas de dinero; o quizás peor aún, daños a vidas humanas. Esta clase de sistemas juegan un rol importante en actividades esenciales de la sociedad tales como la medicina y las comunicaciones. Los sistemas críticos, cada vez son más usuales en la vida real, algunos ejemplos de estos son los sistemas de aviones, sistemas para automóviles y sistemas utilizados en telefonia móvil. Para minimizar las fallas, y las perdidas materiales o humanas ocasionadas por el funcionamiento incorrecto de dichos sistemas, se utilizan técnicas de tolerancia a fallas. Estas técnicas permiten que los sistemas continúen funcionando aún bajo la ocurrencia de fallas, o eventos inesperados. Existen diversas técnicas para lograr tolerancia a fallas utilizando, por ejemplo, redundancia a diferentes niveles de abstracción, como, por ejemplo, al nivel de hardware. Sin embargo, estas técnicas dependen fuertemente del sistema, y del contexto en las que se utilizan. Más aún, la mayoría de la técnicas de tolerancia a fallas son usadas a bajo nivel (código fuente o hardware), estimamos que el uso de formalismos rigurosos (con fundamentos matemáticos) pueden llevar al diseño de sistemas tolerantes a fallas y robustos a un nivel de abstracción más alto, a la vez que la utilización de técnicas de verificación que han sido exitosas en la práctica tales como model checking, o la síntesis de controladores, pueden llevar a una verificación y producción automática de sistemas robustos. El objetivo del presente proyecto es estudiar tanto marcos teóricos, que permitan la construcción de sistemas más robustos, como también herramientas automáticas que hagan posible la utilización de estos formalismos en escenarios complejos. Para lograr estos objetivos, será necesario considerar casos de estudios de diferente complejidad, y además que sean relevantes en la práctica. Por ejemplo: bombas de insulina, protocolos de comunicación, sistemas de vuelo y sistemas utilizados con fines médicos. Planeamos obtener prototipos de algunos de estos casos de estudio para evaluar los marcos teóricos propuestos. En los últimos años diferentes formalismos han sido utilizados para razonar sobre sistemas tolerantes a fallas de una forma rigurosa, sin embargo, la mayoría de estos son ad hoc, por lo cual sólo son aplicables a contextos específicos. Planeamos utilizar ciertas lógicas modales, en conjunto con nociones probabilísticas, para obtener un conjunto de herramientas suficientemente generales para que puedan ser utilizadas en diferentes contextos y aplicaciones. Los materiales a utilizar son equipos informáticos, en particular computadoras portátiles para el equipo de trabajo y computadoras más potentes para el testeo y desarrollo del software necesario para lograr los objetivos del proyecto. Para construir los prototipos mencionados se utilizarán equipos de computación estándar (el equipo investigación cuenta con computadoras intel y mac) en conjunto con lenguajes de programación modernos como JAVA o C#. En el caso de que los sistemas de software sean sistemas embebidos; se piensa desarrollar un motor de simulación que permita evaluar el desempeño del software cuando es ejecutado en el dispositivo mencionado. Se espera desarrollar, e investigar, las propiedades de formalismos matemáticos que permitan el desarrollo de sistemas tolerantes a fallas. Además, se desarrollarán herramientas de software para que estos sistemas tolerantes a fallas puedan verificarse, o obtenerse automáticamente. Los resultados obtenidos serán difundidos por medio de publicaciones en revistas del área. El desarrollo de sistemas tolerantes a fallas por medio de técnicas rigurosas, a diferentes niveles de abstracción (captura de requisitos, diseño, implementación y validación), permitirá minimizar los riesgos inherentes en actividades críticas.

iSalud: uma arquitetura para publicação e distribuição de sistemas de informação para o SUS

The Brazil Telehealth Networks Program was established by the Ministry of Health in 2007. Its main objective is to support professionals in Primary Health Care (PHC) by offering educational qualification, resulting in more favorable conditions to fixate the professional in remote areas. The formulation and management of telehealth services are performed by scientific and technical centers that are operated by public institutions of higher education and responsible for providing tools and services in the context of the regions where they are. However, one of the problems generated by this decentralization is the development of various tools with different types of language, architecture and without any regulation and integration of information with the Ministry of Health. Aiming to solve the above problem, we propose the specification, implementation and validation of an architectural model in the development and distribution of the Unified Health System software tools. This proposed architecture enables tools developed in telehealth center to be shared among the other centers, thereby preventing the unnecessary use of resources.

Modelação da qualidade do ar interior em edifícios com ventilação natural

A qualidade do ar interior (QAI) em edifícios é uma preocupação que acompanha o Homem desde há séculos. A qualidade do ar interior nas escolas, em particular, tem vindo a provocar um crescente interesse, dado que o grupo populacional pertence a um grupo etário mais suscetível de ser afetado. A utilização de ferramentas numéricas de modelação na avaliação da QAI é uma mais valia, pois permite estimar as concentrações dos poluentes no interior dos edifícios. O principal objetivo deste estudo consiste na avaliação da qualidade do ar interior através da aplicação de uma ferramenta a um caso de estudo. Neste caso de estudo estimou-se a concentração de material particulado (PM10) numa sala de aula da Escola Básica nº 1 da Glória, em Aveiro. Neste âmbito, foi aplicado o modelo INDEX, Indoor Exposure model, que possibilita o cálculo de concentrações interiores de poluentes atmosféricos. Os resultados da aplicação indicam que as concentrações do ar interior são influenciadas pelas concentrações exteriores e pela velocidade do vento. Note-se, contudo, que os valores simulados cumprem os valores legislados na Portaria nº 353-A/2013, de 4 de Dezembro. Embora os resultados simulados não revelem uma má qualidade do ar interior na sala de aula da Escola Básica nº 1 da Glória, a avaliação de outros poluentes seria um ponto de extrema importância, de forma a verificar se os requisitos da qualidade do ar interior estarão a ser garantidos.

Qualidade, formação e ensino à distância: uma aplicação da NP 4512 numa unidade de E-learning

A implementação de sistemas de gestão da qualidade na área da educação e formação permite reforçar e consolidar as organizações que atuam num mercado cada vez mais competitivo, permitindo-lhes satisfazer, numa base permanente e sistemática, as expetativas dos clientes através do fornecimento de produtos de formação de melhor qualidade. Neste contexto, o objetivo deste estudo é explorar a temática dos sistemas de gestão da qualidade ao nível do setor de educação. Em específico pretende-se efetuar uma revisão de literatura sobre qualidade, formação e ensino à distância;analisar normas, projetos e iniciativas em matéria de ensino à distância e implementar um Sistema de Gestão da Formação, de acordo com a NP 4512, numa unidade de e-learning. A metodologia adotada foi investigação–ação e centrou-se no levantamento bibliográfico e na aplicação dos conceitos num contexto específico de um organização de ensino. Foi escolhida a unidade de e-learning do IPP (e-IPP) como contexto do estudo por ser uma unidade de ensino superior. Os principais resultados obtidos são: (1) maior conhecimento das normas projetos e iniciativas em matéria de ensino à distância a nível nacional e europeu; (2) análise detalhada da recente norma portuguesa NP 4512; (3) elaboração da documentação associada ao Sistema de Gestão da Formação (SGF) na unidade e-IPP, em específico, identificação e monitorização dos processos, descrição dos procedimentos obrigatórios e elaboração do manual do SGF. Como principal limitação deste estudo destaca-se a implementação parcial do sistema de gestão da formação na unidade e-IPP, devido à falta de tempo e à falta de maturidade da unidade e-IPP.

Plataforma Cloud para monitoreo remoto de sistemas fotovoltaicos aislados en el Ecuador

Los sistemas fotovoltaicos son fuentes emergentes de energías renovables que generan electricidad a partir de la radiación solar. El monitoreo de los sistemas fotovoltaicos aislados proporciona información necesaria que permite a sus propietarios mantener, operar y controlar estos sistemas, reduciendo los costes de operación y evitando indeseadas interrupciones en el suministro eléctrico de zonas aisladas. En este artículo, se propone el desarrollo de una plataforma para el monitoreo de sistemas fotovoltaicos aislados en el Ecuador con el objetivo fundamental de desarrollar una solución escalable, basada en el uso de software libre, en el empleo de sensores de bajo consumo y en el desarrollo de servicios web en la modalidad ‘Software as a Service’ (SaaS) para el procesamiento, gestión y publicación de información registrada y la creación de un innovador centro de control solar fotovoltaico en el Ecuador.

Processo de melhoria contínua de processos para a Câmara dos Deputados

Apresenta uma proposta para a melhoria contínua de processo de software. Fundamentado nas recomendações das normas e modelos de qualidade, a partir da convicção de que qualquer processo, independente da maturidade, necessita evoluir de uma forma organizada em função das metas estabelecidas pela alta direção e sugestões de melhoria e inovações. Inclui os papéis, o fluxo de trabalho, as atividades a serem executadas, as ferramentas empregadas e os indicadores a serem coletados e avaliados.

Influência de tratamentos térmicos nas propriedades mecânicas e metalúrgicas em liga odontológica à base de níquel-cromo.

É crescente a preocupação com o desenvolvimento de materiais adequados a trabalharem interagindo com o corpo humano. Diversas pesquisas têm sido realizadas no desenvolvimento de biomateriais aplicáveis na odontologia, este empenho é justificável pelo grande número de intervenções cirúrgicas para extração de dentes realizadas em todo o mundo. Durante o processo de fabricação de reconstruções dentárias, que utilizam sistemas metalocerâmicos, é utilizado um tratamento térmico que tem a função de promover a adesão da porcelana ao metal. Entretanto, sabe-se que tratamentos térmicos podem alterar a microestrutura do material metálico, modificando suas propriedades. Este trabalho avaliou as modificações causadas em propriedades mecânicas e microestruturais da liga à base de níquel (FIT CAST-SB) utilizada para fins odontológicos, quando a mesma é submetida ao tratamento térmico para adesão da porcelana (denominado de queima). A liga foi inicialmente fundida através da técnica de centrifugação e cera perdida. Posteriormente, um grupo de amostras (grupo TT) foi submetido ao tratamento térmico de queima para adesão da porcelana e o outro grupo (grupo F), permaneceu apenas submetido ao processo de fundição. Os grupos F e TT foram submetidos a ensaio de tração. Nos grupos F e TT, e no material como recebido pelo fabricante (grupo CR), foram realizados ensaios de microdureza e caracterização microestrutural, esta ultima através da técnica de microscopia eletrônica de varredura (MEV). Os grupos F e CR foram submetidos à análise química quantitativa (em um espectrômetro de emissão atômica) e semi-quantitativa por um sistema de Energy Dispersive Spectroscopy (EDS) acoplado ao MEV, sendo que esta ultima técnica também foi aplicada ao grupo TT. A técnica de tratamento digital de imagem foi aplicada às micrografias dos grupos F e TT, para a determinação de possíveis modificações quantitativas nas fases presentes, antes e após o tratamento térmico. Todos os resultados dos ensaios foram submetidos ao teste de hipótese nula (H0), para a distribuição t de Student. Concluiu-se que, para as amostras testadas, o limite de resistência foi superior ao fornecido pelo fabricante, respectivamente 559,39 e 545,55 MPa para os grupos F e TT, contra 306 MPa do fabricante. Enquanto o limite de escoamento foi ligeiramente inferior, 218,71 e 240,58 MPa para os grupos F e TT, respectivamente, contra 258 MPa do fabricante. Os resultados de microdureza ficaram entorno de 70HV, superior aos 21HV fornecido pelo fabricante. Pode-se afirmar, com 95% de confiabilidade, que não houve variação nas propriedades mecânicas e na microestrutura (quantidades de fases presentes e tamanho) antes e após a queima para adesão da porcelana, para os corpos de prova testados. A microestrutura da liga, quando observada em MEV no modo elétrons retroespalhados (modo BSE), é formada por uma matriz de estrutura dendrítica e coloração cinza, uma segunda fase interdendrítica de coloração branca e aspecto rendilhado, e precipitados de coloração preta, apresentando também porosidades.