• 한국정보과학회논문지:소프트웨어및응용
• /
• 제34권8호
• /
• pp.743-751
• /
• 2007

하드웨어 검증에서 성공적으로 적용되었던 모델 검증 기법을 소프트웨어 검증에 활용하는 연구가 활발하다. 이러한 연구 중의 하나가 바운디드 모델 검증이다. 바운디드 모델 검증에서는 모델이 갖는 상태 공간을 한꺼번에 모두 탐색하기보다는 모델의 탐색 범위를 점진적으로 넓혀가면서 에러를 찾는다. 본 논문에서는 이러한 바운디드 모델 검증을 이용하여 BOGOR의 입력 언어인 BIR를 검증하였다. 그 결과 BOGOR에서 제공되는 명시적 모델 검증 기능 보다 우수한 성능을 보였다. 본 논문에서는 BIR 언어를 CNF 논리식으로 변환하는 방법과 단계적 절차를 기술한다.

• 재활치료과학
• /
• 제8권4호
• /
• pp.77-92
• /
• 2019

목적 : 본 연구의 목적은 낙상 위험 주거환경 평가인 HOME FAST의 국내사용을 위해 체계적인 절차를 통해 한국어로 번안하여 내용이해도 및 신뢰도를 검증하고자 하였다. 연구 방법 : 한글로 번역된 HOME FAST의 내용이해도를 알아보기 위해 작업치료사 총 21명에게 한글번역본의 이해도 평가하게 하였다. 이후 한글번역본을 역번역 하여 원문과 비교하고 문장구조 및 의미 유사성을 평가하였다. 아울러 신뢰도 검증을 위해 지역사회에 거주하고 있는 낙상 고위험군 노인 75명을 대상으로 평가를 진행하고 내적 일치도를 검증하였다. 그중 9명의 대상자의 경우 2명의 작업치료사가 방문하여 각각 평가한 뒤 검사자 간 신뢰도를 검증하였다. 결과 : 작업치료사를 대상으로 한 내용이해도 검증 결과에서 11개 문장이 이해도가 떨어지는 것으로 나타났다. 이해도 검증 결과의 의견을 바탕으로 검증위원회를 통해 구문을 수정하고 한글번역본을 완성하였다. 한글판을 역번역하여 유사성 검증을 한 결과 문장구조에서는 3문항이 유사하지 않음으로 평가되었고, 의미적 측면에서는 총 6문항이 유사하지 않음으로 평가되었다. 최종적으로 반복적 역번역 과정을 통해 한글판 HOME FAST의 내용 타당도를 확보하였다. 한글번역본의 내적일치도는 .62(p<.01)로 나타났고, 검사자 간의 신뢰도는 .97 (p<.01)로 매우 높은 것으로 나타났다. 결론 : 본 연구는 체계적 번역-역번역 과정을 통해 HOME FAST를 한국어로 번역하였다. 아울러 한글판의 내용이해도를 검증하였고, 내적일치도 및 검사자간 신뢰도 검증을 통해 신뢰도를 입증하였다.

• 한국과학교육학회지
• /
• 제34권8호
• /
• pp.745-754
• /
• 2014

본 연구의 목적은 한국 중학생들이 과학을 학습하는 과정에서 경험하는 성취정서를 측정하기 위한 질문지를 개발하고 그 타당성을 검증하는 것이다. 본 연구에서 개발한 한국 중학생의 과학영역 성취정서 질문지는 영어판 성취정서 질문지를 바탕으로 중학교 교과 운영 특성 및 과학 학습의 특징을 반영하여 개발되었다. 총 232문항으로 3가지 학업상황에서 9개의 과학 영역 성취정서를 측정하도록 구성되어 있으면 통제-가치 이론에 근거를 두고 있다. 검증 결과, 높은 신뢰도를 보였으며, 성취정서의 4가지 구성요인 체계를 확인하기 위한 확인적 요인분석(CFA) 결과, 질문지의 각 문항이 성취정서의 구성 요인을 대표하는 지표로서 적절히 구성되어 있었으며 구조적으로 타당하였다. 또한 질문지를 통하여 측정되는 성취정서들 사이의 상관관계를 분석한 결과, 같은 상황에서 경험하는 각각의 정서 및 서로 다른 상황에서 경험하는 동일한 정서가 서로 적절히 변별 되었다. 성취정서와 학업상황 사이의 잠재적 관계에 대한 확인적 요인 분석 결과에서도 질문지의 내적 구조와 동일하게 3가지 학업상황 및 9가지 성취정서가 잠재변수로서 작용하고 있음을 확인하였다. 외적 타당도 검증은 통제-가치 평가, 학습 전략, 성취동기, 과학 성적 등을 준거 변인으로 하여 실시하였으며 검증 결과, 충분한 외적 타당도를 가지고 있는 것으로 나타났다. 본 연구 결과는 정량적으로 분석할 수 있는 질문지의 개발을 통해 중학교 과학 교과에서 학생들이 경험하는 성취정서를 이해하는 기본 발판이 마련되었음을 시사한다.

• 한국과학교육학회지
• /
• 제28권2호
• /
• pp.139-149
• /
• 2008

본 연구에서는 과학 영재 학생들의 과학적 문제발견 능력을 측정하기 위해 타당도와 신뢰도가 높은 검사 도구를 개발하였다. 먼저, 과학적 문제발견 능력에 대한 조작적 정의를 바탕으로 5개의 하위 평가 요소(적절성, 융통성, 독창성, 정교성, 가치 판단)를 선정하였으며 평가 기준을 구안하였다. 개발된 검사 도구는 내용 및 평가 기준에 대해 과학교육 전문가의 타당도 검증을 거친 후 과학 고등학교 학생들에게 투입되었으며, 채점 결과를 바탕으로 구인 타당도를 검증받았다. 또한 채점자간 신뢰도는 대체로 높게 나타났으며, 문항 난이도 와 변별도 역시 적절한 것으로 나타났다. 앞으로 과학적 문제발견 능력에 대한 합의된 정의를 도출해내어야 하며 평가의 객관성을 확보하기 위한 더 나은 방안을 강구해야 한다.

• EDISON SW 활용 경진대회 논문집
• /
• 제6회(2017년)
• /
• pp.236-240
• /
• 2017

다양한 분야에서 복합재료의 중요성이 강조되면서 각각의 재료 특성에 따른 물성을 미시역학적으로 구하는 것에 대한 다양한 방법이 제시되고 있다. 본 논문에서는 5개의 혼합 법칙을 선정하여 전산구조해석을 통한 유한요소해석을 비교 검증한다. 그 과정에서 산출된 결과를 통하여 복합재료의 탄성거동의 오차가 1% 미만인 것을 확인하였고, 프로그램의 해석이 적절하다는 것을 검증하였다. 또한 프로그램과 가장 유사한 혼합 법칙이 무엇인지 확인하고, 체적 비에 따른 오차를 비교하여 가장 적합한 체적 비를 선정하였다.

• 컴퓨터교육학회논문지
• /
• 제17권3호
• /
• pp.25-39
• /
• 2014

지금까지 개발된 기존의 정보과학영재 교육과정은 교육목표 설정이 추상적이며 일선 현장에서 직접적으로 활용하기 어려운 상황이다. 특히 2005년 한국교육개발원의 정보과학영재 교육과정과 이후 관련 연구에서도 정보과학영재 대한 합의된 정의도 없고, 교육목표의 현실성과 구체성이 미흡한 상태이다. 또한 정보과학영재 교육과정이 정보과학영재 교육 기관별로 매우 상이하며, 정보과학영재 교육과정에 상당한 차이가 있다. 이에 본 논문에서는 기존의 정보과학영재 연구를 바탕으로 정보과학영재를 다시 정의하고, 제안된 정의를 기초로 합당한 정보과학영재 교육목표 7가지를 제시한다. 또한 7가지 교육목표에 따른 교육영역 및 세부적인 교육내용을 포함하는 창의적 정보과학영재 양성을 위한 교육과정을 제안한다. 끝으로 제안된 정보과학영재 정의와, 정보과학영재 교육목표와 교육과정에 대해 SPSS 18.0과 AMOS 21을 이용하여 신뢰성 검증과 구인 타당도 검증 작업을 실시하여 제안 내용의 타당성을 입증하였다.

• 한국과학교육학회지
• /
• 제32권2호
• /
• pp.210-235
• /
• 2012

본 연구에서는 중학생들의 과학 창의적 문제 해결능력을 측정하기 위해 타당도와 신뢰도가 높은 검사도구를 개발하였다. 먼저 과학 창의적 문제 해결 능력에 대한 조작적 정의를 바탕으로 3차원 평가 틀(과학내용, 과학 탐구 기능, 사고력)을 개발하였으며, 이 평가 틀에 맞추어 평가 문항을 개발하였다. 현장 과학 교사들의 검토를 거쳐 예비 검사에 투입할 3과제로 구성된 4개 문항을 확정하였고, 예비 검사 결과를 바탕으로 각 문항의 구체적인 채점 기준과 배점을 결정하였다. 완성된 최종 검사 도구는 내용 및 평가 기준에 대한 과학 교육 전문가와 현장 교사들의 타당도 검증을 거친 후 중학교 1, 2, 3학년 320명에게 투입되었으며, 채점 결과를 바탕으로 채점자간 신뢰도를 검증받았다. 채점 결과 문항 난이도와 변별도 역시 적절한 것으로 나타났다. 앞으로 본 연구에서 개발한 평가 틀과 평가 기준을 활용하여 다양한 학교 급에 적용할 수 있는 다양한 수준의 과학 창의적 문제 해결 능력 평가도구의 개발이 지속적으로 이루어져야 할 것이다.

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2009년도 한국우주과학회보 제18권2호
• /
• pp.27.4-27.4
• /
• 2009

이 논문에서는 100~200kg 급의 첨단 소형위성의 기계시스템 개념설계에 대하여 기술한다. 첨단 소형위성의 개발은 국가우주기술 축적을 목적으로 하고 세부적으로는 실용 및 과학위성에 적용하기 힘든 신기술 검증 및 국내 기술자립도 향상을 목적으로 한다. 이를 위하여 다수의 후보 임무 및 검증 목적 기술을 선정하고 각각에 대하여 기계시스템 측면에서 수용가능성에 대하여 개념설계를 수행한다. 이를 통하여 위성 기계시스템의 주요 규격을 설정한다. 기계시스템의 측면에서 세부적으로 검증하고자 하는 기술은 구조체의 경량화, 신소재 및 다기능 구조체 적용, 장비 배치 집적화, 대형 탑재체 탑재기술, 충격 및 진동 저감 구조, 능동형 및 팽창형 전개장치 개발 등이 해당한다. 이 논문에서의 이러한 다양한 기술을 수용할 수 있는 기계시스템에 대한 개념설계 결과를 보여준다.

• 한국과학교육학회지
• /
• 제23권2호
• /
• pp.200-213
• /
• 2003

가설의 생성과정과 검증과정에 대한 연구는 가설의 생성과정, 가설을 검증하기 위한 실험설계과정, 실제 실험수행과정, 실험결과에 따른 가설의 평가과정 등으로 세분화할 수 있다. 본 연구는 이러한 연구들 중에서 가설을 검증하기 위한 실험설계과정에 대한 연구이다. 이를 위해, 본 연구에서는 제안된 가설을 검증하기 위해 학생들이 제안한 실험설계 내용을 분석하였다. 분석 결과, (1) 실험설계를 위해서 실험방법, 실험결과의 예측, 예측된 결과에 의한 가설평가의 3요소가 필요함을 알 수 있었다. (2) 학생들은 옳다고 생각하는 가설과 틀리다고 생각하는 가설에 대해서 모두 검증하려는 경향을 보였다. (3) 간혹, 옳다고 생각되는 가설에 대해서는 실험적 검증이 아닌 이론적 검증을 하려는 경우도 관촬되었다. (4) 학생들이 제안한 실험설계의 유형은 직접실험과 비교실험으로 나눌 수 있었고, 비교실험은 긍정비교실험과 부정비교 실험으로 나눌 수 있었다. (5) 학생들은 옳다고 생각하는 가설에 대해서는 긍정비교실험설계를, 틀리다고 생각하는 가설에 대해서는 부정비교실험설계를 선호하는 것으로 나타났다. (6) 학생들은 옳다고 생각하는 가설에 대해서는 실험설계를 하면서 가설을 지지하는 결과만을 예측하였고, 틀리다고 생각하는 가설에 대해서는 실험설계를 하면서 가설을 반증하는 결과만을 예측하였다. (7) 이러한 편향된 예측과 반대되는 예측을 하도록 강요하여도 이를 거부하는 경우가 많았다. 따라서, 자신의 예측과 반대되는 결과에 대한 거부반응은 실험결과의 해석에서 뿐 아니라 실험설계 단계부터 있을 수 있음을 알 수 있었다.

• 한국항행학회논문지
• /
• 제27권6호
• /
• pp.788-797
• /
• 2023

본 논문은 수직 이착륙 무인 항공시스템의 GPS (global positioning system) 불가 시 대체 항법 시스템으로의 영상보정항법 시스템을 시험하기 위한 검증환경 개발 내용을 소개한다. 개발 중인 영상보정항법 시스템의 시험 및 평가를 위해서는 가상 환경을 활용하는 것이 효율적이지만, 현재 국내에는 적합한 장비가 개발되어 있지 않다. 따라서 제안된 검증환경은 시험 대상 장비의 운용 환경을 모델링 및 시뮬레이션 하여 입력 신호를 생성하고, 출력 신호를 관측함으로써 대상 장비의 성능을 평가할 수 있도록 개발되었다. 연구 과정은 검증환경 요구도 생성, 검증환경 설계에서부터 구성품별 하드웨어 및 소프트웨어 설계, 제작까지 포괄적으로 기술되었다. 이를 바탕으로 제작된 검증환경을 개발 중인 영상기반 보정항법 알고리즘의 성능평가와 시뮬레이션 기반의 사전 비행시험 수행에 활용하였다.