Distributed controllers modeling through Petri nets with multi-asynchronous-channels

This paper proposes the concept of multi-asynchronous-channel for Petri nets. Petri nets extended with multi-asynchronous-channels and time-domains support the specification of distributed controllers, where each controller has a synchronous execution but the global system is asynchronous (globally-asynchronous locally-synchronous systems). Each multi-asynchronous-channel specify the interaction between two or more distributed controllers. These channels, together with the time-domain concept, ensure the creation of network-independent models to support implementations using heterogeneous communication networks. The created models support not only the systems documentation but also their validation and implementation through simulation tools, verification tools, and automatic code generators. An application example illustrates the use of a Petri net class extended with the proposed channels. © 2015 IEEE.

Comportamento dinâmico da rede eléctrica da ilha de São Vicente em Cabo Verde: estabilidade de tensão

Neste trabalho é efectuado, não só o diagnóstico em regime permanente, mas também o estudo, simulação e análise do comportamento dinâmico da rede eléctrica da ilha de São Vicente em Cabo Verde. Os estudos de estabilidade transitória desempenham um importante papel, tanto no planeamento como na operação dos sistemas de potência. Tais estudos são realizados, em grande parte, através de simulação digital no domínio do tempo, utilizando integração numérica para resolver as equações não-lineares que modelam a dinâmica do sistema e dependem da existência de registos reais de perturbação (ex: osciloperturbografia). O objectivo do trabalho será também verificar a aplicabilidade dos requisitos técnicos que as unidades geradoras devem ter, no que concerne ao controlo de tensão, estabelecidos na futura regulamentação europeia desenvolvida pela ENTSO-E (European Network Transmission System Operator for Electricity). De entre os requisitos analisou-se a capacidade das máquinas existentes suportarem cavas de tensão decorrentes de curto-circuitos trifásicos simétricos, Fault Ride Through, no ponto de ligação à rede. Identificaram-se para o efeito os factores que influenciam a estabilidade desta rede, em regime perturbado nomeadamente: (i) duração do defeito, (ii) caracterização da carga, com e sem a presença do sistema de controlo de tensão (AVR) em unidades de geração síncronas. Na ausência de registos reais sobre o comportamento do sistema, conclui-se que este é sensível à elasticidade das cargas em particular do tipo potência constante, existindo risco de perda de estabilidade, neste caso, para defeitos superiores a 5ms sem AVR. A existência de AVR nesta rede afigura-se como indispensável para garantir estabilidade de tensão sendo contudo necessário proceder a uma correcta parametrização.

Desenvolvimento do sistema de tracção de um veículo eléctrico ecológico com travagem regenerativa

Nesta dissertação descreve-se uma metodologia de dimensionamento do sistema de tracção para equipar um veículo eléctrico ecológico (VEECO) com inclusão de um sistema de travagem regenerativa. Apresenta-se uma perspectiva geral de diversas topologias de sistemas de tracção utilizadas nos veículos eléctricos e realiza-se a sua comparação através do estudo e análise dos acionamentos electromecânicos que podem ser utilizados nesses sistemas de tracção eléctrica. Utilizando ferramentas de simulação numérica, estuda-se o modelo matemático de um veículo eléctrico com travagem regenerativa. A partir deste modelo matemático é adoptado uma possível configuração para o seu sistema de tracção eléctrica e são obtidas características teóricas de desempenho do veículo eléctrico, através da análise de testes padrão ao veículo. Em banco de ensaios, constrói-se um sistema de tracção eléctrica que permite a validação experimental do modelo matemático do veículo eléctrico. Para a construção deste banco de ensaios foram concebidos os sistemas de tracção eléctrica, de carga mecânica e de controlo e monitorização do banco de ensaios. A validação experimental realiza-se através dos mesmos testes padrão ao veículo eléctrico, como o teste NEDC (New European Driving Cycle), o teste de aceleração entre 0 e 100km/h e o teste de gradeabilidade. Desenvolve-se o dimensionamento do sistema de tracção eléctrica a equipar o VEECO, através da componente de modelação paramétrica do modelo matemático do veículo eléctrico. Com esta metodologia é adoptado um conjunto de variáveis paramétricas relacionadas com os elementos que constituem o sistema de tracção eléctrica do VEECO. Estuda-se a influência destas variáveis paramétricas nas características de desempenho pretendidas para o VEECO. Como resultado da análise de modelação paramétrica é apresentada uma solução para o sistema de tracção eléctrica do VEECO que cumpre a execução do NEDC, apresenta um tempo de aceleração entre 0 e 100km/h inferior a 10 segundos, supera uma gradeabilidade de 10% e uma autonomia de 200 km. O sistema de tracção do VEECO também permite realizar a travagem regenerativa com rendimento até 33%. Possui controlo de tracção e anti bloqueio da roda motora, através de uma unidade de controlo que permite reduzir a potência transmitida ao veio, quando a velocidade da roda de tracção difere do valor de referência da velocidade do veículo. Os conhecimentos adquiridos através do processo de investigação e desenvolvimento, para a realização da presente dissertação permitem apresentar perspectivas de desenvolvimento futuro com aplicação nos sistemas de tracção de veículos eléctricos rodoviários.

Caracterização bidimensional de um canal rádio Wimax

Com o crescimento previsível e exponencial das redes de comunicações móveis motivado pela mobilidade, flexibilidade e também comodidade do utilizador levam a que este se torne na fatia mais importante do mundo das telecomunicações dos dias que correm. Assim é importante estudar e caracterizar canais rádio para as mais diversas gamas de frequências utilizadas nas mais variadas tecnologias. O objectivo principal desta dissertação de Mestrado é caracterizar um canal rádio para a tecnologia sem fios Worldwide Inter-operability for Microwave Access (Wimax para as frequências de 3,5 GHz e 5 GHz) actualmente vista pela comunidade científica como a tecnologia sem fios com maiores perspectivas de sucesso. Para tal, determinaram-se o Perfil de Atraso de Potência (PAP) e também a Potência em Função da Distância (PFD) recorrendo ao método computacional de simulação Finite-Difference Time-Domain (FDTD). De forma a estudar e caracterizar o canal rádio, em termos de desvanecimento relativo ao espalhamento de atraso, usaram-se dois métodos alternativos que têm como entrada o PAP. Para caracterizar o canal quanto ao desvanecimento baseado em espalhamento de Doppler, recorreu-se também a duas técnicas alternativas tendo como entrada o PFD. Em ambas as situações os dois métodos alternativos convergiram para os mesmos resultados. A caracterização é feita em dois cenários diferentes: um em que consideramos que a maioria dos obstáculos são condutores eléctricos perfeitos (CEP) e que passaremos a designar Cenário PEC, e um segundo cenário em que os obstáculos têm propriedades electromagnéticas diferentes, e que passará a ser designado por Cenário MIX. Em ambos os cenários de análise concluiu-se que o canal é plano, lento e sem ISI.

Simulation model for driving dynamics, energy use and power supply

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Energia

Modeling of a solid-state bipolar blumlein generator for N stages

This paper models an n-stage stacked Blumlein generator for bipolar pulses for various load conditions. Calculation of the voltage amplitudes in time domain at the load and between stages is described for an n-stage generator. For this, the reflection and transmission coefficients are mathematically modeled where impedance discontinuity occurs (i.e., at the junctions between two transmission lines). The mathematical model developed is assessed by comparing simulation results to experimental data from a two-stage Blumlein solid-state prototype.

Visible range plasmonic effect produced by aluminium nanoparticles embedded in amorphous silicon

We present results, obtained by means of an analytic study and a numerical simulation, about the resonant condition necessary to produce a Localized Surface Plasmonic Resonance (LSPR) effect at the surface of metal nanospheres embedded in an amorphous silicon matrix. The study is based on a Lorentz dispersive model for a-Si:H permittivity and a Drude model for the metals. Considering the absorption spectra of a-Si:H, the best choice for the metal nanoparticles appears to be aluminium, indium or magnesium. No difference has been observed when considering a-SiC:H. Finite-difference time-domain (FDTD) simulation of an Al nanosphere embedded into an amorphous silicon matrix shows an increased scattering radius and the presence of LSPR induced by the metal/semiconductor interaction under green light (560 nm) illumination. Further results include the effect of the nanoparticles shape (nano-ellipsoids) in controlling the wavelength suitable to produce LSPR. It has been shown that is possible to produce LSPR in the red part of the visible spectrum (the most critical for a-Si:H solar cells applications in terms of light absorption enhancement) with aluminium nano-ellipsoids. As an additional results we may conclude that the double Lorentz-Lorenz model for the optical functions of a-Si:H is numerically stable in 3D simulations and can be used safely in the FDTD algorithm. A further simulation study is directed to determine an optimal spatial distribution of Al nanoparticles, with variable shapes, capable to enhance light absorption in the red part of the visible spectrum, exploiting light trapping and plasmonic effects. © 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

TRFS: desenvolvimento de um protótipo para simulação microscópica de tráfego

Dissertação para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Vias de Comunicação e Transportes

SAR calculation using FDTD simulations

The main intend of this work, is to determinate the Specific Absorption Rate (SAR) on human head tissues exposed to radiation caused by sources of 900 and 1800MHz, since those are the typical frequencies for mobile communications systems nowadays. In order to determinate the SAR, has been used the FDTD (Finite Difference Time Domain), which is a numeric method in time domain, obtained from the Maxwell equations in differential mode. In order to do this, a computational model from the human head in two dimensions made with cells of the smallest possible size was implemented, respecting the limits from computational processing. It was possible to verify the very good efficiency of the FDTD method in the resolution of those types of problems.

Influence of the Human Head in the Radiation of a Mobile Antenna

The big proliferation of mobile communication systems has caused an increased concern about the interaction between the human body and the antennas of mobile handsets. In order to study the problem, a multiband antenna was designed, fabricated and measured to operate over two frequency sub bands 900 and 1800 MHz. After that, we simulated the same antenna, but now, in the presence of a human head model to analyze the head's influence. First, the influence of the human head on the radiation efficiency of the antenna has been investigated as a function of the distance between the head and the antenna and with the inclination of the antenna. Furthermore, the relative amount of the electromagnetic power absorbed in the head has been obtained. In this study the electromagnetic analysis has been performed via FDTD (Finite Difference Time Domain).

Aplicação de ferramentas de simulação de processos

Este trabalho foi efectuado com o propósito de interpretar, compreender e explicar algumas ferramentas de simulação de processos, em particular o Aspen Energy Analyzer (AEA), o Aspen Economic Evaluation (AEE) e o seu funcionamento integrado com o Aspen Hysys(AH). O AH é uma ferramenta de modelação de processos para a concepção de projectos de engenharia química, o AEA é uma ferramenta de modelação de redes de integração energética. O AEE integrado no AH é uma ferramenta que permite incorporar estudos económicos numa fase preliminar do desenvolvimento de um projecto de engenharia. A abordagem a este trabalho foi efectuada através do estudo de Casos. O Caso I foi baseado na resolução de um problema no AEA através da construção e optimização de uma rede de permutadores de calor. Os Casos II e III foram baseados na construção de um flowsheet de produção de Benzeno e de Cloreto de Vinil, respectivamente, e cada Caso foi dividido em dois cenários diferentes. Para o efeito foram utilizados os softwares AEA para a integração energética dos processos, o AH para construção do fluxograma do processo e o AEE para os estudos económicos dos diferentes cenários. Finalmente, os Casos IV e V dizem respeito à resolução de um problema de integração energética. O Caso IV foi baseado num problema de optimização da rede de permutadores através do aumento da sua área. Já o Caso V foi baseado na informação inicial das correntes do caso anterior e em dois cenários diferentes, nos quais foi estudada a influência dos preços das utilidades na construção da rede de permutadores. A conclusão foi que as ferramentas de modelação, particularmente o AH, o AEA e o AEE são uma mais-valia extraordinária para ajudar o utilizador na tomada de decisões em fases bastante preliminares da engenharia de processos.

Receptor MIMO em FPGA baseado no esquema de Alamouti

A oferta de serviços baseados em comunicações sem fios tem vindo a crescer exponencialmente na última década. Cada vez mais são exigidas maiores taxas de transmissão assim como uma melhor QoS, sem comprometer a potência de transmissão ou argura de banda disponível. A tecnologia MIMO consegue oferecer um aumento da capacidade destes sistemas sem requerer aumento da largura de banda ou da potência transmitida. O trabalho desenvolvido nesta dissertação consistiu no estudo dos sistemas MIMO, caracterizados pela utilização de múltiplas antenas para transmitir e receber a informação. Com um sistema deste tipo consegue-se obter um ganho de diversidade espacial utilizando códigos espaço-temporais, que exploram simultaneamente o domínio espacial e o domínio do tempo. Nesta dissertação é dado especial ênfase à codificação por blocos no espaço-tempo de Alamouti, a qual será implementada em FPGA, nomeadamente a parte de recepção. Esta implementação é efectuada para uma configuração de antenas 2x1, utilizando vírgula flutuante e para três tipos de modulação: BPSK, QPSK e 16-QAM. Por fim será analisada a relação entre a precisão alcançada na representação numérica dos resultados e os recursos consumidos pela FPGA. Com a arquitectura adoptada conseguem se obter taxas de transferência na ordem dos 29,141 Msimb/s (sem pipelines) a 262,674 Msimb/s (com pipelines), para a modulação BPSK.

Simulação numérica aplicada ao tratamento de efluentes

A existência de estações de tratamentos de águas residuais (ETAR) é, nos dias de hoje, fundamental na medida em que permite, reduzir a poluição ambiental associada às águas e, também, a reutilização da água tratada para diversos fins. A constante necessidade de cumprir os limites de descargas nos meios recetores conduziu a um melhoramento nas técnicas e processos de tratamento de efluentes, nomeadamente, nos processos biológicos. O processo por lamas ativadas é um processo amplamente utilizado para a remoção de poluentes orgânicos presentes nas águas residuais, pelo que um estudo mais intensivo sobre estes tratamentos resultou na publicação de uma série de conceitos e pressupostos, através de modelos numéricos. A modelação numérica de processos de tratamento de águas residuais e a utilização de ferramentas de simulação numérica têm sido largamente utilizadas, a nível mundial, por exemplo em investigação, desenvolvimento de processos, atividade de consultoria e igualmente por entidades reguladoras, na medida em que os auxiliam no planeamento, dimensionamento e análise do comportamento de infraestruturas de tratamento. No presente trabalho, recorreu-se ao software de simulação GPS-X (versão 6.0) para implementar o esquema de tratamento da ETAR de Beirolas. O objetivo deste trabalho é verificar a aplicabilidade de modelos numéricos na simulação de unidades de tratamento de efluentes e avaliar a resposta dos diferentes modelos, assim como a influência na alteração de características das águas afluentes no comportamento dos modelos. Os resultados obtidos permitiram concluir que os modelos numéricos podem ser utilizados para prever a resposta dos sistemas biológicos e as suas perturbações. Conclui-se ainda que o comportamento, dos modelos estudados (ASM1, ASM2d, ASM3 e mantis), é semelhante, contudo deve-se referir que devido à complexidade do modelo e a falta de informação experimental sobre as características do efluente, não permitiram efetuar uma completa caracterização e calibração do caso de estudo, e toda a informação disponível sobre as características físico-químicas da água foram baseadas em estimativas de concentrações de carências de oxigénio e sólidos suspensos.

Bi-Dimensional Characterization of a Wimax Radio Channel at 3.5GHz

This paper presents the characterization of an indoor Wimax radio channel using the Finite-Difference Time-Domain (FDTD) [1] method complemented with the Convolutional Perfect Matched Layer (CPML) technique [2]. An indoor 2D scenario is simulated in the 3.5GHz band (IEEE 802.16d-2004 and IEEE 802.16e-2005 [3]). In this study, we used two complementary techniques in both analysis, technique A and B for fading based on delay spread and technique C and D for fading based on Doppler spread. Both techniques converge to the same result. Simulated results define the channel as flat, slow and without inter-symbolic interference (ISI), making the application of the spatial diversity the most appropriate scheme.

Estudo numérico e experimental sobre o comportamento dinâmico de um edifício

Dissertação para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Estruturas