• Journal of KIISE
• /
• v.42 no.2
• /
• pp.155-161
• /
• 2015

It is difficult and cumbersome to figure out whether a multithread program runs with concurrency bugs, such as data races and atomicity violations, because there are many possible executions of the program and a lot of the defects are hard to reproduce. Hence, monitoring techniques for collecting and analyzing the information from program execution, such as thread executions, memory accesses, and synchronization information, are important to locate data races for debugging multithread programs. This paper presents an efficient and practical monitoring tool, called VcTrace, that analyzes the partial ordering of concurrent threads and events during an execution of the program based on the vector clock system. Empirical results on C/C++ benchmarks using Pthreads show that VcTrace is a sound and practical tool for on-the-fly data race detection as well as for analyzing multithread programs.

• Journal of The Korean Association For Science Education
• /
• v.28 no.1
• /
• pp.32-46
• /
• 2008

The purpose of this study was to analyse the qualitative and quantitative characteristics of paper-pencil tests for exploring its appropriateness as a selection tool of the gifted in science. For this purpose, we developed two (internal and external) item analysis frameworks, and applied these frameworks to analyse qualitative characteristics. Also, we analysed the relationship between two characteristics. The results of analysing qualitative characteristics revealed that the portion of items with acceleration context exceeding middle school curriculum level was relatively large, which caused low content validity. Furthermore, there was considerable deviation in content and context by subject matter and year, which caused test unstability. Items measuring knowledge domain was the most prevalent, and too much weight on data interpretation & analysis domain in inquiry process skills. In case of creativity test, the portion of items measuring convergent thinking was much larger than that of divergent or associative thinking. Most of these items were represented by using pictures and tables rather than using graphs. Item types of multiple-choice and short answers were superior to essay types. Discrimination index, on the whole, was appropriate (above 0.3), but item difficulty showed a vast deviation ($0.01{\sim}0.90$). Correlation coefficients among subject matters and test tools were very low, and test reliabilities were also low. Low item difficulty & high discrimination index item types were distinguishable. Items with acceleration context were more discriminating than enrichment context. Implications of developing quality paper-pencil test items in the selection of gifted students are discussed.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.21 no.10
• /
• pp.530-540
• /
• 2020

Ecological momentary assessment (EMA) is a method that captures the current experience and behavior of subjects in real time in a natural environment. The data collected by EMA reveals alterations according to the time and context of experience and action. The Trier Inventory for Chronic Stress (TICS) is a tool that measures momentary stress, and is capable of measuring stress experienced in real life. This study was undertaken to verify the validity and reliability after translating the short form TICS into a Korean version. Totally, 89 police officers working at the police station in the capital participated in this study. The mobile application developed for this study was installed on their smartphones, and data were collected four times a day for seven consecutive days. Confirmatory factor analysis and content validity index (CVI) was applied to test the validity, and concurrent validity was evaluated by correlating with the occupational stress score. The model was validated by confirmatory factor analysis, and we obtained good reliabilities (I-CVI=0.83-1, RMSEA=0.104, SRMR=0.104, CFI=0.948, TLI=0.919, Cronbach's alpha=0.839). Our findings indicate the reliability, and validate use of the Korean tool for measuring momentary stress.

• Proceedings of the Korean Statistical Society Conference
• /
• 2003.10a
• /
• pp.167-172
• /
• 2003

혼합물실험에서 성분의 개수가 많고 성분에 대하여 제한조건이 있는 경우 흥미영역을 도시하는 작업은 성분의 개수가 4개 이상일 때 힘든 작업이 된다. 또한 반응변수가 여러 개인 경우 최적화문제도 까다롭게 된다. 이때, 탐색적 자료분석의 한 도구로서 평행좌표그림을 이용하면 통계자료분석시 많은 도움을 받을 수 있다.

• Journal of Digital Convergence
• /
• v.18 no.1
• /
• pp.219-229
• /
• 2020

The purpose of this study was to develop a short biomedical ethics tool for healthcare workers, compare it with pre-existing tool, and increase reliability. Data were collected from 211 healthcare workers working in G-do. Exploratory factor analysis was carried out using Varimax rotation extraction method in IBM SPSS WIN/21.0. Convergent validity of the tool was verified by regression and correlation analysis with original tool score. Reliability was verified by calculating intraclass correlation coefficient and internal consistency coefficient. The short, reduced 21 questions tool reflected 84% of pre-existing tool's biomedical ethics. Its reliability was higher than the 29 question tool for nursing students, but there were differences in the components of subdomains and reliability coefficient. Additional development of questions through qualitative research and interviews are needed to increase reliability of the subdomains. Measurement of biomedical ethics dilemma with the tool that has validity and reliability is needed, followed by replication studies.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.352-354
• /
• 2005

본 연구는 홈 네트워크 인터페이스 모델에서의 관측 데이터를 기반으로 기존의 시스템 중심의 분석이 아닌 사용자 행위 분석에 초점을 두고 있다. 다양한 사용자 행위 자료를 분석하여 사용자 행위 모델링을 하는 것은 어려운 작업이다. 우리는 가능한 제한된 사용자 행위를 추출하기위해 목적(Goal) 지향의 사용자 행위분석을 제안하며, 정확한 사용자 행위 및 패턴을 식별/추출하기위해, 분석 자동화 도구를 구현하였다. 이는 행위 패턴의 중복성 및 빈도수를 측정하여, 사용자의 중요한 행위를 식별하기 위함이다. 본 논문에서는 수작업의 오류를 방지하고 사용자의 중요한 행위 분석을 통해 시스템을 쉽게 모델링 및 개발을 하고자, 사용자 행위 분석 도구인 UBA(User Behavior Analyst)를 제안한다.

• Journal of the Korean BIBLIA Society for library and Information Science
• /
• v.22 no.4
• /
• pp.341-359
• /
• 2011

The review journal is becoming important to select appropriate resources as the increase of publication of children's materials. The study aims to suggest the focal points and basic frameworks of review journals of children's materials to be used as select tools. The study employs case studies. Four foreign review journals and a Korean library journal are analyzed. The study found nine guidelines for basic framework to develop review journals of children's materials.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.7 no.4
• /
• pp.13-24
• /
• 2008

Real-time traffic data are readily obtainable by traffic surveillance systems of intelligent transportation systems (ITS). Such data greatly support further applications in the field of traffic operations, planning, and safety. However, traffic data should be appropriately processed to fully exploit the benefits of data collection capability. Rather than developing individual data processing techniques, which is major concern of existing studies, this study proposes a novel methodology for evaluating data processing techniques in an integrated manner. Also, a tool for implementing the proposed methodology is developed. Users can extract useful and more reliable traffic data based upon their ultimate purpose of data usage by the evaluation tool developed in this study. Actual freeway traffic data are, as an example, fed into the evaluation tool, and results are discussed.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.806-808
• /
• 2000

급변하는 세계시장으로부터 다양한 요구에 유연하게 대응하기 위해서 대부분의 생산 시스템들이 혼류 생산 체제로 바뀌어 가고 있다. 이에 맞추어 자동화 시스템 또한 유연성을 고려하여 투자가 진행된다. 이런 자동화된 생산 시스템들을 효과적으로 도입하기 위해서는 다각적인 분석이 필요하다. 최근 들어 컴퓨터 시뮬레이션 기법의 발전으로 유용한 도구가 개발되어 많은 시간과 비용이 요구되는 자동화 시스템을 분석하는데 효과적으로 활용되고 있다. 컴퓨터 시뮬레이션이란 복잡하고 어려운 시스템을 직접 변경시키지 않고 현 시스템의 자료를 바탕으로 이를 컴퓨터에 모델링하여 분석하는 도구이다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2013.01a
• /
• pp.149-152
• /
• 2013

이 연구는 스마트교육환경에서의 교육용 앱을 평가하기 위한 신뢰롭고 타당한 도구를 개발하는데 있다. 기존 선행연구에 기초해서 교육용 앱의 평가를 위한 평가모형을 도출했으며, 이 모형은 4개의 평가영역(교수 학습측면, 화면디자인측면, 기술측면, 경제 윤리측면)과 13개 평가요소들로 구성되었다. 이 잠재모형의 통계적 타당성 검증을 위한 자료수집을 하고자, 경기도 소재 중학교 1곳과 고등학교 2곳의 학생 156명을 대상으로 교육용 앱을 평가하는데 있어서 각 평가문항이 갖는 중요도를 평가하였다. 수집된 자료를 탐색적 요인분석한 결과, 교육용 앱을 평가하는 영역으로 교수 학습(흥미성 자기주도성 실용성, 인지발달성), 화면디자인(디자인의 적합성, 어휘의 정확성), 기술(호환성, 안정성), 경제 윤리(경제성, 윤리성) 등 4개 영역이 제안되었다. 또한 문항내적일관성을 확인하고자 신뢰도 분석한 결과, 각 평가영역 별 Cronbach ${\alpha}$는 .88, .85, .82, .80으로 모두 적합한 수준을 보였다. 따라서, 이 연구를 통해 도출된 교육용 앱 평가도구는 통계적으로나 타당성과 신뢰성 측면에서 의미 있는 것으로 판단할 수 있다.