• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.10
• /
• pp.410-417
• /
• 2018

System design errors are more likely to occur in modern systems because of their steadily increasing size and complexity. Failures due to system design errors can cause safety-related accidents in the system, resulting in extensive damage to people and property. Therefore, international standards organizations, such as the U.S. Department of Defense and the International Electrotechnical Commission, have established international safety standards to ensure system safety, and recommend that system design and safety activities should be integrated. Recently, the safety of a system has been verified by modeling through a model-based system design. On the other hand, system design and safety activities have not been integrated because the model for system design and the failure model for safety analysis and verification were developed using different modeling language platforms. Furthermore, studies using UML or SysML-based failure models for deriving safety requirements have shown that these models have limited applicability to safety analysis and verification. To solve this problem, it is essential to extend the existing methods for failure model implementation. First, an improved SysML-based failure model capable of integrating system design and safety verification activities should be produced. Next, this model should help verify whether the safety requirements derived via the failure model are reflected properly in the system design. Therefore, this paper presents the concept and method of developing a SysML-based failure model for an automotive system. In addition, the failure model was simulated to verify the safety of the automotive system. The results show that the improved SysML-based failure model can support the integration of system design and safety verification activities.

• Journal of Information Processing Systems
• /
• v.3 no.1
• /
• pp.1-7
• /
• 2007

In mobile ad hoc networks, an application scenario requires mostly collaborative mobility behavior. The key problem of those applications is scalability with regard to the number of multicast members as well as the number of the multicast group. To enhance scalability with group mobility, we have proposed a multicast protocol based on a new framework for hierarchical multicasting that is suitable for the group mobility model in MANET. The key design goal of this protocol is to solve the problem of reflecting the node's mobility in the overlay multicast tree, the efficient data delivery within the sub-group with group mobility support, and the scalability problem for the large multicast group size. The results obtained through simulations show that our approach supports scalability and efficient data transmission utilizing the characteristic of group mobility.

• Journal of National Security and Military Science
• /
• s.1
• /
• pp.391-421
• /
• 2003

While the social activities using Internet become generalized, the side effect of the information security violation is increasing steadily and threaten the countries which is not ready to prevent from offensive penetration such as the Information-fighter or Cyber-military. In this paper, we define the concept and characteristics of the modern Information-Warfare and analyze various kinds of threatened elements and also examine the recent trend in other countries. And introducing Computer Forensics raised recently for the confrontation against the security violation in the future, we will show the developing strategies and the necessity in order to response cyber attacks. These developing strategies can be used to ensure and re-trace the technical evidence for the security violation and to achieve the disaster relief effectively. So we hope that can apply them to the actual preparation through developing cyber trial test of the defense and attack for the Information-Warfare.

• Journal of Marine Bioscience and Biotechnology
• /
• v.2 no.3
• /
• pp.127-132
• /
• 2007

The innate immune response which is seen as the initial defense mechanism induced upon foreign invasion has been well documented in higher vertebrates. This has also been observed in fish infected with NNV. However, the fish immune system based on fully established genome project has not been fully elucidated. Therefore, in this review, we hope to correlate NNV infection in fish that has devastated the aquaculture industry, to its host immune system. Further, we discuss the potential preventive measures in overcoming the widespread of this neurodisease.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.20 no.3
• /
• pp.901-909
• /
• 1996

A model is constructed to evaluate the stress intensity factors(SIFs) for composites with an interlaminar crack subjected to as arbitrary crack surface loading. A mixed boundary value problem is formulated by Fourier integral transform method and a Fredholm integral equation of the second kind is derived. The integral equation is solved numerically and the mode I and II SIFs are evaluated for various shear modulus ratios between each layer, crack length to layer thickness, each term of crack surface polynomial loading and the number of layers. The mode I and II SIFs for the E- glass/epoxy composites as well as the hybrid composites are also evaluated.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.20 no.3
• /
• pp.850-860
• /
• 1996

This paper considers a sliding mode controller for a depth and course control of a class of submersible Vehicles. Since the vehicle used here shows complex dynamic characteristics sensitive to speed variation and buoyancy, robustness in control of vertical and horizontal plane motions of the vehicle is achieved by using the sliding mode controller of which a structure varies according to a pre-designed principle, so called the variable structure control. To compare this controller with another in robustness, PID controller for the same model of vehicle is designed. From various simulations for two controllers, it is shown that the sliding mode controller is the more robust anainst to modeling errors and disturbances.

• Journal of Institute of Control, Robotics and Systems
• /
• v.7 no.1
• /
• pp.1155-1161
• /
• 2001

We propose an adaptive nonlinear control algorithm for high precision tracking and stabilization of LOS(Line-of-Sight). The friction parameters of the LOS gimbal are estimated by off-line evolutionary strategy and the friction is compensated by estimated friction compensator. Especially, as the nonlinear control input in a small tracking error zone is enlarged by the nonlinear function, the steady state error is significantly reduced. The proposed algorithm is a direct adaptive control method based on the Lyapunov stability theory, and its convergence is guaranteed under the limited modeling error or torque disturbance. The performance of the pro-posed algorithm is verified by computer simulation on the LOS gimbal model of a moving vehicle.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.565-569
• /
• 2003

In this paper, a robust filter is proposed to effectively estimate the system states in the case where system model uncertainties as well as disturbances are present. The proposed robust filter is constructed based on the linear approximation methods for a general nonlinear uncertain system with an integral quadratic constraint. We also derive the important characteristic of the proposed filter, a modified $H_{\infty}$ performance index. Analysis results show that the proposed filter has robustness against disturbances, such as process and measurement noises, and against parameter uncertainties. Simulation results show that the proposed filter effectively improves the performance.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.1810-1815
• /
• 2003

Sliding mode control with nonlinear interpolation in the boundary layer is proposed. A modified sigmoid function is used for nonlinear interpolation in the boundary layer and its parameter is tuned by a fuzzy logic controller. The fuzzy logic controller that takes the distance between the system state and the sliding surface as its input guides the choice of parameter of the modified sigmoid function and the parameter is on-line tuned. Owing to the decreased thickness, the proposed method has better tracking performance than the conventional linear interpolation method. To demonstrate its performance, the proposed control algorithm is applied to a simple nonlinear system model.

• Journal of Magnetics
• /
• v.19 no.1
• /
• pp.43-48
• /
• 2014

Magnetic materials with large coercive force and high squareness ratio are currently developing to meet an industrial demand. Since a ferromagnetic material has hysteresis characteristics, it is hard to demagnetize a ferromagnetic material precisely. In this paper, we describe deperm processes and conduct an analysis of residual magnetization of ferromagnetic material using the Preisach modeling with a two-dimensional finite elements method (FEM). From the results, it was shown that an exponential decrement form of deperm protocol is more efficient than a linear decrement form because of the demagnetizing field in the ferromagnetic material.