• Journal of the Korean Society for information Management
• /
• v.26 no.3
• /
• pp.131-144
• /
• 2009

As the development of the new integrated KORMARC format is completed and the problems of KORMARC aroused by different formats by different material types are settled, librarians' interests have increased in adopting the new integrated format. This article attempts to demonstrate the necessity of adopting the new format and suggests some considering points in its application process. To effectively adopt the new format, firstly the scope of new format application should be decided, and then data conversion and related program development should be followed. It is hoped that this article will raise the understanding of the integrated KORMARC format and give some guidelines to libraries considering its adoption and library system vendors.

• Communications of Mathematical Education
• /
• v.14
• /
• pp.27-41
• /
• 2001

인지적으로 안내된 교수(CGI)는 학생들의 수학적 사고(특히, 비형식적 지식)의 발달; 그러한 발달에 영향을 미치는 교수; 교수 실제에 영향을 미치는 교사의 지식과 신념들; 교사의 지식, 신념들, 실제들이 학생들의 수학적 사고에 대한 이해에 의해 영향을 받는다는 점에 초점을 둔 통합된 연구 프로그램이다. 본 논문에서는 아동의 비형식적인 지식을 중시하는 최근의 연구들을 고찰하고, CGI를 위한 수업을 어떻게 조직하며, 그러한 교수법이 수업을 어떻게 진행할 것인지에 대한 구체적이고 명확한 지침을 제공하지 않으므로 CGI를 적용하는 교실들의 유사점을 살펴본다. 그리고, 마지막으로 최근의 연구들을 고찰함으로써 CGI의 효과를 알아본다.

• 대한공업교육학회지
• /
• v.45 no.2
• /
• pp.131-158
• /
• 2020

The purpose of this study is to develop and apply an informal engineering education program for engineering education that is realized outside the framework of formal education. To this end, a non-format engineering education program was developed and rationalized, discussing participants' experience in participating in the program. The developed non-format engineering education program was applied to 90 high school learners interested in engineering in a one-night, two-day camp format, and the goal was confirmed through open surveys and in-depth interviews. The goal of the non-format engineering education program is to understand the importance of engineering and engineering design in real life and the principles of engineering design processes, and to use a variety of knowledge and tools to creatively solve engineering problems creatively. In addition, education programs were developed based on the fact that real-life examples allow engineers to understand what they do, design their own careers, and collaborate with colleagues to share various engineering issues and develop communication skills on engineering topics.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06c
• /
• pp.252-257
• /
• 2007

MusicXML은 다양한 전자악보 형식들이 음악을 악보로 표현하는데 있어 지니는 한계를 잘 극복하면서 응용성, 확장성 및 공개성 등의 장점으로 인해 현재 전자악보의 표준으로 가장 적합한 것으로 평가되고 있는 악보 형식이다. 그러나 MusicXML은 XML을 기반으로 한 텍스트 데이터이기 때문에 이러한 악보 형식을 실제 악보로 변환하거나 연주하는 것은 물론 실제 악보 내용을 기반으로 한 악보 검색이 용이하도록 적절한 데이터 구조로 표현하는 것이 필요하다. 본 논문에서는 MusicXML 악보에 대하여 다차원 속성 정보를 가진 데이터의 표현에 용이한 k-d 트리 기반 데이터 구조로 표현하는 방법을 제안한다. 논문은 또한 악보에 대한 k-d 트리 구조를 보다 다양한 응용에 활용할 수 있도록 k-d 트리를 확장하여 구조화하는 방법을 제시한다. 본 논문에서 제안한 방법은 특히 내용을 기반으로 한 악보 정보 검색에 유용하게 이용될 수 있다.

• Proceedings of the Korean Society for Information Management Conference
• /
• 1999.08a
• /
• pp.123-128
• /
• 1999

최근 급속히 발달한 인터넷을 통해 단순한 전자우편뿐만 아니라 학술 논문, 저작물 및 보고서, 계약서 등 실제 물리적인 문서를 표현하는 전자문서의 교환이 빈번하게 이루어지고 있다. 본 연구에서는 현재 사용되고 있는 전자문서 형식들인 가지고 있는 특성과 장단점을 비교 연구하였다. 우선 문서교환을 목적으로 하는 전자문서 형식이 가져야 할 특성으로 범용성, 신속성, 장치 독립성, 간결성, 확장성 등을 제시하고 이를 기준으로 현재 사용되거나 제안되고 있는 전자문서 형식들을 평가하였다. 특히 DVI, HTML, XML, SGML. PDF, Postscript 등의 문서 형식들을 대상으로 조사하고 평가하였다. 그 결과 연군개발정보센터에서 사용 중인 DVI 문서 형식이 한글 문서를 인터넷 상에 구현하는 가장 효율적인 방법 가운데 하나임이 증명되었다.

• Journal of the Korean School Mathematics Society
• /
• v.17 no.4
• /
• pp.805-816
• /
• 2014

In this paper, we survey the development of material implication and we present an analysis of the students' understanding of formal implication. Most of high school students consider material implication $p{\rightarrow}q$ as ${\sim}p{\vee}q$ when they represent the pattern of a collected cards as material implication $p{\rightarrow}q$. But when they collect cards in which material implication $p{\rightarrow}q$ is true, Most of high school students consider $p{\rightarrow}q$ as $p{\wedge}q$.

• Journal of Korean Association for Spatial Structures
• /
• v.6 no.4 s.22
• /
• pp.35-44
• /
• 2006

The form-resistant Systems like a dome and shell are used more widely than post-beam structure system in large space structure. Single layer latticed dome system, one of the form-resistant system, has great merits in manufacturing and constructing but the failure mechanism is not clarified yet. The purpose of this paper is to find out the buckling characteristics of single-layer latticed domes with square network by using the experimental method. Major test parameters are the stiffness of lattice member and space of square lattice. The specimens are applied uniform loading of snow type.

• The Journal of Korean Association of Computer Education
• /
• v.7 no.6
• /
• pp.85-93
• /
• 2004

We investigated the proper display environment for japanese electronic character reading lessons through the experiment with a projection TV and a computer. For the purpose of finding out the effect of prior learning activities at the context of authentic Japanese text orthography, which includes dual notation, words spacing, etc., we also made an experiment on comprehending the web documents which are extracted from japanese web sites. From the experimental results, we acquired a conclusion that two approaches are needed to enhance the ability of comprehending Japanese web documents which is newly added to the 7th curriculum revision. For short-term approach, we need to utilize Japanese web documents as learning materials. For long-term approach, we have to reconsider whether the orthography of the current Japanese textbooks is suitable or not.

• The KIPS Transactions:PartA
• /
• v.17A no.4
• /
• pp.173-180
• /
• 2010

To specify a formal semantics is to do a significant part for design, standardization and translation of programming languages. The existing studies of a formal semantics for Java have a weak point to describe a clear and practical semantics for an efficient translation. It is necessary to do research for a formal semantics to specify a static and dynamic semantics clearly in order to do an efficient translation. This paper presents the improved Action Equation that specifies a formal semantics for Java to extend the research using Action Equation. The Action Equation is a practical and accurate specification that describes object-oriented programming features and handles exceptions. The specified Action Equation is compared to other descriptions, in terms of readability, modularity, extensibility, and flexibility and then we verified that Action Equation is superior to other formal semantics.

• Proceedings of the KAIS Fall Conference
• /
• 2006.11a
• /
• pp.199-202
• /
• 2006

RFID는 유비쿼터스 시스템을 실현할 수 있는 기본적 구성 요소이며, 최근 다양한 응용 분야가 개발되어 실제 적용분야가 점차 증가하고 있는 상황이다. RFID 시스템 확산의 가장 큰 문제점은 현실적으로 태그의 가격을 매우 싸게 만들어야 하는 것이고, 이를 해결하기 위하여 많은 업체들이 기술 개발에 전념하고 있다. RFID 시스템 중에서도 가장 큰 관심을 받고 있는 900MHz 대역의 규격인 ISO/IEC 18000-6에서는 새로이 형식 C가 추가되어 기존의 형식 A, B를 포함하여 모두 세 종류의 형식이 제안되었다. 이에 본 논문에서는 형식 C에 대한 규격을 분석하고, 이의 기능 블럭을 VHDL로 구현하였다. 규격에 제안된 것과 동일한 프레임을 구현하고 임의의 데이터를 가정한 후에 데이터 변조 방식으로서 사용되는 PIE와 FM0 변조 방식 등을 구현하고, 이를 송수신 함으로써 변복조가 정확히 구현되었음을 확인하였다.