• Proceedings of the Korea Contents Association Conference
• /
• 2011.05a
• /
• pp.567-568
• /
• 2011

미국 영상제작시장에서는 기획단계에서 충분한 시간, 비용투자와 여러 가지 검증방법을 통해, 아이디어를 거의 완벽하게 검증하고 있다. 최근에 사전시각화-프리비즈(previsualiztion)의 한 종류인 3D 씨네메틱스(cinematics)가 검증방법으로 활용되고 있다. 최신 컴퓨터 그래픽 기술을 이용하는 프리비즈는, 단기간에 저비용으로 제작자와 클라이언트들이 원하는 비주얼을 최종 결과물에 최대한 가깝게 구현하는 것을 목표한다. 고품질 프리비즈는 기획물에 대한 검증, 수정, 시장성타진 뿐만 아니라 프로덕션단계의 시행착오를 줄이는 가이드라인으로 쓰여, 프로덕션의 품질(quality)향상, 제작비 절감하는데 기여하고 있다. 이러한 기획에 대한 확실한 검증과정들이 미국의 영상제작산업을 세계최고 레벨로 올려놨다. 본 연구는 미국 영상제작시장에서 제작되고 있는 프리비즈의 동향과, 프리비즈 국내영상기획시장에서의 필요성, 기대효과를 연구하고자 한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 1999.05a
• /
• pp.398-402
• /
• 1999

본 논문에서는 MCM기술을 사용한 ATM용 Switching칩을 구현하고, 그 기능을 검증하였다. Switching칩의 MCM구현을 위해 기능 검증 및 상용화가 이루어진 기존 칩들의 VHDL코드를 이용하여 패키지 모델을 생성하였고, 칩의 검증은 VHDL 테스트벡터를 생성하고, 입ㆍ출력 값을 얻었다. 얻은 입력 데이터를 칩 테스트장비에 입력하여 구현된 칩에 넣고 나오는 출력을 벡터 시뮬레이션을 통해 얻은 결과 값과 비교하였다. 다양한 기능의 검증을 위하여 3가지 패턴의 벡터를 생성, 그 성능을 검증하였다. 본 연구에서 생성된 테스트 벡터는 썬 웍스테이션 상에서 Synopsys사의 툴인 vhdl analyzer와 vhdl debugger를 이용하여 simulation하였고, 각 벡터들의 입출력을 텍스트로 얻었다. 그리고 칩의 기능 시험을 위하여 일반적으로 사용되는 Trillium 장비를 사용하였다. 본 연구를 통하여 MCM후에 생성된 벡터의 입ㆍ출력 값과 테스트장비로부터 얻은 출력이 여러 기능들에 대하여 일치됨을 알았다.

• 한국지형공간정보학회:학술대회논문집
• /
• 2002.03a
• /
• pp.54-60
• /
• 2002

1999년이래 순차적으로 수행되어지고 있는 항공사진 DB구축사업은 일반적으로 정확도가 검증되어진 항공사진전용독취기를 사용하여 항공사진영상 DB를 구축하고있으나, 일부기관에서는 시중에서 사용되는 일반자동독취기를 이용하여 항공사진영상 DB를 구축하기도 한다. 이에 본 연구에서는 항공사진전용독취기와 일반자동독취기를 정확도를 비교분석함으로서 항공영상 DB구축시 문제점과 타당성을 제시하고자 한다. 본 논문에서는 일반자동독취기의 활용 타당성을 분석하기 위하여 표정해석과 2차제품 제작을 통한 정확도를 항공사진전용독취기와 비교분석하였고, 자동독취기 검증 시스템을 개발하여 연구에 이용된 자동독취기를 검증함으로써 항공영상 DB구축에 있어서 필수적인 장비인 자동독취기의 정확도를 검증하였다.

• Proceedings of the Korea Institute of Fire Science and Engineering Conference
• /
• 2010.04a
• /
• pp.75-78
• /
• 2010

고발포 소화약제의 발포력은 화재시 포소화약제의 성능을 검증하는데에 중요한 요소이다. 이러한 발포력 검증은 한국소방산업기술원의 "포소화약제의 형식승인 및 검정기술기준(KOFEIS 0103)"에서 제시하고 있는 표준발포기를 이용한 측정법을 통해 검증한다. 본 연구에서는 기존 방법의 제작 비용 및 측정의 번거로움을 보완하기 위한 약제 개발단계에서의 포소화약제 발포력 검증을 위한 실험실적인 측정법을 고안하여 적용성을 분석한다. 측정은 1000ml 시험관내에 3%의 수용액 $100m{\ell}$를 첨가하여 수용액 내부에 정량펌프를 통해 일정한 기포량 및 기포크기로 분사하여 발포시켰으며, 기포의 노즐은 거품의 정확도를 향상시키기 위해 마이크로 피펫팁 $0.2m{\ell}$ 용량을 사용하여 적용성을 분석하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.10b
• /
• pp.1409-1412
• /
• 2000

현재 컴퓨터가 실생활의 모든 영역에 중대한 영향을 미치고 있기 때문에, 오류가 없는 소프트웨어에 대한 관심이 증대되고 있다. 오류 없는 안전한 소프트웨어 개발의 거의 유일한 방법은 시스템 개발 초기 단계에서부터 엄격한 검증과 테스트를 행하는 것이다. 그러나, 정작 그 소프트웨어가 적절한 명세에 따라 개발되었는지의 검증과 테스트는 이루어지고 있지 않다. 따라서 본 논문은 그러한 소프트웨어의 일부분인 JavaCard의 기술명세에 따라 제대로 만들어 졌는지의 여부를 검증할 수 있는 검증 테스팅 도구에 관해 연구하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.04a
• /
• pp.493-496
• /
• 2016

차량 전장용 소프트웨어의 안정성을 플랫폼 단계에서 테스트 및 검증을 수행하면 많은 비용이 소요된다. 본 연구에서는 플랫폼 단계에서 차량용 내장형 소프트웨어를 테스트하기 이전에 Spin 모델 검증기를 활용하여 전장용 소프트웨어의 기본단위인 타스크들의 행위를 모의 실험함으로써 시스템의 설계오류를 검증할 수 있는 도구를 개발하였다. 본 연구에서는 운영체제와 환경설정 및 제어 프로그램이 수행할 타스크들을 모델로 구축하고, 모델 검증 도구 Spin을 이용하여 타스크의 상태변화를 확인할 수 있었으며, NuSMV를 이용한 방식과 비교하여 다양한 장점들을 확인하였다.

• Proceedings of the Korea Institute of Fire Science and Engineering Conference
• /
• 2010.10a
• /
• pp.328-331
• /
• 2010

본 연구는 IMO에서 제안하고 있는 피난모델에 대한 검증 및 확인 절차를 알아보고 이를 SIMULEX 모델에 적용하여 분석해보았다. 결과적으로 볼때 이 검증절차가 현재 사용되고 있는 피난모델들을 검증하기에는 아직 보완해야할 점이 많은 것으로 판단된다. 피난모델을 검증, 평가하기 위한 평가체계에 대한 연구가 필요하다 생각된다.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.11 no.5
• /
• pp.62-69
• /
• 2012

Traffic simulation models have been used for assessing various transportation strategies. Through comparing results from a simulation model and real field data, researchers try to show how close the model can reproduce the real world traffic. This model verification step is one of the most essential tasks in modeling procedure. Traffic counts and speeds have been frequently used for the verification or validation. Authors modeled severe PM peak bottleneck situation on the I-40 corridor in Raleigh, North Carolina using DYNASMART-P, a mesoscopic traffic simulation tool and verified the model. NCDOT has Traffic Information Management System which has archive capability for the traffic speeds on the I-40 corridor. However, the authors selected travel time as the field measure for model verification and collected the data using a GPS equipment because the speed data from NCDOT speed detectors are spot speeds which are not appropriate for comparison with link average speed from the simulation model. This paper describes the GPS field data collection procedure, the model verification method, and the results.

• Proceedings of the Korea Database Society Conference
• /
• 1999.06a
• /
• pp.115-123
• /
• 1999

산업계 전반에 걸친 오랜 정보시스템 운용의 결과로 대용량의 데이타들이 축적되고 있다. 이러한 데이타로부터 유용한 지식을 추출하기 위해 여러 가지 데이타 마이닝 기법들이 연구되어왔다. 특히 데이타 웨어하우스의 등장은 이러한 데이타 마이닝에 있어 필요한 데이타 제공 환경을 제공해 주고 있다. 그러나 전문가의 적절한 판단과 해석을 거치지 않은 데이타 마이닝의 결과는 당연한 사실이거나, 사실과 다른 가짜이거나 또는 관련성이 없는(trivial, spurious and irrelevant) 내용만 무수히 쏟아낼 수 있다. 그러므로 데이타 마이닝의 결과가 비록 통계적 유의성을 가진다 하더라고 그 정당성과 유용성에 대한 검증과정과 방법론의 정립이 필요하다. 데이타 마이닝의 가장 어려운 점은 귀납적 오류를 없애기 위해 사람이 직접 그 결과를 해석하고 판단하며 아울러 새로운 탐색 방향을 제시해야 한다는 것이다. 본 논문의 목적은 이러한 데이타 마이닝에서 추출된 결과를 검증하고 아울러 새로운 지식 탐색 방향을 제시하는 방법론을 정립하는데 있다. 본 논문에서는 데이타 마이닝 기법 중 연관규칙탐사로 얻어진 결과를 설명가능성 여부의 판단을 통해 검증하는 기법을 제안하며, 이를 통해 얻어진 검증된 지식을 토대로 일반화를 통한 새로운 가설을 생성하여 데이타 웨어하우스로부터 연관규칙을 검증하는 일련의 아키텍쳐(architecture)를 제시하고자 한다. 먼저 데이타 마이닝 결과에 대한 설명의 필요성을 제시하고, 데이타 웨어하우스와 데이타 마이닝 기법들에 대한 간략한 설명과 연관규칙탐사에 대한 정의 및 방법을 보이고, 대상 영역에 대한 데이타 웨어하우스의 스키마를 보였다. 다음으로 도메인 지식(domain knowledge)과 연관규칙탐사를 통해 얻어진 결과를 표현하기 위한 지식표현 방법으로 Relational predicate Logic을 제안하였다. 연관규칙탐사로 얻어진 결과를 설명하기 위한 방법으로는 연관규칙탐사로 얻어진 연관규칙에 대해 Relational Predicate Logic으로 표현된 도메인 지식으로서 설명됨을 보이게 한다. 또한 이러한 설명(explanation)을 토대로 검증된 지식을 일반화하여 새로운 가설을 연역적으로 생성하고 이를 연관규칙탐사론 통해 검증한 후 새로운 지식을 얻는 반복적인 Explanation-based Data Mining Architecture를 제시하였다. 본 연구의 의의로는 데이타 마이닝을 통한 귀납적 지식생성에 있어 귀납적 오류의 발생을 고메인 지식을 통해 설명가능 함을 보임으로 검증하고 아울러 이러한 설명을 통해 연역적으로 새로운 가설지식을 생성시켜 이를 가설검증방식으로 검증함으로써 귀납적 접근과 연역적 접근의 통합 데이타 마이닝 접근을 제시하였다는데 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.1473-1476
• /
• 2004

위성의 개발을 위해서는 오랜 개발기간과 많은 예산, 축적된 기술이 요구된다. 또한 위성에는 다양한 분야의 기술이 사용되어지기 때문에 각 서브시스템마다 독자적인 개발환경을 구축할 필요가 있다. 특히 위성의 제어, 임무수행 및 지상과의 통신 등을 담당하는 탑재소프트웨어는 위성의 용도 및 목적에 따라 개발환경이 크게 달라진다. 실시간 운영체제는 무엇을 사용하는지, 개발 및 검증을 위한 도구로 어떤 프로그램을 사용하는지, 내외부의 인터페이스는 어떠한 방식으로 수행할지, 새로운 기능의 CPU나 하드웨어에 대한 제어 등 위성의 탑재소프트웨어를 개발하기 위해서는 다양한 사항들이 고려되어야 한다. 새로운 위성을 개발할 경우 신기술의 적용과 새로운 위성시스템의 검증 및 개발을 위한 개발검증장비가 요구되며, 위성시스템의 변경 때마다 개발검증장비를 새로이 구축하게 되면 많은 기간과 막대한 비용이 위성개발 시마다 소요된다. 위성선진국에서는 다양한 위성의 개발 시 비용절감 및 개발기간 단축을 위하여 범용위성용 개발검증장비를 개발하여 이용하고 있는 추세이다. 국내에서는 다목적실용위성 1 호가 발사되어 성공적으로 임무를 수행하고 있으며 다목적 실용위성 2 호가 개발되어 현재 통합 및 검증시험이 진행 중이다. 그러나 새로운 위성시스템의 사전검증 및 신기술의 적용을 위한 범용위성 시스템 테스트베드에 대한 기술은 미비한 실정이다. 이러한 범용위성용 개발검증장비의 기반기술을 확보하기 위하여 현재 위성전자전산시스템 개발검증장비에 대한 연구가 수행되고 있다. 본 논문에서는 현재 수행되고 있는 PowerPC를 이용한 위성 탑재소프트웨어 개발검증시스템의 설계 및 개발에 대하여 설명한다.