권호 표지

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

제27권1_2호

  1. Wang, Minghui;Feng, Yan 1
    PDF
    Iterative algorithms are proposed for the least-squares symmetric solution of AXB = E with a submatrix constraint. We characterize the linear mappings from their independent element space to the constrained solution sets, study their properties and use these properties to propose two matrix iterative algorithms that can find the minimum and quasi-minimum norm solution based on the classical LSQR algorithm for solving the unconstrained LS problem. Numerical results are provided that show the efficiency of the proposed methods.
  2. Chang, Shih-Sen;Zhao, Liang Cai;Wu, Ding Ping 13
    PDF
    Some strong convergence theorems of explicit iteration scheme for asymptotically nonexpansive semi-groups in Banach spaces are established. The results presented in this paper extend and improve some recent results in [T. Suzuki. On strong convergence to common fixed points of nonexpansive semigroups in Hilbert spaces, Proc. Amer. Math. Soc. 131(2002)2133-2136; H. K. Xu. A strong convergence theorem for contraction semigroups in Banach spaces, Bull. Aust. Math. Soc. 72(2005)371-379; N. Shioji and W. Takahashi. Strong convergence theorems for continuous semigroups in Banach spaces, Math. Japonica. 1(1999)57-66; T. Shimizu and W. Takahashi. Strong convergence to common fixed points of families of nonexpansive mappings, J. Math. Anal. Appl. 211(1997)71-83; N. Shioji and W. Takahashi. Strong convergence theorems for asymptotically nonexpansive mappings in Hilbert spaces, Nonlinear Anal. TMA, 34(1998)87-99; H. K. Xu. Approximations to fixed points of contraction semigroups in Hilbert space, Numer. Funct. Anal. Optim. 19(1998), 157-163.]
  3. Kim, Sang-Wook;Han, Yu-Du;Yun, Jae-Heon 25
    PDF
    In this paper, we study the regularity of induced splittings from multisplitting and two-stage multisplitting methods of monotone matrices under the assumption that splittings are weak regular, and we also study some comparison theorems for two-stage multisplitting methods of monotone matrices.
  4. Tuo, Qing;Liu, Jianzhou 37
    PDF
    In the theory and the applications of Numerical Linear Algebra, the class of H-matrices is very important. In recent years, many appeared works have proposed iterative criterion for H-matrices. In this paper, we provide a new type of interleaved iterative algorithm, which is always convergent in finite steps for H-matrices and needs fewer iterations than those proposed in the related works, and a corresponding algorithm for general matrix, which eliminates the redundant computations when the given matrix is not an H-matrix. Finally, several numerical examples are presented to show the effectiveness of the proposed algorithms.
  5. Chen, Gang;Yin, Jian-Hua 49
    PDF
    For $1{\leq}k{\leq}r$, let ${\sigma}$($K_{r,r}$ - ke, n) be the smallest even integer such that every n-term graphic sequence ${\pi}$ = ($d_1$, $d_2$, ..., $d_n$) with term sum ${\sigma}({\pi})$ = $d_1$ + $d_2$ + ${\cdots}$ + $d_n\;{\geq}\;{\sigma}$($K_{r,r}$ - ke, n) has a realization G containing $K_{r,r}$ - ke as a subgraph, where $K_{r,r}$ - ke is the graph obtained from the $r\;{\times}\;r$ complete bipartite graph $K_{r,r}$ by deleting k edges which form a matching. In this paper, we determine ${\sigma}$($K_{r,r}$ - ke, n) for even $r\;({\geq}4)$ and $n{\geq}7r^2+{\frac{1}{2}}r-22$ and for odd r (${\geq}5$) and $n{\geq}7r^2+9r-26$.
  6. Chang, Shih-Sen;Lee, H.W. Joseph;Chan, Chi Kin 59
    PDF
    In this paper we present an iterative scheme for finding a common element of the set of zero points of accretive mappings and the set of fixed points of nonexpansive mappings in Banach spaces. By using viscosity approximation methods and under suitable conditions, some strong convergence theorems for approximating to this common elements are proved. The results presented in the paper improve and extend the corresponding results of Kim and Xu [Nonlinear Anal. TMA 61 (2005), 51-60], Xu [J. Math. Anal. Appl., 314 (2006), 631-643] and some others.
  7. Kwon, Soon-Geol 69
    PDF
    The accuracy of wavelet approximation at resolution h = $2^{-k}$ to a smooth function f is limited by O($h^M$), where M is the number of vanishing moments of the mother wavelet ${\psi}$; that is, the approximation order of wavelet approximation is M - 1. High accuracy points of wavelet approximation are of interest in some applications such as signal processing and numerical approximation. In this paper, we prove the scaling and translating properties of high accuracy points of wavelet approximation. To illustrate the results in this paper, we also present two examples of high accuracy points of wavelet approximation.
  8. Ji, Dehong;Yang, Yitao;Ge, Weigao 79
    PDF
    This paper deals with the multipoint boundary value problem for one dimensional p-Laplacian $({\phi}_p(u'))'(t)$ + f(t,u(t)) = 0, $t{\in}$ (0, 1), subject to the boundary value conditions: u'(0) - $\sum\limits^n_{i=1}{\alpha_i}u({\xi}_i)$ = 0, u'(1) + $\sum\limits^n_{i=1}{\alpha_i}u({\eta}_i)$ = 0. Using a fixed point theorem for operators on a cone, we provide sufficient conditions for the existence of multiple (at least three) positive solutions to the above boundary value problem.
  9. Lee, Heon-Soo;Park, Yeon-Yong 89
    PDF
    In this article, we show a generalization of Clement's theorem on the pair of primes. For any integers n and k, integers n and n + 2k are a pair of primes if and only if 2k(2k)![(n - 1)! + 1] + ((2k)! - 1)n ${\equiv}$ 0 (mod n(n + 2k)) whenever (n, (2k)!) = (n + 2k, (2k)!) = 1. Especially, n or n + 2k is a composite number, a pair (n, n + 2k), for which 2k(2k)![(n - 1)! + 1] + ((2k)! - 1)n ${\equiv}$ 0 (mod n(n + 2k)) is called a pair of pseudoprimes for any positive integer k. We have pairs of pseudorimes (n, n + 2k) with $n{\leq}5{\times}10^4$ for each positive integer $k(4{\leq}k{\leq}10)$.
  10. Xu, Jin-Li;Cao, Chong-Guang;Wu, Hai-Yan 97
    PDF
    Suppose F is a field of characteristic not 2 and $F\;{\neq}\;Z_3$. Let $M_n(F)$ be the linear space of all $n{\times}n$ matrices over F, and let ${\Gamma}_n(F)$ be the subset of $M_n(F)$ consisting of all $n{\times}n$ involutory matrices. We denote by ${\Phi}_n(F)$ the set of all maps from $M_n(F)$ to itself satisfying A - ${\lambda}B{\in}{\Gamma}_n(F)$ if and only if ${\phi}(A)$ - ${\lambda}{\phi}(B){\in}{\Gamma}_n(F)$ for every A, $B{\in}M_n(F)$ and ${\lambda}{\in}F$. It was showed that ${\phi}{\in}{\Phi}_n(F)$ if and only if there exist an invertible matrix $P{\in}M_n(F)$ and an involutory element ${\varepsilon}$ such that either ${\phi}(A)={\varepsilon}PAP^{-1}$ for every $A{\in}M_n(F)$ or ${\phi}(A)={\varepsilon}PA^{T}P^{-1}$ for every $A{\in}M_n(F)$. As an application, the maps preserving inverses of matrces also are characterized.
  11. Sherif, Nagwa;Morsy, Ehab 105
    PDF
    In this paper we will be interested in characterizing and computing matrices $X\;{\in}\;C^{n{\times}n}$ that satisfy $e^X$ = A, that is logarithms of A. The study in this work goes through two lines. The first is concerned with a theoretical study of the solution set, S(A), of $e^X$ = A. Along the second line computational approaches are considered to compute the principal logarithm of A, LogA.
  12. Husain, I.;Ahmed, A.;Rumana, G. Mattoo 123
    PDF
    A multiobjective variational problem involving higher order derivatives is considered and Fritz-John and Karush-Kuhn-Tucker type optimality conditions for this problem are derived. As an application of Karush-Kuhn-Tucker optimality conditions, Wolfe type dual to this variational problem is constructed and various duality results are validated under generalized invexity. Some special cases are mentioned and it is also pointed out that our results can be considered as a dynamic generalization of the already existing results in nonlinear programming.
  13. Hahm, Nahm-Woo;Hong, Bum-Il 139
    PDF
    We study the neural network approximation to a function in $C^1$[0, 1] and its derivative. In [3], we used even trigonometric polynomials in order to get an approximation order to a function in $L_p$ space. In this paper, we show the simultaneous approximation order to a function in $C^1$[0, 1] using a Bernstein polynomial and a feedforward neural network. Our proofs are constructive.
  14. Chen, Zhe;Huang, Hai Qiao;Zhao, Ke Quan 149
    PDF
    In this paper, we introduce some approximate optimal solutions and an augmented Lagrangian function in nonlinear programming, establish dual function and dual problem based on the augmented Lagrangian function, discuss the relationship between the approximate optimal solutions of augmented Lagrangian problem and that of primal problem, obtain approximate KKT necessary optimality condition of the augmented Lagrangian problem, prove that the approximate stationary points of augmented Lagrangian problem converge to that of the original problem. Our results improve and generalize some known results.
  15. Shang, Meijuan;Su, Yongfu 161
    PDF
    In this paper, we introduce an iterative scheme for finding a common element of the set of fixed points of a nonexpansive mapping, the set of solutions of the variational inequality for an inverse-strongly monotone mapping and the set of solutions of an equilibrium problem in a Hilbert space. We show that the iterative sequence converges strongly to a common element of the three sets. The results of this paper extend and improve the corresponding results announced by many others.
  16. Shin, Hyun-Kyung 175
    PDF
    Microscopic imaging system often requires the algorithm to adjust location of camera lenses automatically in machine level. An effort to detect the best focal point is naturally interpreted as a mathematical inverse problem [1]. Following Wiener's point of view [2], we interpret the focus level of images as the quantified factor appeared in image degradation model: g = $f{\ast}H+{\eta}$, a standard mathematical model for understanding signal or image degradation process [3]. In this paper we propose a simple, very fast and robust method to compare the degradation parameters among the multiple images given by introducing outlier analysis of histogram.
  17. Zhao, Junfang;Ge, Weigao 183
    PDF
    In this paper, we considered the following four-point boundary value problem $\{{x"(t)+h(t)f(t,x(t),x'(t))=0,\;0<t<1\atop%20x'(0)=ax(\xi),\;x'(1)=bx(\eta)}\$. where $0\;<\;{\xi}\;<\;{\eta}\;<\;1,\;{\delta}\;=\;ab{\xi}\;-\;ab{\eta}\;+\;a\;-\;b\;<\;0,\;0\;<\;a\;<\;\frac{1}{\xi},\;0\;<\;b\;<\;\frac{1}{\eta}$. After the discussion of the Green function of the corresponding homogeneous system, we establish some criteria for the existence of positive solutions by using the generalized Leggett-William's fixed point theorem. The interesting point is the expression of the Green function, which is a difficulty for multi-point BVP.
  18. Liu, Zhan-Wei;Hu, Guo-En 195
    PDF
    In this paper, a necessary and sufficient condition for lattice sampling theorem to hold for frame in subspaces of $L^2$(R) is established. In addition, we obtain the formula of lattice sampling function in frequency space. Furthermore, by discussing the parameters in Theorem 3.1, some corresponding corollaries are derived.
  19. Liu, Yuji 205
    PDF
    Sufficient conditions for the existence of at least one solution of the boundary value problems for higher order nonlinear difference equations $\{{{{{\Delta^n}x(i-1)=f(i,x(i),{\Delta}x(i),{\cdots},\Delta^{n-2}x(i)),i{\in}[1,T+1],\atop%20{\Delta^m}x(0)=0,m{\in}[0,n-3],}\atop%20\Delta^{n-2}x(0)=\phi(\Delta^{n-1}(0)),}\atop%20\Delta^{n-1}x(T+1)=-\psi(\Delta^{n-2}x(T+1))}\$. are established.
  20. Lee, Kyoung-Ja;Park, Chul-Hwan 217
    PDF
    The notion of *-medial pseudo BCI-algebras is introduced, and its characterization is discussed. The concepts of associative pseudo ideals (resp. pseudo p-ideals, pseudo q-ideals and pseudo a-ideals) are introduced, and related properties are investigated. Conditions for a pseudo ideal to be a pseudo p-ideal (resp. pseudo q-ideal) are provided. A characterization of an associative pseudo ideal is given. We finally show that every pseudo BCI-homomorphic image and preimage of an associative pseudo ideal (resp. a pseudo p-ideal, a pseudo q-ideal and a pseudo a-ideal) is also an associative pseudo ideal (resp. a pseudo p-ideal, a pseudo q-ideal and a pseudo a-ideal).
  21. Gu, Nengzhu;Zhao, Yan;Gao, Yan 233
    PDF
    This paper concerns an algorithm that combines line search and trust region step for nonlinear optimization problems. Unlike traditional trust region methods, we incorporate the Armijo line search technique into trust region method to solve the subproblem. In addition, the subproblem is solved accurately, but instead solved by inaccurate method. If a trial step is not accepted, our algorithm performs the Armijo line search from the failed point to find a suitable steplength. At each iteration, the subproblem is solved only one time. In contrast to interior methods, the optimal solution is derived by iterating from outside of the feasible region. In numerical experiment, we apply the algorithm to nonlinear portfolio optimization problems, primary numerical results are presented.
  22. Husain, I.;Ahmed, A.;Rumana, G. Mattoo 245
    PDF
    A mixed type dual for multiobjective variational problem involving higher order derivatives is formulated and various duality results under generalized invexity are established. Special cases are generated and it is also pointed out that our results can be viewed as a dynamic generalization of existing results in the static programming.
  23. Lee, Yong-Wan;Jang, Young-Ho 259
    PDF
    We consider an M/G/1 feedback retrial queue with Bernoulli schedule in which after being served each customer either joins the retrial group again or departs the system permanently. Using the supplementary variable method, we obtain the joint generating function of the numbers of customers in two groups.
  24. Wu, Chi-Ye;Huang, Ting-Zhu 267
    PDF
    A representation for the Drazin inverse of an arbitrary square matrix in terms of the eigenprojection was established by Rothblum [SIAM J. Appl. Math., 31(1976) :646-648]. In this paper perturbation results based on the representation for the Darzin inverse $A^D\;=\;(A-X)^{-1}(I-X)$ are developed. Norm estimates of $\parallel(A+E)^D-A^D\parallel_2/\parallel A^D\parallel_2$ and $\parallel(A+E)^#-A^D\parallel_2/\parallel A^D\parallel_2$ are derived when IIEI12 is small.
  25. Ahmed, A. M.;El-Owaidy, H. M.;Hamza, Alaa E.;Youssef, A. M. 275
    PDF
    In this paper, we investigate the global behavior of the difference equation $x_{n+1}\;=\;\frac{a+bx_{n-1}}{A+Bx^k_n}$, n=0,1,..., where a,b,$B\;{\in}\;[0,\infty)$ and A, $k\;{\in}\;(0,\infty)$ with non-negative initial conditions.
  26. Park, Jae-Keun 291
    PDF
    For $G_{\phi}$-sequences ${\phi}_i$ and ${\kappa}$-functions ${\kappa}_i$(i = 1,2,3) we obtain the most general $H{\ddot{o}}lder$ type inequalities on the functions of $G_{\kappa}G_{\phi}$-bounded variations.
  27. Gurung, D. B.;Saxena, V. P.;Adhikary, P. R. 301
    PDF
    This paper presents a Finite Element Method (FEM) application to thermal study of natural three layers of human dermal parts of varying properties. This paper carries out investigation of temperature distributions in these layers namely epidermis, dermis and under lying tissue layer. It is assumed that the outer skin is exposed to atmosphere and the loss of heat due to convection, radiation and evaporation of water have also been taken into account. The computations are carried out for one dimensional unsteady state case and the shape functions in dermal parts have been considered to be quadratic. A Finite Element scheme that uses the Crank-Nicolson method is used to solve the problem and the results computed have been exhibited graphically.
  28. Kim, Tae-Soo;Ahn, Jung-Ho 315
    PDF
    The unknown parameters in regression models are usually estimated by using various existing methods. There are several existing methods, such as the least squares method, which is the most common one, the least absolute deviation method, the regression quantile method, and the asymmetric least squares method. For the nonlinear time series regression models, which do not satisfy the general conditions, we will compare them in two ways: 1) a theoretical comparison in the asymptotic sense and 2) an empirical comparison using Monte Carlo simulation for a small sample size.
  29. Li, Qiaoluan;Liu, Zhiyong;Dong, Wenlei;Liang, Haiyan;Zhang, Zhenguo 327
    PDF
    By means of Riccati transformation techniques, we obtain some criteria which ensure that every solution of a nonlinear equation on time scales oscillates.
  30. Gao, Yan 335
    PDF
    In this paper, a system of nonsmooth equations reformulated from a nonlinear complementarity problem with nonsmooth data is studied. The formulas of some subdifferentials for related functions in this system of nonsmooth equations are developed. The present work can be applied to Newton methods for solving this kind of nonlinear complementarity problem.
  31. Cho, Seong-Hoon;Kim, Mi-Sun 343
    PDF
    We prove the existence of common fixed point for multivalued maps satisfying general contractive type conditions.
  32. Sedghi, Shaban;Khan, M. S.;Shobe, Nabi 351
    PDF
    In this paper, we give some new definitions of $D^*$-metric spaces and we prove a common fixed point theorem for six mappings under the condition of weakly compatible mappings in complete $D^*$-metric spaces. We get some improved versions of several fixed point theorems in complete $D^*$-metric spaces.
  33. Zhang, Haiyan;Liu, Fang;Wang, Changyu 365
    PDF
    Under certain conditions, we use augmented Lagrangians to transform a class of generalized semi-infinite min-max problems into common semi-infinite min-max problems, with the same set of local and global solutions. We give two conditions for the transformation. One is a necessary and sufficient condition, the other is a sufficient condition which can be verified easily in practice. From the transformation, we obtain a new first-order optimality condition for this class of generalized semi-infinite min-max problems.
  34. Jun, Young-Bae;Lee, Kyoung-Ja;Park, Chul-Hwan 375
    PDF
    Characterizations of simulative WFI-algebras are provided. The notion of commutators, doubly simulative parts, doubly simulative WFI-algebras, and WFI-morphisms are introduced. Using the notion of commutators, the conditions for a WFI-algebra to be simulative are given. Characterizations of doubly simulative WFI-algebras are discussed. Using the notion of doubly simulative WFI-algebras, a commutative pomonoid is established.
  35. Mukhopadhyay, B.;Bhattacharyya, R. 385
    PDF
    The adverse effect of harmful plankton on the marine ecosystem is a topic of deep concern. To investigate the role of such phytoplankton, a mathematical model containing distinct dynamical equations for toxic and non-toxic phytoplankton is analyzed. Stability analysis of the resulting three equation model is carried out. A continuous time variation in toxin liberation process is incorporated into the model and a stability analysis of the resulting delay model is performed. The distributed delay model is then extended to include the spatial distribution of plankton and the delay-diffusion model is analyzed with spatial and spatiotemporal kernels. Conditions for diffusion-driven instability in both the cases are derived and compared to explore the significance of these kernels. Numerical studies are performed to justify analytical findings.
  36. Han, Kwang-Hee 401
    PDF
    Let {$Y_i,-{\infty}<i<{\infty}$} be a doubly infinite sequence of identically distributed and ${\rho}^*$-mixing random variables and {$a_i,-{\infty}<i<{\infty}$} an absolutely summable sequence of real numbers. In this paper, we prove the complete convergence of $\{\sum\limits_{k=1}^n\;\sum\limits_{n=-\infty}^\infty\;a_{i+k}Y_i/n^{1/t};\;n{\geq}1\}$ under suitable conditions.
  37. Choubey, Alka;K M, Rayi 409
    PDF
    A definition of finite automaton (DFA and NDFA) with intuitionistic fuzzy (final) states is proposed. Acceptance of intuitionistic fuzzy regular language by the finite automaton (DFA and NDFA) with intuitionistic fuzzy (final) states are examined. It is found that the finite automaton (DFA and NDFA) with intuitionistic fuzzy (final) states is more suitable for recognizing intuitionistic fuzzy regular language than earlier model. The paper also gives an idea of intuitionistic fuzzy regular expressions through possible definitions.
  38. Shim, Hong-Tae;Kwon, Joong-Sung 419
    PDF
    In expansion of function by special basis functions, properties of expansion kernel are very important. In the Fourier series, the series are expressed by the convolution with Dirichlet kernel. We investigate some of properties of kernel in wavelet expansions both in one and higher dimensions.
  39. Lee, Choon-Ho 427
    PDF
    In this paper we introduce the intermediate differential of a Lipschitz map from a Banach space to another Banach space and prove that every locally Lipschitz function f defined on an open subset ${\Omega}$ of a superreflexive real Banach space X to a finite dimensional Banach space Y is uniformly intermediate differentiable at every point ${\Omega}/A$, where A is a ${\sigma}$-lower porous set.
  40. Su, Yongfu;Zhang, Hong 431
    PDF
    In this paper, we introduce and consider a new system of relaxed cocoercive variational inequalities involving three different operators and the concept of projective nonexpansive mapping. Base on the projection technique, we suggest two kinds of new iterative methods for the approximate solvability of this system. The results presented in this paper extend and improve the main results of [S.S. Chang, H.W.J. Lee, C.K. Chan, Generalized system for relaxed co coercive variational inequalities in Hilbert spaces, Appl. Math. Lett. 20 (2007) 329-334] and [Z. Huang, M. Aslam Noor, An explicit projection method for a system of nonlinear variational inequalities with different ($\gamma,r$)-cocoercive mappings, Appl. Math. Comput. (2007), doi:10.1016/j.amc.2007.01.032].
  41. Chakravarthy, P. Pramod;Phaneendra, K.;Reddy, Y.N. 441
    PDF
    In this paper, a fifth order numerical method is presented for solving singularly perturbed differential-difference equations with negative shift. In recent papers the term negative shift has been using for delay. Similar boundary value problems are associated with expected first exit time problem of the membrane, potential in models for neuron and in variational problems in control theory. In the numerical treatment for such type of boundary value problems, first we use Taylor approximation to tackle terms containing small shifts which converts it to a boundary value problem for singularly perturbed differential equation. The two point boundary value problem is transformed into general first order ordinary differential equation system. A discrete approximation of a fifth order compact difference scheme is presented for the first order system and is solved using the boundary conditions. Several numerical examples are solved and compared with exact solution. It is observed that present method approximates the exact solution very well.