nglaura/koreascience-summarization huggingface dataset:
본 논문에서는 펑크 타이어 힘 시험 연구 결과들을 다양하게 수집하고 분석하여, 펑크(blow-out) 타이어 차량 동적 거동 해석을 위한 구름저항력(rolling resistance), 셀프 얼라이닝 토크(self aligning torque), 코너링 강성(cornering stiffness), 반경방향 강성(radial stiffness)과 같은 관련 계수들의 적정값을 추정하였다. 이러한 타이어 펑크 관련한 입력계수들을 자동차 사고 해석 상용 프로그램에서 설정하여 타이어 펑크 효과를 구현한 시뮬레이션 해석을 수행하였다. 그리고, 정상 차량들 간의 다양한 충돌 형태들과 속도 등을 참조하여, 펑크 차량의 충돌 유형들을 구성하고 시뮬레이션 해석을 수행하여 충돌 특성을 구하였다. 본 연구에서 제시하는 타이어 펑크 혹은 손상에 대한 고려는 보다 신뢰성 있는 자동차 사고 재구성에 기여할 수 있을 것이다.

In this paper, various tire blow-out force experiment data were collected and analyzed to obtain approximate values of related coefficients such as rolling resistance, self-aligning torque, cornering stiffness, and radial stiffness for the analysis of the motion of vehicles with tire blow-outs. These coefficients related to tire blow-outs were input into a vehicle accident analysis program to simulate and examine the effects of tire blow-outs. Various configurations and velocities of vehicle collisions without tire blow-outs were also used as reference to establish collision events of vehicle collisions with tire blow-outs. For the events, the simulation analysis was performed and collision characteristics were obtained. Consideration of tire blow-outs or damages suggested in this study will greatly contribute to more reliable vehicle accident reconstructions.

(게재일: 2014.10.31)
본 연구에서는 비동차 마코프 체인에서 개체들의 전이 행태를 분석하기 위한 계층적 베이지안 방법론을 사용하여 혼합 효과 모델을 소개 하였다. 모델의 모수들에 대한 사후분포가 분석적으로 구해질 수 없는 형태를 가지기 때문에 깁스(Gibbs) 샘플링 시뮬레이션 방법을 사용하여 조건부 사후확률로부터 샘플이 추출되었고, 실제 자료분석을 예를 사용하였다.

The present study used a hierarchical Bayesian approach was used to develop a mixed effect model to describe the transitional behavior of subjects in time nonhomogeneous Markov chains. The posterior distributions of model parameters were not in analytically tractable forms; subsequently, a Gibbs sampling method was used to draw samples from full conditional posterior distributions. The proposed model was implemented with real data.

(게재일: 2014.04.30)
최근 큰 관심을 받는 빅데이터는 분산처리를 통해서만 효과적으로 처리할 수 있다. 분산처리란 주어진 쿼리를 여러 대의 컴퓨터로 분할하고 각 분할된 데이터의 계산 결과를 취합하는 과정으로, 주어진 하드웨어 리소스를 효과적으로 최대한 사용하는 것이 중요하다. 하둡은 이러한 분산처리를 가능하게 하는 플랫폼 중의 하나로 분산처리에 사용된 컴퓨터의 개수만큼 성능 향상을 기대할 수 있는 확장성을 최대한 보장하는 매우 성공적인 플랫폼이다. 이 논문에서는 하둡 플랫폼이 얼마나 최적화 되어있는지에 대한 객관적이고 계량적인 지수를 제공함으로써 주어진 하둡 플랫폼의 효율성을 측정한다. 방법론적으로는 로렌츠 커브를 이용하여 하드웨어 리소스들이 얼마나 잘 균등히 배분되어 있는지 살펴보고 CPU, 디스크 일기/쓰기 및 네트워크 병목현상에 따른 비용을 감안한 최적화된 로렌츠 커브를 찾음으로써 최적화 지수를 산출한다. 바꾸어 말하면, 이러한 최적화 지수는 주어진 하둡 플랫폼이 얼마만큼의 성능 향상이 가능한지 알려주는 척도로 오랜 시간을 필요로 하는 빅테이터의 처리 속도 개선을 위한 중요한 정보를 제공한다. 실험 자료 및 모의실험을 통해 본 논문에서 제안된 방법을 검증하였다.

Ever increasing "Big data" can only be effectively processed by parallel computing. Parallel computing refers to a high performance computational method that achieves effectiveness by dividing a big query into smaller subtasks and aggregating results from subtasks to provide an output. However, it is well-known that parallel computing does not achieve scalability which means that performance is improved linearly by adding more computers because it requires a very careful assignment of tasks to each node and collecting results in a timely manner. Hadoop is one of the most successful platforms to attain scalability. In this paper, we propose a measurement for Hadoop optimization by utilizing a Lorenz curve which is a proxy for the inequality of hardware resources. Our proposed index takes into account the intrinsic overhead of Hadoop systems such as CPU, disk I/O and network. Therefore, it also indicates that a given Hadoop can be improved explicitly and in what capacity. Our proposed method is illustrated with experimental data and substantiated by Monte Carlo simulations.

(게재일: 2014.04.30)
본 연구에서는 로지스틱 회귀 모형을 이용하여 보은 지방의 산사태 자료를 분석하였다. 5000 지역의 관측치 가운데 단 9개만이 산사태 발생 지역이므로 이 자료는 희귀 사건 자료로 간주될 수 있다. 로지스틱 회귀 분석 모형이 희귀사건 자료에 적용될 때 주요 이슈는 회귀 계수 추정치에 심각한 편의 문제가 생길 수 있다는 것이다. 기존에 두 가지의 편의 수정 방법이 제안되었는데, 본 논문에서는 시뮬레이션을 통해 정량적으로 비교 연구를 진행하였다. Firth(1993)의 방식이 다른 방법에 비해 우수한 성능을 보였으며, 이항 희귀 사건을 분석하는 데 있어서 매우 안정된 결과를 보여주었다.

We analyzed binary landslide data from the Boeun area with logistic regression. Since the number of landslide occurrences is only 9 out of 5000 observations, this can be regarded as a rare event data. The main issue of logistic regression with the rare event data is a serious bias problem in regression coefficient estimates. Two bias correction methods were proposed before and we quantitatively compared them via simulation. Firth (1993)'s approach outperformed and provided the most stable results for analyzing the rare-event binary data.

(게재일: 2014.04.30)
이상치 후보군을 검정할 때 일반적으로 정확한 검정 통계량의 분포가 존재하지 않는다. 이에 따라 전체 관찰치군에 대한 검정대신 개별 관찰치에 대한 검정을 수행하거나 실험에 의해 계산된 유의값을 사용하여 이상치 가설검정을 수행한다. 본 연구에서는 임의의 관찰치 집단 또는 이상치 탐지절차에 따라 이상치 후보로 탐지된 특정 관찰치 집단의 이상치 여부를 검정하는 방법을 제시한다. 제시된 방법은 기존의 이상치 탐지기법에서 사용되는 검정방법과 모의실험을 통해 검정력을 비교한다.

An exact distribution of the test statistic to test for multiple outlier candidates does not generally exist; therefore, tests of individual outliers (or tests using simulated critical-values) are usually conducted instead of testing for groups of outliers. This article is on procedures to test outlying observations. We suggest a method that can be applied to arbitrary observations or multiple outlier candidates detected by an outlier detecting method. A Monte Carlo study performance is used to compare the proposed method with others.

(게재일: 2014.04.30)
인천광역시의 주요 하천 중 규모가 크고 시민 생활과 밀접한 관련이 있는 공촌천을 대상으로 자연형 하천 조성에 따른 영향 및 개선방안을 도출하기 위해서 연구를 수행하였으며, 이를 위해 2009년 7월에 준공한 공촌천에 대하여 조사 및 분석을 실시하였다. 공촌천의 모니터링 결과 중 조사 여건이 유사한 2004년, 2009년, 2010년의 출현종 분석 결과를 살펴보면, 2004년에는 32종, 2009년 22종, 2010년 46종으로 조사되었으며, 이는 공사전(2004년) 32종이 확인되었던 군집이 자연형 하천정비 공사로 인해 하상이 교란된 시점(2009년)에는 22종으로 출현 분류군이 감소하였으며, 공사가 완료된 후(2010년) 출현종이 46종으로 빠르게 회복한 것을 볼 수 있다. 이는 자연형 하천 정비 공사로 인해 저서성대형무척추동물이 서식 할 수 있는 공간(수제, 여울, 소) 등이 조성되어 다양한 저서성대형무척추동물이 이입된 것으로 판단된다. 이는 본 하천의 생물지수 및 ESB지수, KSI지수 분석 결과와 출현 변화 패턴과 유사한 결과를 보여 하천정비사업 기간 동안 감소하였다가 정비사업 후 안정화 기간을 거쳐 더 좋은 생물 서식 현황을 보이는 것으로 확인되었다.

The subject of this study is the Gongchon-cheon which is one of the largest streams in Incheon and is closely related to lives of citizen. Comparative analysis is made on the changes of the environment and the ecological condition of Gongchon-cheon after the stream naturalization construction which is completed in July 2009. From the results of the survey, 32 species in 2004, 22 species in 2009 and 46 species in 2010 have been recorded. The number of the species decreased from 2004 to 2009 due to the disturbance of the river environment, and it increased in a short time from 2009 to 2010 because of the recovery of the environment. It demonstrates the stream naturalization construction providing enough environments (dikes and rapids) for the benthic macro invertebrates. The result of the present study is similar with the river's biology index, ESB index, and KSI index, and also it is similar with the pattern of the appearance, which illustrates that the species decreased during the naturalization construction, and increased after the stabilization since the finish of the naturalization construction, and it has been confirmed that the naturalization construction provides the better environment for the inhabitation of organisms.

(게재일: 2014.11.30)
본 연구에서는 기존에 구축 운영 중인 COSFIM과 FLDWAV간 연계를 통해 다기능보 상 하류 구간 등 하천내 주요 관심구간에 대한 1차원 및 2차원 수리분석을 수행할 수 있는 시스템을 개발하고 낙동강 8개 다기능보를 대상으로 사업 전 후 수리특성 분석을 수행하였다. 각 수치모형은 활용목적에 따라 장 단점을 가지고 있기 때문에 상황에 적합한 모형을 선택적으로 활용할 수 있을 것이며, 기존의 1차원 수리 수문 모형으로 분석할 수 있었던 선 개념 지점 개념의 정보 뿐 아니라 추가적으로 공간 격자 개념의 정보를 제공받을 수 있는 다차원 모의를 수행함으로써 하천에서의 물리적 현상을 적절히 고려한 공간적 수리특성을 반영한 하천관리가 가능할 것이다.

In this study, simulation technique with multi-dimensional model(EFDC), coupled with COSFIM and FLDWAV, has been applied to the upstream and downstream of weirs for hydraulic characteristics analysis through development of system and was performed for 8 multi-function weirs on Nakdong river using developed system. COSFIM, FLDWAV and EFDC can utilize suitable model in situation because they have pros and cons according to practical use purpose. Developed technique can offers spatial and grid unit information as well as line and section unit information from 1-D modeling. It is considered that the coupling simulation technique can provide useful hydraulic information for river management and treatment.

(게재일: 2014.11.30)
본 논문은 농업용저수지의 수문학적 안전성을 평가하기 위하여 평가 항목 및 지표를 설정하여 제시하였으며, 이를 위하여 전문가 집단을 대상으로 AHP 기법을 통해 평가 항목의 계층화를 통한 상대적인 중요도를 파악하였다. 연구 결과 다음과 같은 결론을 얻었다. 첫째 평가항목의 계층구조는 2계층(상위, 하위)으로 구분하여 상위 평가항목은 6개(제체의 여유고, 여수로의 방류능력, 유지관리 상태, 하류하천 제방의 여유고, 잠재 홍수피해, 홍수량 산정 인자)를 선정하였고, 하위 평가항목 11개를 선정하였다. 둘째, 계층적의사결정법에 의하여 각 항목간 쌍대비교 설문과 일관성 검증을 통해 도출된 6개 상위 평가항목의 중요도는 유지관리 상태(상태평가 등급), 제체(비월류부)의 여유고, 여수로의 방류능력, 잠재 홍수피해, 홍수량 산정 인자, 하류하천 제방의 여유고 순으로 나타났다. 유지관리 상태(안전점검 상태평가 등급)가 농업용저수지 수문학적 안전성에 지배적인 영향을 미치고 있는 것으로 나타났다. 마지막으로 농업용저수지의 수문학적 안전성 확보를 위해서는 단기적 방안으로 신속한 개선이 가능한 안전점검 상태평가 등급의 개선이 유용하며, 장기적으로 여수로 방류능력과 제체의 여유고를 확보하는 방안이 필요할 것으로 판단된다.

This study Development of Evaluation Items and Indicators for Hydrological Safety on Agricultural Reservoir improvement and grasped the relative importance through stratification of the evaluation points through AHP technique exercised by group of experts. Below conclusion was acquired based on the study done. Firstly, the hierarchy of the evaluation items was divided into two layers: there were six upper evaluation items and eleven lower evaluation items. Secondly, using the analytic hierarchy process, the importance values of the six upper evaluation items were determined via the paired comparison questionnaire survey and consistency check, which were in the order of maintenance condition (condition evaluation grade), freeboard of levee body (non-overtopping), discharge capacity of spillway, potential flood damage, flood calculation factor and freeboard of downstream bank. The maintenance condition(condition evaluation grade) was significantly influenced the results of the hydrological safety on agricultural reservoir evaluation results. Finally, the study indicated that in the short term, improving the safety check condition evaluation grade will be useful to improve the hydrological safety of the agricultural reservoir because it can be performed immediately.

(게재일: 2014.11.30)
상수원과 같은 수계 수질 보호 및 농촌 지역 개발을 위해 마을하수도 보급이 필요하다. 본 연구에서는 안동 지역 마을하수도(11개소) 유입하수 특성 및 마을하수도에 도입된 처리 공법의 결과를 분석하였다. 안동 지역 마을하수도 유입하수는 도시지역에 비해 고농도의 유기물과 영양염류를 함유하고 있는 것으로 분석되었다. 안동시 마을하수도 공법은 안정적인 처리효율을 보였지만, 영양염류의 경우 유기물에 비해 solid retention time(SRT)와 food to microorganisms (F/M) ratio에 민감한 것으로 나타났다. 또한 안동 지역 마을하수도 공법은 타 공법( , SBR, media)들과 비교하여 전반적으로 높은 처리 효율을 보였으며, 본 공법은 마을하수도에 효과적으로 적용 가능한 공법이라 판단된다.

Supply of rural community sewage treatment plant (RCSTP) is need for protect of water quality like water source and development of agriculture areas. In this study conducted analysis on characteristics of RCSTP sewage and treatment efficiency of installed treatment process using operation results of RCSTP in an-dong area. high organic matter and nutrient were contained in RCSTP sewage of an-dong than urban area. RCSTP treatment process in an-dong was shown stable treatment efficiency. But nutrient treatment efficiency was shown more sensitive result about SRT and F/M ratio than organic matter treatment efficiency. And RCSTP treatment process in an-dong was shown higher treatment efficiency than other treatment proces like , SBR and media. Thus, this process is effective treatment process for application of RCSTP.

(게재일: 2014.11.30)
고농도 질소를 함유하고 있는 하수는 하수처리장 처리 효율에 악영향을 미치는 것으로 알려져 있다. 따라서 고농도 질소를 함유한 하수를 처리하기 위한 다양한 연구가 이루어지고 있다. 본 연구에서는 대표적인 고농도 질소를 함유한 하수인 혐기 소화 상징액과 가축분뇨를 대상으로 유기물 분석, foaming 실험 및 실험실 규모 아질산화 반응조 운전을 실시하였다. 유기물 분석 결과 혐기 소화 상징액은 용존성 불활성한 성분, 가축분뇨는 입자성 생물학적 분해가능한 성분이 가장 큰 부분을 차지하는 것으로 나타났다. 아질산화 반응에 적합한 체류시간은 혐기소화 상징액 2일과 가축분뇨 6일이였으며, 이와 같은 적정 체류시간에 차이는 암모니아성 질소 농도 및 유기물 성상차이에 의한 것으로 보인다. 또한 가축 분뇨 반응조 foam은 혐기 소화 상징액 반응조 foam과 비교하여 발생량은 많지만 빠르게 제거되는 특성을 보였다. 본 연구의 결과는 향후 아질산화 반응의 하수처리장 적용 시 기초 자료로 이용할 수 있을 것으로 보인다.

It has been known that sewage containing high-concentration nitrogen affects the efficiency of municipal wastewater treatment plants harmfully. Therefore, research has been actively conducted to treat sewage containing high-concentration nitrogen. The current study has analyzed organic compounds, conducted foaming tests, and operated a laboratory-level nitritation reactor with the subjects of anaerobic digester supernatant and livestock wastewater which are the typical kinds of sewage containing high-concentration nitrogen. According to the results of analyzing organic compounds, soluble inert components form the largest part of anaerobic digester supernatant while particle biodegradable components occupy the most part of livestock wastewater. About the retention time proper for the reaction of nitritation, anaerobic digester supernatant shows 2 days while livestock wastewater indicates 6 days. It seems that the difference in the proper retention time is resulted from the difference of properties in organic compounds and ammonium nitrogen concentration. In addition, livestock wastewater's reactor foam is generated comparatively more than anaerobic digester supernatant's, but it tends to be eliminated faster. It is expected that the findings of this study can be utilized as foundational data afterwards in applying the reaction of nitritation to municipal wastewater treatment plants.

(게재일: 2014.11.30)
동물로부터 발생하는 분변은 질소, 인산, 칼리 등의 영양분을 함유하고 있으며, 동물의 분변이 환경에 미치는 영향에 대한 연구는 매우 다양하다. 그러나 육상 생태계의 주요 구성원인 포유류를 대상으로 한 연구는 전무한 실정이다. 그러므로 전 세계적으로 한국과 중국의 토착종이고 우리나라 고유종이며 우리나라 전역에 서식하는 고라니의 분변을 이용하여 각각의 토지 유형별로 고라니의 분변량의 차이가 생육하는 식물의 생장에 미치는 영향에 대한 연구를 수행하였다. 고라니의 분변량과 토양의 차이에 따른 옥수수 개체의 생장량, 생물량, 탄질비를 분석한 결과 고라니의 분변량과 토양의 차이는 식물체의 생장량과 탄질비에 영향을 주는 것으로 나타났으며, 토양의 차이보다 분변량의 차이가 식물체의 생장에 더 큰 영향을 미치는 것으로 나타났다. 또한 고라니의 분변은 다른 동물의 분변에 비하여 낮은 탄질비를 가지고 있어 퇴비화의 과정을 거친다면 작물 생육에 적합한 비료의 역할을 할 수 있음을 확인할 수 있었다. 본 연구는 동물의 분변이 육상생태계에 미치는 영향을 알아보고자 하였으며, 동물 분변의 효율적인 자원화 방안을 마련하도록 기초자료를 제공을 함과 동시에 동물 생태계와 토양 그리고 식물체 간의 물질 순환을 정량화 하고 서로의 관계를 파악할 수 있다는 점에서 의의가 있는 연구이다.

Feces contain nutrients such as nitrogen and phosphate, potassium and research of the impact on the environment from feces is very diverse. However, despite the importance of mammals to environment, studies of mammals into the terrestrial ecosystems are rare. Korean water deer (Hydropotes inermis) is an endemic species of Korea and China, and we conducted on factor of plant growth in relation to feces of Korean water deer depending on land use patterns. The analysis of growth, biomass and C/N ratio of Zea mays, amount of feces and land use patterns are strongly affecting the C/N ratio and growth of the Zea mays. The quantity of the feces also influences the growth of plants instead of the land use patterns. Furthermore, the feces of Korean water deer have a lower C/N ratio than that of other animals' feces. Being the process of composting, it is able to serve a suitable fertilizer for a crop growth. In this study, we investigated the impact of feces into the environment in the terrestrial ecosystems and we were able to provide the basic data to the resources of an efficient scheme of animal feces. Further research is needed to quantify the materials amongst the plant, soil and animal, and to understand the relationship ecosystem.

(게재일: 2014.11.30)
기후변화와 도시화는 기저유출이 하천유량에 미치는 계절별 특성에 변동성을 초래한다. 이러한 기저유출의 변동성은 수생태의 혼란을 유발할 뿐만 아니라 불안정한 수자원 관리를 초래할 수 있다. 토지이용변화는 직접유출과 기저유출에 영향을 주며, 결과적으로 다른 수문순환 요소들에게 미치게 된다. 일반적으로 기저유출은 관측된 하천유량을 통해 산정되지만, 모델링의 유량 예측을 통해서 미계측 유역의 기저유출량 산정에 유용하게 사용 될 수 있다. 따라서, 본 연구의 목적은 1) RECESS 통해 alpha factor를 산정한 후, SWAT 모형에 적용하여 보정 예측을 향상시키고, WHAT 시스템을 미계측 유역의 적용하여 기저유출을 분석하며, 3) 토지이용변화에 따른 기저유출 특성을 평가하는 것이다. 이러한 목적으로 미계측 지역인 갑천 유역에 Period 1(1990-1996)과 Period 2(2000-2006)로 설정하여 적용하였다. RECESS를 통해 alpha factor를 산정한 후, SWAT 모형 보정에 적용한 결과는 유량예측의 정확성을 향상시키고, 기저유출의 특성인 감수부분도 반영되었다. 두기간 사이의 연평균 기저유출을 비교했을 때 토지이용변화는 연평균 기저유출량에 큰 영향을 미치지 않는 것으로 나타났다. 그러나 두기간 사이의 계절별 기저유출의 분포를 비교했을 때 토지이용변화는 기저유출의 계절별 특성에서 큰 상이성을 초래했다. 따라서 토지이용변화로 인한 갑천 유역의 유량 및 기저유출의 변동성은 금강 본류로 전달되기 때문에 계절별 변화에 따라 전략적으로 분석 및 관리가 필요하다.

Baseflow gives a significant contribution to stream function in the regions where climatic characteristics are seasonally distinct. In this regard, variable baseflow can make it difficult to maintain a stable water supply, as well as causing disruption to the stream ecosystem. Changes in land use can affect both the direct flow and baseflow of a stream, and consequently, most other components of the hydrologic cycle. Baseflow estimation depends on the observed streamflow in gauge watersheds, but accurate predictions of streamflow through modeling can be useful in determining baseflow data for ungauged watersheds. Accordingly, the objectives of this study are to 1) improve predictions of SWAT by applying the alpha factor estimated using RECESS for calibration; 2) estimate baseflow in an ungauged watershed using the WHAT system; and 3) evaluate the effects of changes in land use on baseflow characteristics. These objectives were implemented in the Gapcheon watershed, as an ungauged watershed in South Korea. The results show that the alpha factor estimated using RECESS in SWAT calibration improves the prediction for streamflow, and, in particular, recessions in the baseflow. Also, the changes in land use in the Gapcheon watershed leads to no significant difference in annual baseflow between comparable periods, regardless of precipitation, but does lead to differences in the seasonal characteristics observed for the temporal distribution of baseflow. Therefore, the Guem River, into which the stream from the Gapcheon watershed flows, requires strategic seasonal variability predictions of baseflow due to changes in land use within the region.

(게재일: 2014.11.30)
하천변에 위치한 하도습지는 치수사업을 통한 치수가치와 하도습지의 생태적 보전가치가 대립함으로써 사회적 갈등을 야기하고 있다. 본 연구에서는 하도습지의 치수가치와 생태가치에 대한 경제성 분석을 통해 두 가치 모두의 중요성을 확인하였으며, 이러한 결과를 바탕으로 치수안전과 생태보전을 고려한 하도습지 관리방안을 제시하고자 하였다. 이를 위해 다차원 홍수피해산정방법(MD-FDA)과 조건부가치측정법(CVM)을 이용하여 임진강 하구유역의 연평균 홍수피해액과 하도습지의 생태보전가치를 산정하였다. 분석결과, 임진강 하구지역은 치수사업도 필요하고, 하도습지의 생태적 보존가치 역시 중요하여 단계별 치수사업과 하도습지의 보호를 위한 관리방안 수립이 필요한 것으로 나타났다. 그 결과 임진강 하도습지는 지속적으로 퇴적이 발생하고 홍수위가 상승하는 지역으로 분류되었다. 이를 바탕으로 임진강 하구는 하천정비사업 시 치수안전과 생태보전을 함께 확인하며 진행하는 것이 필요하고, 생태계 교란을 최소화하기 위한 단계적인 하천정비시행이 바람직할 것으로 판단되었다. 본 연구에서 도출된 결과를 토대로 향후 치수사업과 하도습지의 보존을 함께 고려한 하천관리방안 수립을 위한 기초자료로 활용 될 수 있을 것으로 기대된다.

The riverine wetlands located in the riverside bring about social conflicts through confrontation between flood control value through flood control project and ecological preservation value of riverine wetland. In this study, we identified the importance of both values through analysis of economic feasibility of flood control and ecological values of riverine wetland, and tried to suggest management plans for riverine wetland considering both of flood control safety and ecological preservation through these results. For this, we calculated the expected annual flood damage of Imjin River using the multi-dimensional flood damage analysis(MD-FDA), and calculated the total value of riverine wetland using the contingent valuation method(CVM) to estimate preservation value of riverine wetland. The result of the analysis shows that the Imjin River needs flood control project and the ecological preservation of riverine wetland is also important. Therefore, the establishment of the management plan for protecting riverine wetland is also needed. As a result, the Imjin riverine wetland was classified as the area where sedimentation continues to take place, and the flood water level to rise. On the basis of the analyzed results, it is judged that the Imjin River needs flood control for public safety and ecological consideration for ecosystem preservation in the river improvement project. So, the stepwise river improvement is desirable to protect riverine wetland and minimize ecosystem disturbance. The results is expected to be made good use as the basic study for establishment of institutional river management plans considering flood control project and riverine wetland preservation in the future.

(게재일: 2014.11.30)
연안에서 표사문제의 대책을 장기적인 관점에서 수립하기 위해서는 연안에서의 표사뿐만 아니라 배후지 하천으로부터 유출되는 유사량을 포함한 종합적인 토사관리 필요성이 증가하고 있다. 이와 같은 관점에서 본 연구에서 연안해역으로 유출되는 하천 유사의 이송, 하구에서 사주발생과 발달 및 하구폐색, 연안으로 유출된 유사의 저류문제, 홍수 시 외해로 유출되는 유사의 특성 등에 대해 검토하였다. 최근 울산 회야강 하구에 하구폐색과 하구사주의 발생에 따른 대책으로 1997년부터 2004년에 걸쳐 총연장 156m의 도류제를 건설하였다. 이에 따라 회야강 하구에서 도류제 건설에 따른 토사이동 특성이 변히고 있음에 따라 해저지형 변동과 표사이동을 해석하기 위하여 1차원 수치해석을 수행하였다. 이를 위해 먼저 울산 회야강 하구역에서 유출하는 유사량을 3가지 모래가 혼합되어 있다고 가정한 혼합입경의 관점을 가정하였다. 그리고 회야강 하구인근의 파동장, 해빈류장 및 표사이동 특성을 Bailard(1981)의 에너지 모형에 의해 해저지형 변동 특성을 해석하였다. 또, 하구폐색의 변동특성을 확인하기 위하여 항공사진을 통한 회야강 하구 및 진하 해수욕장 인근 지형변화를 비교하였다.

Integrated sand control including sediment discharge from hinterland rivers is necessary to maintain coastal sand resources over a long term. In this regard, the following subjects should be considered; efficient ways to transfer discharged sand from a river to the neighboring coast, measures to improve storage efficiency of the discharged sand at the river delta and/or river terrace, measures to prevent the sand resources from being discharged into the deep sea during flooding. From the 1997 to January 2004, the jetty of 156 m length was constructed the Heoya-river mouth to protect the blockade of river mouth. Several tests were carried out to investigate the characteristics of sediment transport and morphological change due to the construction of the jetty at the Heoya-river mouth. Firstly, The sand discharge from Heoya river is quantified by one-dimensional numerical analysis assuming the mixed sand of three different particle diameters. Also the numerical mode system, which predicts the sea bed changes obtained from the Bailard's energy model(1981), was combined with the wave, wave-induced currents and sediment transport models. Then, to understand the changes to the blockade of the river mouth, several aerial photographs were compared, which showed that the changes were significant.

(게재일: 2014.11.30)
이 글에서 우리는 퍼지 논리들을 위한 크립키형 의미론을 다룬다. 보다 정확히 유니놈에 기반한 퍼지 논리 UL의 몇몇 약화없는 확장을 위한 대수적 크립키형 의미론을 소개한다. 이를 위하여 먼저 UL의 약화없는 확장 채계들을 소개하고 그에 상응하는 대수들을 정의한 후 이 체계들이 대수적으로 완전하다는 것을 보인다. 다음으로 이러한 체계들을 위한 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관 짓는다.

This paper deals with Kripke-style semantics for fuzzy logics. More exactly, I introduce algebraic Kripke-style semantics for some weakening-free extensions of the uninorm based fuzzy logic UL. For this, first, I introduce several weakening-free extensions of UL, define their corresponding algebraic structures, and give algebraic completeness. Next, I introduce several algebraic Kripke-style semantics for those systems, and connect these semantics with algebraic semantics.

(게재일: 2014.02.28)
이 글에서 우리는 3치 초일관 논리를 위한 한 종류의 크립키형 의미론 즉 대수적 크립키형 의미론을 다룬다. 이를 위하여 먼저 두 3치 체계를 소개하고 그에 상응하는 대수를 정의한 후 이 두 체계가 대수적으로 완전하다는 것을 보인다. 다음으로 이 체계들을 위한 대수적 크립키형 의미론을 소개하고 이를 대수적 의미론과 연관짓는다.

This paper deals with one sort of Kripke-style semantics for three-valued paraconsistent logic: algebraic Kripke-style semantics. We first introduce two three-valued systems, define their corresponding algebraic structures, and give algebraic completeness results for them. Next, we introduce algebraic Kripke-style semantics for them, and then connect them with algebraic semantics.

(게재일: 2014.10.30)
최근 김한승 교수는 그의 논문 "확률과 시간에 관한 두 가지 퍼즐"(2014)에서 수리기사의 역설을 소개하고 이에 대한 흥미로운 논의를 내놓았다. 김한승(2014)에 따르면, 수리기사 역설에서 '오전'이 참일 확률과 '오후'가 참일 확률은 동일하지만 후회라는 감정의 본성상 '오후'를 선택하는 것이 합리적이다. 본 논문에서 필자는 김한승 교수가 수리기사 역설을 이해, 진단하는 방식에 대해 문제 제기를 하고(1, 2절), 그 역설의 한 가지 가능한 해결 방향에 대해 간략히 논의한다(3절). 필자가 보기에 후회의 감정은 수리기사 역설을 일으키는 중요한 원천이 아니며, 오히려 문제의 상황이 정말로 역설적인 이유는 후회의 부정적인 효용을 고려하지 않는다 하더라도 여전히 퍼즐이 발생하기 때문이다.

In his recent paper, Hanseung Kim (2014) discusses the Cable Guy paradox and argues that given the nature of regret, it is rational to bet on the cable guy's afternoon arrival, though it is equally probable for him to arrive in the morning or afternoon interval. In this paper, I argue that regret is not essential to the paradox in that the paradox still arises even if we ignore regret. I then briefly discuss a possible way to proceed to resolve the paradox.

(게재일: 2014.10.30)