권호 표지

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

제13권1_2호

  1. Zhang, Li-Wei;Liu, Yong-Jin 1
    In this paper, we establish a nonlinear Lagrangian algorithm for nonlinear programming problems with inequality constraints. Under some assumptions, it is proved that the sequence of points, generated by solving an unconstrained programming, convergents locally to a Kuhn-Tucker point of the primal nonlinear programming problem.
  2. Ismail, M.S.;Bratsos, A.G. 11
    A fourth order in time and second order in space scheme using a finite-difference method is developed for the non-linear Boussinesq equation. For the solution of the resulting non-linear system a predictor-corrector pair is proposed. The method is analyzed for local truncation error and stability. The results of a number of numerical experiments for both the single and the double-soliton waves are given.
  3. Su, Zhanjun;Ding, Ren 29
    In 1970 Monsky proved that a square cannot be cut into an odd number of triangles of equal areas. In 1990 it was proved that the statement is true for any centrally symmetric polygon. In the present paper we consider dissections of general polygons into triangles of equal areas.
  4. Park, Yeonyong;Lee, Heonsoo 37
    Enumeration of the primes with difference 4 between consecutive primes, is counted up to 5${\times}$10$\^$10/, yielding the counting function ,r2,4(5${\times}$10$\^$10/) = l18905303. The sum of reciprocals of primes with gap 4 between consecutive primes is computed B$_4$(5 ${\times}$ 10$\^$10/) = 1.1970s4473029 and B$_4$ = 1.197054 ${\pm}$ 7 ${\times}$ 10$\^$-6/. And Enumeration of the primes with difference 6 between consecutive primes, is counted up to 5${\times}$10$\^$10/, yielding the counting function $\pi$$\_$2.6/(5${\times}$10$\^$10/) = 215868063. The sum of reciprocals of primes with gap 6 between consecutive primes is computed B$\_$6/(5${\times}$10$\^$10/) = 0.93087506039231 and B$\_$6/ = 1.135835 ${\pm}$ 1.2${\times}$10$\^$-6/.
  5. Bhatta, Dambaru D.;Debnath, Lokenath 53
    Here we present a study of small-amplitude, shallow water waves on sloping beds. The beds considered in this analysis are linear and quadratic in nature. First we start with stating the relevant governing equations and boundary conditions for the theory of water waves. Once the complete prescription of the water-wave problem is available based on some assumptions (like inviscid, irrotational flow), we normalize it by introducing a suitable set of non-dimensional variables and then we scale the variables with respect to the amplitude parameter. This helps us to characterize the various types of approximation. In the process, a summary of equations that represent different approximations of the water-wave problem is stated. All the relevant equations are presented in rectangular Cartesian coordinates. Then we derive the equations and boundary conditions for small-amplitude and shallow water waves. Two specific types of bed are considered for our calculations. One is a bed with constant slope and the other bed has a quadratic form of surface. These are solved by using separation of variables method.
  6. Dragomir, N.M.;Dragomir, S.S.;Farrell, P.M.;Baxter, G.W. 67
    A quadrature rule for the finite Hilbert Trasnform via trapezoid type inequalities is obtained . Some numerical experiments for different divisions of the interval [a, b] are also presented.
  7. Luo, Chengxin;Feng, Enmin 85
    An indefinite stochastic linear-quadratic(LQ) optimal control problem with cross term over an infinite time horizon is studied, allowing the weighting matrices to be indefinite. A systematic approach to the problem based on semidefinite programming (SDP) and .elated duality analysis is developed. Several implication relations among the SDP complementary duality, the existence of the solution to the generalized Riccati equation and the optimality of LQ problem are discussed. Based on these relations, a numerical procedure that provides a thorough treatment of the LQ problem via primal-dual SDP is given: it identifies a stabilizing optimal feedback control or determines the problem has no optimal solution. An example is provided to illustrate the results obtained.
  8. Javanian, Mehri 99
    In this note we find the exact Probability distribution of d$\_$n, i/ the outdegree of the node i, in a random recursive tree with n nodes. For i = i$\_$n/ increasing as a linear function on n, we show that d$\_$n/,i$\_$n/ is asymptotically normal.
  9. Jung, Hwan-Ok 105
    An infinite locally finite plane graph is called an LV-graph if it is 3-connected and VAP-free. If an LV-graph G contains no unbounded faces, then we say that G is a 3LV-graph. In this paper, a structure theorem for an LV-graph concerning the existence of a sequence of systems of paths exhausting the whole graph is presented. Combining this theorem with the early result of the author, we obtain a necessary and sufficient conditions for an infinite VAP-free planar graph to be a 3LV-graph as well as an LV-graph. These theorems generalize the characterization theorem of Thomassen for infinite triangulations.
  10. Yang, Zhong-Peng;Cao, Chong-Gu;Tang, Xiao-Min 117
    For an n ${\times}$ n real matrix X, let ${\Phi}$(X) = X o (X$\^$-1/)$\^$T/, where o stands for the Hadamard (entrywise) product. Suppose A, B, G and D are n ${\times}$ n real nonsingular matrices, and among them there are at least one solutions to the equation (equation omitted). An equivalent condition which enable (equation omitted) become a real solution ot the equation (equation omitted), is given. As application, we get new real solutions to the matrix equation (equation omitted) by applying the results of Zhang. Yang and Cao [SIAM.J.Matrix Anal.Appl, 21(1999), pp: 642-645] and Chen [SIAM.J.Matrix Anal.Appl, 22(2001), pp:965-970]. At the same time, all solutions of the matrix equation (equation omitted) are also given.
  11. Zhang, Zhenguo;Lv, Xiaojing;Yu, Tian 125
    Some Riccati type difference inequalities are established for the second-order nonlinear difference equations with negative neutral term $\Delta$(a(n)$\Delta$(x(n) - px(n-$\tau$))) + f(n, x($\sigma$(n))) = 0 using these inequalities we obtain some oscillation criteria for the above equation.
  12. Liu, Sanming;Feng, Enmin 139
    In this paper, we characterize a vector-valued convex set function by its epigraph. The concepts of a vector-valued set function and a vector-valued concave set function we given respectively. The definitions of the conjugate functions for a vector-valued convex set function and a vector-valued concave set function are introduced. Then a Fenchel duality theorem in multiobjective programming problem with set functions is derived.
  13. Jin, Young-Bae;Song, Seok-Zun 153
    The fuzzification of a positive implicative filter is considered, and some of properties are investigated. The relation among fussy filter, fuzzy n-fold implicative filter, and fuzzy n-fold positive implication filter is discussed.
  14. Luo, Weidong;Luo, Jiaowan;Debnath, Lokenath 165
    Sufficient conditions for oscillation of all solutions of a class of second-order quasilinear delay differential equations with fixed moments of impulse effect are found.
  15. J., A.Fakharzadeh 183
    We will explain a new method for obtaining the nearly optimal domain for optimal shape design problems associated with the solution of a nonlinear wave equation. Taking into account the boundary and terminal conditions of the system, a new approach is applied to determine the optimal domain and its related optimal control function with respect to the integral performance criteria, by use of positive Radon measures. The approach, say shape-measure, consists of two steps; first for a fixed domain, the optimal control will be identified by the use of measures. This function and the optimal value of the objective function depend on the geometrical variables of the domain. In the second step, based on the results of the previous one and by applying some convenient optimization techniques, the optimal domain and its related optimal control function will be identified at the same time. The existence of the optimal solution is considered and a numerical example is also given.
  16. Taghavi, M. 195
    Given a positive integer q, the ratio of the 2q-norm of a polynomial which its coefficients form a binary sequence and its 2-norm arose from telecommunication engineering consists of finding any type of such polynomials haying the ratio “small” In this paper we consider some special types of these polynomials, discuss the sharpest possible upper bound, and prove a result for the ratio.
  17. Mao, Linfan;Liu, Yanpei 201
    A map is a connected topological graph $\Gamma$ cellularly embedded in a surface. For any connected graph $\Gamma$, by introducing the concertion of semi-arc automorphism group Aut$\_$$\frac{1}{2}$/$\Gamma$ and classifying all embedding of $\Gamma$ undo. the action of this group, the numbers r$\^$O/ ($\Gamma$) and r$\^$N/($\Gamma$) of rooted maps on orientable and non-orientable surfaces with underlying graph $\Gamma$ are found. Many closed formulas without sum ∑ for the number of rooted maps on surfaces (orientable or non-orientable) with given underlying graphs, such as, complete graph K$\_$n/, complete bipartite graph K$\_$m, n/ bouquets B$\_$n/, dipole Dp$\_$n/ and generalized dipole (equation omitted) are refound in this paper.
  18. Jeong, Jae-Ug 217
    In this paper, we consider the fuzzy differential equations (equation omitted) where F(t, x(t)) is a continuous fuzzy mapping on [0, $\infty$) ${\times}$ E$\^$n/. The purpose of this paper is to prove that the solution ${\Phi}$(t) of the fuzzy differential equations is equiasymptotically stable in the large and uniformly asymptotically stable in the large.
  19. Li, Meil;Wang, Miansen;Yan, Jurang 223
    In this paper we investigate the oscillation of nonlinear differdntial equation with damping term. Some new oscillation criteria for the equation are obtained.
  20. Liu, F.;Anh, V.V.;Turner, I.;Zhuang, P. 233
    A time fractional advection-dispersion equation is Obtained from the standard advection-dispersion equation by replacing the firstorder derivative in time by a fractional derivative in time of order ${\alpha}$(0 < ${\alpha}$ $\leq$ 1). Using variable transformation, Mellin and Laplace transforms, and properties of H-functions, we derive the complete solution of this time fractional advection-dispersion equation.
  21. Li, Chunfa;Feng, Enmin;Liu, Jinwang 247
    Optimal control problem for the exploitaton of oil is investigated. The optimal control problem under consideration in this paper is governed by weak coupled parabolic PDEs and involves with pointwise state and control constraints. The properties of solution of the state equations and the continuous dependence of state functions on control functions are investigated in a suitable function space; existence of optimal solution of the optimal control problem is also proved.
  22. Tang, Hengyong;Zhao, Yufang 261
    In this paper we study two stage problems of stochastic convex programming. Solving the problems is very hard. A L-shaped method for it is given. The implement of the algorithm is simple, so less computation work is needed. The result of computation shows that the algorithm is effective.
  23. Shi, Yimin;Ren, Limei;Wang, Xuyan 277
    In this paper, the Monger Probabilistic n-metric space is presented, some Hex point theorem for set valued mapping are extended to Monger probabilistic n-metric space.
  24. Saker, S.H. 287
    In this paper we shall consider the nonlinear delay differential equation (equation omitted) where m is a positive integer, ${\beta}$(t) and $\delta$(t) are positive periodic functions of period $\omega$. In the nondelay case we shall show that (*) has a unique positive periodic solution (equation omitted), and show that (equation omitted) is a global attractor all other positive solutions. In the delay case we shall present sufficient conditions for the oscillation of all positive solutions of (*) about (equation omitted), and establish sufficient conditions for the global attractivity of (equation omitted). Our results extend and improve the well known results in the autonomous case.
  25. Bhattacharya, D.K.;Karan, S. 301
    The paper considers two mutually independent pests in presence of their common predator and discusses their control biologically by release of additional predators and chemically by using non-selective non-residual pesticide. It also verifies the results by special choice of parameters.
  26. Sharma, Dinesh K.;Ghosh, Debasis;Alade, Julius A. 323
    This paper presents a goal-programming (GP) model for management decision-making for sugarcane fertilizer mix problems. Sensitivity analysis on the priority structure of the goals has been performed to obtain all possible solutions. The study uses Euclidean distance function to measure distances of all possible solutions from the ideal solution. The optimum solution is determined from the minimum distance between the ideal solution and other possible solutions of the problem. The optimum solution corresponds to the appropriate priority structure of the problem in the decision-making context. furthermore, the results obtained from sensitivity analysis on the cost of combination of fertilizers confirm the priority structure.
  27. Cho, Choon-Kyung;Sungkwon Kang 335
    Spatial distribution of groundwater contaminant concentration has special characteristics such as approximate symmetric profile, for example, in the transversal direction to groundwater flow direction, a certain ratio in directional propagation distances, etc. To obtain a geophysically appropriate semivariogram which is a key factor in estimation of groundwater contaminant concentration at desired locations, these special characteristics should be considered. In this paper, a method for finding appropriate symmetric axes is introduced. Statistical analyses for the choices of symmetric axes and mathematical models for semivariograrns are performed. After implementing symmetry, the corresponding semivariograrns, kriging variances, and final estimated results show significant improvement compared with those obtained by conventional approaches which usually do not account for symmetry.
  28. Meehyea Yang;Hong, Bum-Il;Yang, Hyun-Suk 353
    In [2], if ${\gamma}$ $\leq$ 2, the average error of the composite Trapezoidal rule on two consecutive intervals turned out to be proportional to h$\^$2r+3/ where ${\gamma}$ is the number of differentiablity and h is the length of each uniform subinterval of the interval [0, 1] In this paper, we show that if ${\gamma}$ $\geq$ 3, the average error of the composite Trapezoidal rule on two consecutive intervals is bounded by Ch$\^$8/.
  29. Nahmwoo Hahm;Hong, Bum-Il 365
    We show that if ${\gamma}$ $\leq$ 2, the average error of the composite Trapezoidal rule on two consecutive intervals is proportional to h$\^$2h+3/ where h is the length of each subinterval of the interval [0, 1]. As a result, we show that the Trapezoidal rule with equally spaced points is optimal in the average case setting when ${\gamma}$ $\leq$ 2.
  30. Park, Seung-Hoe 373
    In this paper, we consider the asymptotic properties of regression quantile estimators for the nonlinear regression model when dependent variables are subject to censoring time, and propose the sufficient conditions which ensure consistency and asymptotic normality for regression quantile estimators in censored nonlinear regression model. Also, we drive the asymptotic relative efficiency of the censored regression model with respect to the ordinary regression model.
  31. Jun, Young-Bae;Song, Seok-Zun 385
    Using a fuzzy filter, a new congruence relation induced by the fuzzy filter is given in lattice implication algebras, and some of their properties are investigated.
  32. Kim, Tae-Sik 393
    In general, a differential operator can be used as a tool of treating the local properties of given function. However, when the given function is varied with high frequency and has irregular form with non-stationary evolution it may not act its role sufficiently as in case of nowhere differentiable curves. In this paper we introduce a multi-scale derivative as a form of weakened global derivative so that it may explain its semi global diffusion properties as well as local ones for the various irregular diffusion phenomena.
  33. Shin, Yong-Su 405
    We prove that 25 different Artinian O-Sequences of codimension 3 type 3 with length 7 among all possible 334 cases are not level.
  34. Park, Chun-Soo;Rhee, Min-Surp 413
    L. H Encinas, A. J. Menezes and J. M. Masque in [3] proposed a classification of isomorphism classes of hyperelliptic curve of genus 2 over finite fields with characteristic different from 2 and 5. Y. Choie and D. Yun in [2] obtained the number of isomorphic classes of hyperelliptic curves of genus 2 over $F_{2-}$ using direct counting method. We have obtained isomorphism classes of hyperelliptic curves of genus 2 over $F_{2n}$ for odd n, represented by an equation of the form $y^2$ + $a_{5}$ y = $x^{5}$ + $a_{8}$ x + $a_{10}$ ( $a_{5}$ $\neq$0) [1]. In this paper we characterize hyperelliptic curves of genus 2 over $F_{2n}$ for even n, represented by an equation of the form $y^2$ + $a_{5}$ y = $x^{5}$ + $a_{5}$ x + $a_{10}$ ( $a_{5}$ $\neq$0).>0).
  35. Shin, Dong-Soo;Chang, Ick-Soon;Kim, Hark-Mahn 425
    Our main goal is to show that if there exists a continuous linear Jordan derivation D on a noncommutative Banach algebra A such that n$^{x}$ D(x)n+xD(x)x$^{n}$ $\in$ rad(A) for all x $\in$ A, then D maps A into rad(A).
  36. Shin, Yong-Su 433
    Artinian O-sequences of codimension 3 and type 3 with length 7 are classified as level or non-level. Some cases are proved to be non-level among the 334 cases which have been suspected to be level.
  37. Lee, Min-Young;Chang, Se-Kyung 441
    Let { $X_{n}$ , n $\geq$ 1} be a sequence of independent and identically distributed random variables with a common continuous distribution function F(x) and probability density function f(x). Let $Y_{n}$ = max{ $X_1$, $X_2$, …, $X_{n}$ } for n $\geq$ 1. We say $X_{j}$ is an upper record value of { $X_{n}$ , n$\geq$1} if $Y_{j}$ > $Y_{j-1}$, j > 1. The indices at which the upper record values occur are given by the record times {u(n)}, n$\geq$1, where u(n) = min{j｜j>u(n-1), $X_{j}$ > $X_{u}$ (n-1), n$\geq$2} and u(1) = 1. We call the random variable X $\in$ Beta (1, c) if the corresponding probability cumulative function F(x) of x is of the form F(x) = 1-(1-x)$^{c}$ , c>0, 0$\leq$x$\leq$1. In this paper, we will give a characterization of the beta distribution of the first kind by considering conditional expectations of record values.s.
  38. Park, Jaekeun;Cho, Seong-Hoon 447
    For some sequnces of monotone nondecreasing convex $\Phi$-functions $\Phi$$_1$, $\Phi$$_2$ and $\Phi$$_3$and $textsc{k}$-functions $textsc{k}$$_1$, $textsc{k}$$_2$ and $textsc{k}$$_3$, we obtain the most general Holder type inequalities, and some special cases are considered for the functions of $textsc{k}$G$\Phi$-bounded variations.
  39. Oh, Myongsik 457
    The comparison of two or more Lorenz curves of Pareto distributions of first kind under arbitrary order restriction is studied. The problem is turned out to be a statistical inference problem concerning scale parameters under order restriction. We assume that the location parameters of Palate distributions are completely unknown. In this paper the maximum likelihood estimation and likelihood ratio tests for and against order restriction are proposed.
  40. Lee, Don-O 471
    In this paper we invstigate the new additive type functional equation f(2x - y) + f(x-2y) = 3f(x)-3f(y) and prove the stability problem for this equation in the spirit of Hyers, Ulam, Rassias and Gavruta.
  41. Kim, Myung-Geun 479
    The influence of observations on the Wilks' lambda test of a linear hypothesis in multivariate regression is investigated using the local influence method. The perturbation scheme of case-weights is considered. A numerical example is given to show the effectiveness of the local influence method in identifying the influential observations.
  42. Park, Sung-Wook;Lee, Eun-Pyo;Hyuk Han 487
    We investigate categorical relationships between the category of smooth fuzzy topological spaces, the category of intuitionistic fuzzy topological spaces, and the category of intuitionistic fuzzy topological spaces, and the category of intuitioistic fuzzy topological spaces in Sostak's sense.
  43. Oh, Jong-Chul 501
    Although the estimate of regression function is important, some have focused the variance estimation of error term in regression model. Different variance estimators perform well under different conditions. In many practical situations, it is rather hard to assess which conditions are approximately satisfied so as to identify the best variance estimator for the given data. In this article, we suggest SHM estimator compared to LS estimator, which is common estimator using in parametric multiple regression analysis. Moreover, a combined estimator of variance, VEM, is suggested. In the simulation study it is shown that VEM performs well in practice.