• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.23 no.1
• /
• pp.39-63
• /
• 2019

In this paper, we study the effect of Cytotoxic T Lymphocyte (CTL) and antibody immune responses on the virus dynamics with both virus-to-cell and cell-to-cell transmissions. The infection rate is given by Holling type-II. We first show that the model is biologically acceptable by showing that the solutions of the model are nonnegative and bounded. We find the equilibria of the model and investigate their global stability analysis. We derive five threshold parameters which fully determine the existence and stability of the five equilibria of the model. The global stability of all equilibria of the model is proven using Lyapunov method and applying LaSalle's invariance principle. To support our theoretical results we have performed some numerical simulations for the model. The results show the CTL and antibody immune response can control the disease progression.

• The Pure and Applied Mathematics
• /
• v.25 no.4
• /
• pp.345-355
• /
• 2018

This paper looks into phase plane behavior of the solution near the positive steady-state for the system with prey density dependent response functions. The positive invariance and boundedness property of the solution to the objective model are proved. The existence result of a positive steady-state and asymptotic analysis near the positive constant equilibrium for the objective system are of interest. The results of phase plane analysis for the system are proved by observing the asymptotic properties of the solutions. Also some numerical analysis results for the behaviors of the solutions in time are provided.

• Journal of information and communication convergence engineering
• /
• v.17 no.3
• /
• pp.167-173
• /
• 2019

This study investigates the problem of leader-following consensus for multi-agent systems with output saturations. This study assumes that the agents are described as a neutrally stable system, and the leader agent generates the bounded trajectory within the saturation level. Then, the objective of the leader-following consensus is to track the trajectory of the leader by exchanging information with neighbors. To solve this problem, we propose an observer-based distributed consensus algorithm. Then, we provide a consensus analysis by applying the Lyapunov stability theorem and LaSalle's invariance principle. The result shows that the agents achieve the leader-following consensus in a global sense. Moreover, we can achieve the consensus by choosing any positive control gain. Finally, we perform a numerical simulation to demonstrate the validity of the proposed algorithm.

• East Asian mathematical journal
• /
• v.37 no.4
• /
• pp.355-379
• /
• 2021

In this article, we investigated plane figures introduced in elementary school mathematics in the perspective of traditional classification, and also analyzed plane figures focused on the invariance of plane figures out of traditional classification. In the view of traditional classification, how to treat trapezoids was a key argument. In the current mathematics curriculum of the elementary school mathematics, the concept of sliding, flipping, and turning are introduced as part of development activities of spatial sense, but it is rare to apply them directly to figures. For example, how are squares and rectangles different in terms of symmetry? One of the main purposes of geometry learning is the classification of figures. Thus, the activity of classifying plane figures from a symmetrical point of view has sufficiently educational significance from Klein's point of view.

• Korean Journal of Mathematics
• /
• v.30 no.1
• /
• pp.91-107
• /
• 2022

Controlled frames have been the subject of interest because of their ability to improve the numerical efficiency of iterative algorithms for inverting the frame operator. In this paper, we introduce the notion of controlled K-frame or controlled operator frame in Hilbert C^*-modules. We establish the equivalent condition for controlled K-frame. We investigate some operator theoretic characterizations of controlled K-frames and controlled Bessel sequences. Moreover, we establish the relationship between the K-frames and controlled K-frames. We also investigate the invariance of a controlled K-frame under a suitable map T. At the end, we prove a perturbation result for controlled K-frame.

• Journal of the Korean Society of Safety
• /
• v.14 no.2
• /
• pp.192-199
• /
• 1999

We propose a rotation invariant fingerprint identification system based on the circular harmonic filter(CHF) and binary phase extraction joint transform correlator(BPEJTC) for validation and security verification. It is shown that this system has the shift and rotation robust properties and can recognize the fingerprint in real-time. The complex circular harmonic filter, which is used to obtain the rotation invariance, is converted into the real-valued filter for real-time implementation. Experimental results show that this system has a good performance in the rotated fingerprints.

• Smart Media Journal
• /
• v.13 no.2
• /
• pp.85-94
• /
• 2024

Artificial Intelligence of Things (AIoT), which combines AI and the Internet of Things (IoT), has recently gained popularity. Deep neural networks (DNNs) have achieved great success in many applications. Deploying complex AI models on embedded boards, nevertheless, may be challenging due to computational limitations or intelligent model complexity. This paper focuses on an AIoT-based system for smart sewing automation using edge devices. Our technique included developing a detection model and a decision tree for a sufficient testing scenario. YOLOv5 set the stage for our defective sewing stitches detection model, to detect anomalies and classify the sewing patterns. According to the experimental testing, the proposed approach achieved a perfect score with accuracy and F1score of 1.0, False Positive Rate (FPR), False Negative Rate (FNR) of 0, and a speed of 0.07 seconds with file size 2.43MB.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.195-205
• /
• 2024

In this paper, we consider the set of periodic shadowable points for homeomorphisms of a compact metric space, and we prove that this set satisfies some properties such as invariance and being a G_δ set. Then we investigate implication relations related to sets consisting of shadowable points, periodic shadowable points and uniformly expansive points, respectively. Assume that the set of periodic points and the set of periodic shadowable points of a homeomorphism on a compact metric space are dense in X. Then we show that a homeomorphism has the periodic shadowing property if and only if so is the restricted map to the set of periodic shadowable points. We also give some examples related to our results.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.28 no.2
• /
• pp.59-70
• /
• 2024

In this paper we present the approximation method of the circular helix by G² cubic polynomial curves. The approximants are G¹ Hermite interpolation of the circular helix and their approximation order is four. We obtain numerical examples to illustrate the geometric continuity and the approximation order of the approximants. The method presented in this paper can be extended to approximating the elliptical helix. Using the property of affine transformation invariance we show that the approximant has G² continuity and the approximation order four. The numerical examples are also presented to illustrate our assertions.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.4
• /
• pp.1107-1119
• /
• 2024

Consider a two dimensional smooth convex body with a marked point on the boundary of it, sitting tangentially at the marked point over a base curve in 𝔼², ℍ² or 𝕊² and the image of this body by the reflection with respect to the tangent line of the base curve at the marked point. When we roll these two bodies simultaneously along the base curve, the trajectories of the marked point bound a closed region. We show that the area of the closed region is independent of the shape of the base curve if the base curve is not highly curved with respect to the boundary curve of the convex body.