권호 표지

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권3_4호

  1. Kim, Gwang-Il;Lee, Sun-Hong 445
    PDF
    We characterize the helical polynomial space curves and solve the first-order Hermite interpolation problem for helical polynomial space quintics.
  2. Xu, Fuyi;Meng, Zhaowei;Zhao, Wenling 457
    PDF
    In this paper, we study the existence of positive solutions for the following nonlinear m-point boundary value problem with p-Laplacian: $\{{{{(\phi_p(u'))'\;+\;f(t,u(t))=0, \;0<t<1,} \atop u'(0)={\sum}{^{m-2}_{i=1}}\;a_iu'(\xi_i),} \atop u(1)={\sum}{^k_{i=1}}\;b_iu(\xi_i)\;-\;{\sum}{^s_{i=k+1}}\;b_iu(\xi_i)\;-\;{\sum}{^{m-2}_{i=s+1}}\;b_iu'(xi_i),}$ where ${\phi}_p(s)$ is p-Laplacian operator, i.e., ${\phi}_p(s)=\mid s\mid^{p-2}s$, p>1, ${\phi}_q\;=\;({\phi}_p)^{-1}$, $\frac{1}{p}+\frac{1}{q}=1$, $1\;{\leq}\;k\;{\leq}\;s\;{\leq}m\;-\;2$, $b_i\;{\in}\;(0,+{\infty})$ with $0\;<\;{\sum}{^k_{k=1}}\;b_i\;-\;{\sum}{^s_{i=k+1}}\;b_i\;<\;1$, $0\;<\;{\sum}{^{m-2}_{i=1}}\la_i\;<\;1$, $0\;<\;{\xi}_1\;<\;{\xi}_2\;<\;{\cdots}\;<\;{\xi}_{m-2}\;<\;1$, $f\;{\in}\;C([0,\;1]\;{\times}\;[0,\;+{\infty}),\;[0,\;+{\infty}))$. We show that there exists one or two positive solutions by using fixed-point theorem for operator on a cone. The conclusions in this paper essentially extend and improve the known results.
  3. Yuan, Yongxin 471
    PDF
    Let $R\;{\in}\;C^{m{\times}m}$ and $S\;{\in}\;C^{n{\times}n}$ be nontrivial unitary involutions, i.e., $R^*\;=\;R\;=\;R^{-1}\;{\neq}\;I_m$ and $S^*\;=\;S\;=\;S^{-1}\;{\neq}\;I_m$. We say that $G\;{\in}\;C^{m{\times}n}$ is a generalized reflexive matrix if RGS = G. The set of all m ${\times}$ n generalized reflexive matrices is denoted by $GRC^{m{\times}n}$. In this paper, an efficient method for the least squares solution $X\;{\in}\;GRC^{m{\times}n}$ of the matrix equation AXB = D with arbitrary coefficient matrices $A\;{\in}\;C^{p{\times}m}$, $B\;{\in}\;C^{n{\times}q}$and the right-hand side $D\;{\in}\;C^{p{\times}q}$ is developed based on the canonical correlation decomposition(CCD) and, an explicit formula for the general solution is presented.
  4. Liu, Zeqing;Chen, Zhengsheng;Kang, Shin-Min 481
    PDF
    In this paper, we introduce and analyze a new class of generalized mixed equilibrium-like problems. By using the auxiliary principle technique, we suggest three iterative algorithms for the generalized mixed equilibrium-like problem. Under certain conditions, we establish the convergence of the iterative algorithms. Our results extend, improve and unify several known results in this field.
  5. Wang, Ying;Feng, Enmin;Wang, Ruisheng 493
    PDF
    In this paper, we first construct a mathematical model for tagSNP selection based on LD measure $r^2$, then aiming at this kind of model, we develop an efficient algorithm, which is called approximate greedy algorithm. This algorithm is able to make up the disadvantage of the greedy algorithm for tagSNP selection. The key improvement of our approximate algorithm over greedy algorithm lies in that it adds local replacement(or local search) into the greedy search, tagSNP is replaced with the other SNP having greater similarity degree with it, and the local replacement is performed several times for a tagSNP so that it can improve the tagSNP set of the local precinct, thereby improve tagSNP set of whole precinct. The computational results prove that our approximate greedy algorithm can always find more efficient solutions than greedy algorithm, and improve the tagSNP set of whole precinct indeed.
  6. Oh, Se-Young;Yun, Jae-Heon;Han, Yu-Du 501
    PDF
    In this paper, we first provide a convergence result of the generalized two-stage splitting method for solving a linear system whose coefficient matrix is an H-matrix, and then we provide convergence results of the generalized multisplitting and two-stage multisplitting methods for both a monotone matrix and an H-matrix.
  7. Hou, Jianfeng;Liu, Guizhen;Xin, Yongxun;Lan, Mei 511
    PDF
    Let G be a planar graph. It is proved that if G does not contain a k-cycle with a chord for some k ${\ni}$ {4,5,6}, then G is total-($\Delta(G)+2$)-colorable.
  8. Xiw, Chao;Feng, Enmin;Li, Zhijun;Peng, Lu 519
    PDF
    This paper studies the multi-domain coupled system of one dimensional Arctic temperature field and establishes identification model about the thermodynamic parameters of sea ice (heat storage capacity, density and conductivity) by the so-called output least-square estimate according to the temperature data acquired by a monitor buoy installed in the Arctic ocean. By the optimal control theory, the existence and dependability of weak solution and the identifiability of identification model have been given. Moreover, necessary optimality condition is proposed. Furthermore, the optimal algorithm for the identification model is constructed. By using the optimal thermodynamic parameters of Arctic sea ice, the numerical simulation is implemented, and the numerical results of temperature distribution of Arctic sea ice are demonstrated.
  9. Jung, Hwan-Ok 531
    PDF
    We discuss the decomposition problems on circuit graphs and triangular graphs, and show how they can be applied to obtain results on spanning trees or hamiltonian cycles. We also prove that every circuit graph containing no separating 3-cycles can be extended by adding new edges to a triangular graph containing no separating 3-cycles.
  10. Yao, Hongmei;Fan, Zhaobin;Tang, Jiapei 541
    PDF
    Suppose R is an idempotence-diagonalizable ring. Let n and m be two arbitrary positive integers with $n\;{\geq}\;3$. We denote by $M_n(R)$ the ring of all $n{\times}n$ matrices over R. Let ($J_n(R)$) be the additive subgroup of $M_n(R)$ generated additively by all idempotent matrices. Let ($D=J_n(R)$) or $M_n(R)$. In this paper, by using an additive idem potence-preserving result obtained by Coo (see [4]), I characterize (i) the additive preservers of tripotence from D to $M_m(R)$ when 2 and 3 are units of R; (ii) the additive preservers of inverses (respectively, Drazin inverses, group inverses, {1}-inverses, {2}-inverses, {1, 2}-inverses) from $M_n(R)$ to $M_n(R)$ when 2 and 3 are units of R.
  11. Husain, I.;Ahmed, A.;Masoodi, Mashoob 549
    PDF
    In this paper, we construct a pair of Wolfe type second order symmetric dual problems, in which each component of the objective function contains support function and is, therefore, nondifferentiable. For this problem, we validate weak, strong and converse duality theorems under bonvexity - boncavity assumptions. A second order self duality theorem is also proved under additional appropriate conditions.
  12. Shin, Seon-Ho;Bate, Julia C. 563
    PDF
    In this paper, we discuss about a generalization of the Key Distribution Pattern which was proposed by C. Mitchell and F. Piper[6]. It is allowing secure communication between every n-pair of users($n\leq2$) in a large network for reducing storage requirements. We further suggest a generalization of K. Quinn's bounds in [9] for the number of subkeys in such general Key Distribution Patterns.
  13. Zhao, Xiaohong;Li, Desheng;Shi, Deming 573
    PDF
    In this paper, a finite difference method for a Cauchy problem of RLW-Burgers equation was considered. Although the equation is not energy conservation, we have given its the energy conservative finite difference scheme with condition. Convergence and stability of the difference solution were proved. Numerical results demonstrate that the method is efficient and reliable.
  14. Taghavi, M.;Azadi, H.K. 583
    PDF
    In this article, we focuss on. sequences of polynomials with {$\pm1$} coefficients constructed by recursive argument that is known as Rudin-Shapiro polynomials. The asymptotic behavior of these polynomials defines as the ratio of their 2q-norm with 2-norm to be dominated by some number depending on q or "the best" by an absolute constant. In this work we first show the conjecture holds for some finite numbers of m and then introduce a technique that give the result for any positive odd integer m whenever it holds for all pervious even numbers.
  15. Imdad, M.;Ali, Javid 591
    PDF
    We employ the notion of implicit functions to prove a general common fixed point theorem in fuzzy metric spaces besides adopting the idea of R-weak commutativity of type (P) in fuzzy setting. In process, several previously known results are deduced as special cases to our main result.
  16. SunWoo, Ha-Sik 605
    PDF
    In this paper, we find the matrix representation of multi-degree reduction by $L_{\infty}$ of $B{\acute{e}}zier$ curves with constraints of endpoints continuity. Using the basis transformation between Chebyshev polynomials and Bernstein polynomials we can derive the matrix representation of multi-degree reduction of $B{\acute{e}}zier$ with respect to $L_{\infty}$ norm.
  17. Panda, S.;Basu, M. 615
    PDF
    A single item order level inventory model for perishable products is considered in which a constant fraction of on hand inventory spoils per unit time. Demand linearly depends on time. The fluctuation of demand is taken into account to determine minimum total cost of the system. Both discrete and continuous fluctuations are considered. The model is developed and solved analytically for infinite time horizon. A numerical example is presented for finite time horizon. Sensitivity analysis of the model is carried out.
  18. Wang, Rong;Shao, Yanling;Gao, Yubin 627
    PDF
    A two-colored digraph D is primitive if there exist nonnegative integers hand k with h + k > 0 such that for each pair (i, j) of vertices there exists an (h, k)-walk in D from i to j. The exponent of the primitive two-colored digraph D is the minimum value of h + k taken over all such hand k. In this paper, we give the tight upper bound on the exponents of a class of primitive two-colored digraphs with (s + 1) n-cycles and one (n - 1)-cycle, and the characterizations of the extremal two-colored digraphs.
  19. Song, Seok-Zun;Jun, Young-Bae 643
    PDF
    We construct the sets of Boolean matrix pairs, which are naturally occurred at the extreme cases for the Boolean rank inequalities relative to the sums and difference of two Boolean matrices or compared between their Boolean ranks and their real ranks. For these sets, we consider the linear operators that preserve them. We characterize those linear operators as T(X) = PXQ or $T(X)\;=\;PX^tQ$ with appropriate invertible Boolean matrices P and Q.
  20. Lai, Jiajun;Xu, Yang;Chang, Zhiyan 653
    PDF
    In this paper, we consider the fuzzification of prime filters in Lattice Implication Algebras (briefly, LIAs), and introduce the concepts of fuzzy prime filters (briefly, FP-filters), and we also studied the properties of FP-filters. Finally, we investigate the properties of fuzzy prime dual filters (briefly, FPD-filters) in LIA, and the relations of them are investigated.
  21. Zhang, Yunjie;Li, Yi;Gao, Zhijun;Wang, Weina 661
    PDF
    In this paper an algorithm, based on extracting a certain target of an image, is proposed that is capable of performing bilevel thresholding of image with multimodal distribution. Each pixel in the image has a membership value which is used to denote the characteristic relationship between the pixel and its belonging region (i.e. the object or background). Using the membership values of image set, a new measurement, which simultaneously measures the measure of fuzziness and the conditional entropy of the image, is calculated. Then, thresholds are found by optimally minimizing calculated measurement. In addition, a fuzzy range is defined to improve the threshold values. The experimental results demonstrate that the proposed approach can select the thresholds automatically and effectively extract the meaningful target from the input image. The resulting image can preserve the object region we target very well.
  22. Lee, Hee-Yul;Lee, Mi-Ryeong 673
    PDF
    Let $W_{\alpha}$, be a recursively generated quadratically hyponormal weighted shift with a weight sequence ${\alpha}$ : 1, (1, $\sqrt{x}$, $\sqrt{y}$)$^{\wedge}$. In [4] Curto-Jung showed that R = {(x,y) : $W_{1,\;(1,\;{\sqrt{x}},\;{\sqrt{y}})^{\wedge}}$ is quadratically hyponormal} is a closed convex with nonempty interior, which guarantees that there are a lot of quadratically hyponormal weighted shifts with first two equal weights. They suggested a problem computing expressions of certain extremal points of R. In this note we obtain a partial answer of their extremal problem.
  23. Jung, Kang-Mo 679
    PDF
    In multivariate regression analysis there exist many influence measures on the regression estimates. However it seems to be few of influence diagnostics on test statistics in hypothesis testing. Case-deletion approach is fundamental for investigating influence of observations on estimates or statistics. Tang and Fung (1997) derived single case-deletion of the Wilks' ratio, Lawley-Hotelling trace, Pillai's trace for testing a general linear hypothesis of the regression coefficients in multivariate regression. In this paper we derived more extended form of those measures to deal with joint influence among observations. A numerical example is given to illustrate the effect of joint influence on the test statistics.
  24. Chakravarthy, P. Pramod;Phaneendra, K.;Reddy, Y.N. 689
    PDF
    In this paper, a fifth order numerical method is presented for solving singularly perturbed two point boundary value problems with a boundary layer at one end point. 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. An asymptotically equivalent first order equation of the original singularly perturbed two point boundary value problem is obtained from the theory of singular perturbations. It is used in the fifth order compact difference scheme to get a two term recurrence relation and is solved. Several linear and non-linear singular perturbation problems have been solved and the numerical results are presented to support the theory. It is observed that the present method approximates the exact solution very well.
  25. Jun, Young-Bae;Lee, Kyoung-Ja;Park, Chul-Hwan 707
    PDF
    Molodtsov [12] introduced the concept of soft set as a new mathematical tool for dealing with uncertainties that is free from the difficulties that have troubled the usual theoretical approaches. In this paper we apply the notion of soft sets by Molodtsov to commutative ideals of BCK-algebras, The notions of commutative soft ideals and commutative idealistic soft BCK-algebras are introduced, and their basic properties are investigated. Examples to show that there is no relations between positive implicative idealistic soft BCK-algebras and commutative idealistic soft BCK-algebras are provided.
  26. Kalyanaraman, R.;Murugan, S. Pazhani Bala 721
    PDF
    A single server infinite capacity queueing system with Poisson arrival and a general service time distribution along with repeated attempt and server vacation is considered. We made a comprehensive analysis of the system including ergodicity and limiting behaviour. Some operating characteristics are derived and numerical results are presented to test the feasibility of the queueing model.
  27. Baek, In-Soo 733
    PDF
    Using an information of dimensions of divergence points, we give full information of dimensions of the completely decomposed class of the lower(upper) distribution sets of a self-similar Cantor set. Further using a relationship between the distribution sets and the subsets generated by the lower(upper) local dimensions of a self-similar measure, we give full information of dimensions of the subsets by the local dimensions.
  28. Haghighirad, Farzad;Makui, Ahmad;Ashtiani, Behzad 739
    PDF
    A phenomenon which is seen in some of the manufacturing systems and production planning is chaos and the butterfly effect. The butterfly effect points out that in case of the presence of nonlinear relations in system and incorrect estimation of initial values of variables, the error in the estimates of system state will be intensified, and after a while there will be a large distance between available state of system and reality. Using mathematical means and computer simulation, we have tried to demonstrate that in a production system the numerical combination of Cycle Time (CT), Adjustment Time between existing and desired Work In Progress (WIP), and Adjustment Time between current and desired inventory can lead to chaos and butterfly effect in the behavior of the inventory state variable. Our paper concludes with a discussion of a hypothesis that emerged from this research.
  29. Lee, Woo 751
    PDF
    Formanek([2]) proved that $M_n(K)$, the matrix algebra has a nontrivial central polynomial when char K = 0. Also Razmyslov([3]) showed the same result using the essential weak identity. In this article we explicitly compute Formanek's central polynomial for $M_2(\mathbb{C})$ and $M_3(\mathbb{C})$ and classify the coefficients of the central polynomial.
  30. Lee, Hyo-Sam;Lee, Joo-Sung;Im, Young-Bin 757
    PDF
    We define and characterize a fuzzy pairwise $\gamma$-irresolute open mapping (fuzzy pairwise $\gamma$-irresolute closed mapping) on a fuzzy bitopological space. We also characterize a fuzzy pairwise $\gamma$-irresolute homeomorphism on a fuzzy bitopological space.
  31. Basirzadeh, Hadi;Abbasi, Roohollah 767
    PDF
    Comparison between two or more fuzzy numbers, along with their ranking, is an important subject discussed in scholarly articles. We endeavor in this paper to present a simple yet effective parametric method for comparing fuzzy numbers. This method offer significant advantages over similar methods, in comparing intersected fuzzy numbers, rendering the comparison between fuzzy numbers possible in different decision levels. In the process, each fuzzy number will be given a parametric value in terms of $\alpha$, which is dependent on the related $\alpha$-cuts. We have compared this method to Cheng's centroid point method [5] (The relation of calculating centroid point of a fuzzy number was corrected later on by Wang [12]). The proposed method can be utilized for all types of fuzzy numbers whether normal, abnormal or negative.
  32. Shin, Yong-Su 779
    PDF
    We show that $\mathbb{Z}[\sqrt{-p}]$ is not a unique factorization domain (UFD) but a factorization domain (FD) with a condition $1\;+\;a^2p\;=\;qr$, where a and p are positive integers and q and r are positive primes in $\mathbb{Z}$ with q < p. Using this result, we also construct several specific non-unique factorization domains which are factorization domains. Furthermore, we prove that an integral domain $\mathbb{Z}[\sqrt{-p}]$ is not a UFD but a FD for some positive integer p.
  33. Cho, Seong-Hoon 785
    PDF
    In this paper, we give a generalized contractive type condition for a pair of self maps of a metric space and analyze the existence of common fixed points for these maps of a metric space.
  34. Senthilkumar, S. 793
    PDF
    The aim of this article is focused on providing numerical solutions for system of second order robot arm problem using the RK-eight stage seventh order limiting formulas. The parameters governing the arm model of a robot control problem have also been discussed through RK-eight stage seventh order limiting algorithm. The precised solution of the system of equations representing the arm model of a robot has been compared with the corresponding approximate solutions at different time intervals. Results and comparison show the efficiency of the numerical integration algorithm based on the absolute error between the exact and approximate solutions. Based on the numerical results a thorough comparison is carried out between the numerical algorithms.
  35. Choo, S.M. 811
    PDF
    Biological systems with both protein-protein and protein-gene interactions can be modeled by differential equations for concentrations of the proteins with time-delay terms because of the time needed for DNA transcription to mRNA and translation of mRNA to protein. Values of some parameters in the mathematical model can not be measured owing to the difficulty of experiments. Also values of some parameters obtained in a normal stress condition can be changed under pathological stress stimuli. Thus it is important to find the effective way of determining parameters values. One approach is to use optimization algorithms. Here we construct an optimal system used to find optimal parameters in the equations with nonnegative time delays and apply this optimization result to the Nuclear factor-${\kappa}B$ pathway.