• Journal of the Korea Society for Simulation
• /
• v.10 no.3
• /
• pp.1-14
• /
• 2001

A hybrid system is defined as a mixture of continuous systems and discrete event systems. This paper first proposes a framework for hybrid systems modeling, called Hybrid Discrete Event System Specification (HDEVS) formalism. It then presents a method for simulators interoperation in which a continuous system simulator and a discrete event simulator are executed together in a cooperative manner. The formalism can specify a hybrid system in a way that a continuos system and a discrete event system are separately modeled by their own specification formalisms with a support of well-defined interface. We call such interface an A/E converter for analog-to- event conversion and an E/A converter for event-to-analog conversion. Simulators interoperation is based on the concept of pre-simulation in which simulation time for a continuous simulator is advanced in accordance with a discrete event simulator.

• Nuclear Engineering and Technology
• /
• v.31 no.1
• /
• pp.58-67
• /
• 1999

The purpose is to produce a model of nuclear reactor trip logic caused by the steam generator water level of Wolsong 2/3/4 unit through an activity chart and a statechart and to produce C language automatically using Statechart-based Formalism and Stalemate MAGNUM toolset suggested by David Harel Formalism. It was worth attempting auto-generation of C language though we manually made Software Requirement Specification(SRS) for safety-critical software using statechart-based formalism. Most of the phases of the software life-cycle except the software requirement specification of an analysis phase were generated automatically by Computer Aided Software Engineering (CASE) tools. It was verified that automatically produced C language has high productivity, portability, and quality through the simulation.

• ETRI Journal
• /
• v.15 no.3
• /
• pp.35-45
• /
• 1994

In this paper we develop an approximation formalism on the queue length distribution for general queueing models. Our formalism is based on two steps of approximation; the first step is to find a lower bound on the exact formula, and subsequently the Chernoff upper bound technique is applied to this lower bound. We demonstrate that for the M/M/1 model our formula is equivalent to the exact solution. For the D/M/1 queue, we find an extremely tight lower bound below the exact formula. On the other hand, our approach shows a tight upper bound on the exact distribution for both the ND/D/1 and M/D/1 queues. We also consider the $M+{\Sigma}N_jD/D/1$ queue and compare our formula with other formalisms for the $M+{\Sigma}N_jD/D/1$ and M+D/D/1 queues.

• Journal of the Korea Society for Simulation
• /
• v.9 no.1
• /
• pp.39-54
• /
• 2000

Presented in this paper is a modeling and simulation methodology for 3 dimensional man-made systems. Based on DEVS(discrete event system specification) formalism[13], we propose GK-DEVS (geometrical and kinematic DEVS) formalism to describe the geometrical and kinematic structure and continuous state dynamics. To represent geometry and kinematics, we add a hierarchical structure to the conventional atomic model. In addition, we employ the "empty event" and its external event function for continuous state changing. In terms of abstract simulation algorithm[13], the simulation method of GK-DEVS, named GK-Simulator, is proposed for combined discrete-continuous simulation. Using GK-DEVS, the simulation of an FMS(flexible manufacturing system) consisting of a luring machine, a 3-axis machine and a RGV-mounted robot has been peformed.en peformed.

• The Bulletin of The Korean Astronomical Society
• /
• v.39 no.1
• /
• pp.66.1-66.1
• /
• 2014

Radiative transfer programs to simulate the 3-micron auroral $CH_4$ emissions of Jupiter have been developed. The formalism of the radiative transfer calculations including the thermal, fluorescent, and auroral emissions of the $CH_4$ bands for an atmospheric layer having an optical depth of ${\tau}_v$ is given by: ${\mu}dI_v/d{\tau}_v=I_v-{\varpi}_v{^*}J_v(1-{\varpi}_v{^*})B_v-{\varpi}{^*}F_{ov}{e}{x}{p}(-{\tau}_v/{\mu}_o)4{\pi}-hv{\varpi}{^*}V/4{\pi}$ where ${\varpi}_v{^*}$ is the single scattering albedo of $CH_4$ consisting of Einstein A coefficient and collisional deexcitation rate. Other terms are usual radiative transfer parameters appearing in textbooks including the terms for scattered ${\varpi}_v{^*}J_v$, thermal $(1-{\varpi}_v{^*})B_v$, and attenuated solar radiations $F_{ov}$ at the certain atmospheric layer. For auroral excitations, we include V, which is the number of excited states per $cm^3$ persec by auroral particle bombardments. We apply this formalism to the high-resolution spectra of the auroral regions observed with GNIRS/Gemini North, and will present preliminary results for the 3 micron auroral processes of Jupiter.

• The Bulletin of The Korean Astronomical Society
• /
• v.43 no.1
• /
• pp.56.3-56.3
• /
• 2018

The present study formulates the theory of spontaneously emitted electromagnetic fluctuations in magnetized plasmas containing particles with an anisotropic suparthermal (bi-Kappa) velocity distribution function. The formalism is general applying for an arbitrary wave vector orientation and wave polarization, and for any wave-frequency range. As specific applications, the high-frequency electromagnetic fluctuations emitted in the upper-hybrid and multiple harmonic electron cyclotron frequency range are evaluated. The fluctuations for low-frequency are also applied, which include the kinetic $Alfv\acute{e}n$, fast magnetosonic/whistler, kinetic slow mode, ion Bernstein cyclotron modes, and higher-order modes. The model predictions are confirmed by a comparison with particle-in-cell simulations. The study describes how energetic particles described by kappa velocity distribution functions influence the spectrum of high and low frequency fluctuations in magnetized plasmas. The new formalism provides quantitative analysis of naturally occurring electromagnetic fluctuations, and contribute to an understanding of the electromagnetic fluctuations observed in space plasmas, where kappa-distributed particles are ubiquitous.

• Journal of ILASS-Korea
• /
• v.3 no.2
• /
• pp.1-13
• /
• 1998

A theoretical and experimental study was carried out to predict the drop size distribution of the pressure swirl atomizer. Various analytical methods using the Kelvin-Helmholtz instability theory were tried to examine the wave growth on cylindrical liquid sheets. Cylinderical liquid sheets were extended to the case with the conical sheets. Perturbations due to tangential motion as well as longitudinal one were taken into account. And it was assumed that the breakup occurs when amplitude ratio exceeds exp(12), drop sizes were predicted only by theoretical approach. Drop size distribution was obtained by using maximum entropy formalism. Seven constraints in the form of the definition of mean diameter were used in this formulation in order to avoid the difficulties of estimating source terms. In this study $D_{10}$ only was introduced into the formulation as a constraint. The predicted drop size and drop size distribution agreed well with the measured data.

• Journal of The Korean Astronomical Society
• /
• v.42 no.5
• /
• pp.107-123
• /
• 2009

We investigate the wave properties for isothermal plasma state around to the de Sitter black hole's horizon using 3+1 split of spacetime. The corresponding Fourier analyzed perturbed perfect GRMHD equations are used to obtain the complex dispersion relations. We obtain the real values of the wave number k, from these relations, which are used to evaluate the quantities like phase and group velocities etc. These have been analyzed graphically in the neighborhood of the horizon.

• Kyungpook Mathematical Journal
• /
• v.53 no.1
• /
• pp.143-148
• /
• 2013

The theory of generalized Bessel functions is reformulated within the framework of an operational formalism using the multiplier representation of the Lie group $T_3$ as suggested by Miller. This point of view provides more efficient tools which allow the derivation of generating functions of generalized Bessel functions. A few special cases of interest are also discussed.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.31 no.3 s.258
• /
• pp.365-372
• /
• 2007

Revisited in this paper are Green's functions for unit concentrated forces in an infinite orthotropic Kirchhoff plate. Instead of obtaining Green's functions expressed in explicit forms in terms of Barnett-Lothe tensors and their associated tensors in cylindrical or dual coordinates systems, presented here are Green's functions expressed in two quasi-harmonic functions in a Cartesian coordinates system. These functions could be applied to thin plate problems regardless of whether the plate is homogeneous or inhomogeneous in the thickness direction. With a composite variable defined as $z=x_1+ipx_2$ which is adopted under the necessity of expressing the Green's functions in terms of two quasi-harmonic functions in a Cartesian coordinates system Stroh-like formalism for orthotropic Kirchhoffplates is evolved. Using some identities of logarithmic and arctangent functions given in this paper, the Green's functions are presented in terms of two quasi-harmonic functions. These forms of Green's functions are favorable to obtain the Newtonian potentials associated with defect problems. Thus, the defects in the orthotropic plate may be easily analyzed by way of the Green's function method.