• Journal of Educational Research in Mathematics
• /
• v.21 no.4
• /
• pp.345-359
• /
• 2011

In this research, we designed an educational activities of exploring mathematics programs in a course of mathematics education in teacher's college. We divided future mathematics teachers into 8 groups and suggested 8 mathematics programs to them. Each group explored one mathematics program. We asked to future mathematics teachers exploring some cases that use effectively a mathematics program in the teaching of school mathematics. In the process of an exploring, we designed some activities of teaching and learning. We provided opportunities of long-term exploration, group learning, presentations, exercises, reflections to mathematics teachers. As a result, future mathematics teachers acquired basic knowledge on the usage of mathematics programs in school mathematics textbook. In addition, their capabilities that are needed to explore mathematics programs have been enhanced. Also they had learned the teacher's positive attitude through the activities of teaching and learning.

• Journal of KIISE:Software and Applications
• /
• v.32 no.9
• /
• pp.888-900
• /
• 2005

Several researches have been proposed to formalize the knowledge preconditions problem - j.e., an action or a plan is epistemically feasible. However, since the feasibility is only checked at design-time and is assumed that it will also 1)e feasible at run-time, it is not suitable in the context of Semantic Web services composition, where many agents should share the limited resources required for the execution of Web services composition. Therefore, in this paper, we formalize a transactionally executable Web services composition which enables to guarantee its atomicity. Moreover, in order to formalize the transactional executability, we propose $TL-ALCFK_{NF}$ which extends TL-ALCF with the modal operators K and A. Based on $TL-ALCFK_{NF}$, we show how to carry out the epistemic reasoning with TL-ALCF as a language to represent Semantic Web services composition.

• Journal of The Korean Association For Science Education
• /
• v.43 no.3
• /
• pp.295-306
• /
• 2023

In this study, we explored science teachers' perceptions of adaptive practice in terms of importance and practice. For this purpose, an adaptive practice questionnaire was developed targeting secondary science teachers, and the responses of 128 science teachers were analyzed. The results of this study were as follows: First, the science teachers responded that all 17 items regarding adaptive practice were important. In particular, items related to 'addition of examples', 'adjustment of the level/range of concepts', and 'encouragement of student participation' showed high importance and performance levels. Second, the results of the IPA concerning adaptive practice showed that the items needing intensive improvement due to high importance but low performance were 'encouraging students' self-directed learning' and 'monitoring and responding to individual differences'. The science teachers identified a lack of time and uniform curriculum as the reasons for the low level of practice despite the high importance of these items. Third, regarding the IPA of the adaptive practice items, the items located in the fourth area, an excessive area, concerned 'pace control', 'modifying activities', and 'metaphor use'. More specifically, considering that 'metaphor use' was the only item with a higher level of performance than importance, it is necessary to reconsider whether problems are caused by excessive use. Fourth, analyzing the responses regarding the reasons for the difference in importance and performance revealed that the factors related to teachers included teachers' lack of knowledge or ability, and the tendency to implement as planned. As for student factors, an excessive number of students, differences in the levels of students, and a tendency to prefer classes centered on entrance exams were identified. As environmental factors, a uniform curriculum, conditions for experiments, evaluation systems, and external demands were mentioned. Finally, the implications of the results of this study for science education were discussed.

• Fire Science and Engineering
• /
• v.24 no.2
• /
• pp.9-20
• /
• 2010

This study indicates direction on establishment of the operational plan for disaster mitigation and its implementation for maintaining business continuity of the local company of the first step, and seeks plans for maintaining their continuity through the establishment of early counter system constructed for achieving lasting safe at the any disaster. For achieving it, we investigated the standard of disaster management selected by the government called "Incident Preparedness and Operational Continuity Plan" Guideline, and investigated a guideline to be easily applied to domestic companies. And, we also studied on how to build the operational plan of disaster mitigation and apply IT techniques to A corporation. Especially, this study indicates the models of establishment of risk assessment, impact analysis, prevention and mitigation plan, response management plan for the establishment of plan among 5 main steps on "Incident Preparedness and Operational Continuity Management" Guideline. We devised the plan to activate the disaster mitigation activity throughout the country. It shows the skills to be prepared to upgrade the level of disaster response in this study.

• The Journal of Sustainable Design and Educational Environment Research
• /
• v.20 no.4
• /
• pp.1-12
• /
• 2021

This study aims to propose a planning direction based on the results of domestic case studies and expert advice as a basic research to establish a specific implementation model for kindergarten education space in response to changes in future society and future education by escaping from the issues and facility limitations of existing kindergarten education space. To this end, it is intended to contribute to the positive effect of future education policies by being used as basic data for building specific implementation models through review of the 'Nuri' course, domestic case analysis, and revision of specific standards for kindergarten facility planning. The main research results were case analysis and advisory consultations to derive facility standards and planning directions divided into layout plans, general classrooms, support facilities, public spaces, and external spaces, and a process for identifying and systematizing space-influencing factors based on the facility standards derived in this basic study is needed hereafter.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2008.05a
• /
• pp.1505-1509
• /
• 2008

본 기본계획 수립에서는 하천업무의 문제점을 개선하고 영상정보를 적극 활용할 수 있는 토대를 마련하고자 현재까지 전산화되지 않은 하천 제외지 지형정보와 하천을 대상으로 하는 영상정보를 취득하여 DB화하고, 이렇게 구축된 영상정보 및 하천 공간정보를 결합하여 활용할 수 있는 주요 시스템 구축에 주안점을 두고 3차원 하천정보화 기본계획을 제시하였다. 3차원 하천정보화 기본계획의 목표연도는 2011년까지로 설정하였고, 2007년부터 2011년까지 총 5개년에 대해 로드맵을 제시함과 동시에 분야별 중점 추진과제를 도출하였다. 그리고, 도출된 중점 추진과제에 대한 실행계획을 제시하였다. 로드맵은 하천 제외지에 대한 공간정보를 체계적으로 구축하여 활용할 수 있는 기반을 조성할 수 있도록 제시하였으며, 또한 영상정보를 활용한 하천업무의 3차원 공간정보 제공도 중요한 요소로써 고려하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.319-323
• /
• 2006

본 논문에서는 동작 모델과 작업 목표에 따라 지능 로봇 시스템의 작업 순서를 결정하는 작업 계획기의 설계와 데모시스템에 대해 설명한다. 블랙보드 중심의 분산 제어 구조에서 하나의 독립적인 지식원으로 동작하는 작업 계획기는 작업 관리기의 요청이 있을 때마다 지식베이스로부터 동작 모델과 월드 상태 정보를 제공받아 작업 목표 달성을 위한 작업 계획을 생성한다. 그리고 이렇게 생성된 작업 계획은 오류로 인해 재 계획이 필요할 때까지 작업 관리기를 통해 실행된다. 본 연구의 작업 계획기는 효율적인 작업 계획 생성을 위해 지역 상태공간 탐색법의 하나인 EHC+ 탐색법과 계획그래프-기반의 휴우리스틱 계산법을 적용한다. 본 논문에서는 작업 계획기의 효율성과 블랙보드와의 연계성을 시험하기 위한 데모 시스템에 대해 자세히 설명한다. 이를 통해 지식베이스, 작업 관리기, 컴포넌트 서비스기 등 로봇 제어 구조내의 다른 지식원들과의 인터페이스를 위한 메시지 설계도 소개한다.

• Journal of the Korean Geographical Society
• /
• v.4
• /
• pp.41-54
• /
• 1969

This paper is concerned with the problem of international approval of national parks in Korea. Much of the solution of this problem is to be found in planning and law. Therefore the provisions for planning in the Korean. Natural Park Law and 20 national park plans were analyzed in comparison with International criterion. Then an gradual changing model of zoning plan were proposed in order to improve the zoning plan of national parks in Korea and applied to Hallasan National Park. These model can be applied to change the zoning plans of national parks in Korea for international approval.

• Journal of Satellite, Information and Communications
• /
• v.9 no.4
• /
• pp.127-133
• /
• 2014

In this paper, we present the design, functions and performance analysis of the virtual machine (VM) based on the Lua interpreter for On-Board Control Procedure Execution Environment (OEE). The development of the OEE has been required in order to operate the lunar explorer mission autonomously which is planned by Korea Aerospace Research Institute (KARI) autonomously. The concept of On-Board Control Procedure (OBCP) is already being applied to the deep space missions with a long propagation delay and a limited data transmission capacity since it ensure he autonomy of the mission without the ground intervention. The interpreter is the execution engine in the VM and it interpreters high-level programming codes line by line and executes the VM instructions. So the execution speed is very more slower than that of natively compiled codes. In order to overcome it, we design and implement OEE using register-based Lua interpreter for execution engine in OEE. We present experimental results on a range of additional hardware configurations such as usages of cache and floating point unit. We expect those to utilized to the OBCP scheduling policy and the system with Lua interpreter.

• 한국노년학
• /
• v.38 no.1
• /
• pp.169-185
• /
• 2018

The purpose of this study examined the feasibility and efficacy of a senior center-based diabetes self-management program applying action research approach. The cyclical action research method was applied for this study: plan, act, evaluate, and reflect in delivering three waves of the intervention program. Three waves of a 12 weeks-length small group diabetes self-management program were offered during the period of 15 months in a senior center in Seoul. Planning of $2^{nd}$ and $3^{rd}$ wave program were based on reflection of $1^{st}$ and $2^{nd}$ program evaluation respectively. Among the 46 participants, 93.48% (N=43) completed the program. The quantitative evaluation showed statistically significant improvement in HbA1C(p<.001), fasting plasma glucose(p<.001), BMI(p=.016), waist circumference(p=.001), systolic blood pressure(p=.036), diabetes self-management behavior(p<.001) and health knowledge(p=.008). Qualitative data revealed that individual management was very helpful in empowering and adhering for own diabetes care for the participants. Participants reported high satisfaction towards the program with mean satisfaction score of 65.12. Application of the Diabetes Self-management program with action study strategy was successful in community setting for improving participants' subjective and objective outcomes. Action research method guides the practitioner to tailor the program to respond for the participants and field needs.