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.

Modalidades síncronas e assíncronas no ensino da radiologia do sistema nervoso: estilos e resultados de aprendizagem

Lidar com as problemáticas da saúde, implica um domínio dos processos cognitivos (raciocínio, resolução de problemas e tomada de decisão) e de desempenhos práticos, o que obriga a afectação de um conjunto de atitudes e comportamentos específicos. Este estudo, implementou e avaliou o impacto de experiências pedagógicas desenvolvidas com os estudantes da unidade curricular Radiologia do Sistema Nervoso (RSN) da Escola Superior de Tecnologia da Saúde de Lisboa (ESTeSL). Aplicaram-se metodologias de ensino mistas (presenciais e virtuais) utilizadas na leccionação teórica e prática no ano curricular 2008/2009. Para a avaliação do perfil de aprendizagem dos estudantes foi aplicado o método de Honey & Munford e para a avaliação e monitorização dos conhecimentos aplicaram-se check list baseadas nos conteúdos programáticos. A monitorização das ferramentas da plataforma moodle complementaram a restante informação. Verificou-se uma progressão de aprendizagem positiva para um grupo de estudantes maioritariamente do estilo reflexivo (média=10,6 estudantes). As conclusões apontaram para um impacto positivo quanto à aplicação das metodologias híbridas com maior índice de sucesso para a metodologia assíncrona. Verificou-se também mais flexibilidade no acesso aos conteúdos porém com algumas limitações tais como residência inicial por parte dos estudantes, maior carga de trabalho para os docentes, falta de terminais para acesso à plataforma e pouca experiência de todos os envolvidos no domínio e manipulação da plataforma. ABSTRACT - This study focused on the role of cognitive processes (reasoning, problem solving and decision making) and performance practice in the formation of attitudes and behaviours relating to health issues. It was conducted to evaluate the effects of pedagogical experiences on students who participated in the course in radiography in the Nervous System Imaging Unit (RSN) of the Lisbon Health School of Technology. Mixed (face-to-face and virtual) teaching methodologies were used in theory and practice sessions. Honey and Munford’s method was used to evaluate the learning profile of students. To monitor and evaluate students’ knowledge acquisition, check lists based on program topics were applied. Other information was supplied through the learning platform of Moodle. The student group with mostly a reflective learning style increased their knowledge. The asynchronous method was shown to produce a higher success rate and more flexibility in accessing content but also registered some limitations such as resistance by students, increased workload for teachers, lack of access to the platform and inexperience of all involved in handling the platform.

Solid-State Bipolar Marx Generator with Voltage Droop Compensation

This paper addresses the voltage droop compensation associated with long pulses generated by solid-stated based high-voltage Marx topologies. In particular a novel design scheme for voltage droop compensation in solid-state based bipolar Marx generators, using low-cost circuitry design and control, is described. The compensation consists of adding one auxiliary PWM stage to the existing Marx stages, without changing the modularity and topology of the circuit, which controls the output voltage and a LC filter that smoothes the voltage droop in both the positive and negative output pulses. Simulation results are presented for 5 stages Marx circuit using 1 kV per stage, with 1 kHz repetition rate and 10% duty cycle.

New Technique for Uniform Voltage Sharing in Series Stacked Semiconductors

This paper describes the operation of a solid-state series stacked topology used as a serial and parallel switch in pulsed power applications. The proposed circuit, developed from the Marx generator concept, balances the voltage stress on each series stacked semiconductor, distributing the total voltage evenly. Experimental results from a 10 kV laboratory series stacked switch, using 1200 V semiconductors in a ten stages solid-state series stacked circuit, are reported and discussed, considering resistive, capacitive and inductive type loads for high and low duty factor voltage pulse operation.

Transient analysis of variable-speed wind turbines at wind speed disturbances and a pitch control malfunction

As wind power generation undergoes rapid growth, new technical challenges emerge: dynamic stability and power quality. The influence of wind speed disturbances and a pitch control malfunction on the quality of the energy injected into the electric grid is studied for variable-speed wind turbines with different power-electronic converter topologies. Additionally, a new control strategy is proposed for the variable-speed operation of wind turbines with permanent magnet synchronous generators. The performance of disturbance attenuation and system robustness is ascertained. Simulation results are presented and conclusions are duly drawn. (C) 2010 Elsevier Ltd. All rights reserved.

Wind turbines equipped with fractional-order controllers: Stress on the mechanical drive train due to a converter control malfunction

This paper is on variable-speed wind turbines with permanent magnet synchronous generator (PMSG). Three different drive train mass models and three different topologies for the power-electronic converters are considered. The three different topologies considered are respectively a matrix, a two-level and a multilevel converter. A novel control strategy, based on fractional-order controllers, is proposed for the wind turbines. Simulation results are presented to illustrate the behaviour of the wind turbines during a converter control malfunction, considering the fractional-order controllers. Finally, conclusions are duly drawn. Copyright (C) 2010 John Wiley & Sons, Ltd.

Comportamento à fadiga de juntas soldadas de aços tipo 460M com fios fluxados

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

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

Projecto integrado de AVAC e outras especialidades para um edifício com necessidades quase nulas de energia

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Mecânica

Novos compostos orgânicos reticuláveis para aplicações em células fotovoltaicas

Trabalho Final de Mestrado para obtenção do grau de mestre em Engenharia Química e Biológica

Emulação de um motor de combustão interna através de um acionamento eletromecânico de velocidade variável utilizando um motor de indução trifásico

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

Simulação de processos de adsorção recorrendo ao Aspen Chromatography

As operações de separação por adsorção têm vindo a ganhar importância nos últimos anos, especialmente com o desenvolvimento de técnicas de simulação de leitos móveis em colunas, tal como a cromatografia de Leito Móvel Simulado (Simulated Moving Bed, SMB). Esta tecnologia foi desenvolvida no início dos anos 60 como método alternativo ao processo de Leito Móvel Verdadeiro (True Moving Bed, TMB), de modo a resolver vários dos problemas associados ao movimento da fase sólida, usuais nestes métodos de separação cromatográficos de contracorrente. A tecnologia de SMB tem sido amplamente utilizada em escala industrial principalmente nas indústrias petroquímica e de transformação de açúcares e, mais recentemente, na indústria farmacêutica e de química fina. Nas últimas décadas, o crescente interesse na tecnologia de SMB, fruto do alto rendimento e eficiente consumo de solvente, levou à formulação de diferentes modos de operação, ditos não convencionais, que conseguem unidades mais flexíveis, capazes de aumentar o desempenho de separação e alargar ainda mais a gama de aplicação da tecnologia. Um dos exemplos mais estudados e implementados é o caso do processo Varicol, no qual se procede a um movimento assíncrono de portas. Neste âmbito, o presente trabalho foca-se na simulação, análise e avaliação da tecnologia de SMB para dois casos de separação distintos: a separação de uma mistura de frutose-glucose e a separação de uma mistura racémica de pindolol. Para ambos os casos foram considerados e comparados dois modos de operação da unidade de SMB: o modo convencional e o modo Varicol. Desta forma, foi realizada a implementação e simulação de ambos os casos de separação no simulador de processos Aspen Chromatography, mediante a utilização de duas unidades de SMB distintas (SMB convencional e SMB Varicol). Para a separação da mistura frutose-glucose, no quediz respeito à modelização da unidade de SMB convencional, foram utilizadas duas abordagens: a de um leito móvel verdadeiro (modelo TMB) e a de um leito móvel simulado real (modelo SMB). Para a separação da mistura racémica de pindolol foi considerada apenas a modelização pelo modelo SMB. No caso da separação da mistura frutose-glucose, procedeu-se ainda à otimização de ambas as unidades de SMB convencional e Varicol, com o intuito do aumento das suas produtividades. A otimização foi realizada mediante a aplicação de um procedimento de planeamento experimental, onde as experiências foram planeadas, conduzidas e posteriormente analisadas através da análise de variância (ANOVA). A análise estatística permitiu selecionar os níveis dos fatores de controlo de modo a obter melhores resultados para ambas as unidades de SMB.

Micro-generation Evaluation of the Zero Emissions Technologies in the Portuguese Market

Micro-generation is the small scale production of heat and/or electricity from a low carbon source and can be a powerful driver for carbon reduction, behavior change, security of supply and economic value. The energy conversion technologies can include photovoltaic panels, micro combined heat and power, micro wind, heat pumps, solar thermal systems, fuel cells and micro hydro schemes. In this paper, a small research of the availability of the conversion apparatus and the prices for the micro wind turbines and photovoltaic systems is made and a comparison between these two technologies is performed in terms of the availability of the resource and costs. An analysis of the new legal framework published in Portugal is done to realize if the incentives to individualspsila investment in sustainable and local energy production is worth for their point of view. An economic evaluation for these alternatives, accounting with the governmentpsilas incentives should lead, in most cases, into attractive return rates for the investment. Apart from the attractiveness of the investment there are though other aspects that should be taken into account and those are the benefits that these choices have to us all. The idea is that micro-generation will not only make a significant direct contribution to carbon reduction targets, it will also trigger a multiplier effect in behavior change by engaging hearts and minds, and providing more efficient use of energy by householders. The diversified profile of power generation by micro-generators, both in terms of location and timing, should reduce the impact of intermittency or plant failures with significant gains for security of supply.

A CMOS micro power switched-capacitor DC-DC step-up converter for indoor light energy harvesting applications

This paper presents a micro power light energy harvesting system for indoor environments. Light energy is collected by amorphous silicon photovoltaic (a-Si:H PV) cells, processed by a switched capacitor (SC) voltage doubler circuit with maximum power point tracking (MPPT), and finally stored in a large capacitor. The MPPT fractional open circuit voltage (V-OC) technique is implemented by an asynchronous state machine (ASM) that creates and dynamically adjusts the clock frequency of the step-up SC circuit, matching the input impedance of the SC circuit to the maximum power point condition of the PV cells. The ASM has a separate local power supply to make it robust against load variations. In order to reduce the area occupied by the SC circuit, while maintaining an acceptable efficiency value, the SC circuit uses MOSFET capacitors with a charge sharing scheme for the bottom plate parasitic capacitors. The circuit occupies an area of 0.31 mm(2) in a 130 nm CMOS technology. The system was designed in order to work under realistic indoor light intensities. Experimental results show that the proposed system, using PV cells with an area of 14 cm(2), is capable of starting-up from a 0 V condition, with an irradiance of only 0.32 W/m(2). After starting-up, the system requires an irradiance of only 0.18 W/m(2) (18 mu W/cm(2)) to remain operating. The ASM circuit can operate correctly using a local power supply voltage of 453 mV, dissipating only 0.085 mu W. These values are, to the best of the authors' knowledge, the lowest reported in the literature. The maximum efficiency of the SC converter is 70.3 % for an input power of 48 mu W, which is comparable with reported values from circuits operating at similar power levels.

Constraining multi-Higgs flavour models

To study a flavour model with a non-minimal Higgs sector one must first define the symmetries of the fields; then identify what types of vacua exist and how they may break the symmetries; and finally determine whether the remnant symmetries are compatible with the experimental data. Here we address all these issues in the context of flavour models with any number of Higgs doublets. We stress the importance of analysing the Higgs vacuum expectation values that are pseudo-invariant under the generators of all subgroups. It is shown that the only way of obtaining a physical CKM mixing matrix and, simultaneously, non-degenerate and non-zero quark masses is requiring the vacuum expectation values of the Higgs fields to break completely the full flavour group, except possibly for some symmetry belonging to baryon number. The application of this technique to some illustrative examples, such as the flavour groups Delta (27), A(4) and S-3, is also presented.