Comporta de vigas: dimensionamento e análise estrutural

As comportas de vigas de fundo, objecto de estudo no presente trabalho, são essenciais devido à sua capacidade de controlo do fluxo de água em casos de emergência. Assim este trabalho visou o dimensionamento e análise estrutural de uma comporta dessa natureza. Para o seu dimensionamento foi essencial a norma DIN19704-1:1998, que define todos os padrões que devem ser levados em conta numa construção hidráulica em aço. Deste modo, após uma breve descrição do enquadramento e do estado da arte relativamente a este assunto, foram apresentados ao longo do trabalho, os cálculos dos principais componentes mecânicos que fazem parte dum projecto de uma comporta de vigas. Para comprovar a validade do dimensionamento da comporta realizado através da norma, recorreu-se a um software de análise e simulação por elementos finitos, COSMOSWorks, no sentido de assim prever o comportamento mecânico em análise estática linear, que as solicitações mecânicas em presença têm sobre a comporta. Os resultados da comparação entre o dimensionamento teórico e a análise de tensões através do COSMOSWorks nos elementos mais críticos da estrutura, permitem concluir globalmente que a comporta está bem dimensionada tendo em conta os esforços que tem de suportar.

A type system for access control in an object-oriented language

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

A study on the modeling of sandwich functionally graded particulate composites

Dual-phase functionally graded materials are a particular type of composite materials whose properties are tailored to vary continuously, depending on its two constituent's composition distribution, and which use is increasing on the most diverse application fields. These materials are known to provide superior thermal and mechanical performances when compared to the traditional laminated composites, exactly because of this continuous properties variation characteristic, which enables among other advantages smoother stresses distribution profile. In this paper we study the influence of different homogenization schemes, namely the schemes due to Voigt, Hashin-Shtrikman and Mod-Tanaka, which can be used to obtain bounds estimates for the material properties of particulate composite structures. To achieve this goal we also use a set of finite element models based on higher order shear deformation theories and also on first order theory. From the studies carried out, on linear static analyses and on free vibration analyses, it is shown that the bounds estimates are as important as the deformation kinematics basis assumed to analyse these types of multifunctional structures. Concerning to the homogenization schemes studied, it is shown that Mori-Tanaka and Hashin-Shtrikman estimates lead to less conservative results when compared to Voigt rule of mixtures.

Mode-Controlled Data-Flow Modeling of Real-Time Memory Controllers

Accepted in 13th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia 2015), Amsterdam, Netherlands.

Per-unit royalty and fixed-fee licensing in a differentiated Stackelberg model

In the present paper we consider a differentiated Stackelberg model, when the leader firm engages in an R&D process that gives an endogenous cost-reducing innovation. The aim is to study the licensing of the cost-reduction by a per-unit royalty and a fixed-fee. We analyse the implications of these types of licensing contracts over the R&D effort, the profits of the firms, the consumer surplus and the social welfare. By using comparative static analysis, we conclude that the degree of the differentiation of the goods plays an important role in the results.

Modeling assembly program with constraints. A contribution to WCET problem

Dissertação para obtenção do Grau de Mestre em Lógica Computacional

An application of reliability-based robustness assessment of steel moment resisting frame structures under post-mainshock cascading events

The paper presented herein proposes a reliability-based framework for quantifying the structural robustness considering the occurrence of a major earthquake (mainshock) and subsequent cascading hazard events, such as aftershocks that are triggered by the mainshock. These events can significantly increase the probability of failure of buildings, especially for structures that are damaged during the mainshock. The application of the proposed framework is exemplified through three numerical case studies. The case studies correspond to three SAC steel moment frame buildings of 3-, 9-, and 20- stories, which were designed to pre-Northridge codes and standards. Twodimensional nonlinear finite element models of the buildings are developed using the Open System for Earthquake Engineering Simulation framework (OpenSees), using a finite-length plastic hinge beam model and a bilinear constitutive law with deterioration, and are subjected to multiple mainshock-aftershock seismic sequences. For the three buildings analyzed herein, it is shown that the structural reliability under a single seismic event can be significantly different from that under a sequence of seismic events. The reliability-based robustness indicator used shows that the structural robustness is influenced by the extent by which a structure can distribute damage.

Maintaining the correctness of transactional memory programs

Dissertação para obtenção do Grau de Doutor em Engenharia Informática

In vitro action of antiparasitic drugs, especially artesunate, against Toxoplasma gondii

INTRODUCTION: Toxoplasmosis is usually a benign infection, except in the event of ocular, central nervous system (CNS), or congenital disease and particularly when the patient is immunocompromised. Treatment consists of drugs that frequently cause adverse effects; thus, newer, more effective drugs are needed. In this study, the possible activity of artesunate, a drug successfully being used for the treatment of malaria, on Toxoplasma gondii growth in cell culture is evaluated and compared with the action of drugs that are already being used against this parasite. METHODS: LLC-MK2 cells were cultivated in RPMI medium, kept in disposable plastic bottles, and incubated at 36ºC with 5% CO2. Tachyzoites of the RH strain were used. The following drugs were tested: artesunate, cotrimoxazole, pentamidine, pyrimethamine, quinine, and trimethoprim. The effects of these drugs on tachyzoites and LLC-MK2 cells were analyzed using nonlinear regression analysis with Prism 3.0 software. RESULTS: Artesunate showed a mean tachyzoite inhibitory concentration (IC50) of 0.075µM and an LLC MK2 toxicity of 2.003µM. Pyrimethamine was effective at an IC50 of 0.482µM and a toxicity of 11.178µM. Trimethoprim alone was effective against the in vitro parasite. Cotrimoxazole also was effective against the parasite but at higher concentrations than those observed for artesunate and pyrimethamine. Pentamidine and quinine had no inhibitory effect over tachyzoites. CONCLUSIONS: Artesunate is proven in vitro to be a useful alternative for the treatment of toxoplasmosis, implying a subsequent in vivo effect and suggesting the mechanism of this drug against the parasite.

Reverse engineering of web applications

The MAP-i Doctoral Program of the Universities of Minho, Aveiro and Porto

Feasibility of internally stiffened thin-walled beams for industrial applications

Several types of internally reinforced thin-walled beams are subjected to a feasibility evaluation of its mechanical behavior for industrial applications. The adapting of already existing efficient sandwich geometries to hollow-box beams of larger dimensions may reveal promising results. Novel types of sandwich beams under bending and torsion uncoupled loadings are studied in terms of stiffness behavior in static analysis. For the analysis of the solutions, the models are built using the Finite Element Method (FEM) software ANSYS Mechanical APDL. The feasibility of the novel beams was determined by the comparison of the stiffness behavior of the novel hollow-box beams with conventional hollow-box beams. An efficiency parameter was defined in order to determine the feasibility. It is found that the novel geometries represent an excellent improvement under bending loadings, better than under torsion loadings. Nevertheless, for bending and torsion combined loadings, if bending loads are predominant, the beams can still be interesting for some applications, in particular those with mobile parts.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

Urinary oxalate and urate to creatinine ratios in a healthy pediatric population.

The purpose of the study was to determine reference percentiles for the urinary (U) oxalate (Ox) and urate (Ura) to creatinine (Cr) concentration ratios in the second morning urine of healthy infants, children, and adolescents. The urinary oxalate and urate to creatinine ratios were determined in the spontaneously voided second morning urine sample. To test reproducibility, two urine samples were analyzed on 2 consecutive weeks in 63% of the subjects. Three hundred eighty-four healthy children (181 girls, 203 boys), aged 1 month to 17 years, from nurseries, kindergartens, and schools of Lausanne, Switzerland, were studied. The 5th and 95th percentiles were determined from the total number of urine samples (627) after confirmation that there was no order effect between repeated measurements and there were no significant sex differences. A nonlinear regression analysis in terms of age was used to smooth the calculated percentiles. In this manner, curves were obtained from which the reference values can be read at any given age. The 95th percentiles decreased with age: for UOx/Cr from 0.175 mg/mg (0.22 mol/mol) at 1 to 6 months to 0.048 mg/mg (0.06 mol/mol) from 7 years and beyond; and UUra/Cr from 2.378 mg/mg (1.6 mol/mol) at 1 to 6 months to 0.594 mg/mg (0.4 mol/mol) in adolescence. We provide 5th and 95th percentile curves for the UOx/Cr and UUra/Cr ratios determined from the second morning urine samples in a large cohort of healthy infants, children, and adolescents. Values were determined by standard analytical chemical techniques and were analyzed by powerful statistical methods. The calculated 95th percentile for the UOx/Cr values fell rather rapidly and reached normal adult values by the age of 7 years, whereas for UUra/Cr, the 95th percentile decreased slowly and stabilized in adolescence.

Comparación de analizadores estáticos para código java

El objetivo principal de este artículo es la selección y comparación de dos herramientas de análisis estático para java, esta tarea necesita de estudiar previamente el estado del arte de estos analizadores, ver qué características son deseables para este tipo de analizadores y finalmente compararlas en ejecución sobre los dos proyectos de software libre elegidos argoUML y openProj. Se compara FindBugs con PMD, dos analizadores que pueden utilizarse con la versión 1.6. de JDK. Los resultados de la comparación nos permiten deducir que los analizadores se complementan en cuanto a bugs detectados, hay pocos solapamientos. Como conclusiones podemos decir que la búsqueda de bugs necesita de más de una herramienta de análisis estático.

Principal curves and principal oriented points

Principal curves have been defined Hastie and Stuetzle (JASA, 1989) assmooth curves passing through the middle of a multidimensional dataset. They are nonlinear generalizations of the first principalcomponent, a characterization of which is the basis for the principalcurves definition.In this paper we propose an alternative approach based on a differentproperty of principal components. Consider a point in the space wherea multivariate normal is defined and, for each hyperplane containingthat point, compute the total variance of the normal distributionconditioned to belong to that hyperplane. Choose now the hyperplaneminimizing this conditional total variance and look for thecorresponding conditional mean. The first principal component of theoriginal distribution passes by this conditional mean and it isorthogonal to that hyperplane. This property is easily generalized todata sets with nonlinear structure. Repeating the search from differentstarting points, many points analogous to conditional means are found.We call them principal oriented points. When a one-dimensional curveruns the set of these special points it is called principal curve oforiented points. Successive principal curves are recursively definedfrom a generalization of the total variance.