• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06a
• /
• pp.233-236
• /
• 2011

일반적인 문서에 대한 정보 검색 연구는 활발히 진행되고 있으며, 일상 생활 속에서도 대중화되어 많이 사용되고 있다. 이에 따라 음성, 이미지 검색 등 특정 분야의 검색에 대한 연구도 활발히 진행되고 있지만, 수학식 검색에 대한 연구는 비교적으로 미비한 실정이다. 수학식 검색과 관련된 연구들은 대부분 MathML (Mathematical Markup Language), TeX 등으로 작성된 수학식을 대상으로 진행되었지만, 특정 언어나 별개의 수학 입력 툴들을 이용한 검색 방법은 일반 사용자들이 사용하기에는 쉽지 않다는 단점이 있다. 그래서, 본 논문에서는 일반 문서 검색과 마찬가지로, 수학식을 읽듯이 한글을 입력했을 때 색인어 추출 방법 및 검색 방법에 대해 제안한다. 실험을 위해서 수학 문제집에 나오는 1,432개의 수학식을 한글화 시켰고, 한글화된 결과에 대해 패턴 등을 추출하여 MRR (Mean Reciprocal Rank), $Rel_{EQ}$@N(Relevance evaluation at N)로 평가하였다. 100개의 한글 질의어에 대해 MRR@5로 계산된 수학식 검색 결과가 약 0.6 정도 되는 것을 확인할 수 있었고, 학습 데이터에 포함되지 않은 질의수학식 5개에 대해 $Rel_{EQ}$@5로 계산했을 때 평균 60% 의 정확률을 보였다.

• Journal of the Korean Chemical Society
• /
• v.46 no.4
• /
• pp.345-353
• /
• 2002

The purpose of this study was to analyze the influence of mental capacity and understanding of the oxi-dation-reduction concepts on the completion of the balancing redox equations. Participants were 92 senior high school students and 57 science high school students. Tests were conducted to measure the mental capacity, the understanding of the oxidation-reduction concepts and the completion of the balancing redox equations and the influence on the per-formance was analyzed. The performance of the senior high school students increased as the mental capacity increased, but the performance of science high school students did not change by mental capacity. Most of senior high school stu-dents couldn't understand the oxidation-reduction concepts well. Most of science high school students, however, under-stood the concepts completely and partially. The students who had a good understanding of the oxidation-reduction concepts showed a good performance for both senior and science high school students, regardless of the problem pattern.

• Geotechnical Engineering
• /
• v.26 no.1
• /
• pp.24-36
• /
• 2010

• 한국ITS학회:학술대회논문집
• /
• 2005.11a
• /
• pp.46-51
• /
• 2005

• Journal of the Korean Data and Information Science Society
• /
• v.20 no.1
• /
• pp.139-148
• /
• 2009

The present study was conducted for analyzing changes in physique of at menarche of athletic and non-athletes. The maximum growth age of height and weight during menarche was not different between non-athletes and the athletes. Second, among non-athletes, those who had menarche late were taller and heavier than those who did early, and among the athletes, those who had menarche late were taller but lighter. The development rate of height was higher and the development duration was longer in the athletes than in the non-athletes. The development rate of weight was similar between the non-athletes and the athletes, but the maximum rate was higher in the athletes.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2007.05a
• /
• pp.894-898
• /
• 2007

지하방수로는 도시의 지하에 대규모 수로 터널을 시공하여, 도시 지역에 발생한 집중 호우를 초기에 배제하여 제내지 침수 피해를 줄이는 목적으로 사용되는 대표적인 구조적 홍수 피해 경감 대책이다. 효과적으로 침수피해를 줄일 수 있을 뿐만 아니라, 특히 지하에 설치되어 토지 수용에 대한 부담이 줄어들기 때문에 일본 등지에서 최근 주요 홍수 방어 대책으로 활용되고 있다. 지하방수로 유입부는 크게 접근수로, 유입구, 수직 갱도(vertical shaft)로 구분되며, 접근 수로를 통하여 유입된 흐름은 유입구를 통하여 가속된 후 수직 갱도로 유입되게 된다. 따라서 지하방수로의 배제 능력을 평가하기위해서는 유입구에서의 유량 및 흐름 특성을 정확히 평가하는 것이 매우 중요하다. 나선식 유입구(spiral intake)는 지하방수로 유입구 중 가장 일반적으로 사용되는 형식으로 일반적으로 접근수로 수위를 측정하여 유입량을 예측할 수 있다. 본 연구에서는 수리 모형 실험을 통하여 나선식 유입구에 대한 수위-유입량 관계를 검토하였다. 평탄한 입구를 가지는 안내벽이 있는 형식의 나선식 유입구 모형을 이용하여 수위-유입량 관계를 검토하였다. 또한 측정된 수위 및 유입량을 바탕으로 기존 연구자들이 제시한 안내벽이 없는 형식의 나선식 유입구에 대한 수위-유입량 관계와 비교 검토하였다. 검토 결과 안내벽이 있는 형식의 나선식 유입구는 안내벽이 없는 경우에 비하여 유량 배제 효율이 떨어지는 것으로 나타났다.

• Proceedings of the KSR Conference
• /
• 2001.10a
• /
• pp.281-286
• /
• 2001

최근, 경제적 이점과 전단강도의 증가효과로 인하여, 파형 Plate의 사용이 증가하여 있다. 일반 Plate에 대해서는 현재 거의 모든 시방서에 설계기준이 제시되어 있으나, 파형 Plate의 전단강도에 대한 규정은 제시되지 않은 실정이다. 따라서 설계자가 파형 Plate의 여러 기하 조건에 따른 전단강도의 관계를 알아보았으며, 수치해석에는 8절점 박판 쉘요소를 사용했다. 수치해석을 통하여 파형 Plate에 있어서 파형의 크기, 곡률, 파형 Plate의 두께에 따라 전단강도를 결정할 수 있는 식을 제안하였으며, 제안식은 파형 Plate가 일반 Plate에 비해 상당히 큰 전단강도를 갖는다는 것을 보여준다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04a
• /
• pp.881-883
• /
• 2003

하드웨어 검증과 모델 체킹 등의 분야에서, SAT(satisfiability problem)나 항진 명제 검사(tautology checking)는 매우 중요한 문제이다. 그러나 이들은 모두 NP-complete 문제이므로 그 복잡도가 매우 크다. 이를 해결하기 위해 여러 가지 연구가 이루어져 왔으며, 여러 효율적인 알고리즘이 존재한다. 이러한 알고리즘은 대부분 일반 표현식을 CNF(conjunctive normal form)로 바꾸어 입력 형식으로 사용한다. 이 논문에서는 일반 표현식을 입력으로 받아 DNF로 변환한 뒤 DNF의 특성을 이용하여 SAT를 검사하는 효율적인 방법을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10c
• /
• pp.310-312
• /
• 2004

한국전력공사는 고객의 합리적인 전력소비를 촉진하고자 다양한 요금체계를 제공하고 있다. 이를 위해서 주택용과 일반용전력(갑), 일반용전력(을), 교육용전력, 산업용전력(갑), 산업용전력(을) 등 전력사용고객의 성격에 따라 기본요금이나 계절별 시간대별, 혹은 누진 등 차등요금제를 적용한다. 그러나, 이들 각각의 목적에 부합하는 전자식 전력량계를 개발한다는 것은 경제성이 없는 일이다. 그러므로 단일의 전자식 전력량계에서 다양한 요금체계를 수용할 수 있는 방안이 필요하여, 이를 위해 단일의 전자식 전력량계로 공통 기능은 하드웨어로 구현하고 각종 요금체계에 따른 변화를 수용하는 부분은 펌웨어로 개발하여 검침을 수행하는 것이 바람직하다. 본 논문에서는 단일의 전자식 전력량계에서 효과적으로 적용할 수 있도록 한국전력공사에서 시행하고 있는 다양한 요금제도에 부합하는 응용프로그램을 설계하고 구현하는 방안을 제시한다. 또한, 이런 응용프로그램을 관리하는 소프트웨어를 실제로 구현한 사례를 제시한다.

• Proceedings of the KIEE Conference
• /
• 2002.07a
• /
• pp.357-359
• /
• 2002

한국전력공사는 합리적인 전력소비를 위해 다양한 요금체계를 제공하고 있다. 그러므로, 주택용과 일반용전력(갑), 일반용전력(을), 교육용전력, 산업용전력(갑), 산업용전력(을) 등 전력사용고객의 성격에 따라 기본요금이나 계절별, 시간대별, 혹은 누진 등 차등요금제를 적용한다. 그러나, 이들 각각에 맞는 전자식 전력량계를 개발한다는 것은 경제성이 없는 일이다. 그러므로, 단일의 전자식 전력량계에서 다양한 요금체계를 수용할 수 있는 방안이 필요하며, 이를 위해 단일의 전자식 전력량계로 공통 기능은 하드웨어로 구현하고 각종 요금체계에 따른 변화를 수용하는 부분은 펌웨어로 개발하여 검침을 수행하는 것이 바람직하다. 본 논문에서는 단일의 전자식 전력량계에서 효과적으로 적용할 수 있도록 한국전력공사에서 시행하고 있는 다양한 요금제도에 부합하는 응용프로그램을 설계하고 구현하는 방안을 제시한다. 또한, 이런 응용 프로그램을 관리하는 소프트웨어를 실제로 구현한 사례를 제시한다.