Remote operation of embedded controllers designed using IOPT Petri-nets

This paper presents a new communication architecture to enable the remote control, monitoring and debug of embedded-system controllers designed using IOPT Petri nets. IOPT Petri nets and the related tools (http://gres.uninova.pt) have been used as a rapid prototyping and development framework, including model-checking, simulation and automatic code generation tools. The new architecture adds remote operation capabilities to the controllers produced by the automatic code generators, enabling quasi-real-time remote debugging and monitoring using the IOPT simulator tool. Furthermore, it enables the creation of graphical user interfaces for remote operation and the development of distributed systems where a Petri net model running on a central system supervises the actions of multiple remote subsystems. © 2015 IEEE.

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.

High-level Petri nets modules for embedded controllers design

Modular design is crucial to manage large-scale systems and to support the divide-and-conquer development approach. It allows hierarchical representations and, therefore, one can have a system overview, as well as observe component details. Petri nets are suitable to model concurrent systems, but lack on structuring mechanisms to support abstractions and the composition of sub-models, in particular when considering applications to embedded controllers design. In this paper we present a module construct, and an underlying high-level Petri net type, to model embedded controllers. Multiple interfaces can be declared in a module, thus, different instances of the same module can be used in different situations. The interface is a subset of the module nodes, through which the communication with the environment is made. Module places can be annotated with a generic type, overridden with a concrete type at instance level, and constants declared in a module may have a new value in each instance.

Soliton-type and other travelling wave solutions for an improved class of nonlinear sixth-order Boussinesq equations

An improved class of nonlinear bidirectional Boussinesq equations of sixth order using a wave surface elevation formulation is derived. Exact travelling wave solutions for the proposed class of nonlinear evolution equations are deduced. A new exact travelling wave solution is found which is the uniform limit of a geometric series. The ratio of this series is proportional to a classical soliton-type solution of the form of the square of a hyperbolic secant function. This happens for some values of the wave propagation velocity. However, there are other values of this velocity which display this new type of soliton, but the classical soliton structure vanishes in some regions of the domain. Exact solutions of the form of the square of the classical soliton are also deduced. In some cases, we find that the ratio between the amplitude of this wave and the amplitude of the classical soliton is equal to 35/36. It is shown that different families of travelling wave solutions are associated with different values of the parameters introduced in the improved equations.

INA verde : diagnóstico dos processos de separação e recolha selectiva de resíduos consumíveis no INA, I.P.

Esta apresentação decorre do projecto realizado pela equipa: Helena Rato, César Madureira, David Ferraz e Margarida Quintela Martins

O Instituto Nacional de Administração, I.P. e a política de valorização do capital humano da Administração Pública Portuguesa

Comunicação apresentada no curso avançado em gestão da formação, 2010.

O contributo da avaliação de desempenho para a profissionalização da A.P.

Apresentação realizada no 7º Congresso Nacional da Administração Pública: Estado e Administração na Resposta à Crise, em Lisboa, de 10 a 11 de Novembro.

Instituto Nacional de Administração I.P.

Apresentação realizada no âmbito do projecto Leonardo da Vinci no Institute for Public Administration em Praga a 5 de Dezembro de 2011

Recompondo a cultura da matemática escolar: a intervenção da folha informativa dos professores do 1º Grupo (E.T.P.)

XX Seminário de Investigação em Educação Matemática (pp. 228-238). Viana do Castelo

Comportamento da tibiotársica na sequência de movimento de sentar para de pé em crianças prematuras

Introdução: A prematuridade constitui um fator de risco para a ocorrência de lesões ao nível do sistema nervoso central, sendo que uma idade gestacional inferior a 36 semanas potencia esse mesmo risco, nomeadamente para a paralisia cerebral (PC) do tipo diplegia espástica. A sequência de movimento de sentado para de pé (SPP), sendo uma das aprendizagens motoras que exige um controlo postural (CP) ao nível da tibiotársica, parece ser uma tarefa funcional frequentemente comprometida em crianças prematuras com e sem PC. Objetivo(s): Descrever o comportamento dos músculos da tibiotársica, tibial anterior (TA) e solear (SOL), no que diz respeito ao timing de ativação, magnitude e co-ativação muscular durante a fase I e início da fase II na sequência de movimento de SPP realizada por cinco crianças prematuras com PC do tipo diplegia espástica e cinco crianças prematuras sem diagnóstico de alteração neuromotoras, sendo as primeiras sujeitas a um programa de intervenção baseado nos princípios do conceito de Bobath – Tratamento do Neurodesenvolvimento (TND). Métodos: Foram avaliadas 10 crianças prematuras, cinco com PC e cinco sem diagnóstico de alterações neuromotoras, tendo-se recorrido à eletromiografia de superfície para registar parâmetros musculares, nomeadamente timings, magnitudes e valores de co-ativação dos músculos TA e SOL, associados à fase I e inico da fase II da sequência de movimento de SPP. Procedeu-se ao registo de imagem de modo a facilitar a avaliação dos componentes de movimento associados a esta tarefa. Estes procedimentos foram realizados num único momento, no caso das crianças sem diagnóstico de alterações neuromotoras e em dois momentos, antes e após a aplicação de um programa de intervenção segundo o Conceito de Bobath – TND no caso das crianças com PC. A estas foi ainda aplicado o Teste da Medida das Funções Motoras (TMFM–88) e a Classificação Internacional da Funcionalidade Incapacidade e Saúde – crianças e jovens (CIF-CJ). Resultados: Através da eletromiografia constatou-se que ambos os grupos apresentaram timings de ativação afastados da janela temporal considerada como ajustes posturais antecipatórios (APAs), níveis elevados de co-ativação, em alguns casos com inversão na ordem de recrutamento muscular o que foi possível modificar nas crianças com PC após o período de intervenção. Nestas, verificou-se ainda que, a sequência de movimento de SPP foi realizada com menor número de compensações e com melhor relação entre estruturas proximais e distais compatível com o aumento do score final do TMFM-88 e modificação positiva nos itens de atividade e participação da CIF-CJ. Conclusão: As crianças prematuras com e sem PC apresentaram alterações no CP da tibiotársica e níveis elevados de co-ativação muscular. Após o período de intervenção as crianças com PC apresentaram modificações positivas no timing e co-ativação muscular, com impacto funcional evidenciado no aumento do score final da TMFM-88 e modificações positivas na CIF-CJ.

Influência do alinhamento do pé nos Ajustes Posturais Antecipatórios em crianças com Paralisia Cerebral

Introdução: A dificuldade na organização dos ajustes posturais antecipatórios (APAs) é frequentemente associada ao défice de controlo postural (CP) em crianças/jovens com um quadro motor de hemiplegia espástica, resultante de paralisia cerebral. As alterações biomecânicas da tibiotársica e do pé são características comummente observadas nestas crianças/jovens e influenciam o CP na sua globalidade. Objectivo(s): descrever o comportamento dos APAs associados ao início da marcha, face à modificação do alinhamento do pé em crianças/jovens com hemiplegia espástica, após 12 semanas de intervenção, segundo o Conceito Bobath-TND e aplicação de uma Ligadura Funcional (LF). Métodos: Foram avaliadas quatro crianças/jovens num momento inicial (M0) e após 12 semanas de intervenção e de aplicação de uma LF (M1). Recorrendo à eletromiografia de superfície, registaram-se os timings de activação dos músculos tibial anterior, solear, recto abdominal e erector da espinha (bilateralmente). O início do movimento foi calculado a partir da alteração do sinal obtido através da plataforma de pressões. Recorreu-se à aplicação da TMFM-88 para avaliar a função motora global e à aplicação da CIF-CJ para classificar a funcionalidade mediante as actividades e a participação. Procedeu-se ao registo de imagem para facilitar a observação/avaliação das componentes de movimento das crianças/jovens em estudo. Resultados: Após o período de intervenção, verificou-se uma modificação nos valores dos timings de ativação dos músculos em análise, que se aproximaram da janela temporal definida como APAs, bem como na distribuição de carga na base de suporte, nos scores da TMFM-88 e nos qualificadores das “Actividades e Participação”, sugestivos de uma melhor organização dos mecanismos de controlo postural. Conclusão: As crianças/jovens em estudo evidenciaram, após uma intervenção de fisioterapia baseada no Conceito Bobath- TND e aplicação de uma LF, uma evolução favorável tanto ao nível do CP da tibiotársica e do pé, apresentando timings de ativação muscular temporalmente mais ajustados à tarefa, com repercussões positivas nas actividades e participação.

Identificação Molecular de Candidoses invasivas no Centro Hospitalar Cova da Beira, E.P.E Métodos Convencionais vs. Métodos Moleculares

As leveduras são fungos oportunistas responsáveis pela maior parte das infecções fúngicas nos seres humanos. Este tipo de infecções é mais comum em indivíduos com o sistema imunitário comprometido e têm vindo a aumentar ao longo dos anos. A espécie Candida albicans é a mais frequentemente identificada, como sendo responsável por este tipo de infecções, no entanto, o número de infecções provocadas por outras espécies do género Candida ocorre cada vez com mais frequência. As infecções hospitalares fúngicas constituem uma causa crescente de morbilidade e mortalidade em hospitais, afectando tanto doentes internados, como profissionais de saúde. Do ponto de vista etiológico, a grande maioria das infecções fúngicas hospitalares é causada por espécies do género Candida, principalmente Candida albicans, C. parapsilosis, C. tropicalis e C.glabrata. A sua identificação taxonómica, geralmente exige o seu isolamento inicial em meios de cultura, a realização de provas bioquímicas de assimilação in vitro, com a utilização de “kits” comerciais, ou a sua repicagem para meios cromogénios. O principal objectivo deste trabalho foi a identificação rápida e eficaz de candidoses invasivas através de uma metodologia molecular de diagnóstico que fosse simples e fácil de implementar em laboratórios de diagnóstico microbiológico. Para tal, foram seleccionados 100 isolados clínicos de leveduras obtidas a partir de amostras clínicas enviadas para o Laboratório de Patologia Clínica do Centro Hospitalar Cova da Beira E.P.E. para o diagnóstico laboratorial de infecção fúngica durante um período de 8 meses, desde Novembro de 2008 até Junho de 2009. O trabalho baseou-se na identificação molecular por PCR-RFLP de espécies do género Candida, e os resultados foram comparados com os obtidos pelos métodos de diagnóstico tradicionais (CHROMagar® Candida e VITEK® - bioMérieux) utilizados no laboratório hospitalar. Foi ainda efectuado o estudo da sensibilidade in vitro de espécies do género Candida aos antifúngicos fluconazol, voriconazol, através dos métodos, de difusão em disco e E-Test®, segundo os procedimentos padronizados e publicados pelo CLSI, tendo-se verificado elevada sensibilidade dos isolados para ambos os fármacos. Com este trabalho concluiu-se que a eficiente e rápida identificação dos fungos clinicamente relevantes por parte dos laboratórios de patologia clínica deve ser uma tarefa fundamental para o controle das infecções. A identificação ao nível da espécie é importante para determinar a etiologia da infecção, para detectar novos agentes da doença, para prever resistências intrínsecas a agentes antifúngicos e para detectar causas de infecções nosocomiais. Face ao exposto, os estudos epidemiológicos são de extrema importância, assim como o diagnóstico das infecções fúngicas. O diagnóstico das infecções fúngicas continua a ser efectuado por métodos tradicionais, que avaliam características fisiológicas e bioquímicas dos elementos fúngicos, mas que apesar de serem eficazes são, na sua maioria, demoradas impedindo um início rápido e atempado da terapêutica. Como tal, os métodos moleculares podem constituir uma alternativa mais viável ao diagnóstico micológico, nomeadamente de leveduras do género Candida, como se pode comprovar pelos resultados obtidos neste trabalho.

Desenvolvimento de óxidos semicondutores tipo-p para aplicação em transístores de filme fino

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Microelectrónica e Nanotecnologias

Sonatas em trio. Transcrição e estudo do manuscrito P-VV G prática 118.4

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Ciências Musicais (ramo de Musicologia Histórica).