• The Journal of Engineering Geology
• /
• v.20 no.4
• /
• pp.425-436
• /
• 2010

We established a stochastic 3-D fracture network system for fractured rock masses located in Il-Gwang Mine, Busan, to explore the relationship between the acidity of mine drainage and fracture geometry. A field scanline survey and borehole image processing were performed to estimate the best probability distributions of fracture geometry parameters. The stochastic 3-D fracture network system constructed for the rock masses was validated and deemed to be successful. The 3-D fracture network model was suitable for developing conceptual ideas on fluid flow in fractures at a field experimental site. An injection well and three observation wells were drilled at the field experimental site to monitor the acidity of mine drainage induced by the injection of fresh water. The field experiment, which was run for 29 days, yielded a significant relationship (with a high coefficient of determination) between the fracture geometry parameters and the acidity of mine drainage. The results show that pH increased with increasing relative frequency of fracture strike, and decreased with increasing fracture density. The concentration of $SO^{2-}_4$ decreased with increasing relative frequency of fracture strike, and increased with increasing fracture density.

• Environmental and Resource Economics Review
• /
• v.19 no.1
• /
• pp.101-127
• /
• 2010

The purpose of the research is to tackle proximity effects (PEs) when nonmarket valuation method CVM is applied to environmental goods such as tidal flats. 1,000 households are surveyed in the ratio of national household for the research. The sample are reclassified into five areas by 30-minute distance. Log-linear are used to analysis PEs in the research. On conclusion log-linear model regarding income effects proves that PEs are apparently represented in NMVMs(${\theta}_1$ >0. ${\theta}_2$ >0 and $dum1{\neq}0$, $dum2{\neq}0$, $dum3{\neq}0$, $dum4{\neq}0$) as a result of a 5 per cent significant level of t -test and F-test, finally rejecting the null hypothesis. In addition, WTP of area I respondents shows 26 per cent more then that of area V respondents, which is from \87,969 to \64,866 in the open-ended format. Finally, the research proves that the PEs in CVM are evidently represented with the econometric model, hence the PEs have to be embedded into the questionnaire of non-market valuation methods with the environmental goods to reduce the underestimation and improve the estimation accuracy.

• Korean journal of applied entomology
• /
• v.61 no.4
• /
• pp.549-554
• /
• 2022

Life table-related studies in insect ecology have been an interesting topic for insect researchers. Two calculation methods are commonly applied to estimate the intrinsic rate of natural increase (r_m) in the life table statistics. The first method is to estimate an approximate r_m by dividing the natural logarithm of the net reproductive rate (R₀) by mean generation time (T) (namely mean generation time-based method). Another approach is to apply the Lotka-Euler equation derived from the population growth equation of Lotka-Volterra to estimate accurate r_m using the maximum likelihood method (Lotka-Euler equation-based method). In the latter case, there is a difference in the estimated r_m value when the initial age class of the target cohort was set to "0" or "1", which confused the application. In this short review, a brief history of the calculation process of the life table was reviewed. It was again confirmed in the Lotka-Euler equation-based method that the form of $\sum\limits_{x=1}^{w}e^{-rx}l_xm_x=1$ should be applied to estimate r_m when the first age class was set to zero, while the form of $\sum\limits_{x=0}^{w}e^{-r(x+1)}l_xm_x=1$ when set to one.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.25 no.5
• /
• pp.1011-1019
• /
• 2015

CAPTCHA(Completely Automated Public Turing test to tell Computers and Humans Apart) is a test used in computing to distinguish whether or not the user is computer or human. Many web sites mostly use the character-based CAPTCHA consisting of digits and characters. Recently, with the development of OCR technology, simple character-based CAPTCHA are broken quite easily. As an alternative, many web sites add noise to make it harder for recognition. In this paper, we analyzed the most recent CAPTCHA, which incorporates the addition of the natural images to obfuscate the characters. We proposed an efficient method using support vector machine to separate the characters from the background image and use convolutional neural network to recognize each characters. As a result, 368 out of 1000 CAPTCHAs were correctly identified, it was demonstrated that the current CAPTCHA is not safe.

• 한국HCI학회:학술대회논문집
• /
• 2009.02a
• /
• pp.996-1000
• /
• 2009

There can be three objectives why we apply 3D graphics in TV interface. First, inevitable usability. 3D space is the most inevitable way for product-user interaction deviating from the current aesthetic or technical purpose of use. Second, enhance emotional satisfaction by merging interface into real life. Beyond digilog(analog+digital), we wanted users to naturally use the interface as if they are using everyday objects. And in order to do this properly, we analyzed the behaviors of users how they use their everyday objects and then analyzed the attributes beyond each behavior. Third, capaticy for enourmous contents of the incorporated TV. The most efficient way to display enormous amounts of contents in a limited screen is 3D. And that 3D space gives us almost unlimited capacity in accepting contents. Now to conclude, using 3D graphics for TV interface has significance in many ways but the issue is how we can maintain the 3D effects while customizing them into real products.

• Journal for History of Mathematics
• /
• v.23 no.3
• /
• pp.57-73
• /
• 2010

Transcendental numbers are important in the history of mathematics because their study provided that circle squaring, one of the geometric problems of antiquity that had baffled mathematicians for more than 2000 years was insoluble. Liouville established in 1844 that transcendental numbers exist. In 1874, Cantor published his first proof of the existence of transcendentals in article [10]. Louville's theorem basically can be used to prove the existence of Transcendental number as well as produce a class of transcendental numbers. The number e was proved to be transcendental by Hermite in 1873, and $\pi$ by Lindemann in 1882. In 1934, Gelfond published a complete solution to the entire seventh problem of Hilbert. Within six weeks, Schneider found another independent solution. In 1966, A. Baker established the generalization of the Gelfond-Schneider theorem. He proved that any non-vanishing linear combination of logarithms of algebraic numbers with algebraic coefficients is transcendental. This study aims to examine the concept and development of transcendental numbers and to present students with its open problems promoting a research on it any further.

• Research in Plant Disease
• /
• v.21 no.4
• /
• pp.268-272
• /
• 2015

Bacterial leaf blight caused by Pseudomonas syringae pv. porri is one of the major bacterial diseases of garlic (Allium sativum). In South Korea, the disease has only been observed in garlic-growing regions of Jeju island. The spatial distribution pattern of the disease was analyzed by binary power law, in which the natural logarithm of the observed variance is regressed on the natural logarithm of the binomial variance. The estimated slope (b=1.361) of the regression was greater than 1 which meant that the diseased plants were aggregated. The sequential sampling plans were developed for estimating the mean incidence rate ($p_m$) and classifying the mean incidence as being below or above the critical incidence rate ($p_t$). These results could be used on more efficient and higher precisive sampling for bacterial blight of garlic compared to fixed sample sized sampling.

• Annual Conference on Human and Language Technology
• /
• 2017.10a
• /
• pp.71-75
• /
• 2017

외래어란 외국어로부터 들어와 한국어에 동화되고 한국어로서 사용되는 언어이다. 나날이 우리의 언어사용 문화에서 외래어의 사용 비율은 높아져가는 추세로, 전문분야에서는 특히 두드러진다. 그러므로 더 효율적이고 효과적인 자연언어처리를 위해서 문서 내 외래어 인식은 중요한 전처리 과정이다. 따라서 본 논문에서는 bidirectional LSTM(이하 bi-LSTM)-CRF 모형의 심층학습을 이용한 음절태깅 기반의 외래어 인식 시스템을 제안한다. 제안하는 시스템의 외래어 인식 학습 과정은 다음과 같다. 첫째, 학습용 말뭉치 자료의 한글 음절들과 공백, 마침표(.)를 토대로 word2vec을 통해 학습용 피쳐(feature) 자료를 생성한다. 둘째, 학습용 말뭉치 자료와 학습용 피쳐 자료를 결합하여 bi-LSTM 모형 학습 자료를 구축한다. 셋째, bi-LSTM 모형을 거쳐 학습된 결과물을 CRF 모형에서 로그 가능도(log likelyhood)와 비터비(Viterbi) 알고리즘을 통해 학습 결과물을 내놓는다. 넷째, 학습용 말뭉치 자료의 정답과 비교한 뒤 모형 내부의 수치들을 조정한다. 다섯째, 학습을 마칠 때까지 반복한다. 본 논문에서 제안하는 시스템을 이용하여 자체적인 뉴스 수집 자료에 대해서 높은 정확도와 재현율을 기록하였다.

• 한국어정보학회:학술대회논문집
• /
• 2017.10a
• /
• pp.71-75
• /
• 2017

외래어란 외국어로부터 들어와 한국어에 동화되고 한국어로서 사용되는 언어이다. 나날이 우리의 언어사용 문화에서 외래어의 사용 비율은 높아져가는 추세로, 전문분야에서는 특히 두드러진다. 그러므로 더 효율적이고 효과적인 자연언어처리를 위해서 문서 내 외래어 인식은 중요한 전처리 과정이다. 따라서 본 논문에서는 bidirectional LSTM(이하 bi-LSTM)-CRF 모형의 심층학습을 이용한 음절태깅 기반의 외래어 인식 시스템을 제안한다. 제안하는 시스템의 외래어 인식 학습 과정은 다음과 같다. 첫째, 학습용 말뭉치 자료의 한글 음절들과 공백, 마침표(.)를 토대로 word2vec을 통해 학습용 피쳐(feature) 자료를 생성한다. 둘째, 학습용 말뭉치 자료와 학습용 피쳐 자료를 결합하여 bi-LSTM 모형 학습 자료를 구축한다. 셋째, bi-LSTM 모형을 거쳐 학습된 결과물을 CRF 모형에서 로그 가능도(log likelyhood)와 비터비(Viterbi) 알고리즘을 통해 학습 결과물을 내놓는다. 넷째, 학습용 말뭉치 자료의 정답과 비교한 뒤 모형 내부의 수치들을 조정한다. 다섯째, 학습을 마칠 때까지 반복한다. 본 논문에서 제안하는 시스템을 이용하여 자체적인 뉴스 수집 자료에 대해서 높은 정확도와 재현율을 기록하였다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2018.05a
• /
• pp.289-289
• /
• 2018

하천의 유사는 이동 형태에 따라 소류사와 부유사로 분류되는데, 대부분의 자연하천에서 유사는 난류로 인해 부유사의 형태로 이송된다. 하천 흐름 내 부유사는 크기와 모양이 서로 다른 입자들로 구성되어 있으며, 부유사의 입도 분포는 유사의 특성 뿐 아니라 흐름의 유사 이동 능력과 같은 유수동역학적 특성 또한 함께 고려되어야 한다. 유사의 입도 분포는 통계적인 방법을 통해 결정되며, 일반적으로 모래 하천의 입도 분포는 로그 정규 분포를 따르는 것으로 알려져 있다. 이에 본 연구에서는 부유사의 입도 분포 모형을 이용하여 다양한 흐름 조건 하에서의 입도분포를 살펴본다. 비점착성 유사의 입도 분포 모형은 점착성 유사의 입도 분포 모형으로부터 얻어지며, 1차원 유사 이동 모형과의 결합을 통해 다양한 흐름 조건에서 부유된 유사의 입도 분포를 모의할 수 있다. 여러 연구결과를 분석한 결과, 부유사의 입도 분포는 최빈치가 하나인 단최빈 분포(Unimodal Distribution)가 대다수를 차지하였으나, 최대 빈도가 두 개 이상 나타나는 쌍최빈 분포(Bimodal Distribution) 또한 흔히 나타나는 것이 확인된다. 본 연구에서 개발된 비점착성 유사의 입도 분포모형은 단최빈 및 쌍최빈이 나타난 실험실 실험 자료를 이용하여 검증된다. 단최빈의 입도 분포를 나타내는 실험 결과 2가지와 쌍최빈의 입도 분포를 나타내는 실험 결과 2가지를 이용하였을 때, 총 4가지의 다양한 유수동역학적 조건 하에서 비점착성 유사의 입도 분포가 합리적으로 모의되는 것이 확인된다.