• Education of Primary School Mathematics
• /
• v.22 no.1
• /
• pp.65-82
• /
• 2019

In this study, students' multiplication expression method according to visual model was analyzed through paper test and eye tracking test. As a result of the paper-pencil test, students were presented with multiplication formula. In the group model (number of individual pieces in a group) ${\times}$ (number of group) in the array model (column) ${\times}$ (row), but in the array model, the proportion of students who answered the multiplication formula in the (row) ${\times}$ (column). From these results, we derived the appropriate model presentation method for multiplication instruction and the multiplication expression method for visual model.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.5
• /
• pp.1996-2001
• /
• 2012

Visual inspection systems are widely proposed for the well formed surface materials like electronics parts. But the materials with ill reflection ability have many troubles when visual inspection system is introduced. We have developed a robust visual inspection system that can work well in spite of low reflection ratio and with much noise when truth model is not known in the mixed production line. A workpiece identification technique using k-means has been proposed to identify the type. Based on the identified type, a robust-to-noise segmentation method, called active contour, has been applied to segment the features from the image. Finally, Kalman filter has been applied to adapt the error variation. Experiment shows that performance is about to match the accuracy of manual measurement using projectors.

• Journal of KIISE:Computing Practices and Letters
• /
• v.14 no.8
• /
• pp.818-822
• /
• 2008

The purpose of this study is to develop realistic painting simulation in real-time as well as to represent the thickness of the deposited paint on the surface. The Gaussian model is used for a painting deposition model to calculate the thickness of paints. For a painting simulation, rather than implementing particle systems, we propose a new heuristic algorithm for painting process based on a few number of rays. After we find the collision points of the rays with an environment, we compute the painted area using flood-fill searching method on the texture map and visualize paint effects. We analyzed time complexity of our method to verify that our system is suitable for real-time VR applications.

• Journal of the Korea Society of Computer and Information
• /
• v.18 no.1
• /
• pp.123-136
• /
• 2013

The Feature model can not be guaranteed the syntactic accuracy of its model and be difficult the validation using automatic tool for its syntax, because this model is expressed by a graphical and informal structure in itself. Therefore, there is a need to formalize and check for the feature model, to precisely define syntax for construct of the model. This paper presents a Z formal specification and a model checking mechanism of the feature model to guarantee the correctness of the model. It first defines the translation rules between feature model and Z, and then converts the syntax of the feature model into the Z schema specification by applying these rules. Finally, the Z schema specification is checked syntax, type, and domain errors using the Z/Eves validation tool to assure the correctness of its specification, With the use of the proposed method, we may express more precisely the construct of the feature model. Moreover the domain analyst are able to usefully verify the errors of the generated feature model.

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

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

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.15 no.1
• /
• pp.449-459
• /
• 2014

The proposed 2+1 view integrated metamodel defined formerly with a graphical class model can not be guaranteed the syntactic clarity and accuracy precisely for the metamodel due to the informal specification. This paper specifies the syntactic semantics formally for the 2+1 view integrated metamodel using Z and Object-Z and checks the accuracy of the metamodel with Z/Eves tool. The formal specification is expressed in Z and Object-Z schema separately for syntax and statics semantics of the 2+1 view integrated metamodel, which applying the converting rule between class model and Z/Object-Z. The accuracy of the Z specification for the metamodel is verified using Z/Eves tool, which can check the syntax, type, and domain of the Z specification. The transformation specification and checking of the 2+1 view integrated metamodel can help establish more accurate the syntactic semantics of its construct and check the accuracy of the metamodel.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10c
• /
• pp.535-537
• /
• 1998

본 논문에서는 이진화된 영상에서의 2차원 정보와 그레이 영상에서의 3차원 프로파일 정보를 이용하여 BGA의 불량 상태를 시각적으로 검사하는 시스템에 대해서 기술한다. BGA의 결함을 자동으로 판정하기 위해 사용된 알고리즘은 이진 영상에서의 특징점들과 그레이영상의 3차원 프로파일 정보를 이용한 모델 정합 기술을 이용한다. 두가지 단계를 분리 검사함으로써 생산라인에서 초기에 에러를 검출해낼 수 있는 잇점이 있다. 그러나 조명이 열악한 경우에는 에러 인식율이 낮아진다.

• Journal of The Korean Association For Science Education
• /
• v.36 no.4
• /
• pp.591-606
• /
• 2016

The purpose of this study is to develop the argumentation program to build scientific concepts on natural selection for science-gifted elementary students and to know how to implement this program. For this study, nine key concepts about natural selection such as the overproduction of offspring, limited resources, population stability, competition, variation, heredity of variation, differential survival, change of the population and speciation were selected through the literature study. The programs were developed by learning cycle instructional model. Argument writings and discourses have been collected, analyzed and compared before and after the program. Two questionnaires to compare pre and post concept change consist of multiple choice questionnaire and open-ended response question were developed and applied to 19 science-gifted elementary students. Sufficiency of the explanation and conceptual quality of the explanation were used to assess the quality of their arguments before and after the program. Discourse and visual models collected from the highest and lowest group about score improvement were compared. The scores of the gifted statistically improved significantly in multiple choice questionnaire. Students' alternative conceptions about natural selection at the beginning of the program decreased and changed scientifically after the program. Visual models drawn by the students supported the results as well. This study asserts that elementary science-gifted students are able to explain evolutionary perspectives about organism change and use the key concepts of natural selection. The study means that evolutionary perspective is possible to be reflected in elementary science curriculum for the gifted.

• Journal of Convergence for Information Technology
• /
• v.11 no.4
• /
• pp.146-152
• /
• 2021

This study aims to develop a protocol for the visualized memory training program using the picture book and evaluate its clinical utility. A total of 5 sessions were conducted for 5 elderly people with mild dementia. Rey-Kim II, GDS-Short, word test were conducted to observe its effectiveness before and after the program. As a results overall memory was improved but was not statistically significant. Overall depression was also improved and statistically significant. The effect of word memory varies depending on individuals' degenerative conditions. In conclusion, the visualized memory training program using the picture book is effective in improving the memory to some extent and had an emotional effect of reducing depression in mild dementia. In the future it is necessary to research its effects in larger population.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.418-420
• /
• 2002

980년대로부터 컴퓨터 그래픽스 분야에서 의상의 자연스러운 움직임을 생성하기 위한 연구가 계속되어 왔다. 유한요소 연속체 모델, 질량-스프링 모델과 같은 물리학적 모델이 등장하고, 수치적 적분법과 정확한 충돌 검사 및 반응처리를 접목하여 그럴듯한 옷감의 움직임을 얻을 수 있게 되었다. 그러나 이들 연구는 대개 표준적 모양 변형을 다루었기에, 두께, 질감, 빳빳한 정도 등 소재의 특성에 따른 차이를 묘사할 수 없었다. 본 논문에서는 의류학을 통해 연구되어온 직물들의 소재특성을 조사분석하고, 시뮬레이션 된 가상 옷감과 실제 옷감의 시각적 유사성 평가를 통한 직물들의 특성 파라미터 추출법을 제안하고 실험하였다. 그 결과 대표적인 옷감 종류에 따라 구별되는 애니메이션 패턴을 생성 할 수 있었다.