• Structural Engineering and Mechanics
• /
• v.81 no.2
• /
• pp.205-217
• /
• 2022

The thermodynamic properties of shaft lining concrete (SLC) are important evidence for the design and construction, and the spatial variability of concrete materials can directly affect the stochastic thermal analysis of the concrete structures. In this work, an array of field experiments of the concrete materials are carried out, and the statistical characteristics of thermophysical parameters of SLC are obtained. The coefficient of variation (COV) and scale of fluctuation (SOF) of uncertain thermophysical parameters are estimated. A three-dimensional (3-D) stochastic thermal model of concrete materials with heat conduction and hydration heat is proposed, and the uncertain thermodynamic properties of SLC are computed by the self-compiled program. Model validation with the experimental and numerical temperatures is also presented. According to the relationship between autocorrelation functions distance (ACD) and SOF for the five theoretical autocorrelation functions (ACFs), the effects of the ACF, COV and ACD of concrete materials on the uncertain thermodynamic properties of SLC are analyzed. The results show that the spatial variability of concrete materials is subsistent. The average temperatures and standard deviation (SD) of inner SLC are the lowest while the outer SLC is the highest. The effects of five 3-D ACFs of concrete materials on uncertain thermodynamic properties of SLC are insignificant. The larger the COV of concrete materials is, the larger the SD of SLC will be. On the contrary, the longer the ACD of concrete materials is, the smaller the SD of SLC will be. The SD of temperature of SLC increases first and then decreases. This study can provide a reliable reference for the thermodynamic properties of SLC considering spatial variability of concrete materials.

• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.339-352
• /
• 2009

There are a number of formal methods for distributed real-time systems in ubiquitous computing to analyze and verify the behavioral, temporal and the spatial properties of the systems. However most of the methods reveal structural and fundamental limitations of complexity due to mixture of spatial and behavioral representations. Further temporal specification makes the complexity more complicate. In order to overcome the limitations, this paper presents a new formal method, called Timed Calculus of Abstract Real-Time Distribution, Mobility and Interaction(t-CARDMI). t-CARDMI separates spatial representation from behavioral representation to simplify the complexity. Further temporal specification is permitted only in the behavioral representation to make the complexity less complicate. The distinctive features of the temporal properties in t-CARDMI include waiting time, execution time, deadline, timeout action, periodic action, etc. both in movement and interaction behaviors. For analysis and verification of spatial and temporal properties of the systems in specification, t-CARDMI presents Timed Action Graph (TAG), where the spatial and temporal properties are visually represented in a two-dimensional diagram with the pictorial distribution of movements and interactions. t-CARDMI can be considered to be one of the most innovative formal methods in distributed real-time systems in ubiquitous computing to specify, analyze and verify the spatial, behavioral and the temporal properties of the systems very efficiently and effectively. The paper presents the formal syntax and semantics of t-CARDMI with a tool, called SAVE, for a ubiquitous healthcare application.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.32 no.6
• /
• pp.703-710
• /
• 2012

A structural health monitoring technique for locating impact position in a composite plate is presented in this paper. The method employs a single sensor and spatial focusing properties of time reversal(TR) and inverse filtering(IF). We first examine the spatial focusing efficiency of both approaches at the impact position and its surroundings through impact experiments. The imaging results of impact localization show that the impact location can be accurately estimated in any position of the plate. Compared to existing techniques for locating impact or acoustic emission source, the proposed method has the benefits of using a single sensor and not requiring knowledge of anisotropic material properties and geometry of structures. Furthermore, it does not depend on a particular mode of dispersive Lamb waves that is frequently used in other ultrasonic testing of plate-like structures.

• Structural Engineering and Mechanics
• /
• v.39 no.4
• /
• pp.541-558
• /
• 2011

This paper presents an analysis of stochastic eigenvalue problem of plane bar structures. Particular attention is paid to the effect of spatial variations of the flexural properties of the structure on the first four eigenvalues. The problem of spatial variations of the structure properties and their effect on the first four eigenvalues is analyzed in detail. The stochastic eigenvalue problem was solved independently by stochastic finite element method (stochastic FEM) and Monte Carlo techniques. It was revealed that the spatial variations of the structural parameters along the structure may substantially affect the eigenvalues with quite wide gap between the two extreme cases of zero- and full-correlation. This is particularly evident for the multi-segment structures for which technology may dictate natural bounds of zero- and full-correlation cases.

• Journal of Korean Association for Spatial Structures
• /
• v.4 no.1 s.11
• /
• pp.6-12
• /
• 2004

• Journal of Korean Association for Spatial Structures
• /
• v.7 no.6
• /
• pp.20-25
• /
• 2007

• Journal of Korean Association for Spatial Structures
• /
• v.7 no.2 s.24
• /
• pp.5-9
• /
• 2007

• Journal of Korean Association for Spatial Structures
• /
• v.12 no.1
• /
• pp.8-13
• /
• 2012

• Geomechanics and Engineering
• /
• v.20 no.1
• /
• pp.19-28
• /
• 2020

The spatial variability of geotechnical properties can lead to the uncertainty of settlement for frozen soil foundation around the oil pipeline, and it can affect the stability of permafrost foundation. In this paper, the elastic modulus, cohesion, angle of internal friction and poisson ratio are taken as four independent random fields. A stochastic analysis model for the uncertain settlement characteristic of frozen soil foundation around an oil pipeline is presented. The accuracy of the stochastic analysis model is verified by measured data. Considering the different combinations for the coefficient of variation and scale of fluctuation, the influences of spatial variability of geotechnical properties on uncertain settlement are estimated. The results show that the stochastic effects between elastic modulus, cohesion, angle of internal friction and poisson ratio are obviously different. The deformation parameters have a greater influence on stochastic settlement than the strength parameters. The overall variability of settlement reduces with the increase of horizontal scale of fluctuation and vertical scale of fluctuation. These results can improve our understanding of the influences of spatial variability of geotechnical properties on uncertain settlement and provide a theoretical basis for the reliability analysis of pipeline engineering in permafrost regions.

• Geomechanics and Engineering
• /
• v.22 no.4
• /
• pp.339-348
• /
• 2020

The uncertain geotechnical properties of frozen soil are important evidence for the design, operation and maintenance of the frozen ground. The complex geological, environmental and physical effects can lead to the spatial variations of the frozen soil, and the uncertain mechanical properties are the key factors for the uncertain analysis of frozen soil engineering. In this study, the elastic modulus, strength and Poisson ratio of warm frozen soil were measured, and the statistical characteristics under different temperature conditions are obtained. The autocorrelation distance (ACD) and autocorrelation function (ACF) of uncertain mechanical properties are estimated by random field (RF) method. The results show that the mean elastic modulus and mean strength decrease with the increase of temperature while the mean Poisson ratio increases with the increase of temperature. The average values of the ACD for the elastic modulus, strength and Poisson ratio are 0.64m, 0.53m and 0.48m, respectively. The standard deviation of the ACD for the elastic modulus, strength and Poisson ratio are 0.03m, 0.07m and 0.03m, respectively. The ACFs of elastic modulus, strength and Poisson ratio decrease with the increase of ratio of local average distance and scale of fluctuation. The ACF of uncertain mechanical properties is different when the temperature is different. This study can improve our understanding of the spatial autocorrelation variations of uncertain geotechnical properties and provide a basis and reference for the uncertain settlement analysis of frozen soil foundation.