• 정보관리학회지
• /
• 제26권3호
• /
• pp.131-144
• /
• 2009

통합서지용 KORMARC 형식이 발간됨에 따라 그동안 자료유형별로 각각 발간되었던 KORMARC의 문제점들이 상당 부분 해결되었고, 도서관 현장에서는 통합서지용 KORMARC 형식의 도입에 대한 관심이 모아지고 있다. 본 연구에서는 통합서지용 KORMARC 형식 적용의 필요성을 살펴보고, 실제적인 적용을 위한 고려사항 및 그 절차와 방법을 제시하였다. 통합서지용 KORMARC 형식의 효과적 적용을 위해서는 데이터 적용 범위를 먼저 결정하고, 데이터 변환 및 관련 프로그램의 개발이 필요하다. 본 연구가 통합서지용 KORMARC에 대한 이해를 공유하고, 적용을 고려 중인 기관과 상용 도서관시스템 업체들에게 실제적인 방향을 제공하리라 기대한다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제14권
• /
• pp.27-41
• /
• 2001

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

• 대한공업교육학회지
• /
• 제45권2호
• /
• pp.131-158
• /
• 2020

이 연구의 목적은 형식교육의 틀 밖에서 실현되는 공학교육을 위한 비형식 공학교육 프로그램을 개발하고 적용하는데 있다. 이를 위하여 비형식 공학교육 프로그램을 개발하고 타당화하여, 참여자의 프로그램 참여 경험을 논의하였다. 개발된 비형식 공학교육 프로그램은 공학에 관심 있는 고등학생 학습자 90명에게 1박 2일 캠프 형식으로 적용하였고, 개방형 설문 및 심층 인터뷰로 목표 달성 여부를 확인하였다. 비형식 공학교육 프로그램의 목표는 실제 생활에서 공학, 공학 설계의 중요성 및 공학 설계 과정의 원리를 이해할 수 있으며, 다양한 지식과 도구를 활용하여 공학문제를 창의적으로 해결할 수 있도록 하는데 있다. 또한, 실제 사례를 통해 공학자가 하는 일을 이해하고, 자신의 진로를 설계할 수 있으며, 문제를 해결하는 과정에서 동료와의 협업을 통해 공학과 관련된 다양한 이슈를 공유하고 공학 주제에 대한 의사소통 능력을 기를 수 있어야 하는 것을 목표로 교육 프로그램을 개발하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (C)
• /
• pp.252-257
• /
• 2007

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

• 한국정보관리학회:학술대회논문집
• /
• 한국정보관리학회 1999년도 제6회 학술대회 논문집
• /
• pp.123-128
• /
• 1999

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

• 한국학교수학회논문집
• /
• 제17권4호
• /
• pp.805-816
• /
• 2014

본 연구에서는 형식적 함의에 대한 역사적 발달과정을 살펴보고 형식적 함의에 대하여 대학생들이 어떻게 이해하는지를 분석하였다. 또한 고등학생들과 예비대학생들을 대상으로 카드모임에 대한 실제적 함의에 대하여 조사한 결과 주어진 카드 모음에서 성립하는 패턴을 명제 $p{\rightarrow}q$로 나타낼 때에는 명제 $p{\rightarrow}q$를 ${\sim}p{\vee}q$와 동치인 명제로 이해하는 학생들이 가장 많았지만 명제 $p{\rightarrow}q$가 성립하는 카드를 모으는 과정에서는 조건명제 $p{\rightarrow}q$를 $p{\wedge}q$와 동치인 명제로 이해하는 학생들이 가장 많은 것으로 조사되었다.

• 한국공간구조학회논문집
• /
• 제6권4호
• /
• pp.35-44
• /
• 2006

대공간 구조형식에는 기존의 기둥-보 구조형식에서 벗어나 쉘구조형식과 같은 형태저항 구조형식이 가장 유효한 구조형식으로 인식되고 있다. 특히 지간 $200m{\sim}300m$ 이상의 대공간구주 형식으로는 중량구조인 연속체의 쉘보다는 래티스 돔과 같은 공간 트러스형식 등의 유리하다. 시공, 제작상의 편리성, 구조미 등을 이유로 복층래티스 돔과 더불어 단층의 래티스 돔 형식도 실제 구조물에서 많이 적용되고 있다. 그러나 대공간 단층 래티스 돔의 경우 아직까지 외력의 작용으로 인한 변형과 파괴경로가 명확하게 해명되지 못한 부분이 있다. 본 연구에서는 대공간 구조형식에 적합한 래티스 돔을 대상으로 좌굴의 특성을 규명하여 안정적인 구조 설계의 기초 자료를 제시하기 위하여 실험을 수행하였다. 주된 실험변소는 격자의 간격과 돔의 지붕 강성 유무를 대상을 하였으며, 격자의 간격은 돔을 4분할, 5분할, 6분할, 7분할로 하여 정하였다. 가력은 돔의 전면에 걸쳐 구심의 등분포하중이 작용하도록 하였다.

• 컴퓨터교육학회논문지
• /
• 제7권6호
• /
• pp.85-93
• /
• 2004

본 연구에서는 프로젝션 TV와 컴퓨터 화면에 제시되는 일본어 영상문자 읽기 수업을 위한 적합한 화면 환경을 살펴보았다. 그리고 복수표기, 띄어쓰기 등 실제 일본 웹 사이트에 나타나는 일본어 표기 형식에 대한 사전 학습활동이 웹 문서의 내용 파악에 어떠한 영향을 미치는지를 실험을 통해 살펴보았다. 실험 결과 제7차 교육과정에 새롭게 추가된 일본 웹 문서의 독해 능력을 배양하기 위하여 두 가지 조치가 필요함을 알 수 있었다. 단기적으로는 실제 일본어 웹 사이트의 문서를 학습 자료로 활용할 필요가 있으며, 장기적으로는 현행 일본어 교과서의 표기 형식을 재검토할 필요가 있음을 확인할 수 있었다.

• 정보처리학회논문지A
• /
• 제17A권4호
• /
• pp.173-180
• /
• 2010

프로그래밍언어에 대한 형식 의미를 적절하게 표현하면 설계와 표준화, 최적화 및 번역 과정에 중요한 역할을 수행한다. 기존의 자바에 대한 형식 의미 연구는 번역을 위해 정확하고 실제적인 의미 구조를 표현하는데 미흡한 점이 있다. 자바 번역 과정의 효율성을 향상시키기 위해 정적이고 동적인 의미 구조를 정확하게 표현하는 의미 표현법에 관한 연구가 필요하다. 본 논문에서는 기존의 작용식(Action Equations)을 사용해 명세한 연구를 확장하여 자바 언어에 대한 형식 의미를 명세하는 개선된 작용식(Action Equations)을 제시한다. 객체를 다루는 기능은 물론 예외를 처리하는 형식 의미론을 보다 실제적이고 정확하게 명세하게 된다. 판독성(Readability), 모듈성(Modularity), 확장성(Extensibility), 융통성(Flexibility)의 네 영역에서 명세된 작용식을 기존의 의미 표현법과 비교하여 본 작용식의 우수성을 확인하고자 한다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2006년도 추계학술발표논문집
• /
• pp.199-202
• /
• 2006

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