• 한국컴퓨터정보학회논문지
• /
• 제3권2호
• /
• pp.69-76
• /
• 1998

논리형 집적회로의 내부 결함을 검증하기 위해서는 설정된 초기 값을 전파하여 최종 출력 단에 나타난 값과 결함이 없을 경우의 출력 값을 비교함으로써 검증할 수 있다. 입력 단자의 수가 N인 회로에서 모든 내부신호 선의 결함을 검출하기 위해서는 최대 2N개의초기 입력 값들로 구성된 검증 패턴이 필요하다. 본 논문에서는 다 출력회로에서 2N개의 입력 패턴 중, 모든 신호선의 결함을 검출 할 수 있는 최소의 입력패턴 집합을 빠르고 정확하게 생성하기 위한 방법으로 다 출력회로를 출력과 연관된 세부회로로 분리하여 각각 검증함으로써 탐색공간을 줄이는 방법을 제안한다. 이는 입력 패턴의 길이가 상대적으로 줄어들 뿐 아니라 관련이 없는 신호 선을 탐색하지 않으므로 검증 패턴 생성 시간이 감소함으로써기존의 패턴 생성 알고리즘보다 효과적인 검증 패턴의 생성이 가능하다.

• 마케팅과학연구
• /
• 제15권3호
• /
• pp.31-48
• /
• 2005

본 연구의 목적은 호텔서비스에 대한 보증전략을 활용한 마케팅 효과의 유효성과 실질적인 서비스 보증의 방법론적 효과를 검증해 보는데 있으며, 연구의 세부적인 목적은 다음과 같다. 첫째 선행연구를 통해 검증된 서비스 보증 전략이 서비스 보증의 신뢰성과 서비스 가치에 실제적으로 어떠한 영향을 미치는지를 검증한다. 둘째, 서비스 신뢰성과 서비스 가치가 고객충성도에는 어떠한 영향을 미치는지를 검증한다. 셋째, 서비스 보증이 고객충성도에는 어떠한 영향을 미치는지를 검증한다. 검증결과에 의하면 본 연구에서 제시한 5개의 연구가설중 5개의 가설이 채택되었으며 구체적인 내용은 다음과 같다. 첫째, 서비스 보증이 서비스 신뢰성과 서비스 가치에 어떠한 영향을 미치는가를 검증한 결과 서비스 보증은 서비스 신뢰성과 서비스 가치에 긍정적인 영향을 미치는 것으로 나타났다. 둘째, 서비스 신뢰성과 서비스 가치가 고객충성도에 미치는 영향관계를 검증한 결과 서비스 신뢰성과서비스 가치 둘 다 고객충성도에 유의적인 영향을 미치는 것으로 나타났다. 셋째, 서비스 보증이 고객충성도에 미치는 영향관계를 검증한 결과 긍정적인 영향을 미치는 결과를 도출하였다.

• 한국지능시스템학회논문지
• /
• 제13권5호
• /
• pp.505-511
• /
• 2003

생성 규칙의 지식 표현 방식은 많은 장점에도 불구하고 일관성 유지가 어렵다는 단점을 갖고 있다. 그런데 지식의 일관성 유지 여부는 지식을 기반으로 한 추론 결과의 신뢰도에 직결되므로 신뢰성을 제고하기 위하여 일관성 검증 시스템이 필수적이다. 일관성 검증 방식 중 가장 많이 사용되는 쌍 검증(pairwise checking) 방식에서는 가치 있는 규칙이 생략될 수 있으며 규칙의 수가 많은 경우에는 검증 시간이 많이 걸리는 단점이 있다. 따라서 본 논문에서는 확실한 특성의 리스트와 가능한 특성의 리스트를 사용하고 검증단계를 개선함으로써 쌍 검증 방식의 단점을 보완하여, 구조적 및 의미적 오류도 제거한 수 있는 검증 시스템을 제안하고 구축한다.

• 한국컴퓨터정보학회논문지
• /
• 제17권3호
• /
• pp.135-141
• /
• 2012

인터넷 발전은 교육과 평가 방법에서 많은 변화를 가져왔다. 인터넷을 이용한 원격교육은 학습 결과를 측정하기 위해 시험의 시행이 온라인으로 이루어지고 있다. 온라인 시험은 출제 및 시험 감독에 대한 연구가 많이 진행 되었지만 시험 답안의 진본성 검증에 대한 연구는 이루어지지 않고 있다. 시험 답안지 작성 형식에는 선택형, 단답형, 서술형, 실습형 등이 있는데 실습형을 제외한 답안 작성은 웹상에서 가능하다. 본 논문에서는 실습형 답안지 중 컴퓨터활용 답안의 진본 확인을 위해 답안지에 검증정보를 기록하여 진본임을 검증할 수 있는 시스템을 구현한다. 이 시스템의 특징은 인터넷에서 컴퓨터활용 시험 실시 중 답안지가 부정하게 작성되었는지를 검증하는 것이다. 이 시스템은 진본 검증을 위해 검증정보를 서버에서 응시자 답안지에 기록하도록 하였으며, 그 결과 제출된 답안지의 검증정보를 이용하여 진본여부를 검증하는 것이다.

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

최근 열중성자 산란법칙 라이브러리 ENDF/B-VI Release-2가 제공된 바 있다. 여기에는 경수내 수소와 흑연내 탄소에 대한 산란법칙이 포함되어 있어, 이를 경수격자인 TRX와 BAPL로 WIMS 계산을 통하여 검증하였다. 온도에 따른 변화를 검증하기 위해 가압경수로와 흑연감속 기체냉각로의 단위격자에 대한 WIMS계산을 수행하였다. WIMS 라이브러리 생산에 Release-1, Release-2 및 자유기체모델을 이용하여 상대적 차이를 검증한 결과 Release-2는 대체적으로 Release-1보다 개선되었으나, 그 개선의 정도는 현저하지 않음을 보이 주고 있다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 추계학술발표논문집 (상)
• /
• pp.591-594
• /
• 2000

객체 지향형 소프트웨어가 개발되고 발전함에 따라 동시성 프로그래밍의 수요가 증가하고 그 기법 역시 다양해지고 있다. 이 결과 소프트웨어의 복잡도가 매우 높아지고, 특히 수행시간 복잡도(run-time complexity)가 매우 높아져서 소프트웨어의 설계와 안정성 검증 분야에 많은 문제가 발생되고 있다. 현재 객체 지향형 소프트웨어의 검증을 위한 연구로 소스 코드를 직접 변환시켜 검증하는 방법과 수행시점에서의 검증을 위해 정형 검증 도구가 직접 객체를 표현할 수 있는 방법을 연구하고 있다. 본 논문에서는 소스코드의 변환을 이용한 검증 도구인 java2spin 과 spin 의 동적인 확장인 dSPIN에 대해 살펴보고 두 도구의 차이점과 장단점을 살펴본다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2015년도 추계학술대회
• /
• pp.66-68
• /
• 2015

최적항로 지원 시스템은 실해역 속도 성능 예측방법에서의 선택 근거확보와 정확도 평가를 위한 효과 검증이 반드시 필요하다. 하지만 이 같은 성능검증에 있어서 동일한 선박에 대한 다양한 대안 항로에서의 동시성능계측이 불가능하기 때문에 효과를 직접 비교하기는 상당히 어렵다. 따라서 본 논문에서는 최적항로 지원 시스템의 효과 검증을 위한 간접적인 절차를 제안하였고, 시스템의 내부 분석코드를 이용하여 효과를 비교 검증하였다. 그 절차는 1) 계산의 근거 인기상 정보의 정확성 검증, 2) 실제 항로에서의 성능예측계산의 신뢰성 확인, 3) 신뢰성이 확보된 계산방법을 이용한 최적항로선택, 4) 실제 항로와 최적항로의 연료 효율성 비교의 4단계로 이루어진다. 대상 선박은 폴라리스쉬핑의 솔라돌핀호(208k BC)이며 실선 운항 데이터는 최적항로 지원 시스템을 통하여 직접 계측하였다. 그 결과 호주-한국 항차에서 최적항로를 항해할 경우 약 6.0%의 연료 절감 효과를 기대할 수 있음을 확인하였다.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 2010년도 정기 학술대회
• /
• pp.81-84
• /
• 2010

본 연구는 Building Information Modeling(이하 BIM)의 본연의 목표인 정보의 통합 관리 및 재활용 측면에서 모델의 정보를 정확하고 체계적으로 구축될 수 있는 품질검증의 필요성을 인지하고 이를 위해 BIM 모델의 품질검증 방안에 관하여 논의하고자 한다. 이를 위해 국내외 BIM 관련 품질관리 현황을 파악하고 국내 정보시스템 구축에 관한 지침으로 한국데이터베이스 진흥 센터의 데이터 품질관리 지침을 분석하여 BIM 품질검증 방안을 도출하고자 하였다. 그 결과 BIM 모델의 품질검증 방안을 구축하기 위해 첫쩨 사전적 의미로부터 품질관리의 개념을 수립하고, 그 대상을 설정 하였으며, 둘째로 품질관리의 최종 목표인 정보의 재활용 관점에서 단계적 접근방안으로 5단계의 전략적 방향을 제시 하였다. 마지막으로 BIM 모델의 품질검증 방안을 구축하기 위해 사례 분석을 토대로 BIM 모델 관점에서 품질 검증 시기, 기준, 방법을 제시하였다.

• 천문학회보
• /
• 제37권2호
• /
• pp.226.1-226.1
• /
• 2012

위성에 탑재되어 위성의 상태를 모니터링하며, 지상으로부터 명령을 받아 위성 본연의 임무 수행이 가능하게 하는 위성비행소프트웨어는 그 개발단계에서 다양한 검증활동이 이루어진다. 설계 검증 및 리뷰, 인스펙션을 거쳐 소스 코드로 구현된 후, 단위 시험을 통해 가장 낮은 수준의 검증을 거치게 된다. 이러한 단위 시험은 개별 함수에 대해 입력에 따른 해당 출력 및 동작 여부를 검사하게 된다. 단위 시험이 하나의 함수에 대한 시험 항목이라는 점은 검증대상의 스코프가 좁다는 장점이 있으나, 다른 모듈과 연동되었을 경우에 발생할 수 있는 다양한 경우를 고려하여 테스트 케이스를 작성해야 하는 어려움이 있다. 이러한 문제점을 해결하기 위하여 단위 시험과 함께, 연관된 함수가 이미 구현되어 있는 경우, Stubbing을 하기보다는 직접 해당 함수를 사용하며, 또한 동등한 수준의 개별 함수들을 주어진 시나리오에 따라 동작하는 Compound Test를 활용, 그 결과를 확인하는 방법을 도입하였다. 이를 이용하면 단위 시험에서는 검증하기 어려운 상황별 시나리오에 따른 검증 활동을 수행할 수 있고, 또한 전체 위성비행소프트웨어를 빌드할 필요없이 테스트의 대상이 되는 함수만을 이용, 나머지 부분은 기존의 방식을 그대로 적용할 수 있어, 위성비행소프트웨어의 안전성 및 신뢰성을 보다 향상시킬 수 있다.

• 한국방사성폐기물학회:학술대회논문집
• /
• 한국방사성폐기물학회 2015년도 추계학술논문요약집
• /
• pp.133-134
• /
• 2015

전처리 공정장치 구축에 앞서 정확한 설계와 검증이 선행되어야 한다. 우선 디지털 목업 기술을 통해 설계검증을 철저히 함으로써 공정의 품질을 높이고 공정하자를 최소화 할 수 있다. 전처리 공정 중 집합체해체 핵심장치의 유지보수를 쉽게 하고, 원격 제어 효율을 높이기 위한 모듈화와 그에 대한 사전 검증을 수행하였다. 이를 위해해 전처리 디지털 목업 시스템 검증 대상과 집합체 해체핵심장치 주요모듈을 선정하였으며, 주요 모듈의 모듈화 방안 과 모듈 탈착 시간 검증하였다. 그 결과, 집합체해체 핵심장치에서는 5개의 주요 모듈로 구성되었으며, 모듈 탈착 시간 검증에서 작업시간은 클램프모듈이 약 130초, 언볼팅, 드릴링 모듈이 140초 소요될 것으로 분석되었다. 향후 전처리장치별 모듈 분석과 LAYOUT 운영을 포함해서 MSM 시뮬레이터의 디바이스 및 시뮬레이터 시스템 구축을 수행할 것이다.