• 비파괴검사학회지
• /
• 제32권4호
• /
• pp.355-361
• /
• 2012

This paper presents an experimental study on the detection and location of nonlinear scattering source due to the presence of fatigue crack in a laboratory specimen. The proposed technique is based on a combination of nonlinear elastic wave spectroscopy(NEWS) and time reversal(TR) focusing approach. In order to focus on the nonlinear scattering position due to the fatigue crack, we employed only one transmitting transducer and one receiving transducer, taking advantage of long duration of reception signal that includes multiple linear scattering such as mode conversion and boundary reflections. NEWS technique was then used as a pre-treatment of TR for spatial focusing of reemitted second harmonic signal. The robustness of this approach was demonstrated on a cracked specimen and the nonlinear TR focusing behavior is observed on the crack interface from which the second harmonic signal was originated.

• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2006년도 추계학술대회
• /
• pp.190-193
• /
• 2006

Ther are many stages of the development for the embedded systems' hardware and software as well, which results in many test stages of it with respect to corresponding development stages. The software validation of embedded systems is taken into consideration for the testers to make sure that the systems work correctly after the deployment. Among test stages, especially control logic level testing and system validation testing are considered as the most important test, because the robustness of embedded systems' software can be validated by those two level of tests. in this paper, we would like to introduce the idea of how software test system for embedded systems can be established and of what necessary components are needed

• 방송공학회논문지
• /
• 제17권2호
• /
• pp.252-261
• /
• 2012

본 논문은 에러 발생 가능한 예측 움직임 벡터를 제외한 후보 예측 움직임 벡터들 중 율-왜곡 관점에서 최적의 예측 움직임 벡터를 선택하고 그에 대한 인덱스 정보에 대해 모순 검증 기술을 적용한다. 이를 통하여 후보 예측 움직임 벡터 대상들 중 모순으로 판명된 일부를 대상 후보 집합에서 제외시켜 부호화 효율을 증가시키는 방법을 제안한다. 제안하는 모순 검증 기반 움직임 벡터 부호화 방법은 H.264/AVC 방법과 비교하여 최대 1.8%의 비트량을 절감시킨다.

• 전자공학회논문지CI
• /
• 제48권1호
• /
• pp.133-140
• /
• 2011

최근 들어, 웹 응용의 하나로 이미지를 통합 관리하는 이미지 거래소(Image Stock), 이미지 도서관(Image Library)과 같은 응용들이 많이 만들어 지고 있다. 이미지의 등록, 관리, 검색에는 주로 이미지 해쉬라는 기술이 구분자(Identifier)로서 쓰이며 해쉬의 분별력을 높이기 위한 연구들이 많이 진행되어지고 있다. 본 논문에서는 계층적 히스토그램을 이용한 GLOCAL(Global to Local) 이미지 해쉬 생성 방법을 제안하였다. 많은 연구들이 이미지 처리 및 기하학적 공격에 강한 히스토그램 기반의 이미지 해쉬 기법들을 제안하였으며 제안된 논문에서는 GLOCAL 해쉬 생성과 가중치(Weighting Factor)를 적용하여 해쉬의 안정성을 높이는데 기여하였다. GLOCAL 해쉬 생성 방법에 의해 기존의 알고리즘들은 좀더 풍부한 길이의 이미지 해쉬를 생성하였다. 즉, 이미지 해쉬의 근본 목적인 Identification과 Discrimination 이라는 두 가지 목적을 잘 달성하였으며 그 결과는 통계학적 가설 검정 (Statistical Hypothesis Testing)을 통해 기존의 알고리즘과 비교하였으며 대부분의 공격종류에 대해 제안된 알고리즘이 향상된 성능을 보여줌을 확인하였다.

• 한국정보통신학회논문지
• /
• 제14권3호
• /
• pp.613-620
• /
• 2010

화자인증 시스템은 훈련 환경과 인식 환경이 다른 경우 인식 성능이 크게 저하된다. 이러한 훈련과 인식 환경의 불일치는 다양한 잡음과 상이한 채널 환경 때문이다. 본 논문은 화자인증 시스템의 강인성 개선을 위하여 음성신호의 위상에 기반한 특정 추출 기법을 제안한다. 이 방법은 음성신호의 위상으로부터 순시 주파수를 계산하여 대역별로 순시 주파수를 모두 모아 구한 히스토그램으로부터 특징 계수를 추출한다. 이 특징 파라미터를 적용한 결과 조 용한 환경뿐만 아니라 잡음환경 그리고 채널 왜곡 환경에서도 화자인증 시스템의 성능이 개선됨을 알 수 있다.

• Journal of the Korean Data and Information Science Society
• /
• 제10권1호
• /
• pp.233-241
• /
• 1999

본 논문에서는 공정평균을 관리하기 위한 관리도로서 지수가중 이동평균(EWMA)관리도를 고려하였다. 기존의 표본평균에 기초한 관리도의 비로버스트성 (non-robustness)에 근거하여 공정평균의 로버스트 추정량인 M-추정량에 기초한 지수가중 이동평균 관리도를 제안하였다. 제안된 관리도의 성능을 기존의 관리도와 비교해 보기 위하여 다양한 상황에서 모의실험을 행하였으며, 실험결과 제안된 관리도의 우수성이 입증되었다.

• Structural Engineering and Mechanics
• /
• 제53권1호
• /
• pp.173-188
• /
• 2015

Several structural calamities in the second half of the 20th century have shown that adequate collapse-resistance cannot be achieved by designing the individual elements of a structure without taking their interconnectivity into consideration. It has long been acknowledged that membrane behaviour of reinforced concrete structures can significantly increase the robustness of a structure and delay a complete collapse. An experimental large-scale test was conducted on a horizontally restrained, continuous reinforced concrete slab exposed to an artificial failure of the central support and subsequent loading until collapse of the specimen. Within this investigation the development of catenary action associated with the formation of large displacements was observed to increase the ultimate load capacity of the specimen significantly. The development of displacements, strains and horizontal forces within this investigation confirmed a load transfer process from an elastic bending mechanism to a tension controlled catenary mechanism. In this contribution a special focus is directed towards strain and crack development at critical sections. The results of this contribution are of particular importance when validating numerical models related to the development of catenary action in concrete slabs.

• 터널과지하공간
• /
• 제34권2호
• /
• pp.127-142
• /
• 2024

수치해석 기법의 강건성은 다양한 모델링 조건에서 계산 성능이 유지되는 것을 의미하며, 새로운 해석기법 또는 수치코드는 벤치마크 테스트를 통해 강건성이 평가될 필요가 있다. TOUGH-FLAC 모델링 기법은 국내외적으로 이산화탄소 지중저장, 사용후핵연료 지층처분, 지열 개발 등 다양한 분야에 적용되었으며, 실험 계측자료, 다른 수치코드들과의 결과 비교를 통해 모델링 유효성이 분석되었다. 본 연구에서는 해석해를 갖는 열-수리-역학적 복합거동 문제를 토대로 TOUGH-FLAC 기법의 벤치마크 테스트를 수행하였다. 적용된 해석해는 완전히 포화된 지반에 점열원 작용 시 주변매질의 온도, 간극수압, 역학적 거동과 관계되며, 해석해와 수치모사 결과를 비교하여 TOUGH-FLAC 기법의 강건성이 평가되었다. 또한, 열-수리-역학 해석의 연계항, 유체 상변화, 시간증분이 복합거동 계산에 미치는 영향을 조사하였다.

• 항공우주기술
• /
• 제10권2호
• /
• pp.37-48
• /
• 2011

영상 레이더(SAR)는 날씨나 밤낮에 관계없이 전천후로 고해상도의 지구 관측을 가능하게 하는 강력하고 잘 정립된 마이크로웨이브 원격 탐사 기술이다. 한국항공우주연구원에서는 올해 발사될 예정인 우리나라 최초의 영상 레이더 위성을 개발해오고 있다. 영상 레이더 위성은 크게 위성 본체와 SAR 탑재체로 이루어진다. SAR 탑재체는 고출력의 전력을 SAR 안테나를 통하여 방사하기 때문에 설계 단계에서의 고주파 호환성 있는 설계와 시험단계에서의 고주파 호환성 검증이 실제 궤도 상에서 성능 보장을 위해서 무엇보다 중요한 절차이다. 본 연구에서는 영상 레이더 위성의 고주파 호환성을 위한 설계 기준과 검증 절차에 대하여 기술한다. 부가적으로 본 논문은 영상 레이더 위성의 RF 성능의 강건성 검증을 위한 RF 전체 방사 시험(RF 자체 호환성 시험)과 시험 형상 그리고 시험 결과에 대하여 기술한다.

• 대한임베디드공학회논문지
• /
• 제14권6호
• /
• pp.329-338
• /
• 2019

Today's embedded software (SW) developments are mostly preceded by composing Software Requirement Specification (SRS). In particular, in the domain of weapon systems, it is essential to have a systematic method for the verification of the SW functionality. To be more specific, it is crucial to check if the SW functionality is implemented as described in SRS, so-called SW suitability verification. Unfortunately, existing static or dynamic SW testing methods are not sufficient to evaluate suitability with SRS since those testings only verify the robustness of the SW codes. In this paper, we propose an automatic embedded SW suitability verification framework which is based on a structured SRS. The major challenge in the automation of this verification framework is how to get rid of ambiguities in SRS. In order to overcome this challenge, we propose a structured SRS description framework and the supporting toolchain for that. We show how the proposed framework is applied to an actual SRS of a weapon system.