• 제목/요약/키워드: 모델 검사

검색결과 1,156건 처리시간 0.03초

겉넓이 학습을 위한 수학적 모델링에서 나타난 추상화 과정 및 겉넓이 이해에 관한 연구 (A Study on Abstraction and Understandings in Children's Learning of Surface Area with Mathematical Modeling Perspective)

  • 홍지연;김민경
    • 한국학교수학회논문집
    • /
    • 제14권1호
    • /
    • pp.43-64
    • /
    • 2011
  • 본 연구의 목적은 초등학교 6학년 아동을 대상으로 하여 수학적 모델링을 적용한 입체도형의 겉넓이 수업에서 학습이 이루어지는 동안 나타나는 학생들의 추상화 과정을 분석하고 학습에 대한 사전 사후의 겉넓이 이해 검사 결과를 비교함으로써 겉넓이에 대한 이해 정도를 알아보고자 함이다. 학생들의 추상화 과정을 분석한 결과 학생들은 주어진 수학적 모델링 과제를 해결하는 동안 수학적 원리를 포함한 모델을 개발하면서 모둠별로 각기 다른 수준의 추상화 과정을 나타냈으며, 겉넓이 이해 검사 결과 사후 검사에서 학생들의 겉넓이에 대한 이해가 향상되었다.

  • PDF

UML 다이아그램의 일관성 및 완전성 검증 규칙 (The Rules for Verifying Completeness and Consistency of the Unified Modeling Language Diagrams)

  • 김재웅;김진수;황선명
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
    • /
    • pp.525-527
    • /
    • 2000
  • 본 논문에서는 최근 객체지향 설계에 많이 사용되고 있는 UML 다이아그램들의 일관성과 완전성을 해결하기 위하여 UML 의 각 다이아그램을 ER 모델로 표현하고, 각 다이아 그램에 대한 공통된 표현으로 통합된 ER 다이아그램을 제공하며 일련의 집합과 함수들을 사용하여 정형적으로 명세한 다음 이러한 정형 명세를 기반으로하여 일관성을 완전성 검사를 수행하기 위한 규칙을 제공한다. 이 규칙은 다이아그램의 구문(syntax)과 의미(semantic)에 대하여 모두 검사할 수 있게 하기 위하여 구문 완전성, 구문 일관성, 의미 완전성, 의미 일관성으로 나누어 생성한다. 이렇게 생성된 규칙들은 추후 CASE 도구에 포함되어 다이아그래밍의 일관성 및 완전성을 검사할 수 있는 CASE 도구로 발전할 수 있게 된다.

  • PDF

광열편향법을 이용한 열확산계수 결정에 대한 이론적 연구 (A Theoretical Study for the Thermal Diffusivity Measurement Using Photothermal Deflection Scheme)

  • 전필수;이은호;유재석;목재균;최강윤
    • 에너지공학
    • /
    • 제10권1호
    • /
    • pp.63-70
    • /
    • 2001
  • 재료의 열확산계수를 비접촉적인 방법으로 구하기 위하여 광열편향법에 대한 3차원 모델을 해석하였다. 이 방법은 가열빔이 재료에 광학적으로 흡수될 때 검사빔의 초기궤적이 시편과 시편주의 매질의 온도상승으로 인하여 나타나는 굴절지수의 구배에 의하여 검사빔이 편향되는 원리를 이용하는 것이다. 기존의 연구에서는 주로 가열빔과 검사빔의 상대거리를 변화시키면서 편향의 위상각을 측정하여 열확산계수를 결정하였다. 하지만 본 연구에서는 고정된 상대거리에서 가열빔의 변조주파수를 변화시키면서 편향의 위상각을 계산하여 열확산계수를 구할 수 있는 관계식을 제시하였다. 본 연구에서 제시한 열확산계수 결정 방법은 다른 방법에 비하여 실험과 해석이 간단하고 비교적 측정하기가 어려운 상대거리에 영향을 받지 않는 방법이다.

  • PDF

항공기 부품 신뢰도 분석평가체계 개발 및 운영개념 연구 (A Study on Developing & Operating Concept of Reliability Analysis & Evaluation System for Aircraft Parts)

  • 손석희;고승철
    • 한국국방경영분석학회지
    • /
    • 제33권1호
    • /
    • pp.19-29
    • /
    • 2007
  • 본 연구는 최적의 정비주기 산정을 위해 공군의 항공기 정비정보체계(AMMIS, Aircraft Maintenance Management Information System) 및 상태검사의 데이터 분석을 통하여 항공기 부품 신뢰도 분석평가체계를 개발하기 위한 개념설정 및 운영방안에 대한 내용이다. 항공기부품의 고장자료를 선별하여 추출한 후 신뢰도 소프트웨어를 활용해 정비주기를 개선하고 상태검사시 측정한 고장 추세를 통계 소프트웨어로 분석하여 검사 주기를 재설정하는 방법을 통해 항공기 부품 신뢰도 분석평가체계의 운영 모델을 제시한다.

모델 체킹을 통한 조합 회로의 정형 검증 (A Study for Formal Verification of Combinational Circuit Using Model Checking)

  • 안영정;송관호;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (A)
    • /
    • pp.433-436
    • /
    • 2006
  • 하드웨어 개발에 있어서 데이터의 신속한 처리와 공정의 저렴한 비용을 위해 많은 부분이 조합회로로 설계된다. 기능 검사는 하드웨어 개발에 있어서 설계의 기능을 분석하는 중요한 설계 흐름이다. 하지만 복잡한 기존의 기능 검사의 절차는 사용자의 요구에 의해 하드웨어 시스템이 복잡해지고 정보산업의 발전에 따라 개발 주기가 점점 빨라지는 시장의 특성으로 인해 설계자에게 많은 시간적 경제적인 부담감을 준다. 본 논문에서는 설계자에게 가중되는 부담을 극복하고 효율적인 조합회로의 기능 검사를 위한 정형적 방법을 제시하고자 한다.

  • PDF

한국어 문장 표절 유형을 고려한 유사 문장 판별 (A Detection Method of Similar Sentences Considering Plagiarism Patterns of Korean Sentence)

  • 지혜성;조준희;임희석
    • 컴퓨터교육학회논문지
    • /
    • 제13권6호
    • /
    • pp.79-89
    • /
    • 2010
  • 본 논문은 한국어 표절 검사를 위해서 표절의 유형을 분석하여, 유형별 분석 결과를 기반으로하여 유사 문장 판별 모델을 제안한다. 제안하는 방법은 한국어 문장에 대한 표절 유형 분석 결과를 토대로 LSA와 N-gram을 이용한 유사 문장 검색을 통하여 여러 유형의 표절로부터 견고한 유사 문장 판별 모델을 구현하였다. 제안한 모델의 성능 분석을 위해서 학생들이 인위적으로 작성한 표절 리포트와 표절한 첨부 문서로 실험 데이터를 구축하였다. 성능 비교를 위해서는 기존의 N-gram 모델, 벡터모델, LSA 모델이 사용되었으며, 실험 결과 제안한 모델이 정확률, 재현율, 그리고 F값 척도에서 우수한 성능을 보임을 알 수 있었다.

  • PDF

만성 기침의 진단 성적과 경제적 접근 모델 (Diagnostic Performance of Routine Objective Tests and Cost-Effective Approach for Chronic Cough)

  • 전강;장승훈;송혜근;하준욱;엄광석;반준우;김동규;신태림;박상면;박용범;김철홍;현인규;정기석
    • Tuberculosis and Respiratory Diseases
    • /
    • 제57권6호
    • /
    • pp.535-542
    • /
    • 2004
  • 연구배경 : 본 연구는 만성 기침 환자의 원인 진단을 위하여 흔히 사용되는 검사의 진단 성적을 알아보고, 이들에 대한 경제적 진료모델을 구축하기 위하여 시행하였다. 방 법 : 3주 이상의 만성 기침 환자를 대상으로 첫 내원일에 혈청 총 IgE, 말초혈액 호산구, 객담 호산구, 메타콜린 기관지유발검사, 부비동 촬영을 시행하는 동시에 prednisolone 0.5mg/kg를 7일간 경구 투약하고 추적 방문토록 하였다. 추적일에 환자 증상의 개선도에 따라 스테로이드 반응군과 불응군으로 분류하고 검사의 진단성적을 조사하였다. 조사된 환자 검사 결과와 스테로이드 반응률을 근거로 만성 기침 환자를 진료하는데 소요되는 의료 비용을 가상적인 3가지 진료 모델에 대입하여 비교하였다. 결 과 : 60명의 만성 기침 환자가 최종 분석되었고, 스테로이드 경구 투여로 기침의 호전이 있었던 경우는 90.0%였다. 내원시에 단순흉부방사선 검사, 기본 폐기능 검사, 객담 호산구 검사, 부비동방사선 검사를 시행하면서 동시에 단기간 스테로이드를 투여하여 약제 반응성을 살피는 것이 진단 성적을 유지하면서 향후 치료 방침을 세우는 비용-효과적 방법이었다. 결 론 : 만성 기침 환자를 진료할 때 검사를 시행하는 동시에 스테로이드를 단기간 투여하는 것이 검사의 진단적 한계를 극복하고 최종 진료 지침을 세우는 동시에 사회적 의료비용을 줄이는 방법이 될 수 있을 것으로 생각된다.

라만 분광법과 부분최소자승법을 이용한 불량 분말식품 비파괴검사 기술 개발 (Development of Nondestructive Detection Method for Adulterated Powder Products Using Raman Spectroscopy and Partial Least Squares Regression)

  • 이상대;;조병관;김문성;이수희
    • 비파괴검사학회지
    • /
    • 제34권4호
    • /
    • pp.283-289
    • /
    • 2014
  • 본 연구는 라만 분광법과 부분최소자승법을 이용하여 불량 분말식품을 비파괴적으로 검출할 수 있는 기술을 개발하기 위해 수행되었다. 향신료와 건강보조식품 등으로 소비가 증가하고 있는 마늘과 생강분말을 실험대상으로 선정하고 옥수수 전분을 농도별로 혼합하여 시료를 제작하였다. 라만 반사스펙트럼과 부분최소자승법을 이용하여 불량 분말식품에 혼합된 옥수수 전분의 농도를 예측하기 위한 모델을 개발하고 교차검증을 통해 그 성능을 평가하였다. 또한 변수중요도척도를 이용하여 예측모델의 개발에 기여도가 높은 라만스펙트럼을 선정한 후 이 스펙트럼을 이용하여 새로운 예측모델을 개발하였다. 그 결과 전체 라만 스펙트럼의 약 1/3에 해당하는 스펙트럼 데이터만을 이용하여 전체 라만 스펙트럼을 이용하여 개발된 예측모델과 같은 성능을 갖는 모델을 개발하는 것이 가능하였다.

Iceberg(IB) 모델을 적용한 고등학생의 시스템 사고 분석 및 효과 (Analysis and Effects of High School Students' Systems Thinking Using Iceberg(IB) Model)

  • 이현동;이효녕
    • 한국과학교육학회지
    • /
    • 제37권4호
    • /
    • pp.611-624
    • /
    • 2017
  • 이 연구의 목적은 고등학생들의 시스템 사고를 측정하는 분석하는 도구로 Iceberg(IB) 모델을 적용하고, 시스템 사고 평가를 위한 루브릭을 활용한 IB 모델 활동 결과 분석 방법을 제시하며 그 효과를 검증하는 것이다. 문헌 분석을 통해 IB 모델과 시스템 사고 평가를 위한 루브릭의 활용에 대한 이론적 근거를 조사하였다. 그리고 6명의 고등학교 학생에게 극지방 기후 변화와 관련된 주제에 대하여 IB 모델 활동을 실시하였으며 활동 과정 중 비구조화된 면담을 통해 학생들의 시스템 사고를 조사하였다. 또한 IB 모델을 활용한 시스템 사고 분석 결과에 대한 효과를 검증하기 위하여 시스템 사고 측정 도구를 활용한 정량적 검사도 실시하였다. IB 모델의 분석은 Hung(2008)에 의해 개발된 시스템 사고 평가를 위한 루브릭을 활용하여 분석하였으며 분석한 결과는 지구과학교육 전문가 2인에게 검토를 받아 타당도와 신뢰도를 확인하였다. 그리고 루브릭 결과와 시스템 사고 측정 도구 검사 결과에 대한 상관관계 분석을 통해 타당도를 재확인하였다. 연구 결과 6명의 학생은 IB 모델을 활용하여 자신들이 가지고 있는 사고를 구체적으로 잘 표현하였으며 루브릭을 활용한 시스템 사고 분석 결과 학생들은 17~35점까지의 분포를 보여주었다. 또한 시스템 사고 측정 도구 결과와 상관관계를 분석한 결과 Pearson 상관계수가 유의수준 .05에서 .856으로 매우 높은 상관을 보여주었다. 이 연구에서 제시한 IB 모델을 적용하면 학생 스스로 시스템 사고를 잘 표현할 수 있으며, 루브릭을 활용한 시스템 사고 분석 결과는 타당도와 신뢰도를 가지는 것으로 판단된다. 이러한 연구 결과를 바탕으로 앞으로의 과학 교육에서 시사점과 시스템 사고 연구의 방향을 제안하였다.

해외 고등학교 정보 교육 검사도구의 비교 분석 (Comparative Analysis of Informatics Education Assessment Tools in Overseas High School)

  • 최희정;이원규;김자미
    • 컴퓨터교육학회논문지
    • /
    • 제21권1호
    • /
    • pp.31-42
    • /
    • 2018
  • 빠른 사회 변화를 이끌고 있는 기술의 발전에 대처하기 위해 세계 각국은 정보교육을 강화하고 있다. 보통교육을 통해 육성해야 할 역량의 마지막 단계는 고등학생이다. 본 연구는 대학진학을 목표로 하는 고등학생들이 갖추어야 할 정보교과에 대한 역량과 수준을 검사도구의 측면에서 알아보기 위한 목적이 있다. 연구 진행을 위해 일본, 독일, 미국 등, 고등학생 대상의 정보교육 관련 검사 도구를 분석하였다. 분석 결과, 첫째, 선다형 문항 형식 뿐만 아니라 논술형과 단답형 문항을 검사도구에 함께 포함한다. 둘째, 현실세계의 모델을 문항으로 활용하여 실제적인 문제해결력에 컴퓨팅 파워를 활용할 수 있는 지 묻고 있다. 셋째, 대학 교육과 직접 연계되는 내용을 문항에 반영하고 있다. 본 연구는 검사도구의 특징 및 논의사항을 도출하고 정보교육의 검사도구 개발 방향성을 세우는데 도움을 주었다는 데 시사점이 있다.