• 한국과학교육학회지
• /
• 제28권8호
• /
• pp.796-813
• /
• 2008

과학 개념에 대한 높은 이해와 과학 분야에 무한한 가능성과 잠재력을 가지고 있는 과학영재들이 물리 개념 이해 과정 중에 나타내는 사고 모형을 분석하기 위해서 역학 개념 검사인 FCI, MBT와 전자기학 개념검사인 CSEM을 사용하였다. 세 가지의 설문지 필답검사를 실시한 후에는 그룹 토의의 교실 상황 관찰과 개인 면담을 실시하고 그 결과를 종합 분석하였다. 분석 결과에 따르면 과학영재의 물리 개념 이해 과정에서 나타나는 사고 모형은 물리 개념에 대한 정확한 이해와 적용으로 개념의 형성이 안정성과 일관성을 보이는 일관성 사고 모형을 가진 학생과 문제에 적용할 때마다 유동성과 상황 의존성을 보이는 다양성 사고 모형을 가진 학생으로 분류되었고 또한 과학영재이지만 뉴턴의 운동 법칙에 대하여 힘과 운동의 관계를 잘못 이해한 아리스토텔레스 정신모형을 가진 학생과 옳은 과학 개념인 뉴턴 모형을 가진 학생 그리고 문제 상황에 따라 달라지는 두 정신모형이 혼합된 학생으로 분류되어 개인차가 있음을 알 수 있었다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권12호
• /
• pp.1485-1492
• /
• 1999

대규모 시스템 명세의 올바름을 검증하기 위한 유한 상태 LTS에 기반을 둔 CTL논리 적용에 있어 가장 큰 문제점은, 시스템 내부의 병렬 프로세스간의 상호작용으로 인한 상태폭발이다. 그러나 Modal mu-calculus 논리를 시스템 안전성 및 필연성 특성 명세에 사용하면, 행위에 의한 순환적 정의가 가능하므로 상태폭발 문제가 해결 가능하다. 본 논문에서는 LTS로 명세화된 통신 프로토콜 시스템 모델의 안전성 및 필연성 특성을 모형 검사 기법에 의해 검증함에 있어, 시제 논리로 사용된 Modal mu-calculus 안전성 및 필연성 논리식과 CTL 의 안전성 및 필연성 논리식의 극한값이 동일함을 두 논리식을 만족하는 상태 집합이 같다는 것을 보임으로써 증명한다. 증명된 결과는 I/O FSM 모델로 표현된 통신 프로토콜의 안전성 및 필연성 검사를 위해 이론적인 기반으로서, 컴퓨터를 이용한 모형검사 기법에 효과적인 방법으로 응용이 가능하다.Abstract In applying CTL-based model checking approach to correctness verification of large state transition system specifications, the major obstacle is the combinational explosion of the state space arising due to interaction of many loosely coupled parallel processes. If, however, the modal mu-calculus viewed as a CTL-based logic with recursion, is used to specify the safety and liveness property of a given system, it is possible to resolve this problem. In this paper, we discuss the problem of verifying communication protocol system specified in LTS, and prove that a logic expression specifying safety and liveness in modal mu-calculus is semantically identical to the maximum value of the expression in CTL. This relation is verified by the proof that the sets of states satisfying the two logic expressions are equivalent. The proof can be used as a theoretical basis for verifying safety and liveness of communication protocols represented as I/O FSM model.

• 한국과학교육학회지
• /
• 제24권5호
• /
• pp.886-901
• /
• 2004

본 연구는 새롭게 고안된 "지구중심운동 태양계 실험 모형"이라는 실험모형을 통해서 초등 예비교사와 초등학교 교사의 "천문개념 변화"에 초점을 맞추었다. 전주에 소재하고 있는 전주교육대학 졸업반 학생 31명과 전북에서 근무하는 초등교사 30명을 연구 대상으로 하였다. 먼저 학생들의 사전개념을 조사하고, 이 실험 모형을 활용한 수업전후에 개념검사를 실시하였다. 검사도구는 모두 10문항으로 내행성의 운동, 내행성의 위상과 크기, 외행성의 운동, 혜성의 운동으로 구성되었다. 분석 방법은 사전 검사에서 천문개념에 대한 유년적 개념을 확인하고, 사후 검사에서 초등 예비교사와 초등학교 교사의 개념이 어떻게 변화되었는지를 조사하였다. 결과적으로 지구 운동 중심 태양계 모형이 내행성의 운동과 내행성의 위상과 크기변화, 외행성의 운동에 관한 내용에서는 올바른 과학적 개념 형성에 효과가 있었다.

• 응용통계연구
• /
• 제5권2호
• /
• pp.193-209
• /
• 1992

정상조건에서 수명이 상당히 긴 두 개의 부품으로 구성된 직렬형 시스템의 생명검사(Life Test)를 현실적으로 수행하기 위하여 제안된 단계적 충격생명검사에 관하여 고찰하였다. 모형화 단계에서 우리는 특별히 시스템내에서 작동하는 두 부품의 수명을 나타내는 확률변수가 Block과 Basu(1974)에 의해서 제안된 이변량 지수분포를 따르는 경우를 논의하여, 이에 상응하는 충격누적에 관련된 기존모형을 변형 제안하였고, 직렬형 시스템내의 부품간 수명의 종속관계를 포함하는 정보와 부품의 독자적인 생명검사로부터 얻는 정보를 통합하는 모형을 제안하여 시스템내에서 갖는 부품의 분포에 관하여 논의하였다. 한편 자료분석 단계에서는 기본적으로 최대우도 추정법을 초기값의 설정방법을 중심으로 토의하고 모수의 근사 분산, 공분산의 구조를 이용하여 단순검사의 최적시점을 설정하는 방안을 제시하였다.

• 한국문헌정보학회지
• /
• 제48권3호
• /
• pp.459-490
• /
• 2014

본 연구는 설계기반연구를 활용하여 논제 구축형 독서토론수업 모형을 개발하고 그 효과성을 연구하기 위하여 수행되었다. 이를 위하여 경기도에 위치한 초등학교 4학년 학생을 대상으로 논제 구축형 독서토론수업 모형을 적용하여 수업을 진행하고, 사전검사와 사후검사를 실시하였다. 연구 결과, 논제 구축형 독서토론수업 모형은 학생들의 독서태도와 자기주도적 학습태도의 향상에 효과적인 것으로 나타났다.

• 터널과지하공간
• /
• 제15권5호
• /
• pp.352-358
• /
• 2005

콘크리트 비파괴 검사를 위하여 배면공동모형과 교량공동모형에 대하여 시간영역 탐사와 주파수영역 탐사를 실시하였다. 시간영역 탐사는 초동주시 역산법을 이용하여 토모그래피를 작성하여 공동의 여부를 해석하였다. 주파수영역 탐사는 시간영역 기록을 푸리에 변환에 의한 주파수영역에서의 최대 주파수를 분석하여 해석하였다.

• 한국콘텐츠학회논문지
• /
• 제12권10호
• /
• pp.357-364
• /
• 2012

치과용 스캐너를 기반으로 하는 디지털 모형은 기존의 전통적인 석고모형을 대체할 만큼 발전되고 있다. 본 연구의 목적은 디지털모형의 정확도와 신뢰도를 평가하고자 하였다. 상악의 전악모형을 주 모형으로 설정하여 주 모형으로부터 석고모형을 제작하였고(N=10), 치과용 백색광 스캐너를 이용하여 10개의 디지털모형 데이터를 채득하였다. 제작된 두 실험군(석고모형, 디지털모형)을 1명의 검사자가 2회에 걸쳐서 6곳의 계측지점을 측정하였다. 짝 표본 t-검정과 급내 상관계수을 이용하여 통계적인 분석을 하였다. 실험결과 측정값의 검사자 내 신뢰도는 급내 상관계수 결과 두 실험군 0.75에서 0.87의 범위를 보였다. 석고모형과 디지털 모형의 평균 오차값은 0.11mm에서 0.23mm의 범위를 나타내었고, 모든 계측지점에서 통계적으로 유의한 차이를 보였다(P<0.05). 본 실험결과 모든 계측지점에서 적정수준의 정확성은 확보되지 않았으나, 선행연구에 비추어 볼 때 임상적인 효용성은 검증되었다. 추가적으로 임상적인 사례를 통해 평가되어야 할 것으로 사료된다.

• 영재교육연구
• /
• 제20권3호
• /
• pp.921-946
• /
• 2010

이 연구는 우리나라 대학생 과학영재의 진로결정에 영향을 미치는 요인들을 탐색하고 진로결정의 패턴과 경로를 살펴봄으로써 과학영재의 진로결정 모형을 구안하는데 그 목적이 있다. 이 연구를 통하여 대학생 과학영재들의 진로결정을 부모(부모의 사회적 지지), 학교(대학생활스트레스, 대학생활 적응), 개인특성(문제해결 능력, 진로결정 효능감, 전공선택 확신) 요인들을 통합적으로 고려한 모형을 제시함으로써 대학생 과학영재의 진로를 위한 이론적 틀을 마련하고자 하였다. 연구대상은 대학부설 과학영재교육원에서 2002, 2003년도에 교육을 받은 수료생 93명과, 대통령 과학 장학생에 선정되어 장학금을 받고 있는 국내외 대통령 장학생 264명 이었다. 자료수집을 위해 사용한 측정도구는 부모의 사회적 지지검사, 문제해결능력 검사, 대학생활 스트레스 검사, 대학생활 적응 검사, 진로결정 효능감 검사, 전공선택 확신 검사이며 수집된 자료의 통계분석을 위하여 SPSS Program과 AMOS Program을 사용하였다. 연구 결과 대학생 과학영재의 진로결정 구조모형의 적합도는, TLI=.928, CFI=.941, RMSEA=.059로 연구모형이 대학생 과학영재 집단에 수용되는 모형임을 확인하였다. 또한 이론적 탐색을 바탕으로 세운 가설이 하나의 경로를 제외하고는 모두 채택되었다. 본 연구의 결과는 과학영재들의 진로에 대한 이해의 폭을 넓히고 진로결정을 돕기 위한 프로그램 개발과 체제구축을 위한 기초자료로 제공될 수 있을 것으로 사료된다.

• 한국건축시공학회지
• /
• 제23권2호
• /
• pp.197-207
• /
• 2023

콘크리트는 압축력에 잘 저항하고 내구성이 우수하여 널리 사용되는 재료이다. 하지만 구조물은 시공 단계에서 주변 환경, 사용되는 재료의 특성에 따라 완공된 후 표면의 균열, 구조물의 침하 등 다양한 하자가 발생하거나 시간이 지남에 따라 콘크리트 구조물 표면에 결함이 발생한다. 그대로 방치하면 구조물에 심각한 손상을 초래하기 때문에 안전 점검을 통해 검사해야 한다. 하지만 전문 검사원들이 직접 조사하기에 비용이 높고 육안으로 판단하는 외관 검사법을 사용한다. 고층 건물일수록 상세한 검사가 힘들다. 본 연구는 노후화로 인해 콘크리트 표면에 발생하는 결함 중 균열을 탐지하는 딥러닝 기반 시맨틱 세그먼테이션 모형과 해당 모형의 특징 추출과 일반화 성능을 높이기 위한 이미지 어그멘테이션 기법을 개발하였다. 이를 위해 공개 데이터셋과 자체 데이터셋을 결합하여 시맨틱 세그먼테이션용 데이터셋을 구축하고 대표적인 딥러닝 기반 시맨틱 세그먼테이션 모형들을 비교실험하였다. 콘크리트 내벽을 중점으로 학습한 모형의 균열 추출 성능은 81.4%이며, 개발한 이미지 어그멘테이션을 적용한 결과 3%의 성능향상을 확인하였다. 향후 고층 건물과 같이 접근성이 어려운 지점을 드론을 통해 콘크리트 외벽에서 균열을 검출할 수 있는 시스템을 개발함으로써 실질적으로 활용할 수 있기를 기대한다.

• 한국산학기술학회논문지
• /
• 제21권11호
• /
• pp.693-700
• /
• 2020

본 연구의 목적은 전통적인 인상채득방식으로 제작된 석고모형과 구강 디지털 인상법을 이용하여 제작된 폴리우레탄 모형의 각 계측지점을 비교함으로써 첨단 제조기술로 제작된 모형의 정확성을 검증하는 것이다. 유치악 아크릴릭 구강모형을 선정하여 기존에 사용하던 방식의 석고모형과 최신경향의 방식으로 모형을 각 10개씩 제작하였다. 계측지점은 총 6곳을 지정한 후, 2인의 검사자가 2회로 나누어 버니어 캘리퍼스를 이용하여 측정하였다. 제작방법에 따른 모형의 각 계측치의 평균, 표준편차, 계측치 차이의 평균 등의 기술 통계량으로 제시하였고, 정확성 검정을 위해 윌콕슨 부호순위 검정을 시행하였으며, 검사자 내, 검사자 간, 제작방법 간의 신뢰성 분석은 급내 상관계수 분석과 측정오차를 구하였다. 실험결과 신뢰성은 급내 상관계수의 범위는 0.76에서 0.99의 값이 나타나 높은 신뢰도를 보였으며, 모형 제작방법에 따른 정확성은 모든 계측지점 간의 거리를 비교하였을 때 폴리우레탄 모형이 작게 계측되었으며 0.09~0.20mm의 범위로 선행연구의 결과에 의해 임상적으로 오차범위를 허용할 수 있는 것으로 나타났다. 구강 디지털 인상법의 사용으로 제작된 모형은 임상적으로 적절한 것으로 판단되지만, 향후 보다 정밀하고 사용하기 편리한 치과용 모형을 제작하기 위한 연구들이 추가적으로 이루어져야 할 것이며, 다양한 임상 데이터를 활용한 평가가 이루어져야 할 것으로 사료된다.