• Animal Systematics, Evolution and Diversity
• /
• v.30 no.1
• /
• pp.39-43
• /
• 2014

In this brief report, alternative time-varying diversification rate models were fitted onto the phylogeny of global amphibians by considering one-constant-rate (OCR), one-continuous-shift (OCS) and multiple-discrete- shifts (MDS) situations. The OCS diversification model was rejected by ${\gamma}$ statistic (${\gamma}=-5.556$, p<0.001), implying the existence of shifting diversification rates for global amphibian phylogeny. Through model selection, MDS diversification model outperformed OCS and OCR models using "laser" package under R environment. Moreover, MDS models, implemented using another R package "MEDUSA", indicated that there were sixteen shifts over the internal nodes for amphibian phylogeny. Conclusively, both OCS and MDS models are recommended to compare so as to better quantify rate-shifting trends of species diversification. MDS diversification models should be preferential for large phylogenies using "MEDUSA" package in which any arbitrary numbers of shifts are allowed to model.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.3 no.4
• /
• pp.338-345
• /
• 1998

The mathematical interpretation of a practical sampler which is useful to obtain the small signal models for the peak and average current mode controls is proposed. Due to the difficulties in applying the Shannons sampling theorem to the analysis of sampling effects embedded in the current mode control, several different approaches have been reported. However, these approaches require the information of the inductor current in a discrete expression, which restricts the application of the reported method only to the peak current mode control. In this paper, the mathematical expressions of sampling effects on a current loop which can directly apply the Shannons sampling theorem are newly proposed, and applied to the modeling of the peak current mode control. By the newly derived models of a practial smapler, the models in a discrete time domain and a continuous time domain are obtained. It is expected that the derived models are useful for the control loop design of power supplies. The effectiveness of the derived models are verified through the simulation and experimental results.

• Proceedings of the KIPE Conference
• /
• 1998.07a
• /
• pp.275-278
• /
• 1998

The mathematical interpretation of a practical sampler which is useful to obtain the small signal models for the peak and average current mode controls is proposed. Due to the difficulties in applying the Shannon's sampling theorem to the analysis of sampling effects embedded in the current mode control, several different approaches have been reported. However, these approaches require the information of the inductor current in a discrete expression, which restricts the application of the reported method only to the peak current mode control. In this paper, the mathematical expressions of sampling effects on a current loop which can directly apply the Shannon's sampling theorem are newly proposed, and applied to the modeling of the peak current mode control. By the newly derived models of a practical sampler, the models in a discrete time domain and a continuous time domain are obtained. It is expected that the derived models are useful for the control loop design of power supplies. The effectiveness of the derived models are verified through the simulation and experimental results.

• Proceedings of the KIEE Conference
• /
• 1986.07a
• /
• pp.140-144
• /
• 1986

In this paper an FIR(finite impulse response) filter and smoother are introduced for discrete time-invariant state-space models with driving noises. The FIR structure not only quarantees the BIBO stability and the robustness to parameter changes but also improves the filter divergence problem. It is shown that the impulse responses of the FIR filter and the smoother are obtained by Riccati-type difference equations and that they are to be time-invariant and reduced to very simple forms. For implementational purpose, recursive forms of the FIR filler and smoother are derived with each other used as the adjoint variable.

• Journal of the Korea Society for Simulation
• /
• v.3 no.1
• /
• pp.75-88
• /
• 1994

Discrete event modeling is finding ever more application to anlysis and design of complex manufacturing, communication, computer systems, etc. This paper shows how packet network systems may be advantageously represented as DEVS (Discrete Event System Specification) models by employing System Entity structure / Model base (SES/MB) framework developed by Zeigler. DEVS models and network structure representations support a strong basis for performance analysis of packet network systems. This approach is illustated in a typical packet network example with several routing strategies.

• Journal of the Korea Society for Simulation
• /
• v.2 no.1
• /
• pp.31-44
• /
• 1993

Zeigler's DEVS(Discrete Event Systems Specification) formalism supports formal specification of discrete event systems in a hierarchical , modular manner. Associated are hierarchical, distributed simulation algorithms, called abstract simulators, which interpret dynamics of DEVS models. This paper deals with performance evaluation of P-DEVSIM ++, a parallel simulation environment which implements the DEVS formalism and associated simulation algorithms in a parallel environment. Performance simulator has been developed and used to experiment models of parallel simulation executions in different conditions. The experimental result shows that simulation time depends on both the number of processors in the parallel system and the communication overheads among such processors.

• Proceedings of the KIEE Conference
• /
• 1987.11a
• /
• pp.439-443
• /
• 1987

This paper presents a method for constructing model of manufacturing processes for simulation and design of the discrete control logic. The models represent the discrete vent evolution of the system as well as features of the underlying continues processes, for applications such as discrete parts manufacture and assembly, the process is decomposed into operations and for each operation the required resources and associated discrete resource slates are Identified. The structure of the discrete-level control is modeled by modified Perti nets which are synthesized from single resource activity cycles. Construction of nets provides discrete control logic with guaranteed properties based on extended Petri nets theory, for illustration, the proposed method is applied to the high-level discrete control of a two-robotic assembly cell.

• Journal of the Korean Statistical Society
• /
• v.19 no.1
• /
• pp.45-53
• /
• 1990

Factorization models are a generalization of hierarchical loglinear models which apply equally to discrete and continuous distributions. In regular (strictly positive) cases the intersection of two factorization models is another factorization model whose representation is obtained by a simple algorithm. Failure of this result in an irregular case is related to a theorem of Basu on ancillary statistics.

• Journal of Advanced Navigation Technology
• /
• v.24 no.3
• /
• pp.184-191
• /
• 2020

Avionics System Integration Laboratory is the integrated test environment for integration and verification of avionics systems. When real equipment can not be used in the laboratory for various reasons, software models should be needed. Because there hasn't been any standardized method for the models so that it is difficult to reuse the developed models, the need for a framework to develop the avionics software models was emerged. We adopted DEVS(discrete event system specification) formalism as the standardized modeling method for the avionics software models. Due to DEVS formalism is based on event-driven algorithm, it doesn't accord a legacy system which has sequential and periodic algorithms. In this paper, we propose real-time event-driven modeling and simulation method for SIL to overcome these restrictions and to maximize reusability of avionics models through the analysis of the characteristics and the limitations of avionics models.

• Journal of the Korea Society of Computer and Information
• /
• v.27 no.5
• /
• pp.101-107
• /
• 2022

Modeling and simulation is a technique used for operational verification, performance analysis, operational optimization, and prediction of target systems. Discrete Event System Specification (DEVS) of this representative technology defines models with a strict formalism and stratifies the structures between the models. When the atomic DEVS models operate with an intention different the target system, the simulation may lead to erroneous decision-making. However, most DEVS systems have the exclusion of the model test or provision of the manual test, so developers spend a lot of time verifying the atomic models. In this paper, we propose a script-based automated test system for accurate and fast validation of atomic models in Python-based DEVS. The proposed system uses both the existing method of manual testing and the new method of the script-based testing. As Experimental results in our system, the script-based test method was executed within 24 millisecond when the script was executed 10 times consecutively. Thus, the proposed system guarantees a fast verification time of the atomic models in our script-based test and improves the reusability of the test script.