• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (2)
• /
• pp.61-63
• /
• 2004

DTD에 의해서 문서의 형식이 정의된 valid XML을 XML 데이터베이스 시스템을 사용하여 관리하는 경우 XML의 변경은 그 변경 결과가 DTD에 대한 유효성(validity)을 만족시킬 때에만 수행되어야 한다. 이것은 다수의 사용자에 의해서 데이터가 공유되는 데이터베이스 시스템의 데이터 무결성과 관련되는 문제이기 때문에 XML 문서 변경에 대한 DTD 유효성은 XML 데이터베이스 시스템에서 중요한 속성이라고 할 수 있다. 변경 연산의 결과에 대한 XML의 유효성을 보장하기 위해서 변경의 유효성을 검증하는 방법을 사용할 수 있다 XML에서의 엘리먼트들은 순서 관계를 가질 수 있으며 DTD는 이러한 엘리먼트 순서 관계들을 정의하고 있기 때문에 이러한 유효성 검증 기법은 변경되는 데이터 아이템 외에도 주변의 데이터 아이템-엘리먼트-들에 대한 순서 정보를 필요로 한다. 그리고 데이터베이스와 같은 다중 사용자 환경에서 유효성 검증 기법이 정확하게 수행되기 위해서는 유효성 검증이 필요한 정보들이 다른 트랜잭션에 더해 변경되지 않도록 하는 병행수행 제어 기법을 필요로 한다 이렇게 유효성 검증 기법과 병행수행 제어 기법이 관련을 가지고 있음에도 불구하고 기존의 유효성 검증 기법은 오직 검증의 효율성에만 초점을 맞추고 있다. 본 연구는 유효성 검증의 검증 범위를 최소화 시켜 pan-out 값이 큰 XML 문서에 대해서도 유효성 검증이 효율적으로 수행될 수 있고, 또한 유효성 검증을 위해 락킹되는 데이터 아이템의 수란 최소화 할 수 있는 시퀀스 그룹 검증 기법을 제안한다. 또한 이 검증 기법의 정확을 보장하면서도 높은 트랜잭션 병행수행 성능을 보장한 수 있는 경계 락킹 기법을 제안한다. 제안된 유효성 검증 기법과 경계 락킹 기법은 유효성 검증의 정확성을 일해 병행수행 성능이 저하될 수바에 없는 기존의 기법들의 문제점들을 해결하여 XML 데이터 베이스 시스템이 안정적인 성능을 제공할 수 있다는 것을 실험을 통해 확인할 수 있었다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(1)
• /
• pp.15-20
• /
• 1996

이 논문에서는 육방형 노심 해석용으로 제작된 코드인 HEXFEM의 연소계산 결과의 정확성을 VVER-1000 연소계산 벤치마크 문제를 통하여 검증하였으며 집합체내 연소도 구배효과에 따른 오차를 분석하였다. 집합체내 연소도 구배효과를 고려했을 때 집합체내 균일한 연소도를 가정했을 때보다 오차가 현저히 감소하였으며 Cubic Option의 결과는 제어봉이 삽입된 1주기초(BOC1 ARI), 1주기초(BOC1), 1주기말(EOC1), 2주기초(BOC2)에 대해 집합체별 상대출력 오차가 최대 0,4%로 매우 정확한 결과를 얻었고 Quadratic Option외 결과도 최대 2.0%로 비교적 정확한 결과를 얻었다.

• 한국ITS학회 논문지
• /
• 제20권6호
• /
• pp.331-345
• /
• 2021

시뮬레이션 기반 가상 검증은 자율주행 기능의 안전성 검증을 위한 주요 요구사항으로 간주되고 있다. 가상 검증 환경에서는 자율주행차량과 주행 환경은 모두 모델링되어야 하며 특히, 카메라 및 레이더 센서와 같은 환경 센서의 현실적인 모델링이 중요하다. 하지만 현실적인 인식 결과를 일관되게 제공하기 위한 모델링에 관한 연구는 부족한 실정이다. 이에 본 논문에서는 MILS(Model in the Loop Simulation) 환경에서 현실적인 오브젝트 인식 결과를 제공하기 위한 센서 모델링 방법이 다루어진다. 먼저, 모델링을 위한 주요 파라미터가 정의되며 카메라 및 레이더 센서의 오브젝트 감지 특성이 분석된다. 분석 결과로부터 모델링된 가상 센서 모델의 감지 특성은 실물 센서와의 상관계수 분석을 통해 유효성이 검증된다.

• 시큐리티연구
• /
• 제42호
• /
• pp.37-57
• /
• 2015

본 연구의 목적은 무도수련만족 척도를 경호무도 수련자에게 적용할 수 있도록 Many-Facets Rasch 모형에 의한 문항적합성을 검증하는데 있다. 이를 위해 경호무도를 수련하고 있는 255명의 자료를 분석에 사용하였다. 또한 단일차원성 검증을 위해 AMOS 20.0 프로그램을 사용하였으며, 문항적합도 검증을 위해 Facets 3.61 프로그램을 활용하였다. 이에 따른 구체적인 연구 결과는 다음과 같다. 첫째, 단일차원성 검증결과 모형적합도, 신뢰도 및 표준화 ${\beta}$값 모두 적합한 것으로 나타났다. 둘째, 문항적합도를 분석한 결과 문항 1,2,3은 부적합, 문항 4,8,11,13,14번은 과적합문항인 것으로 나타났다. 또한 문항곤란도 분석결과 문항 1번이 가장 높은 곤란도를 보유한 것으로 나타났으며, 문항 7번이 가장 낮은 곤란도를 보유한 것으로 나타났다. 셋째, 국면에 따른 문항곤란도 및 반응차이검증 결과 여성 집단이 남성 집단에 비해 높은 곤란도를 나타내었으며, 문항적합도는 모두 적합한 것으로 나타났다. 경호무도 수련경력에 따른 문항곤란도 및 반응차이검증결과 수련경력에 따른 반응차이는 없는 것으로 나타났으나 4년이상~5년미만 수련자와 5년이상~6년미만 수련자에서 과적합 특징을 나타내었다. 학년에 따른 문항곤란도 및 반응차이검증 결과 1학년이 문항곤란도를 가장 높게 인식하고 있었으며 4학년은 문항곤란도를 가장 낮게 인식하고 있었다. 넷째, 응답범주분석 결과 6점 응답 범주는 적절하지 않은 것으로 나타났다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권12호
• /
• pp.1591-1601
• /
• 2004

유전자를 분석하는 방법 중 하나인 클러스터링은 비슷한 기능을 가진 유전자들을 집단화시켜서 유전자 집단의 기능을 분석하는데 이용되고 있다. 유전자들은 다양한 functional family에 속할 수 있기 때문에 각 유전자의 클러스터를 하나로 결정짓는 기존의 클러스터링 방법보다 퍼지 클러스터링 방법이 유전자 클러스터링에 더 적합하다. 본 논문에서는 피지 클러스터 결과를 효과적으로 검증할 수 있는 베이지안 검증 방법을 제안한다. 베이지안 검증 방법은 확률기반의 방법으로 주어진 데이타에 대해 가장 큰 사후확률을 가진 클러스터 분할을 선택한다. 먼저 본 논문에서 제안하는 베이지안 검증 방법과 기존의 대표적인 4가지 퍼지 클러스터 검증 방법들을 4가지 데이타에 대해 퍼지 c-means알고리즘을 대상으로 비교 평가한다. 그리고 발아효모 세포주기 발현 데이타를 클러스터링한 후, 제안하는 방법으로 그 결과를 검증하여 분석한다.

• 한국추진공학회지
• /
• 제25권3호
• /
• pp.127-137
• /
• 2021

발사대시스템은 다양한 설비로 구성된다. 이들 설비를 원격 운용하는 발사관제시스템은 제어 알고리즘 개발과 검증에 많은 시간과 노력이 소요된다. 알고리즘 검증은 소프트웨어 제작자가 시험절차서에 기반한 시뮬레이션 상태 값을 입력하고, 알고리즘 흐름에 따라 출력 결과를 확인하는 과정을 통해 이루어진다. 이러한 검증 과정은 반복적으로 수행되므로 작업 오류를 쉽게 유발할 수 있다. 본 논문에서는 작업 오류의 최소화와 검증 기간 단축이 가능한 스크립트 시험절차서 기반의 효율적인 자동화 검증 방법을 제안하며, 발사대의 고압가스 공급설비와 전자식 유공압패널설비 제어 알고리즘 검증시험에 적용한 결과를 제시한다.

• 비파괴검사학회지
• /
• 제13권2호
• /
• pp.48-60
• /
• 1993

1974년에 유럽에서 시작된 PISC(Program for the Inspection of Steel Components ; PISC-I, II, III) 수행결과나 1980년대초 실시된 미국의 BWR 원전 배관계통의 입계응력부식균열(IGSCC ; Intergranular Stress Corrosion Cracks)검사결과에서 나타난 바와 같이 기존의 규격 요건과 절차에 따른 원자력발전소 기기에 대한 초음파탐상검사는 그 실효성에 많은 문제점이 제기되었다. 따라서, 원전기기의 건전성 및 초음파탐상검사 결과의 신뢰도를 보증하기 위한 각종 연구가 진행되고 여러 방안이 모색되어 왔다. 그 결과, 원전 가동중검사 규격에 "초음파탐상검사자 자격인정 요건"과 "초음파탐상검사 시스템(검사자, 장비 및 절차서)에 대한 기량검증 요건"이 새로이 부가되었다. 본고에서는 초음파탐상검사 결과의 신뢰도 확보에 있어 필수불가결한 요건인 원전기기 초음파 탐상검사 시스템에 대한 기량검증 요건을 자세히 기술한다.

• 환경기술인
• /
• 제24권통권247호
• /
• pp.56-60
• /
• 2007

본 연구에서는 은폼 개발 배경 및 제조 방법 설명과 이를 응용한 은폼 제품류에 대하여 시험 하였으며 그 결과 은폼은 천연 항생제로서 시험 성적서로 타당성을 검증하고 향후 다방면 적용에 대하여는 각각의 적용 시험을 통하여 검증하고자 함.

• 한국수자원학회논문집
• /
• 제39권3호
• /
• pp.215-226
• /
• 2006

본 연구에서는 경안천 유역에 대해 초단시간 강수예보모델인 VSRF(Very Short Range Forecast of precipitation) 모델에서 생산되는 예측강우량의 검증을 실시하고, 이를 NWSPC(National Weather Service PC) 강우-유출 모형에 적용하였다. 강수는 기상학적 검증과 수문학적 검증으로 구분하여 검증하였다. 기상학적 검증은 유역 내에 존재하는 AWS 강수량과 VSRF모델 강수량의 정성적 관계를 객관적으로 제시하였고, 수문학적 검증은 AWS 면적 가중치를 고려한 유역평균 강우량과 VSRF유역평균 강우량과의 정량적 검증결과를 제시하였다. 또한 예보모델에서 생산된 6시간 예측강수량을 NWSPC 모형에 적용해 강수예보모델의 수문연계 가능성을 검토해 본 결과 0.6 이상의 높은 상관관계를 보여 예보모델의 수자원 활용 가능성을 제시하였다.

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

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