• Kyungpook Mathematical Journal
• /
• v.52 no.4
• /
• pp.383-395
• /
• 2012

In this paper, we use a computational algorithm for the inversion of the one and two-dimensional $\mathcal{L}_2$-transform based on the Bromwich's integral and the Fourier series. The new inversion formula can evaluate the inverse of the $\mathcal{L}_2$-transform with considerable accuracy over a wide range of values of the independent variable and can be devised for the functions which are not Laplace transformable and have damping motion in small interval near origin.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.9 no.2
• /
• pp.793-810
• /
• 2015

The TWINE is a new Generalized Feistel Structure (GFS) lightweight cryptosystem in the Internet of Things. It has 36 rounds and the key lengths support 80 bits and 128 bits, which are flexible to provide security for the RFID, smart cards and other highly-constrained devices. Due to the strong attacking ability, fast speed, simple implementation and other characteristics, the differential fault analysis has become an important method to evaluate the security of lightweight cryptosystems. On the basis of the 4-bit fault model and the differential analysis, we propose an effective differential fault attack on the TWINE cryptosystem. Mathematical analysis and simulating experiments show that the attack could recover its 80-bit and 128-bit secret keys by introducing 8 faulty ciphertexts and 18 faulty ciphertexts on average, respectively. The result in this study describes that the TWINE is vulnerable to differential fault analysis. It will be beneficial to the analysis of the same type of other iterated lightweight cryptosystems in the Internet of Things.

• Honam Mathematical Journal
• /
• v.36 no.2
• /
• pp.233-251
• /
• 2014

In this paper, position vector of a spacelike slant helix with respect to standard frame are deduced in Minkowski space $E^3_1$. Some new characterizations of a spacelike slant helices are presented. Also, a vector differential equation of third order is constructed to determine position vector of an arbitrary spacelike curve. In terms of solution, we determine the parametric representation of the spacelike slant helices from the intrinsic equations. Thereafter, we apply this method to find the parametric representation of some special spacelike slant helices such as: Salkowski and anti-Salkowski curves.

• Journal of the Korean Mathematical Society
• /
• v.37 no.4
• /
• pp.625-643
• /
• 2000

In this paper we formulate an optimal control problem governed by time-delay Volterra integral equations; the problem includes control constraints as well as terminal equality and inequality constraints on the terminal state variables. First, using a special type of state and control variations, we represent a relatively simple and self-contained method for deriving new necessary conditions in the form of Pontryagin minimum principle. We show that these results immediately yield classical Pontryagin necessary conditions for control processes governed by ordinary differential equations (with or without delay). Next, imposing suitable convexity conditions on the functions involved, we derive Mangasarian-type and Arrow-type sufficient optimality conditions.

• Honam Mathematical Journal
• /
• v.40 no.4
• /
• pp.785-794
• /
• 2018

In [8] they introduced a new finite element method for accurate numerical solutions of Poisson equations with corner singularities. They consider the Poisson equations with homogeneous Dirichlet boundary condition with one corner singularity at the origin, and compute the finite element solution using standard FEM and use the extraction formula to compute the stress intensity factor, then pose a PDE with a regular solution by imposing the nonhomogeneous boundary condition using the computed stress intensity factor, which converges with optimal speed. From the solution they could get an accurate solution just by adding the singular part. This approach uses the polar coordinate and the cut-off function to control the singularity and the boundary condition. In this paper we consider Poisson equations with multiple singular points, which involves different cut-off functions which might overlaps together and shows the way of cording in FreeFEM++ to control the singular functions and cut-off functions with numerical experiments.

• Steel and Composite Structures
• /
• v.25 no.4
• /
• pp.497-503
• /
• 2017

In this paper, nonlinear vibration of multi-degree of freedom systems are studied. It has been tried to develop the mathematical model of systems by second-order nonlinear partial differential equations. The masses are connected with linear and nonlinear springs in series. A great effort has been done to solve the nonlinear governing equations analytically. A new analytical method called Variational Iteration Method (VIM) is proposed and successfully applied to the problem. The linear and nonlinear frequencies are obtained and the results are compared with numerical solutions. The first order of Variational Iteration Method (VIM) leads us to high accurate solution.

• Steel and Composite Structures
• /
• v.50 no.4
• /
• pp.403-418
• /
• 2024

In this paper, vibration and energy absorption characteristics of a nanostructure which is composed of two embedded porous annular/circular nanoplates coupled by a viscoelastic substrate are investigated. The modified couple stress theory (MCST) and the Gurtin-Murdoch theory are applied to take into account the size and the surface effects, respectively. Furthermore, the structural damping effect is probed by the Kelvin-Voigt model and the mathematical model of the problem is developed by a new hyperbolic higher order shear deformation theory. The differential quadrature method (DQM) is employed to obtain the out-of-phase and in-phase frequencies of the structure in order to predict the dynamic response of it. The acquired results reveal that the vibration and energy absorption of the system depends on some factors such as porosity, surface stress effects, material length scale parameter, damping and spring constants of the viscoelastic foundation as well as geometrical parameters of annular/circular nanoplates. A bird's-eye view of the findings in the research paper offers a comprehensive understanding of the vibrational behavior and energy absorption capabilities of annular/circular porous nanoplates. The multidisciplinary approach and the inclusion of porosity make this study valuable for the development of innovative materials and applications in the field of nanoscience and engineering.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.17 no.5
• /
• pp.284-293
• /
• 2016

One of the most efficient procedures for the solution of partial differential equations is the method of differential quadrature. The differential quadrature method (DQM) has been applied to a large number of cases to overcome the difficulties of complex algorithms of computer programming, as well as the excessive use of storage due to the conditions of complex geometry and loading. The in-plane vibrations of curved beams with extensibility of the arch axis, including the effects of rotatory inertial and shear deformation, are analyzed by the DQM. The fundamental frequencies are calculated for members with various slenderness ratios, shearing flexibilities, boundary conditions, and opening angles. The results are compared with the numerical results obtained by other methods for cases in which they are available. The DQM gives good mathematical precision even when only a limited number of grid points is used, and new results according to diverse variations are also suggested.

• IEIE Transactions on Smart Processing and Computing
• /
• v.2 no.5
• /
• pp.302-309
• /
• 2013

This paper proposes a mathematical model of Caprine arthritis encephalitis (CAE), which is a disease causing significant economic damage to the goat farming industry, and reports the application of this model to the development of an information management system of animal quarantine to overcome this disease. The mathematical model of CAE was derived from the AIDs model in human case because epidemical characteristics of these diseases including infection pass are similar. This model can be expressed by simultaneous differential equations. Simulations using a new model were performed according Euler's and Runge-Kutta method using numerical analysis software. In each method, strong convergence was observed and the results were similar. The design of an information management system of animal quarantine was proposed as an application of the new model. System design was constructed on the assumption that in subtropical islands, the expected development of information infrastructure and utilization will become valuable in the future.

• Journal of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.779-794
• /
• 2012

In this paper, we study the global stability of two mathematical models for human immunodeficiency virus (HIV) infection with intra-cellular delays. The first model is a 5-dimensional nonlinear delay ODEs that describes the interaction of the HIV with two classes of target cells, $CD4^+$ T cells and macrophages taking into account the saturation infection rate. The second model generalizes the first one by assuming that the infection rate is given by Beddington-DeAngelis functional response. Two time delays are used to describe the time periods between viral entry the two classes of target cells and the production of new virus particles. Lyapunov functionals are constructed and LaSalle-type theorem for delay differential equation is used to establish the global asymptotic stability of the uninfected and infected steady states of the HIV infection models. We have proven that if the basic reproduction number $R_0$ is less than unity, then the uninfected steady state is globally asymptotically stable, and if the infected steady state exists, then it is globally asymptotically stable for all time delays.