• Economic and Environmental Geology
• /
• v.30 no.1
• /
• pp.67-77
• /
• 1997

Seismic data from Lake Tanganyika indicate a complex tectonic, structural, and stratigraphic history. The Lake Tanganyika rift consists of half grabens which tend to alternate dip-direction along the strike of the rift. Adjacent half-grabens are separated by distinct accommodation zones of strike-slip motion. These are areas of relatively high basement, and are classified into two distinct forms which depend on the map-view geometry of the border faults on either side of the accommodation zone. One type is the high-relief accommodation zone which is a fault bounded area of high basement with little subsidence or sediment accumulation. These high-relief areas probably formed very early in the rifting process. The second type is the low-relief accommodation zone which is a large, faulted anticlinal warp with considerable rift sediment accumulated over its axis. These low-relief features continue to develop as rifting processes. This structural configuration profoundly influences depositional processes in Lake Tanganyika. Not only does structures dictate where discrete basins and depocenters can exist, it also controls the distribution of sedimentary facies within basins, both in space and time. This is because rift shoulder topography controls regional drainage patterns and sediment access into the lake. Large fluvial and deltaic systems tend to enter the rift from the up-dip side of half-grabens or along the rift axis, while fans tend to enter from the border fault side.

• Tunnel and Underground Space
• /
• v.14 no.3
• /
• pp.215-228
• /
• 2004

Rock mass contains discontinuities such as faults and joints, and their mechanical properties and spatial distribution dominate the stability of rock mass. Because the deformation of rock mass occurs discontinuities in many cases. However in the case of poor quality rock mass under high stresses, the deformation along intact rock can also influence the structure's stability. In this study, two dimensional finite element program was developed with a rheological model to analyze the stability of the structure excavated in jointed rock mass. The “equivalent material” approach was used assuming intact rock, joints and rock bolts as visco-plastic materials. The program was verified by analysing an intact rock model, a jointed rock mass model and a reinforced jointed rock mass model. The displacement was examined in each model with changing the intact rock behaviour as elastic and visco-plastic. In the case of poor quality rock mass under high stresses, e assumption of visco-plastic behaviour of intact rock resulted in larger displacement than when assuming elastic behaviour for intact rock. Therefore it is recommended to add intact rock's visco-plastic behaviour to the existing model, which only assumes visco-plastic behaviour of joints and rock bolts.

• The Journal of Engineering Geology
• /
• v.22 no.4
• /
• pp.459-466
• /
• 2012

A difficulty encountered in engineering seismic mapping is that reflection events from shallow discontinuities are commonly overlapped with coherent noise such as air wave, direct waves, head waves, and high-amplitude surface waves. Here, the radial trace transform, a simple geometric re-mapping of a trace gather (x-t domain) to another trace gather (v-t domain), is applied to investigate the rejection effect of coherent linear noises. Two different types of data sets were selected as a representative database: good-quality data for intermediate sounding (hundreds of meters) in a sedimentary basin and very noisy data for shallow (${\leq}50m$) mapping of the weathered zone and bedrock surface. Results obtained with cascaded application of the radial transform and low-cut filtering proved to be as good as, or better than, those produced using f-k filtering, and were especially effective for air wave and direct wave. This simple transform enables better understanding of the characteristics of various types of noise in the RT domain, and can be generally applied to overcoming diffractions and back-scatterings caused by joints, fractures, and faults commonly that are encountered in geotechnical problems.

• Geophysics and Geophysical Exploration
• /
• v.16 no.1
• /
• pp.36-44
• /
• 2013

We conducted the airborne magnetic and radiometric survey for the characterization of the black shale related and pyrometamorphic uranium deposits distributed in Geumsan area. For the successful characterization of the uranium deposits, the general geological and structural geological features were investigated based on the lithological and linear feature analysis to individual magnetic and radiometric data as the first step. Lithological analysis from the magnetic reduction to the pole and downward continuation map revealed that prominent positive anomalies caused by black and dark gray slate member were clearly recognized as magnetic sources. These results indicate that magnetic survey, even though it is not a direct method for the detection of uranium, can be a useful tool in uranium detection. By the linear feature analysis based on 2nd vertical derivative and curvature map, two linearments corresponded the gray hornfels and black slate member were extracted and in succession, the additional uranium potential zone was inferred. Final discrimination whether uranium-rich or not was confirmed by radiometric and uranium anomaly map. From these analysis, we finally concluded that uranium deposit originated by pyrometamorphic process was confined near the intrusive area only. On the contrary, it was found that black shale related uranium deposit is distributed and extended through out the entire survey area with south-west to north-east direction. In addition, from the linear feature analysis based on radiometric total anomaly map, the typical discontinuous characteristics were recognized in areas where uranium-contained linearments cross the faults. From the above discussion, we concluded that airborne magnetic and radiometric survey are complementary to each other. So it is preferable to carry out simultaneously for the efficient data processing and fruitful interpretation.

• Journal of Digital Convergence
• /
• v.14 no.6
• /
• pp.325-333
• /
• 2016

This study was conducted to provide the base line for the use of prophylactic antibiotics and the standard of antibiotic use and the evaluation based on analysis of current use, quality assessment and periodic changes of prophylactic antibiotics in a university hospital. We chose the year 2008, 2009, 2010, 2012, and 2014 as the study periods since the primary evaluation on the first year of implementation in 2007. For this study, healthcare benefit quality assessment data from the Health Insurance Review and Assessment Service was used. We analyzed the differences each year of treatment period; one category for initial treatment timing, three categories for selecting antibiotics, and two categories for the length of treatment from multiple evaluation indices of gastric surgeries, colorectal surgeries, and cholecystectomy. The analysis revealed the followings: Regarding length of antibiotics treatment, total days of treatment decreased down to 1.5, 1.5, and 0.6 days in the year 2014, from 13.5, 12.8, and 6.9 days in the year 2007, for gastric surgeries, colorectal surgeries, and cholecystectomy. Based on these outcomes, the efforts to devise efficient delivery and distribution of the recommendations or indices which medical staff could adhere for quality improvement of the prophylactic antibiotics would be necessary. Also implementing monitoring system to help the hospitals to acknowledge their own faults may be helpful.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.10A
• /
• pp.1113-1122
• /
• 2004

This paper is basically to achieve the high-availability and high-reliability of the control system from the implementation of the fault-tolerant system using the hot-standby sparing technique. To meet the objective, we design and implement a board with fault tolerance I/O bus to detect the fault. Warm-standby sparing technique is the fault tolerance technique usually used for switching control system in present. This technique can be easily implemented, but can not detect the fault quickly and can malfunction because of the hardware fault. The hot-standby sparing fault tolerant technique implemented in this paper is consists of dual processor modules and a I/O processor using fault tolerant I/O bus. The proposed method can find the faults as soon as possible, so it can prevent from wrong operation. Also it is possible to normal re-service due to the short recovering time. To implement the fault-tolerant dual system with fault detection be, two daughter, called FTMA and FTIA, boards designed and implemented are applied to the system. And we also simulated the proposed method to verify the high-availability and high-reliability of the control system using Markov process.

• Korean Chemical Engineering Research
• /
• v.45 no.1
• /
• pp.73-80
• /
• 2007

This article aims to optimize the nitrogen removal of a sequencing batch reactor (SBR) through the use of the activated sludge model and iterative dynamic programming (IDP). Using a minimum batch time and a maximum nitrogen removal for minimum energy consumption, a performance index is developed on the basis of minimum area criteria for SBR optimization. Choosing area as the performance index makes the optimization problem simpler and a proper weighting in the performance index makes it possible to solve minimum time and energy problem of SBR simultaneously. The optimized results show that the optimal set-point of dissolved oxygen affects both the total batch time and total energy cost. For two different influent loadings, IDP-based SBR optimizations suggest each supervisory control of batch scheduling and set-point trajectory of dissolved oxygen (DO) concentration, and can save 20% of the total energy cost, while meeting the treatment requirements of COD and nitrogen. Moreover, it shows that the re-optimization of IDP within a batch can solve the modelling error problem due to the influent loading changes, or the process faults.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.11 no.3
• /
• pp.931-942
• /
• 2010

A home network provides users with a variety of information services. The kind and quality of the services can be substantially enhanced by utilizing a variety of data from sensors. However, home networks currently limit their potential by focusing on providing multimedia services rather than services utilizing sensor data. Outdoor electronics are frequently made in a form that emphasizes only certain limited functions in contrast to home appliances. Thus, sensors with one or two functions rather than many can be used in outdoor systems and their use will be more economical than using sensor nodes indoors with more complex home appliances. In this study, we chose to work with motion sensors as they have many potential uses, and we selected a parking lot control system with to use the motion sensors. This parking lot control system was implemented and applied as part of a home network. For this purpose, we defined and implemented a protocol to manage the network in a ubiquitous sensor network environment for the wireless home network in this study. Although a network management system in a Ubiquitous Sensor Network (USN) related to this study is being advanced for other projects, the protocol interface and message system have not yet been clearly defined for use in a general purpose network or in an extension into heterogeneous kinds of networks, communication support, etc. Therefore, USN network management should be conducted for management of faults, composition, power, and applications. To verify the performance of the protocol interface designed in this study, we designed and implemented the necessary units (sensor nodes, sensor gateway, and server) for each network section and, with them, proved the validity of this study.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.10
• /
• pp.1264-1274
• /
• 1999

본 논문에서는 분산된 클록들을 주기적으로 동기화 시키는 분산 실시간 시스템에서 시간적 제약을 만족시키기 위한 정적/동적 시간 제약(timing constraint) 변환 기법을 제안한다. 전형적인 이산클록동기화(discrete clock synchronization) 알고리즘은 클록의 값을 순간적으로 조정하여 클록의 시간이 불연속적으로 진행한다. 이러한 시간상의 불연속성은 시간적 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다.클록 시간의 불연속성을 피하기 위해 일반적으로 연속클록동기화(continuous clock synchronization) 기법이 제안되고 있지만 소프트웨어적으로 구현되면 많은 오버헤드를 유발시키는 문제점이 있다. 본 논문에서는 시간적 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였으며, 이를 통해 기존의 이산클록동기화 알고리즘을 수정하지 않고서도 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있도록 하였다. 아울러 DCT에 의해 이산클록동기화 하에서 생성된 태스크 스케쥴이 연속클록동기화에 의해 생성된 스케쥴과 동일함을 증명하여 DCT의 동작이 이론적으로 정확함을 증명하였다.또한 분산 실시간 시스템에서 지역 클록(local clock)이 기준 클록과 완벽하게 일치하지 않아서 발생하는 스케쥴링상의 문제점을 다루었다. 이를 위해 먼저 두 가지의 스케쥴링 가능성, 지역적 스케쥴링 가능성(local schedulability)과 전역적 스케쥴링 가능성(global schedulability)을 정의하고, 이를 위해 시간적 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation) 기법을 제안하였다. SCT를 통해 지역적으로 스케쥴링 가능한 태스크는 전역적으로 스케쥴링이 가능하므로, 단지 지역적 스케쥴링 가능성만을 검사하면 스케쥴링 문제를 해결할 수 있도록 하였고 이를 수학적으로 증명하였다.Abstract In this paper, we present static and dynamic constraint transformation techniques for ensuring timing requirements in a distributed real-time system possessing periodically synchronized distributed local clocks. Traditional discrete clock synchronization algorithms that adjust local clocks instantaneously yield time discontinuities. Such time discontinuities lead to the loss or the gain of events, thus raising serious run-time faults.While continuous clock synchronization is generally suggested to avoid the time discontinuity problem, it incurs too much run-time overhead to be implemented in software. We propose a dynamic constraint transformation (DCT) technique which can solve the problem without modifying discrete clock synchronization algorithms. We formally prove the correctness of the DCT by showing that the DCT with discrete clock synchronization generates the same task schedule as the continuous clock synchronization.We also investigate schedulability problems that arise when imperfect local clocks are used in distributed real-time systems. We first define two notions of schedulability, global schedulability and local schedulability, and then present a static constraint transformation (SCT) technique. The SCT ensures that it is sufficient to check the schedulability of a task locally in a node with a local clock, since the global schedulability of the task is derived from its local schedulability through SCT. We formally prove the correctness of SCT.

• Economic and Environmental Geology
• /
• v.52 no.5
• /
• pp.409-425
• /
• 2019

Marine terraces, a step-like landform, are important geologic markers that provide tectonic information during the Quaternary Period. Marine terraces are well developed along all coastlines(East, West, and South) of the Korean Peninsula, those along the East coastline are the most distinctive. The marine terraces of the East coastline are classified into 4-6 flights that are several meters or several tens of meters above the present sea level. It is believed that these terraces, except for the lowest one, were formed in the middle Pleistocene. In the base of the OSL age dating results and Blake excursion events of magnetostratigraphy, the $2^{nd}$ and $3^{rd}$ terraces are correlated to the last interglacial stage. Considering the marine terraces linked to a sea-level curve of the Pleistocene, it is thought that regional tectonic movements have uplifted the East coastal area since the middle Pleistocene. Besides, former shorelines of each terrace have varied elevations from Gangreung to Busan bay, which can be divided into four regions, namely, Gangreung-Yonghanri(I), Homikot-Najung(II), Najung-Bangeojin(III), and Waesung-Busan Bay(IV). The former shorelines of each terrace at both Gangreung-Yonghanri(I) and Najung-Bangeojin(III) are higher than those in the other two regions, due to block movements by regional faults such as the Ocheon Fault or its subsidiaries, the Gampo Lineament and Ulsan Fault. Uplift rate of the East coast ranges from 0.2 m/ky to 0.3 m/ky, but each region shows different uplift rate.