• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10b
• /
• pp.579-581
• /
• 1998

소프트웨어 개발에서 나타나는 많은 오류는 요구 사항에 대한 정확한 이해의 부족에서 기인된다. 따라서 분석 단계에서 요구사항을 정확하게 나타내는 활동은 전체 소프트웨어의 신뢰성에 큰 영향을 미치게 된다. 요구 검증은 요구 분석 활동에서 산출되는 정보가 요구 문서의 정보를 바르게 나타내는가를 검증하는 활동이다. 본 연구에서는 객체 지향 소프트웨어의 개발에서 요구 검증을 수행하기 위해 OFL(Object-oriented Formal Language)과 질의 추출을 적용하였다. OFL은 객체 지향 형식 상태변이사항(Formal state transition specification)으로 형식 언어가 기자고 있는 명확성을 유지하며 분석 활동의 결과를 체계적으로 제시한다. 이러한 결과와 요구 문서와의 비교를 위하여 질의 추출이 수행된다. 이는 질의를 통하여 요구 문서에서는 나타나는 정보를 체계적으로 정리하여 개발 의뢰자가 제시한 요구 사항과 개발자가 제시하는 요구 사양간에 일치성과 완전성이 존재함을 검증한다. 이러한 요구 검증은 요구 사양의 신뢰성뿐만 아니라 개발되는 소프트웨어의 신뢰성을 향상시킨다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06c
• /
• pp.15-20
• /
• 2008

데이터베이스가 DTD를 가지는 valid XML을 관리하기 위해서는 XML 문서를 변경하는 트랜잭션들에 대한변경 유효성을 검사할 수 있는 메커니즘이 필요하게 된다. 그리고 이러한 유효성의 검증 범위는 유효성을 검증하기 위해 필요한 정보를 담고 있는 노드들을 나타낸다고 할 수 있는데 이것은 유효성 검증이 올바르게 수행되기 위해서는 검증 범위에 속하는 데이터 아이템들이 다른 트랜잭션들에 의해서 변경되지 않도록 보장하는 병행수행 제어 기법이 필요하다는 것을 의미하며 이를 위해 유효성과 병행수행에 대한 낙관적 처리 기법이 필요하게 된다. 본 논문에서는 효율적인 충돌 탐지와 같은 검증 범위에서의 유효성 검사를 통해 변경 연산의 트랜잭션들의 병행수행 성능을 향상시키는 기법을 제안하고 기존연구의 유효성 검증과 충돌 탐지 기법을 비교, 분석한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.829-831
• /
• 2003

개방형 네트워크인 인터넷에서의 오든 정보 교환은 항상 정보의 노출 및 정보의 위조 및 변조 등의 위협요소를 배후에 내포하고 있다. 이러한 인터넷에서의 중요 정보 보호를 위해서는 모든 정보 교환에 있어서 정보의 탈법노출을 방지하기 위한 기밀성, 정보의 위조 및 변조 여부를 판단하는 무결성. 정보의 송신자와 수신자 사이렌 송수신 사실을 부인하지 못 하도록 하는 부인방지, 전송된 정보의 송신자라 수신자를 확실하게 증명해주는 인증 등의 기능들이 제공되어야한다. PKI 기반의 인증서 상태 검증 시스템은 위와 같은 4가지의 기능을 제공해 준다. 하지만 실시간으로 인증서의 대한 상태 정보를 제공하지 못 한다는 단점과 인증서 상태 검증을 위해 많은 정보를 전송해야 하기 때문에 네트웍 과부하에 문제가 발생한다. 그로 인해 인증서 상태 검증에 소요되는 처리 속도가 느리다는 단점이 있다. 본 논문에서는 기존 방식의 문제점인 인증서 상태 정보의 실시간성 반영 문제 및 인증서 상태 겅증 시간의 향상을 위한 인증서 자체의 Serial과 UserDN만을 이용한 축약 서명 기반의 효율적인 인증서 상태 검증 시스템을 제안하고, 실제 실험을 통하여 기존의 시스템과 제안하는 시스템의 인증서 상태 검증 속도를 비교해 보고자 한다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2021.06a
• /
• pp.190-192
• /
• 2021

얼굴 검증 기술은 출입통제 시스템이나 모바일 기기에서의 열람 또는 금융 서비스 등 보안이 요구되는 다양한 분야에서 널리활용되고 있다. 최근 얼굴 검증 분야에서 높은 성능 향상을 보인 대부분의 검증 모델은 깊은 네트워크를 사용하므로 상대적으로 매우 큰 컴퓨팅 파워를 요구한다. 따라서 해당 모델들을 실환경에 적용하기 위해서는 모델 경량화 기술에 대한 고려가 반드시 필요하다. 얼굴 검증 연구에서 경량화 기술의 중요성에도 불구하고 해당 연구는 이제까지 잘 다뤄지지 않았다. 본 논문은 주요 얼굴 검증 모델에 대해서 지식 증류 기술을 수행하고, 이에 따른 실험 결과를 비교 분석하여 제시함으로써 경량화 기술 적용에 대한 방향성을 제시한다.

• Proceedings of the KAIS Fall Conference
• /
• 2010.05a
• /
• pp.169-171
• /
• 2010

본 논문에서는 하드웨어 잡음원의 난수성에 대한 검증 기준과 관련하여, NIST SP800-22, AIS-31, Crypto-X, FIPS 표준을 기준으로 비교분석하였다.

• Fire Science and Engineering
• /
• v.18 no.3
• /
• pp.9-17
• /
• 2004

The values of physical properties of the inert gases of Ar, $N_2$, $CO_2$ were calculated by the empirical equations. The regression coefficients were obtained by the experimental data and the resulting calculated values. For the empirical equation with a lower regression coefficient, a new correlation was suggested. At an atmosphere pressure, the empirical equation was confirmed by the experimental values for the viscosity, density, saturated pressure, and surface tension of Ar, $N_2$, $CO_2$. The correlation coefficients of the empirical equations proposed in this work was higher than 0.99.

• Journal of the Korea Fashion and Costume Design Association
• /
• v.11 no.1
• /
• pp.181-192
• /
• 2009

본 연구는 소비자가 다른 사람과 차별되며 특별하게 지각되고자 하는 성향을 나타내는 소비자의독특성 욕구와 의복에 대한 관심이 브랜드 인식, 브랜드 충성, 및 구매의도와의 어떠한 관계를 지니고 있는지를 밝히고자 하였다. 특히 이러한 관계에 있어 문화간의 차이가 있는지를 알아보기 위하여 한국과 미국 소비자를 대상으로, 소비자특성이 구매의사결정에 미치는 과정의 모형을 검증한 후, 두 모형을 비교 분석하였다. 자료는 설문지를 사용하여 한국과 미국대학생을 중심으로 수집되었으며, 응답이 부정확하거나 불성실한 설문지를 제외하고, 총 485부-한국 271부와 미국 214부-만이 최종 자료 분석에 사용되었다 본 연구에서 사용한 통계분석방법으로 신뢰도 검증을 위하여 SPSS 11.0을 이용하여 신뢰도 계수를 구하였으며, Prelis 2와 Lisrel 8.53으로 확인적 요인분석 및 모형검증을 실시하였다. 한국과 미국소비자의 선택친 모형을 비교한 결과, 전반적인 모형의 구조에도 차이를 보였을 뿐 아니라 각 변수간의 영향력에도 차이가 있음을 나타냈다. 소비자의 독특성 욕구의 하위차원인 '독창적 선택'과 '브랜드 충성도'의 관계는 두 그룹간의 반대의 성향을 보였으며, '비대증적 선택'과 '브랜드 인식'도 또한 한국 소비자는 정의 관계를 보인 반면, 미국소비자는 부의 관계를 나타냈다. 이와 더불어 유사성을 회피하려는 한국소비자들은 브랜드에 충성하는 경향이 있는 반면, 미국소비자들은 브랜드 인식도가 높은 것으로 나타나 두 문화간의 차이가 있음을 뒷받침하였다. '브랜드 충성도'는 두 집단 모두 '구매의도'에 상대적으로 높은 영향을 미치는 것으로 나타났다.

• Aerospace Engineering and Technology
• /
• v.10 no.2
• /
• pp.1-10
• /
• 2011

This is a comparative study of three inertia navigation units and focuses on the verification of reliability about GPS/INS for the SmartUAV(DGNS). Those GPS/INS have been tested using a manned aircraft and an automobile. The comparative aspect of units include details about the GPS positions and the inertia sensor performance. With the flight scenario, the DGNS guarantees the reliability of the navigation operation and performs the flight test for the development of the SmartUAV.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.109-109
• /
• 2019

본 연구에서는 강우-유출 과정 모의를 위한 GPU 기반 확산파 모형을 개발하였다. 확산파 방정식을 풀기위한 수치기법으로는 유한체적법을 이용하였으며, van Leer TVD limiter를 적용한 MUSCL 기법을 이용하여 각 셀의 인터페이스의 물리적 성질을 재구성하여 구하였다. 또한, 침투를 고려하기 위하여 Horton 침투 모형을 이용하였다. 개발된 모형을 이용하여 1D single overland plane과 2D V-shaped overland에서 강우-유출 과정을 모의실험을 하였으며, 각각 해석해와 dynamic wave model을 이용하여 계산된 수치 결과와 비교하여 본 모형의 정확성을 검증하였다. 또한, 1D와 2D의 기복이 심한 지형에 적용하여 강우-유출과정이 본 모형을 통하여 물리적으로 타당한 해석이 가능함을 검증하였다. 마지막으로 복잡한 실제 지형에 적용하였으며, 측정값과의 비교를 통하여 실제 유역에서의 확산파 모형의 적정성을 검증하였다. 또한, 본 연구에서는 NVIDIA사의 GPU인 Geforce GTX 1050과 GPU의 병렬 연산 처리 능력을 활용할 수 있는 NVIDIA사의 CUDA-Fortran을 이용하여 GPU 기반 확산파 모형을 개발하였다. PC windows에서 CPU(Intel i7, 4.70 GHz) 기반 모형 대비 GPU 기반 모형의 계산속도 성능을 비교한 결과, 격자 간격이 증가할수록 CPU 기반 모형 대비 GPU 기반 모형의 연산 효율이 증가하였으며, 격자 간격이 $3200{\times}3200$일 때, CPU 기반 모형 대비 GPU 기반 모형의 연산 효율이 최대 약 150배 증가하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.772-774
• /
• 2002

우리는 RSA 서명에 기반한 효율적인 공정한 예약과 교환 프로토콜을 위해 검증 가능한 암호화를 일반화한 부분적인 검증 가능한 암호화를 제안한다. 부분적인 검증 가능만 암호화를 이용해서 서명에 대한 공정한 교환과 더불어 전자 계약 시 사전 계약이나 비행기 티켓에 대한 예약을 짤 수 있도록 프로토콜을 확장했다. 또한 예약과 교환 시에 공정성을 보장하도록 했다. 이로써 우리는 공정한 교환 프로토콜의 교환단계에서 발생하는 계산 양과 전송 양을 예약과 교환 단계로 분산시키는 효과를 얻었다. 그리고 마지막으로 Ateniese가 제안한 RSA 서명에 기반만 공정한 교완 프로토콜과 성능 비교를 하였다.