권호 표지

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

제18권1_2호

  1. MOSTAFA EL-SAYED M.E. 1
    The decentralized static output feedback design problem is considered. A constrained trust region method is developed that solves this optimal control problem when a complete set of state variables is not available. The considered problem is interpreted as a non-linear (non-convex) constrained matrix optimization problem. Then, a decentralized constrained trust region method is developed for this problem class exploiting the diagonal structure of the problem and using inexact computations. Finally, numerical results are given for the proposed method.
  2. BATRA SUDHIR;ARORA S. K. 25
    Let F be a finite field of prime power order q(odd) and the multiplicative order of q modulo $2^{n}\;(n>1)\;be\; {\phi}(2^{n})/2$. If n > 3, then q is odd number(prime or prime power) of the form $8m{\pm}3$. If q = 8m - 3, then the ring $R_{2^n} = F[x]/ < x^{2^n}-1 >$ has 2n primitive idempotents. The explicit expressions for these primitive idempotents are obtained and the minimal QR cyclic codes of length $2^{n}$ generated by these idempotents are completely described. If q = 8m + 3 then the expressions for the 2n - 1 primitive idempotents of $R_{2^n}$ are obtained. The generating polynomials and the upper bounds of the minimum distance of minimal QR cyclic codes generated by these 2n-1 idempotents are also obtained. The case n = 2,3 is dealt separately.
  3. JIANG ZHAO-LIN;XU ZONG-BEN 45
    An efficient algorithm for finding the inverse and the group inverse of the FLS $\gamma-circulant$ matrix is presented by Euclidean algorithm. Extension is made to compute the inverse of the FLS $\gamma-retrocirculant$ matrix by using the relationship between an FLS $\gamma-circulant$ matrix and an FLS $\gamma-retrocirculant$ matrix. Finally, some examples are given.
  4. YUN JAE HEON;OH SEYOUNG;KIM EUN HEUI 59
    We study convergence of symmetric multisplitting method associated with many different multisplittings for solving a linear system whose coefficient matrix is a symmetric positive definite matrix which is not an H-matrix.
  5. FARD OMID S.;KAMYAD ALl V. 73
    In this paper, we attempt to present a new numerical approach to solve non-linear backward stochastic differential equations. First, we present some definitions and theorems to obtain the conditions, from which we can approximate the non-linear term of the backward stochastic differential equation (BSDE) and we get a continuous piecewise linear BSDE correspond with the original BSDE. We use the relationship between backward stochastic differential equations and stochastic controls by interpreting BSDEs as some stochastic optimal control problems, to solve the approximated BSDE and we prove that the approximated solution converges to the exact solution of the original non-linear BSDE in two different cases.
  6. ELAIW A. M.;KISS K.;L CAETANO M. A. 95
    This work concerns the stabilization of uninfected steady state of an ordinary differential equation system modeling the interaction of the HIV virus and the immune system of the human body. The control variable is the drug dose, which, in turn, affects the rate of infection of $CD4^{+}$ T cells by HIV virus. The feedback controller is constructed by a variant of the receding horizon control (RHC) method. Simulation results are discussed.
  7. CHOO S. M.;LEE Y. J. 113
    The Cahn-Hilliard equation is modeled to describe the dynamics of phase separation in glass and polymer systems. A priori error estimates for the Cahn-Hilliard equation have been studied by the authors. In order to control accuracy of approximate solutions, a posteriori error estimation of the Cahn-Hilliard equation is obtained by discontinuous Galerkin method.
  8. ZHOU YONG;LI C. F. 127
    In this paper, we consider the higher order nonlinear neutral delay difference equation of the form $\Delta^{\gamma}(x_{n}+px_{n-\gamma})+f(n, x_{n-\sigma_1(n)}, x_{n-\sigma_2(n)}, \ldots, x_{n-\sigma{_m}(n)})=0$. We give an integrated classification of nonoscillatory solutions of the above equation according to their asymptotic behaviours. Necessary and sufficient conditions for the existence of nonoscillatory solutions with designated asymptotic properties are also established.
  9. RUI-CHENG YANG;KUN-HUI LIU;BING XIA 145
    We formulate a stochastic control problem on proportional reinsurance that includes impulse and regular control strategies. For the first time we combine impulse control with regular control, and derive the expected total discount pay-out (return function) from present to bankruptcy. By relying on both stochastic calculus and the classical theory of impulse and regular controls, we state a set of sufficient conditions for its solution in terms of optimal return function. Moreover, we also derive its explicit form and corresponding impulse and regular control strategies.
  10. PARK YUNBEOM;LEE NAMYONG 159
    An algorithmic approach to degree reduction of rational Bezier curves is presented. The algorithms are based on the degree reduction of polynomial Bezier curves. The method is introduced with the following steps: (a) convert the rational Bezier curve to polynomial Bezier curve by using homogenous coordinates, (b) reduce the degree of polynomial Bezier curve, (c) determine weights of degree reduced curve, (d) convert the Bezier curve obtained through step (b) to rational Bezier curve with weights in step (c).
  11. BHATTA DAMBARU D. 171
    An analysis of the non-homogeneous term involved in the free surface condition for second order wave diffraction on a pair of cylinders is presented. In the computations of the nonlinear loads on offshore structures, the most challenging task is the computation of the free surface integral. The main contribution to this integrand is due to the non-homogeneous term present in the free surface condition for second order scattered potential. In this paper, the free surface condition for the second order scattered potential is derived. Under the assumption of large spacing between the two cylinders, waves scattered by one cylinder may be replaced in the vicinity of the other cylinder by equivalent plane waves together with non-planner correction terms. Then solving a complex matrix equation, the first order scattered potential is derived and since the free surface term for second order scattered potential can be expressed in terms of the first order potentials, the free surface term can be obtained using the knowledge of first order potentials only.
  12. LI ZHAOXIANG;LIU YANPEI 183
    In this paper we study the chromatic sum functions for rooted nonseparable near-triangular maps on the projective plane. A chromatic sum equation for such maps is obtained.
  13. SONG SEOK-ZUN 197
    For two distinct rank-1 matrices A and B, a rank-1 matrix C is called a separating matrix of A and B if the rank of A + C is 2 but the rank of B + C is 1 or vice versa. In this case, rank-1 matrices A and B are said to be separable. We show that every pair of distinct Boolean rank-l matrices are separable.
  14. HAJJI S. EL;TOUIJRAT L. 205
    Let I(f) be the integral defined by : $I(f) = \int\limits_{a}^{b} f(x)w(x)dx$ with f a given function, w a nonclassical weight function and [a, b] an interval of IR (of finite or infinite length). We propose to calculate the approximate value of I(f) by using a new scheme for deriving a non-linear system, satisfied by the three-term recurrence coefficients of semi-classical orthogonal polynomials. Finally we studies the Stability and complexity of this scheme.
  15. STEVIC STEVO 229
    The boundedness, global attractivity, oscillatory and asymptotic periodicity of the positive solutions of the difference equation of the form $x_{n+l} =\alpha+\frac{x_{n-1}^{p}}{x_{n}^{p}},\;\; n = 0, 1, ...$ is investigated, where all the coefficients are nonnegative real numbers.
  16. JEON MYUNGJIN;HAN DONGSOONG;PARK KYEONGSU;CHOI GUNDON 235
    We present an interpolating, univariate subdivision scheme which preserves the discrete curvature and tangent direction at each step of subdivision. Since the polygon have a geometric information of some original(in some sense) curve as a discrete curvature, we can expect that the limit curve has the same curvature at each vertex as the control polygon. We estimate the curvature bound of odd vertices and give an error estimate for restoring a curve from sampled vertices on curves.
  17. BARAKAT H. M.;NIGM E. M.;ASKAR M. M. 247
    Necessary and sufficient conditions, under which there exists (at least) a sequence of vectors of real numbers for which the distribution function (d.f.) of any vector of extreme order statistics converges to a non-degenerate limit, are derived. The interesting thing is that these conditions solely depend on the univariate marginals. Moreover, the limit splits into the product of the limit univariate marginals if all the bivariate marginals of the trivariate d.f., from which the sample is drawn, is of negative quadrant dependent random variables (r.v.'s). Finally, all these results are stated for the multivariate extremes with arbitrary dimensions.
  18. LI HUA;LUO ZHIGUO 261
    In this paper, boundedness criteria are established for solutions of a class of impulsive functional differential equations with infinite delays of the form $x'(t) = F(t, x(\cdot)), t > t^{\ast} {\Delta}x(t_{k})= I(t_{k}, x(t_{k}^{-})), k = 1,2,...$ By using Lyapunov functions and Razumikhin technique, some new Razumikhin-type theorems on boundedness are obtained.
  19. LI CHUNFA;FENG ENMIN 273
    Parameter identification problem of a three species (predator, mutualist-prey, and mutualist) ecological system with reaction-diffusion phenomenon is investigated in this paper. The mathematical model of the parameter identification problem is constructed and continuous dependence of the solution for the direct problem on the parameters identified is obtained. Finally, the existence of optimal solution and an optimality necessary condition for the parameter identification problem are given.
  20. CHO SUNG-JIN 287
    In this paper, we analyze Pseudo-Noise (PN) sequences generated by a maximum-length 90/150 Null Boundary Cellular Automata and we give the relationship among minimum offsets.
  21. ABDOLLAHI A.;TAGHAVI M. 301
    The coefficients of the Rudin-Shapiro polynomials are $\pm1$. In this paper we first replace-1 coefficient by 0 which on that case the structure of the coefficients will be on base 2. Then using the results obtained for the numbers on base 2, we introduce a quite fast algorithm to calculate the autocorrelation coefficients. Main facts: Regardless of frequencies, finding the autocorrelations of those polynomials on which their coefficients lie in the unit disk has been a telecommunication's demand. The Rudin-Shapiro polynomials have a very special form of coefficients that allow us to use 'Machine language' for evaluating these values.
  22. PITCHAIMANI M. 311
    Studies in the evolutionary biology of aging require good estimates of the age-dependent mortality rate coefficient (one of the Gompertz parameters). In this paper we introduce an alternative algorithm for estimating this parameter. And we discuss the sensitivity of the estimates to changes in the other model parameters.
  23. YANG ZHONG-PENG;CAO CHONG-GUANG;ZHANG XIAN 321
    We investigate a matrix inequality on Schur complements defined by {1}-generalized inverses, and obtain simultaneously a necessary and sufficient condition under which the inequality turns into an equality. This extends two existing matrix inequalities on Schur complements defined respectively by inverses and Moore-Penrose generalized inverses (see Wang et al. [Lin. Alg. Appl., 302-303(1999)163-172] and Liu and Wang [Lin. Alg. Appl., 293(1999)233-241]). Moreover, the non-uniqueness of $\{1\}$-generalized inverses yields the complicatedness of the extension.
  24. CAI JUNLIANG;HAO RONGXIA;LID YANPEI 329
    This paper is to establish a functional equation satisfied by the generating function for counting rooted cubic c-nets and then to determine the parametric expressions of the equation directly. Meanwhile, the explicit formulae for counting rooted cubic c-nets are derived immediately by employing Lagrangian inversion with one or two parameters. Both of them are summation-free and in which one is just an answer to the open problem (8.6.5) in [1].
  25. HUANG F.;LIU F. 339
    A space-time fractional advection-dispersion equation (ADE) is a generalization of the classical ADE in which the first-order time derivative is replaced with Caputo derivative of order $\alpha{\in}(0,1]$, and the second-order space derivative is replaced with a Riesz-Feller derivative of order $\beta{\in}0,2]$. We derive the solution of its Cauchy problem in terms of the Green functions and the representations of the Green function by applying its Fourier-Laplace transforms. The Green function also can be interpreted as a spatial probability density function (pdf) evolving in time. We do the same on another kind of space-time fractional advection-dispersion equation whose space and time derivatives both replacing with Caputo derivatives.
  26. CHANDRASEKARAN V. M.;LOGANATHAN M. 351
    Let T be a regular semigroup and let S be a regular subsemigroup of T. In this paper we study the relationship between the idempotent separating congruence on S and the idempotent separating congruence on T, when T and S are connected by a splitmap ${\theta} : T {\to} S$.
  27. HUSAIN I.;JABEEN Z. 361
    Optimality conditions are derived for a nonlinear fractional program in which a support function appears in the numerator and denominator of the objective function as well as in each constraint function. As an application of these optimality conditions, a dual to this program is formulated and various duality results are established under generalized convexity. Several known results are deduced as special cases.
  28. BENYI ARPAD 377
    We present a convenient recursive formula for the sums of alternating harmonic series of odd order. The recursion is obtained by expanding in Fourier series certain elementary functions.
  29. WANG JI-BO 383
    The paper is devoted to some flow shop scheduling problems, where job processing times are defined by functions dependent on their positions in the schedule. An example is constructed to show that the classical Johnson's rule is not the optimal solution for two different models of the two-machine flow shop scheduling to minimize makespan. In order to solve the makespan minimization problem in the two-machine flow shop scheduling, we suggest Johnson's rule as a heuristic algorithm, for which the worst-case bound is calculated. We find polynomial time solutions to some special cases of the considered problems for the following optimization criteria: the weighted sum of completion times and maximum lateness. Some furthermore extensions of the problems are also shown.
  30. AJADI SURAJU OLUSEGUN 393
    We study the isothermal flow of a dusty viscous incompressible conducting fluid between two types of boundary motions- oscillatory and non-oscillatory, under the influence of gravitational force. Within the frame work of some physically realistic approximations and suitable boundary conditions, closed form solutions were obtained for the velocity profiles and the skin friction of the particulate flow. These results show that for a constant pressure gradient, only the velocity profile of the fluid and the skin friction are unaffected by gravity, while magnetic field is seen to affect both the fluid, particle velocities and the skin friction. Thus, our results are extension of previous results in literature, and graphical demonstration of some these solutions have been presented.
  31. WAN ANHUA;MAO WEIHUA 405
    In this paper, the oscillation and asymptotic stability behavior of a third order linear impulsive equation are investigated. A lemma is presented to deal with the sign relation of the nonoscillatory solutions and their derived functions. By the lemma explicit sufficient conditions are obtained for all solutions either oscillating or asymptotically tending to zero. Two illustrative examples are proposed to demonstrate the effectiveness of the conditions.
  32. NARAYANAN AL.;MANIKANTAN T. 419
    In this paper, we introduce the notions of ($\in,\;{\in} V q$)-fuzzy subnear-ring, ($\in,\;{\in} V q$)-fuzzy ideal and ($\in,\;{\in}V q$)-fuzzy quasi-ideal of near-rings and find more generalized concepts than those introduced by others. The characterization of such ($\in,\;{\in}V q$)-fuzzy ideals are also obtained.
  33. SHAWKY A. I. 431
    The aim of this paper is to derive the analytical solution of the queue: $M/E_{r}/1/k/N$ for machine interference system with balking and reneging considering the discipline FIFO. Some measures of effectiveness and some special cases are obtained.
  34. JEON T. I. 441
    In this article we will introduce a real valued random field on a restricted indexed set and construct a classical asymptotic limit theorems on them. We will survey the basic properties of weakly dependent random processes and investigate two major mixing conditions for sequences of random variables. The concepts of weakly dependent sequence of random variables will be generalized to the case of random fields. Finally we will construct a central limit theorem and prove it.
  35. CHOI DOO IL 455
    In this paper, we analyze a queueing system with overload control by arrival rates. This paper is motivated by overload control to prevent congestion in telecommunication networks. The arrivals occur dependent upon queue length. In other words, if the queue length increases, the arrivals may be reduced. By considering the burstiness of traffics in telecommunication networks, we assume the arrival to be a Markov-modulated Poisson process. The analysis by the embedded Markov chain method gives to us the performance measures such as loss and delay. The effect of performance measures on system parameters also is given throughout the numerical examples.
  36. HUR KUL;JANG SU YOUN;KANG HEE WON 465
    We study the relationship between intuitionistic fuzzy ideals and intuitionistic fuzzy congruences on a distributive lattice. And we prove that the lattice of intuitionistic fuzzy ideals is isomorphic to the lattice of intuitionistic fuzzy congruences on a generalized Boolean algebra.
  37. HAN SANG-EON 487
    The main goal of this paper is to prove the digital homotopy lifting theorem with relation to a radius n local homeomorphism.
  38. LEE MIN-YOUNG;CHANG SE-KYUNG 497
    This paper presents characterizations on the independence of the exponential and Pareto distributions by record values. Let ${X_{n},\;n {\ge1}$ be a sequence of independent and identically distributed(i.i.d) random variables with a continuous cumulative distribution function(cdf) F(x) and probability density function(pdf) f(x). $Let{\;}Y_{n} = max{X_1, X_2, \ldots, X_n}$ for n \ge 1. We say $X_{j}$ is an upper record value of ${X_{n},{\;}n\ge 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 \ge 1, where u(n) = $min{j|j > u(n-1), X_{j} > X_{u(n-1)}, n \ge 2}$ and u(l) = 1. Then F(x) = $1 - e^{-\frac{x}{a}}$, x > 0, ${\sigma} > 0$ if and only if $\frac {X_u(_n)}{X_u(_{n+1})} and X_u(_{n+1}), n \ge 1$, are independent. Also F(x) = $1 - x^{-\theta}, x > 1, {\theta} > 0$ if and only if $\frac {X_u(_{n+1})}{X_u(_n)}{\;}and{\;} X_{u(n)},{\;} n {\ge} 1$, are independent.
  39. HAN SANG-EON 505
    In this paper, we introduce another statement of a digital $(k_{0}, k_{1})-homeomorphism$ which is suitable for an approach to write an efficient algorithm for discriminating digital images with respect to the digital $(k_{0}, k_{1})-homeomorphism$.
  40. JO YOUNG SOO;KANG JOO HO 513
    Given operators X and Y acting on a Hilbert space H, an interpolating operator is a bounded operator A such that AX = Y. Let L be a subspace lattice on H. We obtained a necessary and sufficient condition for the existence of an interpolating operator A which is in AlgL.
  41. CHO SEONG HOON;PARK JAE KEUN 525
    We introduce the notions of regular preopen sets and $p^{\ast}-closed$ spaces and investigate some of these properties. Also we give a characterization of p-closed spaces.
  42. KIM MOON HEE 539
    In this paper, sufficient optimality conditions and duality results for nonsmooth vector optimization problems are given under near invexity and infineness assumptions. Also, weak vector saddle-point theorems are obtained under near invexity-infineness assumptions.
  43. TANG YOUCHUN;KO KWAN PYO;LEE BYUNG-GOOK 553
    It is well-known that the smoothness of 4-point interpolatory Deslauriers-Dubuc(DD) subdivision scheme is $C^{1}$. N. Dyn[3] proved that 4-point interpolatory subdivision scheme is $C^{1}$ by means of eigenanalysis. In this paper we take advantage of Laurent polynomial method to get the same result, and give new way of strict proof on Laurent polynomial method.
  44. PARK WON-GIL;BAE JAE-HYEONG;CHUNG BO-HYUN 563
    In this paper, we obtain the general solution and the generalized Hyers-Ulam stability of the additive-quadratic functional equation f(x + y, z + w) + f(x + y, z - w) = 2f(x, z)+2f(x, w)+2f(y, z)+2f(y, w).
  45. CHO YONG UK 573
    In this paper, all near-rings R are left near-rings and all representations of R are (right) R-groups. We start with a study of AR, almost AR and AGR rings which are motivated by the works on the Sullivan's Problem [10] and its properties. Next, for any R-group G, we introduce a notion of R-groups with M R-property and investigate their properties and some characterizations of these R-groups. Finally, for the faithful M R-property, we get a commutativity of near-rings and rings.
  46. LEE WOO 585
    In [1], the structure of C(2,2) is determined as the polynomial ring in 5 variables. In this work, we show that C(2,3) is a free module over the subring of 9 variables. We explicitly give a presentation of C(2, 3) as free module over the polynomial ring.
  47. SOHN BANG-YONG 591
    The results of fuzzy linear regression are very sensitive to irregular data. When this points exist in a set of data, a fuzzy linear regression model can be incorrectly interpreted. The purpose of this paper is to detect irregular data and to propose robust fuzzy linear regression based on M-estimators with triangular fuzzy regression coefficients for crisp input-output data. Numerical example shows that irregular data can be detected by using the residuals based on M-estimators, and the proposed robust fuzzy linear regression is very resistant to this points.
  48. CHUNG BOHYUN 603
    We present some geometric applications of extremal length. The method of extremal length leads a simple proofs of theorems. And we consider the applications of extremal length to the boundary behavior of analytic functions and derive theorems in connection with the conformal mappings. It shows us the usefulness of the method of extremal length.
  49. HONG DUG HUN;KIM KYUNG TAE 613
    In this paper, we consider various types of convergence theorems of Choquet integral. We also show that the autocontinuity of finite fuzzy measure is equivalent to a convergence theorem with respect to convergence in measure.
  50. KWON SUNJOO 621
    A hybrid method solving regularized structured linear total least norm (RSTLN) problems, which have highly ill-conditioned coefficient matrix with special structures, is suggested and analyzed. This scheme combining RSTLN algorithm and separation by parts guarantees the convergence of parameters and has an advantages in reducing the residual norm and relative error of solutions. Computational tests for problems arisen in signal processing and image formation process confirm that the presenting method is effective for more accurate solutions to (R)STLN problem than the (R)STLN algorithm.
  51. LEE CHANGWOO;CHO SANGHEE 639
    We count the number of maximal independent sets of binary trees and planted plane trees.
  52. KIM KYUNG JOONG;KIM DONG HO;CHOI SEUNG HOE 649
    In this paper we consider a fuzzy least absolute deviation method in order to construct fuzzy linear regression model with fuzzy input and fuzzy output. We also consider two numerical examples to evaluate an effectiveness of the fuzzy least absolute deviation method and the fuzzy least squares method.
  53. PARK HONG GOO 657
    In this paper, we consider groups of permutations S on a set A acting on subsets X of A. In particular, we show that if $X_2{\subseteq}X_1{\subseteq}A$ and Y is an S-normal extension of $X_2 in X_1$, then the Galois group $G_{S}(X_1/Y){\;}of{\;}X_1{\;}over{\;}X_2$ relative to S is an S-closed subgroup of $G_{S}(X_1/X_2)$ in the setting of a Galois theory (correspondence) for this situation.
  54. CHO YONG UK;JUN YOUNG BAE 665
    The notion of normal intuitionistic fuzzy R-subgroups in near-rings is introduced, and related properties are investigated. Characterization of an intuitionistic fuzzy R-subgroup is given. Using a collection of right R-subgroups, an intuitionistic fuzzy right R-subgroup is established. Using a chain of right R-subgroups, an intuitionistic fuzzy right R-subgroup is also established.
  55. PARK HONG GOO 679
    In this paper, we characterize a permutation property of a certain type of binomials over the field through the use of Hermite's criterion.
  56. SHIN DONG-SOO 685
    We find some Hilbert functions of codimension 4, which are obtained from only k-configurations in $\mathbb{P}^{3}$ and support the $3^{rd}$ linear syzygy.