Análise e implementação de filtros e controladores num sistema de processamento digital de sinal

Dissertação para obtenção do grau de Mestre em Engenharia Electrotécnica Ramo de Automação e Electrónica Industrial

Red light (Processo contra-ordenacional em meio urbano)

Devido ao acréscimo significativo de viaturas e peões nas grandes cidades foi necessário recorrer aos mecanismos existentes para coordenar o tráfego. Nesta perspectiva surge a implementação de semáforos com o objectivo de ordenar o tráfego nas vias rodoviárias. A gestão de tráfego, tem sido sujeita a inovações tanto ao nível dos equipamentos, do software usado, gestão centralizada, monitorização das vias e na sincronização semafórica, sendo possível a criação de programas ajustados às diferentes exigências de tráfego verificadas durante as vinte e quatro horas para pontos distintos da cidade. Conceptualmente foram elaborados estudos, com o objectivo de identificar a relação entre a velocidade o fluxo e o intervalo num determinado intervalo de tempo, bem como a relação entre a velocidade e a sinistralidade. Até 1995 Portugal era um dos países com maior número de sinistros rodoviários Na sequência desta evolução foram instalados radares de controlo de velocidade no final de 2006 com o objectivo de obrigar ao cumprimento dos limites de velocidade impostos pelo código da estrada e reduzir a sinistralidade automóvel na cidade de Lisboa. Passados alguns anos sobre o investimento realizadoanteriormente, constatamos que existe a necessidade de implementar novas tecnologias na detecção das infracções, sejam estas de excesso de velocidade ou violação do semáforo vermelho (VSV), optimizar a informação disponibilizada aos automobilistas e aos peões, coordenar a interacção entre os veículos prioritários e os restantes presentes na via, dinamizar a gestão interna das contra ordenações, agilizar os procedimentos informatizar a recolha deinformação de modo a tornar os processos mais céleres.

A aprendizagem de funções num ambiente computacional com recurso a diferentes representações

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

A construção do projecto educativo de escola: contributo para o estudo dos processos de definição da lógica de funcionamento da escola

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

Resolução de problemas em educação matemática: contributo para uma análise epistemológica e educativa das representações pessoais dos professores

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

Pensamento dos pais sobre a educação e o desenvolvimento dos seus filhos: um estudo sobre a variabilidade das ideias

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

Práticas de formação e desenvolvimento profissional e social: um contributo para a formação contínua dos professores do ensino básico em Cabo Verde

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

Integração de reacção e deliberação em agentes inteligentes

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Redes de Comunicação e Multimédia

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 experiência de marca na fidelização do consumidor: o caso Starbucks Portugal

Dissertação apresentada à Escola Superior de Comunicação Social como parte dos requisitos para obtenção de grau de mestre em Publicidade e Marketing.

Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

Problemas de programação matemática com restrições lineares de equilíbrio

Neste trabalho é desenvolvido um algoritmo enumerativo paramétrico de optimização global para a resolução de Problemas de Programação Matemática com Restrições de Equilíbrio ou de Complementaridade (MPEC). A comparação com outras técnicas globais da literatura é efectuada para um leque variado de problemas, de modo a poder avaliar a eficiência do processo proposto. A utilização de algoritmos de MPEC para a resolução de alguns problemas de optimização global é o outro grande objectivo desta tese. Nesse sentido são introduzidas novas formula¸c˜oes de programas bilineares e lineares complementares como MPECs. São ainda analisadas e discutidas formulaçõess MPEC para o problema de programação linear inteira 0-1, para a determinação do Conjunto Independente Máximo de um Grafo (MIS) e para a estimação do Número de Condição de uma Matriz. Para o problema MIS é desenvolvido um algoritmo de ramificação e limitação, baseado na decomposição de uma função quadrática numa diferença de duas funçõess convexas (DC). Finalmente é introduzida uma técnica MPEC local para a estimação do número de condição com a norma l1 e é estabelecido para matrizes de Minkowski que o número de condição nessa norma pode ser estimado com apenas um sistema de equações lineares. Em todos os desenvolvimentos houve uma grande preocupação em testar as novas formulações e algoritmos com problemas conhecidos da literatura, de modo a aferir da qualidade e interesse dessas propostas.

Dispositivos moleculares fluorescentes contendo receptores poliamínicos

O objectivo desta tese é a caracterização global de algumas famílias de compostos poliamínicos com grupos aromáticos fluorescentes. Estes têm potencial deaplicação como dispositivos moleculares, incluindo quimiossensores, interruptores moleculares,máquinas moleculares ou sistemas de processamento de informação moleculares. Estes compostos possuem poliaminas que podem actuar como unidades receptoras de várias espécies químicas, como protões, iões metálicos ou aniões, e os tornam solúveis em água. Contêm também grupos aromáticos fluorescentes (naftaleno, antraceno, pireno), que actuam como unidades sinalizadoras do estado do receptor. No Capítulo 1 são apresentados métodos de síntese e purificação de compostos poliamínicos, juntamente com descrições pormenorizadas das sínteses. Nos Capítulos 2 a 8 são caracterizados diversos compostos, quando livres em solução aquosa, e na presença de iões de metais de transição e de ATP. São usadas técnicas de espectrofotometria no UV-visível, espectrofluorimetria no estado estacionário e de contagem de fotão único correlacionada no tempo, complementadas com dados potenciométricos e de RMN fornecidos pelo grupo do Prof. Enrique García-España da Universidade de Valência, Espanha. No Capítulo 2 estudam-se compostos com grupos antraceno. Verifica-se supressão de emissão a pH básico, comum a todos os compostos poliamínicos, e caracterizam-se factores que influenciam nesse fenómeno. No Capítulo 3 analisam-se compostos de naftaleno. Verificam-se excímeros intramoleculares em compostos com dois grupos naftaleno. Para os formar ocorre um movimento fotoinduzido de flexão, pelo que esses compostos podem ser considerados máquinas moleculares. No Capítulo 4 estudam-se compostos com grupos pireno. Observam-se excímeros intramoleculares nos compostos com dois fluoróforos. No Capítulo 5 caracterizam-se compostos com dois grupos aromáticos diferentes(vários compostos com naftaleno e antraceno, um com pireno e antraceno e um com pireno e naftaleno). Verifica-se transferência de energia do grupo naftaleno para o antraceno (que parece evoluir de acordo com a teoria de Förster), de pireno para antraceno e de naftaleno para pireno. No Capítulo 6 examinam-se dois compostos de antraceno na presença de iões metálicos. Verifica-se aumento de emissão presença de Zn(II) e Cd(II), e supressão de emissão na presença de Cu(II) e Ni(II). Caracteriza-se o comportamento de um deles do ponto de vista de operações lógicas ao nível molecular. No Capítulo 7 caracteriza-se um composto de naftaleno na presença de vários iões metálicos. Verifica-se supressão de emissão com iões de metais de transição do 3ºperíodo com níveis na presença de Zn(II), Cd(II) e Al(III). Não se verifica efeito na presença de iões alcalinos, alcalino-terrosos, lantanídeos, Sn(II) e Pb(II). No Capítulo 8 estuda-se a interacção de compostos poliamínicos com ATP. Verifica-se em qualquer pH a ocorrência de empilhamento aromáticos do ATP e composto poliamínico, e ancoragem do grupo polifosfato do ATP com a poliamina. Verifica-se supressão de emissão do composto poliamínico a pH ácido, principalmente por transferência electrónica fotoinduzida do seu grupo aromático para o grupo adenina protonado do ATP. Num composto com antraceno e naftaleno, continua-se a verificar transferência de energia d incompletamente preenchidos, e com Hg(II), e aumento de emissãoπ-π entre os grupos

Máquina síncrona em regime transitório após brusco curto-circuito no estator

A partir das equações de Park pretende-se modelar a máquina de rotor de pólos salientes com enrolamentos amortecedores e prever o seu funcionamento em regime transitório. A dissertação tem como objectivo estabelecer a teoria generalizada da máquina síncrona em regime transitório e proceder a ensaios laboratoriais a fim de obter as correntes de curto-circuito trifásico simétrico, difásico e fase-neutro. A partir destes ensaios é possível obter as constantes de tempo e reactâncias transitórias e subtransitórias do alternador, cujo conhecimento é importante para o dimensionamento dos disjuntores de protecção do alternador e toda a carga a jusante.

Dinâmica de sistemas dissipativos e não-autónomos com uma coordenada angular

Estudamos a dinâmica de sistemas não-autónomos periódicos que têm como espaço de fases o cilindro. Sempre que o sistema for dissipativo a aplicação de Poincaré tem um atractor. Procuramos condições para que este atractor seja ou não homeomorfo ao círculo. Motivados pelos resultados obtidos por M. Levi e independentemente por Q. Min, S. Xian e Z. Jinyan estudamos aplicações à equação do pêndulo forçado com atrito. Encontramos relações com a trabalho de R. A. Smith que utilizamos no estudo de sistemas de osciladores acoplados e equações ordinárias de ordem n.