• 정보과학회 논문지
• /
• 제41권10호
• /
• pp.774-784
• /
• 2014

상태 머신 다이어그램 결함 주입을 통하여 강건성 테스트 케이스를 생성하기 위한 연구가 수행되고 있다. 그러나 기존의 연구들은 상태 머신 다이어그램의 구조적인 측면만을 단순 고려하고 있기 때문에 작은 크기의 모델임에도 불구하고 많은 결함이 주입될 수 있다. 본 논문에서는 강건성 테스트의 효과성은 유지한 채, 주입될 결함의 수를 줄이기 위한 결함 주입 방법을 제안한다. 제안 방법은 전자레인지 상태 머신 다이어그램을 이용하여 설명되었으며, 유효성을 검증하기 위하여 해쉬 테이블 상태 머신 다이어그램에 제안 방법을 적용하였다. 해쉬 테이블에 적용된 실험 결과, 제안 연구는 강건성 테스트의 효과성은 유지하였으며, 주입된 결함의 수는 43%, 생성한 테스트 케이스의 수는 63% 감소시킨 것을 확인할 수 있었다.

• 한국음향학회지
• /
• 제38권3호
• /
• pp.334-339
• /
• 2019

차량 점용접 부위에서 BSR(Buzz, Squeak, Rattle) 소음 발생 가능성을 국부 진동을 사용하여 비파괴적으로 추정하는 진동기반 계측법을 제시한다. 용접부에 부착된 구조물에 의한 점용점 부위의 국부적인 진동을 유발하고 진동전달 특성을 파악한다. 관측된 진동 특성으로부터 국부 구조의 굽힘강성값을 도출하였다. 강성값의 변화로부터 점용접의 상태 강건성을 파악하였다. 제시되는 방법의 검증을 위해 부분적으로 용접품질이 변화된 시편을 제작하였다. 제작된 시편에서 계측된 진동 특성을 분석하였다. 용접 강건성에 의해 변화하는 특정 주파수 대역을 파악하였다. 구조별, 위치별 계측을 통해 제시된 방법으로 분별이 가능한지 검증하였다. 국부 진동 평가방법은 구조물의 용접 강건성을 생산 현장에서 파악하게 하는 평가방법으로써 BSR발생 가능성을 저감하기위한 생산 품질 확보에 사용될 수 있다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2013년도 추계학술대회 논문집
• /
• pp.196-197
• /
• 2013

친환경 차량의 필수장치로 사용되는 OBC(On Board Charger) 및 LDC(Low DC-DC Converter)는 시스템 성능은 물론 하드웨어적인 신뢰성과 더불어 차량에서 발생할 수 있는 다양한 Fault로부터 차량과 운전자를 보호할 수 있는 안정성과 신뢰성을 확보하는 것이 요구된다. OBC/LDC 개발에 있어 시제품을 제작하여 성능 검증과 하드웨어 신뢰성을 확보하는 것은 현재의 개발 프로세서로 충분하지만 차량에서 발생하는 다양한 Fault 상황에 대한 강건성 확보는 실차에 탑재하여 검증하지 않고서는 뚜렷한 검증 방법이 없는 실정이다. 이에 따라 본 논문에서는 차량에서 발생될 수 있는 다양한 Fault 상황을 시뮬레이터로 모사하여, 이러한 Fault를 전력변환장치에 인위적으로 주입시킨 뒤 전력변환장치가 정상적으로 동작하는지 분석한다. 이를 통해 실차에 탑재하지 않고 전력변환시스템의 신뢰성을 검증하기 위한 방안을 제시한다.

• 대한기계학회논문집A
• /
• 제38권5호
• /
• pp.535-543
• /
• 2014

강건최적설계 분야에서 목적함수의 강건성은 목적함수의 변화가 둔감한 해를 강조한다. 일반적으로 목적함수의 강건성은 설계변수나 파라미터에 대한 목적함수의 변동을 줄임으로써 달성할 수 있다. 하지만, 기존의 방법들에서는 변동에 둔감한 목적을 달성하기 위해 목적함수의 값이 희생되는 경우가 있다. 또한, 설계변수의 수가 증가할수록 비선형계획법을 이용한 강건최적설계의 수치적 계산비용은 증가한다. 본 연구에서는 상한함수를 사용한 새로운 강건성지수와 비선형계획법에서의 강건최적설계 방법을 제안한다. 또한, 제안한 방법의 효율성을 향상시키기 위하여 선형화된 함수의 상한 값을 이용한 방법도 소개한다. 이를 다양한 수학예제에 적용하고 기존의 강건성지수와 수치적 성능 비교를 통해 제안한 방법의 유용성을 검증한다. 제안한 강건성지수는 목적함수의 성능에 손실이 발생하지 않으며 효율성을 크게 향상시킬 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제36권10호
• /
• pp.800-815
• /
• 2009

최근 웹 서비스 기반 서비스 지향 구조는 네트워크 상에 분산된 다양한 애플리케이션을 효과적으로 통합하기 위한 방법으로 널리 활용되고 있다. 서비스 지향 구조에서 BPEL은 비즈니스 프로세스 모델 언어로, 다양한 서비스들을 통합하는 방법을 제시하고 있다. 현재 이러한 BPEL을 이용한 서비스 통합 및 조합에 관해 많은 연구가 진행되고 있으며 서비스들 간의 호환성을 검증하려는 노력, 비즈니스 프로세스의 식별과 추적에 관한 몇몇 연구가 진행되었다. 그러나 다양한 서비스의 조합으로 인해 발생하는 문제를 해결하려는 연구는 부족하다. 특히 조합된 서비스가 얼마나 신뢰할 수 있는지, 예외 상황에 대해 얼마나 강건하게 대처할 수 있는지 평가하고자 하는 노력은 거의 이루어지지 않았다. 이에 본 논문에서는 BPEL을 이용한 서비스 조합에 있어서 조합된 서비스의 강건성을 테스트하기 위한 방법과 이 방법을 지원하기 위한 테스트 프레임워크를 제시한다. 본 논문의 방법은 BPEL 프로세스와 참여하는 다양한 서비스를 분석하고, 분석된 정보를 바탕으로 실제 서비스들에서 발생 가능한 다양한 예외 상황을 발생시키는 가상의 환경을 구축하여 강건성 테스트를 수행한다. 이는 BPEL 프로세스로 표현된 서비스 조합이 얼마나 예외 상황에 강건하게 대처하는지 검증하는 방법이다.

• 한국구조물진단유지관리공학회 논문집
• /
• 제21권5호
• /
• pp.108-116
• /
• 2017

본 연구는 연쇄붕괴 저항성능 평가 시 기둥의 순간적인 제거에 따른 동적효과가 반영된 에너지 기반 근사해석의 적용성을 확인하기 위해 내진 설계된 철골모멘트골조의 예제구조물을 대상으로 분석하였으며, 이를 통해 구조 강건성을 산정하여 연쇄붕괴에 대한 민감도를 평가할 수 있는 방법을 제시하였다. 예제구조물에 대한 적용을 통해 비선형 정적해석 결과를 이용한 에너지 기반 근사해석과 직접동적해석에 대한 결과가 잘 일치하는 것을 검증하였으며, 다른 구조시스템을 가지는 건물의 연쇄붕괴에 대한 구조적 내력성능을 비교하기 위한 수단으로 구조물의 민감도를 평가하였다. 이는 비정상하중에 대하여 구조물이 연쇄붕괴에 저항할 수 있는 최대보유 잔류내력 성능인 구조 강건성을 이용하였고, 본 연구에서 제시한 방법을 통해 연쇄붕괴 해석 및 설계에 편리하게 활용될 수 있음을 확인하였다.

• 한국산학기술학회:학술대회논문집
• /
• 한국산학기술학회 2007년도 추계학술발표논문집
• /
• pp.198-200
• /
• 2007

본 논문에서는 블록 기반으로 압축된 이미지의 전송방법에서 EREC 기법들의 패킷 손실 내성을 평가하고 패킷 손실 환경에서 현존하는 EREC의 성능을 비교한다. 이 논문에서는 기존의 EREC 기법들이 임의의 비트에 대한 에러 내성을 제공하는 것과는 대조적으로 패킷 손실 환경에서 EREC방법의 검증을 그 목적으로 한다.

• 한국항공우주학회지
• /
• 제43권9호
• /
• pp.781-786
• /
• 2015

공력탄성학적 안정성 해석에 있어서 모델링 오차 및 구조 불확도에 의해 결과의 정확도는 떨어질 수 있다. 따라서, 이러한 모델링 오차 및 구조 불확도를 고려한 공탄성 안정성 경계를 예측할 필요가 있다. 이러한 모델링 오차 및 불확도를 고려한 공탄성 안정성 예측을 위해 강건 공탄성 해석이 제안되었다. 본 연구에서는 ${\mu}$ 해석기법과 모달접근법과 MSA를 사용한 조종날개의 공탄성 모델로 부터 강건 공탄성 모델링과 해석을 수행하였다. 강건 공탄성 해석 프로그램이 개발되었고, 기존의 공탄성 해석 결과와 비교/검증하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제32권6호
• /
• pp.288-295
• /
• 2005

멀티-사인크립션 프로토콜은 사인크릴션의 확장개념으로 다수의 서명자들이 각 메시지들에 대해서 함께 사인크립션 과정을 수행하는 프로토콜을 말한다. 이것은 기밀성 기능과 인증 기능을 제공함으로써 소프트웨어나 기타 여러 문서들이 인터넷상에서 건전하게 배포되고, 송·수신될 수 있도록 하는 유용한 암호학적 프로토콜이다. 본 논문에서는 기존의 멀티-사인크림션 프로토콜들의 취약점들을 분석하고, 기존 연구들의 효율성과 취약점들을 개선하여 새로운 멀티-사인크립션 프로토콜을 제안한다. 제안하는 프로토콜은 메시지 유연성과 순서의 유연성, 메시지 검증성과 순서의 검증성, 메시지 기밀성, 메시지 위조불가능성, 부인방지성, 강건성을 효율적으로 제공한다. 따라서 제안하는 프로토콜은 인터넷상에서, 다수 서명자들의 메시지들을 악의적인 사용자로부터 보호하기에 적합하다.

• 정보보호학회논문지
• /
• 제17권1호
• /
• pp.115-119
• /
• 2007

IPv6 프로토콜은 네트워크에 참여하는 노드가 별도의 관리자 작업 없이 자동으로 주소를 생성하는 방법을 제공하며, 생성된 주소는 사용되기 전에 유일성 검증을 위하여 Duplication Address Detection(DAD) 메커니즘을 수행한다. 하지만 검증 과정에서 악의적인 노드의 공격에 의해 이미 사용하고 있는 주소로 판단되어 주소 생성이 실패할 가능성이 존재한다. 따라서 본 논문에서는 해쉬 함수를 기반으로 주소를 생성하고 검증함으로써, 빠르고 강건한 주소 생성과 및 검증 메커니즘을 보인다. 이 기법은 공항, 터미널, 회의실과 같이 많은 노드들의 무선 네트워크 참여가 빈번한 공공장소에서 SEND 메커니즘보다 더욱 효과적으로 주소 생성 및 검증을 할 수 있다.