• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.7 no.5
• /
• pp.913-918
• /
• 2006

Patients of dyslexia have an reading disorder marked by the occurrence of semantic errors. Because there is little understanding of dyslexia in korea, we use a translation version of foreign tester for testing the patients of dyslexia. However, the foreign testers is not suitable for testing the korean patients, because language is sensitive to national culture and trait. In this paper, we propose a model of tester for dyslexia Which is used for classification and analysis of korean patients. In addition, we show some characteristics of the implemented tester by a performance study.

• Journal of Korean Library and Information Science Society
• /
• v.47 no.2
• /
• pp.329-358
• /
• 2016

The purpose of this study is to develop a test tool that can be measured in various aspects for the reading attitudes of children. For that it was set the configuration based on the preceding reading attitude survey and models and tacit knowledge of attitude toward reading and wrote the questions for reading attitudes. It conducted a primary and secondary test for elementary school students in grades 4-6 to verify the validity and reliability of measurement tools. 8 factors of the reading attitudes measurement tool were extracted through exploratory factor analysis and it described 66.29% of total variable. the r-value for inter-item consistency about reading attitudes were above 0.4 on all questions. The Cronbach ${\alpha}$-value of reliability coefficient about reading attitudes measurement tool was 0.950. Therefore Reading attitude test tool have reading usefulness, reading efficacy, leisure, stiumulation, flow, expression, study, assertiveness as sub factors of reading attitude has been shown that it can serve as a useful tool for measuring various aspects of the reading attitude for children.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2021.07a
• /
• pp.53-56
• /
• 2021

국내 산업화가 들어선 후 산업화 당시 지었던 낙후된 건물의 증가에 따라 구조물의 손상 조사 및 검사 방법의 수요가 늘어나고 있다. 일반적으로 구조물의 손상은 전문 검사원이 현장에서 직접 측량도구와 시각적인 방식으로 검사한다. 그러나 전문 검사원들이 직접 조사하는 수고에 비해 균열을 검사하는 방식 자체가 단순하고, 일반 사람이 검사하기에는 객관성이 떨어지는 한계가 있어 균열을 자동적으로 검출함으로써 객관성과 편의성을 보장할 기술이 필요하다. 본 연구에서는 이미지 기반으로 다양한 환경에서의 외벽 균열을 검출할 수 있는 딥러닝 모델 개발을 소개한다. 균열 검출을 위해 다양한 외벽 균열 관련 데이터셋을 확보 및 구축하고 각 데이터셋의 검출 정보를 보완할 반자동(semi-auto) 라벨링 작업을 수행하였다. 두 번째로 기존 높은 검출 성능을 보였던 모델들을 선정 및 비교하여 YOLO v5 모델을 최종적으로 선정하였고, 도메인이 각각 다른 데이터셋에 대한 교차 학습을 통해 각 데이터셋의 mAP의 편차가 31%에서 11%로 좁히는 작업을 수행하였다. 이를 통해 실제 상황에서의 균열 영상에서 균열을 검출할 수 있는 측량 시스템을 개발함으로써 실질적인 검사의 도구로 활용될 수 있길 기대한다.

• Journal of Science Education
• /
• v.41 no.2
• /
• pp.179-194
• /
• 2017

The purpose of this study is to construct two equivalent science relevance recognition test tool after confirming the reliability and validity of the CARS(Changes in Attitude of Relevance to Science) questionnaire to determine the applicability of the items to Korean students and to compare gender and school differences. For this study, 59 items of the CARS scientific relevance test were translated and assigned to 787 middle and high school students (analyed the answer of 300 middle school students and 431 high school students). In order to determine the fit of the CARS question to Korean students and to overcome the limitation of the number of questions, we used the item-linking method of the Rasch model. By analyzing the results of the research, we constructed two equivalent scientific relevance recognition questionnaires of CARS-A and CARS-B with 25 items. The Pearson correlation coefficient of the Rasch scores of the two equivalent test was 0.78. The two types of scientific relevance recognition test tools generated through this study can be used to confirm students' attitude of scientific relevance to daily life, or to confirm the change after a certain class or grade. Through this study, we will discuss the implications of students' perceptions of science associations in science education, and the development and application of tools.

• The KIPS Transactions:PartD
• /
• v.17D no.2
• /
• pp.111-118
• /
• 2010

In this paper, we describe the implementation of debugger that has advanced features for verifying Simulink model. The debugger provided in Simulink has some boring and repetitive work when verifying complicated Simulink models or complicated scenarios. In order to resolve the problems, this paper addresses the issues on the implementation of debugger that provides features such as a convenient feature to compare the simulation output to the expected output for specific input, to monitor system's behavior at specific time, and coverage report function in some or all input scenarios. The proposed debugger is applied to the vending machine model provided by Matlab, demonstrating its feasibility.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.81-86
• /
• 2008

SPIN은 소프트웨어 정확성 검사에 널리 사용되는 모델 검증 도구이다. 특히 C 코드로 작성된 소프트웨어를 효율적으로 검사하기 위해서 SPIN의 입력 언어인 Promela 모델에 C 코드를 끼워 넣는 기능이 버전 4.0 이상에서 지원되고 있다. 본 논문에서는 이러한 기능을 미로 게임 풀이에 적용하였다. 그 결과, Promela 모델만을 사용해서 풀이한 것보다도 모델에 C 코드를 끼워 풀이한 것이 메모리 사용 및 처리 시간에서 월등히 우수했다. 메모리와 시간과 같은 객관적인 성능 향상과 더불어서, 이러한 사례 연구는 모델 검증 도구 및 추상화 학습에도 유용함을 경험했다.

• Journal of KIISE:Software and Applications
• /
• v.35 no.9
• /
• pp.529-537
• /
• 2008

Since concurrent software is hard to debug, the verification of such systems inevitably needs automatic tools which support exhaustive searching. Bounded Model Checking (BMC) is one of them. Within a bound k, BMC exhaustively check some errors in execution traces of the given system. In this paper, we introduce the tool that performs BMC for LTS, modeling language for concurrent programs. In this tool, a property is described by a FLTL formula, which is suitable to present the property with actions in a LTS model. To experiment with existential model checkers and out tool, we compare and analysis the performance of the developed tool and others.

• The Journal of Korean Association of Computer Education
• /
• v.21 no.1
• /
• pp.31-42
• /
• 2018

Countries around the world are strengthening informatics education to cope with the development of technology that leads to rapid social change. The last step in the capacity to foster through formal education is high school education. The purpose of this study is to examine the competence and level of informatics curriculum for high school students who aim to enter university in terms of testing tools. In order to carry out the research, we analyzed informatics education related test tools for high school students such as Japan, Germany, and USA. The results of the analysis are as follows: First, both the essay type and the short answer type question are included in the test tool as well as the multiple choice question type. Second, we use the real world model as an item and ask whether we can use computing power for practical problem solving ability. Third, the items directly related to the university education are reflected in the items. This study suggests that it has helped to elucidate the features and discussions of the test tool and establish the development direction of the test tool for informatics education.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2012.11a
• /
• pp.1578-1580
• /
• 2012

모델 검증은 시스템이 만족해야 하는 속성을 자동으로 검사하는 정형 검증 기법으로써, 많은 도메인에서 활용되고 있다. 특히 모델 검증 도구들에 따라 상태 공간 탐색 방식이 다르고, 상태 공간 탐색 방식에 따라서 생성되는 반례도 달라진다. 본 논문에서는 모델 검증의 대표적인 도구인 SPIN과 SMV에서 생성하는 반례를 상호 비교한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.207-210
• /
• 2006

소프트웨어 프로덕트 라인 공학은 공통성과 가변성 식별을 통해 소프트웨어 재사용을 극대화시키는 접근방법으로 이를 지원하는 특성모델 작성도구에 대한 연구가 다수 진행되고 있다. 하지만 FODA 방식의 특성다이어그램을 지원하는 도구들은 특성다이어그램과 추가적인 특성제약사항을 분리하여 명세하기 때문에, 특성모델의 이해와 두 명세 사이의 일관성 보장이 어렵다. 따라서 본 논문에서는 UML을 이용하여 특성다이어그램에 추가적인 특성제약사항을 함께 표현함으로써 특성모델의 이해를 돕고, UML 특성다이어그램의 작성규칙 검사를 통하여 일관성을 보장하는 도구를 제안한다. 이를 기반으로 한 UML 특성모델 편집기를 통하여 개발자는 보다 쉽게 특성모델링을 수행하고, 일관성 있는 특성모델을 작성할 수 있다.