• Proceedings of the Korean Society of Computer Information Conference
• /
• 2017.07a
• /
• pp.380-383
• /
• 2017

과학에서 사용하는 모델은 자연 그 자체가 아니면 자연을 단순화하여 표현한 표상이다. 그렇기 때문에 각 모델은 자연을 표상하기 위한 특정한 알고리즘을 갖는다. 그러므로 과학 모델에 대한 이해는 자연을 표상하기 위한 특정한 알고리즘이 무엇인지에 대한 이해가 필수적이다. 이러한 특정한 알고리즘에 대한 이해와 이를 바탕으로 한 다른 현상의 예측과 설명을 위한 도구로 본 논문은 스크래치를 활용하였다. 또한 과학의 모델에 대한 이해의 소재로 대학생뿐만 아니라 많은 과학교사 조차도 대안개념에 머물러 있는 뜨거나 가라앉는 현상을 선정하였다. 연구대상은 K대학원 교육대학원 멀티미디어와 과학교육을 수강한 17명의 과학교사이며, 스크래치를 통해 기본 알고리즘 3시간, 응용 알고리즘 3시간을 투입하였다. 모델에 대한 이해를 위해 뜨거나 가라 앉는 현상에 때한 LP설문지를 사전, 사후검사에 실시하였다. 1차적으로 양적변화를 통해 이 현상에 대한 개념의 수준의 변화를 알아보았으며, 2차적으로 인터뷰와 자기보고식 설문지를 이용하여 모델에 대한 이해를 질적으로 분석하였다. 연구결과 과학교사들은 현상에 대한 개념에 대한 수준이 상승하였으며, 질적자료 분석 결과, 모델에 대한 깊은 이해(depth)와 전이능력(transfer)이 증가하였다. 이는 스크래치를 통해 과학 모델의 이해를 높일 수 있음을 시사한다.

• Journal of Gifted/Talented Education
• /
• v.18 no.3
• /
• pp.371-400
• /
• 2008

The purposes of this study were to develop and validate Korean MHBT for identification of giftedness. MHBT in this study consists of KFT-HB and MHBT-5. MHBT-S was composed of 1) space presentation and thinking ability, space perception,. physics/technic tasks 2) affective domain; creativity, achievement motivation, desire of knowledge, social competence questionnaire 3) performance attitude questionnaire 4) interest questionnaire. The subject were 489 middle school students (1 or 2grade) in the education centers for gifted youth and general classes. Except a few subscales, internal consistent reliability was considered good. Korean MHBT discriminated well gifted students from general students in KFT-HB and some subtests of MHBT-5. As results, Korean MHBT in this study was expected to be a reliable and valid instrument for identification of korean gifted students.

• Journal of The Korean Association For Science Education
• /
• v.33 no.7
• /
• pp.1367-1384
• /
• 2013

The purpose of this study was to develop a Science Academic Emotion Scale for Elementary Students. To make a scale, authors extract a core of 14 emotions related to science learning situations from Kim & Kim (2013) and literature review. Items on the scale consisted of 14 emotions and science learning situations. The first preliminary scale had 174 items on it. The number of 174 items was reduced and elaborated on by three science educators. Authors verified the scale using exploratory factor analysis, confirmatory factor analysis, inter-item consistency and concurrent validity. The second preliminary scale consisted of 141 items. The preliminary scale was reduced to seven factors and 56 items by applying exploratory factor analysis twice. The seven factors include: enjoyment contentment interest, boredom, shame, discontent, anger, anxiety, and laziness. The 56 items were elaborated on by five science educators. The scale with 56 items was fixed with seven factors and 35 items to get the final scale by applying confirmatory factor analysis twice. Except for Chi-square and GFI (Goodness of Fit Index), other various goodness of fit characteristics of the seven factors and 35 items model showed good estimated figures. The Cronbach of the scale was 0.85. The Cronbach of seven factors are 0.95 in enjoyment contentment interest, 0.81 in boredom, 0.87 in shame, 0.82 in discontent, 0.87 in anger, 0.77 in anxiety, 0.81 in laziness. The correlation coefficient was 0.59 in enjoyment contentment interest, 0.54 in anxiety, 0.42 in shame, and 0.28 in boredom, which were estimated using the Science Academic Emotion Scale and National Assessment System of Science-Related Affective Domain (Kim et al., 1998). Based on the results, authors judged that the Science Academic Emotion Scale for Elementary Students achieved an acceptable validity and reliability.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04b
• /
• pp.1009-1012
• /
• 2001

일반적으로 크고 복잡한 소프트웨어 시스템은 커다란 다이아그램의 집합으로 구성되지만 이들 각각의 다이아그램들이 일관성이 있고 완전한가를 알기는 매우 어렵다. 이러한 문제를 해결하기 위하여 [1]에서는 최근 객체지향 개발에서 많이 사용되고 있는 UML 다이아그램들에 대한 일관성과 완전성을 검사하기 위하여 각 다이아그램들을 ER 모델로 표현하고, 각 다이아그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하였다. 이렇게 통합된 다이아그램은 일편의 집합과 함수들을 사용하여 정형적으로 명세되며, 이러한 정형 명세를 기반으로하여 일관성과 완전성 검사를 수행하기 위한 규칙을 제공하였다. 그러나 [1]에서 정형적으로 명세된 집합과 함수를 실제로 사용하기 위해서는 우리가 알고있는 정형 명세 언어로 변환할 필요성이 있다. 따라서 본 논문에서는 이러한 집합을 추상자료형으로 명세하여 정의하고, 추상자료형으로 표현된 명세를 우리가 잘 알고 있는 Z 명세로 변환하여 검증 도구를 설계하는 기초로 사용하고자 한다. Z 명세는 쉽게 실행가능한 형태로 변환되어 검증 시스템을 구축할 수 있게 된다.

• KIPS Transactions on Software and Data Engineering
• /
• v.12 no.6
• /
• pp.243-250
• /
• 2023

Chest X-ray is radiological examination for xeamining the lungs and haert, and is particularly widely used for diagnosing lung disease. Since the quality of these chest X-rays can affect the doctor's diagnosis, the process of evaluating the quality must necessarily go through. This process can involve the subjectivity of radiologists and is manual, so it takes a lot of time and csot. Therefore, in this paper, based on the chest X-ray quality assessment guidelines used in clinical settings, we propose a tool that automates the five quality assessments of artificial shadow, coverage, patient posture, inspiratory level, and permeability. The proposed tool reduces the time and cost required for quality judgment, and can be further utilized in the pre-processing process of selecting high-quality learning data for the development of a learning model for diagnosing chest lesions.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2022.07a
• /
• pp.45-48
• /
• 2022

건축물 안전 점검은 대부분 전문가의 현장 방문을 통한 육안검사다. 그중 균열 검사는 건물 위험도를 나타내는 중요한 지표로써 발생 위치, 진행성, 크기를 조사하는데, 최근 균열 조사 방식에 대해 객관성과 체계성을 보완할 딥러닝 개발이 활발하다. 그러나 균열 이미지는 외부 현장에 모양, 규모도 많은 종류라 도메인이 다양해야 하는데 대부분 제한된 환경과 실제적인 균열 검사와는 무관한 데이터로 구성되어 실효적이지 않다. 본 연구에서는 균열 조사에 적합하고 Wild 환경에 적용 가능한 POC 데이터셋을 소개한다. 기존 균열 공인 데이터셋 4종의 특징과 한계점을 분석을 토대로 고해상도 이미지로써 균열의 세부 특징을 담았고 균열 유사 환경과 조건들을 추가 촬영해 균열 검출에 강인하게 학습되도록 지향하였다. 정제 및 라벨링 작업을 거친 POC 데이터 셋은 균열 검출모델인 YOLO-v5으로 성능을 실험하였고, mAP(mean Average Precision) 75.5%로 높은 검출률을 보였다. POC 데이터셋으로 더욱 도메인에 적응적(Domain-adapted)인 인공지능 모델을 개발하여 건물, 댐, 교량 등 각종 대형 건축물에 대한 안전하고 효과적인 안전 관리 도구로써 활용할 것을 기대한다.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.6
• /
• pp.2452-2457
• /
• 2012

When a quality inspection process rejects a product unit, consecutive repeated inspections are sometimes conducted for the rejected unit to reduce a false reject possibility. This paper analyzes a special inspection process that allows up to two times of consecutive testing for each product to decrease type I inspection errors. This study uses a Markov chain to model the steps of the inspection process and a product unit's quality states during inspection. Historical inspection results from a company are used as the data for the Markov chain model. Using the Markov chain model and data, this study analyzes the effect of this special inspection rule on the proportion of the final quality levels and scrap rate. The results demonstrate that this inspection process of possible double testing could help reduce unnecessary rejects and consequently decrease material and production costs.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11c
• /
• pp.1999-2002
• /
• 2002

임베디드 소프트웨어의 품질시험을 통해 임베디드 시스템 구매자들의 요구에 부합되는 고품질의 시스템을 구현할 수 있도록 지원할 수 있다. 지금까지 일반적인 SI 소프트웨어에 대한 품질평가 방법론이나 평가 기법, 평가 도구 등이 개발된 사례가 있으나 임베디드 소프트웨어의 경우에는 아직까지 국내에서 활용할 수 있는 구체적인 체계가 구축되어 있지 않은 실정이다. 최근 다양한 임베디드 시스템들이 출시되어 소비자의 선택을 기다리고 있으나 품질면에서 많은 문제점들이 노출되고 있다. 본 연구에서는 임베디드 소프트웨어 평가를 위해 ISO/IEC 12119를 근간으로 하여 평가를 수행한 수 있는 평가모델과 품질검사표를 개발하여 임베디드 소프트웨어 평가에 적용할 수 있도록 하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2019.05a
• /
• pp.566-567
• /
• 2019

영상으로 콘텐츠를 개발하는 사람들을 '크리에이터'라 칭한다. 이들이 사람들에게 재미를 주고 이목을 끌기 위해 표준어 이외에 다양한 유행어와 신조어들을 만들어내며 이들을 영상뿐만 아니라 자막으로 활용하게 된다. 이러한 자막이 있는 영상 제작시 대본을 제작하는데 있어 자유도가 높은 크리에이터들의 특징상 맞춤법 오류 및 오타의 문제가 생긴다. 하지만 영상제작 도구에는 맞춤법 검사 기능이 없어 검사를 미리 하기에는 어려운 점이 있다. 우리는 이 문제점을 해결하기 위해 영상을 완성 하고 최종 검토를 할 때 맞춤법 검사를 하기 쉽도록 프로그램을 개발한다. OpenCV를 통해 영상의 자막을 글자로써 인식을 하고, fastText 모델을 통해 인식된 글자가 맞춤법에 맞는지 크리에이터에게 제안해주는 맞춤형 프로그램을 개발하고자 한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2021.06a
• /
• pp.475-475
• /
• 2021

전 세계적으로 기후변화에 따른 예측하기 어려운 국지성호우의 발생빈도가 증가하고 있으며, 수반되는 돌발홍수를 사전에 대비하기 위해 하천운영의 중요성이 강조되고 있다. 일반적인 하천 시설물 점검 및 보수 계획 수립 시, 시설물의 중요도나 하천의 현황 보다는 행정적인 편의성을 고려하여 구간에 따른 육안 점검 등을 통해 일률적으로 수행되고 있다. 그러나 현재 우리나라의 하천 시설물 중 약 40% 이상이 준공연수가 30년을 초과한 것으로 파악되고 있으며, 노후화된 하천 시설물의 정확한 상태평가에 따른 보수보강 계획수립이 필요한 실정이다. 이를 위해서는 하천 시설물 관리에 있어 다양한 문제점과 관련된 자료를 수집하여 DB화하고, 모델링 및 정밀검사 등을 통해 다양한 각도에서 분석되어야 한다. 본 연구에서는 시설물통합정보관리시스템(Facilty Management System; FMS)에서 제공하는 하천 시설물 관리대장 중 테스트베드에 위치한 수문의 개별부재에 대한 상태 평가지수를 활용하여 시설물의 생애주기를 통합적으로 고려할 수 있는 성능평가모델을 제안하였다. 본 연구에서 제안된 성능평가모델은 하천 시설물의 합리적인 관리체계를 통해 분석된 결과로부터 시설관리자가 하천 관리 및 계획수립에 있어 의사결정을 할 수 있도록 정보를 제공하는 지원 도구로 활용 가능할 것으로 판단된다.