• The Journal of Engineering Geology
• /
• v.18 no.4
• /
• pp.359-369
• /
• 2008

For the design and effective management of underground storage caverns, preliminary investigation on the hydrogeologic parameters around caverns and analysis on the groundwater flow must be carried out. The data collection is very imporatnat task for the hydrogeologic design so various hydraulic tests have been performed. When analyzing the injection/fall off test data, existing graphical method to estimate the parameters in Theis' equation is widely used. However this method has some sources of error when estimating parameters by means of human faults. Therefore the method of estimating parameters by means of statistical methods such as regression type is evaluated as a useful tool. In this study, nonlinear regression analysis for the Theis' equation is suggested and applied to the estimation of parameters for the real field interference data around underground storage caverns. Damping parameter which reduce the iteration numbers and inhance the convergence is also introduced.

• The Journal of Engineering Geology
• /
• v.24 no.1
• /
• pp.39-52
• /
• 2014

Limestone caves that consist of main passages and branches are formed by a variety of processes, and have the characteristic of developing with a preferred orientation controlled by discontinuities such as bedding, joints, and faults around the cave. However, it is difficult to analyze a representative orientation from various orientations. To interpret the overall development orientation of limestone caves, this study proposes new development orientation analysis methods, termed the Average Span Ratio Method (ASRM) and the Individual Development Ratio Method (IDRM), using the weighting of persistence. Nine limestone caves in Korea were randomly selected for testing the new methods. The methods show a stronger development orientation for limestone caves than that obtained by traditional methods, which consider only the distribution of development orientations. Based on an analysis of the relationship between the average span and the dip angle of bedding, it is confirmed that shallowly dipping bedding is a major contributor to the expansion of span in limestone caves. In addition, using scan-line survey data acquired in the field, we perform an RMR analysis of stability of the ground around limestone caves.

• Economic and Environmental Geology
• /
• v.25 no.2
• /
• pp.179-190
• /
• 1992

The Yeongchun area is located at the central part of the Danyang Coalfield, where Precambrian granitoids, Cambro-Ordovician Choseon Supergroup, Carboniferous-early Triassic Pyeongan Supergroup, middle Triassic-Jurassic Bansong Group and extrusive tuffs are exposed. The rocks in the area underwent four phases of deformation, which are (a) $D_1$ : Movement of the Okdong Fault, (b) $D_2$ : Formation of NW-SE trending folds and stretching lineations, (c) $D_3$: Movement of the Gagdong Thrust Fault and associated structures of NNE-SSW trending folds, and (d) $D_4$ : E-W trending strike-slip faults and folds. During the $D_3$-event, flexural slip deformation intensively affected rocks in the area. Strain measurements show relatively low strain intensity in the area. The types of strain ellipsoid are prolate in the hangingwall area and those near to the footwall area range from plane strain to weak oblate. The oblate type is developed in the region far from the footwall area.

• The KIPS Transactions:PartD
• /
• v.18D no.4
• /
• pp.261-274
• /
• 2011

In recent competitive business environment each enterprise has to be agile and flexible. For these purposes run-time monitoring ofservices provided by an enterprise and early decision making through this becomes core competition of the enterprise. In addition, in order to process various innumerable events which are generated on enterprise systems techniques which make filtering of meaningful data are needed. However, the existing study related with this is nothing but discovering of service faults by monitoring depending upon API of BPEL engine or middleware, or is nothing but processing of simple events based on low-level events. Accordingly, there would be limitations to provide useful business information. In this paper, through situation detection an extended complex event model is presented, which is possible to provide more valuable and useful business information. Concretely, first of all an event processing architecture in an enterprise system is proposed, and event meta-model which is suitable to the proposed architecture is going to be defined. Based on the defined meta-model, It is presented that syntax and semantics of constructs in our event processing language including various and progressive event operators, complex event pattern, key, etc. In addition, an event context mechanism is proposed to analyze more delicate events. Finally, through application studies application possibility of this study would be shown and merits of this event model would be present through comparison with other event model.

• 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.

• Korean Journal of Materials Research
• /
• v.11 no.2
• /
• pp.88-93
• /
• 2001

The thermal behavior and the crystallographic characteristics of an epitaxial $C49-TiSi_2$ island formed in a Si (001) substrate by $N_2$, treatment were investigated by X-ray diffraction (XRD) and high-resolution transmission electron microscopy (HRTEM). It was found from the analyzed results that the epitaxial $C49-TiSi_2$ was thermally stable even at high temperature of $1000^{\circ}C$ therefore did not transform into the C54-stable phase and did not deform morphologically. HRTEM results clearly showed that the epitaxial $TiSi_2$ phase and Si have the orientation relationship of (060)[001]$TiSi_2$//(002)[110]Si, and the lattice strain energy at the interface was mostly relaxed by the formation of misfit dislocations. Furthermore, the mechanism on the formation of the epitaxial $_C49-TiSi2$ in Si and stacking faults lying on the (020) plane of the C49 Phase were discussed through the analysis of the HRTEM image and the atomic modeling.

• Tunnel and Underground Space
• /
• v.18 no.2
• /
• pp.149-161
• /
• 2008

It is nearly impossible to estimate the exact state of the current rock stress of interest site by the theoretical and physical approaches except some specific geological situations. This means that in-situ stress measurement is a unique way to obtain reliable information on rock stress especially for civil and mining engineering related problems. Since late in the 90's, in-situ rock stress tests have been widely conducted to provide the quantitative information on the stress state of engineering site at the design stage of an underground rock structure in the Kyungsang Basin, Korea. The study area is the near surface regions at the depth less than 300 m in the Kyungsang Basin. It includes Yeosoo to the west and Busan to the east. Totally, 270 in-situ stress measurements were conducted in the surface test boreholes at the depth from 14 m to 300 m by hydraulic fracturing method. In this paper, based on the measurement data set, the overall characteristics of the current in-situ rock stress fields in the study area are briefly described. And also the investigation results on the difference between the stress distributions for the granitoid and the andesitic rock region are also introduced. Finally, the distributions of the regional horizontal stress directions in Busan and the Yangsan faults area are shown.

• Fire Science and Engineering
• /
• v.26 no.4
• /
• pp.31-41
• /
• 2012

This study collected 5,100 cases of gas accident occurred in Korea for 14 years from 1995 to 2008, established Database and based on it, analyzed them by detailed forms and reasons. As the result of analyzing the whole city gas accidents with Poisson analysis, the item of "Careless work-Explosion-Pipeline' showed the highest rate of accidents for the next 5 years. And, "Joint Losening and corrosion-Release-Pipeline" showed the lowest rate of accident. In addition, for the result of analyzing only accidents related to LPG vaporizer, "LPG-Vaporizer-Fire" showed the highest rate of accident and "LPG-Vaporizer-Products Faults" showed the lowest rate of accident. Also, as the result of comparing and analyzing foreign LPG accident accompanied by Jet fire, facility's defect which is liquid outflow cut-off device and heat exchanger's defect were analyzed as the main reason causing jet fire, like the case of Korea, but the number of accidents for the next 5 years was the highest in "LPG-Mechanical-Jet fire" and "LPG-Mechanical-Vapor Cloud" showed the highest rate of accidents. By grafting Poisson distribution theory onto gas accident expecting program of the future, it's expected to suggest consistent standard and be used as the scale which can be used in actual field.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.10
• /
• pp.732-742
• /
• 2016

This study suggests methods of defense against low-level high-bandwidth DDoS attacks by adding a solution with a time limit factor (TLF) to an existing high-bandwidth DDoS defense system. Low-level DDoS attacks cause faults to the service requests of normal users by acting as a normal service connection and continuously positioning the connected session. Considering this, the proposed method makes it possible for users to show a down-related session by considering it as a low-level DDoS attack if the abnormal flow is detected after checking the amount of traffic. However, the service might be blocked when misjudging a low-level DDoS attack in the case of a communication fault resulting from a network fault, even with a normal connection status. Thus, we made it possible to reaccess the related information through a certain period of blocking instead of a drop through blacklist. In a test of the system, it was unable to block the session because it recognized sessions that are simply connected with a low-level DDoS attack as a normal communication.