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

제주지역의 지하수 함양 지체시간을 분석하기 위해 18개 지점의 지하수 관측자료를 기초로 강수-지하수위 자료를 강수사상별로 분류하여 분석하였다. 지하수 함양에 결정적인 영향을 주는 인자로 지하수위의 대수층 두께와 지점의 투수계수를 설정하였다. 대체로 고도가 낮은 지역에서는 지하수 함양 지체가 짧았으나 고도가 높아질 수록 대수층 두께도 증가하여 지하수 함양지체시간은 길게 나타났다. 하지만 대수층 두께만으로 지체시간이 결정되는 것은 아니며 이에 투수계수 자료를 함께 분석해야만 타당한 결과를 얻을 수 있을 것으로 판단하여 대수층 두께와 지점 투수계수를 변수로 두고 관측된 지하수 함양지체시간과의 관계를 다중선형회귀분석을 통해 구하였다. 다중상관계수는 0.9정도로 높게 나타났으며, 대수층 두께에 대한 통계학적 유의성도 적합하게 나타났다. 이와 같이 결정된 회귀식은 향후 지하수 함양지체시간의 공간분포를 결정함에 있어 활용이 가능하며 분포형 수문모형과 연계시킬 경우 통합모델링에 적절하게 반영될 수 있을 것으로 판단된다.

• Journal of Soil and Groundwater Environment
• /
• v.10 no.6
• /
• pp.32-44
• /
• 2005

314 pumping test data of the National Groundwater Monitoring Wells (NGMWs) are analyzed to present statistical properties of fractured-rock and alluvial aquifers of Korea such as distribution of hydraulic conductivity, empirical relations between transmissivity and specific capacity, and time-drawdown patterns of pumping and recovery test. The mean hydraulic conductivity of alluvial aquifers (1.26 m/day) is 17 times greater than that of fractured-rock aquifers (0.076 m/day). Hydraulic conductivity of fracture-rock aquifers ranges in value over 4 orders of magnitude which coincide with representative values of fractured crystalline rocks and shows distinctive differences among rock types with the lowest values for metamorphic rocks and the highest values for sedimentary rocks. In consideration of the estimated transmissivity with some simplifying assumptions, it Is likely that $32\%$ of groundwater flow for NGMWs would occur through fractured-rock aquifers and $68\%$ through alluvial aquifers. Based on 314 pairs of data, empirical relations between transmissivity and specific capacity are presented for both fractured-rock and alluvial aquifers. Depending on time-drawdown patterns during pumping and recovery test, NGMWs are classified into $4\~5$ types. Most of NCMWs $(83.7\%)$ exhibit the recharge boundary type, which call be attributed to sources of water supply such as streams adjacent to the pumping well, the vertical groundwater flux between fractured-rock and the alluvial aquifers, and the delayed yield associated with gravity drainage occurring in unconfined aquifers.

• Proceedings of the Korean Society of Soil and Groundwater Environment Conference
• /
• 2003.09a
• /
• pp.222-226
• /
• 2003

경남 밀양지역의 대수층별 지하수위 분포 특성을 파악하기 위하여 2002년 봄에 총 503개 지하수공을 대상으로 지하수위를 측정하였다. 조사된 자료는 수치가 낮은 지점들에 집중되어 있어 정규분포를 이루지 않으나, 대수변환 된 자료는 정규분포를 나타내었다. 표고와 천층 및 심층 지하수위의 회귀 분석을 실시한 결과, 모두 정(＋)의 상관관계가 높은 것으로 나타났다. 베리오그램 분석이나 교차 베리오그램 분석 결과, 원시자료보다 대수변환 된 자료가 반베리오그램이나 교차 반베리오그램의 적합선에 더 잘 맞는 것으로 나타났다. 교차 타당성 분석 결과, 천층 지하수위에 대한 정규크리깅 및 코크리깅 모델링에서 원시 자료가 대수변환 된 자료보다 추정치에 더 가깝게 나타났고, 심층 지하수위에 대한 정규크리깅 및 코크리깅 모델링에서는 원시 자료보다 대수변환 된 자료가 추정치에 더 가깝게 나타났다. 정규크리깅이나 코크리깅을 이용하여 작성된 대수층별 지하수위 등고선도에서 등고선의 분포는 대체로 비슷하지만, 코크리깅에 의해 작성된 지하수위 등고선도가 정규크리깅에 의한 지하수위 등고선도보다 더 정밀한 것으로 나타났다. 이것은 원시 자료뿐만 아니라 대수변환 된 자료를 이용한 지하수위 등고선도에서도 같은 결과가 도출되었다.

• Journal of Educational Research in Mathematics
• /
• v.17 no.3
• /
• pp.253-270
• /
• 2007

by A.C. Clairaut was written based on the historico-genetic principle such as his . In this paper, by analyzing his we can induce six principles that Clairaut adopted to teach algebra: necessity and curiosity as a motive of studying algebra, harmony of discovery and proof, complementarity of generalization and specialization, connection of knowledge to be learned with already known facts, semantic approaches to procedural knowledge of mathematics, reversible approach. These can be considered as strategies for teaching algebra accorded with beginner's mind. Some of them correspond with characteristics of , but the others are unique in the domain of algebra. And by comparing Clairaut's approaches with school algebra, we discuss about some mathematical subjects: setting equations in relation to problem situations, operations and signs of letters, rule of signs in multiplication, solving quadratic equations, and general relationship between roots and coefficients of equations.

• The Science & Technology
• /
• v.32 no.5 s.360
• /
• pp.32-34
• /
• 1999

23년 전인 1976년 Nebraska대학에서 박사과정을 이수할 때의 일이다. 그때 나는 학위논문을 대수학분야로 잡고 있으면서 대수학의 환론과목과 해석학분야의 위너적분론을 수강했다. 그런데 막상 시험을 볼 때 감기몸살로 대수학 환론과목을 망치는 바람에 박사학위 방향을 해석학분야로 돌렸다. 그때 나를 지도하던 Johnson교수는 20년이 지난 지금까지도 스승으로 선배로서 학문의 동반자 관계를 계속하고 있어 그때 시험의 감기몸살이 나에겐 전화위복이 된 셈이다.

• Journal of the Korean Society of Groundwater Environment
• /
• v.2 no.2
• /
• pp.78-84
• /
• 1995

In 1983, 83 Wenner vertical electrical sounding(VES)s and 22 pumping tests had been carried out by Korea Agricultural Development Corporation(KADC) in Guam Myun, Yeoju Gun, Kyounggi Province. Also, 10 boreholes had been constructed in the area. Using these data electrical and hydraulic properties of aquifer in the Ganam area are investigated in this study. Assuming that the underground is 1-D, VES data are analyzed. Data analysis shows that the subsurface of study area can be interpreted as 4-layer structure and the 3rd layer which is regarded as aquifer has mean thickness of 10 m and mean resistivity of 506 ohm-m and rests on resistive bedrock. Under the circumstances, as most part of electric current flows parallel to the bedding, longitudinal unit conductance is an important parameter controlling VES curves and very closely correlates with transmissivity of aquifer in the study area. Thus, relation between longitudinal unit conductance and transmissivity is investigated in this study. Since resistivity and thickness of each layer are obtained from interpretation of VES data, the relations between transmissivity and resistivity, and between hydraulic conductivity and resistivity are also studied. Studies of such relations show that longitudinal conductance is proportional to transmissivity, and resistivity is inversely proportional to transmissivity and hydraulic conductivity.

• Journal of KIISE:Software and Applications
• /
• v.30 no.3_4
• /
• pp.202-211
• /
• 2003

Abstract Formal definitions of syntax and semantics for the static and dynamic models in Object Oriented methods are already defined. But the behavior of interacting objects is not formalized. In this paper, we defined the common behavior of interacting objects in terms of process algebra using sequence diagram in UML and regularized properties of interacting objects. Based on the results, we can develop a formal specification by. using of the object interaction instead of the existence dependency suggested by M. Snoeck and G. Dedene[9].

• The Journal of Engineering Geology
• /
• v.2 no.1
• /
• pp.58-69
• /
• 1992

Change in atmospheric pressure produce sizable fluctuafions in wells penetrafing confined aquifers. The relationship is inverse; that is, increases in atmospheric pressure produce decreases in water levels, and conversely. When atmospheric pressure changes are expressed in terms of a column of water, the raflo of water level change to pressure change expresses the barometric efficiency of an aquifer. In the study area, aquifers are developed in the fractures, joints, bedding planes and occasionally in solufion cavities of marl interbeds. The barometric efficiency of the aquifer varies from 8 to 90%, indicating that Confined, Unconfined and Semi-Confined condifions exist locally. The barometric efficiency is characteristic of the aquifer itself and observed in the field is inversely proportional to specific storage or the storage coefficient. It is remalned in question to derive the relationship between B.E. and S.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2016.05a
• /
• pp.550-550
• /
• 2016

본 연구에서는 Clark 모형을 기반으로 한 홍수유출 앙상블 멤버 생성기법을 개발하였다. Clark 모형의 매개변수인 집중시간과 저류상수는 불확실성을 가진다. 본 연구에서는 집중시간과 저류상수가 가지고 있는 불확실성을 해결하기 위하여 적절한 확률분포를 선정하였다. 집중시간에 적절한 확률분포는 집중시간이 가지고 있는 특성과 확률분포가 가지고 있는 특성을 비교 및 분석하여 선정하였다. 선정된 확률분포는 감마분포와 대수정규분포이다. 저류상수에 적절한 확률분포는 저류 상수와 집중시간의 관계를 분석하여 선정하였다. 선정된 확률분포는 집중시간에서 선정한 확률분포와 동일하다. 본 연구에서는 이지호 등(2013)의 연구에서 집중시간과 저류상수 사이에 뚜렷한 관계를 확인하고 이에 적합한 이변량 확률분포를 선정하였다. 선정된 이변량 확률분포는 이변량 감마분포와 이변량 대수정규분포이다. 이변량 감마분포는 집중시간과 저류상수에 적용 가능한 Smith, Adelfang and Tubb's(SAT) 이변량 감마분포를 선정하였다. SAT 이변량 감마분포와 이변량 대수정규분포의 적합도 검정방법은 K-S 검정을 이용하였다. 본 연구에서는 SAT 이변량 감마분포와 이변량 대수정규분포로 Random Number Generation 실시하였다. 생성된 집중시간과 저류상수의 앙상블 멤버는 Clark 모형을 이용하여 홍수유출 앙상블 멤버를 생성한다. 제안된 홍수유출 앙상블 멤버 생성기법은 방림 유역을 대상 검토하였다.

• Korean Journal of Logic
• /
• v.12 no.1
• /
• pp.1-24
• /
• 2009

이 논문에서 우리는 집합의 두 점 사이의 관계를 소개하고, '가깝다'와 '충분히 가깝다'의 위상적인 개념을 다양하게 정의할 수 있음을 보인다. 또한 직관주의 논리와 관계가 있는 De Morgan frame을 소개하고 pre-order에 의하여 정의된 동치관계로 만들어진 동치류들의 집합을 기저로 생성된 위상 공간이 extremally disconnected 임을 보인다.