• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.29 no.5
• /
• pp.405-411
• /
• 2016

This paper presented the theory related to a two dimensional linear cross-sectional analysis, recovery relationship and a one-dimensional nonlinear beam analysis for composite beam with initial twist and high aspect ratio. Using VABS including related theory, preceding research data of the composite wing structure has been modeled and compared. Cross-sectional analysis was performed and 1-D beam was modeled at cutting point including all the details of real geometry and material. The 3-D strain distribution and margin of safety at recovery point was calculated based on the global behavior of the 1-D beam analysis and visualize numerical results.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.9 no.1
• /
• pp.111-119
• /
• 2005

This study presents continuous and discrete optimum design algorithm and computer programs for unbraced and braced steel frame structures under earthquake loads. The program, which is avaliable to perform structural analysis and optimum design, continuous and discrete, simultaneously is developed. And the program adopts various braced types, Untraced, Z-braced(V), Z-braced(inverse-V), X-braced(A), X-braced(B), X-braced(C) and K-braced, in steel structures with static loads and seismic effects. The objectives in this optimization are to minimize the total weight of steel, and design variables, based on the ultimate strength requirements of AISC-ASD specifications, the serviceability requirements and allowable story drift requirements of ATC-3-06, and various constraints. The purpose is to present proper braced type for seismic effects by comparing and analysing results of various cases.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.10 no.4
• /
• pp.97-107
• /
• 2006

This study is structural analysis and continuous, discrete optimum design of braced steel frame structures under earthquake loads considering soil condition. The program which is able to perform simultaneously structural analysis and continuous, discrete optimum design, it is applied steel frame structures using unbraced, Z-braced, and X-braced types and analyze the program about static loads and seismic loads. The purpose of this study is to present proper braced type for seismic effects by comparing and analyzing results of analytic method about various cases using specially Newmark-Hall design spectrum, ATC design spectrum and ATC equivalent static analysis and finding minimum weight and design variables which satisfy the ultimate strength requirements of AISC-ASD specifications, the serviceability requirements and allowable story drift requirements of ATC-3-06 and various constraints.

• The Journal of the Acoustical Society of Korea
• /
• v.24 no.7
• /
• pp.402-409
• /
• 2005

In this paper. we propose a coding method using a matching pursuit algorithm in a strongly periodic highband signal. Also. we propose an efficient quantizer for the estimated parameters : spectral magnitude and phase. Based on the error concealment principle and sinusoidal model. the MP algorithm requires the high-precision pitch period estimation. To estimate more accurate pitch period. the refined pitch obtained from lowband speech is used. which increases the efficiency of bit allocation. The spectral magnitude parameters are quantized by the method which is combined with MDCT (Modified Discrete Cosine Transform) and multi-stage structure. The spectral phase quantizer uses the $2{\pi}$ modular characteristic of phases and the weighted function by spectral magnitudes. To evaluate the efficiency of the proposed method. we applied it to analysis-by-synthesis system. Furthermore we suggest the possibillity of scalable wideband speech codecs based on band-split structure.

• The Journal of the Acoustical Society of Korea
• /
• v.38 no.5
• /
• pp.543-548
• /
• 2019

The tonal signal caused by the machinery component of a vessel such as an engine, gearbox, and support elements, can be modeled as a sparse signal in the frequency domain. Recently, compressive sensing based techniques that recover an original signal using a small number of measurements in a short period of time, have been applied for the tonal frequency detection. These techniques, however, cannot avoid a basis mismatch error caused by the discretization of the frequency domain. In this paper, we propose a method to detect the tonal frequency with a small number of measurements in the continuous domain by using the atomic norm minimization technique. From the simulation results, we demonstrate that the proposed technique outperforms conventional methods in terms of the exact recovery ratio and mean square error.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.29 no.2B
• /
• pp.121-129
• /
• 2009

In this study, dam-break flows are simulated numerically by using an efficient and accurate Cartesian cut-cell mesh system. In the system, most of the computational domain is discretized by the Cartesian mesh, while peculiar grids are done by a cutcell mesh system. The governing equations are then solved by the finite volume method. An HLLC approximate Riemann solver and TVD-WAF method are employed to calculation of advection flux of the shallow-water equations. To validate the numerical model, the model is applied to some problems such as a steady flow convergence on an ideal bed, a steady flow over an irregular bathymetry, and a rectangular tank problem. The present model is finally applied to a simulation of dam-break flow on an experimental channel. The predicted water surface elevations are compared with available laboratory measurements. A very reasonable agreement is observed.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2016.05a
• /
• pp.36-36
• /
• 2016

하천정비나 유역종합 치수계획 등 수자원계획을 수립하는 과정에 있어 하천의 설계홍수량 추정은 필수적이며, 하천의 수공구조물의 안전성과 수문학적 위험도를 산정하는데도 활용되고 있다. 그러나 매년 관측되는 강우량 자료에 비해 유출량 자료의 길이가 비교적 짧아 신뢰성 있는 홍수량자료의 구축이 어려운 실정이며, 미계측 유역에 위치한 중소규모 하천의 설계홍수량과 같은 수문학적 자료는 매우 제한적이다. 이러한 이유로 본 연구에서는 기 수립된 하천정비기본계획의 자료들을 활용하여 유역의 특성(면적, 경사, 고도)이 고려되는 새로운 홍수량 산정식을 개발하였으며, Bayesian GLM(generalized linear method) 기법을 활용하여 미계측 유역의 지역화를 통한 홍수량의 추정이 가능하도록 하였다. 또한 Hierarchical Bayesian 기법을 활용하여 개발된 공식에 활용되는 매개변수의 불확실성을 구간을 산정하였다. Bayesian 기법의 도입으로 산정되는 홍수량의 불확실성 구간을 정량적으로 제시할 수 있었으며, 제안된 연구 결과는 미계측 유역의 홍수량을 추정하는 도구로서 활용성이 높을 것으로 기대된다.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.10
• /
• pp.1264-1274
• /
• 1999

본 논문에서는 분산된 클록들을 주기적으로 동기화 시키는 분산 실시간 시스템에서 시간적 제약을 만족시키기 위한 정적/동적 시간 제약(timing constraint) 변환 기법을 제안한다. 전형적인 이산클록동기화(discrete clock synchronization) 알고리즘은 클록의 값을 순간적으로 조정하여 클록의 시간이 불연속적으로 진행한다. 이러한 시간상의 불연속성은 시간적 이벤트를 잃어버리거나 다시 발생시키는 오류를 범하게 한다.클록 시간의 불연속성을 피하기 위해 일반적으로 연속클록동기화(continuous clock synchronization) 기법이 제안되고 있지만 소프트웨어적으로 구현되면 많은 오버헤드를 유발시키는 문제점이 있다. 본 논문에서는 시간적 제약을 동적으로 변환시키는 DCT (Dynamic Constraint Transformation) 기법을 제안하였으며, 이를 통해 기존의 이산클록동기화 알고리즘을 수정하지 않고서도 클록 시간의 불연속성에 의한 문제점들을 해결할 수 있도록 하였다. 아울러 DCT에 의해 이산클록동기화 하에서 생성된 태스크 스케쥴이 연속클록동기화에 의해 생성된 스케쥴과 동일함을 증명하여 DCT의 동작이 이론적으로 정확함을 증명하였다.또한 분산 실시간 시스템에서 지역 클록(local clock)이 기준 클록과 완벽하게 일치하지 않아서 발생하는 스케쥴링상의 문제점을 다루었다. 이를 위해 먼저 두 가지의 스케쥴링 가능성, 지역적 스케쥴링 가능성(local schedulability)과 전역적 스케쥴링 가능성(global schedulability)을 정의하고, 이를 위해 시간적 제약을 정적으로 변환시키는 SCT (Static Constraint Transformation) 기법을 제안하였다. SCT를 통해 지역적으로 스케쥴링 가능한 태스크는 전역적으로 스케쥴링이 가능하므로, 단지 지역적 스케쥴링 가능성만을 검사하면 스케쥴링 문제를 해결할 수 있도록 하였고 이를 수학적으로 증명하였다.Abstract In this paper, we present static and dynamic constraint transformation techniques for ensuring timing requirements in a distributed real-time system possessing periodically synchronized distributed local clocks. Traditional discrete clock synchronization algorithms that adjust local clocks instantaneously yield time discontinuities. Such time discontinuities lead to the loss or the gain of events, thus raising serious run-time faults.While continuous clock synchronization is generally suggested to avoid the time discontinuity problem, it incurs too much run-time overhead to be implemented in software. We propose a dynamic constraint transformation (DCT) technique which can solve the problem without modifying discrete clock synchronization algorithms. We formally prove the correctness of the DCT by showing that the DCT with discrete clock synchronization generates the same task schedule as the continuous clock synchronization.We also investigate schedulability problems that arise when imperfect local clocks are used in distributed real-time systems. We first define two notions of schedulability, global schedulability and local schedulability, and then present a static constraint transformation (SCT) technique. The SCT ensures that it is sufficient to check the schedulability of a task locally in a node with a local clock, since the global schedulability of the task is derived from its local schedulability through SCT. We formally prove the correctness of SCT.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.17 no.3
• /
• pp.603-611
• /
• 2013

In this paper, we propose a new method which estimates and encrypts significant component of digital image such as digital cinema using discrete wavelet packet transform (DWPT). After analyzing the characteristics of images in spatial and frequency domain, the required information for ciphering an image was extracted. Based on this information an ciphering method was proposed with wavelet transform and packetization of subbands. The proposed algorithm can encrypt images in various robust from selecting transform-level and energy threshold. From analyzing the encryption effect numerically and visually, the optimized parameter for encryption is presented. Without additional analyzing process, one can encrypt efficiently digital image using the proposed parameter. Although only 0.18% among total data is encrypted, the reconstructed image dose not identified. The paketization information of subbands and the cipher key can be used for the entire secret key.

• 한국전산유체공학회:학술대회논문집
• /
• 2009.04a
• /
• pp.277-282
• /
• 2009

A temperature equation which is derived from an enthalpy transport equation by using an assumption of a constant specific heat is very attractive for analyses of heat and fluid flows. It can be used for an analysis of a solid-fluid conjugate heat transfer, and it does not need a numerical method to find temperature from a temperature-enthalpy relation. But its application is limited because of the assumption. A new method is derived in this study, which is a temperature-explicit formulation of the energy equation. The enthalpy form of the energy equation is used in the method. But the final discrete form of the equation is expressed with temperature. It can be used for a solid-fluid conjugate heat transfer and multiphase flows. It is found by numerical tests that it is very efficient and as accurate as the standard enthalpy formulation.