• Journal of Institute of Control, Robotics and Systems
• /
• v.4 no.1
• /
• pp.1-9
• /
• 1998

This paper is focussed on the problem of robustly stabilizing a transformable linear time-varying system. The considered system is a class of state feedback transformable linear systems. First, the real linear time-varying system is transformed into the linear time invariant system composed with the time-invariant linear part and the time-varying uncertainty part. Second, the solution to a quadratic stabilization problem in the transformed linear system is give via' Lyapunov methods. Then this solution is used to construct a stabilizing linear control law for the real linear time-varying system.

• Preventive Nutrition and Food Science
• /
• v.12 no.4
• /
• pp.259-266
• /
• 2007

It has been proposed that the mode of action of nisin against vegetative cells and spores of Clostridium botulinum is different. However, clear explanation is not available. Therefore, nisin action against vegetative cells and spores of C. botulinum was investigated in this study. Nisin was added at various stages of spore-to-vegetative cell transition and changes to sensitivity to the bacteriocin were observed. Different nisin preparation (Nisaplin or pure nisin) was compared for their activity against different stages of spore transformation of C. botulinum ATCC 25763. Germination was measured by determining loss of heat resistance and observing phase darkening of spores under phase-contrast microscope. Nisin acted bactericidally against vegetative cells, but acted sporostatically against spores of C. botulinum under the same concentration. This bactericidal and sporostatic action of nisin was dependent on the concentration of nisin used. Presence of nisin during spore activation by heat increased subsequent phase darkening and germination rates. However, nisin inhibited the germination and the outgrowth, when it was added after heat activation stage. Findings from this study suggest that the time of addition of nisin is very important for the effective control of spores during the heating process of foods. In addition, it may be possible to apply nisin at the stage of processing that coincides with the most sensitive stage of spore transformation.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.16 no.2
• /
• pp.128-147
• /
• 1991

We propose a dynamic incidence matrix (DIM) for reflecting states and time conditions of a timed Petri net (TPN) explicitly. Since a DIM consists of a conventional incidence matrix, two time-related vectors and two state-related vectors, we can get the advantages inherent in the conventional incidence matrix of describing a static structure of a system as well as another advantage of expressing time dependent state transitions. We introduce an algorithm providing the DIM with a state transition mechanism. Because the algorithm is, in fact, an algorithmic model for discrete event simulation of TPN models, we provide a theoretical basis of model transformation of a TPN model into a DEVS(Discrete Event system Specification) model. By executing the algorithm we can carry out performance analysis of computer communication protocols which are represented TPN models.

• International Journal of Control, Automation, and Systems
• /
• v.6 no.1
• /
• pp.15-23
• /
• 2008

This paper considers the problem of delay-dependent guaranteed cost controller design for uncertain neutral systems with distributed delays. The system under consideration is subject to norm-bounded time-varying parametric uncertainty appearing in all the matrices of the state-space model. By constructing appropriate Lyapunov functionals and using matrix inequality techniques, a state feedback controller is designed such that the resulting closed-loop system is not only robustly stable but also guarantees an adequate level of performance for all admissible uncertainties. Furthermore, a convex optimization problem is introduced to minimize a specified cost bound. By matrix transformation techniques, the corresponding optimal guaranteed controller can be obtained by solving a linear matrix inequality. Finally, a simulation example is presented to demonstrate the effectiveness of the proposed approach.

• Proceeding of EDISON Challenge
• /
• 2015.03a
• /
• pp.246-250
• /
• 2015

In this paper, Timoshenko and Euler-Bernoulli beam theories(EB-beam) are used, and Fast Fourier Transformation(FFT) analysis is then employed to extract their natural frequencies using both analytical approach and Co-rotational plane beam(CR-beam) EDISON program. EB-beam is used to analyze a spring-mass system with a single degree of freedom. Sinusoidal force with various frequencies and constant magnitude are applied to tip of each beam. After the oscillatory tip response is observed in EB-beam, it decreases and finally converges to the so-called 'steady-state.' The decreasing rate of the tip deflection with respect to time is reduced when the forcing frequency is increased. Although the tip deflection is found to be independent of the excitation frequency, it turns out that time to reach the steady state response is dependent on the forcing frequency.

• Parasites, Hosts and Diseases
• /
• v.54 no.1
• /
• pp.39-46
• /
• 2016

Theileria annulata is a tick-borne intracellular protozoan parasite that causes tropical theileriosis, a fatal bovine lymphoproliferative disease. The parasite predominantly invades bovine B lymphocytes and macrophages and induces host cell transformation by a mechanism that is not fully comprehended. Analysis of signaling pathways by quantitative real-time PCR (qPCR) could be a highly efficient means to understand this transformation mechanism. However, accurate analysis of qPCR data relies on selection of appropriate reference genes for normalization, yet few papers on T. annulata contain evidence of reference gene validation. We therefore used the geNorm and NormFinder programs to evaluate the stability of 5 candidate reference genes; 18S rRNA, glyceraldehyde-3-phosphate dehydrogenase (GAPDH), ACTB (${\beta}-actin$), PRKG1 (protein kinase cGMP-dependent, type I) and TATA box binding protein (TBP). The results showed that 18S rRNA was the reference gene most stably expressed in bovine PBMCs transformed and non-transformed with T. annulata, followed by GAPDH and TBP. While 18S rRNA and GAPDH were the best combination, these 2 genes were chosen as references to study signaling pathways involved in the transformation mechanism of T. annulata.

• Transactions of the Korean Society for Noise and Vibration Engineering
• /
• v.17 no.7 s.124
• /
• pp.624-631
• /
• 2007

PFA (power flow analysis) has been recognized as a useful method in vibration analysis of medium-to-high frequency ranges. Until now, PFA method has been developed for steady-state vibration problems. In this paper, PFA method has been expanded to transient problem. New energy governing equations are derived considering time dependent terms in beam and plate. Analytic solutions of those equations are found in simple beam and plate, and are verified by comparing with modal solutions.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.13 no.6
• /
• pp.539-545
• /
• 2013

In this paper, a behavioral current-voltage model with intermediate states is proposed for analog applications of unipolar resistive memories, where intermediate resistance values between SET and RESET state are used to store analog data. In this model, SET and RESET behaviors are unified into one equation by the blending function and the percentage volume fraction of each region is modeled by the Johnson-Mehl-Avrami (JMA) equation that can describe the time-dependent phase transformation of unipolar memory. The proposed model is verified by the measured results of $TiO_2$ unipolar memory and tested by the SPECTRE circuit simulation with CMOS read and write circuits for unipolar resistive memories. With the proposed model, we also show that the behavioral model that combines the blending equation and JMA kinetics can universally describe not only unipolar memories but also bipolar ones. This universal behavioral model can be useful in practical applications, where various kinds of both unipolar and bipolar memories are being intensively studied, regardless of polarity of resistive memories.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.28 no.5
• /
• pp.477-483
• /
• 2015

In this paper, Euler-Bernoulli beam theories(EB-beam) are used, and Fast Fourier Transformation(FFT) analysis is then employed to extract their natural frequencies using both analytical approach and Co-rotational plane beam(CR-beam) EDISON program. EB-beam is used to analyze a spring-mass system with a single degree of freedom. Sinusoidal force with various frequencies and constant magnitude are applied to tip of each beam. After the oscillatory tip response is observed in EB-beam, it decreases and finally converges to the so-called 'steady-state.' The decreasing rate of the tip deflection with respect to time is reduced when the forcing frequency is increased. Although the tip deflection is found to be independent of the excitation frequency, it turns out that time to reach the steady state response is dependent on the forcing frequency.

• Journal of Power System Engineering
• /
• v.17 no.3
• /
• pp.72-81
• /
• 2013

Many articles have been published about a 2-degree of freedom model that includes the lateral and yaw motions for controller synthesis in intelligent transport system applications. In this paper, a 3-degree of freedom linear model that includes the roll motion is developed to design a robust steering controller for lane following maneuvers using ${\mu}$-synthesis. This linear perturbed system includes a set of parametric uncertainties in cornering stiffness and unmodelled dynamics in steering actuators. The state-space model with parametric uncertainties is represented in linear fractional transformation form. Design purpose can be obtained by properly choosing the frequency dependent weighting functions. The objective of this study is to keep the tracking error and steering input energy small in the presence of variations of the cornering stiffness coefficients. Furthermore, good ride quality has to be achieved against these uncertainties. Frequency-domain analyses and time-domain numerical simulations are carried out in order to evaluate these performance specifications of a given vehicle system. Finally, the simulation results indicate that the proposed robust controller achieves good performance over a wide range of uncertainty for the given maneuvers.