• Tunnel and Underground Space
• /
• v.32 no.6
• /
• pp.518-529
• /
• 2022

In Task C of the DECOVALEX-2023 project, nine institutes from six nations are developing their numerical codes to simulate thermo-hydro-mechanical coupled behavior for the FE experiment performed at Mont Terri underground rock laboratory, Switzerland. Currently, Step 1 for comparing the simulation results to field data is the ongoing stage, and we used the OGS-FLAC simulator for a series of numerical simulations. As a result, temperature increase depending on the heating hysteresis was well simulated, and saturation variation in the bentonite depending on phase change was observed. However, due to the suction overestimation, relative humidity and temperature change in the bentonite and the pressure variation in the Opalinus clay showed a difference compared to the field data. From the observation, it is confirmed that the effect of the bentonite capillary pressure is dominant to the flow analysis in the disposal system. We further plan to draw improved results considering tunnel support material and accurate initial water pressure distribution. Additionally, the thermal, hydrological, and mechanical anisotropy of the Opalinus clay was well simulated. From the simulation results, we confirmed the applicability of the OGS-FLAC simulator in the disposal system analysis.

• Proceedings of the Korean Society of Coastal and Ocean Engineers Conference
• /
• 1997.10a
• /
• pp.86-89
• /
• 1997

해안의 자연지형은 흐름의 변화에 대해서 자신의 특성을 조절하는 능력을 가지고 있다. 흐름의 변화는 자연적 변화와 인위적 변화로 구분할 수 있다. 자연적 변화는 해일, 조류, 취송류 등에 의한 변화가 있다. 또한, 댐 방류량 조절 및 온배수 제트 등은 해안 흐름의 변화를 야기하며, 항만 등 수공구조물의 건설에 의해 흐름이 인위적으로 변화된다. 흐름이 변화하게 되면 이전의 동적 평형상태에 있던 해안은 수리학적 혹성, 유사특성의 변화를 초래하여 평형상태는 깨지게 된다. (중략)

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2001.09a
• /
• pp.83-87
• /
• 2001

토양이나 천부 지하수 온도의 장기 관측 자료를 이용하여 함양량 또는 증발산량을 산정하는 온도추적자법의 원리를 소개하였으며, 국가 지하수 관측망의 장기 관측 자료에 본 방법을 적용하여 관측소 주변에서의 수직적인 물의 흐름(flux)을 추정하였다. 20개 충적층 관정의 수온 관측 자료를 분석한 결과, 15개 지역에서는 증발산에 의한 상향(upward) 흐름이, 5개 지역에서는 지하수 함양에 의한 하향(downward) 흐름이 우세하게 발생하는 것으로 나타났다. 본 방법은 수직적인 물의 흐름을 시간 독립적인 정류 상태로 가정하므로 우기에 지하수 함양이 주로 발생하는 국내의 수리지질학적 조건에 잘 부합하지 않지만 함양 지역을 판단하는 방법으로 유용하게 이용될 수 있다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2004.02a
• /
• pp.1-22
• /
• 2004

현재 댐 위험도 분석 등의 사용되는 Monte Carlo Simulation 방법을 이용하는데 있어서 가장 어려운 문제이면서 약점으로 지적되어 온 것이 수리 수문학적 불확실성 변수들에 대해서 정확한 확률분포를 정의할 수 없다는 것이다. 즉 기존 매개변수적 방법들은 모집단 분포의 형태를 가정하고, 분포의 매개변수에 관한 통계적 분석을 하는 방법이다. 조사대상이 되는 모집단 분포에 관한 정보가 부족하기 때문에 어떤 가정이 곤란하거나 부정확한 가정을 전제로 하지 않고, 관측자료로부터 통계량을 분석하여 통계적 추론을 하는 방법이 필요하게 되며, 이를 비매개변수적 방법(nonparametric methods)이라고 한다. (중략)

• Tunnel and Underground Space
• /
• v.26 no.2
• /
• pp.68-86
• /
• 2016

Understanding the frictional properties of rock discontinuities is crucial to ensure the stability of underground structures. In particular, the frictional behavior at depth depends on the complex interaction among mechanical, hydraulic, thermal and chemical characteristics and their coupled effects. In this study, a series of shear tests were carried out in a triaxial compression chamber to investigate the shearing behavior of saw-cut granite surface and rough shear surface of synthetic rocks. The test results were analyzed using Coulomb's shear strength criterion. The frictional behavior of saw-cut granite surface showed little variation at different confining, water pressures and temperature conditions, however in case of synthetic rocks, the frictional behavior showed different trend depending on normal stress level. In addition, the variation of stiffness and dilation at different testing conditions were analyzed, and the stiffness and dilation showed little variation at different water pressures and temperature conditions.

• School Mathematics
• /
• v.11 no.3
• /
• pp.513-526
• /
• 2009

The purpose of this paper intuitively shows the exact and logical explanation of Independent Event and Dependent Event. In actual classrooms, teachers have difficulty in describing the connection between those events and real life. Some teachers have wrong perceptions on the definition of those events. For example, they may not realize exactly what P(B A)=P(B) means and may not explain intuitively the original meaning of why it is independent event. Also they believe that Independent Event and Dependent Event do not always match with real life. This paper, therefore, tries to prove intuitively the exact meanings of those events in the Verbal Form with some examples and it proves that those events exactly match with real life. It is expected that this paper will greatly contribute to the improvement of probability education.

• Tunnel and Underground Space
• /
• v.21 no.1
• /
• pp.66-81
• /
• 2011

In this study, it was aimed to develop a thermal-hydraulic-mechanical coupled fracture mechanics code that models a fracture initiation, propagation and failure of underground rock mass due to thermal and hydraulic loadings. The development was based on a 2D FRACOD (Shen & Stephasson, 1993), and newly developed T-M and H-M coupled analysis modules were implemented into it. T-M coupling in FRACOD employed a fictitious heat source and time-marching method, and explicit iteration method was used in H-M coupling. The validity of developed coupled modules was verified by the comparison with the analytical result, and its applicability to the fracture initiation and propagation behavior due to temperature changes and hydraulic fracturing was confirmed by test simulations.

• Tunnel and Underground Space
• /
• v.32 no.2
• /
• pp.144-159
• /
• 2022

The present study developed a sequential approach-based numerical simulator for modeling coupled thermal-hydrological-mechanical (THM) processes in the ground and investigated the computational performance of the coupling analysis algorithm. The present sequential approach linked the two different solvers: an open-source numerical code, OpenGeoSys for solving the thermal and hydrological processes in porous media and a commercial code, FLAC3D for solving the geomechanical response of the ground. A benchmark test of the developed simulator was carried out using a THM problem where an analytical solution is given. The benchmark problem involves the coupled behavior (variations in temperature, pore pressure, stress, and deformation with time) of a fully saturated porous medium which is subject to a point heat source. The results of the analytical solution and numerical simulation were compared and the validity of the numerical simulator was investigated.

• Journal of the Korean Society of Groundwater Environment
• /
• v.6 no.3
• /
• pp.152-157
• /
• 1999

Oil leaked from underwound storage tanks and leachate from sanitary landfills have been known as contaminant sources of the high-quality groundwater resources. The mobility of contaminants in the aquifer largely depends on the groundwater flow and the determination of associated hydraulic parameters is essential for a proper remediation of contaminated grnundwater. This study aimed at determining an optimum set of hydraulic parameters for an unconfined sandy aquifer of a laboratory scale through comparison of various methods. Results showed that the specific yield obtained from gravity drainage experiment was an average of 0.20 with minor variations in aquifer depths. and the permeabilities obtained from Dupuit approximation and slug test gave similar values of 5.33 cm/min and 5.85 cm/min but the constant head method gave 0.17 cm/min, which is much ion than the other methods. This experimental evidence reveals that the permeability of the unconfined sandy aquifer could be accurately determined by Dupuit assumption or slug tut rather than by constant head method conducted for a disturbed separate soil column.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.49 no.9
• /
• pp.237-243
• /
• 2012

In recent system-on-chip (SoC) designs, several hundred embedded memory cores have occupied the largest portion of the chip area. Therefore, the yield of SoCs is strongly dependent on the yield of the embedded memory cores. If all memories had built-in self repair (BISR) with optimal repair rates, the area overhead would be very large. A bit-map sharing method using a memory grouping is proposed to reduce the area overhead. Since the bit-map memory occupies the largest portion of the area of the built-in redundancy analysis (BIRA), the proposed bit-map sharing method can greatly reduce the area overhead of the BIRA. Based on the experimental results, the proposed method can reduce the area overhead by about 80%.