• Smart Structures and Systems
• /
• v.16 no.3
• /
• pp.435-457
• /
• 2015

The most widely known form of multifunctional aircraft structure is smart structures for structural health monitoring (SHM). The aim is to provide automated systems whose purposes are to identify and to characterize possible damage within structures by using a network of actuators and sensors. Unfortunately, environmental and operational variability render many of the proposed damage detection methods difficult to successfully be applied. In this paper, an original robust damage detection approach using output-only vibration data is proposed. It is based on independent component analysis and matrix perturbation analysis, where an analytical threshold is proposed to get rid of statistical assumptions usually performed in damage detection approach. The effectiveness of the proposed SHM method is demonstrated numerically using finite element simulations and experimentally through a conformal load-bearing antenna structure and composite plates instrumented with piezoelectric ceramic materials.

• Structural Engineering and Mechanics
• /
• v.38 no.6
• /
• pp.767-802
• /
• 2011

Developers of new finite elements or nonlinear solution techniques rely on discriminative benchmark tests drawn from the literature to assess the advantages and drawbacks of new formulations. Buckling benchmark tests provide a rigorous evaluation of finite elements applied to thin structures, and a complete and detailed set of reference results would therefore prove very useful in carrying out such evaluations. Results are usually presented in the form of load-deflection curves that developers must reconstruct by extracting the points, a procedure which is often tedious and inaccurate. Moreover the curves are usually given without accompanying information such as the calculation time or number of iterations it took for the model to converge, even though this type of data is equally important in practice. This paper presents ten different limit-point buckling benchmark tests, and provides for each one the reference load-deflection curve, all the points necessary to recreate the curve in tabulated form, analysis data such as calculation time, number of iterations and increments, and all of the inputs used to obtain these results.

• Journal of Communications and Networks
• /
• v.16 no.4
• /
• pp.385-396
• /
• 2014

In this paper, we present a formal method for modeling and checking an enhanced version of the carrier sense multiple access with collision avoidance protocol related to the IEEE 802.11 MAC layer, which has been proposed as the standard protocol for wireless local area networks. We deal mainly with the distributed coordination function (DCF) procedure of this protocol throughout a sequence of transformation steps. First, we use the unified modeling language state machines to thoroughly capture the behavior of wireless stations implementing a DCF, and then translate them into the input language of the UPPAAL model checking tool, which is a network of communicating timed automata. Finally, we proceed by checking of some of the safety and liveness properties, such as deadlock-freedom, using this tool.

• Archives of Pharmacal Research
• /
• v.14 no.4
• /
• pp.305-310
• /
• 1991

In order to find out the values of the steroid resources for the future use, the compositions and contents of steroidal sapogenins from 13 domestic plants have been investigated. As a result Dioscorea nipponica, D. quinqueloba and Smilax china were found to have large amount of diosgenin. And pennogenin in Trillium kamtschaticum and Paris verticillata, yuccagenin in Allium fistulosum, hecogenin in Agave americana and neochlorogenin in Solanum nigum were appeared to be major steroidal sapogenins.

• Steel and Composite Structures
• /
• v.17 no.2
• /
• pp.185-198
• /
• 2014

Carbon-manganese steel A42 (French standards) is used in steam generator pipes of nuclear center and subject to low cycle fatigue (LCF) loads. In order to obtain the material LCF behavior, the tests are implemented in a hydraulic fatigue machine. The LCF plastic deformation and cyclic stress in macroscope have been influenced by the accumulated low cycle fatigue damage. The constitutive kinematic and isotropic hardening modeling is modified with coupling fatigue damage to describe the fatigue behavior. The improved model seems to be good agreement with the test results.

• Journal of Electrical Engineering and Technology
• /
• v.12 no.3
• /
• pp.1038-1045
• /
• 2017

To address mounting concerns over global warming, the Paris Agreement was reached in December 2015, which aims to limit the increase in global average temperature. South Korea has set a highly ambitious target to reduce emissions and submitted an Intended Nationally Determined Contribution (INDC). Based on the INDC, we investigated the impact of limiting carbon emissions on the power system and the electricity market in Korea. Through detailed simulations on assumed plausible scenarios, this work highlights a) the effects of different carbon emission targets on the annual carbon emission volumes, generation costs, and carbon price; b) the generation mix changes induced by carbon emission limits; and c) the difference in system marginal price and payments for generator owners that carbon emission constraint creates in electricity markets under three different pricing rules.

• Journal of the Korean Society for Precision Engineering
• /
• v.7 no.2
• /
• pp.39-46
• /
• 1990

In this study, the mechanical behavious of a center crack which propagates between two holes in a panel are investigated. It is confirmed experimentally and analytically that a center crack stops and a small crack initiates from holes and propagates to fracture because of the compressive stress arising along the path of the fatigue crack propagation. Futhermore, it is noted that regardless of the configuration of the crack and the structure, Paris' law can be applied to the fatigue crack propagation.

• Journal of Information Processing Systems
• /
• v.15 no.2
• /
• pp.399-409
• /
• 2019

Three-dimensional (3D) human pose reconstruction from single-view image is a difficult and challenging topic. Existing approaches mostly process frame-by-frame independently while inter-frames are highly correlated in a sequence. In contrast, we introduce a novel spatial-temporal 3D human pose reconstruction framework that leverages both intra and inter-frame relationships in consecutive 2D pose sequences. Orthogonal matching pursuit (OMP) algorithm, pre-trained pose-angle limits and temporal models have been implemented. Several quantitative comparisons between our proposed framework and recent works have been studied on CMU motion capture dataset and Vietnamese traditional dance sequences. Our framework outperforms others by 10% lower of Euclidean reconstruction error and more robust against Gaussian noise. Additionally, it is also important to mention that our reconstructed 3D pose sequences are more natural and smoother than others.

• International Journal of Computer Science & Network Security
• /
• v.23 no.3
• /
• pp.139-143
• /
• 2023

In this article we propose using mathematical models of signals in wireless communication systems with autocorrelation reception of modulated ultra-wideband signals. For the transmission of information content, the method of positional-time coding is used, in which each information bit is encoded by hundreds of ultrashort pulses that arrive within a certain sequence. Comparative analysis has shown that the best noise immunity of the systems considered in this paper is the communication system, which uses the time separation of the reference and information signals.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2024.01a
• /
• pp.313-315
• /
• 2024

본 논문에서는 이미지 검색기를 통한 랜드마크 인식 방법을 제안한다. 특정 랜드마크 데이터세트에서 라벨링을 하지 않은 비지도 학습을 통해서 이미지에서 랜드마크의 클래스 분류를 위한 특징을 추출한다. 학습된 모델을 랜드마크 데이터세트인 Paris6k 데이터세트와 Oxford5k 데이터세트에 적용하여 랜드마크 인식 정확도를 확인하였다. 성능과 속도를 강화하기 위해 이미지 특징 추출 모델로 ResNet 대신에 YOLO에서 사용된 CSPDarknet-53을 사용하여 모델의 크기를 줄이고 랜드마크 인식 정확도를 높였다. 그리고 모델로부터 추출된 특징의 수를 줄여 이미지 검색 시 소요되는 시간을 감소시켰다. 학습된 모델로 rOxford5k 데이터 세트에 적용 시 mAP 80.37, rParis6k에서 mAP 89.07을 얻었다.