권호 표지

Journal of applied mathematics & informatics

한국전산응용수학회 (The Korean Society for Computational and Applied Mathematics)

  • 연3회간
  • /
  • 2734-1194(pISSN)
  • /
  • 2234-8417(eISSN)

과학기술표준분류

  • 수학 ＞ 응용수학

Aim & Scope

This is a broad based journal covering all branches of computational or applied mathematics with special encouragement to researchers in theoretical computer science and mathematical Informatics. Thus, the major areas, such as Numerical Analysis, Discrete Optimization, Linear and Nonlinear Programming, Theory of Computation(Computational Complexity, Automata and Formal Languages), Control Theory, Theory of Algorithms, Computational Logic, Applied Combinatorics (including graphs, codes, and designs), Coding Theory, Cryptographics, Big data, AI, Fuzzy Theory with applications, Differential Equations with applications, etc., are all included. A large variety of scientific problems also necessarily involve Algebra, Analysis, Geometry, Probability and Statistics, and so on. The journal welcomes research papers in all branches of mathematics which have some bearing on the application to scientific problems, including papers in the areas of Actuarial Science, Mathematical Biology, Mathematical Economics and Finance.

KSCI KCI SCOPUS

제26권1_2호

  1. Zhang, H.;Liu, F. 1
    PDF
    In this paper, A Riesz fractional diffusion equation with a nonlinear source term (RFDE-NST) is considered. This equation is commonly used to model the growth and spreading of biological species. According to the equivalent of the Riemann-Liouville(R-L) and $Gr\ddot{u}nwald$-Letnikov(G-L) fractional derivative definitions, an implicit difference approximation (IFDA) for the RFDE-NST is derived. We prove the IFDA is unconditionally stable and convergent. In order to evaluate the efficiency of the IFDA, a comparison with a fractional method of lines (FMOL) is used. Finally, two numerical examples are presented to show that the numerical results are in good agreement with our theoretical analysis.
  2. Odibat, Zaid M.;Momani, Shaher 15
    PDF
    We present and discuss an algorithm for the numerical solution of initial value problems of the form $D_*^\alpha$y(t) = f(t, y(t)), y(0) = y0, where $D_*^\alpha$y is the derivative of y of order $\alpha$ in the sense of Caputo and 0<${\alpha}{\leq}1$. The algorithm is based on the fractional Euler's method which can be seen as a generalization of the classical Euler's method. Numerical examples are given and the results show that the present algorithm is very effective and convenient.
  3. Wu, Xinmin;Wang, Huilan 29
    PDF
    By employing the continuation theorem of coincidence degree theory, we derive a sufficient condition for the existence and attractricity of a positive periodic solution for a generalized predator-prey model with diffussion feedback controls.
  4. Bhatta, Dambaru 45
    PDF
    Here we consider the evaluation of the the dynamic component of the second order force due to wave diffraction by a circular cylinder analytically and numerically. The cylinder is fixed, vertical, surface piercing in water of finite uniform depth. The formulation of the wave-structure interaction is based on the assumption of a homogeneous, ideal, incompressible, and inviscid fluid. The nonlinearity in the wave-structure interaction problem arises from the free surface boundary conditions, namely, dynamic and kinematic free surface boundary conditions. We expand the velocity potential and free surface elevation functions in terms of a small parameter and then consider the second order diffraction problem. After deriving the pressure using Bernoulli's equation, we obtain the analytical expression for the dynamic component of the second order force on the cylinder by integrating the pressure over the wetted surface. The computation of the dynamic force component requires only the first order velocity potential. Numerical results for the dynamic force component are presented.
  5. Liu, Zeqing;Guo, Zhenyu;Kang, Shin-Min;Shim, Soo-Hak 61
    PDF
    In this paper common fixed point theorems dealing with compatible mappings of type (P) are established. As a application, the existence and uniqueness of common solution for a system of functional equations arising in dynamic programming is given. The results presented in this paper improve, generalize and unify the corresponding results in this field.
  6. Husain, I.;Jabeen, Z. 75
    PDF
    In this paper, we derive necessary optimality conditions for a continuous programming problem in which both objective and constraint functions contain support functions and is, therefore, nondifferentiable. It is shown that under generalized invexity of functionals, Karush-Kuhn-Tucker type optimality conditions for the continuous programming problem are also sufficient. Using these optimality conditions, we construct dual problems of both Wolfe and Mond-Weir types and validate appropriate duality theorems under invexity and generalized invexity. A mixed type dual is also proposed and duality results are validated under generalized invexity. A special case which often occurs in mathematical programming is that in which the support function is the square root of a positive semidefinite quadratic form. Further, it is also pointed out that our results can be considered as dynamic generalizations of those of (static) nonlinear programming with support functions recently incorporated in the literature.
  7. Zhu, Shi-Xin;Xu, He-Qian 107
    PDF
    There has been a recent growth of interest in codes with respect to a newly defined non-Hamming metric grown as the Rosenbloom-Tsfasman metric (RT, or $\rho$, in short). In this paper, the definitions of the Lee complete $\rho$ weight enumerator and the exact complete $\rho$ weight enumerator of a code over $M_n_\times_s(Z_4)$ are given, and the MacWilliams identities with respect to this RT metric for the two weight enumerators of a linear code over $M_n_\times_s(Z_4)$ are proven too. At last, we also prove that the MacWilliams identities for the Lee and exact complete $\rho$ weight enumerators of a linear code over $M_n_\times_s(Z_4)$ are the generalizations of the MacWilliams identities for the Lee and complete weight enumerators of the corresponding code over $Z_4$.
  8. Kim, Gwang-Il;Lee, Sun-Hong 121
    PDF
    In this article, we define Minkowski Pythagorean-hodograph (MPH) curves in the Minkowski plane $\mathbb{R}^{1,1}$ and obtain $C^1$ Hermite interpolations for MPH quintics in the Minkowski plane $\mathbb{R}^{1,1}$. We also have the envelope curves of MPH curves, and make surfaces of revolution with exact rational offsets. In addition, we present an example of $C^1$ Hermite interpolations for MPH rational curves in $\mathbb{R}^{2,1}$ from those in $\mathbb{R}^{1,1}$ and a suitable MPH preserving mapping.
  9. Soheili, Ali R.;Kazemi, Zahra 135
    PDF
    Many deterministic systems are described by Ordinary differential equations and can often be improved by including stochastic effects, but numerical methods for solving stochastic differential equations(SDEs) are required, and work in this area is far less advanced than for deterministic differential equations. In this paper,first we follow [7] to describe Runge-Kutta methods with order 2 from Taylor approximations in the weak sense and present two well known Runge-Kutta methods, RK2-TO and RK2-PL. Then we obtain a new 3-stage explicit Runge-Kutta with order 2 in weak sense and compare the numerical results among these three methods.
  10. Ahmad, I.;Sharma, Sarita 151
    PDF
    A pair of multiobjective fractional symmetric dual programs is formulated over arbitrary cones. Weak, strong and converse duality theorems are proved under pseudoinvexity assumptions. A self duality theorem is also discussed.
  11. Kandasamy, R.;Hashim, I.;Ruhaila, K. 161
    PDF
    The effect of variable viscosity on MHD mixed convection Hiemenz flow over a thermally stratified porous wedge plate has been studied in the presence of suction or injection. The wall of the wedge is embedded in a uniform Darcian porous medium in order to allow for possible fluid wall suction or injection and has a power-law variation of the wall temperature. An approximate numerical solution for the steady laminar boundary-layer flow over a wall of the wedge in the presence of thermal diffusion has been obtained by solving the governing equations using numerical technique. The fluid is assumed to be viscous and incompressible. Numerical calculations are carried out for different values of dimensionless parameters and an analysis of the results obtained shows that the flow field is influenced appreciably by the magnetic effect, variable viscosity, thermal stratification and suction / injection at wall surface. Effects of these major parameters on the transport behaviors are investigated methodically and typical results are illustrated to reveal the tendency of the solutions. Comparisons with previously published works are performed and excellent agreement between the results is obtained.
  12. Pasha, Eynollah;Kokabi, Mohsen;Mohtashami, Gholam Reza 177
    PDF
    In this paper, we have considered an investigation on goodness of fit tests based on divergence measures. In the case of categorical data, under certain regularity conditions, we obtained asymptotic distribution of these tests. Also, we have proposed a modified test that improves the rate of convergence. In continuous case, we used our modified entropy estimator [10], for Kullback-Leibler information estimation. A comparative study based on simulation results is discussed also.
  13. Zhang, Mao-Jun;Nan, Jiang-Xia;Wang, Sen 191
    PDF
    In this paper, we consider an insurance risk model governed by a compound Binomial arrival claim process and by a compound Binomial arrival premium process. Some formulas for the probabilities of ruin and the distribution of ruin time are given, we also prove the integral equation of the ultimate ruin probability and obtain the Lundberg inequality by the discrete martingale approach.
  14. Pan, Fuchen;Chen, Xuebo;Li, Lin 203
    PDF
    Practical stability is a significant practical importance in scientific and engineering problems but less investigated. In this paper, we studied practical stability in swarms system and present new results.
  15. Karimi, Saeed;Salkuyeh, Davod Khojasteh;Toutounian, Faezeh 213
    PDF
    Iterative methods are often suitable for solving least squares problems min$||Ax-b||_2$, where A $\epsilon\;\mathbb{R}^{m{\times}n}$ is large and sparse. The well known LSQR algorithm is among the iterative methods for solving these problems. A good preconditioner is often needed to speedup the LSQR convergence. In this paper we present the numerical experiments of applying a well known preconditioner for the LSQR algorithm. The preconditioner is based on the $A^T$ A-orthogonalization process which furnishes an incomplete upper-lower factorization of the inverse of the normal matrix $A^T$ A. The main advantage of this preconditioner is that we apply only one of the factors as a right preconditioner for the LSQR algorithm applied to the least squares problem min$||Ax-b||_2$. The preconditioner needs only the sparse matrix-vector product operations and significantly reduces the solution time compared to the unpreconditioned iteration. Finally, some numerical experiments on test matrices from Harwell-Boeing collection are presented to show the robustness and efficiency of this preconditioner.
  16. Duca, Dorel I. 223
    PDF
    In this paper we give sufficient conditions for a point to be a solution of an optimization problem in complex space.
  17. Wu, Mary;Kim, Chong-Gun 235
    PDF
    On-demand routing protocol in ad hoc network is that establishes a route to a destination node only when it is required by a source node. But, it is necessary to reestablish a new route when an active route breaks down. The reconstruction process establishes another route by flooding messages from the source to the destination, cause not only heavy traffic but also long delays in route discovery. A good method for analyzing performance of protocols is important for deriving better systems. In this paper, we suggest the numerical formulas of a representative on-demand routing protocol AODV, ARMP, and RRAODV to estimate the performance of these routing protocols for analyzing the performance of these protocols. The proposed analytical models are very simple and straightforward. The results of analysis show good agreement with the results of computer simulations.
  18. Suneja, S.K.;Sharma, Sunila;Vani, Vani 251
    PDF
    In this paper second order cone convex, second order cone pseudoconvex, second order strongly cone pseudoconvex and second order cone quasiconvex functions are introduced and their interrelations are discussed. Further a MondWeir Type second order dual is associated with the Vector Minimization Problem and the weak and strong duality theorems are established under these new generalized convexity assumptions.
  19. Bin, Honghua 263
    PDF
    For the discrete version of an artificial neural network of two neurons with piecewise constant argument, we obtain some sufficient conditions that every solution is either periodic or convergent.
  20. Ahmed, A. M. 275
    PDF
    Our aim in this paper is to investigate the global attractivity of the recursive sequence $x_{n+1}$ = $\frac{\alpha-{\beta}x_{n-1}}{\gamma+g(x_n)}$ under specified conditions. We show that the positive (or zero for $\alpha$ = 0) equilibrium point of the equation is a global attractor with a basin that depends on certain conditions posed on the coefficients and the function g(x).
  21. Jun, Tie;Wang, Jinzhi;Feng, Enmin 283
    PDF
    This paper is motivated by the problem of fitting a group of cuboids into a simplified rotating vessel of the artificial satellite. Here we introduce a combinatorial optimization model which reduces the three-dimensional layout problem with behavioral constraints to a finite enumeration scheme. Moreover, a global combinatorial optimization algorithm is described in detail, which is an improved graph-theoretic heuristic.
  22. Liu, Wen-Jun;Xue, Qiao-Ling;Dong, Jian-Wei 291
    PDF
    In this paper, new inequalities of Ostrowski type involving two functions and their derivatives for mapping whose derivations belong to $L^p$[a, b], p>1 are established.
  23. Choo, S.M. 299
    PDF
    Finite difference schemes are considered for a $Ca^{2+}$ diffusion equations, which discribe $Ca^{2+}$ buffering by using stationary and mobile buffers. Stability and $L^\infty$ error estimates of approximate solutions for the corresponding schemes are obtained using the extended Lax-Richtmyer equivalence theorem.
  24. Olagunju, Amos O. 307
    PDF
    Real life problems can be expressed as a congruence modulus n and split into a system of congruence equations in modulus factors of n. A system of congruence equations can be combined into a congruence equation under certain conditions. This paper uniquely presents and critically reviews the generalized Chinese Remainder Theorem (CRT) for combining systems of congruence equations into single congruence equations. Sequential and parallel implementation strategies of the generic CRT are outlined. A variety of unique applications of the CRT are discussed.
  25. Hahm, N.;Hong, B.I. 317
    PDF
    This paper shows the degree of simultaneous neural network approximation for a target function in $C^r$[-1, 1] and its first derivative. We use the Jackson's theorem for differentiable functions to get a degree of approximation to a target function by algebraic polynomials and trigonometric polynomials. We also make use of the de La Vall$\grave{e}$e Poussin sum to get an approximation order by algebraic polynomials to the derivative of a target function. By showing that the divided difference with a generalized translation network can be arbitrarily closed to algebraic polynomials on [-1, 1], we obtain the degree of simultaneous approximation.
  26. Jeong, Jae-Ug 325
    PDF
    In this paper, we prove the weak and strong convergence of the three-step iterative scheme with errors to a common fixed point for two asymptotically nonexpansive mappings in a uniformly convex Banach space under a condition weaker than compactness. Our theorems improve and generalize some previous results.
  27. Tan, Zhongfu;Chen, Guangjuan;Li, Xiaojun 337
    PDF
    Based on social welfare maximum theory, the optimal scale of power plants entering generation power market being is researched. A static non-cooperative game model for short-term optimization of power plants with different cost is presented. And the equilibrium solutions and the total social welfare are obtained. According to principle of maximum social welfare selection, the optimization model is solved, optimal number of power plants entering the market is determined. The optimization results can not only increase the customer surplus and improve power production efficiency, but also sustain normal profits of power plants and scale economy of power production, and the waste of resource can also be avoided. At last, case results show that the proposed model is efficient.
  28. Gao, Cheng-Zhi;Dong, Yu-Lin 349
    PDF
    Using the recently developed ABS algorithm for solving linear Diophantine equations we introduce an algorithm for solving a system of m linear integer inequalities in n variables, m $\leq$ n, with full rank coefficient matrix. We apply this result to solve linear integer programming problems with m $\leq$ n inequalities.
  29. Choo, S.M.;Kim, Y.H. 355
    PDF
    Under pathological stress stimuli, dynamics of a biological system can be changed by alteration of several components such as functional proteins, ultimately leading to disease state. These dynamics in disease state can be modeled using differential equations in which kinetic or system parameters can be obtained from experimental data. One of the most effective ways to restore a particular disease state of biology system (i.e., cell, organ and organism) into the normal state makes optimization of the altered components usually represented by system parameters in the differential equations. There has been no such approach as far as we know. Here we show this approach with a cardiac hypertrophy model in which we obtain the existence of the optimal parameters and construct an optimal system which can be used to find the optimal parameters.
  30. Ha, Sung-N.;Park, Jung-Joon 365
    PDF
    We study a mathematical modeling for development of film negative and concentrate the bulk reaction problem. We prove nonnegativeness of developer, coupler and dye function in two dimensional case. Also we prove stability of our numerical scheme. Finally, we discuss numerical example which have specified constants.
  31. Kim, Gwi-Soo;Lee, Gue-Myung 375
    PDF
    Boundedness for the set of all the $\epsilon$-approximate solutions for convex optimization problems are considered. We give necessary and sufficient conditions for the sets of all the $\epsilon$-approximate solutions of a convex optimization problem involving finitely many convex functions and a convex semidefinite problem involving a linear matrix inequality to be bounded. Furthermore, we give examples illustrating our results for the boundedness.
  32. Choi, Won 383
    PDF
    The problem of recursive filtering for discrete market model with unknown parameters is considered. In this paper, we develop an effective filtering algorithm for discrete market systems with unknown parameters and the error covariance equation determining the accuracy of the proposed algorithm is derived.
  33. Lim, Jong-Seul 389
    PDF
    This paper describes a single-server queue where the server is unavailable during some intervals of time, which is referred to as vacations. The major contribution of this work is to derive general formulas for the additional delay in the vacation models of the single vacations, head of line priority queues with non-preemptive service, and multiple vacations and idle time.
  34. L. Moon, Eun-Ho 395
    PDF
    Although the properties of flatness and condition (E) for Sacts over a monoid S are incomparable, Liu([10]) showed that necessary and sufficient condition for a monoid S over which all left S-acts that satisfy condition (E) are flat is the regularity of S. But the problem of describing a monoid over which all cyclic flat left S-acts satisfy condition (E) is still open. Thus the purpose of this paper is to characterize monoids over which all cyclic flat right S-acts satisfy condition (E).
  35. Cho, Yong-Uk 401
    PDF
    In this paper, we will introduce the noetherian quotients in R-groups, and then investigate the related substructures of the near-ring R and G and the R-group G. Also, applying the annihilator concept in R-groups and d.g. near-rings, we will survey some properties of the substructures of R and G in monogenic Rgroups, and show that R becomes a ring for faithful monogenic R-groups with some condition.
  36. Cho, Kyu-Geun;Lee, Chong-Sung 407
    PDF
    In this paper, we study property ($B_2$) and property ($D_2$) and their implications.
  37. Han, Kwang-Hee 417
    PDF
    For stationary m-dimensional martingale difference sequences we prove the random functional central limit theorems and propose an almost sure consistent estimator for the limiting covariance matrix.
  38. Park, Chul-Hwan 427
    PDF
    The notion of vague deductive systems in subtraction algebras is introduced, and several properties are investigated. Conditions for a vague set to be a vague deductive system are provided. Characterizations of a vague deductive system are established.
  39. Chang, Se-Kyung;Lee, Min-Young;Park, Young-Seo 437
    PDF
    In this paper, we establish detailed characterizations of the Weibull distribution by the independence of the upper record values. We prove that X $\in$ W EI($\alpha$), if and only if $\frac{X_{U(n)}}{X_{U(n+1)}+X_{U(n)}}$ and $X_{U(n+1)}$ are independent for n $\geq$ 1. And we show that X $\in$ W EI($\alpha$), if and only if $\frac{X_{U(n+1)}-X_{U(n)}}{X_{U(n+1)}+X_{U(n)}}$ and $X_{U(n+1)}$ are independent for n $\geq$ 1.