• 한국수학교육학회지시리즈C:초등수학교육
• /
• 제22권1호
• /
• pp.65-82
• /
• 2019

본 연구는 시각적 모델에 따른 학생들의 곱셈식 표현 방법을 지필 검사 및 시선추적 검사를 통해 분석하였다. 지필검사 결과 학생들은 곱셈식으로 제시하는데 있어 묶음 모델에서는 (묶음 내 낱개의 수)${\times}$(묶음의 수), 배열모델에서는 (가로)${\times}$(세로)로 답하는 비율이 높았으나, 배열모델에서는 모양에 따라 (세로)${\times}$(가로)로 답하는 비율이 높은 경우도 있었다. 이러한 결과를 통해 곱셈 지도 시 적절한 모델 제시 방법과 시각적 모델에 대한 곱셈식 표현 방법에 대한 논점을 도출하였다.

• 한국산학기술학회논문지
• /
• 제13권5호
• /
• pp.1996-2001
• /
• 2012

본 시각 검사시스템은 전자 부품과 같이 잘 형성된 표면 재료에 널리 사용되고 있다. 반사 능력이 나쁜 재료의 경우, 시각 검사시스템이 도입될 때 많은 문제점이 발생한다. 혼합 생산 라인에서 진위의 모델을 알 수 없을 때 저 반사비와 많은 노이즈에도 잘 작동할, 강인한 시각 검사시스템을 개발하였다. 유형을 인식하기 위하여 k-means를 이용한 작업물 인식 기법이 제안되었다. 인식 유형에 기반하여 active contour라는 노이즈에 강인한 분할 기법이 영상에서 특징을 분할하는데 응용되었다. 오차 변화를 조정하는데 Kalman 필터가 사용되었다. 자동시각 검사시스템의 실험은 프로젝터를 이용한 수작업 측정의 정확도 수준을 보여준다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제14권8호
• /
• pp.818-822
• /
• 2008

본 논문에서는 가상환경에서 페인트를 분사하여 시간으로 물체를 도색 하는 시뮬레이션을 위한 충돌처리 및 시각화 알고리즘을 제시한다. 이를 통하여 물체에 페인트가 뿌려지면서 도색 되는 모습을 사실적으로 표현해 줄뿐만 아니라, 페인트 누적 모델을 이용하여 물체에 누적된 페인트의 두께 정보까지 시뮬레이션 하여 시각화함으로써 가상훈련 시스템에 적용할 수 있도록 한다. 분사되는 유체시뮬레이션을 위해서 기존에는 파티클 시스템이 이용되고 있으나 실시간으로 도색이 되는 과정을 시각화하기 위해서는 수백만 개의 파티클에 대하여 충돌 검사를 수행해야 하기 때문에 적절하지 않다. 따라서 본 연구에서는 소수의 레이와 텍스처 기법을 이용하여 효율적으로 충돌 검사를 수행하는 알고리즘을 제안하고 이를 구현하였으며 실시간 페인트 시뮬레이션 구현 결과와 수행 시간 분석을 통하여 알고리즘의 효율성을 검증하였다.

• 한국컴퓨터정보학회논문지
• /
• 제18권1호
• /
• pp.123-136
• /
• 2013

시각적이고 비정형적인 구조로 표현된 휘처 모델(Feature model)은 구문적 명확성을 보장할 수 없고, 자동화 툴(tool)에 의한 구문(syntax)의 검증이 어렵다. 따라서, 휘처 모델이 가진 구조물의 구문적 명확성을 입증하기 위한 정형적 명세와 모델 검사(model checking)가 필요하다. 본 논문은 Z 언어를 이용한 휘처 모델의 정형적 명세와 모델 검사를 통해서, 휘처 모델의 정확성을 검사하는 기법을 제시한다. 이를 위해, 휘처 모델과 Z간 변환 규칙을 정의하고, 이 규칙에 의거하여 휘처 모델의 구문에 대해 Z 스키마(schema)로 명세한다. 모델 검사는 Z 스키마 명세에 대해 Z/Eves 툴을 사용하여 구문, 타입 검사(type checking), 그리고 도메인 검사(domain checking)를 수행하여 모델의 모호성을 검사한다. 이로서, 휘처 모델의 구조물을 좀더 명확하게 표현할 수 있으며, 설계된 모델의 오류를 검사할 수 있다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2021년도 제64차 하계학술대회논문집 29권2호
• /
• pp.53-56
• /
• 2021

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

• 한국산학기술학회논문지
• /
• 제15권1호
• /
• pp.449-459
• /
• 2014

시각적인 클래스 모델로 기 제시된 2+1 View 통합 메타모델은 비정형적인 명세에 기인하여 명확하게 모델의 구문을 표현하지 못하고 있으며, 또한 그 모델의 정확성을 보장할 수 없다. 본 논문은 Z와 Object-Z를 사용해서 2+1 View 통합 메타모델의 구문적 의미를 정형적으로 명세하고, Z/Eves 툴을 통해 메타모델의 정확성을 검사하는 것이다. 정형 명세는 클래스 모델과 Z/Object-Z간의 변환규칙을 적용해서 2+1 View 통합 메타모델의 구문과 정적 시멘틱에 대해 Z와 Object-Z 스키마로 각각 표현한다. 메타모델의 검사는 Z 스키마 명세에 대해 Z/Eves 도구를 사용하여 구문, 타입 검사 그리고 도메인 검사를 수행하여 메타모델의 정확성을 입증한다. 이로서, 2+1 View 통합 메타모델 메타모델의 Z/Object-Z 변환을 통해 구조물의 구문적 의미를 명확하게 표현할 수 있으며, 또한 그 메타모델의 정확성을 검사할 수 있다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (2)
• /
• pp.535-537
• /
• 1998

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

• 한국과학교육학회지
• /
• 제36권4호
• /
• pp.591-606
• /
• 2016

이 연구는 초등 과학영재 학생들이 자연선택 개념에 대하여 과학적 개념을 형성하기 위한 논변활동 프로그램을 개발하고 그 효과를 알아보고자 수행했다. 이를 위해 자연선택 핵심 개념을 과잉생산, 제한된 자원, 개체군 안정, 경쟁, 변이, 변이의 유전, 차등적 생존, 개체군 변화, 종 분화의 9가지 개념을 선정하여 각각의 개념을 형성할 수 있는 프로그램을 개발하였다. 초등학교 6학년 학생이 이해할 수 있는 용어로 변경한 선다형 자연선택 검사지와 개방형 검사지를 활용하여 프로그램 투입 전 후 개념 변화를 확인하였다. 개발된 프로그램은 초등 과학영재 6학년 19명 학생에게 투입하였다. 소집단 논변활동 전 후 논변 글쓰기는 설명의 충분성과 설명의 개념적인 질 범주로 구분하여 채점하였다. 논변 글쓰기 점수 향상이 큰 소집단과 적은 소집단의 시각적 모델 및 담화를 분석하였다. 연구 결과 선다형 자연 선택 검사지에서 19명 학생 모두 점수가 유의미하게 향상되었고 개방형 검사지에서도 자연 선택 핵심 개념은 증가하고 대안 개념은 줄어 들어 개발된 논변활동 프로그램은 초등 과학영재 학생들의 자연선택 개념 향상에 효과적이었음을 알았다. 논변 글쓰기 점수 향상이 큰 소집단에서는 반대 담화 및 엄격한 기준이 활용되어 논변에 대한 평가 및 수정이 이루어져 논변의 질을 향상 시킨 반면 논변 글쓰기 점수 향상이 적은 소집단에서는 반대 담화 비율이 낮고 엄격한 기준 보다 비형식적 기준이 더 많이 활용되었다. 또한 논변 글쓰기 점수 향상이 큰 소집단에서는 자료 분석에 많은 담화가 이루어 졌고 소집단 시각적 모델이 소집단 구성원들에 의해 공동 구성되어 소집단 간 토론에 활용되었고 다른 소집단에 의해 평가 및 수정이 이루어졌다. 반면, 논변 글쓰기 점수 향상이 적은 소집단에서는 특정 소집단 구성원의 시각적 모델이 소집단의 시각적 모델로 선택되었고 모델을 평가하고 선택하는 과정에 대한 담화가 이루어지지 않았다. 이러한 소집단에서는 소집단 구성원들의 시각적 모델에 대한 이해가 낮았고 소집단 간 토론에 활용이 되지 못하여 평가 및 수정이 이루어지지 않았다. 이 연구를 통해 초등 과학영재 학생들이 생명 현상에 대해 자연선택 핵심 개념을 활용한 진화적 설명이 가능한 것을 확인하였으므로 초등학교 교육과정내 진화적 관점을 반영시킬 수 있는 가능성을 엿보았다.

• 융합정보논문지
• /
• 제11권4호
• /
• pp.146-152
• /
• 2021

본 연구는 그림책을 활용한 시각화 기억훈련 프로그램의 프로토콜을 개발하고 임상에 적용하기 위하여 유용성을 확인하고자 한다. 경도치매 환자 5명을 대상으로 총 5회기의 시각화 기억훈련 프로그램을 진행하였다. 프로그램 진행 전후 단어 기억력, 전반적 기억력검사, 및 우울감검사를 시행하여 그 변화를 관찰하였다. 그 결과 프로그램 시행 후 전반적 기억력의 향상이 있었으나 통계적으로 유의하지 않았다. 반면 우울감에는 통계적으로 유의미한 긍정적인 효과가 있는 것으로 나타났다. 단어 기억력에 있어 일부 대상자는 인출 및 재인의 향상을 보였고 일부 대상자는 변화가 없거나 더 나빠진 것으로 나타났다. 본 프로그램은 일부 경도치매 환자의 기억력 향상에 도움이 되며 우울감이 감소하는 정서적 효과가 있는 것으로 판단된다. 향후 그룹 인지치료 모델로 널리 활용되길 바라며 더 많은 대상자 수의 연구가 필요할 것으로 사료된다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.418-420
• /
• 2002

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