Tunnel engineering – influence of the type and the quantity of measurements in the back analysis of geomechanical parameters

The monitoring data collected during tunnel excavation can be used in inverse analysis procedures in order to identify more realistic geomechanical parameters that can increase the knowledge about the interested formations. These more realistic parameters can be used in real time to adapt the project to the real structure in situ behaviour. However, monitoring plans are normally designed for safety assessment and not especially for the purpose of inverse analysis. In fact, there is a lack of knowledge about what types and quantity of measurements are needed to succeed in identifying the parameters of interest. Also, the optimisation algorithm chosen for the identification procedure may be important for this matter. In this work, this problem is addressed using a theoretical case with which a thorough parametric study was carried out using two optimisation algorithms based on different calculation paradigms, namely a conventional gradient-based algorithm and an evolution strategy algorithm. Calculations were carried for different sets of parameters to identify several combinations of types and amount of monitoring data. The results clearly show the high importance of the available monitoring data and the chosen algorithm for the success rate of the inverse analysis process.

Methodology for real-time adaptation of tunnels support using the observational method

The observational method in tunnel engineering allows the evaluation in real time of the actual conditions of the ground and to take measures if its behavior deviates considerably from predictions. However, it lacks a consistent and structured methodology to use the monitoring data to adapt the support system in real time. The definition of limit criteria above which adaptation is required are not defined and complex inverse analysis procedures (Rechea et al. 2008, Levasseur et al. 2010, Zentar et al. 2001, Lecampion et al. 2002, Finno and Calvello 2005, Goh 1999, Cui and Pan 2012, Deng et al. 2010, Mathew and Lehane 2013, Sharifzadeh et al. 2012, 2013) may be needed to consistently analyze the problem. In this paper a methodology for the real time adaptation of the support systems during tunneling is presented. In a first step limit criteria for displacements and stresses are proposed. The methodology uses graphics that are constructed during the project stage based on parametric calculations to assist in the process and when these graphics are not available, since it is not possible to predict every possible scenario, inverse analysis calculations are carried out. The methodology is applied to the “Bois de Peu” tunnel which is composed by two tubes with over 500 m long. High uncertainty levels existed concerning the heterogeneity of the soil and consequently in the geomechanical design parameters. The methodology was applied in four sections and the results focus on two of them. It is shown that the methodology has potential to be applied in real cases contributing for a consistent approach of a real time adaptation of the support system and highlight the importance of the existence of good quality and specific monitoring data to improve the inverse analysis procedure.

Potential implications of ketamine anesthesia on zebrafish behavior

Dissertação de mestrado integrado em Psicologia

Diversidade de Arctiinae (Lepidoptera, Arctiidae) em área alterada em Altamira, Amazônia Oriental, Pará, Brasil

Este trabalho avaliou a fauna de Arctiinae em Altamira, Pará, numa área com forte ação antrópica, por meio de armadilhas luminosas, com capturas de duas noites a cada fase de lua nova por mês, no período de dezembro de 2007 a novembro de 2008. Na avaliação foram utilizados os parâmetros: riqueza, abundância, constância, índices de diversidade e uniformidade de Shannon (H’ e E’) e Brillouin (H e E), dominância de Berger-Parker (BP). As estimativas de riqueza foram feitas através dos procedimentos não paramétricos, “Bootstrap”, “Chao 1”, “Chao 2”, “Jackknife 1”, “Jackknife 2” e “Michaelis-Mentem”. Foram capturados 420 espécimes pertencentes a 64 táxons de Arctiinae, sendo 19 espécies registradas pela primeira vez no estado do Pará. Os valores dos parâmetros analisados para todo o período foram: H’= 4,69, E’= 0,781, H= 4,37, E= 0,732 e BP= 0,183. Durante o período menos chuvoso (junho-novembro) foram encontrados os valores mais significativos para todos os parâmetros analisados. No período mais chuvoso (dezembro-maio) foram encontrados os mais significativos percentuais de similaridade entre os meses. Os estimadores previram o encontro de mais espécies, entre 18,7% a 60,9%.

Notes on necrophagous flies (Diptera: Calyptratae) associated to fish carrion in Colombian Amazon

In recent years, there has been an increasing number of studies on carrion fly communities due to their medical importance and as a consequence of the large number of studies on forensic entomology. Surprisingly few studies have adressed with the asynantropic flies of the Amazon, and none were done in Colombia. A faunistic study of asynantropic flies of the families Calliphoridae, Sarcophagidae, Muscidae and Fannidae in three different landscapes of the Colombian Amazon is presented, trapping effectiveness is assessed, and the first record of Mesembrinella batesi (Aldrich, 1922) and Fannia femoralis (Stein, 1897) from Colombia is reported.

Abundância, Composição e Diversidade de Arctiinae (Lepidoptera, Arctiidae) em um fragmento de floresta na Amazônia Oriental em Altamira, PA, Brasil

Este estudo avaliou a fauna de Arctiinae em um fragmento de floresta primária em Altamira, Pará, na Amazônia Oriental brasileira. As mariposas foram amostradas durante dois anos (de agosto de 2007 a julho de 2009), com auxílio de armadilha luminosa. Foram medidos os seguintes parâmetros: riqueza, abundância, constância, índices de diversidade e uniformidade de Shannon (H' e E') e de Brillouin (H e E) e o índice de dominância de Berger-Parker (BP). As estimativas de riqueza, foram efetuadas através dos procedimentos não paramétricos, "Bootstrap", "Chao 1", "Chao 2", "Jackknife 1", "Jackknife2" e "Michaelis-Mentem". Foram capturados 466 exemplares pertencentes a 78 espécies de Arctiinae, das quais 12 são novos registros para o Estado. Os valores dos parâmetros analisados para todo o período foram: H'= 3,08, E'= 0,708, H= 2,86, E= 0,705 e BP= 0,294. As comunidades dos meses menos chuvosos foram mais diversas. Os estimadores previram o encontro de 17 a 253 espécies a mais.

Arctiinae (Lepidoptera, Arctiidae) ocorrentes em uma área de pastagem na Amazônia Oriental em Altamira, Pará, Brasil

O presente estudo avaliou a fauna de Arctiinae numa área de pastagem na Amazônia Oriental em Altamira-Pará, por meio de armadilha luminosa, com duas capturas mensais noturnas a cada fase da lua nova, no período de dezembro de 2008 a novembro de 2010. Foram avaliados os seguintes parâmetros: riqueza, abundância, dominância, constância, índices de diversidade e uniformidade de Shannon (H' e E') e Brillouin (H e E), dominância de Berger-Parker (BP). As estimativas de riqueza foram feitas através dos procedimentos não paramétricos, "Bootstrap", "Chao1", "Chao2", "Jackknife1", "Jackknife2", e "Michaelis-Mentem". Foram capturados 910 exemplares pertencentes a 85 espécies de Arctiinae. Os valores dos parâmetros analisados para o período total foram: H'= 2,58, E'= 0,581, H= 2,45, E= 0,576 e BP= 0,433. Para os anos, tanto a riqueza quanto a abundância foi maior em 2009-2010. A diversidade e uniformidade de Shannon e Brillouin foram maiores para o ano de 2008-2009. Os estimadores previram um aumento entre 18,8% e 85,9 % na riqueza de espécies.

On the length of bank-firm relationships: an empirical application to a major French bank

NIPE - WP 01/ 2016

Implementation and validation of a strain rate dependent anisotropic continuum model for masonry

A newly developed strain rate dependent anisotropic continuum model is proposed for impact and blast applications in masonry. The present model adopted the usual approach of considering different yield criteria in tension and compression. The analysis of unreinforced block work masonry walls subjected to impact is carried out to validate the capability of the model. Comparison of the numerical predictions and test data revealed good agreement. Next, a parametric study is conducted to evaluate the influence of the tensile strengths along the three orthogonal directions and of the wall thickness on the global behavior of masonry walls.

Dynamic interface model for masonry walls subjected to high strain rate out-of-plane loads

The present study proposes a dynamic constitutive material interface model that includes non-associated flow rule and high strain rate effects, implemented in the finite element code ABAQUS as a user subroutine. First, the model capability is validated with numerical simulations of unreinforced block work masonry walls subjected to low velocity impact. The results obtained are compared with field test data and good agreement is found. Subsequently, a comprehensive parametric analysis is accomplished with different joint tensile strengths and cohesion, and wall thickness to evaluate the effect of the parameter variations on the impact response of masonry walls.

Cerebral perfusion and automated individual analysis using SPECT among an obsessive-compulsive population

OBJECTIVE: To make individual assessments using automated quantification methodology in order to screen for perfusion abnormalities in cerebral SPECT examinations among a sample of subjects with OCD. METHODS: Statistical parametric mapping (SPM) was used to compare 26 brain SPECT images from patients with OCD individually with an image bank of 32 normal subjects, using the statistical threshold of p < 0.05 (corrected for multiple comparisons at the level of individual voxels or clusters). The maps were analyzed, and regions presenting voxels that remained above this threshold were sought. RESULTS: Six patients from a sample of 26 OCD images showed abnormalities at cluster or voxel level, considering the criteria described above, which represented 23.07%. However, seven images from the normal group of 32 were also indicated as cases of perfusional abnormality, representing 21.8% of the sample. CONCLUSION: The automated quantification method was not considered to be a useful tool for clinical practice, for analyses complementary to visual inspection.

Joint modelling of longitudinal and survival data on breast cancer

Tese de Doutoramento em Ciências (Especialidade em Matemática)

Estudo numérico sobre o reforço de pilares de betão armado com cantoneiras e presilhas metálicas: análise paramétrica e modelo de cálculo

Dissertação de mestrado integrado em Engenharia Civil

Refinement in hybridised institutions

Hybrid logics, which add to the modal description of transition structures the ability to refer to specific states, offer a generic framework to approach the specification and design of reconfigurable systems, i.e., systems with reconfiguration mechanisms governing the dynamic evolution of their execution configurations in response to both external stimuli or internal performance measures. A formal representation of such systems is through transition structures whose states correspond to the different configurations they may adopt. Therefore, each node is endowed with, for example, an algebra, or a first-order structure, to precisely characterise the semantics of the services provided in the corresponding configuration. This paper characterises equivalence and refinement for these sorts of models in a way which is independent of (or parametric on) whatever logic (propositional, equational, fuzzy, etc) is found appropriate to describe the local configurations. A Hennessy–Milner like theorem is proved for hybridised logics.

Implementação de metodologias BIM na Direção de Engenharia de Barragens da EDP: casos de estudo de projeto de estruturas em obras hidroelétricas

Dissertação de mestrado integrado em Engenharia Civil