• Korean Journal of Logic
• /
• v.8 no.1
• /
• pp.47-67
• /
• 2005

Bayesian networks have been used in studying and simulating causal inferences by using the probability function distributed over the variables consisting of inquiry space. The focus of the debates concerning Bayesian networks is the causal Markov condition that constrains the probabilistic independence between all the variables which are not in the causal relations. Cartwright, a strong critic about the Bayesian network theory, argues that the causal Markov condition cannot hold in indeterministic systems, so it cannot be a valid principle for causal inferences. The purpose of the paper is to explore whether her argument on the causal Markov condition is valid. Mainly, I shall argue that it is possible for upholders of the causal Markov condition to respond properly the criticism of Cartwright through the continuous causal model that permits the infinite sequence of causal events.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2012.05a
• /
• pp.736-736
• /
• 2012

유수의 침식과 퇴적작용은 지형의 변화를 일으키며, 이런 지형변화는 하천 흐름, 지하수 흐름 등의 변화를 가져오며 이는 다시 지형변화의 원인이 된다. 이런 일련의 과정이 되풀이되는 것을 지형발달이라 하며, 이는 수문 현상에도 지대한 영향을 미친다. 지형발달의 주요 인자에는 강우와 지반 융기 등이 있으며 각 주요 인자들은 복합적으로 지형발달에 영향을 준다. 하지만 지형발달 탐구 시 실제 지형을 대상으로 탐구하기에는 한계가 분명히 있다. 그래서 본 연구에서는 컴퓨터를 이용해 수식을 계산하여 수치적으로 지형발달을 모의하는 모형을 이용하여, 지형발달에 영향을 주는 강우와 지반 융기를 중점적으로 탐구하였다. 지형발달모형을 이용하면 더욱 다양한 관점에서 지형발달과정의 역동성을 파악하는 새로운 시도들이 가능하다. 특히 특정 환경 조건에서의 논리적인 지형의 반응을 통한 해석이 가능해져, 환경 변화로 어떠한 지형변화 또는 지표물질 수지 변화가 있을지를 예측할 수 있다(변종민, 2011). 또한, 지형발달 일련의 과정들을 살펴볼 수 있기 때문에 시 공간적 제약에서 벗어날 수 있다. 그러므로 지형발달모형은 강우와 융기 조건에 따른 지형발달을 모의하기에 적합하다. 본 연구는 LEGS을 이용하여 강우와 융기 조건에 따른 지형발달 모의를 진행하였다. LEGS는 지표수의 흐름을 탐색하는 방법으로 GD8을 이용한 물리 기반의 수치적 지형발달모형이다(Paik, 2012). 본 연구에서는 강우의 변동과 융기 조건의 변화가 지형발달에 상당한 영향을 미치는 것을 발견하였다. 특히, 유역의 표고차이 등과 같은 정량적인 지표의 변화에 주목하여 각종 분석을 하고, 물리적 원인을 고찰하였다.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2002.05a
• /
• pp.125-130
• /
• 2002

우리의 언어생활을 비추어 볼 때 한자어 정보처리는 많은 연구가 이루어야 함에도 불구하고 고유어 언구에 비해 소흘해 다루어져 왔다. 본 연구는 단일 한자어를 구성하는 각 음절이 단어의 재인에 어떤 영향을 미치는지 점화과제를 통하여 알아보았다. 본 실험은 기존의 한자어 연구에 빈도특성과 고유어와 외래어의 글자특성까지 고려하여 종합적으로 살펴보았다. 먼저 실험1의 어휘판단관제에서는 고유어와 한자어의 양상이 비슷하며 외래어는 다른 처리를 하는 것으로 드러났다. 고유어와 한자어는 빈도에 따라 영향을 받지만 외래어는 빈도의 영향에 변함없이 일정하게 나타났다. 이런 결과는 한국인은 고유어와 한자어를 동일한 양상으로 처리하며 이런 이유는 외래어의 한국어와는 다른 음운규칙이나 음절규칙의 영향으로 해석할 수 있겠다. 실험 2에서는 한자어 형태소와 의미적으로 유사한 조건(강도-강력)과 철자적 유사 조건(강도-강변), 고유어 유사 조건(강도-강정)조건을 점화과제를 이용하여 어휘판단을 하게 하였다. 실험 결과 모든 조건이 통제조건에 비하여 빠르게 나왔다. 그리고 의미적 유사 조건이 촉진적 점화효과를 일으키고, 철자적 유사조건은 억제 효과를 일으켰으며 고유어는 특이하게도 판단시간이 빠르게 나와 한자어와는 다른 처리과정이 있음을 보여주고 있다. 이런 결과는 지연조건에서도 동일하게 일어나고 있다. 이런 결과는 한자어는 어휘접근 이후에도 실험의 과제 특성상 한자어 형태소는 단어 수준 아래 위치하기는 힘든 반면, 고유어는 단어 수준 아래에 존재한다고 할 수 있다. 결국 한자어와 고유어는 기본적으로 외래어와 다른 처리를 보이면 한자어와 고유어 내에서도 한자어는 단어접근 전에 의미접근의 단계를 거쳐야 하지만 고유어는 각 음절이 형태소가 아니기 때문에 바로 어휘에 접근하는 것이라고 할 수 있겠다.ulic geometry and sediment transport has been applied to: (1) gravel-bed transport measurements in a cobble-bed stream at Little Granite Creek, Wyoming; (2) sand and gravel transport by size fraction in the sharp meander bends of Fall River, Colorado; (3) changes in sand dune geometry and resistance to flow during major floods of the Rhine River in the Netherlands; (4) changes in hydraulic geometry of the Rio Grande downstream of Cochiti Dam, New Mexico; and (5) analysis of the influence of water temperature and the Coriolis force on flow velocity and sediment transport of the Lower Mississippi River in Louisiana. Recent developments also include two textbooks on "Erosion and Sedimentation" and "River Mechanics" by the author and state-of-the-art papers in the ASCE Journal of Hydraulic Engineering.rk on is diversified, the importance of skills are diversified in each field of jobs.

• Korean Journal of Cognitive Science
• /
• v.25 no.3
• /
• pp.189-210
• /
• 2014

The present study investigated the perceptual span(or the span of effective vision) of junior-high school students during reading Korean, using the material and the moving-window display change technique used in Choi & Koh(2009). The 8 different window sizes were used in the experiment. They were 3, 5, 7, 9, 11, 13, 15 characters in size and the whole line. Reading rate, number of fixation, saccadic distance, fixation duration were compared between each window-size condition and the whole line condition. Considering the pattern of eye-movement measures above, the size of the perceptual span of junior-high school students in Korean reading may be estimated to be 9 characters, that is 4 characters to the right and 1 characters to the left of the fixation.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.5B
• /
• pp.508-519
• /
• 2004

This paper proposed two multi-path constraint-based routing algorithms for Internet traffic engineering using MPLS. In normal constraint-based shortest path first (CSPF) routing algorithm, there is a high probability that it cannot find the required path through networks for a large bandwidth constraint that is one of the most important constraints for traffic engineering, The proposed algorithms can divide the bandwidth constraint into two or more sub-constraints and find a constrained path for each sub-constraint, if there is no single path satisfying the whole constraint. Extensive simulations show that they enhance the success probability of path setup and the utilization of network resources.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.7
• /
• pp.23-32
• /
• 2012

There is a method which identifies validity of program by transforming program to verification condition to verify program. If program is verified by generating verification condition, verification condition must have enough and accurate information for verifying program. However, verification condition is consisting of logical formulas, so the user cannot easily identify the verification condition. In this paper, we implemented program that visualize the poorly readable verification conditions. By the program, the users can easily identify information, such as the relationship between logical formulas that represent verification condition.

• Journal of the Korean GEO-environmental Society
• /
• v.14 no.1
• /
• pp.61-68
• /
• 2013

This paper presents an experimental results on the environmental characteristics of waste tire. Experimental program includes a set of laboratory leaching tests and field pilot test for leachate analysis. Laboratory tests were conducted to illustrate how properties such as TOC, pH, turbidity and Zn change with tire sizes and drain conditions. In field pilot test, water samples were collected form a drainage system installed below the tire-reinforced retaining wall and analyzed for chemical quality. Laboratory leaching tests performed on various particle sizes of waste tire indicated that as tire size is increased, the concentration of leachate is decreased. In continuous flow column tests, the concentration of leachate decreased with the number of exposure periods or pore volumes flushed through the waste tire. However, during pause flow column tests, the concentration of leachates were increased with time. Field monitoring of effluent indicated that no significant adverse effects on ground water quality had occurred over a period of 12 months.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2020.06a
• /
• pp.398-398
• /
• 2020

대도시 상류부에 위치한 댐의 과도한 방류 또는 급작스러운 붕괴는 대규모의 인명 또는 재산피해를 야기할 수 있으며, 다양한 댐 유입량 조건에 따른 침수양상을 파악하는 것은 수재해 대응능력 향상에 필수적이다. 그러나 다양한 과다한 댐 방류 또는 붕괴유량에 따른 침수 범위는 도시의 내수침수와 달리 매우 넓은 지형조건을 고려하며 침수 범위가 광범위하게 나타날 수 있다. 이는 다양한 댐 유입량 조건에 따른 침수 지도를 생성 및 파악하는데 어려움을 가중시키며, 특히 댐 운영에 따른 침수양상을 실시간으로 파악하는데 어려움을 가중시킨다. 본 연구에서는 저빈도부터 PMF(Probable Maximum Flood) 조건까지의 다양한 댐 유입량자료를 바탕으로, 1차원 하천홍수해석을 실시하였다. 연구 대상으로 팔당댐에 대한 댐 해석을 실시하였으며, 팔당댐 하류에 위치한 서울시에 대한 영향을 분석하였다. 1차원 해석 결과로 산정되는 각하도 단면 별 홍수위자료와 GIS을 연계하여 다양한 발생빈도를 나타내는 유입량에 대한 침수지도를 생성하였으며, 기존에 제시된 발생빈도에 따른 침수지도 외에 임의 빈도의 침수지도를 실시간으로 생성할 수 있는 랜덤포레스트 회귀 모형을 구축하였다. 위의 과정들을 통해 다양한 유입량 조건에 따른 연구대상 지역에서의 침수예상도를 분석할 수 있었으며, 서울시 전반적으로 나타날 수 있는 침수심의 공간적 분포를 파악할 수 있었다. 주어진 침수 지도를 이용하여 서울시에 대한 인구 및 건축물의 경제적 가치 자료를 이용하여 추가적인 홍수 위험도 분석이 가능할 것으로 보이며, 임의 빈도에 대하여 실시간으로 침수를 예측할 수 있는 랜덤포레스트와 연계할 수 있다. 제시된 방법론은 댐의 과다한 방류량과 붕괴 현상을 재현하며, 도시의 수재해 대응능력 향상을 위한 기초자료를 제공할 수 있을 것으로 보인다.

• Journal of Educational Research in Mathematics
• /
• v.15 no.2
• /
• pp.131-145
• /
• 2005

This study intends to analyze didactically on triangle-determining conditions and triangle-congruence conditions. The result of this study revealed the followings: Firstly, many pre-service mathematics teachers and secondary school students have insufficient understanding or misunderstanding on triangle-determining conditions and triangle-congruence conditions. Secondly, the term segment instead of edge may show well the concern of triangle-determining conditions. Thirdly, when students learn the method of finding six elements of triangle using the law of sines and cosines in high school, they should be given the opportunity to reflect the relation and the difference between triangle-determining situation and the situation of finding six elements of triangle. Fourthly, accepting some conditions like SSA-obtuse as a triangle-determining condition or not is not just a logical problem. It depends on the specific contexts investigating triangle-determining conditions. Fifthly, textbooks and classroom teaching need to guide students to discover triangle-deter-mining conditions in the process of inquiry from SSS, SSA, SAS, SAA, ASS, ASA, AAS, AAA to SSS, SAS, ASA, SAA. Sixthly, it is necessary to have students know the significance of 'correspondence' in congruence conditions. Finally, there are some problems of using the term 'correspondent' in describing triangle-congruence conditions.

• Geophysics and Geophysical Exploration
• /
• v.15 no.3
• /
• pp.121-128
• /
• 2012

Absorbing boundary conditions are used to mitigate undesired reflections that can arise at the model's truncation boundaries. We apply a complex frequency shifted perfectly matched layer (CFS-PML) to elastic wave modeling in the frequency domain. Modeling results show that the performance of our implementation is superior to other absorbing boundaries. We consider the coefficients of CFS-PML to be optimal when the kinetic energy becomes to the minimum, and propose the modified CFS-PML that has the CFS-PML coefficient ${\alpha}_{max}$ defined as a function of frequency. Results with CFS-PML and modified CFS-PML are significantly improved compared with those of the classical PML technique suffering from large spurious reflections at grazing incidence.