• Journal of the Korea Society for Simulation
• /
• v.27 no.3
• /
• pp.23-36
• /
• 2018

Discrete Event System Specification (DEVS) has been used for decades as it provides sound semantics for hierarchical modular specification of discrete event systems. Instead of the mathematical specification, the DEVS diagram, based on the structured DEVS formalism, has provided more intuitive and convenient representation of complex DEVS models. This paper proposes a clean room process for implementation and verification of a DEVS diagram model specification into a simulation software source code. Specifically, it underlies a sequence of transformation steps from conformance and integrity checking of a given diagram model, translation into a corresponding tabular model, and finally conversion to a simulation source code, with each step being inversely verifiable for traceability. A simple example helps developers to understand the proposed process with associated transformation methods; a case study shows that the proposed process is effective for and adaptable to practical simulation software development.

• Journal of the Korea Computer Graphics Society
• /
• v.25 no.3
• /
• pp.133-142
• /
• 2019

In physics-based character animation, trajectory optimization has been widely adopted for automatic motion synthesis, through the prediction of an optimal sequence of future states of the character based on its system dynamics model. In general, the system dynamics model is neither in a closed form nor differentiable when it handles the contact dynamics between a character and the environment with rigid body collisions. Employing smoothed contact dynamics, researchers have suggested efficient trajectory optimization techniques based on numerical differentiation of the resulting system dynamics. However, the numerical derivative of the system dynamics model could be inaccurate unlike its analytical counterpart, which may affect the stability of trajectory optimization. In this paper, we propose a novel method to derive the closed-form derivative for the system dynamics by properly approximating the contact model. Based on the resulting derivatives of the system dynamics model, we also present a model predictive control (MPC)-based motion synthesis framework to robustly control the motion of a biped character according to on-line user input without any example motion data.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.25 no.1A
• /
• pp.142-155
• /
• 2000

In this paper, we propose an efficient policing mechanism for Markov model-based traffic descriptors of VBR MPEG video traffic. A VBR video sequence is described by a set of traffic descriptors using a scene-basedMarkov model to the network for the effective resource allocation and accurate QoS prediction. The networkmonitors the input traffic from the source using a proposed new policing method. for policing the steady statetransition probability of scene states, we define two representative monitoring parameters (mean holding andrecurrence time) for each state. For frame level cell rate policing of each scene state, accumulated average cellrates for the frame types are compared with the model parameters. We propose an exponential bounding functionto accommodate dynanic behaviors during the transient period. Our simulation results show that the proposedpolicing mechanism for Markovian traffic descriptors monitors the sophisticated traffic such as MPEG videoeffectively and well protects network resources from the nalicious or misbehaved traffic.

• Journal of the Korean Institute of Telematics and Electronics S
• /
• v.36S no.9
• /
• pp.9-17
• /
• 1999

In this paper, we present a mathematical modeling and perform a performance analysis of double-dwell serial search algorithm, which has a search window concept, for pilot channel in DS-CDMA(Direct Sequence Code Division Multiple Access). We derive a code detection function, a false alarm function, a code miss function, and a mean code acquisition time for the performance analysis. We calculate the mean code acquisition time of the mathematical model in IS-95 forward link and compare it with that of the conventional search methods. The performance of the code acquisition system is also evaluated to investigate the effect of dwell times and search window size. The JTC channel model, which is a PCS channel model in North America, is used for the analysis. The numerical result shows that the mean code acquisition time of the double-dwell serial search algorithm with a search window is reduced by about 17%~25% than those of the conventional ones.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.7 no.6
• /
• pp.1377-1383
• /
• 2012

The first frame of a GOP is encoded in intra mode which generates a larger number of bits. In addition, the first frame is used for the inter mode encoding of the following frames. Thus the intial QP for the first frame affects the first frame as well as the following frames. Traditionally, the initial QP is determined among four constant values only depending on the bpp. Although this initialization scheme is simple, yet it is not accurate enough. An accurate intial QP prediction scheme should not only depends on bpp but also on the complexity of the video sequence and the output bandwidth. In this paper, we propose a traffic model for finding the optimal initial QP which maximizes the PSNR of the GOP. We also propose a method to find model parameters for real-time video encoding. It is shown by experimental results that the proposed traffic model captures initial QP characteristics effectively and the proposed method for model parameters accurately estimates the real values.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.12
• /
• pp.3063-3076
• /
• 1998

To facilitate presentations of various media and transfer their implicit meaning efficiently, needed are effective development techniques for representing and manipulation temporal and spatial informations between multimedia data. Especially, these emporal and spatial informationsl are so deeply related with each other that it is required to have the integrated mehod for their representation. This paper suggests the Presentation Synchronization Trdd(PST) which represents their temporal and spatial informationsl and the efficient presentation model as traversing this PST. In this model, without knowing the specific user's interface or any script languages, the user can write the presentation scenario only based on allen's tecporal specification. This model has a characteristic of allowing user's inputs that may dynamically modify the presentation sequence in presentation time. As through the renmining steps of consistency checking for their relations. PST generation, and PST traversing step, this model provides users with simple and effective presentation of multimedial data by having them be presented auton\matically.

• Journal of Broadcast Engineering
• /
• v.23 no.2
• /
• pp.302-315
• /
• 2018

Highly non-linear electro-optical transfer function of the Perceptual Quantizer was approximated by a truncated Taylor series, resulting in a closed form solution for luma adjustment. This previous solution is fast and quite suitable for the hardware implementation of luma adjustment, but the approximation error becomes relatively large in the range of 600~3,900 cd/m2 linear light. In order to reduce such approximation error, we propose a new linear model, for which a correction is performed on the position and the slope of line based on the scope of approximation. In order to verify the approximation capability of the proposed linear model, a comparative study on the luma adjustment schemes was conducted using various high dynamic range test video sequences. Via the comparative study, we identified a significant performance enhancement over the previous fast luma adjustment scheme, where a 4.65dB of adjusted luma t-PSNR gain was obtained for a test sequence having a large portion of saturated color pixels.

• 대한공업교육학회지
• /
• v.31 no.2
• /
• pp.364-380
• /
• 2006

This paper presents a procedure for designing command to maneuver flexible structure with very little residual vibration, even in the presence of modeling errors. For the open loop maneuver, the various shaped profiles using multiple step inputs delayed in time are considered for robustness and compared with the responses of rigid body and flexible body in virtue of simulations and experiments. Input shaping generates vibration-reducing shaped commands through convolution of an impulse sequence with the desired command. A flexible model with a cylindrical hub and four symmetric appendages is considered to examine the responses to real plant, and to illustrate the effectiveness of the proposed shapers. The appendages are long and flexible, leading to low frequency vibration under any control action. It is shown by a series of simulation that a properly designed feedback controller with input shaper performs well, as compared with open loop controller with input shaper. The control objective is to achieve a fast settling time of residual vibration to flexible structure and robustness (insensitivity)to plant uncertainty, to eliminate residual vibration.

• Journal of Bio-Environment Control
• /
• v.31 no.3
• /
• pp.152-162
• /
• 2022

This study developed simulation model for predicting the greenhouse interior environment using artificial intelligence machine learning techniques. Various methods have been studied to predict the internal environment of the greenhouse system. But the traditional simulation analysis method has a problem of low precision due to extraneous variables. In order to solve this problem, we developed a model for predicting the temperature inside the greenhouse using machine learning. Machine learning models are developed through data collection, characteristic analysis, and learning, and the accuracy of the model varies greatly depending on parameters and learning methods. Therefore, an optimal model derivation method according to data characteristics is required. As a result of the model development, the model accuracy increased as the parameters of the hidden unit increased. Optimal model was derived from the GRU algorithm and hidden unit 6 (r² = 0.9848 and RMSE = 0.5857℃). Through this study, it was confirmed that it is possible to develop a predictive model for the temperature inside the greenhouse using data outside the greenhouse. In addition, it was confirmed that application and comparative analysis were necessary for various greenhouse data. It is necessary that research for development environmental control system by improving the developed model to the forecasting stage.

• Journal of the Society of Naval Architects of Korea
• /
• v.36 no.2
• /
• pp.61-71
• /
• 1999

This paper resents a novel cargo system adapted for a sea port subjected to severe time-varying tide. The proposed system can perform loading or unloading by using a sort of hydraulic elevator associated with real-tim position control. As a preliminary phase, a small-sized model of the cargo system is designed and constructed. The model consists of three principal components ; container palette transfer(CPT) car, platform with lifting columns and cargo ship. The platform activated by the electro-rheological(ER) valve-cylinder is actively controlled to track the position of the cargo ship subjected to be varied due to the time-varying tide and wave motion. Following the derivation of the dynamic model for the platform and cargo ship motions, an appropriate control scheme incorporating time sequence and PID(proportional-integral-derivative) controller is formulated and implemented. Both the simulated and the measured control results are presented to demonstrate the effectiveness of the proposed cargo system.