Estudio y evaluación de una herramienta para representar máquinas de estado finitas

En este artículo se presentan los resultados y conclusiones del trabajo deinvestigación llevado a cabo sobre herramientas informáticas para representación de grafos de autómatas de estado finitos. El principal resultado de esta investigación es el desarrollo de una nueva herramienta, que permita dibujar el grafo de forma totalmente automática, partiendo de una tabla de transiciones donde se describe al autómata en cuestión.

Hyper-Automaton: avaliação interativa de alunos em cursos na WEB baseado em autômatos finitos

O objetivo desta dissertação é a elaboração de uma técnica da aplicação do formalismo de Autômatos Finitos com Saída (Máquina de Mealy e Máquina de Moore) como um modelo estrutural para a organização de hiperdocumentos instrucionais, em destacar especial, Avaliação e Exercício. Esse objetivo é motivado pela organização e agilização do processo de avaliação proporcionado ao professor e ao aluno. Existem diferentes técnicas de ensino utilizadas na Internet, algumas dessas continuam sendo projetadas com o uso de metodologias tradicionais de desenvolvimento, outras têm a capacidade de modelar de forma integrada e consistente alguns aspectos necessários para uma aplicação WEB. Para alcançar o objetivo proposto, foram realizadas pesquisas nas várias áreas abrangidas pelo tema em evidência, tanto relativo ao processo tradicional (aplicação de prova utilizando metodologia tradicional), como o desenvolvimento de software mediado por computador e uso da Internet em si. A modelagem de desenvolvimento para Internet deve integrar características de técnicas de projeto de sistemas de hipermídia devido à natureza hipertextual da Internet. O uso de hiperdocumento como autômatos com saída está na forma básica de representação de hipertexto, em que cada fragmento de informação é associado a um nodo ou a um link (estado/transições) do grafo. Sendo assim, os arcos direcionados representam relacionamentos entre os nodos ou links, ou seja, uma passagem do nodo origem para o nodo destino. As n-uplas dos autômatos apresentam uma correspondência as estruturas de hiperdocumentos na WEB, seu estado/transição inicial corresponde a sua primeira página e suas transições definidas na função programa, funcionam como ligações lógicas, quando selecionadas durante a navegação do hipertexto. Entretanto, faz-se necessário um levantamento dos modelos de hipertextos e das ferramentas de implementação disponíveis para a Internet, a fim de que seja capaz de suportar as peculiaridades do ambiente. Tudo isso deve ser integrado preferencialmente em um paradigma de desenvolvimento amplamente aceito, para que os projetistas não tenham muitas dificuldades em assimilar os conceitos propostos. A proposta apresentada nesta dissertação, batizada de Hyper-Automaton (hipertexto e autômato), consiste na integração de um Curso na WEB, utilizando formalismo de Autômatos Finitos com Saída para a modelagem dos conceitos necessários e definição das fases adequadas para completar a especificação de Sistema Exercício e Avaliação, bem como a especificação da Geração Automática dos Exercícios e Avaliações baseadas em autômatos para a WEB. Os modelos criados abrangem conceitos de Máquina de Mealy, Máquina de Moore e Aplicações de Hiperdocumentos e Ferramentas de Programação para Internet, os mesmos já testados em caso real. Os parâmetros apurados, nos testes, serviram a uma seqüência de etapas importantes para modelar e complementar a especificação do sistema projetado. Com os parâmetros e etapas de modelagem, a metodologia Hyper-Automaton consegue integrar, de forma consistente, as vantagens de várias técnicas específicas de modelagem de documentos e sistemas de hipermídia. Essas vantagens, aliadas ao suporte às ferramentas de desenvolvimento para Internet, garantem que a metodologia fique adequada para a modelagem de Sistemas com aplicação de métodos de autômatos para exercícios e avaliação na WEB.

Conceito, classificação e quantificação da fiabilidade humana na relação homem-máquina

O estudo da fiabilidade é um tema imprescindível para qualquer sistema homem-máquina que pretenda adquirir os melhores índices de segurança e rendimento. Se a fiabilidade dos equipamentos é um campo onde já muito foi estudado, debatido e provado no terreno e onde os novos desenvolvimentos irão apenas acontecer devido aos avanços tecnológicos que permitam melhor predizer as potenciais falhas dos equipamentos, já a fiabilidade humana é uma área de estudo relativamente nova e onde muito há a desenvolver, particularmente devido ás características inatas do ser humano. Ao contrário da evolução tecnológica, onde a melhoria dos materiais e processos obedece a um aperfeiçoamento relativamente gradual e crescente e que pode ser avaliado e melhorado, o comportamento e o aperfeiçoamento do ser humano apresentam dificuldades e complexidades variadas porque o mesmo é único e sofre influências adversas e imprevisíveis do meio em que vive, as quais têm influência directa no seu comportamento. Assim este trabalho académico propõe-se estudar e identificar as principais causas de erros humanos, através do conhecimento adquirido acerca dos processos cognitivos mais comuns do Homem, bem como definir os conceitos e procedimentos adjacentes à fiabilidade humana e às suas principais ferramentas de avaliação.

Orientação de campo da máquina assíncrona: controlo preditivo

Nesta dissertação de Mestrado foi realizado o estudo teórico e a respectiva comprovação experimental da aplicação do Controlo por Orientação de Campo para a máquina assíncrona trifásica permitindo a imposição das correntes com recurso ao Controlo Preditivo. Foi efectuado inicialmente a modelização do sistema, ondulador de tensão trifásico e máquina assíncrona trifásica, e o estudo do Controlo Preditivo mais adequado a aplicar ao sistema. Depois de realizado o Controlo por Orientação de Campo foi projectado e dimensionado um anel exterior para controlo de velocidade. Os ensaios com recurso inicialmente à simulação numérica em ambiente Matlab/Simulink e posterior experimentação laboratorial, permitem a validação dos modelos teóricos e da técnica de controlo utilizada. Foram realizados testes em regime estacionário e regime dinâmico para diferentes referências de velocidade. Os ensaios efectuados em simulação e experimentais foram comparados com a solução de imposição das correntes através de controladores histeréticos, nesta dissertação designada por técnica clássica. A implementação laboratorial do protótipo, foi realizada através do projecto, dimensionamento e construção de vários módulos para o efeito. O rectificador trifásico tem entrada compatível com as tensões nominais da rede, inclui também uma resistência de pré-carga dos condensadores, e uma resistência de dissipação para limitar a tensão no barramento de tensão DC. O módulo integrado de potência para funcionamento como ondulador de tensão trifásico tem uma estrutura compacta, onde estão incluídos drivers de disparo dos seus semicondutores, e algumas protecções inerentes ao seu bom funcionamento. Para implementação do Controlo por Orientação de Campo e o anel exterior para controlo de velocidade, foi usado um controlador digital de sinal do fabricante dSPACE.

Controlo directo de binário de uma máquina assíncrona trifásica

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Automação e Electrónica Industrial

Atitude relativamente à máquina de café em cápsula: estudo sobre razões de compra

O café é uma das bebidas preferidas dos portugueses. Desde o ano 2010 que assistimos a uma tendência de crescimento no consumo de café no lar, nomeadamente desde o aparecimento de uma maior variedade de máquinas de café em cápsula. A presente dissertação procurou compreender “que aspetos valoriza o comprador de máquina de café em cápsula maior de 18 anos, da cidade de Lisboa, na sua compra?”. As respostas obtidas com este trabalho vão permitir aos profissionais de marketing das empresas comercializadoras das máquinas de café em cápsula conhecer o seu comprador e definir novas estratégias que contribuirão para o sucesso deste produto. Recorrendo a uma abordagem metodológica quantitativa, foi realizado um inquérito por questionário a possuidores de máquina de café em cápsula. Esta investigação aborda o comportamento de compra deste eletrodoméstico, incidindo sobre alguns dos aspetos que influenciam uma atitude favorável na sua compra.

Elevadores. A evolução da máquina elétrica

Como seriam as nossas cidades hoje, sem elevadores? Os prédios teriam apenas 3 a 4 pisos e uma grande parte da arquitetura do século 19 não poderia ter sido realizada. A construção em altura como a conhecemos hoje não teria sido possível. Para que fosse possível chegar ao nível de sofisticação das soluções de tração hoje utilizadas em elevadores, muitas diferentes fases tiveram de ser vencidas. Nos primórdios da indústria de elevadores em finais do século 19, foram instalados os primeiros elevadores com máquinas a vapor. Assim, em 1857 foi instalado em Nova Iorque, num edifício na esquina da Broadway e Broome Street, o primeiro elevador de pessoas, com um sistema de tração a vapor. Com o surgimento da eletrificação das cidades e dos motores eléctricos, as máquinas a vapor rapidamente caíram em desuso como sistema de tração para elevadores. Apesar de hoje ainda serem utilizados outros sistemas de tração, como por exemplo sistemas hidráulicos, no presente artigo iremos abordar apenas a evolução da máquina elétrica nos elevadores.

A influência da marca Nespresso no comportamento de compra da máquina e cápsulas de café

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

Máquina síncrona em regime transitório após brusco curto-circuito no estator

A partir das equações de Park pretende-se modelar a máquina de rotor de pólos salientes com enrolamentos amortecedores e prever o seu funcionamento em regime transitório. A dissertação tem como objectivo estabelecer a teoria generalizada da máquina síncrona em regime transitório e proceder a ensaios laboratoriais a fim de obter as correntes de curto-circuito trifásico simétrico, difásico e fase-neutro. A partir destes ensaios é possível obter as constantes de tempo e reactâncias transitórias e subtransitórias do alternador, cujo conhecimento é importante para o dimensionamento dos disjuntores de protecção do alternador e toda a carga a jusante.

Optimização de uma máquina de pultrusão

Este trabalho teve como principal objectivo optimizar um equipamento de produção de perfis pultrudidos já existente na empresa ALTO – PERFIS PULTRUDIDOS, Lda. O trabalho surgiu na sequência de um Projecto financiado pelo Programa QREN – Quadro de Referência Estratégico Nacional, determinadas debilidades identificadas no processo de pultrusão, principalmente ao nível da eficiência térmica na fieira e de alguma falta de produtividade devida às diversas operações necessárias à mudança da fieira consoante o tipo de perfil a produzir. Após um levantamento prévio da situação e uma adequada segmentação da máquina nas diferentes partes que a constituem e que contribuem activamente para o processo de produção dos perfis, foi elaborada uma lista de prioridades e foram sendo procuradas as soluções mais adequadas para cada caso, sempre com a participação activa da empresa, com vista à sua implementação final. A metodologia adoptada passou sempre por uma reunião inicial com os representantes da empresa e com os orientadores, efectuando-se a tradicional “tempestade de ideias”. Depois da correspondente maturação, desenvolvimento e aprovação prévia, por parte da empresa, as ideias foram desenvolvidas e até implementadas na sua maioria. O saldo poderá considerar-se extremamente positivo, tanto para a empresa que, ao implementar as soluções, as validou e ganhou competitividade, como para as pessoas envolvidas neste projecto, através da enorme aprendizagem adquirida.

Sistema de seguimento dos movimentos oculares para interface adaptada pessoa-máquina

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de redes de Comunicação e Multimédia

Controlo de posição angular de uma máquina eléctrica de relutância comutada 8/6

Dissertação para obtenção do grau de Doutor em Engenharia Electrotécnica - Energia pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Otimização Energética do Sistema de Refrigeração da máquina de impregnar ZELL

Esta dissertação teve como objetivo fundamental a otimização energética do sistema de refrigeração da máquina de impregnar tela ZELL e, como objetivo adicional, a avaliação da qualidade da água do circuito, justificada pela acentuada degradação dos rolos devido à corrosão provocada pela recirculação da água de arrefecimento. Inicialmente fez-se o levantamento de informações do processo produtivo para caracterizar o funcionamento do sistema de refrigeração, tendo-se selecionado duas telas de poliéster designadas neste estudo por P1 e P2 e, também, uma tela de nylon designada por N. Foram efetuados ensaios, um para cada tela, para a atual temperatura de setpoint da água à saída da torre de arrefecimento (30ºC). Realizou-se outro ensaio para a tela N mas com uma temperatura de setpoint de 37ºC, ao qual se chamou N37. Deste modo, determinou-se as potências térmicas removidas pela água de refrigeração e as potências térmicas perdidas por radiação e por convecção, tendo-se verificado que na generalidade dos rolos as referências P1 e P2 apresentam valores mais elevados. Em termos percentuais, a potência térmica removida pela água de refrigeração nos grupos tratores 1 e 3 e no conjunto de rolos de R1 a R29 corresponde a 48%, 10% e 70%, respetivamente. Com a avaliação às necessidades de arrefecimento da máquina ZELL, confirmou-se que os caudais atuais de refrigeração dos rolos garantem condições, mais que suficientes, de funcionamento dos rolamentos. Assim sendo, fez-se uma análise no sentido da diminuição do caudal total que passou de 10,25 L/s para 7,65 L/s. Considerando esta redução, determinou-se o caudal de ar húmido a ser introduzido na torre de arrefecimento. O valor determinado foi de 4,6 m3ar húmido/s, o que corresponde a uma redução de cerca de 32% em relação ao caudal atual que é de 6,8 m3ar húmido/s. Com os resultados das análises efetuadas à água do circuito de refrigeração, concluiu-se que a água de reposição e a água de recirculação possuem má qualidade para uso na generalidade dos sistemas de refrigeração, principalmente devido aos elevados valores de concentração de ferro e condutividade elétrica, responsáveis pela intensificação da corrosão no interior dos rolos.

Paracoccidioides cerebriformis Moore, 1935. MYCOLOGIC AND IMMUNOCHEMICAL STUDY

The present study concern on mycologic and immunochemical data obtained from two samples of a fungus considered as belonging to the species Paracoccidioides cerebriformis described by Moore in 1935, and maintained since then on Sabouraud’s agar in the mycology collection of the Instituto de Medicina Tropical de São Paulo. After 60 years, the samples exhibited the same characteristics described by Moore (1935). However, experimental lesions did not resulted in guinea-pigs inoculated intratesticularly. The dominant antigen in Paracoccidioides brasiliensis, 43 kDa glicoprotein (gp43), could not be demonstrated by SDS PAGE and Western blotting. Immunoelectrophoresis did not demonstrated the E arch of cathodic migration using a policlonal anti gp43 serum. According to these findings, it is concluded that the fungus described by Moore (1935) as P. cerebriformis does not belong to the genus Paracoccidioides. Paracoccidioidomycosis should therefore be considered as resulting from infection by a single species, Paracoccidioides brasiliensis (Splendore, 1912) as asserted by Almeida (1930). Further studies, through molecular biology methods, could identify the mentioned fungus