권호 표지

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

제14권1_2호

  1. Agarwal, Ravi-P.;O'Regan, Donal;Wong, Patricia-J.Y. 1
    We consider the following system of discrete equations $u_i(\kappa)\;=\;{\Sigma{N}{\ell=0}}g_i({\kappa},\;{\ell})f_i(\ell,\;u_1(\ell),\;u_2(\ell),\;{\cdots}\;,\;u_n(\ell)),\;{\kappa}\;{\in}\;\{0,\;1,\;{\cdots}\;,\;T\},\;1\;{\leq}\;i\;{\leq}\;n\;where\;T\;{\geq}\;N\;>\;0,\;1\;{\leq}i\;{\leq}\;n$. Existence criteria for single, double and multiple constant-sign solutions of the system are established. To illustrate the generality of the results obtained, we include applications to several well known boundary value problems. The above system is also extended to that on $\{0,\;1,\;{\cdots}\;\}\;u_i(\kappa)\;=\;{\Sigma{\infty}{\ell=0}}g_i({\kappa},\;{\ell})f_i(\ell,\;u_1(\ell),\;u_2(\ell),\;\cdots\;,\;u_n(\ell)),\;{\kappa}\;{\in}\;\{0,\;1,\;{\cdots}\;\},\;1\;{\leq}\;i\;{\leq}\;n$ for which the existence of constant-sign solutions is investigated.
  2. Lepovic, Mirko 39
    Let G be a simple graph and let $\={G}$ denotes its complement. We say that G is integral if its spectrum consists entirely of integers. If $\overline{aK_{a}\;{\bigcup}\;{\beta}K_{b}}$ is integral we show that it belongs to the class of integral graphs $[\frac{kt}{\tau}\;{x_0}\;+\;\frac{mt}{\tau}\;z}\;K_{(t+{\ell}n)+{\ell}m}\;\bigcup\;[\frac{kt}{\tau}\;{y_0}\;+\;\frac{(t\;+\;{\ell}n)k\;+\;{\ell}m}{\tau}\;z]n\;K_{em)$, where (i) t, k, $\ell$, m, $n\;\in\;\mathbb{N}$ such that (m, n) = 1, (n,t) = 1 and ($\ell,\;t$) = 1 ; (ii) $\tau\;=\;((t\;+\;{\ell}n)k\;+\;{\ell}m,\;mt)$ such that $\tau\;$\mid$kt$; (iii) ($x_0,\;y_0$) is a particular solution of the linear Diophantine equation $((t\;+\;{\ell}n)k\;+\;{\ell}m)x\;-\;(mt)y\;=\;\tau\;and\;(iv)\;z\;{\geq}\;{z_0}$ where $z_{0}$ is the least integer such that $(\frac{kt}{\tau}\;{x_0}\;+\;\frac{mt}{\tau}\;{z_0})\;\geq\;1\;and\;(\frac{kt}{\tau}\;{y_0}\;+\;\frac{(t+{\ell}n)k+{\ell}m}{\tau}\;{z_0})\;\geq\;1$.
  3. Zhang, Xian 51
    A matrix pair $(X_0,\;Y_0)$ is called a Hermitian nonnegative-definite(respectively, positive-definite) solution to the matrix equation $GXG^*\;+\;HYH^*\;=\;C$ with unknown X and Y if $X_{0}$ and $Y_{0}$ are Hermitian nonnegative-definite (respectively, positive-definite) and satisfy $GX_0G^*\;+\;HY_0H^*\;=\;C$. Necessary and sufficient conditions for the existence of at least a Hermitian nonnegative-definite (respectively, positive-definite) solution to the matrix equation are investigated. A representation of the general Hermitian nonnegative-definite (respectively positive-definite) solution to the equation is also obtained when it has such solutions. Two presented examples show these advantages of the proposed approach.
  4. Jeong, Joo-Hee 69
    We present a construction of the linear reduction of Hilbert type proof systems for propositional logic to if-then-else equational logic. This construction is an improvement over the same result found in [4] in the sense that the technique used in the construction can be extended to the linear reduction of first-order logic to if-then-else equational logic.
  5. Jiang, Zhao-Lin;Liu, San-Yang 81
    The level-m scaled circulant factor matrix over the complex number field is introduced. Its diagonalization and spectral decomposition and representation are discussed. An explicit formula for the entries of the inverse of a level-m scaled circulant factor matrix is presented. Finally, an algorithm for finding the inverse of such matrices over the quaternion division algebra is given.
  6. Basirzadeh, H.;Kamyad, A.V. 97
    In this paper we shall study moving boundary problems, and we introduce an approach for solving a wide range of them by using calculus of variations and optimization. First, we transform the problem equivalently into an optimal control problem by defining an objective function and artificial control functions. By using measure theory, the new problem is modified into one consisting of the minimization of a linear functional over a set of Radon measures; then we obtain an optimal measure which is then approximated by a finite combination of atomic measures and the problem converted to an infinite-dimensional linear programming. We approximate the infinite linear programming to a finite-dimensional linear programming. Then by using the solution of the latter problem we obtain an approximate solution for moving boundary function on specific time. Furthermore, we show the path of moving boundary from initial state to final state.
  7. Tang, Xiao-Min;Cao, Chong-Guang 115
    We characterize the additive operators preserving rank-additivity on symmetry matrix spaces. Let $S_{n}(F)$ be the space of all $n\;\times\;n$ symmetry matrices over a field F with 2, $3\;\in\;F^{*}$, then T is an additive injective operator preserving rank-additivity on $S_{n}(F)$ if and only if there exists an invertible matrix $U\;\in\;M_n(F)$ and an injective field homomorphism $\phi$ of F to itself such that $T(X)\;=\;cUX{\phi}U^{T},\;\forallX\;=\;(x_{ij)\;\in\;S_n(F)$ where $c\;\in;F^{*},\;X^{\phi}\;=\;(\phi(x_{ij}))$. As applications, we determine the additive operators preserving minus-order on $S_{n}(F)$ over the field F.
  8. Yu, Zhensheng;Wang, Changyu;Yu, Jiguo 123
    In this paper, a combining trust region and line search algorithm for equality constrained optimization is proposed. At each iteration, we only need to solve the trust region subproblem once, when the trust region trial step can not be accepted, we switch to line search to obtain the next iteration. Hence, the difficulty of repeated solving trust region subproblem in an iterate is avoided. In order to allow the direction of negative curvature, we add second correction step in trust region step and employ nonmonotone technique in line search. The global convergence and local superlinearly rate are established under certain assumptions. Some numerical examples are given to illustrate the efficiency of the proposed algorithm.
  9. Jun, Young-Bae;Song, Seok-Zun 137
    Fuzzification of a fantastic filter in a lattice implication algebra is considered. Relations among a fuzzy filter, a fuzzy fantastic filter, and fuzzy positive implicative filter are stated. Conditions for a fuzzy filter to be a fuzzy fantastic filter are given. Using the notion of level set, a characterization of a fuzzy fantastic filter is considered. Extension property for fuzzy fantastic filters is established. The notion of normal/maximal fuzzy fantastic filters and complete fuzzy fantastic filters is introduced, and some related properties are investigated.
  10. Kumar, B.-Krishba;Vijayakumar, A. 157
    An age-dependent branching process where disasters occur as a renewal process leading to annihilation or survival of all the cells, is considered. For such a process, the total mean sojourn time of all the cells in the system is analysed using the regeneration point technique. The mean number of cells which die in time t and its asymptotic behaviour are discussed. When the disasters arrival as a Poisson process and the lifetime of the cells follows exponential distribution, elegant inter- relationships are found among the means of (i) the total number of cells which die in time t (ii) the total sojourn time of all cells in the system upto time t and (iii) the number of living cells at time t. Some of the existing results are deduced as special cases for related processes.
  11. Duan, Yongrui;Tian, Peng;Zhang, Weiping 173
    Data envelopment analysis(DEA) is a mathematical programming approach to asses s relative efficiency of a group of decision-making units. In view of the defects of existing models in evaluating efficiency of the system with P independent subsystems, Yang et al. [10] introduced YMK model with the assumption that decision-making unit(DMU) is independent of each other. But in some production systems, decision-making units usually have some relationships in this way or that. In this paper, DEA model is given by assuming that DMUs can cooperate with others in its subgroups. Some property and the efficiency relationship of the whole system and its subsystems are given.
  12. Kim, Byung-Kee 185
    Given a connected graph G, we say that a set EC\;{\subseteq}\;V(G)$ is convex in G if, for every pair of vertices x, $y\;{\in}\;C$, the vertex set of every x - y geodesic in G is contained in C. The convexity number of G is the cardinality of a maximal proper convex set in G. In this paper, we show that every pair k, n of integers with $2\;{\leq}k\;{\leq}\;n\;-\;1$ is realizable as the convexity number and order, respectively, of some connected triangle-free graph, and give a lower bound for the convexity number of k-regular graphs of order n with n > k+1.
  13. Ezzat, M.;Zakaria, M.;Abdel-Bary, A. 193
    A new model of generalized thermoelasticity equations for isotropic media with temperature-dependent mechanical properties is established. The modulus of elasticity is taken as a linear function of reference temperature. The present model is described both generalizations, Lord Shulman (L-S) theory with one relaxation time and Green-Lindsay (G-L) with two relaxation times, as well as the coupled theory, instantaneously. The method of the matrix exponential, which constitutes the basis of the state space approach of modern control theory, applied to two-dimensional equations. Laplace and Fourier integral transforms are used. The resulting formulation is applied to a problem of a thick plate subject to heating on parts of the upper and lower surfaces of the plate that varies exponentially with time. Numerical results are given and illustrated graphically for the problem considered. A comparison was made with the results obtained in case of temperature-independent modulus of elasticity in each theory.
  14. Ujevic, Nenad 213
    Double integral inequalities of Simpson type are obtained. These inequalities are sharp. Applications in numerical integration are given.
  15. Lee, Gwang-Yeon;Lee, You-Ho 225
    The sign central matrices were characterized by Ando and Brualdi. And, the nearly sign central matrices were characterized by Lee and Cheon. In this paper, we give another characterization of nearly sign central matrices. Also, we introduce the nearly minimal sign central matrices and study the properties of nearly minimal sign central matrices.
  16. Liu, Yujun;Liu, Zahaoshuang;Zhang, Zhenguo 237
    Consider the second order self-adjoint neutral difference equation of form $\Delta(a_n$\mid$\Delta(x_n\;-\;{p_n}{x_{{\tau}_n}}$\mid$^{\alpha}sgn{\Delta}(x_n\;-\;{p_n}{x_{{\tau}_n}}\;+\;f(n,\;{x_{g_n}}\;=\;0$. In this paper, we will give the classification of nonoscillatory solutions of the above equation; and by the fixed point theorem, we present some existence results for some kinds of nonoscillatory solutions of the equation.
  17. Bezglasnyi, Sergey 251
    We consider a controlled nonlinear mechanical system described by the Lagrange equations. We determine the control forces $Q_1$ and the restrictions for the perturbations $Q_2$ acting on the mechanical system which allow to guarantee the asymptotic stability of the program motion of the system. We solve the problem of stabilization by the direct Lyapunov's method and the method of limiting functions and systems. In this case we can use the Lyapunov's functions having nonpositive derivatives. The following examples are considered: stabilization of program motions of mathematical pendulum with moving point of suspension and stabilization of program motions of rigid body with fixed point.
  18. Shim, Hong-Tae;Kwon, Joong-Sung 267
    While the convergence of the classical Fourier series has been well known, the rate of its convergence is not well acknowledged. The results regarding the rate of convergence of the Fourier series and wavelet expansions can be found in the book of Walter[5]. In this paper, we give the rate of convergence of hybrid sampling series associated with orthogonal wavelets.
  19. Wang, Lidong;Liao, Gongfu;Chu, Zhenyan;Duan, Xiaodong 277
    In this paper, we discuss a continuous self-map of an interval and the existence of an uncountable strongly chaotic set. It is proved that if a continuous self-map of an interval has positive topological entropy, then it has an uncountable strongly chaotic set in which each point is recurrent, but is not almost periodic.
  20. Ashrafi, Ali-Reza;Hamadanian, Masood 289
    The non-rigid molecule group theory (NRG) in which the dynamical symmetry operations are defined as physical operations is a new field of chemistry. Smeyers in a series of papers applied this notion to determine the character table of restricted NRG of some molecules. In this work, a simple method is described, by means of which it is possible to calculate character tables for the symmetry group of molecules consisting of a number of NH3 groups attached to a rigid framework. We study the full non-rigid group (f-NRG) of tetraammineplatinum(II) with two separate symmetry groups C2v and C4v. We prove that they are groups of order 216 and 5184 with 27 and 45 conjugacy classes, respectively. Also, we will compute the character tables of these groups.
  21. Shi, Yimin;Shi, Xiaolin;Gao, Shesheng 305
    We construct the empirical Bayes (EB)estimation of the parameter in two-side truncated distribution families with asymmetric Linex loss using negatively associated (NA) samples. The asymptotical optimality and convergence rate of the EB estimation is obtained. We will show that the convergence rate can be arbitrarily close to $O(n^{-q}),\;q\;=\;{\lambda}s(\delta\;-\;2)/\delta(s\;+\;2)$.
  22. Zhang, Chunrui;Liu, Mingzhu;Zheng, Baodong 319
    In this paper we investigate the qualitative behaviour of numerical approximation to a class delay differential equation. We consider the numerical solution of the delay differential equations undergoing a Hopf bifurcation. We prove the numerical approximation of delay differential equation had a Hopf bifurcation point if the true solution does.
  23. Mansour, Mohamed-Ait;Riahi, Hassan 329
    We consider the rate of convergence for a class of perturbed hemivariational inequalities in reflexive Banach Spaces. Our results can be viewed as an extension and refinement of some previous known results in this area.
  24. Chung, Il-Yong;Bae, Yong-Eun 343
    In order to maintain load balancing in a distributed system, we should obtain workload information from all the nodes on network. This processing requires $O(v^2)$ communication overhead, where v is the number of nodes. In this paper, we present a new synchronous dynamic distributed load balancing algorithm on a (v, k ＋ 1, 1)-configured network applying a symmetric balanced incomplete block design, where $v\;=\;k^2$\;＋\;k\;＋\;1$. Our algorithm needs only $O(\sqrt[v]{v})$ communication overhead and each node receives workload information from all the nodes without redundancy. Therefore, load balancing is maintained since every link has the same amount of traffic for transferring workload information.
  25. Peer, S.K.;Sharma, Dinesh-K. 353
    The purpose of this paper is to present a model to design the layout of the user interface components that handles many numbers of qualitative factors. An alternate rating system is also proposed for the closeness relationship ratings between the various pairs of components evaluated by using GOMS (goals, operators, methods and selection rules) technique. The proposed model is applied to the design of the part of the user interface in order to obtain the best layout of the components. The results of the proposed model are compared with that of an existing model, which handles single qualitative factor applied to obtain the layouts of user interface components.
  26. Yoon, Jung-Ho 365
    The purpose of this study is to show that the accuracy of the interpolation method can be at least doubled when additional smoothness requirements and boundary conditions are met. In particular, as a basis function, we are interested in using a conditionally positive definite function $\Phi$ whose generalized Fourier transform is of the form $\Phi(\theta)\;=\;F(\theta)$\mid$\theta$\mid$^{-2m}$ with a bounded function F > 0.
  27. Jee, Eun-Sook 377
    A technique that provides prediction intervals based on a model called an empirical linear model is discussed. The technique, high-dimensional empirical linear prediction (HELP), involves principal component analysis, factor analysis and model selection. HELP can be viewed as a technique that provides prediction (and confidence) intervals based on a factor analysis models do not typically have justifiable theory due to nonidentifiability, we show that the intervals are justifiable asymptotically.
  28. Kang, Joo-Ho;Jo, Young-Soo 387
    Given operators X and Y acting on a Hilbert space H, an interpolating operator is a bounded operator A such that AX = Y. An interpolating operator for n-operators satisfies the equation $AX_{i}\;=\;Y_{i}$, for i = 1,2,...,n. In this article, we showed the following: Let H be a Hilbert space and let L be a subspace lattice on H. Let X and Y be operators acting on H. Assume that range(X) is dense in H. Then the following statements are equivalent: (1) There exists an operator A in AlgL such that AX = Y, $A^{*}$ = A and every E in L reduces A. (2) sup ${\frac{$\mid$$\mid${\sum_{i=1}}^n\;E_iYf_i$\mid$$\mid$}{$\mid$$\mid${\sum_{i=1}}^n\;E_iXf_i$\mid$$\mid$}$:n{\epsilon}N,f_i{\epsilon}H\;and\;E_i{\epsilon}L}\;<\;{\infty}$ and = for all E in L and all f, g in H.
  29. Baek, In-Soo 397
    Cutler showed some duality results about Hausdorff and packing dimensions of a measure on a compact set in Euclidean space if its s-dimensional Hausdorff measure or packing measure is positive. We show that the similar results in a perturbed Cantor set hold according to its quasi s-dimensional Hausdorff measure or packing measure and we find concrete measures in this case while Cutler showed the existence of such measures. Finally under some strong condition, we give a concrete measure whose Hausdorff and packing dimensions are the same as those of the perturbed Cantor set without the condition that it has positive s-dimensional Hausdorff or packing measures.
  30. Kim, Gwang-Il;Lee, Sun-Hong 405
    Rational parameterization of curves and surfaces is one of the main topics in computer-aided geometric design because of their computational advantages. Pythagorean hodograph (PH) curves and Minkowski Pythagorean hodograph (MPH) curves have attracted many researcher's interest because they provide for rational representation of their offset curves in Euclidean space and Minkowski space, respectively. In [10], Kim presented the characterization of the PH curves in the Euclidean space and analyzed the relation between the class of PH curves and the class of rational curves. In this paper, we extend the characterization of PH curves in [10] into that of MPH curves in the general Minkowski space and consider some generalized MPH curves satisfying this characterization.
  31. Park, Kyoo-Hong;Jung, Yong-Soo 415
    In this paper, we investigate the Hyers-Ulam stability and the super-stability of the functional equation f(x＋y＋rxy) = f(x)＋f(y)＋rxf(y)＋ryf(x) which is obtained by combining the additive Cauchy functional equation and the derivation functional equation.
  32. Lee, Joung-Nam 423
    For any completely regular Hausdorff space weighted operator on $C_{b}(X)$ is not necessarily compact. In this paper we find both necessary and sufficient conditions for a weighted operator on $C_{b}(X)$ to be compact. And known results in $uC_{\Phi}$ are shown to emerge as special cases.
  33. Kim, Gwang-Hui;Lee, Young-Whan 429
    In this paper we investigate the generalized Hyers-Ulam-Rassias stability for a functional equation of the form $f(\varphi(x,y)){\;}={\;}\phi(x,y)f(x,y)$, where x, y lie in the set S. As a consequence we obtain stability in the sense of Hyers, Ulam, Rassias, Gavruta, for some well-known equations such as the gamma, beta and G-function type equations.
  34. Baek, In-Soo 447
    We study the Hausdorff and packing dimensions of subsets composing multifractal spectrum generated by a quasi-self-similar probability measure on a perturbed Cantor set.
  35. Kim, Byeong-Moon;Song, Byung-Chul 455
    Let $S_{i}$ be the numerical semigroup generated by the set ${a,\;a{\;}+{\;}d,{\cdots},\;a+(i{\;}-{\;}l)d,\;a+(i{\;}+{\;}l)d,{\cdots},{\;}a{\;}+{\;}rd}$. In this paper, we will formulate the number of nonmembers of each set $S_{i}$ and find the if and only if conditions under which $S_1$ and $S_{r-1}$ are symmetric.
  36. Cho, Sung-Jin;Kim, Han-Doo;Pyo, Yong-Soo;Park, Yong-Bum;Hwang, Yoon-Hee;Choi, Un-Sook;Heo, Seong-Hun 461
    In recent years, large volumes of data are transferred between a computer system and various subsystems through digital logic circuits and interconnected wires. And there always exist potential errors when data are transferred due to electrical noise, device malfunction, or even timing errors. In general, parity checking circuits are usually employed for detection of single-bit errors. However, it is not sufficient to enhance system reliability and availability for efficient error detection. It is necessary to detect and further correct errors up to a certain level within the affordable cost. In this paper, we report a generation of 3-distance code using the characteristic matrix of a PBCA.
  37. Ko, Kwan-Pyo 473
    In this paper we give an expression for the kernel and remainder term of Gauss-Radau and Gauss-Lobatto quadratures and study on an error bound with end points of multiplicity γ.
  38. Park, Chin-Hong;Shim, Hong-Tae 485
    We shall discuss irreducible and primitive S-automata. A variety of properties of transitive and primitive semigroups associated with them have been obtained. Also a classification of primitive semi groups will be given with S-automata.
  39. Lee, Keon-Chang 493
    In this paper, we try to construct the variation of the Green's function and investigate some operator properties of the Green's function. Also, we discuss the variation of the operator of the Green's function G(x, t) when the operator is varied.