Manuel Rodrigues Coelho "Flores de Música" - problemas de interpretação

Este trabalho de investigação relaciona os aspectos de interpretação referidos no prefácio das Flores de Música com os tratados do séc. XVI e XVII existentes na Península Ibérica, e cujo enquadramento possibilitou a Manuel Rodrigues Coelho ser tão sucinto no seu prólogo, conciliando duas vertentes em simultâneo: a investigação histórica e a aplicação prática de modo a constituir uma base de orientação e fundamentar histórica e estilisticamente os modelos de interpretação desta obra.

Development of numerical methodologies for parameter identification and shape optimization in metal forming simulations

Por parte da indústria de estampagem tem-se verificado um interesse crescente em simulações numéricas de processos de conformação de chapa, incluindo também métodos de engenharia inversa. Este facto ocorre principalmente porque as técnicas de tentativa-erro, muito usadas no passado, não são mais competitivas a nível económico. O uso de códigos de simulação é, atualmente, uma prática corrente em ambiente industrial, pois os resultados tipicamente obtidos através de códigos com base no Método dos Elementos Finitos (MEF) são bem aceites pelas comunidades industriais e científicas Na tentativa de obter campos de tensão e de deformação precisos, uma análise eficiente com o MEF necessita de dados de entrada corretos, como geometrias, malhas, leis de comportamento não-lineares, carregamentos, leis de atrito, etc.. Com o objetivo de ultrapassar estas dificuldades podem ser considerados os problemas inversos. No trabalho apresentado, os seguintes problemas inversos, em Mecânica computacional, são apresentados e analisados: (i) problemas de identificação de parâmetros, que se referem à determinação de parâmetros de entrada que serão posteriormente usados em modelos constitutivos nas simulações numéricas e (ii) problemas de definição geométrica inicial de chapas e ferramentas, nos quais o objetivo é determinar a forma inicial de uma chapa ou de uma ferramenta tendo em vista a obtenção de uma determinada geometria após um processo de conformação. São introduzidas e implementadas novas estratégias de otimização, as quais conduzem a parâmetros de modelos constitutivos mais precisos. O objetivo destas estratégias é tirar vantagem das potencialidades de cada algoritmo e melhorar a eficiência geral dos métodos clássicos de otimização, os quais são baseados em processos de apenas um estágio. Algoritmos determinísticos, algoritmos inspirados em processos evolucionários ou mesmo a combinação destes dois são usados nas estratégias propostas. Estratégias de cascata, paralelas e híbridas são apresentadas em detalhe, sendo que as estratégias híbridas consistem na combinação de estratégias em cascata e paralelas. São apresentados e analisados dois métodos distintos para a avaliação da função objetivo em processos de identificação de parâmetros. Os métodos considerados são uma análise com um ponto único ou uma análise com elementos finitos. A avaliação com base num único ponto caracteriza uma quantidade infinitesimal de material sujeito a uma determinada história de deformação. Por outro lado, na análise através de elementos finitos, o modelo constitutivo é implementado e considerado para cada ponto de integração. Problemas inversos são apresentados e descritos, como por exemplo, a definição geométrica de chapas e ferramentas. Considerando o caso da otimização da forma inicial de uma chapa metálica a definição da forma inicial de uma chapa para a conformação de um elemento de cárter é considerado como problema em estudo. Ainda neste âmbito, um estudo sobre a influência da definição geométrica inicial da chapa no processo de otimização é efetuado. Este estudo é realizado considerando a formulação de NURBS na definição da face superior da chapa metálica, face cuja geometria será alterada durante o processo de conformação plástica. No caso dos processos de otimização de ferramentas, um processo de forjamento a dois estágios é apresentado. Com o objetivo de obter um cilindro perfeito após o forjamento, dois métodos distintos são considerados. No primeiro, a forma inicial do cilindro é otimizada e no outro a forma da ferramenta do primeiro estágio de conformação é otimizada. Para parametrizar a superfície livre do cilindro são utilizados diferentes métodos. Para a definição da ferramenta são também utilizados diferentes parametrizações. As estratégias de otimização propostas neste trabalho resolvem eficientemente problemas de otimização para a indústria de conformação metálica.

Polyhedral study of mixed integer sets arising from inventory problems

“Branch-and-cut” algorithm is one of the most efficient exact approaches to solve mixed integer programs. This algorithm combines the advantages of a pure branch-and-bound approach and cutting planes scheme. Branch-and-cut algorithm computes the linear programming relaxation of the problem at each node of the search tree which is improved by the use of cuts, i.e. by the inclusion of valid inequalities. It should be taken into account that selection of strongest cuts is crucial for their effective use in branch-and-cut algorithm. In this thesis, we focus on the derivation and use of cutting planes to solve general mixed integer problems, and in particular inventory problems combined with other problems such as distribution, supplier selection, vehicle routing, etc. In order to achieve this goal, we first consider substructures (relaxations) of such problems which are obtained by the coherent loss of information. The polyhedral structure of those simpler mixed integer sets is studied to derive strong valid inequalities. Finally those strong inequalities are included in the cutting plane algorithms to solve the general mixed integer problems. We study three mixed integer sets in this dissertation. The first two mixed integer sets arise as a subproblem of the lot-sizing with supplier selection, the network design and the vendor-managed inventory routing problems. These sets are variants of the well-known single node fixed-charge network set where a binary or integer variable is associated with the node. The third set occurs as a subproblem of mixed integer sets where incompatibility between binary variables is considered. We generate families of valid inequalities for those sets, identify classes of facet-defining inequalities, and discuss the separation problems associated with the inequalities. Then cutting plane frameworks are implemented to solve some mixed integer programs. Preliminary computational experiments are presented in this direction.

On the application of optimal control techniques in lossy fieldbuses

The performance of real-time networks is under continuous improvement as a result of several trends in the digital world. However, these tendencies not only cause improvements, but also exacerbates a series of unideal aspects of real-time networks such as communication latency, jitter of the latency and packet drop rate. This Thesis focuses on the communication errors that appear on such realtime networks, from the point-of-view of automatic control. Specifically, it investigates the effects of packet drops in automatic control over fieldbuses, as well as the architectures and optimal techniques for their compensation. Firstly, a new approach to address the problems that rise in virtue of such packet drops, is proposed. This novel approach is based on the simultaneous transmission of several values in a single message. Such messages can be from sensor to controller, in which case they are comprised of several past sensor readings, or from controller to actuator in which case they are comprised of estimates of several future control values. A series of tests reveal the advantages of this approach. The above-explained approach is then expanded as to accommodate the techniques of contemporary optimal control. However, unlike the aforementioned approach, that deliberately does not send certain messages in order to make a more efficient use of network resources; in the second case, the techniques are used to reduce the effects of packet losses. After these two approaches that are based on data aggregation, it is also studied the optimal control in packet dropping fieldbuses, using generalized actuator output functions. This study ends with the development of a new optimal controller, as well as the function, among the generalized functions that dictate the actuator’s behaviour in the absence of a new control message, that leads to the optimal performance. The Thesis also presents a different line of research, related with the output oscillations that take place as a consequence of the use of classic co-design techniques of networked control. The proposed algorithm has the goal of allowing the execution of such classical co-design algorithms without causing an output oscillation that increases the value of the cost function. Such increases may, under certain circumstances, negate the advantages of the application of the classical co-design techniques. A yet another line of research, investigated algorithms, more efficient than contemporary ones, to generate task execution sequences that guarantee that at least a given number of activated jobs will be executed out of every set composed by a predetermined number of contiguous activations. This algorithm may, in the future, be applied to the generation of message transmission patterns in the above-mentioned techniques for the efficient use of network resources. The proposed task generation algorithm is better than its predecessors in the sense that it is capable of scheduling systems that cannot be scheduled by its predecessor algorithms. The Thesis also presents a mechanism that allows to perform multi-path routing in wireless sensor networks, while ensuring that no value will be counted in duplicate. Thereby, this technique improves the performance of wireless sensor networks, rendering them more suitable for control applications. As mentioned before, this Thesis is centered around techniques for the improvement of performance of distributed control systems in which several elements are connected through a fieldbus that may be subject to packet drops. The first three approaches are directly related to this topic, with the first two approaching the problem from an architectural standpoint, whereas the third one does so from more theoretical grounds. The fourth approach ensures that the approaches to this and similar problems that can be found in the literature that try to achieve goals similar to objectives of this Thesis, can do so without causing other problems that may invalidate the solutions in question. Then, the thesis presents an approach to the problem dealt with in it, which is centered in the efficient generation of the transmission patterns that are used in the aforementioned approaches.

Modelos autoregressivos por limiares em séries de contagem

A modelação e análise de séries temporais de valores inteiros têm sido alvo de grande investigação e desenvolvimento nos últimos anos, com aplicações várias em diversas áreas da ciência. Nesta tese a atenção centrar-se-á no estudo na classe de modelos basedos no operador thinning binomial. Tendo como base o operador thinning binomial, esta tese focou-se na construção e estudo de modelos SETINAR(2; p(1); p(2)) e PSETINAR(2; 1; 1)T , modelos autorregressivos de valores inteiros com limiares autoinduzidos e dois regimes, admitindo que as inovações formam uma sucessão de variáveis independentes com distribuição de Poisson. Relativamente ao primeiro modelo analisado, o modelo SETINAR(2; p(1); p(2)), além do estudo das suas propriedades probabilísticas e de métodos, clássicos e bayesianos, para estimar os parâmetros, analisou-se a questão da seleção das ordens, no caso de elas serem desconhecidas. Com este objetivo consideraram-se algoritmos de Monte Carlo via cadeias de Markov, em particular o algoritmo Reversible Jump, abordando-se também o problema da seleção de modelos, usando metodologias clássica e bayesiana. Complementou-se a análise através de um estudo de simulação e uma aplicação a dois conjuntos de dados reais. O modelo PSETINAR(2; 1; 1)T proposto, é também um modelo autorregressivo com limiares autoinduzidos e dois regimes, de ordem unitária em cada um deles, mas apresentando uma estrutura periódica. Estudaram-se as suas propriedades probabilísticas, analisaram-se os problemas de inferência e predição de futuras observações e realizaram-se estudos de simulação.

Algoritmos inteligentes de baixa complexidade

A domótica é uma área com grande interesse e margem de exploração, que pretende alcançar a gestão automática e autónoma de recursos habitacionais, proporcionando um maior conforto aos utilizadores. Para além disso, cada vez mais se procuram incluir benefícios económicos e ambientais neste conceito, por forma a garantir um futuro sustentável. O aquecimento de água (por meios elétricos) é um dos fatores que mais contribui para o consumo de energia total de uma residência. Neste enquadramento surge o tema “algoritmos inteligentes de baixa complexidade”, com origem numa parceria entre o Departamento de Eletrónica, Telecomunicações e Informática (DETI) da Universidade de Aveiro e a Bosch Termotecnologia SA, que visa o desenvolvimento de algoritmos ditos “inteligentes”, isto é, com alguma capacidade de aprendizagem e funcionamento autónomo. Os algoritmos devem ser adaptados a unidades de processamento de 8 bits para equipar pequenos aparelhos domésticos, mais propriamente tanques de aquecimento elétrico de água. Uma porção do desafio está, por isso, relacionada com as restrições computacionais de microcontroladores de 8 bits. No caso específico deste trabalho, foi determinada a existência de sensores de temperatura da água no tanque como a única fonte de informação externa aos algoritmos, juntamente com parâmetros pré-definidos pelo utilizador que estabelecem os limiares de temperatura máxima e mínima da água. Partindo deste princípio, os algoritmos desenvolvidos baseiam-se no perfil de consumo de água quente, observado ao longo de cada semana, para tentar prever futuras tiragens de água e, consequentemente, agir de forma adequada, adiantando ou adiando o aquecimento da água do tanque. O objetivo é alcançar uma gestão vantajosa entre a economia de energia e o conforto do utilizador (água quente), isto sem que exista necessidade de intervenção direta por parte do utilizador final. A solução prevista inclui também o desenvolvimento de um simulador que permite observar, avaliar e comparar o desempenho dos algoritmos desenvolvidos.

Novel hardware and software combination for automotive motorsport vehicles based on direct processing of graphical functions

The main motivation for the work presented here began with previously conducted experiments with a programming concept at the time named "Macro". These experiments led to the conviction that it would be possible to build a system of engine control from scratch, which could eliminate many of the current problems of engine management systems in a direct and intrinsic way. It was also hoped that it would minimize the full range of software and hardware needed to make a final and fully functional system. Initially, this paper proposes to make a comprehensive survey of the state of the art in the specific area of software and corresponding hardware of automotive tools and automotive ECUs. Problems arising from such software will be identified, and it will be clear that practically all of these problems stem directly or indirectly from the fact that we continue to make comprehensive use of extremely long and complex "tool chains". Similarly, in the hardware, it will be argued that the problems stem from the extreme complexity and inter-dependency inside processor architectures. The conclusions are presented through an extensive list of "pitfalls" which will be thoroughly enumerated, identified and characterized. Solutions will also be proposed for the various current issues and for the implementation of these same solutions. All this final work will be part of a "proof-of-concept" system called "ECU2010". The central element of this system is the before mentioned "Macro" concept, which is an graphical block representing one of many operations required in a automotive system having arithmetic, logic, filtering, integration, multiplexing functions among others. The end result of the proposed work is a single tool, fully integrated, enabling the development and management of the entire system in one simple visual interface. Part of the presented result relies on a hardware platform fully adapted to the software, as well as enabling high flexibility and scalability in addition to using exactly the same technology for ECU, data logger and peripherals alike. Current systems rely on a mostly evolutionary path, only allowing online calibration of parameters, but never the online alteration of their own automotive functionality algorithms. By contrast, the system developed and described in this thesis had the advantage of following a "clean-slate" approach, whereby everything could be rethought globally. In the end, out of all the system characteristics, "LIVE-Prototyping" is the most relevant feature, allowing the adjustment of automotive algorithms (eg. Injection, ignition, lambda control, etc.) 100% online, keeping the engine constantly working, without ever having to stop or reboot to make such changes. This consequently eliminates any "turnaround delay" typically present in current automotive systems, thereby enhancing the efficiency and handling of such systems.

A matemática e o comércio em Portugal através das obras de aritméticos do século XVI: Gaspar Nicolas, Ruy Mendes e Bento Fernandes

Esta dissertação tem como objetivo a divulgação de temas e de algoritmos presentes nos tratados de aritmética prática do século XVI. Pretendemos delinear a atuação dos seus autores face aos desafios do mundo mercantil envolvente. Sendo o nosso «ator principal» Ruy Mendes, esta escolha deve-se a dois motivos: entre os três autores é aquele que tem sido menos mencionado e estudado; os interesses de Mendes parecem-nos mais distantes do mundo mercantil. Assim, no desenrolar deste estudo apresentaremos a Prática do ponto de vista da estrutura e organização, contemplando os seguintes pontos: uma Matemática básica; a Matemática pour elle Même; uma Matemática para o comércio. Neste último ponto incluiremos as regras locais do comércio português: a regra de quarto e vintena e a regra da conta de Flandres. Para cada assunto é realizado um estudo comparativo com os dois tratados da mesma época: o Tratado da Pratica d'Arismetica de Gaspar Nicolas e o Tratado da Arte d'Arismetica de Bento Fernandes. Apesar de se tratar de autores já referidos por alguns historiadores, consideramos que não foram ainda estudados do ponto de vista do interesse intrínseco presente no conhecimento histórico da Matemática, bem como na sua atuação relativamente à divulgação do cálculo aritmético e do seu contributo para o desenvolvimento da Matemática através de problemas práticos.

Curso colectivo: Estrategias retóricas. Despejar problemas

Se trata de hacer una lectura estratégica de pensadores contemporáneos (filósofos, teóricos literarios y retóricos) para mostrar cómo contribuyen a configurar una retórica contemporánea dedicada al estudio crítico de cuestiones actuales del discurso en su constitución y en sus efectos en las Humanidades. Cuestiones como la eficacia y la oportunidad del discurso, su apropiación y su potencial crítico. En la medida en que el discurso es aquello por lo que se lucha y no el instrumento para luchas exteriores a él, la importancia de los vocabularios y de las figuras para resistirse y criticar las formas de dominación resulta indudable. Las representaciones no son simples imágenes verídicas o engañosas de una realidad que le sería externa, poseen una energía propia que persuade y convence de que el mundo es en efecto lo que dicen que es y que constituye a los sujetos del discurso así como sus relaciones sociales. A esa energía la retórica le ha llamado desde siempre retoricidad o fuerza retórica de la lengua. Parte de esa fuerza retórica de la lengua radica en la capacidad que posee cierto vocabulario para producir conmociones políticas en las sociedades y modificaciones en las formas de subjetivación de los individuos. El título Estrategias retóricas se refiere a dichos vocabularios críticos. El curso tiene duración de un año.

Diferenças sexuais no investimento parental e no crescimento das crias no cagarro (Calonectris diomedea borealis)

Dissertação mest., Biologia Marinha, Universidade do Algarve, 2008

Paralelização automática de algoritmos matriciais

Tese de dout., Engenharia Electrónica e Computação, Faculdade de Ciências e Tecnologia, Univ. do Algarve, 2003

A resolução de problemas, o raciocínio e a comunicação matemática no 1º ciclo do ensino básico

A comunicação aborda o caso dum professor do 1.º ciclo do ensino básico (Francisco) inserido numa investigação mais ampla em que se pretendeu estudar as concepções e práticas dos professores do 1.º ciclo do ensino básico relativamente à resolução de problemas, raciocínio e comunicação matemática. O estudo segue uma metodologia de investigação de natureza interpretativa e abordagem qualitativa na modalidade de estudo de caso. Francisco apresenta algumas preocupações de carácter metodológico relativamente ao ensino e aprendizagem da Matemática defendendo a importância do papel do professor em assegurar o acompanhamento do trabalho dos alunos de forma a compreender o problema. As situações propostas pelo Francisco na sala de aula assumem características problemáticas embora revele sentir algumas dificuldades na sua exploração. Para o Francisco, raciocínio e técnicas, estão a par, não privilegia mais uma do que outra. Reconhece que não tem insistido para que os seus alunos falem e escrevam sobre Matemática embora se preocupe em desenvolver uma boa comunicação na sala de aula.

Resiliência, acontecimentos de vida stressantes e problemas de comportamento em adolescentes institucionalizados: um estudo comparativo

No presente estudo procuramos estudar as relações entre um conjunto de fatores protetores e a resiliência percebida, os acontecimentos de vida stressantes e os problemas de comportamento num grupo de 40 adolescentes institucionalizados e num grupo de 40 adolescentes da população geral. Para a avaliação das variáveis em estudo utilizámos a escala de resiliência Healthy Kids Resilience Assessement Module – versão 6.0 (Martins, 2005), o inventário de psicopatologia Youth Self Report (Lemos, Vallejo & Sandoval, 2002), a escala Situações de vida Stressantes (Oliva, Jiménez, Parra & Sánchez-Queijiga, 2008), o Questionário de caraterização de adolescentes institucionalizados, adaptado de Lemos (2007b) e o Questionário de dados sociodemográficos e familiares para adolescentes, adaptado de Nunes, Lemos e Guimarães (2011). No que diz respeito à análise dos fatores protetores e de resiliência, os resultados obtidos sugerem a não existência de diferenças estatisticamente significativas entre os dois grupos. Contudo, as análises comparativas dos dois grupos relativa aos acontecimentos de vida stressantes e aos problemas de comportamento indicam resultados estatisticamente significativos, com valores mais elevados nos adolescentes institucionalizados nestes dois tipos de variáveis. Não foram encontradas diferenças estatisticamente significativas segundo o sexo em relação à resiliência percebida nos dois grupos. Relativamente à análise de eventuais diferenças ao nível do sexo no relato de problemas de comportamento nos adolescentes institucionalizados, foram encontrados valores mais elevados no sexo feminino. Não foram encontradas relações significativas entre a resiliência percebida nos dois grupos e a idade dos participantes, mas foi encontrada uma relação significativa entre a idade e os problemas externalizantes nos adolescentes institucionalizados. Por sua vez, foram encontradas relações significativas entre a resiliência percebida e os problemas de comportamento nos dois grupos. Os resultados referentes à análise da relação entre os acontecimentos de vida stressantes e os problemas de comportamento sugerem relações significativas nestas variáveis para os dois grupos.

Comunicação matemática num contexto de resolução de problemas

Este estudo visa compreender como alunos do 9.º ano fazem uso de representações para comunicar matematicamente num contexto de resolução de problemas, considerando, simultaneamente, o papel do discurso desenvolvido entre os vários actores, na sala de aula. Assim, formularam-se as seguintes questões de investigação: i) A que representações matemáticas recorrem os alunos quando se envolvem em actividades de resolução de problemas? ii) Qual o papel desempenhado por estas representações nos processos de resolução de problemas e de comunicação dos seus raciocínios? iii) De que modo as interacções discursivas ocorridas durante as actividades de resolução de problemas influenciam o processo de resolução? O quadro teórico articulou diferentes focos, destacando-se: o processo de comunicação, em geral, e a comunicação na aula de matemática, em particular, o discurso matemático e as representações do conhecimento matemático. O trabalho de campo contemplou uma intervenção pedagógica com dez alunos de 9.º ano, nas aulas de Estudo Acompanhado, durante a qual foram propostas dez tarefas. Esta intervenção, ao fomentar e valorizar a comunicação reflexiva e instrutiva, deu aos alunos oportunidades de falarem, ouvirem, discutirem e reflectirem, colocando ênfase na capacidade de comunicar em Matemática. Adoptou-se uma metodologia qualitativa, de carácter interpretativo, centrada na análise de dados recolhidos através de observação participante, de entrevistas aos alunos e das suas produções. Os resultados evidenciam que a resolução de problemas constituiu uma boa estratégia para promover a comunicação matemática, uma vez que estimulou o aparecimento de diversas representações, que foram progressivamente melhoradas, facilitou o confronto de ideias, a delineação de estratégias e a apresentação de resultados, quer na forma escrita quer oral. O discurso que foi emergindo no contexto das aulas, e que se tornou cada vez mais proficiente, permitiu uma clara evolução na execução das tarefas

Desenho de modelos neuronais para a deteção de sismos

A performance dos detetores sísmicos atualmente utilizados pode e deve ser melhorada. Atualmente existem vários algoritmos para a deteção de sismos de forma automática, desde os sistemas simples baseados em STA/LTA, aos mais sofisticados baseados em reconhecimento de padrões. Este estudo pretende dar continuidade ao desenvolvimento de uma abordagem de deteção de eventos sísmicos ao nível da estação local, utilizando uma técnica bastante conhecida, chamada Máquina de Vetores de Suporte (SVM). SVM é amplamente utilizada em problemas de classificação, devido a sua boa capacidade de generalização. Nesta experiência, a técnica baseada em SVM é aplicada em diferentes modos de operações. Os resultados mostraram que a técnica proposta dá excelentes resultados em termos de sensibilidade e especificidade, além de exigir um tempo de deteção suficientemente pequeno para ser utilizado num sistema de aviso precoce (early-warning system). Começamos pela classificação de dados de forma Off-line, seguido da validação do classificador desenvolvido. Posteriormente, o processamento de dados é executado de forma contínua (On-line). Os algoritmos foram avaliados em conjuntos de dados reais, provenientes de estações sísmicas da Rede de Vigilância Sísmica de Portugal, e em aplicações reais da área de Sismologia (simulação de funcionamento em ambiente real). Apesar de apenas duas estações serem consideradas, verificou-se que utilizando a combinação de detetores, consegue-se uma percentagem de deteção idêntica para quando utilizado um único modelo (Abordagem OR) e o número de falsos alarmes para a combinação de modelos é quase inexistente (Abordagem AND). Os resultados obtidos abrem várias possibilidades de pesquisas futuras.