Bicontactual hypermaps

Esta tese dedica-se ao estudo de hipermapas regulares bicontactuais, hipermapas com a propriedade que cada hiperface contacta só com outras duas hiperfaces. Nos anos 70, S. Wilson classificou os mapas bicontactuais e, em 2003, Wilson e Breda d’Azevedo classificaram os hipermapas bicontactuais no caso não-orientável. Quando esta propriedade é transferida para hipermapas origina três tipos de bicontactualidade, atendendo ao modo como as duas hiperfaces aparecem à volta de uma hiperface fixa: edge-twin, vertextwin and alternate (dois deles são o dual um do outro). Um hipermapa topológico é um mergulho celular de um grafo conexo trivalente numa superfície compacta e conexa tal que as células são 3-coloridas. Ou de maneira mais simples, um hipermapa pode ser visto como um mapa bipartido. Um hipermapa orientado regular é um triplo ordenado consistindo num conjunto finito e dois geradores, que são permutações (involuções) do conjunto tal que o grupo gerado por eles, chamado o grupo de monodromia, actua regularmente no conjunto. Nesta tese, damos uma classificação de todos os hipermapas orientados regulares bicontactuais e, para completar, reclassificamos, usando o nosso método algébrico, os hipermapas não-orientáveis bicontactuais.

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.

Ciências no primeiro ciclo do ensino básico : um programa para educação para desenvolvimento sustentável

Num planeta finito, a impossibilidade de um crescimento contínuo e a necessidade de preservar os seus recursos naturais e ambientais, tendo em vista assegurar opções de qualidade de vida e bem-estar das gerações futuras, fez emergir e estruturar o conceito de Desenvolvimento Sustentável. Perante os múltiplos desafios que o futuro coloca, a educação constitui-se como uma via para alcançar um desenvolvimento mais harmonioso das relações entre os seres humanos e entre estes e a natureza, indispensável à humanidade na persecução dos seus legítimos anseios de paz, liberdade e justiça social. A importância atribuída à educação no sentido de uma adequada perceção da situação do planeta levou as Nações Unidas a proclamarem, no início deste século (dezembro de 2002), a Década da Educação para o Desenvolvimento Sustentável (2005-2014): um desafio internacional lançado aos países para que recorram à educação como ferramenta essencial na promoção de Desenvolvimento Sustentável. A vida nas sociedades contemporâneas é, como nunca antes, influenciada por desenvolvimentos científicos e tecnológicos e dependente dos respetivos progressos. Assim, a Educação Científica assume um papel fundamental na compreensão das problemáticas que enfrentamos e na consciencialização da responsabilidade do ser humano na situação planetária atual, devendo promover o desenvolvimento de cidadanias proativas, fundamentadas e responsáveis, no sentido da mudança, numa perspetiva crítica global que garanta a sustentabilidade do planeta. Estas finalidades são alvo de reflexão por parte de diversas instâncias da sociedade – nas quais se incluem organismos como a UNESCO, comunidades nacionais e internacionais de investigação em Educação Científica, e o poder político – e espelham-se em propostas de reforma e de revisão curricular em diversos países. Ora, sem ser exclusiva, a educação formal nos primeiros anos de escolaridade tem um papel fundamental, por ter caráter obrigatório na maioria dos países. Paralelamente existe um crescente reconhecimento a nível internacional em torno da importância de se iniciar precocemente a Educação Científica com vista a alcançar esses propósitos. Resultados alcançados em diversas investigações evidenciam que a Educação Científica nos primeiros anos de escolaridade tem impacte positivo relevante no desenvolvimento de literacia científica e no desenvolvimento de atitudes positivas face à Ciência e a aprendizagens de Ciências. A presente investigação pretende ser um contributo para a Década da Educação para o Desenvolvimento Sustentável no Primeiro Ciclo do Ensino Básico. O percurso de investigação, de natureza qualitativa, foi desenvolvido em três fases distintas mas articuladas entre si: a fase I integrou processos interpretativos de investigação documental e teve como principais objetivos o estabelecimento do quadro teórico de suporte à problemática de Educação para Desenvolvimento Sustentável e a caraterização de perspetivas de Educação Científica decorrentes de política educativa em Portugal; na fase II caraterizou-se a importância atribuída por professores do Primeiro Ciclo do Ensino Básico à Educação Científica e respetiva componente experimental, bem como as suas conceções acerca de Literacia Científica, orientações Ciência-Tecnologia-Sociedade no ensino das Ciências, Desenvolvimento Sustentável e o modo como dizem articular as referidas conceções com as suas práticas de sala de aula; na fase III apresentou-se um Programa de Ciências, concebido segundo os referenciais atrás definidos e avaliado por um painel de peritos, para Educação para Desenvolvimento Sustentável, “A Terra e os seres vivos: conhecer para valorizar e proteger”, para implementação em cada um dos quatro anos de escolaridade do Primeiro Ciclo do Ensino Básico. O presente estudo assume-se como um contributo para a inovação na Educação Científica no Primeiro Ciclo do Ensino Básico e fundamenta a necessidade de a reorientar, tendo em vista a resposta a compromissos internacionais assumidos por Portugal no âmbito da Década da Educação para o Desenvolvimento Sustentável, bem como a importância de acompanhar orientações e políticas recomendadas a nível internacional, numa perspetiva de educação num contexto de globalização.

Esparsidade como condição na análise espetral

Esta tese apresenta algoritmos que estimam o espetro de um sinal não periódico a partir de um numero finito de amostras, tirando partido da esparsidade do sinal no domínio da frequência. Trata-se de um problema em que devido aos efeitos de leakage, o sucesso dos algoritmos tradicionais esta limitado. Para ultrapassar o problema, os algoritmos propostos transformam a base DFT numa frame com um maior numero de colunas, inserindo um numero reduzido de colunas entre algumas das iniciais. Estes algoritmos são baseados na teoria do compressed sensing, que permite obter e representar sinais esparsos e compressíveis, utilizando uma taxa de amostragem muito inferior à taxa de Nyquist. Os algoritmos propostos apresentam um bom desempenho em comparação com os algoritmos existentes, destacando-se na estimação do espetro de sinais compostos por sinusóides com frequências muito próximas, com amplitudes diferentes e na presença de ruído, situação particularmente difícil e perante a qual os restantes algoritmos falham.

Novel critical phenomena in optimization driven processes on networks

The work presented in this Ph.D thesis was developed in the context of complex network theory, from a statistical physics standpoint. We examine two distinct problems in this research field, taking a special interest in their respective critical properties. In both cases, the emergence of criticality is driven by a local optimization dynamics. Firstly, a recently introduced class of percolation problems that attracted a significant amount of attention from the scientific community, and was quickly followed up by an abundance of other works. Percolation transitions were believed to be continuous, until, recently, an 'explosive' percolation problem was reported to undergo a discontinuous transition, in [93]. The system's evolution is driven by a metropolis-like algorithm, apparently producing a discontinuous jump on the giant component's size at the percolation threshold. This finding was subsequently supported by number of other experimental studies [96, 97, 98, 99, 100, 101]. However, in [1] we have proved that the explosive percolation transition is actually continuous. The discontinuity which was observed in the evolution of the giant component's relative size is explained by the unusual smallness of the corresponding critical exponent, combined with the finiteness of the systems considered in experiments. Therefore, the size of the jump vanishes as the system's size goes to infinity. Additionally, we provide the complete theoretical description of the critical properties for a generalized version of the explosive percolation model [2], as well as a method [3] for a precise calculation of percolation's critical properties from numerical data (useful when exact results are not available). Secondly, we study a network flow optimization model, where the dynamics consists of consecutive mergings and splittings of currents flowing in the network. The current conservation constraint does not impose any particular criterion for the split of current among channels outgoing nodes, allowing us to introduce an asymmetrical rule, observed in several real systems. We solved analytically the dynamic equations describing this model in the high and low current regimes. The solutions found are compared with numerical results, for the two regimes, showing an excellent agreement. Surprisingly, in the low current regime, this model exhibits some features usually associated with continuous phase transitions.

Controle activo de estruturas adaptativas com sensores e actuadores piezoeléctricos

Nos últimos anos o estudo de estruturas inteligentes tem atraído vários investigadores devido às suas potenciais vantagens numa larga gama de aplicações, tais como controle de forma, supressão de vibrações, atenuação de ruído e detecção de dano. O uso de materiais “inteligentes” tal como os materiais piezoeléctricos na forma de lâminas ou “patches”, embebidas ou coladas na superfície de estruturas construídas de materiais compósitos, permite assim obter estruturas que por um lado são adaptativas e por outro revelam excelentes propriedades mecânicas, aumentando assim bastante o desempenho e a fiabilidade de sistemas estruturais. Os materiais piezoeléctricos têm a propriedade de gerar uma carga eléctrica sob a acção duma carga mecânica e o reverso, isto é, aplicando um campo eléctrico nos elementos piezoeléctricos da estrutura, esta deforma-se. Neste trabalho, é apresentado um modelo de elementos finitos, baseado na teoria clássica de placas, desenvolvido para a análise do controle activo em estática e dinâmica lineares de estruturas integrando sensores e actuadores piezoeléctrico na forma de lâminas, os quais introduzem um grau de liberdade referente ao potencial eléctrico, por cada camada piezoeléctrica do elemento finito. É utilizado método de Newmark para a solução iterativa das equações de equilíbrio. Apresentam-se os resultados obtidos em três exemplos ilustrativos.

Optimização de estruturas laminadas adaptativas com controlo activo

Neste trabalho apresenta-se um modelo de elementos finitos, baseados na teoria clássica das placas, desenvolvido para a análise de controlo activo em dinâmica de estruturas de tipo placa/casca integrando sensores e actuadores piezoeléctricos. O controlo é iniciado através de uma optimização prévia do núcleo laminado de modo a diminuir a amplitude da vibração. É usado um algoritmo de controlo baseado na ligação entre as lâminas piezoeléctricas sensoras e actuadoras para obter um mecanismo de controlo da resposta dinâmica da estrutura. A resolução por elementos finitos usa um elemento placa/casca triangular plano de 3 nós, e em cuja formulação se introduz um grau de liberdade referente ao potencial eléctrico, por cada camada piezoeléctrica do elemento finito. Apresentam-se os resultados obtidos em dois exemplos ilustrativos.

Optimização de painéis laminados com furos

Neste trabalho é feita a optimização de estruturas laminadas do tipo placa-casca, construídas por materiais compósitos, fazendo-se uso de um modelo discreto baseado na Teoria de Kirchhoff em conjugação com a Teoria da Camada Única Equivalente.As análises estrutural e de sensibilidades de estruturas em regime estático com comportamento geometricamente não linear, em vibrações livres, e em estabilidade linear, são desenvolvidas para um elemento finito triangular plano de 3 nós, com 18 graus de liberdade. A optimização é feita considerando diferentes funções objectivo, tais como a maximização da energia elástica de deformação, a maximização da frequência fundamental e a maximização da carga crítica, e é baseada no método das sensibilidades. As sensibilidades destas funções objectivo em ordem ás variáveis de projeto são calculadas analíticamente, sendo a orientação das fibras as variáveis de projecto consideradas.

Análise geometricamente não-linear de estruturas adaptativas piezolaminadas

Neste trabalho apresenta-se um modelo de elementos finitos, baseado na teoria clássica de placas, para a análise linear e não-linear de estruturas do tipo placa/casca integrando sensores e actuadores piezoeléctricos. É usado um simples e eficiente elemento placa/casca triangular plano de 3 nós, e em cuja formulação se introduz um grau de liberdade referente ao potencial eléctrico, por cada camada piezoeléctrica do elemento finito. É utilizada a formulação Lagrangeana actualizada associada à tecnica de Newton - Raphson para a solução iterativa das equações de equilibrio .O modelo pode ser aplicado a cascas piezolaminadas com geometria e carregamento arbitrários. Apresentam-se vários exemplos ilustrativos cujos resultados mostram a eficiencia do modelo proposto.

Placas elasto-electro-magnéticas

Neste trabalho apresenta-se um modelo de elementos finitos, baseado na teoria clássica de placas, para a análise linear e não-linear de estruturas do tipo placa/casca integrando sensores e actuadores piezoeléctricos. É usado um simples e eficiente elemento placa/casca triangular plano de 3 nós, e em cuja formulação se introduz um grau de liberdade referente ao potencial eléctrico, por cada camada piezoeléctrica do elemento finito. É utilizada a formulação Lagrangeana actualizada associada à tecnica de Newton - Raphson para a solução iterativa das equações de equilibrio .O modelo pode ser aplicado a cascas piezolaminadas com geometria e carregamento arbitrários. Apresentam-se vários exemplos ilustrativos cujos resultados mostram a eficiencia do modelo proposto.

Language evolution and recursion : an empirical investigation of human hierarchical processing

Tese de doutoramento, Ciências Biomédicas (Neurociências), Universidade de Lisboa, Faculdade de Medicina, 2014

Orizzonte Cina: le sfide dell’urbanizzazione al 2020

A metà marzo 2014 il governo cinese ha reso pubblico un documento di indirizzo per le politiche urbane che potrebbe determinare una correzione di rotta nell’attuale processo di rapida urbanizzazione che il paese attraversa ormai da qualche decennio. Si tratta del National New-Type Urbanization Plan – Guojia Xinxing Chengzhenhua Guihua 2014-2020 (SCPRC, 2014), ovvero il primo piano nazionale per un nuovo modello people-centred di urbanizzazione del paese. Compito di questo saggio breve è quello di riflettere sulle sfide future del processo di urbanizzazione cinese che tale documento lascia intravedere, alla luce di una serie di nodi irrisolti del processo non finito di opening-up della società cinese al modello capitalista occidentale.

Criação de programa informático em ambiente Matlab® para estudo de estruturas planas pelo Método de Elementos Finitos.

Os modelos a ser analisados pelo Método de Elementos Finitos são cada vez mais complexos e, nos tempos que correm, seria impensável realizar tais análises sem um apoio computorizado. Existe para esta finalidade uma vasta gama de programas que permitem realizar tarefas que passam pelo desenho de estruturas, análise estática de cargas, análise dinâmica e vibrações, visualização do comportamento físico (deformações) em tempo real, que permitem a otimização da estrutura. Sob o pretexto de permitir a qualquer utilizador uma análise de estruturas simples com o Método dos Elementos Finitos, surge esta tese, onde se irá criar de raiz um programa com interface gráfica no ambiente MATLAB® para análise de estruturas simples com dois tipos de elemento finito, triangular de deformação constante e quadrangular de deformação linear. O software desenvolvido, verificado por comparação com um software comercial dedicado para o efeito, efetua malhagem com elementos bidimensionais triangulares e quadriláteros e resolve modelos arbitrados pelo Método de Elementos Finitos, representando estes resultados visualmente e em formato tabular.

Recueil de coutumes, en langue provençale et en latin.

Contient : 1 Petite chronique allant de 1284 à 1451, c'est-à-dire du mariage de Philippe le Bel, fils aîné de Philippe le Hardi, avec Jeanne, fille de Henri Ier, roi de Navarre, et reine de Navarre elle-même depuis 1274, à la prise de La Réole par Charles VII et au siège de Libourne. Premiers mots : « L'an M.CC.LIII (sic) lo rey de Fransa, rey de Nabarra... ». Derniers mots : « ... que guabarra no pode ma regar » ; 2 « In nomine sancte Trinitatis et Filii, Spiritus Sancti. Amen. Incipiunt consuetudines aprobate per nobiles circumspectos viros, tam doctores quam alios probos homines civitatis Burdegale. Per so quar plusors crims e malefeitz ha hom feit sa en arrey à Bordeu... ». Derniers mots : « ... paguar nulha res que aya affermat. Finito libro sit laus et gloria Christo. Qui escripsit escribat, semper cum Domino vivat. Deo gracias. L'an M.CCCCC e XXXVIII furen feitas aquestas costumas. Consuetudo legitima aprobata de jure est tenenda ». En provençal ; 3 Commencement d'une table des chapitres des établissements et coutumes en usage à Bordeaux. Premiers mots : « Assi comensan los establimens, costumas de Bordeu, acostumat en Bordeu... ». Derniers mots : « ... Item nota que lo borgues de Liborna a. t. previlegi... Item entendas que nulli no sia obligat am carta o istrument » ; 4 « Hii sunt usus, consuetudines, franchise, ordinationes, privilegia et libertates quos et quas consules Brageyriaci pro se et Universitate dicti loci, pro communi utilitate reipublice ejusdem loci, petunt et supplicant confirmari per magnifficum virum dominum comitem Petragaricensem, Brageyriaci dominum. Primo, quod servientes statuantur certi et eorum nomina, et in curia domini publice scripta inveniantur... ». Date du préambule : 17 novembre 1334. A la fin on lit : « ... Et nos Rogerius Bernardi, comes Petragoricensis et Brageriaci dominus, recognoscentes omnia premissa et singula fore vera, sigillum nostrum presentibus literis seu presenti instrumento publico apposuimus in fidem et testimonium omnium premissorum ». A la suite certificat de collation, daté du 4 mars 1505-1506. En latin. Fol. 45 à 89) ; 5 Accord passé entre Regnauld, seigneur de Pont, damoiseau de Bergerac, et les syndics de Bergerac, lequel accord est confirmé par CHARLES LE BEL et Vidimé par ÉDOUARD, prince de Galles. S. d. En latin ; 6 « La costuma de Vasades ». Premiers mots : « Assi comensa en lo nom de Nostre Senhor Dieu Jhesu Crist loquau es senhor sobiran sobre totas causas... ». Derniers mots : « ... per ladicha costuma general de Vasades ». A la suite on lit tracés au vermillon les mots « Anno Domini millesimo CCCCmo octuagesimo nono dieque mensis octobris XXVIIa hee presentes consuetudines fuere per me subscriptum Deo favente patrate. Benedictus Deus, qui vitam sine termino, intercedente sanctissima virginum virgine, donet mihi ei quoque facienti scribi, in agonia mortis. Amen. Fe. Delauppe » ; 7 « Asso son de las costumas de Bazades »

Aplicaciones del método de elementos finitos a problemas de termofluídos

Tesis (Maestría en Ciencias de la Ingeniería Mecánica con Especialidad en Térmica y Fluídos) UANL