• Journal of the Korea Society for Simulation
• /
• v.21 no.4
• /
• pp.35-46
• /
• 2012

As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.9 no.3
• /
• pp.83-89
• /
• 2000

In hydraulic control system turbine and gear motor type flowmeters are widely used to measure the flow rate under steady flow conditions. With the recent growth of interest in the measurement of instantaneous values of unsteady flow rate the test of the transient response of these flowmeters are in some significance. however an unsteady flow rate mea-surment and its calibration method with a fast response and a high accuracy have not beendeveloped. In this research particularly the dynamic characteristics of turbine and gear motor type flowmeters are investigated experimentally and simple mathematical models are proposed. The measured flow rate waveforms are compared with those by remote instan-taneous flow rate measurement method(RIFM) which has been developed by author and used for calibration As the result of frequency response test gain and phase between the measured flow rate waveforms by turbine type flowmeter and those estimated by RIFM are in good agreement up to 70Hz For the gear motor type flowmeter th simulated results by a math-ematical model proposed here agree well with the experiment nearly up to 100Hz. Also it if sound that the pressure drop across the flowmeter is increased in proportion to the frequency of the flow rate variation in a high frequency region of more than 100Hz. It can be explained that the dealy of gear motor type flowmeter in high frequency regionis mainly attributed to a first order delay consisting of the inertia of gears and internal leakage of the gear motor.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.5 no.4
• /
• pp.309-317
• /
• 2000

This paper presents the switching angle and voltage to maximize torque/efficiency and minimize torque ripple in the 4-phase 6-poles Switched Reluctance Motor(SRM). SRM drive has high saturation and nonlinear characteristics of inductance. So we cannot hard to find optimal condition by using analytic method. Therefore it is hard to find the operating the switching angle and voltage through the approximated analysis and computer simulation by using SIMULINK according to the speed and torque required by load. From the results, we can say that the optimum average voltage is determined by the load only and the speed is determined by the optimum turn-on/off angle only. And the maximum efficiency and minimum torque ripple depend on switching angle, not on voltage. And then one-chip microcontroller controls the switching angle and voltage of an asymmetrical inverter in the SRM driver. This drive method, which is expect that the driving methods, which are maximizing torque/efficiency and minimizing torque ripple, will be suitable for the electric vehicle, the industrial application and household appliances.

• Journal of Powder Materials
• /
• v.22 no.4
• /
• pp.234-239
• /
• 2015

Electronic products are a major part of evolving industry and human life style; however most of them are known to emit electromagnetic waves that have severe health hazards. Therefore, different materials and fabrication techniques are understudy to control or limit transfer of such waves to human body. In this study, nanocomposite powder is dispersed into epoxy resin and shielding effects such as absorption, reflection, penetration and multiple reflections are investigated. In addition, nano size powder (Ni, $Fe_2O_3$, Fe-85Ni, C-Ni) is fabricated by pulsed wire evaporation method and dispersed manually into epoxy. Characterization techniques such as X-ray diffraction, Scanning electron microscopy and Transmission electron microscopy are used to investigate the phase analysis, size and shape as well as dispersion trend of a nano powder on epoxy matrix. Shielding effect is measured by standard test method to investigate the electromagnetic shielding effectiveness of planar materials, ASTM D4935. At lower frequency, sample consisting nano-powder of Fe-85%Wt Ni shows better electromagnetic shielding effect compared to only epoxy, only Ni, $Fe_2O_3$ and C-Ni samples.

• Korean Journal of Applied Biomechanics
• /
• v.26 no.3
• /
• pp.243-248
• /
• 2016

Objective: The aim of this study was to determine the kinematical characteristics of somersault with twist in the Lou Yun and Akopian motions and to provide useful information to gymnastic athletes in men's vault. Method: The study subjects were 12 male adult top athletes. After 12 trials (7 Lou Yun and 5 Akopian trials) filmed by using two digital high-speed camcorders set at 90 frames/sec, kinematical data were collected through the direct linear transformation (DLT) method. The mean differences in biomechanical variables were compared during the second flight upward phase. The kinematic characteristics of somersault with twist in the Lou Yun and Akopian motions were identified. Results: In Lou Yun motion, the vertical release velocity through horse breaking was not difficult to obtain, so the athletes had enough time to prepare for the twist. Therefore, the Lou Yun motion has an advantage to make a cat twist in the pike posture. In the Akopian motion, obtaining the horizontal velocity through horse pushing was so easy that the Akopian athletes attained a large angular impulse and angular momentum. Therefore, the Akopian motion has an advantage to making a tilt twist in the body tilting posture. Conclusion: This study suggests that gymnastic athletes should control their body segment movements in order to increase the twisting angular velocity of the whole body, which requires regulation of the longitudinal moment of inertia of the body. Moreover, athletes should prepare for the shoulder and hip twists early in order to make the landing position in advance.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2011.02a
• /
• pp.132-132
• /
• 2011

For the programming volume of PRAM, Ge2Sb2Te5(GST) thin films have been dominantly used and prepared by physical vapor deposition (PVD), chemical vapor deposition (CVD), atomic layer deposition (ALD). Among these methods, ALD is particularly considered as the most promising technique for the integration of PRAM because the ALD offers a superior conformality to PVD and CVD methods and a digital thickness control precisely to the atomic level since the film is deposited one atomic layer at a time. Meanwhile, although the IST has been already known as an optical data storage material, recently, it is known that the IST benefits multistate switching behavior, meaning that the IST-PRAM can be used for mutli-level coding, which is quite different and unique performance compared with the GST-PRAM. Therefore, it is necessary to investigate a possibility of the IST materials for the application of PRAM. So far there are many attempts to deposit the IST with MOCVD and PVD. However, it has not been reported that the IST can be deposited with the ALD method since the ALD reaction mechanism of metal organic precursors and the deposition parameters related with the ALD window are rarely known. Therefore, the main aim of this work is to demonstrate the ALD process for IST films with various precursors and the conformal filling of a nano size programming volume structure with the ALD?IST film for the integration. InSbTe (IST) thin films were deposited by ALD method with different precursors and deposition parameters and demonstrated conformal filling of the nano size programmable volume of cell structure for the integration of phase change random access memory (PRAM). The deposition rate and incubation time are 1.98 A/cycle and 25 cycle, respectively. The complete filling of nano size volume will be useful to fabricate the bottom contact type PRAM.

• Journal of the Korean Ceramic Society
• /
• v.40 no.1
• /
• pp.62-68
• /
• 2003

Ba-ferrite particles added with Co and Ti, which were known well the additives for the control in coercivity, were synthesized by sol-gel method. In the range 90 to 120 minute reaction time, a stable sol solution which showed no change with temperature, pH, viscosity and aging time. After dried and heat treatment of sol solution, Ba-ferrite phase formed at $700^{\circ}C$ with Differential Thermal Analysis(DTA) and X-Ray Diffractometer(XRD) measurement. The crystallinity became to be better with increasing the temperature. It were showed by Scanning Electron Microscopy(SEM) that Ba-ferrite increased to particle sizes as increasing heating temperature and obtained of narrow particles size distribution. Also, magnetic characteristics of Ba-ferrite powders Co and Ti added were observed by a Vibrating Sample Magnetometer(VSM). Saturation magnetization$(M_s)$ was not much changed, however. the coercivity$(H_c)$dramatically dropped with addition of Co and Ti.

• Clean Technology
• /
• v.12 no.4
• /
• pp.205-210
• /
• 2006

In this study, polystyrene hollow microspheres were prepared via optimized purifying steps for the reuse of waste polystyrene. PS/PVA double layered hollow microspheres were prepared using the multiple emulsion ($W_1/O/W_2$) method with recycled polystyrene. The sonication treatment at the first stage of $W_1/O$ emulsion formation was very important factor of control of particle size and its distribution. When sonication was treated for 20 seconds, the average particle size and distribution were $1.35{\mu}m$ and $0.8{\mu}m{\sim}2.8{\mu}m$, respectively. The double layered hollow microspheres that have smaller and uniformed particle size distribution were manufactured when gelatin or Tween 80 was used as surfactants in the $W_2$ phase.

• Journal of Korean Tunnelling and Underground Space Association
• /
• v.19 no.6
• /
• pp.973-984
• /
• 2017

There is a growing need to apply TBM tunnelling method for the construction of underground facilities such as subways and utility tunnels in urban areas. Due to the variability and uncertainty of the ground, tunnelling in urban areas has various safety hazards which could cause damage to people and properties and it is very costly to recover from accidents. Therefore, it is very important to identify hazards from the planning and design phase and to establish risk mitigation measures. In this study, a total of 31 hazards affecting the stability of TBM tunnelling works in urban areas were listed from both the technical literature and correspondence with experts in tunnelling area. The importance and priorities of the hazards were analyzed by conducting Delphi technique, which is a decision-making method by consensus among experts. Finally, 12 hazards that satisfy the content validity criteria were settled and could be used as major control factors for accident prevention during TBM tunnelling works.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.38 no.4
• /
• pp.18-26
• /
• 2001

In this paper, we propose an ATC(Automatic Transfer mode Controller) algorithm and an average-mode-change method for use in Gear shift PLL which can automatically change loop gain. The proposed ATC algorithm accurately detects proper timing or the mode change and has a very simpler structure - than the conventional lock detector algorithm often used in QPSK. And the proposed average mode change method can obtain low errors of estimated frequency offset by averaging the loop filter output of frequency component in shift register. These algorithms are also useful in designing ASIC, since these algorithms occupy small circuit area and are adaptable for high speed digital processing. We also present phase tracking performance of proposed Gear-shift PLL, which is composed of polarity decision PD, ATC and average mode change circuit, and analyze the results by examining constellation at each mode.