• Coupled systems mechanics
• /
• v.3 no.1
• /
• pp.89-110
• /
• 2014

In this work we provide the theoretical formulation, discrete approximation and solution algorithm for instability problems combing geometric instability at large displacements and material instability due to softening under combined thermo-mechanical extreme loads. While the proposed approach and its implementation are sufficiently general to apply to vast majority of structural mechanics models, more detailed developments are provided for truss-bar model. Several numerical simulations are presented in order to illustrate a very satisfying performance of the proposed methodology.

• Journal of the Korea Society for Simulation
• /
• v.22 no.2
• /
• pp.11-19
• /
• 2013

This paper presents the battle space model, which is capable of propagating various types of emissions from platforms in underwater warfare simulation, predicting interesting encounters between pairs of platforms, and managing environmental information. The battle space model has four components: the logger, spatial encounter predictor (SEP), propagator, and geographic information system (GIS) models. The logger model stores brief data on all the platforms in the simulation, and the GIS model stores and updates environmental factors such as temperature and current speed. The SEP model infers an encounter among the platforms in the simulation, and progresses the simulation to the time when this encounter will happen. The propagator model receives various emissions from platforms and propagates these to other "within-range" platforms by considering the propagation losses and delays. The battle space model is based on the discrete event system specification (DEVS) and the discrete time system specification (DTSS) formalisms. To verify the battle space model, simple underwater warfare between a battleship and a submarine was simulated. The simulation results with the model were the same as the simulation results without the model.

• Communications of Mathematical Education
• /
• v.33 no.1
• /
• pp.1-19
• /
• 2019

This study deals with the case of student-centered discrete mathematics class with cyber lab. First, we provided lecture notes and cyber labs we developed. In particular, discrete mathematics is a course that covers the principles of algorithms. The purpose of this study is to provide students with basic mathematics, aiming to actively participate in the learning process, to improve their abilities and to reach the ultimate goal of student success with confidence. Second, based on interactions, students were able to prepare for the lectures, review, question, answer, and discussion through an usual learning management system of the school. Third, all the students generated materials through one semester, which were reported, submitted, presented and evaluated. It was possible to improve the learning effectiveness through the discussions and implementation of using some easy open source programming language and codes. Our discrete math laboratory could be practiced without any special knowledge of coding. These lecture models allow students to develop critical thinking skills while describing and presenting their learning and problem-solving processes. We share our experience and our materials including lecture note and cyber lab as well as a possible model of student-centered mathematics class that does not give too much of work load for instructors. This study shares a model that demonstrates that any professor will be able to have an individualized, customized, and creative discrete education without spending much of extra time and assistant, unlike previous research.

• The KIPS Transactions:PartB
• /
• v.12B no.1 s.97
• /
• pp.9-16
• /
• 2005

This paper focuses on the study of the face authentication system and the robustness of fact authentication methods under illumination changes. Four different face authentication methods are tried. These methods are as fellows; PCA(Principal Component Analysis), GMM(Gaussian Mixture Modeis), 1D HMM(1 Dimensional Hidden Markov Models), Pseudo 2D HMM(Pseudo 2 Dimensional Hidden Markov Models). Experiment results involving an artificial illumination change to fate images are compared with each other. Face feature vector extraction based on the 2D DCT(2 Dimensional Discrete Cosine Transform) if used. Experiments to evaluate the above four different fate authentication methods are carried out on the ORL(Olivetti Research Laboratory) face database. Experiment results show the EER(Equal Error Rate) performance degrade in ail occasions for the varying ${\delta}$. For the non illumination changes, Pseudo 2D HMM is $2.54{\%}$,1D HMM is $3.18{\%}$, PCA is $11.7{\%}$, GMM is $13.38{\%}$. The 1D HMM have the bettor performance than PCA where there is no illumination changes. But the 1D HMM have worse performance than PCA where there is large illumination changes(${\delta}{\geq}40$). For the Pseudo 2D HMM, The best EER performance is observed regardless of the illumination changes.

• Atmosphere
• /
• v.31 no.1
• /
• pp.113-141
• /
• 2021

The impacts of ice clouds on the energy budget of the Earth and their representation in climate models have been identified as important and unsolved problems. Ice clouds consist almost exclusively of non-spherical ice crystals with various shapes and sizes. To determine the influences of ice clouds on solar and infrared radiation as required for remote sensing retrievals and numerical models, knowledge of scattering and microphysical properties of ice crystals is required. A conventional method for representing the radiative properties of ice clouds in satellite retrieval algorithms and numerical models is to combine measured microphysical properties of ice crystals from field campaigns and pre-calculated single-scattering libraries of different shapes and sizes of ice crystals, which depend heavily on microphysical and scattering properties of ice crystals. However, large discrepancies between theoretical calculations and observations of the radiative properties of ice clouds have been reported. Electron microscopy images of ice crystals grown in laboratories and captured by balloons show varying degrees of complex morphologies in sub-micron (e.g., surface roughness) and super-micron (e.g., inhomogeneous internal and external structures) scales that may cause these discrepancies. In this study, the current idealized models representing morphologies of ice crystals and the corresponding numerical methods (e.g., geometric optics, discrete dipole approximation, T-matrix, etc.) to calculate the single-scattering properties of ice crystals are reviewed. Current problems and difficulties in the calculations of the single-scattering properties of atmospheric ice crystals are addressed in terms of cloud microphysics. Future directions to develop physically consistent ice-crystal models are also discussed.

• International Journal of Control, Automation, and Systems
• /
• v.3 no.2
• /
• pp.195-201
• /
• 2005

This paper discusses the problem of positive real control for uncertain 2-D linear discrete time singular Roesser models (2-D SRM) with time-invariant norm-bounded parameter uncertainty. The purpose of this study is to design a state feedback controller such that the resulting closed-loop system is acceptable, jump modes free and stable, and achieves the extended strictly positive realness for all admissible uncertainties. A version of positive real lemma for the 2-D SRM is given in terms of linear matrix inequalities (LMIs). Based on the lemma, a sufficient condition for the solvability of the positive real control problem is derived in terms of bilinear matrix inequalities (BMIs) and an iterative procedure for solving the BMIs is proposed.

• Journal of applied mathematics & informatics
• /
• v.32 no.1_2
• /
• pp.129-136
• /
• 2014

One of the fundamental issues in the design of dynamic spectrum access policy is the modeling of the dynamic behavior of channel occupancy by primary users. Under a Markovian modeling of channel occupancy, a periodic sensing and greedy access policy is known as one of the simple and practical dynamic spectrum access policies in cognitive radio networks. In this paper, the primary occupancy of each channel is modeled as a discrete-time alternating renewal process with generally distributed on- and off-periods. A periodic sensing and greedy access policy is constructed based on the general channel occupancy model. Simulation results show that the proposed policy has better throughput than the policies using channel models with exponentially distributed on- or off-periods.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.1114-1116
• /
• 2005

Shop floor control systems (SFCS) are used to make real-time planning and scheduling decisions to optimize the efficiency of manufacturing shops. These shops exhibit a non-linear, dynamic evolution caused by 1) the concurrent flows of disparate parts following complex routings, 2) a variety of machines that breakdown at random times, 3) stochastic arrivals of new parts with different priorities, and 4) jobs that have probabilistic processing times and transportation times. Because of their ability to capture that evolution faithfully, simulation models are often used in the aforementioned decisions. In this paper, various types of decision-making problems encountered in a shop floor have been investigated and categorized into process related problems and resource related problems for shop floor simulation.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.24 no.7B
• /
• pp.1279-1288
• /
• 1999

DEVSim++ is a C++ based, object-oriented modeling/simulation environment which realizes the hierarchical, modular DEVS formalism for discrete event systems specification. The paper describes a methodology for performance modeling and analysis of an ATM-based network system within the DEVSim++ environment. The methodology develops performance models for the system using the DEVS framework and implement the models in C++. Performance indices measured are the length of queues located at connection of the system and cell waiting times with respect to QoS grades for a network bandwidth of 155 Mbps.

• Journal of the Korea Computer Graphics Society
• /
• v.12 no.1
• /
• pp.21-25
• /
• 2006

This paper proposes a real-time simulation technique for thin shells undergoing large deformation. Thin shells are almost two-dimensional structures visually well approximated as surfaces, such as leaves, paper sheets, hats, aluminum cans. Unfortunately accurate simulation of these structures requires one of the most complex formulations in continuum mechanics, shell theory [4]. Moreover, there has not yet been any work reported to produce visually convincing animation of them while achieving real-time performance. Motivated by discrete shells [5] and modal warping [3], we formulate dynamics of thin shells using mass-spring models instead of finite element models, and then apply the modal warping technique to cope with large rotational deformation of thin shells. Experiments show that the proposed technique runs in real-time, and that it can simulate large bending and/or twisting deformations with acceptable realism.