• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.5
• /
• pp.398-405
• /
• 2014

Recently the embedded software has been widely applied to the safety-critical systems in aviation and defense industries, therefore, the higher level of reliability, availability and fault tolerance has become a key factor for its implementation into the systems. The integrity of the software can be verified using the static analysis tools. And recent developed static analysis tool can evaluate code integrity through the mathematical analysis method. In this paper we detect the autocode error and violation of coding rules using the formal verification tool, Polyspace(R). And the fundamental errors on the flight control law model have been detected and corrected using the formal verification results. As a result of verification process, FBW helicopter control law autocode can ensure code integrity.

• Computational Structural Engineering
• /
• v.4 no.3
• /
• pp.79-88
• /
• 1991

The procedure of the elastic response spectrum method which is used in the codes of many countries involves the computation of a static horizontal substitute loading resulting from the earthquake. The substitute loading is divided by a behavioral factor in order to take energy dissipation due to the real nonlinear structural behavior and damping effects ect. into account. The behavioral factors widely used in many countries are based not on the exact calculation but only on the empirical data. In order to determine the behavioral factors analytically, it is necessary to define the limit state of structures as a first step. In this work, the methods of the determination of limit state for the steel structures are discussed in the geometric, serviceabile and material apsects, and the behavioral factors for the three types of structures are calculated.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.32 no.5
• /
• pp.484-493
• /
• 2012

Since the 1980s, there have been many research activities devoted to quantitatively characterizing and imaging human tissues based on sound speed, attenuation coefficient, density, nonlinear B/A parameter, etc., but those efforts have not yet reached the stage of commercialization. However, a new imaging technology termed elastography, which was proposed in the early 1980s, has recently been implemented in commercial clinical ultrasound scanners, and is now being used to diagnose prostates, breasts, thyroids, livers, blood vessels, etc., more quantitatively as a complementary adjunct modality to the conventional B-mode imaging. The purpose of this article is to introduce and review various elastographic algorithms for use in quasistatic or static compression type elasticity imaging modes. Most of the algorithms are based on the crosscorrelation or autocorrelation function methods, and the fundamental difference is that the time shift is estimated by changing the lag variable in the former, while it is directly obtained from the phase shift at a fixed lag in the latter.

• Journal of Ocean Engineering and Technology
• /
• v.23 no.6
• /
• pp.77-81
• /
• 2009

The radar cross section (RCS) of a warship is one of the most important design features in terms of her survivability in hostile environments. Ocean waves continuously changes the attitude of an objective warship to hostile radar and distorts the RCS as a result. This paper presents a dynamic RCS analysis technique and procedure that considers temporal ship motion. First, data sets are prepared for ship motions in 6 degrees of freedom, which are numerically simulated for an objective warship via frequency to time domain conversion with response amplitude operators and specified ocean wave spectra. Second, a series of RCS analysis models are transformed geometrically by referring to ship motion data sets. Finally, temporal RCS analyses are carried out with the RCS simulation code, SYSCOS. As an example, RCS analysis results are given for a virtual warship, which show that ship motions temporally change RCS values and cause RCS reduction compared with static value in terms of mean values.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2006.03a
• /
• pp.229-238
• /
• 2006

암반터널굴착을 위한 발파시 이로 인한 암반의 최종 손상영역을 예측하는 것은 터널의 안전성을 위해 매우 중요하다. 그러나 복잡한 발파거동은 손상영역을 적절히 예측하는데 상당한 어려움이 있다. 이러한 어려움을 효과적으로 해결하기 위해 발파하중을 응력파와 가스압으로 분리한 많은 연구가 진행되었다. 응력파는 발파공 주위에 분쇄한(crushing annulus)과 파쇄균열대(fracture zone)를 형성시키며, 상당시간 지속되는 준정적인 가스는 파쇄균열대의 닫힌 균열내부에 침투하여 균열을 다시 진행시키는 역할을 하게 된다. 즉, 가스압은 최종적으로 암반에 손상을 가하는데 기여를 한다. 따라서 본 논문은 이러한 가스압에 의해 생성되는 균열의 최종 진행 길이를 예측함으로써 발파로 인한 최종 손상영역을 간단하게 예측할 수 있는 방법을 제시하고자 한다. 이를 위해 무한 탄성평면에서 발파공 주위에 대칭으로 형성되는 균열을 모델로 사용하였다. 이 모델에서 균열이 진행할 수 있는 조건과 가스의 질량이 일정하다는 두가지 조건을 사용하였다. 그 결과 응력집중계수는 균열이 진행할수록 감소하여 최종균열의 길이를 예측할 수 있었고, 그와 동시에 발파공에 작용하는 압력도 감소하는 것을 확인할 수 있었다.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.15 no.5
• /
• pp.499-508
• /
• 2004

An efficient method of moments(MoM), which can lead to the analytical evaluation of the matrix elements, is proposed to analyze microstrip structures. The present method is formulated in conjunction with use of a new closed-form spatial-domain Green's functions which are derived by use of the integral formula for semi-infinite integrals of Bessel functions. It is observed that the computational efficiency such as the amount of calculation and computation speed has been improved due to the present MoM scheme by a factor of about 4 in comparison with the previous method. To validate the proposed method, several numerical examples are presented.

• Journal of the Korean Geotechnical Society
• /
• v.17 no.5
• /
• pp.197-207
• /
• 2001

1980년대 이래 국내 터널의 시공법은 원지반의 강성을 활용한 NATM이 주를 이루고 있다. 그러나 NATM은 터널내부에 설치되는 내부라이닝의 여러 가지 문제점을 내포하고 있기 때문에 노르웨이에서는 조립식 터널 라이닝(Pre-Cast Concrete Lining, PCL)을 개발하여 현장타설 콘크리트 라이닝의 문제점을 해결하고자 하였다. 그러나 노르웨이와 같은 북유럽지역에서는 지진이 거의 발생되지 않고 있기 때문에 PCL공법 개발당시에 지진에 대한 영향을 고려하지 못하였다. 따라서 PCL공법을 국내에 도입하기 위해서는 먼저 지진에 대한 영향을 분석하여야 할 것으로 판단되므로 본 연구에서는 PCL공법 적용시 지진에 대한 안정성 평가 및 합리적 내진해석을 위한 연구를 수행하고자 하였다. PCL의 내진성능을 판단하기 위하여 먼저 국내에서 주로 많이 사용되고 있는 해석기법인 유사정적해석법과 응답스펙트럼해석법을 이용하여 분석하였으며 지반과 구조물의 상호작용에 대한 영향을 분석하기 위해 시간이력해석을 수행하여 터널심도별 PCL의 내진성능을 분석하였다. 이와 같은 방법으로 PCL의 내진해석을 수행한 결과, 부재에 발생된 응력이 허용응력 이내에서 발생되어 PCL의 내진성능을 확보된 것으로 판단된다. 또한 시간이력해석에 의한 지반-구조물 해석을 수행한 결과에 의하면 PCL의 내진성능을 확보하기 위한 터널의 최소 토피고가 터널직경에 2배 이상인 것으로 확인되었다. 또한 단순 구조물의 내진해석만으로는 PCL의 내진성능을 과소평가할 우려가 있는 것으로 나타났다.

• Journal of Advanced Navigation Technology
• /
• v.16 no.2
• /
• pp.367-374
• /
• 2012

A dynamic simulation and test of frame with thin walled closed section beams considering warping conditions have been performed. When a beam is subjected under torsional moment, the cross section will deform an warping as well as twist. For some thin-walled sections warping will be large, and accompanying warping restraint will induce axial and shear stresses and reduce the twist of beam which stiffens the beam in torsion. This paper presents that an warping restraint factor in finite element model effects the behavior of beam deformation and dynamic mode shape. The computer modelling of frame is discussed in linear beam element model and linear thin shell element model, also presents a correlation between computer predicted and actual experimental results for static deflection, natural frequencies and mode shapes of frame.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.30 no.1
• /
• pp.132-138
• /
• 2002

Of srategic importance nowdays is the development of high performance spacecraft bus. In this study, optimization for spacecraft structure is performed under the framework of coupled load analysis which is a branch of component mode synthesis with constrained mode and modal transient analysis. unlike the traditional method which uses the quasi-static table supplied by launch vehicle contractor, the present method adots the load results of previous coupled load analysis. It if shown that the proposed method can serve as a effective tool for the optimization spacecraft structure in the early stage of design and weight reduction by numerical example.

• Journal of KIISE:Computer Systems and Theory
• /
• v.33 no.8
• /
• pp.505-513
• /
• 2006

To satisfy SLA(Service Level Agreement) contract between a client and a service provider, the client requests are classified and processed by priorities. In providing differentiated service, a request from a client who has low priority can be dealt with less important. In this paper, we study static and dynamic partitioning mechanism of web servers and also admission control policy for multiclass request distribution. Through simulation experiments, we analyze web server throughput and response time considering SLA.