Caracterização da ocupação do solo com recurso à aplicação de modelos de misturas espectrais em séries multi-temporais de imagens MODIS

Dissertação apresentada como requisito parcial para obtenção do grau de Mestre em Ciência e Sistemas de Informação Geográfica

Comunicações intra- e inter-circuito de componentes especificados com Redes de Petri

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do Grau de Mestre em Engenharia Electrotécnica e de Computadores

The inhibitory activity of synthetic compounds and ions against transporters of multi-drug resistant bacteria

RESUMO: Sessenta e três derivados de hidantoína foram utilizados para avaliar possíveis efeitos de modulação na actividade das bombas de efluxo (BE) na Salmonella NCTC 13349 utilizando um método fluorimétrico semi-automático. Nenhum dos compostos apresentaram actividade anti-bacteriana até concentrações de 240 mg/L. Entre todos os compostos, SZ-7 demonstrou possuir propriedades de modulação de effluxo na presença de glucose. Para testar esta actividade, estirpes de Salmonella resistentes à ciprofloxacina, induzidas a elevados níveis de resistência com sobre-expressão de BE, foram expostas ao SZ-7. Este derivado afectou a susceptibilidade das estirpes à ciprofloxacina. Uma vez que os 63 compostos estudados apresentaram pouco efeito inibitório /cumulativo, apesar de serem conhecidos pelos seus efeitos moduladores de BE-dependentes de iões em eucariotas, foi questionado o papel dos iões na regulação de BE bacterianas, que poderão influenciar a eficácia de novos compostos. Para este estudo, utilizamos a Escherichia coli AG100 como modelo, devido ao extenso conhecimento no que respeita a estrutura e actividade das BE. Devido à importância de iões de cálcio (Ca2+) nos canais de transporte membranar e na actividade de ATPases, a sua actividade na modulação do efluxo foi investigada. De resultados anteriormente obtidos concluiu-se que a pH 5 o efluxo é independente de energia metabólica; contudo, a pH 8 é absolutamente dependente, sendo que o Ca2+ é indispensável para manter a actividade das ATPases bacterianas. A acumulação/effluxo de EtBr pela E. coli AG100 foi determinada na presença/ausência de Ca2+, clorpromazina (inibidor de ligação de Ca2+ a proteínas), e ácido etilenodiamino tetra-acético (quelante de Ca2+). Acumulação/effluxo aumentou a pH 8, contudo o Ca2+ reverte estes efeitos evidenciando a sua importância no funcionamento das BE bacterianas. Em resumo este trabalho colocou em evidência que muitos aspectos bioquímicos e bioenergéticos devem ser tomados em consideração no estudo da resistência bacteriana mediada por BE.------- ABSTRACT: Sixty-three hydantoin derivatives were evaluated for their modulating effects on efflux pump (EP) activity of Salmonella NCTC 13349 utilizing a semi-automatic fluorometric method. None of the compounds presented antibacterial activities at concentrations as high as 240 mg/L. Among all compounds, SZ-7 showed possible efflux modulating activity in the presence of glucose, indicative of a potential EP inhibitor. To verify its potential effects, ciprofloxacin-resistant Salmonella strains, induced to high level resistance with over-expressing EPs, were exposed to SZ-7. This derivative affected the susceptibility of the ciprofloxacin-resistant strains. Since the 63 compounds studied had very low inhibitory/accumulative effects, even though their known for being efficient in modulating ion-driven eukaryotic EPs, we questioned whether ions had a leading role in regulating bacterial EPs, influencing the effectiveness of new compounds. For this study we used Escherichia coli AG100 as a model, due to the extensive knowledge on its EPs structure and activity. Owing the importance of calcium ions (Ca2+) for membrane transport channels and activity of ATPases, the role of Ca2+ was investigated. From previous results we concluded that at pH 5 efflux is independent of metabolic energy; however, at pH 8 it is entirely dependent of metabolic energy and the Ca2+ ions are essential to maintain the activity of bacterial ATPases. Accumulation and efflux of ethidium bromide (EtBr) by E. coli AG100 was determined in the presence and absence of Ca2+, chlorpromazine (inhibitor of Ca2+-binding to proteins), and ethylenediaminetetraacetic acid (Ca2+ chelator). Accumulation of EtBr increased at pH 8; however Ca2+ reversed these effects providing information as to the importance of this ion in the regulation of bacterial EP systems. Overall this work puts in evidence that many biochemical and bioenergetic aspects related to the strains physiology need to be taken into consideration in bacterial drug resistance mediated by EPs.

Optimização do transporte de doentes num serviço porta à porta

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Modelo de sistema de inferência difuso para auxílio da resposta ao risco em projectos

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de mestre em Engenharia e Gestão Industrial

Aterragem de robôs aéreos multi-rotor em plataformas móveis: uma solução baseada em comportamentos e em saliência visual

Dissertação para obtenção do Grau de Mestre em Engenharia Eletrotécnica e de Computadores

Estudo do motor em disco com o rotor em alumínio e em supercondutor multi-semente

Nesta dissertação é realizado o estudo de um motor em disco polifásico com armadura convencional e rotor que pode ser convencional, em alumínio, ou composto por material supercondutor de alta temperatura multi‐semente. O motor com o rotor em alumínio apresenta um comportamento assíncrono bem definido, baseado na lei geral de indução de eletromotrizes no induzido. Contudo, ao ser mergulhado em azoto líquido, evidencia melhores características eléctricas, tanto do induzido como do indutor, mesmo que o núcleo ferromagnético convencional possa exibir degradação magnética. O motor com o rotor SAT exibe um comportamento distinto, evidenciando ambos os regimes síncrono e assíncrono estáveis. O regime síncrono fica caracterizado pelo fenómeno de aprisionamento de campo, que garante que o rotor gire síncrono com o campo girante do estator. Em regime assíncrono, para um determinado valor de binário resistente aplicado superior ao electromagnético máximo desenvolvido pelo motor, o fenómeno de escoamento de campo está presente, sendo o binário electromagnético motor reforçado por um binário extra de perdas de carácter resistivo desenvolvidas no rotor devido à interacção da densidade de corrente a campos eléctricos que se estabelecem no rotor. Neste caso, o fenómeno de escoamento de campo não é devido a forças de Lorentz que se definem na matriz de Abrikosov, mas sim devido a esta ser “puxada” pelo campo girante do estator, ficando a matriz a deslizar sobre o rotor. De modo a obter as características dos sistemas electromecânicos em estudo é realizada uma análise teórica, baseada na teoria convencional das máquinas eléctricas, com o objectivo de compreender alguns dos fenómenos do motor de fluxo axial, e uma análise baseada num programa comercial de elementos finitos onde o fenómeno da supercondutividade é simulado com base na relação entre o campo elétrico e a densidade de corrente pela lei da potenciação (E‐J power law). O ensaio dos motores referidos é realizado para comparar ambos os sistemas e de realçar o princípio de funcionamento e as características mais relevantes de cada um. Da análise realizada é desenvolvido um modelo que caracteriza o funcionamento da máquina com o rotor com SAT.

Um modelo de avaliação da eficiência de gestão de projectos: caso de estudo EDP Distribuição

No mercado energético, o tema eficiência tem-se tornado um pilar fundamental na obtenção de valor estratégico para as organizações deste negócio. Este foco tem muito que ver com as alterações que este mercado tem vindo a sofrer nos últimos anos com a mudança de mercado regulado para um mercado liberalizado. Permitir que novos players entrem no mercado e com eles novas formas de executar o negócio, tem aumentado a competividade entre as várias or-ganizações no ramo da electricidade. Consequentemente, essas organizações focam-se cada vez mais na eficiência, produzindo o mesmo mas utilizando menos recursos, promovendo, em simultâneo, uma maior satisfação dos seus clientes. Paralelamente, as organizações na última década têm-se virado cada vez mais para a gestão de projectos, percebendo que através dela podem concretizar valor estratégico mais facilmente, com menor redundância. Assim, muitas organizações vivem actualmente em ambientes de multi-projecto, em que as iniciativas dos diferentes projectos são inúmeras e na maioria das vezes não existe capital suficiente para as satisfazer na totalidade. Perceber quais os projectos que acrescentam maior valor à organização torna-se fundamental. Neste contexto, a presente dissertação visa avaliar a eficiência na gestão de um tipo de projec-tos da EDP Distribuição, utilizando o método matemático Data Envelopment Analysis (DEA). Com este método avaliou-se a capacidade que a organização tem em converter inputs em out-puts nos projectos de telecomando da rede de distribuição que levou a cabo durante o ano de 2013. Após um estudo sobre gestão de projectos e da análise DEA, analisou-se a melhor forma de aplicar o método DEA em empresas de electricidade, especificando-se as variáveis do modelo que traduzem melhor o processo a avaliar. Pretende-se fornecer resultados específicos sobre como a organização pode melhorar os seus processos na gestão de projectos de telecomando indicando onde, como e em quanto a empresa é ineficiente, identificando adicionalmente ac-ções de melhoria.

Desenvolvimento de um modelo computacional para simulação de limitadores de corrente supercondutores indutivos

As redes do sistema de energia elétrica formam uma infraestrutura determinante para a qualidade da energia fornecida. À medida que os níveis de falha de corrente aumentam, surge um risco crescente de que tais falhas excedam a capacidade de proteção dos dispositivos energéticos, expondo as redes a danos muito dispendiosos. A tecnologia dos materiais supercondutores de alta temperatura possibilitou a criação de uma nova gama de limitadores de corrente, cujas características são consideravelmente vantajosas face aos dispositivos convencionais. Apesar da necessidade de um sistema criogénico, estes dispositivos operam de forma passiva, limitando eficazmente os picos de corrente e sem a interrupção do fornecimento de energia. Com este trabalho pretende-se desenvolver um modelo computacional, em Simulink, adequado à simulação de limitadores de corrente supercondutores do tipo indutivo (LCSi) de blindagem magnética, que possam ser utilizados na simulação de diferentes tipos de redes (com distintas cargas e fontes).

Modelo do pensamento visual-espacial: transformações geométricas no início da escolaridade

Tese de doutoramento em Ciênicas da Educação: especialidade de Teoria Curricular e Ensino das Ciências

Avaliação dos efeitos da formação tecnológica nos estabelecimentos de ensino: contribuição para o estudo do impacte de um novo modelo curricular

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

A decisão política em educação. O partenariado socio educativo como modelo decisional: o caso das escolas profissionais

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

O acompanhamento local como modelo de desenvolvimento curricular em matemática

Dissertação de mestrado em Ciências da Educação: área de Educação e Desenvolvimento

The use of information and interactive processes in growth management

Tese de doutoramento em Engenharia do Ambiente, especialidade em Sistemas Sociais

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.