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.

A utilização da plataforma Educast@fccn, como ferramenta de gravação de aulas no ambiente de e-learning português

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Audiovisual e Multimédia.

Comunicação nas relações de longa distância: documentário "But it's Okay"

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Audiovisual e Multimédia.

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

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.

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.