Completion problems for real matrices, II

Thirty years ago, G.N. de Oliveira has proposed the following completion problems: Describe the possible characteristic polynomials of [C-ij], i,j is an element of {1, 2}, where C-1,C-1 and C-2,C-2 are square submatrices, when some of the blocks C-ij are fixed and the others vary. Several of these problems remain unsolved. This paper gives the solution, over the field of real numbers, of Oliveira's problem where the blocks C-1,C-1, C-2,C-2 are fixed and the others vary.

Reward-risk efficiency in proportional reinsurance with different risk measures

We have studied, in particular under normality of the implied random variables, the connections between different measures of risk such as the standard deviation, the W-ruin probability and the p-V@R. We discuss conditions granting the equivalence of these measures with respect to risk preference relations and the equivalence of dominance and efficiency of risk-reward criteria involving these measures. Then more specifically we applied these concepts to rigorously face the problem of finding the efficient set of de Finetti’s variable quota share proportional reinsurance.

: SiC Multilayer Photonic Structures with Self Optical Bias Amplification

Characteristics of tunable wavelength pi'n/pin filters based on a-SiC:H multilayered stacked cells are studied both experimental and theoretically. Results show that the device combines the demultiplexing operation with the simultaneous photodetection and self amplification of the signal. An algorithm to decode the multiplex signal is established. A capacitive active band-pass filter model is presented and supported by an electrical simulation of the state variable filter circuit. Experimental and simulated results show that the device acts as a state variable filter. It combines the properties of active high-pass and low-pass filter sections into a capacitive active band-pass filter using a changing photo capacitance to control the power delivered to the load.

Aplicação de dispositivos analógicos reconfiguráveis

Mestrado em Engenharia Electrotécnica e de Computadores

Robôs quadrúpedes: geração de trajectórias em tempo real usando sistemas dinâmicos não-lineares

A geração de trajectórias de robôs em tempo real é uma tarefa muito complexa, não existindo ainda um algoritmo que a permita resolver de forma eficaz. De facto, há controladores eficientes para trajectórias previamente definidas, todavia, a adaptação a variações imprevisíveis, como sendo terrenos irregulares ou obstáculos, constitui ainda um problema em aberto na geração de trajectórias em tempo real de robôs. Neste trabalho apresentam-se modelos de geradores centrais de padrões de locomoção (CPGs), inspirados na biologia, que geram os ritmos locomotores num robô quadrúpede. Os CPGs são modelados matematicamente por sistemas acoplados de células (ou neurónios), sendo a dinâmica de cada célula dada por um sistema de equações diferenciais ordinárias não lineares. Assume-se que as trajectórias dos robôs são constituídas por esta parte rítmica e por uma parte discreta. A parte discreta pode ser embebida na parte rítmica, (a.1) como um offset ou (a.2) adicionada às expressões rítmicas, ou (b) pode ser calculada independentemente e adicionada exactamente antes do envio dos sinais para as articulações do robô. A parte discreta permite inserir no passo locomotor uma perturbação, que poderá estar associada à locomoção em terrenos irregulares ou à existência de obstáculos na trajectória do robô. Para se proceder á análise do sistema com parte discreta, será variado o parâmetro g. O parâmetro g, presente nas equações da parte discreta, representa o offset do sinal após a inclusão da parte discreta. Revê-se a teoria de bifurcação e simetria que permite a classificação das soluções periódicas produzidas pelos modelos de CPGs com passos locomotores quadrúpedes. Nas simulações numéricas, usam-se as equações de Morris-Lecar e o oscilador de Hopf como modelos da dinâmica interna de cada célula para a parte rítmica. A parte discreta é modelada por um sistema inspirado no modelo VITE. Medem-se a amplitude e a frequência de dois passos locomotores para variação do parâmetro g, no intervalo [-5;5]. Consideram-se duas formas distintas de incluir a parte discreta na parte rítmica: (a) como um (a.1) offset ou (a.2) somada nas expressões que modelam a parte rítmica, e (b) somada ao sinal da parte rítmica antes de ser enviado às articulações do robô. No caso (a.1), considerando o oscilador de Hopf como dinâmica interna das células, verifica-se que a amplitude e frequência se mantêm constantes para -50.2. A extensão do movimento varia de forma directamente proporcional à amplitude. No caso das equações de Morris-Lecar, quando a componente discreta é embebida (a.2), a amplitude e a frequência aumentam e depois diminuem para - 0.170.5 Pode concluir-se que: (1) a melhor forma de inserção da parte discreta que menos perturbação insere no robô é a inserção como offset; (2) a inserção da parte discreta parece ser independente do sistema de equações diferenciais ordinárias que modelam a dinâmica interna de cada célula. Como trabalho futuro, é importante prosseguir o estudo das diferentes formas de inserção da parte discreta na parte rítmica do movimento, para que se possa gerar uma locomoção quadrúpede, robusta, flexível, com objectivos, em terrenos irregulares, modelada por correcções discretas aos padrões rítmicos.

Desenvolvendo o pensamento algébrico no 2.º ciclo do ensino básico: o sentido dos símbolos e da generalização

Dissertação apresentada à Escola Superior de Educação de Lisboa para obtenção do grau de mestre em Educação Matemática na Educação Pré-escolar e nos 1.º e 2.º Ciclos do Ensino Básico

Reabilitação de um imóvel industrial em Marvila: projeto de investimento

Trabalho de Projeto para obtenção do grau de Mestre em Engenharia Civil

Light-activated amplification in SiC Tandem devices: A capacitive active filter model

Characteristics of tunable wavelength pi'n/pin filters based on a-SiC:H multilayered stacked cells are studied both experimentally and theoretically. Results show that the device combines the demultiplexing operation with the simultaneous photodetection and self amplification of the signal. An algorithm to decode the multiplex signal is established. A capacitive active band-pass filter model is presented and supported by an electrical simulation of the state variable filter circuit. Experimental and simulated results show that the device acts as a state variable filter. It combines the properties of active high-pass and low-pass filter sections into a capacitive active band-pass filter using a changing capacitance to control the power delivered to the load.

Simulação da qualidade da água em parte de ao Grande Porto

Este trabalho tem como objetivo a modelação hidráulica e de qualidade de água de parte de uma rede de distribuição a alta pressão do grande Porto. Após calibração de um modelo utilizado no software EPANet foi possível simular o decaimento do cloro livre num troço da rede de abastecimento. Foi ainda possível concluir que os valores dos parâmetros característicos do modelo de qualidade são uma constante de decaimento no seio do fluido de 1,78 dia-1 (0,001239 min-1) a cerca de 22 ºC e, no ramal 6244-6245 Ramalde – Cabanas – Pedrouços, uma constante de decaimento na parede da tubagem de forma generalizada de 0,28 m/dia. Não foi possível obter conclusões sobre a adutora 6261 Jovim-Nova Sintra 2, ficando explícita a necessidade de um maior controlo sobre a variável temperatura.

Levantamento elétrico e análise de equipamento para acabamento térmico e químico de telas para pneus

Esta dissertação surge da necessidade da empresa Continental - Indústria Têxtil do Ave S.A. – grupo Continental Mabor atualizar os esquemas elétricos de uma máquina para acabamento térmico e químico de telas para pneus. Esta máquina (Zell) é crucial no seu processo produtivo e foi ao longo dos anos sofrendo sucessivas atualizações no sentido de melhorar o seu processo de produção. Existiam já, esquemas elétricos da máquina realizados em EPLAN no entanto não foram acompanhando as sucessivas alterações sofridas pela mesma. Deste modo, torna-se assim necessário não só produzir um suporte digital desses mesmos esquemas como também proceder à sua atualização. Ao longo desta dissertação o leitor pode obter informações relativas à Zell e ao processo de análise, estudo e documentação dos seus quadros elétricos em software EPLAN Electric P8. São ainda abordadas técnicas de leitura e desenho em EPLAN e descritas algumas das funcionalidade que este permite. É abordada a base de dados criada com informações relativas à máquina tais como características dos seus motores, variadores de frequência e localização dos quadros elétricos ao longo dos pisos que a compõe. No âmbito desta dissertação foi redigido o “Manual da Máquina de Impregnar Zell” e neste relatório abordam-se os principais tópicos que o compõe. Com a atualização dos esquemas tornou-se necessário proceder à identificação de diversos componentes na máquina. Esse processo de identificação é também aqui retratado. O leitor pode por fim obter informações de como realizar um processo de troca de variadores de frequência da marca ABB de diferentes gamas tendo em consideração as ligações em causa para o fazer. Pretende-se assim que o leitor fique com uma noção geral das diferentes vertentes que foram abordadas neste trabalho realizado sob a forma de um estágio com duração de seis meses no seio desta indústria.

Retificador trifásico controlado com fator de potência quase unitário

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

Metodologia das opções reais na avaliação de investimentos produtivos: aplicação de um modelo de uma variável estocástica

Os critérios neoclássicos de investimento ignoram três características fundamentais, presentes na grande maioria dos projetos de investimento produtivos, sendo elas a Flexibilidade, a Incerteza e a Irreversibilidade. Face a essas características, a abordagem das Opções Reais parece ser a única abordagem competente quando comparada com critérios como Payback, Taxa Interna de Rendibilidade ou Valor Atual Líquido. Com vista a confirmar estas afirmações, aplica-se a uma situação simulada o modelo de uma variável estocástica, que segue um processo estocástico, mais concretamente um Geometric Brownian Motion com drift, apresentado por Dixit e Pindyck (1994), modelo este que a par dos modelos de duas variáveis estocásticas, como são exemplos os desenvolvidos por McDonald e Siegel (1986) e Adkins e Paxson (2011), constituem aquele que é, tanto quanto sabemos, o “estado da arte” da temática. Com base nesta aplicação recolhemos evidências de que, de facto, através da consideração de oportunidades de investimento perspetivadas em Opções Reais diminuímos a probabilidade de incorrer em decisões de investimento que não são, de acordo com este critério, ótimas para maximizar o valor do projeto em questão.

O financiamento nas cooperativas

As cooperativas, enquanto entidades pertencentes ao setor da economia social, são organizações com características próprias e distintas das sociedades comerciais, destacando-se o seu escopo mutualístico e o caráter variável do seu capital social, por confronto com o escopo lucrativo e o princípio da conservação do capital social que caraterizam as sociedades. Estas especificidades das cooperativas condicionam a obtenção de meios de financiamento por parte destas. Em virtude do seu caráter variável, o capital social não representa uma garantia para os credores, pelo que serão as reservas, designadamente as reservas obrigatórias, que se apresentarão como o recurso financeiro de melhor qualidade na cooperativa. Nas cooperativas são identificáveis outros instrumentos financeiros, tais como: títulos de investimento e obrigações, os resultados provenientes das operações com terceiros, que são obrigatoriamente afetados a reservas irrepartíveis, os excedentes, os membros investidores, subsídios e benefícios fiscais. Para além da identificação das principais fontes de financiamento, foi ainda objeto de estudo repensar os instrumentos existentes e, eventualmente, a criação de novos instrumentos de financiamento nas cooperativas. Em termos metodológicos, a opção recaiu na conjugação de dois métodos: quantitativo e qualitativo. A técnica da investigação quantitativa selecionada para a recolha de dados, foi a base de dados, e para a investigação qualitativa as técnicas escolhidas foram a análise de conteúdo, a entrevista e o registo áudio. Os resultados da investigação confirmam a indispensabilidade de criação de novos instrumentos de financiamento para as cooperativas. Constatou-se a necessidade de modelos de financiamento que se adaptem à finalidade mutualista da cooperativa. Demonstrou-se que a principal fonte de financiamento são os recursos internos, sob forma de reservas.

Numerical methods and tangible interfaces for pollutant dispersion simulation

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia do Ambiente, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Constraint reasoning with local search for continuous optimization

Optimization is a very important field for getting the best possible value for the optimization function. Continuous optimization is optimization over real intervals. There are many global and local search techniques. Global search techniques try to get the global optima of the optimization problem. However, local search techniques are used more since they try to find a local minimal solution within an area of the search space. In Continuous Constraint Satisfaction Problems (CCSP)s, constraints are viewed as relations between variables, and the computations are supported by interval analysis. The continuous constraint programming framework provides branch-and-prune algorithms for covering sets of solutions for the constraints with sets of interval boxes which are the Cartesian product of intervals. These algorithms begin with an initial crude cover of the feasible space (the Cartesian product of the initial variable domains) which is recursively refined by interleaving pruning and branching steps until a stopping criterion is satisfied. In this work, we try to find a convenient way to use the advantages in CCSP branchand- prune with local search of global optimization applied locally over each pruned branch of the CCSP. We apply local search techniques of continuous optimization over the pruned boxes outputted by the CCSP techniques. We mainly use steepest descent technique with different characteristics such as penalty calculation and step length. We implement two main different local search algorithms. We use “Procure”, which is a constraint reasoning and global optimization framework, to implement our techniques, then we produce and introduce our results over a set of benchmarks.