• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.219-227
• /
• 2008

The DEVS (Discrete Event Systems Specification) formalism supports specification of discrete event models in a hierarchical modular manner. MATLAB/Simulink is widely used for modeling, simulating and analyzing continuous and discrete time systems. This paper proposes a realization of the DEVS formalism in MATLAB/ Simulink. The proposed design enables to use a great amount of mathematical packages and functions included in MATLAB /Simulink. The design is also employed as real time simulation and hybrid system simulation which is a mixture of continuous systems and discrete event systems. The paper introduces Simulink-DEVS model, in which a simulation algorithm is embedded. The model consists of a Simulink-atomic model and a Simulink-coupled model. In addition, the time advance algorithm to simulate the model is suggested. The algorithm handles the time synchronization and the accommodation of different concepts specific to continuous and discrete event models. Two experimental results are presented for a pure discrete event model and a hybrid model.

• Journal of Ship and Ocean Technology
• /
• v.10 no.2
• /
• pp.24-36
• /
• 2006

Ship hullform is usually designed with a curve network, and smooth hullform surfaces are supposed to be generated by filling in (or interpolating) the curve network with appropriate surface patches. Tensor-product surfaces such as B-spline and $B\'{e}zier$ patches are typical representations to this interpolating problem. However, they have difficulties in representing the surfaces of irregular topological type which are frequently appeared in the fore- and after-body of ship hullform curve network. In this paper, we proposed a method that can automatically generate discrete $G^1$ continuous B-spline surfaces interpolating given curve network of ship hullform. This method consists of three steps. In the first step, given curve network is reorganized to be of two types: boundary curves and reference curves of surface patches. Especially, the boundary curves are specified for their surface patches to be rectangular or triangular topological type that can be represented with tensor-product (or degenerate) B-spline surface patches. In the second step, surface fitting points and cross boundary derivatives are estimated by constructing virtual iso-parametric curves at discrete parameters. In the last step, discrete $G^1$ continuous B-spline surfaces are generated by surface fitting algorithm. Finally, several examples of resulting smooth hullform surfaces generated from the curve network data of actual ship hullform are included to demonstrate the quality of the proposed method.

• 제어로봇시스템학회:학술대회논문집
• /
• 2005.06a
• /
• pp.1445-1449
• /
• 2005

The ram assembly is important equipment in fueling machine of PHWR(Pressurized Heavy Water Reactor) plant where fuel replacement is possible while the plant is in service. Troubles in the ram assembly can cause lots of difficulties in power plant operation. The ram assembly is typically composed of the B-ram, the L-Ram and the C-Ram. The B-ram is focused in this paper because it plays the most important role in the ram assembly. Among the ram fault phenomena, ram stuck phenomena are the most frequent cases in the B-ram, which has a ball screw mechanism driven by a hydraulic motor. Ram stuck phenomena are due to ball wear and damage in ball nut that increase in proportion to the number of fuel replacement. It is required to predict ram stuck phenomena before they occur. In this paper, a method is proposed for predicting ram stuck phenomena using a discrete wavelet transform. The discrete wavelet transform provides information on both the time and frequency characteristics of the input signals. The proposed method uses the frequency bandwidths of coefficients of discrete wavelet decompositions and detail coefficients of discrete wavelet transform to predict ram stuck phenomena. The signal used in this paper is a torque-related signal such as a hydraulic service outlet pressure signal in a hydraulic driving system or a current signal in a DC motor driving system. Finally, the validity of the proposed method is shown via experiment using ball nut characteristic test equipment that simulates ram stuck phenomena due to increased ball friction in ball nut.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.47 no.1
• /
• pp.7-16
• /
• 2010

Face recognition of face images is an active subject in the area of computer pattern recognition, which has a wide range of potential. Automatic extraction of face image of the feature points is an important step during automatic face recognition. Whether correctly extract the facial feature has a direct influence to the face recognition. In this paper, a new method of facial feature extraction based on Discrete Wavelet Transform is proposed. Firstly, get the face image by using PC Camera. Secondly, decompose the face image using discrete wavelet transform. Finally, we use the horizontal direction, vertical direction projection method to extract the features of human face. According to the results of the features of human face, we can achieve face recognition. The result show that this method could extract feature points of human face quickly and accurately. This system not only can detect the face feature points with great accuracy, but also more robust than the tradition method to locate facial feature image.

• Journal of the Korea Society for Simulation
• /
• v.27 no.2
• /
• pp.61-69
• /
• 2018

As the technology of information and communication has developed over recent years, an embedded system is applied in multiple industries and becomes more complicated. For this reason, embedded system development cost and time are also increased. For decreasing the cost and time, this paper suggests requirement evaluation method for concurrent development of an embedded system based on Discrete Event System(DEVS) Formalism. This paper proposes a method of describing the requirements specification in the form of DEVS atomic model. Also, the paper proposes the evaluator model that compares evaluation target system and the requirements model that is an implementation of requirement specification and proposes the evaluation method using them. In addition, we propose a method to utilize the requirement model created for requirements evaluation in the concurrent development process of the embedded system. As the case study, this paper proceeds requirement evaluation of Kinect depth data processing system.

• Journal of Ocean Engineering and Technology
• /
• v.20 no.1 s.68
• /
• pp.69-76
• /
• 2006

The design of efficient search path to maximize the Cumulative Detection Probability(CDP) is mainly dependent on experience and intuition when searcher detect the target using SONAR in the ocean. Recently with the advance of modeling and simulation method, it has been possible to access the optimization problems more systematically. In this paper, a method for the optimal search path calculation is developed based on the combination of the genetic algorithm and the calculation algorithm for detection range. We consider the discrete system for search path, space, and time, and use the movement direction of the SONAR for the gene of the genetic algorithm. The developed algorithm, OASPP(Optimal Acoustic Search Path Planning), is shown to be effective, via a simulation, finding the optimal search path for the case when the intuitive solution exists. Also, OASPP is compared with other algorithms for the measure of efficiency to maximize CDP.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.7
• /
• pp.244-252
• /
• 2013

In this paper, we show that supervisory control theory of discrete event systems can be applied to analyze the problem of power in political economy. For this purpose, we introduce the decision mechanism of control inputs based on power, and the consequent behavior of a supervised system. Specifically, this paper presents the notion of power-controllability as a necessary and sufficient condition to achieve a common control objective of competing groups (local controllers). If the power-controllability is met, a modular system controlled by local controllers with power functions is not deviated from a common control objective of them.

• Journal of the Institute of Electronics Engineers of Korea SC
• /
• v.38 no.4
• /
• pp.1-10
• /
• 2001

In this paper, we propose the stability analysis and design methodology for the discrete-time affine Type III fuzzy system via the convex optimization technique. First, the stability condition is derived under which the discrete-time affine Type III fuzzy system is quadratically stable in the large. Next, the derived condition is reformulated into the convex optimization problem called Linear Matrix Inequalities (LMI) and numerically addressed. Finally, the effectiveness and the feasibility of the proposed analysis and design methodology is highlighted via an example and its computer simulation result.

• Journal of Electrical Engineering and Technology
• /
• v.13 no.5
• /
• pp.2074-2079
• /
• 2018

Global state space's optimal policy is used for offline controller in the form of table by using Dynamic Programming. If an optimal policy table has a large amount of control data, it is difficult to use the system in a low capacity system. To resolve these problem, controller using the compressed optimal policy table is proposed in this paper. A DCT is used for compression method and the cosine function is used as a basis. The size of cosine function decreased as the frequency increased. In other words, an essential information which is used for restoration is concentrated in the low frequency band and a value of small size that belong to a high frequency band could be discarded by quantization because high frequency's information doesn't have a big effect on restoration. Therefore, memory could be largely reduced by removing the information. The compressed output is stored in memory of embedded system in offline and optimal control input which correspond to state of plant is computed by interpolation with Inverse DCT in online. To verify the performance of the proposed controller, computer simulation was accomplished with a one link inverted pendulum.

• Journal of the Korea Society for Simulation
• /
• v.27 no.2
• /
• pp.49-59
• /
• 2018

The simulation-based weapon system effectiveness analysis is to support the decision making in the acquisition process of the defense domain. The effectiveness of the weapon system is a complexly influenced indicator from various factors such as environment, doctrine and so on. And the measurement of effectiveness can be defined differently in compliance with major issues in the weapon system. Because of this, the weapon system effectiveness analysis requires the comparative experiment of various alternatives based on the underlying assumption. This paper presents the efficient approach to reconfigure the simulation using the reflection technique. The proposed method contains the recoupling and resetting the simulation entity using DEVS(Discrete EVent System specification) formalism-based dynamic plug-in method. With the proposed method, this paper designs the effectiveness analysis environment that can efficiently handle the various alternatives of the weapon system.