• Journal of the Korean Institute of Telematics and Electronics
• /
• v.24 no.4
• /
• pp.559-567
• /
• 1987

In this paper, the real time simulation of continuous dynamic system was performed by general integration algorithms using multiprocessor. For the stable simulation, the relation between stability of integration method and integration step-size was investigated from the stability graph. As a typical illustration, the real-time digital simulation and the real-time hard-ware-in-the-loop simulation of flight control system were performed and reviewed. Moreover through the real-time simulation, the design verification and performace test of flight control system could be evaluated. The computer used for simulation is AD10, which is a very high-speed special-purpose computer designed specifically for a time-critical simulation of large and complex models of dynamic systems. The simulation validity is demonstrated by comparing hardware simulation results with software simulation results.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2005.11a
• /
• pp.180-183
• /
• 2005

2 axis gimbals systems are extensively used in various tracking devices for attaining the system's objective. Designers are sometimes passing over the dynamic characteristics of system in vibrating condition In this paper, 2 axis gimbals systems including interface elements is modeled with finite elements. To verify this model, the finite element model is refined by using the experimental model data. The refined model is simulated with I-DEAS and MSC.NATRAN's FRF(Frequency response Function) and RRA(Random vibration Response Analysis) function to get dynamic characteristics of 2 axis gimbals system.

• The Journal of Korean Association of Computer Education
• /
• v.11 no.1
• /
• pp.97-107
• /
• 2008

The result verification that determines correctness for the work results calculated in each PC is one of the most important issues in PC grid environments. In this literature, voting-based and trust-based schemes have been mainly used to guarantee the correctness of work results. However, these schemes suffer from both waste of resource utilization and high computation delay because they can not effectively cope with dynamic computational environments. To overcome these shortcomings, we introduce the distribution information of PC resources based on credibility and availability into result verification phase. Using this information, we propose a new result verification scheme, which can determine the correctness of work results by each PC resources' credibility and cope with the dynamic changing environments by each PC resources' availability. To demonstrate the efficiency of our result verification scheme, we evaluate the performance of our scheme from the viewpoints of turnaround time and resource utilization, utilizing resource distribution information in the Korea@Home that is a representative PC grid system in domestic. We also compare the performance of our scheme with that of other ones.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.28 no.5
• /
• pp.593-602
• /
• 2004

We have developed a digital control rod control system not only to improve its performance but also to improve its reliability and speed of response so that it can replace the old fashioned analog system. However, a new developed digital control system should be tested to prove the validity by using any prototype or mock-up before application. The reliability prediction and the reliability block diagram analysis methods were adopted to verify the reliability of the developed hardware. For the case of software, especially fur a new developed control algorithm it has been tested to prove performances and validation by using a dynamic simulator and mock-up of control rod drive mechanism altogether. Here we want to present some key factors regarding to the new developed digital system with some verification procedures.

• Journal of the Korea Society of Computer and Information
• /
• v.15 no.7
• /
• pp.19-26
• /
• 2010

In this paper, we suggest a efficient handwritten character verification method in on-line environments which automatically analyses two input character string and computes their similarity degrees. The proposed algorithm first applies the circular projection method to input handwritten strings and extracts their representative features including shape, directions, etc. It then calculates the similarity between two character strings by using an improved dynamic time warping (DTW) algorithm. We improved the conventional DTW algorithm efficiently through adopting the branch-and-bound policy to the existing DTW algorithm which is well-known to produce good results in the various optimization problems. The experimental results to verify the performance of the proposed system show that the suggested handwritten character verification method operates more efficiently than the existing DTW and DDTW algorithms in terms of the speed.

• Journal of the Korean Society for Advanced Composite Structures
• /
• v.3 no.3
• /
• pp.38-46
• /
• 2012

The method based on various mathematical characteristic equations for identifying tensile forces in the cable structure system are used as response data to reflect the properties of the dynamic sensitivity. The vibration tests have been conducted with respect to levels of applied weight for the sagged cable. In this study, a set of natural frequencies are extracted from the measured dynamic data. Next, existing characteristic equation methods based these extracted natural frequencies are applied to identify tensil forces of the sagged cable system. Through several verification procedures, the proposed methods could be applied to a sagged cable system when the initial material data are insufficiency.

• Structural Engineering and Mechanics
• /
• v.71 no.5
• /
• pp.553-562
• /
• 2019

This paper presents the results of a study into the dynamic behaviour of a support structure of a mobile elevating work platform. The vibrations of the mechanical system of the observed structure are examined analytically, numerically, and experimentally. Within the analytical examination, a simple mathematical model is developed to describe free and forced vibrations. The dynamic analysis of the mechanical system is conducted using a discrete dynamic model with a reduced number of vibrational degrees of freedom. On the basis of the expression for the system energy, and by applying Lagrange's equations of the second kind, differential equations are derived for system vibrations, frequencies are determined, and the laws of forced platform vibration are established. At the same time, a nonlinear FEM model is developed and the laws of free and forced vibration are determined. The experimental and numerical part of the study deal with the examination of the real structure in extreme conditions, taking into account: the lowest eigenfrequency, forced actions that could endanger the general stability, the maximal amplitudes, and the acceleration of the work platform. The obtained analytical and numerical results are compared with the experiments. The experimental verification points to the adverse behaviour of the platform in excitation cases - swaying. In such a situation, even a relatively small physical force can lead to unacceptably high amplitudes of displacement and acceleration - exceeding the usual work values.

• Journal of Aerospace System Engineering
• /
• v.17 no.1
• /
• pp.79-87
• /
• 2023

To design a control law of an aircraft, an accurate aircraft dynamic model is required. To obtain an aerodynamic database (DB) to build a dynamic model, a large number of wind tunnel tests are typically required. However, when flight test data of target aircraft exist such as in the process of unmanned conversion of a manned aircraft, an aircraft dynamic model can be obtained through a parameter estimation method and a DB tuning procedure. This paper describes a nonlinear model construction process and a verification method for KC-100 OPV aircraft. Flight data compatibility analysis was performed to determine suitability of the estimation method application. Linear model estimation was performed using the maximum likelihood estimation method. Results of aerodynamic DB tuning process and verification applying the FFS standard to the nonlinear model constructed are presented.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.14 no.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.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.18 no.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.