• 한국자동차공학회논문집
• /
• 제22권3호
• /
• pp.68-74
• /
• 2014

As the number of ECUs (Electronic control units) are increasing, reliability and functional stability of a software in an ECU is getting more important. Therefore the application of functional safety standards ISO 26262 is making the software more reliable. Software fault injection test (SFIT) is required as a verification technique for the application of ISO 26262. In case of applying SFIT, an artificial error is injected to inspect the vulnerability of the system which is not easily detected during normal operation. In this paper, the basic concept of SFIT will be examined and the application of SIFT based on ISO26262 will be described.

• 한국지진공학회논문집
• /
• 제20권1호
• /
• pp.1-8
• /
• 2016

Permanent deformation plays a key role in performance based earthquake resistant design. In order to estimate permanent deformation after earthquake, it is essential to secure reliable response history analysis(RHA) as well as earthquake scenario. This study focuses on permanent deformation of an inverted T-type wall under earthquake. The study is composed of two separate parts. The first one is on the verification of RHA and the second one is on an effect of input earthquake motion. The former is discussed in this paper and the latter in the companion paper. The verification is conducted via geotechnical dynamic centrifuge test in prototype scale. Response of wall stem, ground motions behind the wall obtained from RHA matched pretty well with physical test performed under centrifugal acceleration of 50g. The rigorously verified RHA is used for parametric study to investigate an effect of input earthquake motion selection in the companion paper.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2004년도 추계학술대회 논문집 전력기술부문
• /
• pp.21-23
• /
• 2004

The purpose of this paper is to explain the techniques of the data verification module achieved while developing a transient stability program which is suitable to korean power system. It concentrates on the concrete explanation about modeling of the dynamic models and the method of the data verification. This proposed module enhances the performance of the developing program. This developing module has been tested with the KEPCO system, and the simulation results obtained from the program are compared to those of commercial programs.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2009년도 춘계학술대회
• /
• pp.865-867
• /
• 2009

본 논문에서는 서명에서 생성되는 속도 성분(방향 정보, 거리 정보)에서 방향 정보만을 특징 정보로 하여 오류율에 영향을 주지 않으면서 처리속도를 개선하였으며, 특징 정보 크기도 크게 줄일 수 있었다. 이를 위해 실험결과를 토대로 하여 통계적 방법 T-test를 이용하여 분석하였다.

• Structural Engineering and Mechanics
• /
• 제71권6호
• /
• pp.643-656
• /
• 2019

A new seismic design methodology was proposed for precast concrete diaphragms. This methodology adopts seismic design factors applied on top of current diaphragm design forces. These factors are aimed to produce diaphragm design strengths aligned with different seismic performance targets. These factors were established through extensive parametric studies. These studies used a simple evaluation structure with a single-bay rectangular diaphragm. The simple evaluation structure is suitable for establishment of the design factors over comprehensive structural geometry and design parameters. However, the application of the design factors to prototype structures with realistic layouts requires further verification and investigation. This paper presents diaphragm design of several precast concrete parking structures using the new design methodology and verification of the design factor through nonlinear dynamic time history analyses. The seismic behavior and performance of the diaphragm were investigated for the precast concrete parking structures. It was found that the design factor established for the new design methodology is applicable to the realistic precast concrete parking structures.

• 한국수학사학회지
• /
• 제15권1호
• /
• pp.115-134
• /
• 2002

The increasing use of computers in mathematics and in mathematics education is strongly reflected in the teaching on Euclid geometry, in particular in the use of dynamic graphics software. This development has raised questions about the role of analytic proof in school geometry. One can sometimes find a proof which is rather more explanatory than the one commonly used. Because we, math educators are concerned with tile explanatory power of the proofs, as opposed to mere verification, we should devise ways to use dynamic software in the use of explanatory proofs.

• 한국대기환경학회:학술대회논문집
• /
• 한국대기환경학회 2010년도 춘계학술대회 논문집
• /
• pp.263-264
• /
• 2010

• Structural Engineering and Mechanics
• /
• 제59권4호
• /
• pp.761-774
• /
• 2016

Curved beams' dynamic behavior on viscoelastic foundation is the subject of the current paper. By rewritten the Timoshenko beams theory formulation for the curved and twisted spatial rods, governing equations are obtained for the circular beams on viscoelastic foundation. Using the complementary functions method (CFM), in Laplace domain, an ordinary differential equation is solved and then those results are transformed to real space by Durbin's algorithm. Verification of the proposed method is illustrated by solving an example by variating foundation parameters.

• 산업경영시스템학회지
• /
• 제18권34호
• /
• pp.107-114
• /
• 1995

The objective of this study is to design a one-stage dynamic prediction model with Kalman state space model. For a model verification, it is compared with EWMA(Exponentially Weighed Moving Average) model. The model designed in this research can be extended to process prevention control and quality monitoring.

• International Journal of Air-Conditioning and Refrigeration
• /
• 제15권4호
• /
• pp.147-155
• /
• 2007

Mobile air conditioning systems work under widely changing operating conditions. To understand the system behavior under such dynamic conditions, a test facility that can impose transient loads as well as conducting dynamic measurements is needed. To test mobile air conditioning systems including their dynamic performance under various drive cycle patterns without using full scale vehicles in a wind tunnel, a new test facility, called "dynamic simulator," is described. It can replicate real vehicle operating conditions by interacting with the system being tested based on the measured system performance and subsequently adjusting the air properties returning to the test system based on the results of a numerical cabin model. A new dynamic simulator has been designed, constructed, and verified for performing dynamic tests. It was successful in controlling the temperature and relative humidity of the air returning to the test unit within ${\pm}0.7^{\circ}C$ and ${\pm}4%$ of their respective intended values. The verification test under the New European Driving Cycle demonstrated that detailed transient behavior of the mobile air conditioning system could be measured by using this dynamic simulator.