• The Journal of Engineering Geology
• /
• v.24 no.2
• /
• pp.247-260
• /
• 2014

Rock masses at the site for the $2^{nd}$ step construction of the KAERI Underground Research Tunnel (KURT) are divided into six units to establish a rock mechanics model that is dependent on the geological characteristics and degree of joint development. The site primarily consists of three granitic units (G1, G2, and G3), two dykes (D1 and D3), and a fault zone of poor rock mass quality (F3). The F3 unit crosses the tunnel at the beginning of the site of $2^{nd}$ step construction. The rock masses of each unit are classified by RMR (Rock Mass Rating), Q-system, and RMi (Rock Mass Index), all based on borehole logging data. The deformation modulus, rock mass strength, cohesion, and friction angle for each unit are calculated using established empirical relationships. The representative rock mass classification and geotechnical parameters for the rock mass units are established, and a rock mechanics model for the site is proposed, which will be useful in the design and stability analysis of the $2^{nd}$ step construction of KURT.

• Journal of KIISE
• /
• v.44 no.9
• /
• pp.893-907
• /
• 2017

In safety-critical systems, software defects may have serious consequences. Therefore, defects should be considered during the requirements specification process, which is the first step of a software development lifecycle. Stakeholder requirements that are usually written in natural language are difficult to derived, and there may also be defects due to ambiguity and inaccuracy. To address these issues, we propose a requirement specification method using a standardized Boilerplate and a GSN Model. The Boilerplate is a semi-standard language that follows a predefined format. Due to its ability to provide a consistent representation of the requirements, boilerplate helps stakeholders avoid ambiguities about what they mean and to define the exact meaning of the requirement. Meanwhile, GSN is recognized notation to prepare a Safety Case to prove to authorities that a system is safe. It can be expressed as a functional goal, e.g., Safety Evidence, etc. The proposed study allows an analyst to easily identify a fault from the early stage of the software development lifecycle. The Boilerplate and GSN Model are designed to specify the requirements of safety critical systems and to prove safety conformity through a connection with Safety Evidence. In addition, the proposed approach is also useful to develop secure software by correcting deficiencies in the requirements found during this process.

• Economic and Environmental Geology
• /
• v.10 no.1
• /
• pp.37-48
• /
• 1977

The earth's crust is unceasingly undergoing deformations because of the forces acting upon it. The relationship between the tectonic forces and the resulting deformations are found from the states of stresses in the earth's crust induced by these forces. The study has been attempted to analyze the deformations of the overlying sedimentary layers, which are deformed by the magma intrusion along its lower boundary. The elastic model is constructed to analyze the geologic structures, by means of the theory of elasticity, and then the appropriate boundary conditions are given. The solution of the Airy stress function which satisfies the given boundary conditions is derived from the analytic method. The internal stress distributions of the deformed elastic model layer are portrayed by principal stress trajetories, and then the corresponding potential faults and joints systems are predicted from the Coulomb-Mohr failure criterion. The internal displacement distributions are shown by the calculated displacement components vectors, namely horizontal, vertical and net components. Results of the numerical calculations show the developments of some geologic structures as follows; (1) one set of shear joints and or two sets of shear joints which are oppisite directions, and one set of extension joints parallel to the ${\sigma}_1$ direction, (2) one set of high angle thrusts and normal faults, (3) symmetric fold; both limbs are dipping in opposite direction with low angle. The field work at the Wall-A San area, located near Jinju City, in southern Korea, had accomplished to compare the field structures with the predicted ones. The results of the comparison exhibits the developments of joint and fault systems satisfactorily consistent with each others. But the area does not show any type of folding, in spite of the intrusion of a granodiorite massif, this fact is one of the important features of the whole Kyungsang sedimentary basins of Mesozoic age distributed at the south-eastern parts of Korea. For this reason, it is thought that the magma intrusion had occurred with extremly low pressure. The geologic structures have been modified by the erosion and weathering throughout the geologic time, and the conditions of the sedimentary layers (width, thickness and radius of magma) are not the same as before, being intruded by the magma. To enlighten this, it is preferable to study these geologic structures with analyses of various types of rheological models.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.6 no.4
• /
• pp.327-343
• /
• 2004

During tunnel construction, ground failures often occur due to existence of weak zones, such as faults, joints, and cavities, ahead of tunnel face. It is hard to detect effectively weak zones, which can lead underground structure to fail after excavation and before supporting, by using conventional characterization methods. In this study, an enhanced analytical method of predicting weak zones ahead of tunnel face is developed to overcome some problems in the conventional geophysical exploration methods. The analytical method is based on Coulomb's and Gauss' laws with considering the characteristics of electric fields subjected to rock mass. Using the developed method, closed form solutions are obtained to detect a spherical shaped zone and an oriented fault ahead of tunnel face respectively. The analytical results suggest that the presence of weak zones and their sizes, location, and states can be accurately predicted by combining a proper inversion process with resistance measured from several electrodes on the tunnel face. It appears that the skin depth or resistivity in rock mass is affected by the diameter of tunnel face, natural electric potential and noises induced by experimental measurement and spatial distribution of uncertain properties. The developed analytical solution is verified through experimental tests. About 1800 concrete blocks of 5cm by 5cm by 5cm in size are prepared and used to model a joint rock mass around tunnel face. Weak zones are simulated ahead of tunnel face with a material which has relatively higher conductivity than concrete blocks. Experimental results on the model test show a good agreement with analytical results.

• Geophysics and Geophysical Exploration
• /
• v.16 no.4
• /
• pp.211-216
• /
• 2013

In general, smoothing filters regularize functions by reducing differences between adjacent values. The smoothing filters, therefore, can regularize inverse solutions and produce more accurate subsurface structure when we apply it to full waveform inversion. If we apply a smoothing filter with a constant coefficient to subsurface image or velocity model, it will make layer interfaces and fault structures vague because it does not consider any information of geologic structures and variations of velocity. In this study, we develop a selective smoothing regularization technique, which adapts smoothing coefficients according to inversion iteration, to solve the weakness of smoothing regularization with a constant coefficient. First, we determine appropriate frequencies and analyze the corresponding wavenumber coverage. Then, we define effective maximum wavenumber as 99 percentile of wavenumber spectrum in order to choose smoothing coefficients which can effectively limit the wavenumber coverage. By adapting the chosen smoothing coefficients according to the iteration, we can implement multi-scale full waveform inversion while inverting multi-frequency components simultaneously. Through the successful inversion example on a salt model with high-contrast velocity structures, we can note that our method effectively regularizes the inverse solution. We also verify that our scheme is applicable to field data through the numerical example to the synthetic data containing random noise.

• The KIPS Transactions:PartA
• /
• v.12A no.5 s.95
• /
• pp.395-404
• /
• 2005

There have been large concerns about survivability defined as the capability of a system to perform a mission-critical role, in a timely manner, in the presence of attacks, failures. In particular, One of the most important core technologies required for the design of the ITS(Intrusion Tolerance System) that performs continuously minimal essential services even when the computer system is partially compromised because of intrusions is the survivability one of In included the dependability analysis of a reliability and availability etc. quantitative dependability analysis of the In. In this Paper, we applied self-healing mechanism utilizing two factors of self-healing mechanism (fault model and system response), the core technology of autonomic computing to secure the protection power of the ITS and consisted of a state transition diagram of the ITS composed of a primary server and a backup server. We also defined the survivability, availability, and downtime cost of the ITS, and then performed studies on simulation experiments and two cases of vulnerability attack. Simulation results show that intrusion tolerance capability at the initial state is more important than coping capability at the attack state in terms of the dependability enhancement.

• The KIPS Transactions:PartD
• /
• v.17D no.2
• /
• pp.157-166
• /
• 2010

More recently, RFID (Radio Frequency Identification) systems have begun to find greater use in various industrial fields. The use of RFID system in these application domains has been promoted by efforts to develop the RFID tags which are low in cost, small in size, and high in performance. The RFID applications enable the real-time capture and update of RFID tag information, while simultaneously allowing business process change through real-time alerting and alarms. These be developed to monitor person or objects with RFID tags in a place and to provide visibility and traceability of the seamless flows of RFID tags. In this time, the RFID readers should be placed in diverse locations, the RFID flows between these readers can be tested based on various scenarios. However, due to the high cost of RFID readers, it may be difficult to prepare the similar environment equipped with RFID read/write devices. In this paper, we propose a simulator to allow RFID application testing without installing physical devices. It can model the RFID deployment environment, place various RFID readers and sensors on this model, and move the RFID tags through the business processes. This simulator can improve the software development productivity by accurately testing RFID middleware and applications. In addition, when data security cannot be ensured by any fault, it can decide where the problem is occurred between RFID hardware and middleware.

• Economic and Environmental Geology
• /
• v.56 no.6
• /
• pp.831-846
• /
• 2023

The Jucheon-Pyeongchang area in the northwestern Taebaeksan Zone of the Okcheon fold-thrust belt preserved several thrust faults placing the Precambrian basement granite gneisses of the Gyeonggi Massif on top of the Early Paleozoic Joseon Supergroup and the age-unknown Bangrim Group. Especially, the thrust faults in the study area show the closed-loop patterns on the map view, showing older allochthonous strata surrounded by younger autochthonous or para-autochthonous strata. These basement-involved thrusts including Klippes will provide important information on the hinterland portion of the fold-thrust belt. For defining Klippe geometry in the thrust fault terrains of the Jucheon-Pyeongchang area by older on younger relationship, the stratigraphic position of the age-unknown Bangrim Group should be determined. The Middle Cambrian maximum depositional age by the detrital zircon SHRIMP U-Pb method from this study, together with field relations and previous research results suggest that the Bangrim Group overlies the Precambrian basement rocks by nonconformity and underlies the Cambrian Yangdeok Group (Jangsan and Myobong formations). The structural geometric interpretation of the Pyeongchang area based on newly defined stratigraphy indicates that the Wungyori and Barngrim thrusts are the same folded thrust, and can be interpreted as a Klippe, having Precambrian hanging wall granite gneisses surrounded by younger Cambrian strata of the Joseon Supergroup and the Bangrim Group. Further detailed structural studies on the Jucheon-Pyeongchang area can give crucial insights into the basement-involved deformation during the structural evolution of the Okcheon Belt.

• Journal of Korean Society of Transportation
• /
• v.18 no.1
• /
• pp.75-85
• /
• 2000

In existing models in optimization, the crisp data improve has been used in the objective or constraints to derive the optimal solution, Besides, the subjective environments are eliminated because the complex and uncertain circumstances were regarded as Probable ambiguity, In other words those optimal solutions in the existing models could be the complete satisfactory solutions to the objective functions in the Process of application for industrial engineering methods to minimize risks of decision-making. As a result of those, decision-makers in location Problems couldn't face appropriately with the variation of demand as well as other variables and couldn't Provide the chance of wide selection because of the insufficient information. So under the circumstance. it has been to develop the model for the location and size decision problems of logistics facility in the use of the fuzzy theory in the intention of making the most reasonable decision in the Point of subjective view under ambiguous circumstances, in the foundation of the existing decision-making problems which must satisfy the constraints to optimize the objective function in strictly given conditions in this study. Introducing the Process used in this study after the establishment of a general mixed integer Programming(MIP) model based upon the result of existing studies to decide the location and size simultaneously, a fuzzy mixed integer Programming(FMIP) model has been developed in the use of fuzzy theory. And the general linear Programming software, LINDO 6.01 has been used to simulate, to evaluate the developed model with the examples and to judge of the appropriateness and adaptability of the model(FMIP) in the real world.

• Korean Journal of Remote Sensing
• /
• v.38 no.6_2
• /
• pp.1723-1735
• /
• 2022

Landslides are one of the most prevalent natural disasters, threating both humans and property. Also landslides can cause damage at the national level, so effective prediction and prevention are essential. Research to produce a landslide susceptibility map with high accuracy is steadily being conducted, and various models have been applied to landslide susceptibility analysis. Pixel-based machine learning models such as frequency ratio models, logistic regression models, ensembles models, and Artificial Neural Networks have been mainly applied. Recent studies have shown that the kernel-based convolutional neural network (CNN) technique is effective and that the spatial characteristics of input data have a significant effect on the accuracy of landslide susceptibility mapping. For this reason, the purpose of this study is to analyze landslide vulnerability using a pixel-based deep neural network model and a patch-based convolutional neural network model. The research area was set up in Gangwon-do, including Inje, Gangneung, and Pyeongchang, where landslides occurred frequently and damaged. Landslide-related factors include slope, curvature, stream power index (SPI), topographic wetness index (TWI), topographic position index (TPI), timber diameter, timber age, lithology, land use, soil depth, soil parent material, lineament density, fault density, normalized difference vegetation index (NDVI) and normalized difference water index (NDWI) were used. Landslide-related factors were built into a spatial database through data preprocessing, and landslide susceptibility map was predicted using deep neural network (DNN) and CNN models. The model and landslide susceptibility map were verified through average precision (AP) and root mean square errors (RMSE), and as a result of the verification, the patch-based CNN model showed 3.4% improved performance compared to the pixel-based DNN model. The results of this study can be used to predict landslides and are expected to serve as a scientific basis for establishing land use policies and landslide management policies.