On the numerical computation of the Mittag-Leffler function

Recently simple limiting functions establishing upper and lower bounds on the Mittag-Leffler function were found. This paper follows those expressions to design an efficient algorithm for the approximate calculation of expressions usual in fractional-order control systems. The numerical experiments demonstrate the superior efficiency of the proposed method.

Práticas de contabilidade e controlo de gestão no setor automóvel

Dissertação apresentada para obtenção do Grau de Mestre em Contabilidade e Finanças, sob orientação de: Amélia Ferreira da Silva José António Fernandes Lopes Oliveira Vale

Procedimentos contabilísticos e a sua imprtância no controlo interno

Dissertação de Mestrado apresentado ao Instituto de Contabilidade e Administração do Porto para a obtenção do grau de Mestre em Contabilidade e Finanças, sob orientação do Doutor Carlos Quelhas Martins

Dimensionamento do Sistema Híbrido para Alimentação de Energia Elétrica da Escola Rural de Nangade (Cabo Delgado)

Os combustíveis fósseis, como o carvão, o petróleo e o gás, constituem fontes de energia que em breve se esgotarão e que são demasiado caras para serem desperdiçadas pelas centrais elétricas na produção de electricidade. Para além desse facto, existem outros argumentos (sobretudo económicos) que inviabilizam a utilização destas fontes de energia em algumas regiões, abrindo caminho a fontes de energia alternativas (e.g. solar, eólica, biomassa, mini-hídricas, geotérmicas, etc) e preferencialmente com contornos locais. No caso particular de Moçambique, tem-se verificado um interesse crescente por parte do governo e de várias ONGs na promoção do uso de energias alternativas para as zonas onde a energia convencional não chega e não chegará, devido aos custos muito elevados que esse processo acarretaria. Esta dissertação apresenta um estudo aprofundado do dimensionamento dum sistema híbrido de geração de energia elétrica envolvendo gerador FV e grupo eletrogéneo de emergência para a Escola Rural da Nangade, situada no Distrito de Nangade, na Província do Cabo Delgado. São também descritos os diversos componentes e as tecnologias associadas a um sistema deste género, com a inclusão de sistemas inteligentes de controlo de energia com a utilização de inversores bidireccionais (inversores de bateria e carregadores) para sistemas isolados. Os resultados são apresentados de forma a facilitar a aplicação e montagem deste tipo de sistemas in loco. Espera-se que esta dissertação possa servir de base no futuro próximo, para a implementação deste tipo de sistemas para permitir a melhoria da qualidade de ensino através de melhores infraestruturas, democratizando desta forma o acesso à educação para as crianças das zonas rurais das várias províncias de Moçambique. Como as energias renováveis são parte integrante do Sistema Elétrico Nacional, apresenta-se resumidamente, no anexo 17, o “Plano de Desenvolvimento na Área de Energia de Moçambique”.

Dimensionamento de Sistemas de Compensação do Fator de Potência com Filtragem Passiva de Harmónicos

A eficiência energética tem um papel de importância crescente devido a questões ambientais e ao aumento dos custos energéticos. Recentemente foram tomadas medidas para regular o consumo e o fornecimento de energia reativa em Portugal, que tornaram mais rigorosas as condições de faturação. O custo crescente da energia e a implementação das smart grids apontam para um futuro de maior rigor sobre a utilização da energia reativa. Não será de estranhar que as regras de faturação sejam mais severas daqui a uns anos. O desenvolvimento tecnológico nas áreas da análise da energia e nas formas de controlo da compensação de energia reativa permitem resultados muito mais eficazes que aqueles apresentados pelos vulgares sistemas a contactores que constituem a maioria dos cenários. Apesar de terem um custo inicial superior, os sistemas de compensação do fator de potência com filtragem passiva de harmónicos, desde que projetados corretamente, trazem vantagens evidentes na sua exploração a longo prazo. Com este trabalho pretende-se promover a sensibilização para o uso de sistemas mais eficientes na compensação de energia reativa e para que estes sejam projetados mais à medida das necessidades de cada local. Também se demonstra a extrema importância da adequação destes sistemas à qualidade de energia do local, principalmente em termos de conteúdo harmónico. Desta forma, os sistemas serão mais flexíveis em termos de utilização e possibilitam a sua adaptação às necessidades mesmo que as regras de faturação de energia reativa se tornem mais rigorosas.

Simulação de sistema de desenfumagem de parques de estacionamento recorrendo ao programa OpenFOAM

Os parques de estacionamento cobertos estão obrigados por legislação a terem sistemas de desenfumagem. Assim, nesta dissertação desenvolve-se um procedimento computacional para a analise e verificação de funcionamento de sistemas de desenfumagem com ventiladores de impulso para parques de estacionamento, recorrendo ao software de mecânica dos fluidos computacional OpenFOAM. Actualmente nos sistemas de desenfumagem de parques de estacionamento estão a ser aplicados ventiladores de impulso. Este tipo de ventiladores não estão contemplados pela legislação em vigor. Assim, para serem utilizados é necessário verificar se estes podem substituir as redes de condutas. A verificação do funcionamento de sistemas de desenfumagem com ventiladores de impulso e efectuada com recurso a programas de simulação de mecânica dos fluidos computacional. O software OpenFOAM não tem tutoriais para ventiladores de impulso. Assim, foi executado um procedimento para validação dos ventiladores de impulso. A validação consistiu em reproduzir-se uma experiência executada por Giesen et al. (2011). Executaram-se várias simulações com diferentes modelos de turbulência, verificando-se que o programa buoyantpimplefoam do software OpenFOAM ao utilizar o modelo de turbulência k -ɛ simulou quase na perfeição os ventiladores de impulso. O desenvolvimento do procedimento computacional foi executado para um parque de estacionamento com uma geometria bastante complexa. O parque de estacionamento foi criado com um software em 3D e posteriormente inserido numa malha j a criada com as dimensões exteriores do parque. Foram estipuladas as condições de fronteira e executou-se uma simulação de seiscentos segundos com parâmetros determinados previamente. O processamento da simulação teve a duração de aproximadamente oito dias. Dos resultados obtidos concluiu-se que o procedimento computacional apresentado simula adequadamente sistemas de desenfumagem em parques de estacionamento.

Ferramentas de gestão de redes e classificação de tráfego: estudo de um caso

A gestão de redes informáticas converteu-se num fator vital para uma rede operar de forma eficiente, produtiva e lucrativa. A gestão envolve a monitorização e o controlo dos sistemas para que estes funcionam como o pretendido, ações de configuração, monitorização, reconfiguração dos componentes, são essenciais para o objetivo de melhorar o desempenho, diminuir o tempo de inatividade, melhor a segurança e efetuar contabilização. Paralelamente, a classificação de tráfego é um tema de bastante relevância em várias atividades relacionadas com as redes, tais como a previsão de QoS, segurança, monitorização, contabilização, planeamento de capacidade de backbones e deteção de invasão. A variação de determinados tipos de tráfego pode influenciar, decisões técnicas na área da gestão de redes, assim como decisões políticas e sociais. Neste trabalho pretende-se desenvolver um estudo dos vários protocolos, ferramentas de gestão e de classificação de tráfego disponíveis para apoiar a atividade de gestão. O estudo efetuado terminou com a proposta e implementação de uma solução de gestão adequado a um cenário real, bastante rico na diversidade de tecnologias e sistemas.

Gestão de Redes Baseada em Agentes Móveis

A gestão das redes informáticas converteu-se num fator vital para as redes operarem de forma eficiente, produtiva e lucrativa. A gestão envolve a monitorização e o controlo dos sistemas para que estes funcionem como o pretendido. Ações de configuração, monitorização e reconfiguração dos componentes, são essenciais para melhorar o desempenho, diminuir o tempo de inatividade, melhor a segurança e efetuar contabilização. A maioria das aplicações de gestão de Redes assenta no paradigma centralizado cliente-servidor, onde um servidor central coleta e analisa dados provenientes dos diferentes elementos dispersos pela rede. Esses dados de gestão estão armazenados em bases de dados de gestão localizadas nos diversos elementos da rede. No entanto, este paradigma não tem conseguido dar resposta às exigências das redes atuais. Surge assim a necessidade de utilizar novos paradigmas para a gestão das redes. Uma alternativa baseada no paradigma dos agentes móveis já foi estudada, proposta e desenvolvida para a gestão da rede do GECAD-ISEP. Neste trabalho pretende-se propor e adicionar novas capacidades aos agentes móveis existentes, assim como novos agentes. Com vista à validação da solução proposta recorre-se à utilização de um simulador de redes.

On the numerical computation of the Mittag-Leffler function

Recently simple limiting functions establishing upper and lower bounds on the Mittag-Leffler function were found. This paper follows those expressions to design an efficient algorithm for the approximate calculation of expressions usual in fractional-order control systems. The numerical experiments demonstrate the superior efficiency of the proposed method.

Bipedal Locomotion: A Fractional CPG for Generating Patterns

Proceedings of the 10th Conference on Dynamical Systems Theory and Applications

On the Sensor Classification Scheme of Robotic Manipulators

This paper analyzes the signals captured during impacts and vibrations of a mechanical manipulator. The Fourier Transform of eighteen different signals are calculated and approximated by trendlines based on a power law formula. A sensor classification scheme based on the frequency spectrum behavior is presented.

Chaos Dynamics in the Trajectory Conjtrol of Redundant Manipulators

Nonlinear Dynamics, chaos, Control, and Their Applications to Engineering Sciences: Vol. 6 - Applications of nonlinear phenomena

Scalable and Efficient Configuration of TimeDivision Multiplexed Resources

Consumer-electronics systems are becoming increasingly complex as the number of integrated applications is growing. Some of these applications have real-time requirements, while other non-real-time applications only require good average performance. For cost-efficient design, contemporary platforms feature an increasing number of cores that share resources, such as memories and interconnects. However, resource sharing causes contention that must be resolved by a resource arbiter, such as Time-Division Multiplexing. A key challenge is to configure this arbiter to satisfy the bandwidth and latency requirements of the real-time applications, while maximizing the slack capacity to improve performance of their non-real-time counterparts. As this configuration problem is NP-hard, a sophisticated automated configuration method is required to avoid negatively impacting design time. The main contributions of this article are: 1) An optimal approach that takes an existing integer linear programming (ILP) model addressing the problem and wraps it in a branch-and-price framework to improve scalability. 2) A faster heuristic algorithm that typically provides near-optimal solutions. 3) An experimental evaluation that quantitatively compares the branch-and-price approach to the previously formulated ILP model and the proposed heuristic. 4) A case study of an HD video and graphics processing system that demonstrates the practical applicability of the approach.

Projecto de Controladores usando Redes Neuronais

Neste documento descreve-se o projeto desenvolvido na unidade curricular de Tese e Dissertação durante o 2º ano do Mestrado de Engenharia Eletrotécnica e de Computadores no ramo de Automação e Sistemas, no Departamento de Engenharia Eletrotécnica (DEE) do Instituto Superior de Engenharia do Porto (ISEP). O projeto escolhido teve como base o uso da tecnologia das redes neuronais para implementação em sistemas de controlo. Foi necessário primeiro realizar um estudo desta tecnologia, perceber como esta surgiu e como é estruturada. Por último, abordar alguns casos de estudo onde as redes neuronais foram aplicadas com sucesso. Relativamente à implementação, foram consideradas diferentes estruturas de controlo, e entre estas escolhidas a do sistema de controlo estabilizador e sistema de referência adaptativo. No entanto, como o objetivo deste trabalho é o estudo de desempenho quando aplicadas as redes neuronais, não se utilizam apenas estas como controlador. A análise exposta neste trabalho trata de perceber em que medida é que a introdução das redes neuronais melhora o controlo de um processo. Assim sendo, os sistemas de controlo utilizados devem conter pelo menos uma rede neuronal e um controlador PID. Os testes de desempenho são aplicados no controlo de um motor DC, sendo realizados através do recurso ao software MATLAB. As simulações efetuadas têm diferentes configurações de modo a tirar conclusões o mais gerais possível. Assim, os sistemas de controlo são simulados para dois tipos de entrada diferentes, e com ou sem a adição de ruído no sensor. Por fim, é efetuada uma análise das respostas de cada sistema implementado e calculados os índices de desempenho das mesmas.

A contribuição das bombas de efluxo QacA e Smr para a multirresistência em Staphylococcus aureus

RESUMO: O efluxo de compostos antimicrobianos é um mecanismo importante na multirresistência em bactérias. Bombas de efluxo codificadas em plasmídeos, como a QacA e a Smr, estão implicadas na susceptibilidade reduzida a biocidas, geralmente utilizados na prevenção e controlo de infecções nosocomiais, incluindo as causadas por estirpes de Staphylococcus aureus resistentes à meticilina (MRSA). Neste trabalho pretendeu-se avaliar a relevância de QacA e Smr no perfil de susceptibilidade dos isolados clínicos MRSA SM39 e SM52, que transportam os plasmídeos pSM39 e pSM52 com os determinantes qacA e smr, respectivamente. A actividade de efluxo das estirpes SM39 e SM39 curada (sem pSM39) e das estirpes SM52 e RN4220:pSM52 (estirpe susceptível RN4220 transformada com pSM52) foi caracterizada por: (1) determinação da concentração mínima inibitória (CMI) de biocidas, corantes e antibióticos, na ausência e presença dos inibidores de efluxo tioridazina, clorpromazina, verapamil e reserpina; e (2) fluorometria em tempo-real. A determinação de CMIs demonstrou que a actividade de efluxo mediada por QacA e Smr está envolvida na susceptibilidade reduzida aos biocidas e corantes testados, que incluíram o brometo de hexadeciltrimetilamónio, a cetrimida, o cloreto de benzalcónio, a berberina, o cloreto de dequalínio, a pentamidina e o brometo de etídeo. Os ensaios fluorométricos confirmaram a elevada actividade de efluxo presente nas estirpes com os genes qacA ou smr. A determinação de CMIs para antibióticos β-lactâmicos em conjunto com o teste da nitrocefina revelou a presença simultânea do gene qacA e de uma β-lactamase no plasmídeo pSM39. Este trabalho evidencia a importância das bombas de efluxo QacA e Smr na resistência a biocidas em estirpes MRSA e na sobrevivência destas estirpes em ambiente hospitalar e na comunidade, para além de destacar a questão da potencial co-resistência entre biocidas e antibióticos.--------------- ABSTRACT: Drug efflux has become an important cause of multidrug resistance (MDR) in bacteria. Plasmid-encoded MDR efflux pumps, such as QacA and Smr, are implicated in reduced susceptibility to biocides, generally used in the prevention and control of nosocomial infections, including the ones caused by methicillin-resistant Staphylococcus aureus (MRSA). In this work, we aimed to evaluate the relevance of QacA and Smr to the susceptibility profile of the clinical MRSA isolates SM39 and SM52, which harbor the plasmids pSM39 and pSM52 that carry the determinants qacA and smr, respectively. Efflux activity of strain SM39 and its plasmid-free counterpart, SM39 cured, SM52 and RN4220:pSM52 (susceptible strain RN4220 transformed with pSM52) was characterized by: (1) determination of minimum inhibitory concentration (MIC) of biocides, dyes and antibiotics, in the absence and presence of the efflux inhibitors thioridazine, chlorpromazine, verapamil and reserpine; and (2) real-time fluorometry. MIC determination showed that QacA and Smr mediated efflux was involved in the reduced susceptibility profile to the biocides and dyes tested, which included hexadecyltrymethylammonium bromide, cetrimide, benzalkonium chloride, berberine, dequalinium chloride, pentamidine and ethidium bromide. Fluorometric assays confirmed the higher efflux activity present in strains harboring qacA or smr genes. Moreover, MIC determination for β-lactam antibiotics together with the nitrocefin test confirmed the presence of a β-lactamase in the plasmid carried by SM39 strain, pSM39. This work highlights the relevance of QacA and Smr to the biocide resistance in MRSA strains, and consequently to their survival and maintenance in the hospital environment and in the community. Furthermore, the presence of a β-lactamase and qacA determinants in the the same plasmid reinforces the question of the potencial biocide/antibiotic co-resistance in MRSA strains.