A behavioral analysis tool for models of software systems

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Finite Element Analysis (FEA) applied to heat transfer optimization process of pultrusion die systems

The aim of this study is to optimize the heat flow through the pultrusion die assembly system on the manufacturing process of a specific glass-fiber reinforced polymer (GFRP) pultrusion profile. The control of heat flow and its distribution through whole die assembly system is of vital importance in optimizing the actual GFRP pultrusion process. Through mathematical modeling of heating-die process, by means of Finite Element Analysis (FEA) program, an optimum heater selection, die position and temperature control was achieved. The thermal environment within the die was critically modeled relative not only to the applied heat sources, but also to the conductive and convective losses, as well as the thermal contribution arising from the exothermic reaction of resin matrix as it cures or polymerizes from the liquid to solid condition. Numerical simulation was validated with basis on thermographic measurements carried out on key points along the die during pultrusion process.

Solvent-free microwave-assisted peroxidative oxidation of alcohols catalyzed by Iron(III)-TEMPO catalytic systems

The iron(III) complexes [H(EtOH)][FeCl2(L)(2)] (1), [H(2)bipy](1/2)[FeCl2(L)(2)].DMF (2) and [FeCl2(L)(2,2'-bipy)] (3) (L = 3-amino-2-pyrazinecarboxylate; H(2)bipy = doubly protonated 4,4'-bipyridine; 2,2'-bipy = 2,2'-bipyridine, DMF = dimethylformamide) have been synthesized and fully characterized by IR, elemental and single-crystal X-ray diffraction analyses, as well as by electrochemical methods. Complexes 1 and 2 have similar mononuclear structures containing different guest molecules (protonated ethanol for 1 and doubly protonated 4,4'-bipyridine for 2) in their lattices, whereas the complex 3 has one 3-amino-2-pyrazinecarboxylate and a 2,2'-bipyridine ligand. They show a high catalytic activity for the low power (10 W) solvent-free microwave assisted peroxidative oxidation of 1-phenylethanol, leading, in the presence of TEMPO, to quantitative yields of acetophenone [TOFs up to 8.1 x 10(3) h(-1), (3)] after 1 h. Moreover, the catalysts are of easy recovery and reused, at least for four consecutive cycles, maintaining 83 % of the initial activity and concomitant rather high selectivity. 3-Amino-2-pyrazinecarboxylic acid is used to synthesize three new iron(III) complexes which act as heterogeneous catalysts for the solvent-free microwave-assisted peroxidative oxidation of 1-phenylethanol.

Multiple Roots of Systems of Equations by Repulsion Merit Functions

In this paper we address the problem of computing multiple roots of a system of nonlinear equations through the global optimization of an appropriate merit function. The search procedure for a global minimizer of the merit function is carried out by a metaheuristic, known as harmony search, which does not require any derivative information. The multiple roots of the system are sequentially determined along several iterations of a single run, where the merit function is accordingly modified by penalty terms that aim to create repulsion areas around previously computed minimizers. A repulsion algorithm based on a multiplicative kind penalty function is proposed. Preliminary numerical experiments with a benchmark set of problems show the effectiveness of the proposed method.

Spectral invariants of periodic nonautonomous discrete dynamical systems

For an interval map, the poles of the Artin-Mazur zeta function provide topological invariants which are closely connected to topological entropy. It is known that for a time-periodic nonautonomous dynamical system F with period p, the p-th power [zeta(F) (z)](p) of its zeta function is meromorphic in the unit disk. Unlike in the autonomous case, where the zeta function zeta(f)(z) only has poles in the unit disk, in the p-periodic nonautonomous case [zeta(F)(z)](p) may have zeros. In this paper we introduce the concept of spectral invariants of p-periodic nonautonomous discrete dynamical systems and study the role played by the zeros of [zeta(F)(z)](p) in this context. As we will see, these zeros play an important role in the spectral classification of these systems.

Numerical analysis of the initial conditions in fractional systems

Fractional dynamics is a growing topic in theoretical and experimental scientific research. A classical problem is the initialization required by fractional operators. While the problem is clear from the mathematical point of view, it constitutes a challenge in applied sciences. This paper addresses the problem of initialization and its effect upon dynamical system simulation when adopting numerical approximations. The results are compatible with system dynamics and clarify the formulation of adequate values for the initial conditions in numerical simulations.

Energy evaporation: the new concept of indoor systems for WPT and EH embedded into the floor

This work introduces a novel idea for wireless energy transfer, proposing for the first time the unit-cell of an indoor localization and RF harvesting system embedded into the floor. The unit-cell is composed by a 5.8 GHz patch antenna surrounded by a 13.56 MHz coil. The coil locates a device and activate the patch which, connected to a power grid, radiates to wirelessly charge the localized device. The HF and RF circuits co-existence and functionality are demonstrated in this paper, the novelty of which is also in the adoption of low cost and most of all ecofriendly materials, such as wood and cork, as substrates for electronics.

Maintenance of fire sprinkler systems based on the dynamic assessment of its condition

Safety is one of the major concerns of process safety engineers in most industrial facilities all over the world. To this scope, some events play an important role once the effect of their consequences can be assumed as totally undesirable. One of these events refers to the occurrence of a fire. Such event can result in catastrophic consequences for life, equipment, and continuity of activities or even leading to environmental damage. A fire protection equipment with low reliability means that this equipment are often unavailable and thus the risk of a fire increases. Maintenance of fire protection equipment is very important because this kind of systems is mostly in a dormant mode, which gives uncertainty about their operability when demanded in a real situation of fire. This article outlines the importance of tests, inspection, and maintenance operations in the context of a fire sprinkler system and proposes a methodology based on international standards and supported by test/inspection reports to correct the frequency of these actions according to the level of degradation of the components and regarding safety purposes. © 2015 American Institute of Chemical Engineers.

Monitoring the ex-vivo expansion of human mesenchymal stem/stromal cells in xeno-free microcarrier-based reactor systems by MIR spectroscopy

Human mesenchymal stem/stromal cells (MSCs) have received considerable attention in the field of cell-based therapies due to their high differentiation potential and ability to modulate immune responses. However, since these cells can only be isolated in very low quantities, successful realization of these therapies requires MSCs ex-vivo expansion to achieve relevant cell doses. The metabolic activity is one of the parameters often monitored during MSCs cultivation by using expensive multi-analytical methods, some of them time-consuming. The present work evaluates the use of mid-infrared (MIR) spectroscopy, through rapid and economic high-throughput analyses associated to multivariate data analysis, to monitor three different MSCs cultivation runs conducted in spinner flasks, under xeno-free culture conditions, which differ in the type of microcarriers used and the culture feeding strategy applied. After evaluating diverse spectral preprocessing techniques, the optimized partial least square (PLS) regression models based on the MIR spectra to estimate the glucose, lactate and ammonia concentrations yielded high coefficients of determination (R2 ≥ 0.98, ≥0.98, and ≥0.94, respectively) and low prediction errors (RMSECV ≤ 4.7%, ≤4.4% and ≤5.7%, respectively). Besides PLS models valid for specific expansion protocols, a robust model simultaneously valid for the three processes was also built for predicting glucose, lactate and ammonia, yielding a R2 of 0.95, 0.97 and 0.86, and a RMSECV of 0.33, 0.57, and 0.09 mM, respectively. Therefore, MIR spectroscopy combined with multivariate data analysis represents a promising tool for both optimization and control of MSCs expansion processes.

Optimal generation scheduling of wind-CSP systems in day-ahead electricity markets

This paper presents a coordination approach to maximize the total profit of wind power systems coordinated with concentrated solar power systems, having molten-salt thermal energy storage. Both systems are effectively handled by mixed-integer linear programming in the approach, allowing enhancement on the operational during non-insolation periods. Transmission grid constraints and technical operating constraints on both systems are modeled to enable a true management support for the integration of renewable energy sources in day-ahead electricity markets. A representative case study based on real systems is considered to demonstrate the effectiveness of the proposed approach. © IFIP International Federation for Information Processing 2015.

Nonautonomous Graphs and Topological Entropy of Nonautonomous Lorenz Systems

In this work, we associate a p-periodic nonautonomous graph to each p-periodic nonautonomous Lorenz system with finite critical orbits. We develop Perron-Frobenius theory for nonautonomous graphs and use it to calculate their entropy. Finally, we prove that the topological entropy of a p-periodic nonautonomous Lorenz system is equal to the entropy of its associated nonautonomous graph.

Personal learning environments: integration of Web 2.0 applications and content management systems

This paper presents an ongoing project that implements a platform for creating personal learning environments controlled by students, integrating Web 2.0 applications and content management systems, enabling the safe use of content created in Web 2.0 applications, allowing its publication in the infrastructure controlled by the HEI. Using this platform, students can develop their personal learning environment (PLE) integrated with the Learning Management System (LMS) of the HEI, enabling the management of their learning and, simultaneously, creating their e-portfolio with digital content developed for Course Units (CU). All this can be maintained after the student completes his academic studies, since the platform will remain accessible to students even after they leave the HEI and lose access to its infrastructure. The platform will enable the safe use of content created in Web 2.0 applications, allowing its protected publication in the infrastructure controlled by HEI, thus contributing to the adaptation of the L&T paradigm to the Bologna process.

Biological activity of well defined hydantoin derivatives on efflux pump systems of bacteria and cancer cells

A multi-resistência a antibióticos e medicamentos usados em quimioterapia é um dos grandes problemas com os quais as instituições de saúde se debatem hoje em dia. A acção provocada por bombas de efluxo é uma das suas causas. Estas bombas têm uma importância fundamental, uma vez que, ao expelirem todo o tipo de tóxicos para o exterior das células, também expelem medicamentos, fazendo com que estes não tenham o efeito desejado dentro delas. As bombas de efluxo são transportadores que se encontram nas membranas de todo o tipo de células. Existem dois grandes tipos de bombas de efluxo: as primárias e as secundárias. As primeiras conferem multi-resistência principalmente em células eucariotas, como as células do cancro em humanos, tendo como função a mediação da repulsa de substâncias tóxicas por intermédio da hidrólise de ATP. A primeira a ser descoberta e mais estudada destas bombas foi a ABCB1 que é o gene que codifica a glicoproteína-P (P de permeabilidade). Enquanto as secundárias, que são a maior fonte de multi-resistência em bactérias, promovem a extrusão de substâncias tóxicas através da força motriz de protões. Neste tipo de bombas são conhecidas quatro famílias principais, das quais uma das mais importantes é a superfamília RND, uma vez que inclui a bomba AcrAB-TolC, que é muito importante no metabolismo xenobiótico de bactérias Gramnegativas, nomeadamente a E.coli. Com o objectivo de reverter a multi-resistência, tanto em células eucariotas como procariotas, têm-se desenvolvido estratégias de combate que envolvem a descoberta de substâncias que inibam as bombas de efluxo. Assim sendo, ao longo dos tempos têm sido descobertas variadas substâncias que cumprem este objectivo. É o caso, por exemplo, dos derivados de fluoroquinolonas usados como inibidores de bombas de efluxo em bactérias ou do Tamoxifen, utilizado na terapia de pacientes com cancro da mama. Um dos grupos de substâncias estudados para o desenvolvimento de possíveis compostos que actuem como reversores de multi-resistência são os compostos derivados de hidantoínas. Estes, são conhecidos por possuírem uma grande variedade de propriedades bioquímicas e farmacológicas, sendo portanto usados para tratarem algumas doenças em humanos, como a epilepsia. Nestes, estão englobados compostos com actividade anti-convulsão que constitui a sua grande mais-valia e, dependente da substituição no anel que os constitui, uma grande variedade de outras propriedades farmacológicas como a anti-fungica, a anti-arritmica, a anti-viral, a anti-diabética ou por exemplo a antagonização de determinados receptores, como os da serotonina. Apesar de pouco usados em estudos experimentais para desenvolver substâncias anti-carcinogénicas, existem alguns estudos com este efeito. Objectivos: O presente projecto envolve o estudo de bombas de efluxo primárias e secundárias, em células eucariotas e procariotas, respectivamente. Em bactérias, foram usados quatro modelos experimentais: Staphylococcus aureus ATCC 25923, Enterococcus faecalis ATCC 29212, E. coli AG 100 e Salmonella Enteritidis NCTC 13349. Em células de cancro foram usadas, células T de linfoma de rato parentais e células T de linfoma de rato transfectadas com o gene humano MDR-1. O principal objectivo deste estudo foi a pesquisa de novos moduladores de bombas de efluxo presentes em bactérias e células do cancro, tentando assim contribuir para o desenvolvimento de novos agentes farmacológicos que consigam reverter a multi-resistência a medicamentos. Assim sendo foram testados trinta compostos derivados de hidantoínas: SZ-2, SZ-7, LL-9, BS-1, JH-63, MN-3, TD-7k, GG-5k, P3, P7, P10, P11, RW-15b, AD-26, RW-13, AD-29, KF-2, PDPH-3, Mor-1, KK-XV, Thioam-1, JHF-1, JHC-2, JHP-1, Fur-2, GL-1, GL-7, GL-14, GL-16, GL-18. Como forma de atingir estes objectivos, a actividade biológica dos trinta compostos derivados de hidantoínas foi avaliada nas quatro estirpes de bactérias da seguinte forma: foram determinadas as concentrações mínimas inibitórias dos trinta compostos como forma de definir as concentrações em que os compostos seriam utilizados. Os compostos foram posteriormente testadas com um método fluorométrico de acumulação de brometo de etídeo, que é um substrato comum em bombas de efluxo bacterianas, desenvolvido por Viveiros et al. A actividade biológica dos compostos derivados de hidantoínas nas células de cancro foi demonstrada por diferentes métodos. O efeito anti-proliferativo e citotóxico dos trinta compostos foi avaliado nas células T de linfoma de rato transfectadas com o gene humano MDR-1 pelo método de thiazolyl de tetrazólio (MTT). Como o brometo de etídeo também é expelido pelos transportadores ABC, estes compostos foram posteriormente testados com um método fluorométrico de acumulação de brometo de etídeo desenvolvido por Spengler et al nos dois diferentes tipos de células eucariotas. Resultados: A maioria dos compostos derivados de hidantoínas foi eficaz na modulação de bombas de efluxo, nas duas estirpes de bactérias Gram-negativas e nos dois diferentes tipos de células T de linfoma. Em contraste com estes resultados, nas duas estirpes de células Gram-positivas, a maioria dos compostos tiveram pouco efeito na inibição de bombas de efluxo ou até nenhum, em muitos dos casos. De uma maneira geral os melhores compostos nas diferentes estirpes de bactérias foram: Thioam-1, SZ-2, P3, Rw-15b, AD-26, AD-29, GL-18, GL-7, KF-2, SZ-7, MN-3, GL-16 e GL- 14. Foram portanto estes os compostos que provocaram maior acumulação de brometo de etídeo, inibindo assim com maior eficácia as bombas de efluxo. No presente estudo, a maioria dos compostos conseguiu inibir a resistência provocada pela bomba de efluxo ABCB1, tanto nas células parentais bem como nas células que sobre-expressam esta bomba, causando a acumulação de brometo de etídeo dentro das células. As células que sobreexpressam a bomba ABCB1 foram posteriormente testadas com citometria de fluxo que é a técnica padrão para pesquisa de inibidores de bombas de efluxo. Os compostos que foram mais efectivos na inibição da bomba ABCB1, causando assim maior acumulação de brometo de etídeo nas células que sobre-expressam esta bomba foram: PDPH-3, GL-7, KK-XV, AD-29, Thioam-1, SZ-7, KF-2, MN-3, RW-13, LL-9, P3, AD-26, JH-63 e RW- 15b. Este facto não corroborou totalmente os resultados da citometria de fluxo uma vez que os moduladores que provocaram maior inibição da bomba ABCB1 foram o MN-3, JH-63 e o BS-1, sendo que o último não foi seleccionado como um bom composto usando o método fluorométrico de acumulação de brometo de etídeo. Conclusão: Os compostos derivados de hidantoínas testados tiveram maior efeito nas estirpes de bactérias Gram-negativas do que nas Gram-positivas. Relativamente às células eucariotas, as estruturas mais activas apresentam substituintes aromáticos bem como alguns fragmentos aminicos terciários.

Expression of antibodies and retroviralVectors from defined chromosomal sites: strategies towards reliable production systems

Dissertation presented to obtain a Ph.D. degree in Sciences of Engineering and Technology, Cell Technology, at the Instituto de Tecnologia Química e Biológica, Universidade Nova de Lisboa

Invited review: Models for the optimization of regional wastewater treatment systems

European Journal of Operational Research, nº 73 (1994)