• 한국지하수토양환경학회지:지하수토양환경
• /
• 제12권3호
• /
• pp.10-16
• /
• 2007

불포화대 및 포화대에 걸쳐 존재하는 폐석더미의 수리적 특성을 조사하기 위해 물을 주입한 후 수두강하를 측정하는 순간충격시험을 실시하였다. 본 연구지역과 같이 관정이 수리적 특성이 크게 다른 두 지층에 걸쳐 설치된 경우, Bower and Rice해석 방법을 이용하여 두 대수층 각 각의 수리전도도를 산출할 수 있었으며, 하강하는 지하수위의 변곡점을 이용하여 폐석더미의 두께를 추정할 수 있었다. 갈수기 시 관정 내 낮은 지하수위 때문에 인위적인 지하수위를 형성시킨 후 순간충격시험을 실시한 결과, 그 결과는 풍수기 시험 결과와 차이가 크지 않았다. 이와 같은 순간 충격시험은 폐석적치장과 같은 곳의 수리적 특성을 파악할 수 있는 유효한 방법으로 판단된다.

• 한국학교수학회논문집
• /
• 제20권4호
• /
• pp.405-422
• /
• 2017

Nim 게임을 구분하여 한 더미 대상 게임을 1단계, 두 더미 대상 게임을 2단계, 세 더미 대상 게임을 3단계로 나누어 중학교 수학영재들을 대상으로 탐구활동을 실시하였다. 학생들은 난이도가 낮은 1단계에서는 연역적 추론을 통하여 쉽게 필승전략을 발견하였다. 2단계에서는 연역적 추론 또는 귀납적 추론으로 필승전략을 발견하였지만 귀납적 추론 과정에서는 오류가 발견되었다. 3단계 게임에서는 연역적 추론으로 필승전략을 발견한 학생들은 없었으며 귀납적 추론 과정에서는 오류가 발견되었다. 유한개의 경우에서 성립하는 패턴을 정당화 절차 없이 무조건 일반화하려는 경향이 오류의 원인임이 밝혀졌다. 학생들에게 이진법 상자를 시각적으로 제시한 결과, 학생들은 승패에 따른 패턴을 쉽게 발견하고 게임 활동을 통하여 필승전략을 인식하게 되었으며 일부 학생들은 발견한 필승전략을 정당화하는 단계에 도달할 수 있었다.

• 논리연구
• /
• 제13권2호
• /
• pp.117-134
• /
• 2010

'모호함'의 모호성을 정당화하는 소렌센의 논증은, '모호함'에 대한 직관적 이해를 체계적으로 정당화한다는 측면에서 매우 중요한 의미를 갖는다. 그러나 필자는 이러한 소렌센의 논증이 성립하지 않음을 보이고자 한다. 소렌센의 논증에 대한 가장 일반적인 비판은, 'n-작음'이라는 용어에 기초하는 그의 논증은 '모호함'의 모호함이 아니라 '작음'의 모호함을 입증할 뿐이라는 것이다. 그런데 이러한 비판에 근거한 디즈와 헐의 논의는, 소렌센의 더미를 구성하는 "'n-작음'은 모호하다."의 주어는 언급된 정확한 용어라는 바르찌의 주장에 의해 반박된다. 그러나 필자는 "'n-작음'은 모호하다."의 진리값 결정에 술어 '모호함'이 아무런 역할을 수행하지 못함을 보임으로써 바르찌의 주장을 반박하고, 소렌센의 논증으로부터 정당화되는 것은 '작음'의 모호성뿐임을 보이고자 한다. 물론 필자 역시 '모호함'이 모호하다는 것에는 동의한다. 본 논문을 통해 필자가 주장하는 것은 이러한 '모호함'의 특징에 대한 소렌센의 정당화가 성립하지 않는다는 것뿐이다.

• 한국의류산업학회지
• /
• 제20권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.

• 대한지하수환경학회지
• /
• 제3권2호
• /
• pp.70-79
• /
• 1996

Friar Turk 폐탄광은 미국중서부의 가장복잡하게 교란된 광산 중의 하나이다. 버럭 및 광미 속에는 고농도의 황철석이 함유되어 있고, 황철석의 산화작용에 의해 토양 및 물이 산성화되고 식물의 성장이 제한되고 있다. 복구기술들에 대한 효과를 정량적으로 평가하기 위한 노력으로, 상세한 관측프로그램이 수행되었다. 물 시료들은 지표수, 지하수 및 불포화대의 간극수에서 5년간에 걸쳐 채취되었다. 그 결과에 의하면, spoil은 미약한 물 오염원이고, 버럭 더미는 지표수 및 지하수를 심각하게 오염시키는 원천이다. 그러나 버럭 더미 하부에 분포하는 loess 및 till은 오염된 물이 이동하는 것을 효과적으로 억제하였다. 버럭 더미 및 광미 표면층들은 수십 년간에 걸쳐 풍화된 결과로 층 내부보다는 독성이 약하였다. 산성광산폐수의 생성은 정점에 달한 상태이며 잠재적인 산성층은 아마도 광산폐기물의 불포화대에 분포하는 것으로 사료된다.

• 정보보호학회논문지
• /
• 제23권3호
• /
• pp.383-393
• /
• 2013

데이터 스트림 마이닝 기술은 실시간으로 발생하는 데이터를 분석하여 유용한 정보를 얻는 기술이다. 데이터 스트림 마이닝 기술 중에서 빈발항목 마이닝은 전송되는 데이터들 중에서 어떤 항목이 빈발한지 찾는 기술이며, 찾은 빈발항목들은 다양한 분야에서 패턴분석이나 마케팅의 목적으로 사용된다. 기존에 제안된 데이터 스트림 빈발항목 마이닝은 악의적인 공격자가 전송되는 데이터를 스니핑할 경우 데이터 제공자의 실시간 정보가 노출되는 문제점을 가지고 있다. 이러한 문제는 전송되는 데이터에서 원본 데이터를 구별 못하게 하는 더미 데이터 삽입 기법을 통해 해결가능하다. 본 논문에서는 더미 데이터 삽입 기법을 이용한 프라이버시 보존 데이터 스트림 빈발항목 마이닝 기법을 제안한다. 또한, 제안하는 기법은 암호화 기법이나 다른 수학적 연산이 요구되지 않아 연산량 측면에서 효과적이다.

• 한국음향학회지
• /
• 제20권6호
• /
• pp.94-103
• /
• 2001

수치해석 방법을 이용하여 실험으로 구한 머리전달함수 (Head Related Transfer Function: HRTF)를 컴퓨터 시뮬레이션으로 대치하고, 청취자의 머리 주변에서의 음장을 가시화하는 방법에 대해 다룬다. 본 논문에서는 경계요소법 (Boundary Element Method)과 무한요소법 (Infinite-Finite Element Method)의 두 가지 방법을 이용한다. 지금까지는 더미헤드 (Dummy-Head)등을 이용한 실험으로 머리전달함수를 구하였는데 이 실험에는 상당한 시간과 장비가 필요하다. 3차원 레이저스캐너를 이용하여 KEMAR 더미헤드의 형상을 측정하고 이것을 여러 다른 요소 수를 가지는 경계요소모델 및 무한요소모델로 변환하여 머리전달함수를 계산하고 모델의 요소 크기와 적용 가능한 주파수 대역과의 관계에 대해 분석한다. 측정을 통해 구한 머리전달함수와 비교하여 모델을 검증하고 음향학의 상반원리를 적용하여 머리전달함수의 데이터베이스를 구한다. 또한 몇 가지 가상음향 시스템에 대한 음장해석을 통해 주파수 및 시간영역에서의 음장을 가시화한다.

• 한국컴퓨터정보학회논문지
• /
• 제12권4호
• /
• pp.11-19
• /
• 2007

본 논문에서는 CB 트라이와 HCB 트라이의 단점을 보완한 RCB 트라이를 제안한다. 먼저 CB 트라이의 경우 처음으로 축약된 구조를 시도하였으나 데이터의 양이 증가함에 따라 트리의 균형을 맞추기 위해 사용되는 더미노드들로 인해 삽입에 상당한 어려움을 가지고 있다. 반면 계층적으로 표현한 HCB트라이는 map이 오른쪽으로 증가하는 것을 막기 위해 일정 깊이를 주어 깊이에 다다르면 새로운 트리를 만들어 연결시키는 방법을 이용하였다. 결과적으로 입력과 검색 속도를 상당히 빠르게 진전시킬 수 있었으나 CB트라이와 마찬가지로 더미노드를 사용하고 여러 트리의 링크를 사용하기 때문에 저장공간이 커지는 단점을 안고 있다. 본 논문에서 제안한 RCB트라이는 더미노드를 완전히 없애 treemap을 약 35%정도 줄일 수 있었고 HCB트라이에 비해 전체 색인의 크기를 절반으로 줄였다.

• 논리연구
• /
• 제16권2호
• /
• pp.189-231
• /
• 2013

필자는 이 글에서 윌리엄슨의 반례와 파라의 역설이 초평가주의에 대한 결정적 반박이 되지 않음을 보이고자 한다. 이를 위해 필자는 일반적으로 초평가주의의 타당성으로 인정되는 전체적 타당성이 아닌 국지적 타당성이 초평가주의 의미론에 적합한 표준적 타당성임을 보이고, 이에 근거해서 윌리엄슨의 반례와 파라의 역설이 기초하는 'D-도입'이 성립하지 않음을 보일 것이다. 간단히 말해, 전체적 타당성은 고전적 명료화를 통해 모호성을 이해하는 초평가주의 의미론의 특성을 정확하게 포착하지 못하지만, 국지적 타당성은 초평가주의 의미론의 특성, 특히 '분명함'을 나타내는 D-연산자의 의미론적 특성을 정확히 포착한다는 것이다. 필자의 전략은 초평가주의에 대한 최소한의 수정을 통해 윌리엄슨의 반례와 파라의 역설이 제기하는 문제를 해결하는 것, 즉 초평가주의가 고전논리학을 보수적으로 보존할 수 있으며, 파라의 역설에도 불구하고 더미의 역설을 해결할 수 있음을 보이는 것이다.

• 부동산연구
• /
• 제28권3호
• /
• pp.21-35
• /
• 2018

최근 주택담보대출 이행이력에 대한 연구는 중도상환 위험과 분리하여 채무불이행 위험의 작용을 연구할 필요성에 대하여 주의를 환기한다. 본 연구는 미국 연방주택모기지회사(Freddie Mac)의 유동화된 주택담보 대출 자료를 이용하여 차입자의 채무불이행 의사결정을 다룬다. 자료는 2011년 1월에서 2013년 9월이다. 추정 모델은 Cox의 비례적 위험 모델이다. 본 연구는 두 개의 연체 모형을 내포한 채무불이행 모델을 제안한다. 하나는 연체와 이행 더미변수이고, 다른 모형은 연체확률 모델이다. 본 연구는 Vuong (1989) 논문의 예에 따라, 설명력 테스트를 수행하였다. 테스트는 내포모델과 중첩모델로 나누어 두 차례 시행하였다. 본 연구는 연체확률 모델이 통계적으로 유의하게 연체와 이행 더미변수보다 우월함을 증명하였다. 또한 Shumway (2001) 논문에서 제시된 방법론에 따라 예측력 테스트를 수행한바, 연체확률 모델이 연체와 이행 더미변수 모델보다 우월함을 보였다.