• Journal of Korean Library and Information Science Society
• /
• v.47 no.4
• /
• pp.123-147
• /
• 2016

With the rapid progress toward a new cataloging model, the revision of Korean Cataloging Rules (KCR) are under discussion. The purpose of this study is to make a suggestion on constructing authorized access points for multilingual works, especially focused on the language and script of authorized access points. To the end, this study investigates (1) the extended functions and meanings of access points on the new model, (2) related guidelines and regulations reflected in International Cataloging Principles and typical cataloging rules, and (3) the characteristics of access points in the current Korean cataloging practices. Finally, (4) desirable languages and scripts of authorized access points representing multilingual works are suggested.

• School Mathematics
• /
• v.5 no.3
• /
• pp.343-360
• /
• 2003

In this paper, we deal with the teaching of algebra based on patterns and generalization. The past algebra curriculum starts with letters(variables), algebraic expressions, and equations, but these formal approaching method has many difficulties in the school algebra. Therefore we insist the new algebraic approaches should be needed. In order to develop these instructions, we firstly investigate the relationship of patterns and algebra, the relationship of generalization and algebra, the steps of generalization from patterns and levels of difficulties. Next we look into the algebra instructions based arithmetic patterns, visual patterns and functional situations. We expect that these approaches help students learn algebra when they begin school algebra.

• Journal of the Korean Society for information Management
• /
• v.35 no.3
• /
• pp.147-164
• /
• 2018

This study defined the name of records producing institution as the unique preferred form of access point which has same identification and same entity by using Standard Administration Code, and also described the name of records producing institution which has various name form as formal-name form of access point, which has same identification and same entity. This study make us be able to identify and access to all of the records that institution, has same identification and same entity, has produced. And the mechanic, I designed by ontology would make reinforce 'the principle of provenance' and 'respect for orignal order' and make user satisfy in useability of archives and expanded retrieval results.

• Proceedings of the Korea Society for Simulation Conference
• /
• 1999.04a
• /
• pp.110-114
• /
• 1999

본 연구는 Zeigler가 제안한 이산 사건 시스템 형식론(DEVS: Discrete Event System Specification)을 이용한 거시적 및 미시적 교통류 시뮬레이션 방법론의 개발을 주 목적으로 한다. 도로 교통망의 모델링 방법은 미시적(microscopic)방법과 거시적(macroscopic)방법으로 분류된다. 이러한 모델링 방법들은 그 목적에 따라 각기 표현되어 제각기 사용되어 왔으나, 시스템 이론적으로 이들은 독립적 모델이 아니며 오히려 이들은 서로 동질적 추상화 관계에 있어서, 통합 모델링 환경의 구축시 미시적 모델들로부터 추상화에 의한 거시적 모델의 자동생성 등 설계상의 효율뿐 아니라 모델간의 일관성을 통한 모델 유효성을 보장할 수 있는 장점이 제공될 수 있다. 따라서, 본 논문에서는 서로 다른 표현 방법(즉, 이산시간 형식론과 이산사건 형식론)간의 통합 표현을 기반으로 양자간의 추상화 관계를 도출하고, 이를 이용한 모델 추상화를 통해 거시적 및 미시적 교통류 시뮬레이션 방법론을 제안한다. 시스템 이론적 접근을 토대로 접근한 통합 교통류 시뮬레이션 환경은 미국 Berkeley 대학 교통 연구소에서 개발한 SHIFT 등과 같은 최첨단 교통류 시뮬레이션 도구에 비하여 SES/MB를 기반을 시스템 이론적이며 소프트웨어공학적인 접근을 통하여, 1) 기존 제어 방식의 검증 및 신뢰도 분석, 2) 각종 사건, 사고의 시간별 파급효과 분석, 3) 도로건설 계획안에 대한 타당성 검토, 4) 운전자 및 관리자를 위한 예측된 교통정보 등을 제공할 수 있을 것으로 기대된다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.11a
• /
• pp.1467-1470
• /
• 2005

다른 고수준 언어와 마찬가지로 자바도 할당문, 연산문, 조건문, 반복문, 호출문 등의 문장 형식을 갖는다. 자바의 모든 문장 형식은 바이트코드로 변환되어 자바가상기계 상에서 실행된다. 스택 기반 구조를 갖는 자바가상기계에서 각 문장의 실행은 필연적으로 자료 이동을 요구하며, 자료 이동은 메모리 접근을 필요로 하므로 프로그램 실행 시간에 직접적 영향을 미친다. 본 논문에서는 각각의 자바 문장 형식이 어느 정도의 메모리 접근을 요구하며, 프로그램 실행 시간에는 어떤 영향을 미치는지를 분석하였다. 이 연구의 결과는 자바 프로그래머에게 프로그램 실행 시간면에서 보다 효율적인 프로그램 작성을 할 수 있도록 도와 줄 것이다.

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

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

• Communications of Mathematical Education
• /
• v.14
• /
• pp.197-215
• /
• 2001

최근 수학적 사고력 연구가 구체적 수학내용에 기반한 활동과 조작에 대한 연구보다는 활동이나 조작을 통한 결과로 수학적 사고력에 접근하는 일회성 연구로 이루어지는 경향이 있다. 본고에서는 교육 내용을 선정하기 위해 학교수학에서 아동들이 어떤 수학적 사고를 하는데 장애을 겪는지에 주목하여, 이러한 장애를 극복하는 것을 통해 수학적 사고력의 신장을 생각해보고자 하였다. 이에 대수에서는 문자도입에 따른 추상적 상징의 수용과 이용부분에서, 기하에서는 논증기하의 증명도입과정에서 형식적, 연역적 사고 시작으로 아동이 수학적 사고에 어려움을 겪는다는 사살에 주목하였다. 특히 논증 기하의 연역적, 형식적 증명은 논리와 추론이 바탕이 되어야 한다. 그런데 논리와 추론은 고등학교 1학년과정 집합과 명제부분에 들어있어 아동은 논리와 추론에 대한 어떤 경험도, 교육도 받지 않은 상태에서 증명을 하게 된다. 이에 교육 내용으로 수학적 사고력을 신장을 위해 가장 필요한 내용이 논증 기하가 도입되기 이전에 초등학교 5,6학년 아동을 대상으로한 논리와 추론교육이라고 본다. 또한 교육 방법으로는 컴퓨터를 이용한 교육공학적 접근을 하고자 하였다. 교육공학적 접근이 적극 권장되는 교육적 현실과 정규교육과정에서 이를 받아들일만한 시간적 여유가 없음을 감안하여, 교과 내용과 연계된 컴퓨터 교육을 제안하는 바이다. 이에 논리 및 추론 교육은 컴퓨터 교육으로 초등학교의 특기적성 시간이나 정규수업 시간에 이용할 것을 제안한다. 논리와 추론교육을 위해 무엇을 어떻게 가르칠 것인가에 대한 답으로 논리와 추론교육에 적합한 수학적 내용으로 크게 이산수학과 중등 기하의 초등화하여 탐구하도록 하는 내용을, 교육 방법 측면에서는 논리와 추론 교육을 위한 LOGO 기반 마이크로월드를 설계, 이용하여 수학적 사고력을 신장시키고자 한다. 여기까지가 수학적 사고력을 위한 가능성을 모색한 것이라면 후속연구로 이러한 가능성을 실험연구로 검증하고자 한다.

• Journal for History of Mathematics
• /
• v.32 no.6
• /
• pp.281-299
• /
• 2019

Mathematical problem solving has become a major concern in school mathematics, and methods to enhance children's mathematical problem solving abilities have been the main topics in many mathematics education researches. In addition to previous researches about problem solving, the development of a mathematical problem solving method that enables children to establish mathematical concepts through problem solving, to discover formalized principles associated with concepts, and to apply them to real world situations needs. For this purpose, I examined the necessity of problem solving education and reviewed mathematical problem solving researches and problem solving models for giving the theoretical backgrounds. This study suggested the problem solving approach based on the intuitive and the formal inquiry which are the basis of mathematical discovery and inquiry process. And it is developed to keep the balance and complement of the conceptual understanding and the procedural understanding respectively. In addition, it consisted of problem posing to apply the mathematical principles in the application stage.

• The Journal of Korean Association of Computer Education
• /
• v.5 no.4
• /
• pp.53-60
• /
• 2002

Typical Apriori-like methods for mining sequential patterns have some problems such as generating of many candidate patterns and repetitive searching of a large database. And PrefixSpan constructs the prefix projected databases which are stepwise partitioned in the mining process. It can reduce the searching space to estimate the support of candidate patterns, but the construction cost of projected databases is still high. For efficient sequential pattern mining, we need to reduce the cost to generate candidate patterns and searching space for the generated ones. To solve these problems, we proposed SuffixSpan(Suffix checked Sequential Pattern mining), a new method for sequential pattern mining, and show a formal approach to our method.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1301-1304
• /
• 2000

지리 정보 시스템의 발전으로 공간 데이터의 수요가 늘어남에 따라 공간 데이터의 공급자들이 늘어나고 있다. 일반적으로 공간 데이터의 공급자는 수요자의 요구에 맞는 형식을 사용하여 공간 데이터를 생산한다. 그래서, 생산된 공간 데이터는 다양한 플랫폼에서 다양한 형식으로 저장된다. 최근들어 분산환경에서 다양한 플랫폼에 저장된 공간 데이터를 효율적으로 접근하기 위하여 공간 정보유통의 필요성이 증대되었고 OpenGIS Consortium(OGC)은 공간 데이터의 상호호환성을 위해 ISO와 협력하며 국제 표준화를 추진중이다. 본 논문에서는 공간 정보유통 중 공간 데이터 접근을 위해 OGC의 Simple Features Specification for CORBA 표준을 기반으로 ESRI사의 공간 데이터 저장 형식인 Shape 파일을 위한 CORBA 데이터 프로바이더를 구현한다. CORBA는 언어와 플랫폼에 독립적으로서 분산환경에서의 상호운용성을 제공하고, 특히 Java와 결합하면 웹 브라우저를 통해 어떤 플랫폼에서든지 사용 가능하다. 그러므로, Shape 파일에 대한 CORBA 서버를 개발함으로써 플랫폼에 종속되지 않는 공간 데이터의 접근을 제공할 수 있다. 본 논문에서는 설계시 고려사항 및 구현 방법에 대해 살펴보고 OGC 표준을 구현하면서 발견된 문제점 및 성능 향상을 위한 방법에 대해서도 언급하여 다른 공간 데이터 형식을 위한 CORBA 서버를 개발할 때 참조할 수 있도록 한다.