권호 표지

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

제30권3_4호

  1. Faghani, Morteza;Ashrafi, Ali Reza;Ori, Ottorino 353
    https://doi.org/10.14317/jami.2012.30.3_4.353 PDF KSCI
    The Wiener polarity index$W_p(G)$ of a graph G of order $n$ is the number of unordered pairs of vertices $u$ and $v$ of G such that the distance $d_G(u,v)$ between $u$ and $v$ is 3. In this paper the Wiener polarity index of some graph operations are computed. As an application of our results, the Wiener polarity index of a polybuckyball fullerene and $C_4$ nanotubes and nanotori are computed.
  2. Yang, Chenxue;Ye, Mao 365
    https://doi.org/10.14317/jami.2012.30.3_4.365 PDF KSCI
    Non-negative matrix factorization (NMF) is a very efficient method to explain the relationship between functions for finding basis information of multivariate nonnegative data. The multiplicative update (MU) algorithm is a popular approach to solve the NMF problem, but it fails to approach a stationary point and has inner iteration and zero divisor. So the elementwisely alternating projected gradient (eAPG) algorithm was proposed to overcome the defects. In this paper, we use the fact that the equilibrium point is stable to prove the convergence of the eAPG algorithm. By using a classic model, the equilibrium point is obtained and the invariant sets are constructed to guarantee the integrity of the stability. Finally, the convergence conditions of the eAPG algorithm are obtained, which can accelerate the convergence. In addition, the conditions, which satisfy that the non-zero equilibrium point exists and is stable, can cause that the algorithm converges to different values. Both of them are confirmed in the experiments. And we give the mathematical proof that the eAPG algorithm can reach the appointed precision at the least iterations compared to the MU algorithm. Thus, we theoretically illustrate the advantages of the eAPG algorithm.
  3. Kong, Jae-Hoon;Kim, Gwang-Il 381
    https://doi.org/10.14317/jami.2012.30.3_4.381 PDF KSCI
    In this paper, we show two ways of the time reparametrization of piecewise Pythagorean-hodograph $C^1$ Hermite interpolants. One is the time reparametrization with no shape change, and the other is that with shape change. We show that the first reparametrization does not depend on the boundary data and that it is uniquely determined by the size of parameter domain, up to the general cases. We empirically show that the second parametrization can cause the change of the shape of interpolant.
  4. Sen, Syamal K.;Agarwal, Ravi P.;Khattri, Sanjay K. 395
    https://doi.org/10.14317/jami.2012.30.3_4.395 PDF KSCI
    Several methods with order higher than that of Newton methods which are of order 2 have been reported in literature for solving nonlinear equations. The focus of most of these methods was to economize on/minimize the number of function evaluations per iterations. We have demonstrated here that there are several computational pit-falls, such as the violation of fixed-point theorem, that one could encounter while using these methods. Further it was also shown that the overall computational complexity could be more in these high-order methods than that in the second-order Newton method.
  5. Kim, Ju-Hong 413
    https://doi.org/10.14317/jami.2012.30.3_4.413 PDF KSCI
    Every contingent claim is unable to be replicated in the incomplete markets. Shortfall risk is considered with some risk exposure. We show how the dynamic optimization problem with the capital constraint can be reduced to the problem to find an optimal modified claim $\tilde{\psi}H$ where$\tilde{\psi}H$ is a randomized test in the static problem. Convex and coherent risk measures defined in the Orlicz hearts spaces, $M^{\Phi}$, are used as risk measure. It can be shown that we have the same results as in [21, 22] even though convex and coherent risk measures defined in the Orlicz hearts spaces, $M^{\Phi}$, are used. In this paper, we use Fenchel duality Theorem in the literature to deduce necessary and sufficient optimality conditions for the static optimization problem using convex duality methods.
  6. Shao, Yuanfu;Tang, Guoqiang 429
    https://doi.org/10.14317/jami.2012.30.3_4.429 PDF KSCI
    By using Mawhin continuation theorem and comparison theorem, the existence of periodic solution and persistence for a predator-prey system with diffusion and impulses are investigated in this paper. An example and simulation are given to show the effectiveness of the main results.
  7. Anastassiou, George A. 445
    https://doi.org/10.14317/jami.2012.30.3_4.445 PDF KSCI
    Very general multivariate right Caputo fractional Ostrowski inequalities are presented. Some of them are proved to be sharp and attained. Estimates are with respect to ${\parallel}{\cdot}{\parallel}_{\infty}$.
  8. Lee, Jae-Jin 455
    https://doi.org/10.14317/jami.2012.30.3_4.455 PDF KSCI
    The cyclic group $Cn={\langle}(12{\cdots}n){\rangle}$ acts on the set ($^{[n]}_k$) of all $k$-subsets of [$n$]. In this action of $C_n$ the number of orbits of size $d$, for $d|n$, is $$O^{n,k}_d=\frac{1}{d}\sum_{\frac{n}{d}|s|n}{\mu}(\frac{ds}{n})(^{n/s}_{k/s})$$. Stanton and White[7] generalized the above identity to construct the orbit polynomials $$O^{n,k}_d(q)=\frac{1}{[d]_{q^{n/d}}}\sum_{\frac{n}{d}|s|n}{\mu}(\frac{ds}{n})[^{n/s}_{k/s}]{_q}^s$$ and conjectured that $O^{n,k}_d(q)$ have non-negative coefficients. In this paper we give a combinatorial proof for the positivity of coefficients of the orbit polynomial $O^{n,3}_d(q)$.
  9. Tari, Abolfazl;Shahmorad, Sedaghat 463
    https://doi.org/10.14317/jami.2012.30.3_4.463 PDF KSCI
    In this work, we investigate solving two-dimensional nonlinear Volterra integral equations of the first kind (2DNVIEF). Here we convert 2DNVIEF to the two-dimensional linear Volterra integral equations of the first kind (2DLVIEF) and then we solve it by using operational approach of the Tau method. But for solving the 2DLVIEF we convert it to an equivalent equation of the second kind and then by giving some theorems we formulate the operational Tau method with standard base for solving the equation of the second kind. Finally, some numerical examples are given to clarify the efficiency and accuracy of presented method.
  10. Kim, Sang-Bae 477
    https://doi.org/10.14317/jami.2012.30.3_4.477 PDF KSCI
    The convergence rate of a numerical procedure based on Schwarz Alternating Method(SAM) for solving elliptic boundary value problems depends on the selection of the interface conditions applied on the interior boundaries of the overlapping subdomains. It has been observed that the mixed interface condition, controlled by a parameter, can optimize SAM's convergence rate. In [8], one introduced the two-layer multi-parameterized SAM and determined the optimal values of the multi-parameters to produce the best convergence rate for one-dimensional elliptic boundary value problems. In this paper, we present a method which utilizes the one-dimensional result to get the optimal convergence rate for the two-dimensional problem.
  11. Chatterjee, S.;Nigam, S.;Singh, J.B.;Upadhyaya, L.N. 489
    https://doi.org/10.14317/jami.2012.30.3_4.489 PDF KSCI
    Most of the software reliability models are based on black box approach and these models consider the entire software system as a single unit. Present day software development process has changed a lot. In present scenario these models may not give better results. To overcome this problem an improved additive model has been proposed in this paper, to estimate the reliability of software with modular structure. Also the concept of imperfect debugging has been also considered. A maximum likelihood estimation technique has been used for estimating the model parameters. Comparison has been made with an existing model. ${\chi}^2$ goodness of fit has been used for model fitting. The proposed model has been validated using real data.
  12. Bhatta, Dambaru;Riahi, Daniel N.;Muddamallappa, Mallikarjunaiah S. 499
    https://doi.org/10.14317/jami.2012.30.3_4.499 PDF KSCI
    Here we consider the inertial effect in a horizontal mushy layer during solidification of a binary alloy. Using perturbation technique, we obtain two systems, one of zero order and the other of first order. We consider a mushy layer with an impermeable mush-liquid interface and of constant permeability. The analysis reveals that the effect of inertial parameter is stabilizing in the sense that the critical Rayleigh number at the onset of motion increases by the inertial effect.
  13. Goo, Yoon-Hoe 511
    https://doi.org/10.14317/jami.2012.30.3_4.511 PDF KSCI
    In this paper, we investigate $h$-stability of the nonlinear perturbed differential systems using the the notion of $t_{\infty}$-similarity.
  14. Liu, Jian 517
    https://doi.org/10.14317/jami.2012.30.3_4.517 PDF KSCI
    In this paper, the existence theorem of two positive solutions is established for nonlinear m-point boundary value problem by using an inequality for the following third-order differential equations $$({\phi}(u^{\prime\prime}))^{\prime}+a(t)f(t,u(t))=0,\;t{\in}(0,1)$$, $${\phi}(u^{\prime\prime}(0))=\sum^{m-2}_{i=1}a_i{\phi}(u^{\prime\prime}({\xi}_i)),\;u^{\prime}(1)=0,\;u(0)=\sum^{m-2}_{i=1}b_iu({\xi}_i)$$, where ${\phi}:R{\rightarrow}R$ is an increasing homeomorphism and homomorphism and $\phi(0)=0$. The nonlinear term f may change sign, as an application, an example to demonstrate our results is given.
  15. Shin, Yang-Woo 531
    https://doi.org/10.14317/jami.2012.30.3_4.531 PDF KSCI
    An approximation for the number of customers at service facility in $M/G/c/K$ retrial queue is provided with the help of the approximations of ordinary $M/G/c/K$ loss system and ordinary $M/G/c$ queue. The interpolation between two ordinary systems is used for the approximation.
  16. Wang, Kangkang;Zong, Decai 541
    https://doi.org/10.14317/jami.2012.30.3_4.541 PDF KSCI
    In this paper, we study some limit properties of the harmonic mean of random transition probability for a second-order nonhomogeneous Markov chain on the generalized gambling system indexed by a tree by constructing a nonnegative martingale. As corollary, we obtain the property of the harmonic mean and the arithmetic mean of random transition probability for a second-order nonhomogeneous Markov chain indexed by a double root tree.
  17. Matinfar, M.;Bahar, S.R.;Ghasemi, M. 555
    https://doi.org/10.14317/jami.2012.30.3_4.555 PDF KSCI
    In this paper, differential transform method (DTM) is considered to obtain solution to the generalized Fisher's equation. This method is easy to apply and because of high level of accuracy can be used to solve other linear and nonlinear problems. Furthermore, is capable of reducing the size of computational work. In the present work, the generalization of the two-dimensional transform method that is based on generalized Taylor's formula is applied to solve the generalized Fisher equation and numerical example demonstrates the accuracy of the present method.
  18. Shim, Hong-Tae;Kwon, Joong-Sung 561
    https://doi.org/10.14317/jami.2012.30.3_4.561 PDF KSCI
    Fourier transform is well known for trigonometric systems. It is also a very useful tool for the construction of wavelets. The method of constructing wavelets has evolved as times went by. We review some methods. Then we do some calculations on wavelets defined by its Fourier transform.
  19. Kumar, Amit;Kaur, Manjot 571
    https://doi.org/10.14317/jami.2012.30.3_4.571 PDF KSCI
    To the best of our knowledge, there is no method, in the literature, to find the fuzzy optimal solution of fully fuzzy shortest path (FFSP) problems i.e., shortest path (SP) problems in which all the parameters are represented by fuzzy numbers. In this paper, a new method is proposed to find the fuzzy optimal solution of FFSP problems. Kumar and Kaur [Methods for solving unbalanced fuzzy transportation problems, Operational Research-An International Journal, 2010 (DOI 10.1007/s 12351-010-0101-3)] proposed a new method with new representation, named as JMD representation, of trapezoidal fuzzy numbers for solving fully fuzzy transportation problems and shown that it is better to solve fully fuzzy transportation problems by using proposed method with JMD representation as compare to proposed method with the existing representation. On the same direction in this paper a new method is proposed to find the solution of FFSP problems and it is shown that it is also better to solve FFSP problems with JMD representation as compare to existing representation. To show the advantages of proposed method with this representation over proposed method with other existing representations. A FFSP problem solved by using proposed method with JMD representation as well as proposed method with other existing representations and the obtained results are compared.
  20. Oh, Se-Young;Yun, Jae-Heon;Han, Yu-Du 593
    https://doi.org/10.14317/jami.2012.30.3_4.593 PDF KSCI
    In this paper, we first introduce a special type of multisplitting method with different weighting scheme, and then we provide convergence results of multisplitting methods with different weighting schemes corresponding to both the AOR-like multisplitting and the SSOR-like multisplitting.
  21. Abdullah, Saleem;Aslam, Muhammad 603
    https://doi.org/10.14317/jami.2012.30.3_4.603 PDF KSCI
    In this paper, we introduce and study the intuitionistic fuzzy prime (semi-prime) ${\Gamma}$-ideals of ${\Gamma}$-LA-semigroups and some interesting properties are investigated. The main result of the paper is: if $A={\langle}{\mu}_A,{\gamma}_A{\rangle}$ is an IFS in ${\Gamma}$-LA-semigroup S, then $A={\langle}{\mu}_A,{\gamma}_A{\rangle}$ is an intuitionistic fuzzy prime (semi-prime) ${\Gamma}$-ideal of S if and only if for any $s,t{\in}[0,1]$, the sets $U({\mu}_A,s)=\{x{\in}S:{\mu}_A(x){\geq}s\}$ and $L({\gamma}_A,t)=\{x{\in}S:{\gamma}_A(x){\leq}t\}$ are prime (semi-prime) ${\Gamma}$-ideals of S.
  22. Tian, Ming;Jin, Xin 613
    https://doi.org/10.14317/jami.2012.30.3_4.613 PDF KSCI
    In this paper, we propose a new algorithm to modify the standard Mann' process to have strong convergence for $k$-strictly pseudo-contractive non-self mapping in Hilbert spaces.
  23. Seo, Hye-Young;Baek, Jong-Il 623
    https://doi.org/10.14317/jami.2012.30.3_4.623 PDF KSCI
    Let {${\Omega}$, $\mathcal{F}$, P} be a probability space and {$X_n|n{\geq}1$} be a sequence of random variables defined on it. A finite sequence of random variables {$X_n|n{\geq}1$} is said to be conditionally negatively associated given $\mathcal{F}$ if for every pair of disjoint subsets A and B of {1, 2, ${\cdots}$, n}, $Cov^{\mathcal{F}}(f_1(X_i,i{\in}A),\;f_2(X_j,j{\in}B)){\leq}0$ a.s. whenever $f_1$ and $f_2$ are coordinatewise nondecreasing functions. We extend the H$\grave{a}$jek-R$\grave{e}$nyi-type inequality from negative association to conditional negative association of random variables. In addition, some corollaries are given.
  24. Du, Yanke;Xu, Rui 635
    https://doi.org/10.14317/jami.2012.30.3_4.635 PDF KSCI
    This paper is concerned with an SIRS epidemic model with spatial diffusion and time delay representing the length of the immunity period. By using a new cross iteration scheme and Schauder's fixed point theorem, we reduce the existence of traveling wave solutions to the existence of a pair of upper-lower solutions. By constructing a newfashioned pair of upper-lower solutions, we derive the existence of a traveling wave solution connecting the uninfected steady state and the infected steady state.
  25. Kwon, Joong-Sung;Shim, Hong-Tae 647
    https://doi.org/10.14317/jami.2012.30.3_4.647 PDF KSCI
    In this paper, we consider fuzzy random sets as (measurable) mappings from a probability space into the set of fuzzy sets and prove a uniform strong law of large numbers for sequences of independent and identically distributed fuzzy random sets. Our results generalize those of Bass and Pyke(1984)and Jang and Kwon(1998).
  26. Duan, Xue-Feng;Wang, Qing-Wen;Li, Chun-Mei 655
    https://doi.org/10.14317/jami.2012.30.3_4.655 PDF KSCI
    Based on the elegant properties of the spectral norm and Thompson metric, we firstly give two perturbation estimates for the positive definite solution of the nonlinear matrix equation $$X-\sum^m_{i=1}A^{\ast}_iX^{\delta_i}A_i=Q(0<|{\delta}_i|<1)$$ which arises in an optimal interpolation problem.
  27. Kim, Eun-Mi;Ahn, Sun-Shin 665
    https://doi.org/10.14317/jami.2012.30.3_4.665 PDF KSCI
    Fuzzifications of the notion of n-fold strong ideals are considered. Characterizations of fuzzy $n$-fold strong ideals are given.
  28. Choi, Won 677
    https://doi.org/10.14317/jami.2012.30.3_4.677 PDF KSCI
    W.Choi([1]) obtains a complete description of ergodic property and several property by making use of the semigroup method. In this note, we shall consider separately the martingale problems for two operators A and B as a detail decomposition of operator L. A key point is that the (K, L, $p$)-martingale problem in population genetics model is related to diffusion processes, so we begin with some a priori estimates and we shall show existence of contraction semigroup {$T_t$} associated with decomposition operator A.
  29. Im, Young-Bin;Lee, Joo-Sung;Cho, Yung-Duk 685
    https://doi.org/10.14317/jami.2012.30.3_4.685 PDF KSCI
    We define and characterize a somewhat fuzzy precontinuous mapping and a somewhat fuzzy preopen mapping on a fuzzy topological space. Besides, some interesting properties of those mappings are given.
  30. Kim, Young-Hee 693
    https://doi.org/10.14317/jami.2012.30.3_4.693 PDF KSCI
    In this note, we discuss $N(R,<_R)$-structure in a semiring, and show that if ($R,+,{\cdot}$) is a cancellative $<_+$-stable semiring, then ($R/N(R,<_+),+,{\cdot}$) is a semiring.