• Journal of Soil and Groundwater Environment
• /
• v.12 no.3
• /
• pp.10-16
• /
• 2007

The slug test by adding water to well and measuring falling head was conducted to investigate the hydrogeological property of unsaturated or partially saturated mine tailings in the Imgi abandoned mine in Busan. In case that wells were installed with a full screen through two layers with different hydraulic properties, Bouwer and Rice method was useful to estimate the hydraulic conductivity and the depth of mine tailings. In particular, when groundwater dried out in the dry season, the slug test performed by adding water into well to form artificial water table and then conducting falling head test produced the reasonable hydraulic conductivity values. The slug test using falling head test can be an alternative to investigate the hydrogeological property of abandoned mine tailings.

• Journal of the Korean School Mathematics Society
• /
• v.20 no.4
• /
• pp.405-422
• /
• 2017

Nim games were divided into three stages : one file, two files and three files game, and inquiry activities were conducted for middle school mathematically gifted students. In the first stage, students easily found a winning strategy through deductive reasoning. In the second stage, students found a winning strategy with deductive reasoning or inductive reasoning, but found an error in inductive reasoning. In the third stage, no students found a winning strategy with deductive reasoning and errors were found in the induction reasoning process. It is found that the tendency to unconditionally generalize the pattern that is formed in the finite number of cases is the cause of the error. As a result of visually presenting the binary boxes to students, students were able to easily identify the pattern of victory and defeat, recognize the winning strategy through game activities, and some students could reach a stage of justifying the winning strategy.

• Korean Journal of Logic
• /
• v.13 no.2
• /
• pp.117-134
• /
• 2010

In this paper, I attempted to show that 'Sorensen's Sorites' is not a successful argument for the vagueness of 'vague'. There are a lot of debates about it, but the central issue is whether Sorensen's Sorites is just small sorites; whether the vagueness certified by Sorensen's Sorites is just the vagueness of 'small'. Deas and Hull thought it was and rejected Sorensen's proof based on his sorites. But their rejection was rebutted by Varzi. The basis of his argument is that the subject of Sorensen's sentences - 'n-small' is vague - is not used but mentioned. I tried to reply on behalf of Deas and Hull and to show that the predicate 'vague' has not any effect on determining the truth value of "'n-small' is vague." Then it can be removed from the sentence. Of course I approve 'vague' is a homological term. What I do not agree with is only Sorensen's argument.

• Fashion & Textile Research Journal
• /
• v.20 no.2
• /
• pp.219-225
• /
• 2018

The purpose of this study is to make an ideal dummy for adult Maltese with proper investigation of its character and direct measurement of dog body-shape. The results of the study are as follows; First, there were 6 factors to affect the characteristics of Maltese body in the analysis, which are size of body, leg shape, chest shape, leg thickness, body length, length between fore-legs. In the cluster analysis with the 6 factors there were two types of Maltese body. Type 1 has body characteristics with large body, thick leg, and small distance between front legs. Type 2 has average size of all factors including body size, leg thickness, and length between fore-legs. Second, type 2 was selected as a representative one to make a dummy reflected body shape of characteristics because it took 67.71% from entire considered factors and has average value in the measured size. The first dummy pattern was planned by copying the surface area of the representative body shape with the method of surgical tape. A dummy of single body with trunk and legs was made using 30's cotton cloth, polyester inside batting, compressed form PVC and metallic wire on the joint of trunk and legs to support dummy shape. The second pattern was made by correcting size difference of the pattern and adding the pattern of neck covering plate, metal magnetic button was inserted on the center of joint area of trunk and legs to make detachable legs for easy slip on and off the pet's wear.

• Journal of the Korean Society of Groundwater Environment
• /
• v.3 no.2
• /
• pp.70-79
• /
• 1996

The Friar Tuck Abandoned Coal Mine site is one of the most complexly disturbed areas in the midwestern United States. The deposits of gob and tailings contain high concentrations of pyrite, whose oxidation contributes to the acidification of soil and water and prevents the growth of vegetation. In an effort to quantitatively evaluate the effects of reclamation techniques, detailed monitoring program was performed. Water samples were collected from surface water, groundwater, and pore water from the unsaturated zone during a period of five years. According to the results, The spoil deposits are a relatively minor source of contamination and gob piles are the source of severe contamination to surface water and groundwater. But, loess and till beneath the gob piles effectively prevent the contaminated water migration from the source. Surface layers of the gob piles and the tailing deposits are less toxic than the interior of the deposits as a consequence of weathering over several decades. Acid mine drainage is in a post-peak stage and acid formation potential is probably situated in the unsaturated zone of refuse.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.23 no.3
• /
• pp.383-393
• /
• 2013

Data stream mining is a technique to obtain the useful information by analyzing the data generated in real time. In data stream mining technology, frequent itemset mining is a method to find the frequent itemset while data is transmitting, and these itemsets are used for the purpose of pattern analyze and marketing in various fields. Existing techniques of finding frequent itemset mining are having problems when a malicious attacker sniffing the data, it reveals data provider's real-time information. These problems can be solved by using a method of inserting dummy data. By using this method, a attacker cannot distinguish the original data from the transmitting data. In this paper, we propose a method for privacy preserving frequent itemset mining by using the technique of inserting dummy data. In addition, the proposed method is effective in terms of calculation because it does not require encryption technology or other mathematical operations.

• The Journal of the Acoustical Society of Korea
• /
• v.20 no.6
• /
• pp.94-103
• /
• 2001

The goal of using numerical methods in this study is two-fold: to replicate a set of measured, individualized HRTFs by a computer simulation, and also to visualise the resultant sound field around the head. Two methods can be wed: the Boundary Element Method (BEM) and the Infinite-Finite Element Method (IFEM). This paper presents the results of a preliminary study carried out on a KEMAR dummy-head, the geometry of which was captured with a high accuracy 3-D laser scanner and digitiser. The scanned computer model was converted to a few valid BEM and IFEM meshes with different polygon resolutions, enabling us to optimise the simulation for different frequency ranges. The results show a good agreement between simulations and measurements of the sound pressure at the blocked ear-canal of the dummy-head. The principle of reciprocity provides an effect method to simulate HRTF database. The BEM was also used to investigate the total sound field around the head, providing a tool to visualise the sound field for different arrangements of virtual acoustic imaging systems.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.4
• /
• pp.11-19
• /
• 2007

This paper proposes RCB(Reduced Compact Binary) tie to correct faults of both CB(Compact Binary) tie and HCB(Hierarchical Compact Binary) trie. First, in the case of CB trie, a compact structure was tried for the first time, but as the amount of data was increasing, that of inputted data gained and much difficulty was experienced in insertion due to the dummy nods used in balancing trees. On the other hand, if the HCB trie realized hierarchically, given certain depth to prevent the map from increasing on the right, reached the depth, the method for making new trees and connecting to them was used. Eventually, fast progress could be made in the inputting and searching speed, but this had a disadvantage of the storage space becoming bigger because of the use of dummy nods like CB trie and of many tree links. In the case of RCB trie in this thesis, the tree-map could be reduced by about 35% by completely cutting down dummy nods and the whole size by half, compared with the HCB trie.

• Korean Journal of Logic
• /
• v.16 no.2
• /
• pp.189-231
• /
• 2013

The purpose of this paper is to show that Williamson's counterexamples and Fara's paradox do not conclusively refute supervaluationism. I will achieve this purpose on the basis of local validity. In general, people regard supervaluational validity as global validity. And D-introduction, which is premise of Williamson's counterexamples and Fara's paradox, is justified only if we assume global validity. But it cannot correctly grasp supervaluational semantics, especially semantic character of D-operator. So I will show that validity of supervaluationism is local and define global validity by local validity. Strategy of this paper is to protect supervaluationism against Williamson's counterexamples and Fara's paradox by minimal modification of supervaluationism and to prove that supervaluational logic is not revisionary and weak for solving the sorites paradox.

• Korea Real Estate Review
• /
• v.28 no.3
• /
• pp.21-35
• /
• 2018

The recent performance of residential mortgages demonstrated how default risk operated separately from prepayment risk. In this study, we investigated the determinants of the borrowers' decisions pertaining to early termination through default from the mortgage performance data released by Freddie Mac, involving securitized mortgage loans from January 2011 to September 2013. We estimated a Cox-type, proportional hazard model with a single risk on fundamental factors associated with default options for individual mortgages. We proposed a mortgage default model that included two specifications of delinquency: one using a delinquency binary variable, while the other using a delinquency probability. We also compared the results obtained from two specifications with respect to goodness-of-fit proposed in the spirit of Vuong (1989) in both overlapping and nested models' cases. We found that a model with our proposed delinquency probability variable showed a statistically significant advantage compared to a benchmark model with delinquency dummy variables. We performed a default prediction power test based on the method proposed in Shumway (2001), and found a much stronger performance from the proposed model.