Software languages engineering: experimental evaluation

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Informática

Spectral and weak polynomial completeness for the product of nonsingular matrices

Let F be a field with at least four elements. In this paper, we identify all the pairs (A, B) of n x n nonsingular matrices over F, satisfying the following property: for every monic polynomial f (x) = x(n) + a(n-1)x(n-1) +... + a(1)x + a(0) over F, with a root in F and a(0) = (-1)(n) det(AB), there are nonsingular matrices X, Y is an element of F-nxn such that XAX(-1)Y BY-1 has characteristic polynomial f (x).

Study in real conditions and in laboratory of the application of expanded agglomerated cork as exterior wall covering

The interest of the study on the implementation of expanded agglomerated cork as exterior wall covering derives from two critical factors in a perspective of sustainable development: the use of a product consisting of a renewable natural material-cork-and the concern to contribute to greater sustainability in construction. The study aims to assess the feasibility of its use by analyzing the corresponding behaviour under different conditions. Since this application is relatively recent, only about ten years old, there is still much to learn about the reliability of its long-term properties. In this context, this study aims to deepen and approach aspects, some of them poorly studied and even unknown, that deal with characteristics that will make the agglomerate a good choice for exterior wall covering. The analysis of these and other characteristics is being performed by testing both under actual exposure conditions, on an experimental cell at LNEC, and on laboratory. In this paper the main laboratory tests are presented and the obtained results are compared with the outcome of the field study. © (2015) Trans Tech Publications, Switzerland.

Employment of the side product of biodiesel production in the formation of surfactant like molecules

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Química e Bioquímica

CHRONIC CHAGASIC CARDIOPATHY: THE PRODUCT OF A TURBULENT HOST-PARASITE RELATIONSHIP

The pathogenesis of chronic chagasic cardiopathy is still a debated matter. In this review, the main theories raised about it since the first description of the disease in 1909 by Carlos Chagas, are considered. The scarcity of T.cruzi parasites into the myocardium and the apparent lack of correlation between their presence and the occurrence of myocardial inflammatory infiltrate, have originated many theories indicating that chronic Chagas' cardiopathy is an autoimmune disease. Recently however, papers using immunohistochemical technique or PCR have demonstrated a strong association between moderate or severe myocarditis and presence of T.cruzi Ags, indicating a direct participation of the parasite in the genesis of chronic chagasic myocarditis. Different patterns of cytokine production seem to have important role in the outcome of the disease. Participation of the microcirculatory alterations and fibrosis as well as the relationship with the parasite are also emphasized. Finally, the author suggests that the indeterminate form of the disease occurs when the host immunological response against the parasite is more efficient while the chronic cardiopathy occurs in patients with hyperergic and inefficient immune response

Ferramentas para optimização da solução NGIN da PT Inovação

Mestrado em Engenharia Informática

Association between dairy product intake and abdominal obesity in Azorean adolescents

BACKGROUND: Some studies have reported an inverse association between dairy product (DP) consumption and weight or fat mass loss. OBJECTIVES: The objective of our study was to assess the association between DP intake and abdominal obesity (AO) among Azorean adolescents. SUBJECTS/METHODS: This study was a cross-sectional analysis. A total of 903 adolescents (370 boys) aged 15--16 years was evaluated. Anthropometric measurements were collected (weight, height and waist circumference (WC)) and McCarthy’s cut-points were used to categorize WC. AO was defined when WC was X90th percentile. Adolescent food intake was assessed using a self-administered semiquantitative food frequency questionnaire and DP intake was categorized in o2 and X2 servings/day. Data were analyzed separately for girls and boys, and logistical regression was used to estimate the association between DPs and AO adjusting for potential confounders. RESULTS: The prevalence of AO was 54.9% (boys: 32.1% and girls: 70.7%, Po0.001). For boys and girls, DP consumption was 2.3±1.9 and 2.1±1.6 servings/day (P¼0.185), respectively. In both genders, the proportion of adolescents with WC o90th percentile was higher among individuals who reported a dairy intake of X2 servings/day compared with those with an intake o2 servings/day (boys: 71% vs 65% and girls: 36% vs 24%, Po0.05). After adjustments for confounders, two or more DP servings per day were a negative predictor of AO (odds ratio, 0.217; 95% confidence interval, 0.075 -- 0.633) only in boys. CONCLUSION: We found a protective association between DP intake and AO only in boys.

Caracterização do “warpage” e sua variabilidade no processo produtivo de encapsulamento de circuitos integrados

Nos últimos anos a indústria de semicondutores, nomeadamente a produção de memórias, tem sofrido uma grande evolução. A necessidade de baixar custos de produção, assim como de produzir sistemas mais complexos e com maior capacidade, levou à criação da tecnologia WLP (Wafer Level Packaging). Esta tecnologia permite a produção de sistemas mais pequenos, simplificar o fluxo do processo e providenciar uma redução significativa do custo final do produto. A WLP é uma tecnologia de encapsulamento de circuitos integrados quando ainda fazem parte de wafers (bolachas de silício), em contraste com o método tradicional em que os sistemas são individualizados previamente antes de serem encapsulados. Com o desenvolvimento desta tecnologia, surgiu a necessidade de melhor compreender o comportamento mecânico do mold compound (MC - polímero encapsulante) mais especificamente do warpage (empeno) de wafers moldadas. O warpage é uma característica deste produto e deve-se à diferença do coeficiente de expansão térmica entre o silício e o mold compound. Este problema é observável no produto através do arqueamento das wafers moldadas. O warpage de wafers moldadas tem grande impacto na manufatura. Dependendo da quantidade e orientação do warpage, o transporte, manipulação, bem como, a processamento das wafers podem tornar-se complicados ou mesmo impossíveis, o que se traduz numa redução de volume de produção e diminuição da qualidade do produto. Esta dissertação foi desenvolvida na Nanium S.A., empresa portuguesa líder mundial na tecnologia de WLP em wafers de 300mm e aborda a utilização da metodologia Taguchi, no estudo da variabilidade do processo de debond para o produto X. A escolha do processo e produto baseou-se numa análise estatística da variação e do impacto do warpage ao longo doprocesso produtivo. A metodologia Taguchi é uma metodologia de controlo de qualidade e permite uma aproximação sistemática num dado processo, combinando gráficos de controlo, controlo do processo/produto, e desenho do processo para alcançar um processo robusto. Os resultados deste método e a sua correta implementação permitem obter poupanças significativas nos processos com um impacto financeiro significativo. A realização deste projeto permitiu estudar e quantificar o warpage ao longo da linha de produção e minorar o impacto desta característica no processo de debond. Este projecto permitiu ainda a discussão e o alinhamento entre as diferentes áreas de produção no que toca ao controlo e a melhoria de processos. Conseguiu–se demonstrar que o método Taguchi é um método eficiente no que toca ao estudo da variabilidade de um processo e otimização de parâmetros. A sua aplicação ao processo de debond permitiu melhorar ou a fiabilidade do processo em termos de garantia da qualidade do produto, como ao nível do aumento de produção.

A reliability-based measure of robustness for concrete structures subjected to corrosion

This work is a contribution to the definition and assessment of structural robustness. Special emphasis is given to reliability of reinforced concrete structures under corrosion of longitudinal reinforcement. On this communication several authors’ proposals in order to define and measure structural robustness are analyzed and discussed. The probabilistic based robustness index is defined, considering the reliability index decreasing for all possible damage levels. Damage is considered as the corrosion level of the longitudinal reinforcement in terms of rebar weight loss. Damage produces changes in both cross sectional area of rebar and bond strength. The proposed methodology is illustrated by means of an application example. In order to consider the impact of reinforcement corrosion on failure probability growth, an advanced methodology based on the strong discontinuities approach and an isotropic continuum damage model for concrete is adopted. The methodology consist on a two-step analysis: on the first step an analysis of the cross section is performed in order to capture phenomena such as expansion of the reinforcement due to the corrosion products accumulation and damage and cracking in the reinforcement surrounding concrete; on the second step a 2D deteriorated structural model is built with the results obtained on the first step of the analysis. The referred methodology combined with a Monte Carlo simulation is then used to compute the failure probability and the reliability index of the structure for different corrosion levels. Finally, structural robustness is assessed using the proposed probabilistic index.

Study of the Reliability of Statistical Timing Analysis for Real-Time Systems

Presented at 23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.

Voltammetric analysis of mancozeb and its degradation product ethylenethiourea

The purpose of this work was to develop a reliable alternative method for the determination of the dithiocarbamate pesticide mancozeb (MCZ) in formulations. Furthermore, a method for the analysis of MCZ's major degradation product, ethylenethiourea (ETU), was also proposed. Cyclic voltammetry was used to characterize the electrochemical behavior of MCZ and ETU, and square-wave adsorptive stripping voltammetry (SWAdSV) was employed for MCZ quantification in commercial formulations. It was found that both MCZ and ETU are irreversibly reduced (− 0.6 V and − 0.5 V vs Ag/AgCl, respectively) at the surface of a glassy carbon electrode in a mainly diffusion-controlled process, presenting maximum peak current intensities at pH 7.0 (in phosphate buffered saline electrolyte). Several parameters of the SWAdSV technique were optimized and linear relationships between concentration and peak current intensity were established between 10–90 μmol L− 1 and 10–110 μmol L− 1 for MCZ and ETU, respectively. The limits of detection were 7.0 μmol L− 1 for MCZ and 7.8 μmol L− 1 for ETU. The optimized method for MCZ was successfully applied to the quantification of this pesticide in two commercial formulations. The developed procedures provided accurate and precise results and could be interesting alternatives to the established methods for quality control of the studied products, as well as for analysis of MCZ and ETU in environmental samples.

Reliability of Two Methods for Identifying the Postural Phase of Gait Initiation in Healthy and Post-stroke Subjects

This study aims to compare two methods of assessing the postural phase of gait initiation as to intrasession reliability, in healthy and post-stroke subjects. As a secondary aim, this study aims to analyse anticipatory postural adjustments during gait initiation based on the centre of pressure (CoP) displacements in post-stroke participants. The CoP signal was acquired during gait initiation in fifteen post-stroke subjects and twenty-three healthy controls. Postural phase was identified through a baseline-based method and a maximal displacement based method. In both healthy and post-stroke participants higher intra-class correlation coefficient and lower coefficient of variation values were obtained with the baseline-based method when compared to the maximal displacement based method. Post-stroke participants presented decreased CoP displacement backward and toward the first swing limb compared to controls when the baseline-based method was used. With the maximal displacement based method, there were differences between groups only regarding backward CoP displacement. Postural phase duration in medial-lateral direction was also increased in post-stroke participants when using the maximal displacement based method. The findings obtained indicate that the baseline-based method is more reliable detecting the onset of gait initiation in both groups, while the maximal displacement based method presents greater sensitivity for post-stroke participants.

Reliability analysis of a timber truss system subjected to decay

Assessing the safety of existing timber structures is of paramount importance for taking reliable decisions on repair actions and their extent. The results obtained through semi-probabilistic methods are unrealistic, as the partial safety factors present in codes are calibrated considering the uncertainty present in new structures. In order to overcome these limitations, and also to include the effects of decay in the safety analysis, probabilistic methods, based on Monte-Carlo simulation are applied here to assess the safety of existing timber structures. In particular, the impact of decay on structural safety is analyzed and discussed, using a simple structural model, similar to that used for current semi-probabilistic analysis.

Estudo de Ferramentas FEA Comerciais na Simulação Numérica de Processos de Conformação de Chapas Metálicas. Aplicação à Indústria Automóvel.

Os componentes obtidos através da conformação plástica de chapas têm uma grande importância, tanto na etapa de concepção do produto como na etapa de produção na indústria automóvel. Isto comprova-se pelo facto de, em média, cada automóvel integrar cerca de 500 componentes estampados para construir o chassis e a carroçaria [Alves 2003]. Deste total de componentes, 50 são de grandes dimensões (portas, tejadilho, painéis inferior e laterais, entre outros) e necessitam, em média, de cinco ferramentas para o seu fabrico, sendo o custo estimado para cada ferramenta de 230 000 € [Col 2000, Alves 2003]. Para além da indústria automóvel, a conformação plástica de chapas metálicas é um processo tecnológico presente nas indústrias relativas à aeroespacial, petrolífera, decoração, alimentar, entre outras. Do ponto de vista do enquadramento económico, cerca de 20% do custo total de um automóvel novo é devido à incorporação de componentes metálicos estampados. [Alves 2003]. A pressão do “Mercado Global” faz com que os custos relativos à matéria-prima, energia e mão-de-obra sejam uma constante em termos de redução do seu impacte no orçamento das empresas fornecedoras destes produtos. É neste contexto que surge a necessidade da realização deste estudo de Benchmark de Softwares, tornando-se bastante importante, quer ao nível da competitividade industrial, quer ao nível da inovação para novos produtos. A análise por elementos finitos desempenha um papel primordial no tryout virtual e otimização das ferramentas e processos de conformação plástica. Os objetivos principais deste estudo de simulação numérica são a identificação e comparação dos resultados obtidos pelo AUTOFORM e pelo PAMSTAMP, para cada uma das variáveis identificadas como as mais influentes na robustez dos processos de estampagem de chapa metálica. Estas variáveis identificadas são: consumo de material (Draw-in) após conformação; forças de conformação; valores de variação de espessura e dos valores de extensão e resultados de Springback. Os resultados obtidos são comparados com os resultados experimentais e, desta forma, avalia-se a capacidade inovadora e a eficácia de cada um dos softwares, obtendo-se assim, uma orientação mais real para o software mais indicado aos objetivos impostos pela indústria automóvel. Para este efeito, a indústria automóvel, como maior impulsionador e motor da investigação na área da simulação numérica aplicada aos processos de estampagem, tem aderido em peso ao Benchmarking. Um exemplo disto, é o que acontece nas conferências Numisheet. O Benchmark #2 da conferência Numisheet 2008 é analisado pormenorizadamente e os resultados numéricos e experimentais são comparados e apresentados. Dois materiais distintos (aço HC260LAD e liga de alumínio AC170), assim como três modelos com geometrias diferentes (com e sem freios) são apresentados neste relatório. Com vista à redução dos ciclos tentativa-erro, tem-se adotado ciclos virtuais ou numéricos e tem-se incrementado a interatividade entre as fases de concepção e projeto, num conceito muito próprio, mas cada vez mais abrangente, denominado “produção virtual”. É nesta filosofia que se insere a simulação numérica dos processos de conformação de chapa.