Comparação entre o pencil beam convolution algorithm e o analytical anisotropic algorithm em tumores de mama

Objectivo do estudo: comparar o desempenho dos algoritmos Pencil Beam Convolution (PBC) e do Analytical Anisotropic Algorithm (AAA) no planeamento do tratamento de tumores de mama com radioterapia conformacional a 3D.

Reconhecimento de língua gestual

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Informática e Computadores

Many-core approach to 2D-DCT calculation using an FPGA

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia de Electrónica e Telecomunicações

Estudo dos sistema de automação da protecção diferencial de linha e comparação direccional

O tema do sistema de automação da protecção diferencial de linha e comparação direccional é merecedor de uma nova abordagem devido às recentes inovações tecnológicas ocorridas desde o aparecimento dos relés digitais e à consequente comunicação entre os sistemas de protecção, em particular na comunicação entre protecções diferenciais de linha. A protecção diferencial de linha apresenta claras vantagens face às protecções actualmente utilizadas para a protecção de linhas de transmissão e distribuição, tais como, Protecção de Máximo Intensidade de Fase, Máximo Intensidade Homopolar Direccionale Protecção de Distância. Contudo, existem alguns problemas associados a este tipo de protecções, nomeadamente na comunicação entre relés. Para automação e comunicação de protecções diferenciais de linhas de transmissão, no caso da ocorrência de defeitos na zona protegida pelo sistema de protecção diferencial foi empregue um método inovador para este tipo de sistema. Uma vez que a eficácia da actuação das protecções diferenciais depende do rigor das variáveis que são necessárias enviar entre protecções que se encontram localizadas em subestações distintas, recorreu-se à utilização de um automatismo para comunicação entre relés suportado pelo desenvolvimento de novos algoritmos para detectar quase instantaneamente um defeito em qualquer zona de protecção de uma linha de transmissão. Estes algoritmos são baseados na Transformada de Park, pelo que, é introduzido um novo conceito neste tipo de protecções. Através destes algoritmos é possível atenuar os problemas associados à protecção diferencial de linha. No sentido de verificar a aplicabilidade destes algoritmos à protecção diferencial de linha são apresentados diversos casos de estudo. Através dos resultados obtidos também foi possível verificar as vantagens associadas à utilização dos algoritmos propostos.

Sistema de visão para aterragem automática de UAV

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

Automação industrial. Uma perspetiva de terreno!

De que é que falamos quando nos referimos a AUTOMAÇÃO? - Estamos no âmbito da engenharia eletrotécnica, da mecânica, da eletrónica, da programação, das comunicações, da instrumentação, da pneumática, ….? Na realidade referimo-nos a um pouco disto tudo - a automação será possivelmente a área de engenharia mais pluridisciplinar e integradora de tecnologia. Quererá isto dizer que se trata de uma atividade de Engenharia complexa e densa? - Sim e não! - Vejamos; é vasta e densa porque o seu exercício obriga ao conhecimento de um alargado e diversificado leque de tecnologias mas, a sua base teórica, ou se quisermos os seus “algoritmos”, são bastante simples; baseiam-se em lógica e em sequências temporais. Que competências serão então necessárias para se exercer Automação? - Um conhecimento transversal de engenharia, com particular foco na Engenharia Eletrotécnica e uma boa experiência de terreno. Partindo desta constatação este artigo tem a intenção de abordar a automação de um ponto de vista eminentemente prático e aplicado.

Aplicação de motores síncronos de ímanes permanentes e motores de indução em veículos elétricos: comparação e perspetivas de evolução

Os sistemas de propulsão baseados em motores síncronos de ímanes permanentes (MSIP) têm sido considerados como a opção mais promissora para os veículos híbridos (VH) e elétricos (VE). A situação atual relativa às reservas e custos dos elementos de terras-raras poderá trazer algumas alterações nesta tendência; a opção por motores que prescindem destes elementos poderá trazer um novo estímulo à aplicação dos motores de indução neste domínio. Este artigo procura apresentar uma análise comparativa entre MSIP e motores de indução (MI) num espectro alargado de velocidades de funcionamento, com especial destaque para os seus desempenhos energéticos. Começa-se por abordar as características gerais de comportamento exigidas aos VE, que definem os múltiplos cenários de funcionamento que poderão ser impostos aos motores. Em seguida, são focadas as principais características de ambas as máquinas, procurando realçar as vantagens e desvantagens mais relevantes, no contexto dos VE. Com base nos regimes de funcionamento a que serão submetidos, analisam-se as diferenças dos rendimentos naturais de ambos os motores. Para os MI é também abordado o importante tema dos algoritmos de minimização de perdas, com vista ao aumento dos rendimentos em regimes de carga onde o desempenho destas máquinas é inferior.

Relatório de estágio

I - As minhas expectativas eram elevadas pois este regresso à Escola Superior de Música de Lisboa permitia-me voltar a trabalhar com os professores que me formaram como músico e professor e com eles poder actualizar-me sobre vários temas ligados à pedagogia. Este aspecto é muito importante pois chego à conclusão que o tempo por vezes provoca-nos excesso de confiança que parece “cegar-nos” não nos deixando ver erros pedagógicos muitas vezes evitáveis. Quando ingressei neste estágio sentia-me confiante e seguro quanto às minhas capacidades como professor. O momento de viragem na minha perspectiva do estágio dá-se quando surgem as observações/gravações e respectivas análises e reflexões das aulas. Procurei trabalhar nessas aulas da forma mais natural possível pois o meu objectivo era observar o meu trabalho diário. A primeira observação das aulas permitiu-me anotar algumas coisas menos boas. Contudo, quando essa observação foi feita com o professor de didática os aspectos menos positivos ganharam uma enorme proporção: (1) falhas ao nível da instrução: demasiado longo, (2) feedback de pouca qualidade ou eficácia , (3) pouca percentagem de alunos que atingiam os objectivos., (4) ritmo de aula por vezes baixo devido a períodos longos de instrução ou devido a uma má gestão do espaço. Todos estes problemas eram mais visíveis quando as turmas eram maiores. Ao longo do estágio, e após a detecção destas falhas, fui procurando evitar estas práticas em todas as turmas onde leccionava. Senti que o ritmo de aula aumentou substancialmente não apenas à custa da energia do professor e de boas estratégias mas porque sobretudo se “falava menos e trabalhava-se mais”. Os erros dos alunos passaram a ser corrigos enquanto trabalhavam (feedback corretivo próximo do momento positivo ou negativo), o feedback positivo passou a ser mais destacado, a disposição da sala alterou-se de forma aos alunos estarem mais perto do professor, e este procurou ser menos “criativo” no momento de alterar o plano de aula devido a ideias momentâneas o que provocou mais tempo para cada estratégia e para que mais alunos fossem atingindo os objectivos. Apesar da evolução no sentido de proporcionar aos alunos aulas mais rentáveis e de ainda melhor qualidade, existe a consciência que alguns dos erros cometidos eram hábitos e como tal poderão levar algum tempo a ser corrigidos. Contudo, existe a consciência e a vontade em debelá-los da minha prática docente.

Controlo fotogramétrico da condição de estruturas quebra-mar

Dissertação de natureza Científica para obtenção do grau de Mestre em Engenharia Civil

Controlo e optimização de sistemas AVAC recorrendo a técnicas de inteligência artificial

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

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.

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.

Experimental design methodologies for the identification of Michaelis-Menten type kinetics

The main objective of this work was to investigate the application of experimental design techniques for the identification of Michaelis-Menten kinetic parameters. More specifically, this study attempts to elucidate the relative advantages/disadvantages of employing complex experimental design techniques in relation to equidistant sampling when applied to different reactor operation modes. All studies were supported by simulation data of a generic enzymatic process that obeys to the Michaelis-Menten kinetic equation. Different aspects were investigated, such as the influence of the reactor operation mode (batch, fed-batch with pulse wise feeding and fed-batch with continuous feeding) and the experimental design optimality criteria on the effectiveness of kinetic parameters identification. The following experimental design optimality criteria were investigated: 1) minimization of the sum of the diagonal of the Fisher information matrix (FIM) inverse (A-criterion), 2) maximization of the determinant of the FIM (D-criterion), 3) maximization of the smallest eigenvalue of the FIM (E-criterion) and 4) minimization of the quotient between the largest and the smallest eigenvalue (modified E-criterion). The comparison and assessment of the different methodologies was made on the basis of the Cramér-Rao lower bounds (CRLB) error in respect to the parameters vmax and Km of the Michaelis-Menten kinetic equation. In what concerns the reactor operation mode, it was concluded that fed-batch (pulses) is better than batch operation for parameter identification. When the former operation mode is adopted, the vmax CRLB error is lowered by 18.6 % while the Km CRLB error is lowered by 26.4 % when compared to the batch operation mode. Regarding the optimality criteria, the best method was the A-criterion, with an average vmax CRLB of 6.34 % and 5.27 %, for batch and fed-batch (pulses), respectively, while presenting a Km’s CRLB of 25.1 % and 18.1 %, for batch and fed-batch (pulses), respectively. As a general conclusion of the present study, it can be stated that experimental design is justified if the starting parameters CRLB errors are inferior to 19.5 % (vmax) and 45% (Km), for batch processes, and inferior to 42 % and to 50% for fed-batch (pulses) process. Otherwise equidistant sampling is a more rational decision. This conclusion clearly supports that, for fed-batch operation, the use of experimental design is likely to largely improve the identification of Michaelis-Menten kinetic parameters.

Adaptação cultural da versão brasileira do Godin-Shephard Leisure-Time Physical Activity Questionnaire

OBJETIVO: Realizar adaptação cultural para versão brasileira do questionário de atividade física no tempo de lazer e avaliar a validade de conteúdo, praticabilidade, aceitabilidade e confiabilidade.MÉTODOS: Foram realizadas as etapas de tradução, síntese, retrotradução, avaliação por comitê de especialistas e pré-teste, seguidos pela avaliação da praticabilidade, aceitabilidade e confiabilidade (teste-reteste). Os juízes avaliaram as equivalências semântico-idiomática, conceitual, cultural e metabólica. A versão adaptada foi submetida ao pré-teste (n = 20) e teste-reteste (n = 80) em indivíduos saudáveis e pacientes com doenças cardiovasculares, em Limeira, SP, entre 2010 e 2011. A proporção de concordância do comitê de juízes foi quantificada por meio do Índice de Validade de Conteúdo. A confiabilidade foi avaliada segundo critério de estabilidade, com intervalo de 15 dias entre as aplicações, a praticabilidade pelo tempo gasto na entrevista e a aceitabilidade pelo percentual de itens não respondidos e proporção de pacientes que responderam a todos os itens.RESULTADOS: A versão traduzida do questionário apresentou equivalências semântico-idiomática, conceitual, cultural e metabólica adequadas, com substituição de algumas atividades físicas mais adequadas para a população brasileira. A análise da praticabilidade evidenciou curto tempo de aplicação do instrumento (média de 3,0 min). Quanto à aceitabilidade, todos os pacientes responderam a 100% dos itens. A análise do teste-reteste sugeriu estabilidade temporal do instrumento (Índice de Correlação Intraclasse = 0,84).CONCLUSÕES: A versão brasileira do questionário apresentou propriedades de medida satisfatórias. Recomenda-se sua aplicação a populações diversas em estudos futuros, a fim de disponibilizar propriedades de medida robustas.

Segurança contra intrusão habitação

O crescente aumento da criminalidade, com especial incidência nos crimes contra a propriedade, levou a um forte incremento na procura e instalação de Sistemas Automáticos de Detecção de Intrusão (SADI). A instalação de um SADI não pode ser analisada numa perspectiva exclusivamente monetária, ignorando-se uma série de outros aspectos, como por exemplo, o facto de, aquando de um assalto, além do roubo e/ou vandalismo de bens de elevado valor comercial, poder ocorrer também o roubo e/ou vandalismo de bens de baixo valor comercial, mas de elevado valor sentimental, além de que podem também ocorrer danos físicos e/ou psicológicos nos ocupantes das instalações. A instalação de um SADI torna-se, assim, fundamental como elemento de garantia do bem-estar e da segurança das pessoas, velando pela sua salvaguarda e pela salvaguarda dos seus bens, fazendo hoje (quase), obrigatoriamente, parte dos sistemas aplicados no sector da habitação, serviços, comércio e indústria. A instalação de sistemas automáticos de detecção de intrusão tornou-se, deste modo, hoje em dia, uma necessidade e um facto generalizado, em todos os sectores de actividade, desde o comércio, serviços, industria até á habitação, motivado, por um lado, pela necessidade de proceder à protecção de pessoas e bens, mas também, pela confiabilidade e baixo preço destes sistemas.