• School Mathematics
• /
• v.7 no.4
• /
• pp.337-352
• /
• 2005

In this study, we carried out a case study with 38 pre-service mathematics teachers. A theoretical basis of this study is the 'technology principle' by NCTM(2000) and teaching-learning methods by the 7th curriculum. Using mathematics program(Grafeq.), we executed classroom activities for developing materials assisting teaching-teaming for 7th-9th grade mathematics. Pre-service mathematics teachers constructed mathematical designs for each grade by Grafeq. program. We tried to find the results for three research problems. On the basis of observation data, interview data and document materials, we analysed our results as follows. First, our activities help Pre-service mathematics teachers to examine and understand each grade mathematics. Second, we can developamathematicaldesignineachgrade mathematics. Therefore mathematical designs developed in this study can be used middle school mathematics classroom. Third, pre-service mathematics teachers gained the belief that the activities using mathematical in this study can be applied program. effectively to teaching and loaming school mathematics.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1367-1370
• /
• 2004

본 논문에서는 LTS(Labeled Transition System)로 명세화된 철도 신호 제어 프로토콜의 동작의 정확성을 형식기법을 통해 검정하고 적합성 시험을 위한 시험계열을 자동으로 생성해 주는 도구로서 프로토콜 검정기와 적합성 시험 계열 생성기를 개발하였다. 본 도구는 과거에 사용되었던 비정형적 방법의 많은 오류와 모호함을 제거하고 프로토콜 개발시간 및 비용을 절약해 줌으로써 철도 신호 제어시스템의 안전성 및 신뢰성을 보장해 줄뿐만 아니라, 다른 시스템에도 응용되어 검정 및 시험을 효율적으로 수행하게 해주는 도구이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.880-882
• /
• 2003

본 논문에서는 소프트웨어 공학에서 널리 사용되고 있는 정형기법을 보안 운영체제의 검증에 활용하기 위해 각 검증기법의 특성과 도구에 대해서 설명한다. 정리증명의 대표적인 도구인 PVS와 모델체킹의 대표적 도구인 SMV, 특수한 목적을 위해 개발된 NPA등에 대해서 알아보고, 각 방법을 비교, 분석하여 보안운영체제의 검증에 적합한 도구를 찾아본다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2023.07a
• /
• pp.91-92
• /
• 2023

근로자의 수를 최소화한 자동화 공장의 경우 전체 공장의 상태를 실시간으로 정확하게 확인하기 어려운 문제가 있다. 또한, 장비나 센서의 배치가 복잡하고 명칭만으로 이해하기 어려워 현장에 있지 않은 사람들은 해당 데이터의 의미나 문제 발생 여부를 판단하기 어렵다. 이 논문은 시·공간적 한계를 극복하고 공장의 상태를 한눈에 파악할 수 있는 실시간 공장 상태 정보 시각화 도구를 구현하여 상시적인 모니터링과 함께 이상 상태 발생 시 빠른 대처가 가능하도록 하였다. 이 도구는 반응형 웹 기반으로 개발하여 모바일 환경에서도 동일하게 작동하기 때문에 범용성 있는 스마트 팩토리 구축 시스템의 일부로 활용할 수 있다.

• Communications of Mathematical Education
• /
• v.28 no.1
• /
• pp.65-79
• /
• 2014

The present study seeks to provide an easy path to differential perceptions of students at the upper high school level by applying a story telling method and also, characteristically, to earn some time for class discussion by reducing learning time for simple calculational procedure through Computer Algebra System(CAS) tools. This study offers a clear example of storytelling textbooks through Sage. Hence, the study aims at enabling students who have practiced contents with Sage tools to deal with diverse and complicated calculation problems, if they learn to build up mathematical formulas for those problems.

• Annual Conference on Human and Language Technology
• /
• 2018.10a
• /
• pp.546-549
• /
• 2018

다양한 재난안전 유관기관으로부터 생산 및 관리되는 재난안전정보는 공유를 통해 재난관리업무를 보다 효율적이고 신속하게 수행할 수 있도록 도와준다. 그러나 재난안전정보 공유를 위해서는 우선 재난안전 분야에서 사용되는 용어의 표준화 및 체계화가 선행되어야 한다. 특히 다양한 분야에서 축척된 용어들을 모두 종합 검토하고 형상 관리하기 위해서는 별도의 구축도구가 필요하다. 본 논문에서는 재난안전정보 용어사전 구축도구를 통해 재난안전 분야의 용어를 입력하고 정제 및 검토하는 과정을 통하여 용어 표준화를 수행하고자 한다. 특히 본 논문에서 개발된 구축도구는 웹 기반 다중접속이 가능하도록 구현되었고, 하나의 표제어에 다양한 정의문이 할당되는 일대다 관계로 용어사전을 관리하고 있어 다양한 분야에서 혼재되어 있는 정의문들을 종합적으로 관리할 수 있다는 장점이 있다. 현재는 개발된 구축도구를 활용하여 재난안전정보 용어사전을 구축 중에 있으며, 차후 구축된 용어사전을 재난안전 분야 실무자 및 일반 이용자에게 제공하기 위한 활용도구 구축 연구가 추가적으로 진행될 계획이다.

• Journal of Engineering Education Research
• /
• v.16 no.1
• /
• pp.3-14
• /
• 2013

The previously developed practical inquiry activity supporting tools, deduced from the design principles and implementation principles based on the study of precedent researches and theories, applicable to conceptual learning in engineering education were implemented to an on-line learning community, a web-based Windows application, to find out its effectiveness in actual classroom situation through experimental research. The On-line learning community includes the inquiry activity menu to implement learning procedure of inquiry based conceptual learning, the functions supporting the communication among participants, the information sharing function, the scheduling function of class and inquiry activity, the mentoring function, and the evaluation of on-line activities of learners. Experimental study were also conducted in order to analyze the effects of inquiry activity supporting tools on inquiry based conceptual learning in engineering education.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.166-168
• /
• 2010

협업 환경의 비즈니스 모델은 Web 2.0 과 같은 협업도구의 정보통신 기술의 발달로 효율성 측면에서 더욱 가속화되고 있다. 웹 2.0 기반의 Wiki 시스템은 협업 도구의 대표적인 시스템이다. 협업작업자는 협업 도구로 메신저, 메일, 게시판 등을 사용한다. 하지만 메일은 그룹작업자가 필요로 하는 자료와 정보를 공유하는 비동기적 협업도구로 사용되고 있다. 협업시스템에서 가장 대표적인 통신수단은 전자우편 또는 메신저라고 할 수 있다. 하지만 DokuWiki 는 협업 시스템으로 적합하지만 통신수단을 제공하지 않는다. 그러므로 본 논문에서는 효율적인 협업작업을 위하여 개인 또는 그룹에 전송된 전자메일을 모두 공유할 수 있도록 하기 위해 전자우편 공유 시스템을 제안한다.

• Journal of the Korea Society of Computer and Information
• /
• v.14 no.8
• /
• pp.97-106
• /
• 2009

ABEEK, an independent non-governmental organization, is the recognized accreditor for the educational programs in engineering and related disciplines. ABEEK has developed the standard accreditation criteria to meet diverse needs of the engineering and related communities in Korea. A student attending at the accredited program has to complete the required courses and elective courses according to the curriculum flowchart to meet the accreditation criteria for a bachelor. Therefore an efficient and effective tool is necessary to support the adviser to monitor the completion of the required courses and elective courses according to the curriculum flowchart. In this paper, we describe an adviser tool developed. To develop an adviser tool. we established databases which contain the information of courses and their relations according to the curriculum flowchart. Adviser tool was developed to analyze student's DegreeAudit and represent the current completion information on the curriculum flowchart for effective monitoring. A closed test was performed and showed the increase of efficiency to meet the accreditation criteria for a bachelor.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.523-526
• /
• 2004

본 논문은 산업용 자동화기기에 사용되는 다수의 PLC(Programmable Logic Controller)를 모니터링하고 제어하기 위해, HMI(Human Machine Interface) 시스템에서 구동되는 저작 도구 응용프로그램을 설계 및 구현한다. HMI 저작 도구에서는 스크린이라는 가상화면 객체의 영역 안에서 태그라는 구성요소의 속성들을 편집하고 저장 및 전송하는 과정을 그래픽 화면을 통해 시각적으로 제공한다.