Papers
Info
Bayesian Estimation in Dam Monitoring Networks
Summary: A Bayesian estimator with informative prior distributions (a multi-normal and an inverted gamma distribution), adequate to displacement estimation at dam monitoring net-works, is presented. The hyper-parameters of the prior distributions are obtained by Bayesian empirical methods with non-informative priors. The performances of the Bayes estimator and the classical generalized lest squares estimator are compared using two measurements of the horizontal monitoring network of a concrete gravity dam: the Penha Garcia dam (Portugal). In order to test the robustness of the two estimators, gross errors are added to one of the measured horizontal directions: the Bayes estimator proves to be significantly more robust than the generalized least squares estimator.
Year: 2011
Number Pages:
7.
Author(s): Casaca, J. M.; Mateus, P. B.; Coelho, J. I.
: Journal of Civil Engineering and Architecture
Editor: David Publishing Company
Volume:
Vol. 5, Nº 2.
Keywords: Parametric elicitation; Hyper-parameter; Bayes estimator
Info
Persistent Scatterers Interferometry detects and measures ground subsidence in Lisbon
Results from the application of Persistent Scatterers Interferometry in Lisbon Metropolitan Area revealed two previously unknown subsiding urban areas: one (Laranjeiras) is located in the center of Lisbon; another (Vialonga) is to be found toward the North, in an industrial region crossed by Lisbon's main highway and railway lines. The two subsiding sectors are bordered by sharp velocity gradients, and the subsidence pattern appears partially delimited by mapped geologic faults. Surface geology and urbanization alone are unable to explain the phenomena. In the Vialonga area, the historical record of water pore pressure shows a clear decline of the levels (up to 65 m in 27 years), providing evidence of over-exploitation of groundwater resources. Limited information from wells drilled inside and outside the subsidence area points to a spatial correlation between the subsidence and the water pressure levels, and suggests that faults could be acting as hydraulic barriers in the aquifer system. The surface subsidence detected is probably caused by compaction of a clay-rich Oligocene-aged aquitard, led by over-exploitation of adjacent aquifers. The same Oligocene aquitard layer is present in the Laranjeiras area, immediately bellow a multi-layered sandclaylimestone Miocene aquifer, but further work is needed to diagnose the possibility of over-exploitation of groundwater here. In this work we were able to independently confirm the PSI results, by comparing autonomous PSI results processed for the same geographical areas, and by comparing PSI with leveling and continuous GPS derived subsidence velocities, whose close match provided further ground validation of the space-borne PSI technique.
Year: 2011
Author(s): Heleno, S.; Oliveira, L. G. S.; Henriques, M. J.; Falcão, A. P.; Lima, J. N.; Cooksley, G.; Ferretti, A.; Fonseca, A. M.; Lobo Ferreira, J. P. C.; Fonseca, J.
: Remote Sensing of Environment
Volume:
doi:10.1016/j.rse.2011.04.021.
Keywords: Gps; Leveling; Groundwater; Surface subsidence; Metropolitan lisbon; Psi interferometry
Info
Using Components of the Mahalanobis Squared Norm of the Residuals Vector for Quality Control in Local Engineering Networks
ABSTRACT: Local engineering precision networks are currently used to monitor the displacements of large dams, with safety control purposes. These one, two or three-dimensional networks are local, be-cause they are tied to local reference frames, and they are precision networks, because they aim at millimetric, or even submillimetric, accuracy. The most important obstacles to such an accuracy are the instrumental and environmental systematic errors. The atmospheric refraction, which cau-ses curvature of the path of the electromagnetic waves and changes its propagation velocity, is the major source of systematic errors. Effective measurement quality control strategies are of utmost importance to guarantee the quality of the results (displacements). The paper presents a quality control strategy supported by random quadratic forms that result from the decomposition of the Mahalanobis squared norm of the residuals vector. The strategy is compared to the well known da-ta-snooping method with regard to the quality control and parameter estimation performances.
Year: 2011
Number Pages:
10p.
Author(s): Casaca, J. M.; Henriques, M. J.
: Survey Review
Editor: Survey Review
Volume:
Vol. 43, n.º 321.
Keywords: Variance components; Geodetic networks
Info
Uma abordagem Bayesiana à amostra aleatória normal
Apresentam-se, neste artigo, os conceitos da inferência paramétrica Bayesiana, no contexto da estimação dos parâmetros de amostras aleatórias normais. São abordados temas práticos não triviais, tais como as distribuições anteriores informativas e a sua eliciação paramétrica pelo método empírico. A finalizar o artigo, é apresentado um exemplo de aplicação da metodologia Bayesiana a um problema de estimação paramétrica no âmbito da engenharia de estruturas.
Year: 2010
Number Pages:
25-31 pp.
Author(s): Casaca, J. M.; Piteira Gomes, J.
: Revista Portuguesa de Engenharia de Estruturas
Editor: LNEC - DE
Volume:
Série III número 7.
Keywords: Verosimilhança; Hiper-parâmetro; Eliciação paramétrica; Distribuição posterior; Distribuição anterior
Info
Introdução aos Espaços de Decisão Discretos
O presente trabalho introduz sumariamente os conceitos básicos da teoria da decisão estatística
Year: 2009
Number Pages:
21-27pp.
Author(s): Casaca, J. M.
Editor: LNEC - DE
Volume:
Série II número 5.
Keywords: Risco; Perda; Estratégia; Estado da natureza
Info
Automatic multi total station monitoring of a tunnel
A tunnel has been under construction for the Lisbon Metro network on the muddy bed of river Tagus. Anincident during the jet-grouting for the muddy soil treatment led to flooding of a specific sector of thetunnel and to the need for repair works. Consequently, a decision has been made to monitor with a shorttime resolution the movements of that sector before, during and after reparation works. This includesthe period in which the tunnel will be in use for its regular operation, with commuters using the subway.Given these general conditions with severe inter-visibility limitations, as well as the cost restraints, anautomatic monitoring system has been designed and put in place, resorting to four LEICA TC2003motorised total stations and to the available commercial software, LEICA GeoMoS. The computationalprocedure of the mentioned software implies a network configuration, in which every total station set upneeds a cluster of control points associated with that particular setup in order to perform a spaceresection. However, it is often difficult to find stable points inside a tunnel under monitoring let aloneduring repair works. Therefore, to overcome this difficulty, adjustment software - EpochSuite
Year: 2007
Number Pages:
203-211.
Author(s): Berberan, A. L.; Machado, M.; Batista, S.
Editor: Survey Review
Keywords: Adjustment software; Total station; Metro tunnel; Automatic monitoring
|
Comunicação
Info
Quality control of a dam geodetic surveying system
Geodetic surveying systems used to monitoring displacements at large concrete dams must becarefully designed and materialized, not only as a response to required submilimeteraccuracies but also in regard as to their lifetime, witch is expected to last as long as the dam.This special care should be extended to the choice of the measurement equipment andprocedures and to the use of adequate adjustment and quality control procedures.The most common sources of errors are: instrument calibration, atmospheric conditions,operative methods, human errors and mistakes and, last but not the least, the unexpectedbehaviour of the reference frame.This paper deals with a real situation, which took place in the geodetic surveying system of aPortuguese dam, where unexpected variations of its horizontal control network
Year: 2004
Number Pages:
9.
Author(s): Henriques, M. J.; Casaca, J. M.
Editor: FIG
Keywords: Controlo de qualidade; Quadro de referência; Geodesia; Monitorização
Info
Monitoring displacements at large dams by means of precision traverses
The paper presents the results of a test on the angular accuracy of a motorized tachymeterrecently used for precision traversing during the first fill of a portuguese large dam. Angularmeasurements were carried out at two precision traverses, one at the crest of the dam and theother at an inspection gallery. Horizontal angles were measured with the automatic targetrecognition procedure of the motorized tachymeter and with a conventional electronictheodolite, with prior equivalent accuracy. Statistical inference methods were used to test the accuracy of automatic angular measurement against conventional measurement.
Year: 2003
Number Pages:
11.
Author(s): Henriques, M. J.; Casaca, J. M.
Editor: FIG
Keywords: Taqueómetro; Teodolito; Poligonal; Barragem; Monotirização
Info
O controlo da qualidade em redes locais para a observação de grandes barragens
A análise do comportamento estrutural de uma barragem de betão baseia-se na observação de um conjunto de variáveis de controlo que inclui, em geral, os deslocamentos de uma amostra discreta e representativa de pontos da estrutura, das suas fundações e maciço circundante. No caso das barragens de betão, são utilizadas: i) Em altimetria, linhas ou mesmo redes de nivelamento geométrico de precisão, apoiadas em quadros de referência locais; ii) Em planimetria, redes de triangulação de precisão, com centragem forçada, também apoiadas em quadros de referência locais. As pequenas tolerâncias impostas aos erros e a repetição da observação ao longo de muitos anos, leva a que estas redes resultem de um planeamento muito cuidadoso e estejam sujeitas a um rigoroso controlo de qualidade. O planeamento consiste na definição de configurações de primeira e segunda ordem que permitam incluir o (hiper) elipsóide de erro da rede no interior de uma (hiper) esfera de tolerância, para um nível de probabilidade elevado definido à priori. O controlo da qualidade pretende assegurar que as especificações do planeamento fram cumpridas e que, consequentemente, os erros que afectam os deslocamentos se encontram no interior da esfera de tolerância com a probabilidade definida à priori. A integração teórica do planeamento e do controlo da qualidade é levada a cabo por um modelo estocástico dos erros de observação que permite utilizar testes de hipóteses na aceitação ou rejeição de grupos de observações.Esta comunicação apresenta a estratégia de controlo de qualidade utilizada pelo LNEC na planimetria das campanhas de observação de grandes barragens de betão. O controlo da qualidade é aplicado às observações ainda em obra, antes do regresso ao gabinete, o que só é possível pela utilização integrada de teodolitos electrónicos, cadernetas electrónicas e computadores portáteis.
Year: 1999
Number Pages:
8.
Author(s): Henriques, M. J.; Casaca, J. M.
Editor: IPCC
Keywords: Controlo de qualidade; Geodesia
Info
A aplicação de modelos da atmosfera na correcção de direcções verticais
O efeito da atmosfera é, actualmente, o factor que mais limita a precisão com que são obtidas asmedições geodésicas e topográficas. Na comunicação é apresentado um modelo para correcçãode direcções verticais. Sendo a temperatura o parâmetro meteorológico que mais afecta as grandezasreferidas é também apresentado um modelo atmosférico que permite estimar a temperaturada atmosfera e o gradiente térmico vertical. A comunicação finaliza com uma aplicação dosreferidos modelos.
Year: 1996
Number Pages:
12.
Author(s): Henriques, M. J.
Keywords: Refracção; Geodesia
|
Books
Info
História Breve do Calendário
O calendário Gregoriano não é mais do que uma reforma do calendárioJuliano, devido a Júlio César, que adaptou os formalismos romanos a uma antigaestrutura solar de origem egípcia. Este ensaio descreve a história do calendárioGregoriano e dos calendários da bacia do Mediterrâneo e do Oriente Próximo,com ele mais ou menos aparentados.
Year: 2009
Number Pages:
61pp.
Author(s): Casaca, J. M.
Editor: LNEC
Keywords: Calendários
|
|
Tese de Doutoramento
Info
Displacement measurement through InSAR geodesy for structural health monitoring
Interferometric synthetic aperture RADAR is an applied geodesy technique, which enables displacement measurement through satellite images. A literature review of the technique principles and of previous studies regarding its application to structural health monitoring allowed the identification of a few bottlenecks to the operational usage of this cost-effective technology for monitoring purposes.Three research lines were defined. First, a data mining strategy was developed to extract structural behaviour information from displacement time series from thousands of points on the region of interest, with tens of observation epochs each. Second, displacements from this technique were integrated into a previously existing monitoring system and were used to expand it to a larger number of points on the structure and to its surroundings. Third, an experimental infrastructure was deployed in order to perform several tests for displacement validation and uncertainty assessment. The infrastructure included a new model of artificial reflector to the satellite signals, purposefully developed in the scope of this study.The developed methods enabled the successful monitoring of different types of civil and geotechnical structures. Slope behaviour around water reservoirs was assessed during both the reservoir first impoundment and regular operation. Differential displacements were detected on building-blocks at a cultural heritage urban area and concrete arch dam responses to temperature loads were identified. The experimental work showed the achieved displacements agreed with those of other geodetic techniques and uncertainties around 2 mm were obtained for the measurements.In conclusion, interferometric synthetic aperture RADAR is a promising technique, able to provide useful information for structure monitoring, such as aiding in the planning of in situ monitoring activities and in identifying space-time patterns in structural behaviour. Thanks to its spatial coverage, observation period of a few days and achieved displacement uncertainty, it is advantageous to complement existing monitoring systems with data from this technique.
Year: 2020
Author(s): Roque, D.
Keywords: Uncertainty analysis; Data mining; Interferometric synthetic aperture RADAR; Geodesy; Structure monitoring systems
|
|
Relatório Científico
Info
ImEngine
Neste relatório apresenta-se, de forma sucinta, a atividade de investigação realizada no âmbito do projeto ImEngine no período 2014-2023. Os resultados da atividade são analisados e avaliados, em face dos objetivos inicialmente previstos.
Year: 2023
Author(s): Fonseca, A. M.; Henriques, M. J.; Roque, D.
Keywords: Drone; Inspeção visual; ImEngine; IVisA; Deteção de alterações; Reconhecimento de padrões; Processamento digital de imagens; Imagem numérica
Info
INFRASAR
Neste relatório apresenta-se, de forma sucinta, a descrição da atividade de investigação realizada no âmbito do projeto INFRASAR no período 2014-2023. Os resultados da atividade são analisados e avaliados, em face dos objetivos inicialmente previstos.
Year: 2023
Author(s): Fonseca, A. M.; Roque, D.
Keywords: Deteção de deslocamentos; Difusores permanentes; INFRASAR; PSInSAR; Interferometria SAR
Info
MEGA
Neste relatório apresenta-se, de forma sucinta, a descrição da atividade de investigação realizada no âmbito do projeto MEGA no período 2015-2023. Os resultados da atividade são analisados e avaliados, em face dos objetivos inicialmente previstos.
Year: 2023
Author(s): Lima, J. N.
Keywords: Séries temporais; GNSS; Análise Bayesiana; MEGA
Info
MOSAIC.pt
Este relatório apresenta os procedimentos do levantamento fotogramétrico, realizado com um drone, assim como as ações complementares, destinados a obter informação de carácter geométrico da praia da Cova Gala em 2020. Este documento inclui ainda uma análise da qualidade dos produtos gerados e uma comparação com o levantamento realizado em 2019, cerca de um ano antes.
Year: 2021
Author(s): Henriques, M. J.
Keywords: Drone; Fotogrametria; Levantamento; Praia da Cova Gala
Info
Base das Lajes - Resultados do nivelamento geométrico de precisão realizado em outubro de 2020, nos pontos de monitorização da qualidade das águas subterrâneas
Este relatório apresenta os resultados da campanha de nivelamento geométrico das bocas de furos de captação de água na proximidade da Base das Lajes, realizada pelo Núcleo de Geodesia Aplicada do Departamento de Barragens de Betão do LNEC, em outubro de 2020. Os resultados são as cotas, numreferencial local, das bocas dos furos de captação de água.
Year: 2020
Author(s): Candeias, H.; Fonseca, A. M.
Keywords: Furos de captação de água; Nivelamento geométrico; Base das Lajes
Info
MOSAIC.PT
Este relatório apresenta os procedimentos dos levantamentos fotogramétricos, realizados com um drone, assim como as ações complementares, efetuadas em 2019, destinados a obter informação de carácter geométrico das praias de Cova - Gala, Vieira e São Pedro de Moel.
Year: 2020
Author(s): Henriques, M. J.
Keywords: Drone; Fotogrametria; Levantamento; Praia
Info
ImEngine
Neste relatório apresenta-se, de forma sucinta, a atividade de investigação realizada no âmbito do projeto ImEngine no período 2014-2017. Os resultados da atividade são analisados e avaliados, em face dos objetivos inicialmente previstos, sendo proposta uma extensão do projeto, e respetiva revisão do plano de atividades, para os próximos dois anos.
Year: 2018
Author(s): Fonseca, A. M.; Henriques, M. J.; Roque, D.
Keywords: Drone; Inspeção visual; ImEngine; IVisA; Deteção de alterações; Reconhecimento de padrões; Processamento digital de imagens; Imagem numérica
Info
INFRASAR
Neste relatório apresenta-se, de forma sucinta, a descrição da atividade de investigação realizada no âmbito do projeto INFRASAR no período 2014-2017. Os resultados da atividade são analisados e avaliados, em face dos objetivos inicialmente previstos, sendo proposta uma extensão do projeto e revisão do plano de atividades para os próximos dois anos.
Year: 2018
Author(s): Fonseca, A. M.; Roque, D.
Keywords: Deteção de deslocamentos; INFRASAR; Difusores permanentes; PSINSAR; RADAR; Interferometria; Processamento digital de imagens
Info
MEGA
Neste relatório apresenta-se, de forma sucinta, a descrição da atividade de investigação realizada no âmbito do projeto MEGA no triénio 2015-2017. Os resultados da atividade são analisados e avaliados, em face dos objetivos inicialmente previstos, sendo proposta uma revisão do plano de atividades para os próximos dois anos.
Year: 2018
Author(s): Casaca, J. M.; Lima, J. N.
Keywords: Séries temporais; GNSS; Análise bayesiana
Info
Determinação de deslocamentos com geodesia InSAR para o controlo de segurança de estruturas - Plano de tese de doutoramento da bolseira Dora Roque
O relatório apresenta uma proposta de plano de estudos para a tese de doutoramento da bolseira Dora Roque, a realizar no Núcleo de Geodesia Aplicada do Departamento de Barragens de Betão do Laboratório Nacional de Engenharia Civil. O objetivo principal do estudo é contribuir para a operacionalização da geodesia InSAR na determinação de deslocamentos para o controlo de segurança de estruturas.
Year: 2016
Author(s): Roque, D.; Fonseca, A. M.; Lemos, J. V.; Falcão, A. P.
Keywords: Sistemas de observação; Geodesia InSAR; Plano de tese
|
ICT
Info
A distribuição do desvio padrão empírico
O trabalho aborda simultaneamente a distribuição do desvio padrão da amostra aleatória normal e a distribuição do desvio padrão do modelo de Gauss-Markov, designados genericamente por desvio padrão empírico. Após mostrar que o desvio padrão empírico é um estimador excêntrico que subestima o desvio padrão da amostra ou do modelo, conforme o caso, são apresentadas correções de excentricidade. É também tratada a estimação do desvio padrão da amostra e do modelo em cenário Bayesiano, com diferentes distribuições anteriores. O trabalho é rematado por casos de estudo baseados na simulação de amostras normais e por um exemplo concreto relacionado com o controlo da precisão de um distanciómetro eletromagnético.
Year: 2015
Author(s): Casaca, J. M.
Keywords: Desvio padrão
Info
A resolução de problemas mal colocados na observação geodésica de barragens
O presente trabalho apresenta uma metodologia genérica para a regularizaçãode problemas inversos lineares mal colocados e a sua aplicação às redes altimétricas eplanimétricas usadas na monitorização de deslocamentos de pontos notáveis de grandesbarragens por métodos da Geodesia Aplicada. A metodologia é ilustrada por intermédiode três casos de estudo.
Year: 2013
Number Pages:
39pp.
Author(s): Casaca, J. M.
Editor: LNEC
Keywords: Observação geodésica; Observação de barragem
Info
The Beta-Binomial Model
This paper deals with the beta-binomial model, which is an important stochasticmodel within the scope of the Bayesian statistical inference. After a short review of the binomialand beta distributions, the paper presents the closed formulae for the posterior probabilitydensity function of the binomial trial parameter and for the prior predictive and forthe posterior predictive probabilities of the successes in binomial experiments. A descriptionof the Bayesian methodology to test different hyper-parameters for the conjugate priorprobability density functions of the beta family is also presented. Finally, the beta-binomialmodel is illustrated with a study case related to the quality control of the geodetic observationof large dams.
Year: 2013
Number Pages:
24pp.
Author(s): Casaca, J. M.
Editor: LNEC
Keywords: Binomial distribution; Beta distribution; Bernoulli trial parameter; Bayes factor
Info
Análise de regressão multivariada - Uma perspetiva Bayesiana
O presente trabalho, além de uma revisão sintética da abordagem frequencista,trata da abordagem Bayesiana da análise de regressão linear multivariada. É apresentadauma compilação de procedimentos e fórmulas para a estimação dos coeficientes da regressão,sob três cenários de informação anterior. Finalmente, o trabalho ocupa-se dosproblemas da predição de respostas e da comparação de modelos de regressão.
Year: 2012
Number Pages:
47pp.
Author(s): Casaca, J. M.
Editor: LNEC
Keywords: Estatística bayesiana; Análise de regressão; Análise multivariada
Info
The Gamma, Multi-gamma, Digamma and Trigamma Functions
The work presents the theoretical definitions of the gamma, multi-gamma, digammaand trigamma functions as well as operational approximations to compute their values.A more precise alternative, due to Robert Windschitl, to the traditional approximationof the gamma function by the Stirling
Year: 2012
Number Pages:
20pp.
Author(s): Casaca, J. M.
Editor: LNEC
Keywords: Trigamma-function; Digamma-function; Multi-gamma function; Gamma functions; Windschitl approximation; Stirling
Info
Introdução à análise Bayesiana
O trabalho descreve os princípios da análise Bayesiana, usando como caso deestudo a amostra aleatória normal identicamente distribuída. Após um curto preâmbulohistórico, são resumidos, na Secção 2, os conceitos mais importantes da análise frequencista.Nas secções seguintes, são abordados os temas Bayesianos mais importantes, taiscomo a estimação, pontual e regional (Secção 5), e o teste de hipóteses sobre osparâmetros da distribuição da amostra (Secção 6). As distribuições anteriores de Laplace,Jeffreys e conjugada normal-gama invertida são apresentadas na Secção 4. O problemada eliciação paramétrica das distribuições anteriores conjugadas é tratado na Secção 7.Palavras Chave: distribuições anteriores e posteriores, divergência de Kullback-Leibler,eliciação paramétrica, factor de Bayes, fórmula de Bayes, verosimilhança.
Year: 2011
Number Pages:
78pp.
Author(s): Casaca, J. M.
Editor: LNEC
Keywords: Análise bayesiana
Info
Estratégia para a Calibragem dos Distanciómetros Electromagnéticos Utilizados na Observação Geodésica de Barragens
Este trabalho define uma estratégia, apoiada o mais possível nas disponibilidades do LNEC, para a calibragem dos distanciómetros electromagnéticos (DEM) usados pelo Núcleo de Geodesia Aplicada na observação geodésica de barragens.
Year: 2002
Number Pages:
38.
Author(s): Henriques, M. J.
Editor: LNEC
Keywords: Base de teste; Dem; Distanciómetros; Calibragem
|
|
Outro
Info
Integration of image processing tools for monitoring breakwaters models
N/A
Year: 2016
Author(s): Soares, F.; Henriques, M. J.; Braz, N.
Editor: ESA
Keywords: Quebra-mar; Monitorizaçao
|