Estudo do comportamento estrutural e análise de conforto humano de edifícios de concreto armado.

Atualmente, os projetos de edifícios altos necessitam cada vez mais de sistemas estruturais simples, que agilizem sua montagem, reduzindo os custos e promovendo maior flexibilidade de utilização para os espaços construídos. Com essa finalidade, estruturas com poucas vigas vêm sendo muito utilizadas. Entretanto, o sistema estrutural com poucas vigas pode ocasionar dois tipos de problemas, relacionados entre si, a saber: diminuição do sistema de contraventamento da edificação e vibrações excessivas. Portanto, é fundamental, nesses casos, a verificação da estabilidade global da estrutura, utilizando índices de sensibilidade além de outros parâmetros de projeto, como também, o desenvolvimento de um estudo minucioso acerca do conforto humano da edificação. Assim sendo, neste trabalho de pesquisa foram investigados quatro modelos estruturais de edifícios altos de concreto armado, com base no estudo da variação entre o número de pavimentos e a quantidade de vigas existentes em cada modelo, objetivando-se verificar quais os efeitos que tais variações podem vir a gerar sobre a estabilidade global e, bem como, sobre o conforto humano dos sistemas estruturais investigados. A modelagem numérica dos edifícios em estudo foi realizada através do emprego do programa ANSYS e, para tal, foram utilizadas técnicas básicas de discretização, por meio do método dos elementos finitos. As conclusões alcançadas ao longo da investigação versam acerca do estudo da resposta estrutural estática e dinâmica dos edifícios, no que diz respeito as variações dos valores dos parâmetros de instabilidade, dos valores dos deslocamentos e esforços, e, bem como, dos níveis de conforto humano de cada modelo estrutural analisado.

Avaliação de ligações tubulares tipo T entre CHS com reforço tipo chapa.

Os perfis tubulares sem costura são utilizados em diversos países, principalmente devido às vantagens associadas à estética a sua elevada resistência à torção, cargas axiais e efeitos combinados. Canadá, Inglaterra, Alemanha e Holanda utilizam de forma veemente estas estruturas e possuem produção contínua e industrializada com alto nível de desenvolvimento tecnológico. O Brasil, porém, se limitava praticamente ao uso destes perfis nas coberturas espaciais. Devido ao aumento da utilização desses tipos de estruturas, fez-se necessário o aprofundamento dos estudos com métodos de análise coerentes para utilização de perfis tubulares, principalmente em relação às ligações, pois são consideradas regiões vulneráveis neste tipo de estrutura. Para atender a necessidade de normatização deste procedimento desenvolveu-se uma norma brasileira específica para o dimensionamento de estruturas em perfis tubulares. Considerando esta perspectiva, este trabalho apresenta uma análise de ligações tipo T com reforço tipo chapa com perfis tubulares circulares (CHS) para o banzo e para o montante efetuada com base na norma europeia, Eurocode 3, no CIDECT, na NBR 16239:2013 e ISO 14346. Desenvolveu-se no programa Ansys um modelo de elementos finitos para cada tipo de ligação analisada, calibrado e validado com resultados experimentais e numéricos existentes na literatura. Verificou-se a influência da compressão atuante no montante no comportamento global das ligações. As não-linearidades físicas e geométricas foram incorporadas aos modelos a fim de se mobilizar totalmente a capacidade resistente desta ligação. A nãolinearidade do material foi considerada através do critério de plastificação de von Mises através da lei constitutiva tensão versus deformação bilinear de forma a exibir um comportamento elasto-plástico com encruamento. A não-linearidade geométrica foi introduzida no modelo através da Formulação de Lagrange Atualizada. A análise dos esforços resistentes obtidos em comparação com os resultados do modelo numérico, apresentaram valores a favor da segurança no cálculo utilizando as equações de dimensionamento. Por fim um estudo para fatores de correção das equações de dimensionamento foi também proposto.

Estudo de fluxos numéricos para modelos magneto-hidrodinâmicos utilizando o código Flash

A teoria magneto-hidrodinâmicos permite a estruturação de modelos computacionais, designados modelos MHDs, que são uma extensão da dinâmica dos fluidos para lidar com fluidos eletricamente carregados, tais como os plasmas, em que se precisa considerar os efeitos de forças eletromagnéticas. Tais modelos são especialmente úteis quando o movimento exato de uma partícula não é de interesse, sendo que as equações descrevem as evoluções de quantidades macroscópicas. Várias formas de modelos MHD têm sido amplamente utilizadas na Física Espacial para descrever muitos tipos diferentes de fenômenos de plasma, tais como reconexão magnética e interações de ventos estelares com diferentes objetos celestiais. Neste trabalho, o objetivo é analisar o comportamento de diversos fluxos numéricos em uma discretização de volumes finitos de um modelo numérico de MHD usando um esquema de malha entrelaçada sem separação direcional considerando alguns casos testes. Para as simulações, utiliza-se o código Flash, desenvolvido pela Universidade de Chicago, por ser um código de amplo interesse nas simulações astrofísicas e de fenômenos no espaço próximo à Terra. A metodologia consiste na inclusão de um fluxo numérico, permitindo melhoria com respeito ao esquema HLL.

Modelagem do comportamento estrutural estático e dinâmico e avaliação de conforto humano de edifícios de concreto armado.

Nas últimas décadas, a partir do crescimento substancial da população das grandes cidades, a demanda por espaço para habitação tem crescido de maneira importante. Para atender a estas necessidades, edificações cada vez mais altas e mais esbeltas são projetadas e vãos cada vez maiores são utilizados. Novos materiais são criados e aprimorados para que seja extraído o máximo de desempenho com o menor custo. Deste modo, esta dissertação tem como objetivo o estudo do comportamento estrutural e avaliação de conforto humano de edifícios de concreto armado. Para tal, são considerados ao longo do estudo quatro projetos de edificações de concreto armado distintos, com alturas variando na faixa de 30m a 70m (11 a 24 pavimentos), submetidos às ações das cargas usuais de projeto atuantes sobre edifícios residenciais, além das cargas de vento. No que tange ao desenvolvimento dos modelos computacionais são empregadas técnicas usuais de discretização, via método dos elementos finitos, por meio do programa ANSYS. Inicialmente, a resposta estrutural estática (deslocamentos e esforços) e dinâmica (acelerações de pico) dos modelos é obtida e comparada com base nos valores limites propostos por normas e recomendações de projeto. A partir de análises qualitativas e quantitativas desenvolvidas sobre a resposta dos modelos em estudo o desempenho estrutural dos edifícios analisados é avaliado, no que diz respeito ao conforto humano.

Análise numérica do efeito de sobrecargas assimétricas em estacas: estudo de pontes nas obras do Arco Metropolitano.

O presente trabalho aborda o efeito de sobrecargas assimétricas em estacas, através do estudo de caso de encontros da Ponte do Rio Capivari nas obras do Arco Metropolitano. Neste caso específico as estacas foram construídas previamente a execução de aterros em terra armada e para minimizar o efeito de Tschebotarioff o solo foi reforçado com colunas de brita. Com embasamento na revisão bibliográfica apresentada foi realizada a análise pelo Método dos Elementos Finitos. Esta análise, realizada pelo programa computacional Plaxis, teve como foco principal a obtenção dos deslocamentos e momentos fletores nas estacas para os dois casos analisados: sem colunas de brita e com solo homogêneo equivalente (com colunas de brita). Foi possível verificar a influência da introdução das colunas de brita na redução dos momentos fletores e deslocamentos horizontais nas estacas dos encontros. Realizou-se ainda uma simulação em que as estacas seriam construídas após a realização dos aterros em terra armada onde pode-se constatar que o efeito de sobrecargas assimétricas seria mitigado. Foi efetuada também a comparação entre os deslocamentos provenientes de dados coletados da instrumentação de campo (inclinômetros) e os obtidos pelas análises numéricas, estando os mesmos compatíveis entre si, demonstrando que a metodologia adotada para simulação das colunas de brita no Método dos Elementos finitos foi adequada.

Simulação numérica da dispersão advecção de pesticidas no solo sob efeito da temperatura.

É apresentado um modelo de dispersão-advecção de evolução unidimensional que simula a lixiviação de pesticidas em lisímetros ou colunas de solo sob efeito da temperatura média diária do perfil do solo. O modelo matemático e todo o seu conjunto de hipóteses será denominado DAPESTE. Nas simulações numéricas do modelo DAPESTE serão utilizados o método dos elementos finitos para a semi-discretização da variável espacial e o método de Eüler regressivo para a discretização da variável temporal. Serão utilizados métodos de elementos finitos apropriados para problemas de dispersão-advecção nos quais o transporte advectivo predomina sobre o transporte dispersivo. O modelo DAPESTE supõe que as difusividades do pesticida nas fases gasosa e aquosa do solo dependem da temperatura média diária do solo a qual varia periodicamente com a profundidade e com o tempo. O coeficiente de dispersão hidrodinâmico do modelo DAPESTE dependerá da temperatura do solo. O coeficiente de partição água-ar, variando com a temperatura, será determinado pela equação de Clausius-Clapeyron. A equação de van?t Ho® será usada para determinar o coeficiente de sorção do pesticida no solo como função da temperatura. Com a equação de Arrhenius será estimado o efeito da temperatura na taxa de degradação do pesticida. Estas relações de dependência entre os parâmetros do modelo e a temperatura do solo auxiliam sobremaneira na compreensão do destino de pesticidas no solo sob diferentes cenários de temperaturas médias diárias, especialmente a meia vida do pesticida e a concentração lixiviada no perfil do solo.

Una aproximación a la noción de infinito a través de fractales

Este trabajo presenta una experiencia realizada con cuatro grupos de alumnos provenientes de dos escuelas locales pertenecientes a noveno año de la EGB y a primer año de la Educación Polimodal. En el mismo se investiga la construcción de la idea de infinito mediante la elaboración del fractal copo de nieve. Se analizan logros y dificultades. Los fractales permiten un acercamiento entre las estructuras analíticas y las formaciones gráficas que muestran los procesos iterativos que repiten infinitamente procesos finitos. Dichos procesos permiten obtener una figura autosemejante. La visualización de estos objetos permite la comprensión de los procesos de cambios de acuerdo a la transformación de la misma figura como así también cuestionarse el por qué de dicho cambio y si el mismo es o no controlable.

Do grafema ao gesto : contributos linguísticos para um sistema de síntese de base articulatória

Motivados pelo propósito central de contribuir para a construção, a longo prazo, de um sistema completo de conversão de texto para fala, baseado em síntese articulatória, desenvolvemos um modelo linguístico para o português europeu (PE), com base no sistema TADA (TAsk Dynamic Application), que visou a obtenção automática da trajectória dos articuladores a partir do texto de entrada. A concretização deste objectivo ditou o desenvolvimento de um conjunto de tarefas, nomeadamente 1) a implementação e avaliação de dois sistemas de silabificação automática e de transcrição fonética, tendo em vista a transformação do texto de entrada num formato adequado ao TADA; 2) a criação de um dicionário gestual para os sons do PE, de modo a que cada fone obtido à saída do conversor grafema-fone pudesse ter correspondência com um conjunto de gestos articulatórios adaptados para o PE; 3) a análise do fenómeno da nasalidade à luz dos princípios dinâmicos da Fonologia Articulatória (FA), com base num estudo articulatório e perceptivo. Os dois algoritmos de silabificação automática implementados e testados fizeram apelo a conhecimentos de natureza fonológica sobre a estrutura da sílaba, sendo o primeiro baseado em transdutores de estados finitos e o segundo uma implementação fiel das propostas de Mateus & d'Andrade (2000). O desempenho destes algoritmos – sobretudo do segundo – mostrou-se similar ao de outros sistemas com as mesmas potencialidades. Quanto à conversão grafema-fone, seguimos uma metodologia baseada em regras de reescrita combinada com uma técnica de aprendizagem automática. Os resultados da avaliação deste sistema motivaram a exploração posterior de outros métodos automáticos, procurando também avaliar o impacto da integração de informação silábica nos sistemas. A descrição dinâmica dos sons do PE, ancorada nos princípios teóricos e metodológicos da FA, baseou-se essencialmente na análise de dados de ressonância magnética, a partir dos quais foram realizadas todas as medições, com vista à obtenção de parâmetros articulatórios quantitativos. Foi tentada uma primeira validação das várias configurações gestuais propostas, através de um pequeno teste perceptual, que permitiu identificar os principais problemas subjacentes à proposta gestual. Este trabalho propiciou, pela primeira vez para o PE, o desenvolvimento de um primeiro sistema de conversão de texto para fala, de base articulatória. A descrição dinâmica das vogais nasais contou, quer com os dados de ressonância magnética, para caracterização dos gestos orais, quer com os dados obtidos através de articulografia electromagnética (EMA), para estudo da dinâmica do velo e da sua relação com os restantes articuladores. Para além disso, foi efectuado um teste perceptivo, usando o TADA e o SAPWindows, para avaliar a sensibilidade dos ouvintes portugueses às variações na altura do velo e alterações na coordenação intergestual. Este estudo serviu de base a uma interpretação abstracta (em termos gestuais) das vogais nasais do PE e permitiu também esclarecer aspectos cruciais relacionados com a sua produção e percepção.

Sensores ópticos para monitorização dinâmica de estruturas

O presente trabalho centra-se no desenvolvimento e aplicação de sensores de aceleração ópticos, baseados em redes de Bragg gravadas em fibras ópticas, para monitorização da integridade estrutural de estruturas de engenharia civil. Foram implementados dois acelerómetros uniaxiais e um acelerómetro biaxial. Recorreu-se a uma ferramenta de simulação baseada no método dos elementos finitos que permitiu optimizar, sem custos de produção, as características dos sensores, nomeadamente a sua frequência de ressonância. A caracterização dos sensores foi realizada em ambiente laboratorial e a sua resposta comparada com os resultados de simulação, de modo a validar os modelos numéricos. A aplicabilidade e demonstração de conceito foram realizadas na monitorização de estruturas com testes de campo. Foi monitorizado um teste destrutivo de uma parede de adobe, construída à escala real no Departamento de Engenharia Civil da Universidade de Aveiro, onde foram utilizados sensores estáticos e dinâmicos baseados em redes de Bragg gravadas em fibra óptica. Foram realizadas medidas dinâmicas na ponte pedonal do Campus Universitário da Universidade de Aveiro, onde se compararam os resultados obtidos com os sensores ópticos com resultados de sensores electrónicos comerciais. O acelerómetro biaxial foi testado na monitorização de estruturas esbeltas, nomeadamente na monitorização de duas torres de telecomunicações móveis, onde se demonstrou a possibilidade da utilização de sensores ópticos na caracterização dinâmica deste tipo de estruturas. Outro tipo de estruturas de engenharia civil onde foi demonstrada a aplicabilidade dos sensores ópticos desenvolvidos na monitorização estrutural foram os reservatórios de água elevados. Foi realizada a monitorização dinâmica de um exemplo deste tipo de estruturas, localizado no Campus Universitário da Universidade de Aveiro. A monitorização foi realizada recorrendo ao sensor biaxial desenvolvido e a um sismógrafo, ficando o sensor óptico instalado na estrutura de modo a permitir futuras leituras e assim a monitorização periódica da estrutura. Foi ainda desenvolvido um sensor de humidade relativa do ar, com um material sol-gel, que permitiu registar o nível de humidade relativa no interior de blocos de betão, durante um ano. Este sensor pode ser incluído numa rede de sensores multiplexados, na caracterização e monitorização da integridade estrutural de certas estruturas de engenharia civil.

Blast-wave absorption capacity of sandwich structures incorporating cellular materials

A incorporação de materiais absorsores de energia (AE) em sistemas de protecção é uma clara possibilidade de melhoraria do seu desempenho, devido à elevada relação entre a sua resistência e o seu peso, e a excelente capacidade para absorverem energia quando solicitados dinamicamente. As propriedades mecânicas da cortiça (e.g. a baixa densidade e a elevada rigidez e resistência específicas) sugerem que este material — assim como os seus derivados — podem apresentar propriedades excelentes quando aplicados como núcleos em sistemas AE do tipo estrutura sanduíche. Esta dissertação engloba trabalho experimental e numérico. O primeiro conjunto de testes experimentais consistiu na caracterização experimental dinâmica (ondas de choque de explosivos) do comportamento de dois micra aglomerados de cortiça (MAC), NL20 e TB40. Um pendulo balístico de 4 cabos foi usado para a medição do impulso transmitido a uma amostra de MAC impactada por uma onda de choque com origem na detonação de um explosivo energético. Foi registado o movimento do pêndulo e os valores de força resultantes. Um modelo numérico do problema recorrendo ao método dos elementos finitos (MEF) foi também desenvolvido, apresentando uma elevada correlação com a análise experimental, permitindo assim o desenvolvimento de um modelo constitutivo adequado à modelação do comportamento dinâmico dos MAC neste tipo de solicitações. Na segunda fase de testes experimentais, os MAC testados anteriormente são incorporados como núcleos em estruturas sanduíche com faces de alumínio (liga 5754-H22). Foram medidos os valores de defleção e o impulso transmitido ao pêndulo através do movimento oscilatório. São determinados os efeitos da densidade e da espessura dos núcleos na resposta estrutural do sistema. Também neste caso foi desenvolvido um modelo recorrendo ao MEF e posteriormente validado com resultados experimentais.

Metodologias de optimização topológica em cálculo estrutural

A optimização estrutural é uma temática antiga em engenharia. No entanto, com o crescimento do método dos elementos finitos em décadas recentes, dá origem a um crescente número de aplicações. A optimização topológica, especificamente, surge associada a uma fase de definição de domínio efectivo de um processo global de optimização estrutural. Com base neste tipo de optimização, é possível obter a distribuição óptima de material para diversas aplicações e solicitações. Os materiais compósitos e alguns materiais celulares, em particular, encontram-se entre os materiais mais proeminentes dos nossos dias, em termos das suas aplicações e de investigação e desenvolvimento. No entanto, a sua estrutura potencialmente complexa e natureza heterogénea acarretam grandes complexidades, tanto ao nível da previsão das suas propriedades constitutivas quanto na obtenção das distribuições óptimas de constituintes. Procedimentos de homogeneização podem fornecer algumas respostas em ambos os casos. Em particular, a homogeneização por expansão assimptótica pode ser utilizada para determinar propriedades termomecânicas efectivas e globais a partir de volumes representativos, de forma flexível e independente da distribuição de constituintes. Além disso, integra processos de localização e fornece informação detalhada acerca de sensibilidades locais em metodologias de optimização multiescala. A conjugação destas áreas pode conduzir a metodologias de optimização topológica multiescala, nas quais de procede à obtenção não só de estruturas óptimas mas também das distribuições ideais de materiais constituintes. Os problemas associados a estas abordagens tendem, no entanto, a exigir recursos computacionais assinaláveis, criando muitas vezes sérias limitações à exequibilidade da sua resolução. Neste sentido, técnicas de cálculo paralelo e distribuído apresentam-se como uma potencial solução. Ao dividir os problemas por diferentes unidades memória e de processamento, é possível abordar problemas que, de outra forma, seriam proibitivos. O principal foco deste trabalho centra-se na importância do desenvolvimento de procedimentos computacionais para as aplicações referidas. Adicionalmente, estas conduzem a diversas abordagens alternativas na procura simultânea de estruturas e materiais para responder a aplicações termomecânicas. Face ao exposto, tudo isto é integrado numa plataforma computacional de optimização multiobjectivo multiescala em termoelasticidade, desenvolvida e implementada ao longo deste trabalho. Adicionalmente, o trabalho é complementado com a montagem e configuração de um cluster do tipo Beowulf, assim como com o desenvolvimento do código com vista ao cálculo paralelo e distribuído.

Estudo aerodinâmico e estrutural de um autogiro

O trabalho apresentado teve como principal objetivo a caracterização dos problemas aerodinâmicos e estruturais a serem observados no projeto de um Autogiro. Numa primeira etapa do trabalho, alguns conceitos básicos dos princípios da aerodinâmica que gera forças durante o voo destas aeronaves são delineadas. Numa segunda parte os componentes integrantes de um autogiro são modelados, onde alguns serão examinados por elementos finitos. Seguidamente foi realizado um cálculo á sustentação da asa, de modo a que o autogiro consiga levantar voo. Posteriormente, realizaram-se cálculos em algumas ligações aparafusadas, que se consideraram ser mais importantes para a intensidade das forças. Este cálculo teve como o objetivo, determinar se as ligações aparafusadas respeitam o critério de segurança. Finalmente, executou-se uma análise em elementos finitos na estrutura e no rotor, de maneira a avaliar o comportamento em termos da distribuição de tensões. Nesta etapa final também foi realizada uma análise às vibrações do autogiro, determinando as frequências naturais na estrutura e asa do rotor.

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.

Smart design of scaffolds obtained by biofabrication for tissue engineering applications

A engenharia de tecidos é um domínio tecnológico emergente em rápido desenvolvimento que se destina a produzir substitutos viáveis para a restauração, manutenção ou melhoria da função dos tecidos ou órgãos humanos. Uma das estratégias mais predominantes em engenharia de tecidos envolve crescimento celular sobre matrizes de suporte (scaffolds), biocompatíveis e biodegradáveis. Estas matrizes devem possuir não só elevadas propriedades mecânicas e vasculares, mas também uma elevada porosidade. Devido à incompatibilidade destes dois parâmetros, é necessário desenvolver estratégias de simulação de forma a obter estruturas optimizadas. A previsão real das propriedades mecânicas, vasculares e topológicas das matrizes de suporte, produzidas por técnicas de biofabricação, é muito importante para as diversas aplicações em engenharia de tecidos. A presente dissertação apresenta o estado da arte da engenharia de tecidos, bem como as técnicas de biofabricação envolvidas na produção de matrizes de suporte. Para o design optimizado de matrizes de suporte foi adoptada uma metodologia de design baseada tanto em métodos de elementos finitos para o cálculo do comportamento mecânico, vascular e as optimizações topológicas, como em métodos analíticos para a validação das simulações estruturais utilizando dados experimentais. Considerando que as matrizes de suporte são estruturas elementares do tipo LEGO, dois tipos de famílias foram consideradas, superfícies não periódicas e as superfícies triplas periódicas que descrevem superfícies naturais. Os objectivos principais desta dissertação são: i) avaliar as técnicas existentes de engenharia de tecidos; ii) avaliar as técnicas existentes de biofabricação para a produção de matrizes de suporte; iii) avaliar o desempenho e comportamento das matrizes de suporte; iv) implementar uma metodologia de design de matrizes de suporte em variáveis tais como a porosidade, geometria e comportamento mecânico e vascular por forma a auxiliar o processo de design; e por fim, v) validar experimentalmente a metodologia adoptada.

Reflections of universal algebras into semilattices, their Galois theories, and related factorization systems

Estabelecemos uma condição suficiente para a preservação dos produtos finitos, pelo reflector de uma variedade de álgebras universais numa subvariedade, que é, também, condição necessária se a subvariedade for idempotente. Esta condição é estabelecida, seguidamente, num contexto mais geral e caracteriza reflexões para as quais a propriedade de ser semi-exacta à esquerda e a propriedade, mais forte, de ter unidades estáveis, coincidem. Prova-se que reflexões simples e semi-exactas à esquerda coincidem, no contexto das variedades de álgebras universais e caracterizam-se as classes do sistema de factorização derivado da reflexão. Estabelecem-se resultados que ajudam a caracterizar morfismos de cobertura e verticais-estáveis em álgebras universais e no contexto mais geral já referido. Caracterizam-se as classes de morfismos separáveis, puramente inseparáveis e normais. O estudo dos morfismos de descida de Galois conduz a condições suficientes para que o seu par kernel seja preservado pelo reflector.