• Journal of Elementary Mathematics Education in Korea
• /
• v.24 no.3
• /
• pp.279-297
• /
• 2020

The purpose of this study is to find ways to establish and operate Process-focused Assessment in the classroom as the 2015 revised curriculum has emerged. As a way of doing so, we proposed a Process-focused Assessment through self-assessment and looked at the impact of the applied classes on the mathematical academic performance and affective domain of fifth-grade elementary school students. After selecting two classes of fifth grade with proven homogeneity for research, the experimental group applied Process-focused Assessment through self-assessment and the teacher-led Process-focused Assessment to the comparative group. As a result, it was confirmed that the classes applying Process-focused Assessment through self-assessment significantly improved the math and academic performance of fifth-grade elementary school students. The affective domain of the experimental group did not change significantly, but the analysis of the students' comments and interview data showed that they had more interest and confidence in mathematics.

• Journal of the Korean Society for Library and Information Science
• /
• v.40 no.1
• /
• pp.293-314
• /
• 2006

To maintain consistency of terms in information retrieval process, it is necessary to present the meaning of terms definitely in thesaurus. Therefore, most of thesauri has presented meaning of terms through basic relationships or scope notes. But. thesaurus including standardized definitions in contents and form has been proposed lately. This study was performed to make standardized definitions and extract relationships in contents of defining models. Also, expanded thesaurus was constructed being integrated and replaced standardized definitions and extracted relationships into the existing thesaurus. As the result. this study has shown a possibility for further development of thesaurus.

• Korean Journal of Logic
• /
• v.6 no.1
• /
• pp.33-50
• /
• 2003

본 논문에서 필자는 기존의 양상 허구주의의 번역 체계가 가지고 있는 세가지 난점을 극복할 수 있는 양상 허구주의의 새로운 번역 체계를 제시한다. 이 세 난점이란 (1) 많은 세계들의 존재를 받아들이지 않을 수 없게 된다. (2) 세계 간의 비교를 하게 하는 양상 진술문을 제대로 번역할 수 없다 (3) 어떤 양상 진술문에 내해 잘못된 진리치를 부여한다 이다. 이 세 난점을 극복하기 위한 필자의 제안은 세계-양화사의 범위 안에 등장하는 양화사들이 주어진 세계 내의 사물들만을 범위 내에 포함하는 루이스의 초기 번역 체계나 비한정적 양회사를 도입하는 루이스의 후기 번역 체계를 받아들이는 대신, 양화사를 조금씩 조금씩 비한정시키는 (unrestrict) 시키는 것이며, 필지 공식 번역 체계는 우주 (세계)의 부분전체론적 합으르 정의되는 "다우주(muitiverse)"라는 새로운 용어를 도입함으로써 얻어진다. 필자의 공식 번역 체계는 다음과 같다: P가 가능하다 iff PW에 의하면 P가 잠인 다우주가 존재한다 P가 필연적으로 참이다 iff PW에 의하면 모든 다우주에서 P가 참이다 마지막으로 필자는 비한정적인 세계 간의 비교를 하게 하는 양상 진술문을 적절하게 번역하기 위해서 필자의 번역 체계에 약간의 수정을 가한다.

• Smart Media Journal
• /
• v.12 no.5
• /
• pp.58-64
• /
• 2023

In Logic Bomb, the conditions of branch statements that trigger malicious behavior cannot be detected in advance, making Android malicious app analysis difficult. Various studies have been conducted to detect potentially suspicious branch statements that can be logic bombs and triggers, but suspicious branch statements cannot be properly detected in apps that contain information determined at runtime, such as reflection. In this paper, we propose a tool that can detect suspicious branch statements even when reflection is used in Android apps. It works through recording app execution logs and analyzing the recorded log). The proposed tool can check the relationship between the called method and the branch statement by recording and analyzing the user-defined methods, Java APIs called and method information called through reflection, and branch information in the log while the Android app is running. Experimental results show that suspicious branch statements can be detected even in apps where reflection is used.

• Proceedings of the Korea Technology Innovation Society Conference
• /
• 2013.10a
• /
• pp.3-15
• /
• 2013

• Proceedings of the Korea Technology Innovation Society Conference
• /
• 2012.11a
• /
• pp.74-88
• /
• 2012

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2011.04a
• /
• pp.742-743
• /
• 2011

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2011.10a
• /
• pp.677-678
• /
• 2011

• The monthly packaging world
• /
• s.256
• /
• pp.112-115
• /
• 2014

산업통상자원부는 산업디자인의 정의에 기술적 요소를 포함하고 서비스디자인을 산업 디자인의 영역에 추가하며, 산업디자인의 사업화 지원 근거를 마련하고, 공공부문 산업디자인 개발에 대한 대가기준 수립 근거를 신설하는 등 제도적 기반을 강화함으로써 우리나라 산업디자인의 경쟁력을 강화하고자 산업디자인진흥법 일부 개정법률안을 고시했다. 본 고에서는 주요 내용과 함께 신 구조문을 비교해 살펴보도록 한다.

• Proceedings of the Korea Contents Association Conference
• /
• 2019.05a
• /
• pp.413-414
• /
• 2019

빅데이터는 초기에는 개념적인 접근으로 대용량의 데이터로 정의하기도 하였으나 지금은 데이터를 수집, 저장, 처리, 분석하여 가치 창출까지의 개념으로 확산되고, 최근에는 정확성(Veracity), 가변성(Variability), 시각화(Visualization) 개념까지 새롭게 추가되어 7V로 제시되기도 한다.