• Geophysics and Geophysical Exploration
• /
• v.7 no.2
• /
• pp.148-154
• /
• 2004

This article reviews the development of three-dimensional (3-D) magnetotelluric (MT) modeling. The 3-D modeling of electromagnetic fields is essential in understanding the physics of MT soundings, and in implementing an inversion method to reconstruct a 3-D resistivity image. Although various numerical schemes have been developed over the last two decades, practical methods have been quite limited. However, the recent rapid improvement in computer speed and memory, as well as the advance in iterative solution algorithms for a large system of equations, makes it possible to model the MT responses of complex 3-D structures, which have been very difficult to simulate before. The use of staggered grids in finite difference method has become popular, conserving a magnetic flux and an electric current and allowing for realistic discontinuous fields. The convergence of numerical solutions has been greatly accelerated by adopting Krylov subspace methods, proper preconditioning techniques, and static divergence corrections. The vector finite-element method using edge elements is also free from the discontinuity problem, and seems a natural choice for modeling complex structures including irregular topography because its flexibility allows one to capture full geometric complexity.

• Journal of Korean Library and Information Science Society
• /
• v.28
• /
• pp.447-475
• /
• 1998

We are seeing a shift of the focus of information service from system-centered(data-centered or intermediary-centered) a n.0, pproach to user-centered a n.0, pproach. Sense-making theory is one of the user- centered a n.0, pproaches. This study focused on user-centered information service paradigm concepts of Dervin's sense-making theory and interpreting sense-making theory in the practical context of library services. The sense-making theory is basically a cognitive a n.0, pproach to information-seeking, in that it recognizes information as something that involves internal cognitive processes. The user of information becomes the focus in this sense-making model. The sense-making theory sees information as subjective, situational, and cognitive. It focuses on understanding information within specific contexts and on understanding how information needs develop and how they are satisfied. It regards the user not as a passive receive of external information but as the center in a active, ongoing process of change. It related to the information needs of users. Dervin's method for studying information needs employs the 'situation-gap-use' metaphor. All information needs stem from a discontinuity or 'gap! in one's knowledge. Dervin believes that information needs can be addressed by understanding the process that each individual goes through in experiencing a gap, in trying to resolve it, and in gaining something (especially new knowledge) from the experience. Sense-making is a process; 'sense' is the product of this process. Sense includes 'knowledge'. However, it includes a host of other subjective factors that reflect an individual's interpretations of a situation including intuitions, opinions, hunches, effective responses, evaluations, questions, etc. For several reasons, however, difficulties are encountered if one attempts a more substantial assessment of the theory. First, it has not yet crystallized into a well-defined theory. Secondly, though the theory has aroused general interest, e.g. within LIS, detailed discussion of its strong and weak points is still lacking. A third source of difficulty is that the basic assumptions of the theory have been explicated metaphorically. If sense-making theory is to be really useful, it needs to be interpreted for library settings. But we have found no attempt to construct an information service based on the theory. Because the research tradition is still relatively young, there are many unanswered questions connected, e.g. with the design of information systems. In any case, e.g. intermediary access systems would be more efficient and effective it their planning could be founded on the user-centered a n.0, pproach.

• Journal of Conservation Science
• /
• v.26 no.2
• /
• pp.121-132
• /
• 2010

The Bukjiri Maaeyeoraejwasang (National Treasure No. 201) consists of two-mica granite in medium size, which was the simbol of power in the region of the Silla period. Magnetic susceptibility of the host rock was measured as 0.41(${\times}10^{-3}$ SI unit), which has the similar range with surrounding outcrop. The Buddha developed parallel discontinuous plane of NE to SW strike and damaged seriously by exfoliation, granular disintegration and brown discoloration as 41.5%, 16.7% and 40.0%, respectively. As a result of the ultrasonic velocity, which was relatively weak values as 1,629m/s (Buddha area) and 1,549m/s (surrounding outcrop), improved about 900m/s compared to last treatment. From the results of the evaluation for slope stability, identified the possibility of toppling failure in the Buddha, and planar and wedge failure in host rock. Therefore, we suggest for the safely conservation of the Buddha, continuance monitoring for understand behavior of discontinuity system of the surface, and necessitate foundation reinforcement method for the rock which has the danger of collapse.

• Journal of Radiation Protection and Research
• /
• v.17 no.1
• /
• pp.43-56
• /
• 1992

As one of the methods to ameliorate the ray effects which are the nature of anomalous computational effects due to the discretization of the angular variable in discrete ordinates approximations, a computational program, named TWODET (TWO dimensional Discrete Element Transport), has developed in 2 dimensional cartesian coordinates system using the discrete elements method, in which the discrete angle quadratures are steered by the spatially dependent angular fluxes. The results of the TWODET calculation with K-2, L-3 discrete angular quadratures, in the problem of a centrally located, isotropically emitting flat source in an absorbing square, are shown to be more accurate than that of the DOT 4.3 calculation with S-10 full symmetry angular quadratures, in remedy of the ray effect at the edge flux distributions of the square. But the computing time of the TWODET is about 4 times more than that of the DOT 4.3. In the problem of vacuum boundaries just outside of the source region in an absorbing square, the results of the TWODET calculation are shown severely anomalous ray effects, due to the sudden discontinuity between the source and the vacuum, like as the results of the DOT 4.3 calculation. In the probelm of an external source in an absorbing square in which a highly absorbing medium is added, the results of the TWODET calculation with K-3, L-4 show a good ones like as, somewhat more than, that of the DOT 4.3 calculation with S-10.

• Journal of the Korean Vacuum Society
• /
• v.19 no.4
• /
• pp.249-255
• /
• 2010

Methods of the characteristics evaluation of turbo-molecular pumps (TMP) are well-defined in the international measurement standards such as ISO, PNEUROP, DIN, JIS, and AVS. The Vacuum Center in the Korea Research Institute of Standards and Science (KRISS) has recently designed, constructed, and established the integrated characteristics evaluation system of TMPs based on the international documents by continuously pursuing and acquiring the reliable international credibility through measurement perfection. The measurement of TMP pumping speed is normally performed with the throughput and orifice methods dependent on the mass flow regions. However, in the UHV range of the molecular flow region, the high uncertainties of the gauges, mass flow rates, and conductance are too critical to precisely accumulate reliable data. In order to solve the uncertainty problems of pumping speeds in the UHV range, we introduced a SRG with 1% accuracy and a constant volume flow meter (CVFM) to measure the finite mass flow rates down to $10^{-1}$ Pa-L/s with 3% uncertainty for the throughput method. In this way we have performed the measurement of pumping speed down to $10^{-4}$ Pa with an uncertainty of less than 6% for a 1000 L/s TMP. In this article we suggest that the CVFM has an ability to measure the conductance of the orifice experimentally with flowing the known mass through the orifice chambers, so that we may overcome the discontinuity problem encountering during introducing two measurement methods in one pumping speed evaluation sequence.

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

• Geophysics and Geophysical Exploration
• /
• v.13 no.2
• /
• pp.153-158
• /
• 2010

To investigate the velocity structure in the central and southern parts of the Korean peninsula, a 299-km NW-SE seismic refraction profile KCRT-2008was obtained across major tectonic boundaries. Seismic waves were generated by detonating 250 ~ 1500 kg explosives at depths of 50 ~ 100 m in eight drill holes located at intervals of 21 ~ 113 km. The seismic signals were detected by 4.5 Hz geophones at a nominal interval of 500 m. The first-arrival times were inverted to derive a velocity tomogram. The raypaths indicate several mid-crust interfaces including those at approximate depths of 2 ~ 3, 11 ~ 13, and 20 km. The Moho discontinuity with refraction velocity of 7.7 to 8.1 km/s has a maximum depth of 34.5 km under the central portion of the peninsula. The Moho becomes shallower as the Yellow Sea and the East Sea are approached on the west and east coasts of the peninsula, respectively. The depth of the 7.6 km/s velocity contour varies from 31.3 km to 34.4 km. The velocity tomogram shows the existence of a 129 km wide low-velocity zone centered at 7.2 km depth under the Okchon fold belt and Gyeonggi massif and low-velocity(< 5.4 km/s) rocks in the Gyeongsang sedimentary basin with a maximum thickness of 2.6 km

• Journal of the Korean Geotechnical Society
• /
• v.25 no.12
• /
• pp.27-35
• /
• 2009

KICT (Korea Institute of Construction and Technology) and KISTEC (Korea Infrastructure Safety and Technology Corporation) have been carrying out inventory survey on cut slopes along national roads since 2006. Unlike precision safety check, cut slope inventory survey is a simple check about cut slope's characteristics with the naked eye to collect the data base of slope maintenance. Inventory survey is classified into general status, cut slope characteristics and inspector opinions. The inventory data are analyzed to identify dangerous slopes and decide a safety ranking. In this paper, we performed a correlation analysis using SPSS (ver.15) about the 10,461 cut slope inventory data which are collected in Kangwondo and Chungcheongdo from 2006 to 2008. We calculated the correlation coefficient between cut slope inventory data and the danger score derived from the data. And we evaluated cut slope inventory data which have the more influence on the danger degree of cut slope. According to results of correlation analysis, we found that inventory data influencing cut slope danger degree are stuck and fallen rock, orientation of discontinuity and angle of upper slope. And these data are slightly different by regionally. Later on, if inventory research is finished, we will understand regional characteristics of cut slopes.

• Analytical Science and Technology
• /
• v.20 no.5
• /
• pp.361-369
• /
• 2007

Uncomfortable odor emitted from air conditioning system is the main cause of indoor air quality deterioration. To solve evaporator odor problems, odor active compounds, have to be identified then the quality of the product can be improved its quality. Because evaporator odor in exhaust gas has low odor intensity and discontinuity, it is very difficult to collect and analyze sample. In this study through the identification of odor compounds in condensed water, the evaluation of the eraporator was tested. Odor compounds were extracted from water by headspace-solid-phase microextraction (HS-SPME) method. The single odor was separated by GC/FID/Olfactometry (GC/FID/O) and odor active compounds were identified by GC/AED and GC/MS. Compared to air sample, result of sensory evaluation and the single odor compound appeared similarly. It was identified that odor active compounds have functional group containing oxygen such as alcohols and acids. Evaluation method of odor active compounds using condensed water in evaporator appeared effective on the side of simplicity of collection, low expanse and rapid analysis.

• Journal of the Daesoon Academy of Sciences
• /
• v.17
• /
• pp.93-112
• /
• 2004

This article examines the process of how Daesoon thought keeps its own identity while being practiced as a religion in Korean culture through the perspective of theological hermeneutics of E. Schillebeeckx, a representative theologian in 20th century, especially on the centering of the matter of experience. Schillebeeckx says that an experience is an occurrence of perception by encountering something different from oneself. According to him, 1) the occurrence of perception is premised on a framework or form of interpretation which prescribes experience as the experience in the perceptive dimension. 2) A framework of interpretation is subject to pre-existing system or structure which already has formed a basis to the experience. It consists of various interpretative elements such as social form, general knowledges, various experiences, theoretical models in their society, etc.. 3) The experiences take place in the reflection of contemporary situation, and it is understood by a society, thus making it a social stream. This experience is expressed historically, gains historicity in the process of being handed down from person to person, from generation to generation. In this way, an experience starts to form a tradition. 4) The tradition is a historical stream which gives rise to, admits, and integrates various experiences, religious revelation, and faith etc. In this way, the tradition as a historical stream becomes a field of religious actuality such as revelation, salvation, etc. Conclusively, a religion takes place, is formed, only when it is understood anew by the people who live in that cultural tradition through their languages. The ground Daesoon thought takes place, is formed, is in this way. Daesoon thought takes place in the core of traditional Korean culture, undergoes changes when it encounters the other stream of traditional Korean culture, and the vice versa. Because of this inevitable change, ironically enough, Daesoon thought can maintain its own identity as Daesoon thought, and Korean culture its own identity as Korean culture, avoiding falling into the tertiary which is neither Daesoon thought nor Korean culture. It is in this way that any religion can be in the faithfulness to its starting point to be enriched and transformed in its interaction with the other tradition. At here is the reason Daesoon thought has to have an openness to the changing world.