Relating bisimulations with attractors in boolean network models

When studying a biological regulatory network, it is usual to use boolean network models. In these models, boolean variables represent the behavior of each component of the biological system. Taking in account that the size of these state transition models grows exponentially along with the number of components considered, it becomes important to have tools to minimize such models. In this paper, we relate bisimulations, which are relations used in the study of automata (general state transition models) with attractors, which are an important feature of biological boolean models. Hence, we support the idea that bisimulations can be important tools in the study some main features of boolean network models.We also discuss the differences between using this approach and other well-known methodologies to study this kind of systems and we illustrate it with some examples.

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.

Micro/nanoreservoirs for controlled release of active species in smart functional coatings

This work reports one possible way to develop new functional coatings used to increase the life time of metallic structures. The functionalities selected and attributed to model coatings in the frame of this work were corrosion protection, self-sensing and prevention of fouling (antifouling). The way used to confer those functionalities to coatings was based on the encapsulation of active compounds (corrosion inhibitors, pH indicators and biocides) in micro and nanocontainers followed by their incorporation into the coating matrices. To confer active corrosion protection, one corrosion inhibitor (2-mercaptobenzothiazole, MBT) was encapsulated in two different containers, firstly in silica nanocapsules (SiNC) and in polyurea microcapsules (PU-MC). The incorporation of both containers in different models coatings shows a significant improvement in the corrosion protection of aluminum alloy 2024 (AA2024). Following the same approach, SiNC and PU-MC were also used for the encapsulation of phenolphthalein (one well known pH indicator) to introduce sensing properties in polymeric coatings. SiNC and PU-MC containing phenolphthalein acted as corrosion sensor, showing a pink coloration due to the beginning of cathodic reaction, resulting in a pH increase identified by those capsules. Their sensing performance was proved in suspension and when integrated in coatings for aluminium alloy 2024 and magnesium alloy AZ31. In a similar way, the biocide activity (antifouling) was assigned to two polymeric matrices using SiNC for encapsulation of one biocide (Dichloro-2-octyl-2H-isothiazol-3-one, DCOIT) and also SiNC-MBT was tested as biocide. The antifouling activity of those two encapsulated compounds was assessed through inhibition and consequent decrease in the bioluminescence of modified E. coli. That effect was verified in suspension and when incorporated in coatings for AISI 1008 carbon steel. The developed micro and nanocontainers presented the desired performance, allowing the introduction of new functionalities to model coatings, showing potential to be used as functional additives in the next generation of multifunctional coatings.