10,181 research outputs found
Recommended from our members
Bias Compensation for UWB Ranging for Pedestrian Geolocation Applications
We present an effective bias compensation method to process none-line-of-sight (NLoS) and long distance line-of-sight (LD-LoS) ultra wideband (UWB) range measurement signals used to aid a pedestrian inertial navigation system (INS). The common UWB bias compensation techniques use machine learning methods to identify and remove the bias in the measurements. These techniques are computationally expensive and require extensive prior data. Here, we propose to use an algorithmic compensation technique that accounts for the bias by estimating it using the Schmidt-Kalman filter (SKF). Next, we exploit the positivity of the error in the UWB range measurements to propose a novel constrained sigma point based correction filtering that can be used atop the SKF for further improvement in the positioning accuracy of the UWB-aided pedestrian inertial navigation. Experiments demonstrate the effectiveness of our methods
Damage identification of supporting structures with a moving sensory system
© 2017 Elsevier Ltd An innovative approach to identify local anomalies in a structural beam bridge with an instrumented vehicle moving as a sensory system across the bridge. Accelerations at both the axle and vehicle body are measured from which vehicle-bridge interaction force on the structure is determined. Local anomalies of the structure are estimated from this interaction force with the Newton's iterative method basing on the homotopy continuation method. Numerical results with the vehicle moving over simply supported or continuous beams show that the acceleration responses from the vehicle or the bridge structure are less sensitive to the local damages than the interaction force between the wheel and the structure. Effects of different movement patterns and moving speed of the vehicle are investigated, and the effect of measurement noise on the identified results is discussed. A heavier or slower vehicle has been shown to be less sensitive to measurement noise giving more accurate results
Comparison of methods for solving vibration response of Plate Girder Bridge
2004-2005 > Academic research: refereed > Publication in refereed journalVersion of RecordPublishe
Identification of Railway Ballasted Track Systems from Dynamic Responses of In-Service Trains
© 2018 American Society of Civil Engineers. Railway track is one of the most important parts of the railway system, and monitoring its condition is essential to ensure the safety of trains and reduce maintenance cost. An adaptive regularization approach is adopted in this paper to identify the parameters of a railway ballasted track system (substructure) from dynamic measurements on in-service vehicles. The vehicle-track interaction system is modeled as a discrete spring-mass model on a Winkler elastic foundation. Damage is defined as the stiffness reduction of the track due to foundation settlement, loosening in the rail fastener, and lack of compaction of the ballast. Accelerometers are installed on the underframe of the train to capture the dynamic responses from which the interaction forces between the vehicle and the railway track are determined. The damage of the railway track can be detected via changes in the interaction force. Numerical results show that the proposed approach can identify all stiffness parameters successfully at a low moving speed and at a high sampling rate when measurement noise is involved
A layered beam element for modeling de-bonding of steel bars in concrete and its detection using static measurements
Copyright © 2018 John Wiley & Sons, Ltd. In the formulation of finite elements, the variation of elemental internal forces and displacements are interpolated. The force interpolation functions are known to reproduce the variations of forces better than the interpolation functions on the displacements. Layered section beam model is not as complicated as the fiber model, and yet, it is much more accurate than ordinary beam model. The force-based finite element is revisited in this paper with its application in the numerical studies of a damage detection strategy for a reinforced concrete beam under static load. Two kinds of damages are studied including the cracking or other local damage of the concrete and the bonding between the concrete and the steel bar. Both kinds of damages in an element can be detected separately or in combinations with the proposed strategy. The force-based layered finite element is shown to be a practical, accurate, and efficient representation of the bonding damage of steel bars in concrete structures
Drive-By Blind Modal Identification with Singular Spectrum Analysis
© 2019 American Society of Civil Engineers. Drive-by bridge parameter identification has been an active research area in recent years. An instrumented vehicle passing over a bridge deck captures dynamic information of the bridge structure without bridge closure and on-site instrumentation. The vehicle dynamic response includes components associated with the bridge surface roughness and the vehicle and bridge vibration. It is a challenge to separate these components and extract the bridge modal parameters from the vehicle response. A novel drive-by blind modal identification with singular spectrum analysis is proposed to extract the bridge modal frequencies from the vehicle dynamic response. The single-channel measured vehicular response is decomposed into a multichannel data set using singular spectrum analysis, and the bridge frequencies are then extracted via the blind modal identification. Numerical results showed that the proposed method is effective and robust to extract the bridge frequencies from the vehicle response measurement even with Class B road surface roughness. The effects of the moving speed and the vehicle parameters on the identification were studied. A vehicle-bridge interaction model in the laboratory was studied to further verify the proposed method using one- and two-axle vehicles
Case study on user knowledge and design knowledge in product form design
2003-2004 > Academic research: refereed > Publication in refereed journalVersion of RecordPublishe
High expression of biglycan is associated with poor prognosis in patients with esophageal squamous cell carcinoma
published_or_final_versio
Semi-local quantum liquids
Gauge/gravity duality applied to strongly interacting systems at finite
density predicts a universal intermediate energy phase to which we refer as a
semi-local quantum liquid. Such a phase is characterized by a finite spatial
correlation length, but an infinite correlation time and associated nontrivial
scaling behavior in the time direction, as well as a nonzero entropy density.
For a holographic system at a nonzero chemical potential, this unstable phase
sets in at an energy scale of order of the chemical potential, and orders at
lower energies into other phases; examples include superconductors and
antiferromagnetic-type states. In this paper we give examples in which it also
orders into Fermi liquids of "heavy" fermions. While the precise nature of the
lower energy state depends on the specific dynamics of the individual system,
we argue that the semi-local quantum liquid emerges universally at intermediate
energies through deconfinement (or equivalently fractionalization). We also
discuss the possible relevance of such a semi-local quantum liquid to heavy
electron systems and the strange metal phase of high temperature cuprate
superconductors.Comment: 31 pages, 7 figure
Monitoring Partially Synchronous Distributed Systems using SMT Solvers
In this paper, we discuss the feasibility of monitoring partially synchronous
distributed systems to detect latent bugs, i.e., errors caused by concurrency
and race conditions among concurrent processes. We present a monitoring
framework where we model both system constraints and latent bugs as
Satisfiability Modulo Theories (SMT) formulas, and we detect the presence of
latent bugs using an SMT solver. We demonstrate the feasibility of our
framework using both synthetic applications where latent bugs occur at any time
with random probability and an application involving exclusive access to a
shared resource with a subtle timing bug. We illustrate how the time required
for verification is affected by parameters such as communication frequency,
latency, and clock skew. Our results show that our framework can be used for
real-life applications, and because our framework uses SMT solvers, the range
of appropriate applications will increase as these solvers become more
efficient over time.Comment: Technical Report corresponding to the paper accepted at Runtime
Verification (RV) 201
- …