권호 표지

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

제15권1_2호

  1. S. Arul Veda Manickam;Moudgalya, Nannan-K.;Pani, Amiya-K. 1
    We first apply a first order splitting to a semilinear reaction-diffusion equation and then discretize the resulting system by an $H^1$-Galerkin mixed finite element method in space. This semidiscrete method yields a system of differential algebraic equations (DAEs) of index one. A priori error estimates for semidiscrete scheme are derived for both differ-ential as well as algebraic components. For fully discretization, an implicit Runge-Kutta (IRK) methods is applied to the temporal direction and the error estimates are discussed for both components. Finally, we conclude the paper with a numerical example.
  2. Chen, Huanzhen;Jiang, Ziwen 29
    In this paper, we propose a new mixed finite element method, called the characteristics-mixed method, for approximating the solution to Burgers' equation. This method is based upon a space-time variational form of Burgers' equation. The hyperbolic part of the equation is approximated along the characteristics in time and the diffusion part is approximated by a mixed finite element method of lowest order. The scheme is locally conservative since fluid is transported along the approximate characteristics on the discrete level and the test function can be piecewise constant. Our analysis show the new method approximate the scalar unknown and the vector flux optimally and simultaneously. We also show this scheme has much smaller time-truncation errors than those of standard methods. Numerical example is presented to show that the new scheme is easily implemented, shocks and boundary layers are handled with almost no oscillations. One of the contributions of the paper is to show how the optimal error estimates in $L^2(\Omega)$ are obtained which are much more difficult than in the standard finite element methods. These results seem to be new in the literature of finite element methods.
  3. Ciurea, Eleonor;Ciupala, Laura 53
    First, we present two classes of sequential algorithms for minimum flow problem: decreasing path algorithms and preflow algorithms. Then we describe another approach of the minimum flow problem, that consists of applying any maximum flow algorithm in a modified network. In section 5 we present several parallel preflow algorithms that solve the minimum flow problem. Finally, we present an application of the minimum flow problem.
  4. Yun, Jae-Heon;Oh, Se-Young;Kim, Eun-Heui 77
    In this paper, we study the convergence of both relaxed multisplitting method and nonstationary two-stage multisplitting method associated with a multisplitting which is obtained from the ILU factorizations for solving a linear system whose coefficient matrix is an H-matrix. Also, parallel performance results of nonstaionary two-stage multisplitting method using ILU factorizations as inner splittings on the IBM p690 supercomputer are provided to analyze theoretical results.
  5. Shyamal, Amiya-K.;Pal, Madhumangal 91
    The fuzzy matrices are successfully used when fuzzy uncertainty occurs in a problem. Fuzzy matrices become popular for last two decades. In this paper, two new binary fuzzy operators (equation omitted) and (equation omitted) are introduced for fuzzy matrices. Several properties on (equation omitted) and (equation omitted) are presented here. Also, some results on existing operators along with these new operators are presented.
  6. Yang, Zhao-Jun;Huang, Li-Hong 109
    This paper deals with two problems of optimal portfolio strategies in continuous time. The first one studies the optimal behavior of a firm who is forced to withdraw funds continuously at a fixed rate per unit time. The second one considers a firm that is faced with an uncontrollable stochastic cash flow, or random risk process. We assume the firm's income can be obtained only from the investment in two assets: a risky asset (e.g., stock) and a riskless asset (e.g., bond). Therefore, the firm's wealth follows a stochastic process. When the wealth is lower than certain legal level, the firm goes bankrupt. Thus how to invest is the fundamental problem of the firm in order to avoid bankruptcy. Under the case of different lending and borrowing rates, we obtain the optimal portfolio strategies for some reasonable objective functions that are the piecewise linear functions of the firm's current wealth and present some interesting proofs for the conclusions. The optimal policies are easy to be operated for any relevant investor.
  7. Borzabadi, A.H.;Kamyad, A.V.;farahi, M.H. 127
    In this paper we consider a heat flow in an inhomogeneous. body without internal source. There exists special initial and boundary conditions in this system and we intend to find a convenient coefficient of heat conduction for this body so that body cool off as much as possible after definite time. We consider this problem in a general form as an optimal control problem which coefficient of heat conduction is optimal function. Then we replace this problem by another in which we seek to minimize a linear form over a subset of the product of two measures space defined by linear equalities. Then we construct an approximately optimal control.
  8. Kim, Sung-Kyun;Kim, Sung-Lai;Jang, Yu-Seon 147
    Sufficient conditions are given under which a generalized class of kernel-type estimators allows asymptotic approximation on the modulus of continuity. This generalized class includes sample distribution function, kernel-type estimator of density function, and an estimator that may apply to the censored case. In addition, an application is given to asymptotic normality of recursive density estimators of density function at an unknown point.
  9. Li, Zhao-Xiang;Liu, Yan-Pei 159
    A map is singular if each edge is on the same face on a surface (i.e., those have only one face on a surface). Because any map with loop is not colorable, all maps here are assumed to be loopless. In this paper po-vides the explicit expression of chromatic sum functions for rooted singular maps on the projective plane, the torus and the Klein bottle. From the explicit expression of chromatic sum functions of such maps, the explicit expression of enumerating functions of such maps are also derived.
  10. Gachpazan, M.;Kamyad, A.V. 173
    In this paper, we find the approximate solution of a second order nonlinear partial differential equation on a simple connected region in $R^2$. We transfer this problem to a new problem of second order nonlinear partial differential equation on a rectangle. Then, we transformed the later one to an equivalent optimization problem. Then we consider the optimization problem as a distributed parameter system with artificial controls. Finally, by using the theory of measure, we obtain the approximate solution of the original problem. In this paper also the global error in $L_1$ is controlled.
  11. Luo, Cheng-Xin;Feng, En-Min 185
    A stochastic optimal LQR control problem under some integral quadratic (IQ) constraints is studied, with cross terms in both the cost and the constraint functionals, allowing all the control weighting matrices being indefinite. Sufficient conditions for the well-posedness of this problem are given. When these conditions are satisfied, the optimal control is explicitly derived via dual theory.
  12. Shin, Yong-Su 201
    We examine a k-configuration X in P$^2$ or P$^3$ whose minimal free resolution has a non-cancelable Betti number in the last free module. We also find partial answers to the question: which Artinian O-sequences are level or not?
  13. Husain, I.;Jabeen, Z. 211
    A mixed type dual to a programming problem containing support functions in a objective as well as constraint functions is formulated and various duality results are validated under generalized convexity and invexity conditions. Several known results are deducted as special cases.
  14. Yan, Zhao-Xiang;Li, Shi-Zheng 227
    In this paper we consider the dual problems for multiobjective programming with generalized convex functions. We obtain the weak duality and the strong duality. At last, we give an equivalent relationship between saddle point and efficient solution in multiobjective programming.
  15. Lokenath Debnath;Xu, Xing-Ye 237
    This paper deals with existence of positive solutions of nonlinear elliptic singular boundary value problems in a ball. It is shown that results of Grandall et al. [1] and [2] follow as special cases of our results proved in this article.
  16. Ann, M.H.;Shin, J.Y. 251
    We introduce a semidiscrete mixed finite element approximation for the single-phase linear Stefan problem and show the unique existence of the approximation. And the optimal rate of convergence in $L^2$ and $H^1$ norms are derived.
  17. Qian, Weiyi;Feng, Enmin 265
    In this paper, multi-objective models for designing 3D trajectory of horizontal wells are developed in a fuzzy environment. Here, the objectives of minimizing the length of the trajectory and the error of entry target point are fuzzy in nature. Some parameters, such as initial value, end value, lower bound and upper bound of the curvature radius, tool-face angle and the arc length of each curve section, are also assumed to be vague and imprecise. The impreciseness in the above objectives have been expressed by fuzzy linear membership functions and that in the above parameters by triangular fuzzy numbers. Models have been solved by the fuzzy non-linear programming method based on Zimmermann [1] and Lee and Li [2]. Models are applied to practical design of the horizontal wells. Numerical results illustrate the accuracy and efficiency of the fuzzy models.
  18. Yuan, Li-Ping;Ding, Ren 277
    An m-transversal to a family of convex sets in the plane is an m-point set which intersects every members of the family. One of Grubaum's conjectures says that a planar family of translates of a convex compact set has a 3-transversal provided that any two of its members intersect. Recently the conjecture has been proved affirmatively (see [4]). In the present paper we provide a different and straightforward proof for the conjecture for the family of translates of a closed trapezoid in the plane and give several concrete 3-transversals.
  19. Xia, Zun-Quan;Guo, Fang-Fang 285
    The general scheme of an algorithm, called an ABS-FRE algorithm, for solving systems of fuzzy relation equations (systems of FRE) via the ABS algorithms is presented. As special cases, two particular algorithms for obtaining the greatest and minimal solutions of systems of FRE are described. Several new operations used in this scheme are given, for instance, operators $\veebar$ and $\underline{\wedge}$ called quasi-inverses of operators $\vee$ and $\wedge$, respectively, etc.
  20. Davod Khojasteh Salkuyeh;Faezeh Toutounian 299
    ILUS factorization has many desirable properties such as its amenability to the skyline format, the ease with which stability may be monitored, and the possibility of constructing a preconditioner with symmetric structure. In this paper we introduce a new preconditioning technique for general sparse linear systems based on the ILUS factorization strategy. The resulting preconditioner has the same properties as the ILUS preconditioner. Some theoretical properties of the new preconditioner are discussed and numerical experiments on test matrices from the Harwell-Boeing collection are tested. Our results indicate that the new preconditioner is cheaper to construct than the ILUS preconditioner.
  21. Jun, Tie;Feng, Enmin 313
    In this paper we study the problem of three-dimensional layout optimization on the simplified rotating vessel of satellite. The layout optimization model with behavioral constraints is established and some effective and convenient conditions of performance optimization are presented. Moreover, we prove that the performance objective function is locally Lipschitz continuous and the results on the relations between the local optimal solution and the global optimal solution are derived.
  22. Song, Chun-Ling;Xie, Lin;Xia, Zun-Quan 323
    A new topology in terms of order on fuzzy sets, revealing better the relationship between smooth topology and Chang's fuzzy topology, is presented in the paper. Some basic properties are discussed.
  23. maleki, H.R.;Mashinchi, M. 333
    In the real world there are many linear programming problems where all decision parameters are fuzzy numbers. Several approaches exist which use different ranking functions for solving these problems. Unfortunately when there exist alternative optimal solutions, usually with different fuzzy value of the objective function for these solutions, these methods can not specify a clear approach for choosing a solution. In this paper we propose a method to remove the above shortcoming in solving fuzzy number linear programming problems using the concept of expectation and variance as ranking functions
  24. Park, Chun-Gil 343
    We prove the generalized Hyers-Ulam-Rassias stability of cyclic functional equations in Banach modules over a unital $C^{*}$-algebra. It is applied to show the stability of algebra homomorphisms between Banach algebras associated with cyclic functional equations in Banach algebras.
  25. Moon, Byung-Soo 363
    In this paper, We show that the bandpass random signals of the form ∑$_{\alpha}$$\alpha$$_{\alpha}$ a Sin(2$\pi$f$_{\alpha}$t + b$_{\alpha}$) where a$_{\alpha}$ being a random number in [0,1], f$_{\alpha}$ a random integer in a given frequency band, and b$_{\alpha}$ a random number in [0, 2$\pi$], generate Gaussian white noise signals and hence they are adequate for simulating Continuous Markov processes. We apply the result to the fluctuation-dissipation formula for the Johnson noise and show that the probability distribution for the long term average of the power of the Johnson noise is a X$^2$ distribution and that the relative error of the long term average is (equation omitted) where N is the number of blocks used in the average.error of the long term average is (equation omitted) where N is the number of blocks used in the average.
  26. Jun, Kil-Woung;Kim, Hark-Mahn 377
    In the present paper, we obtain the Hyers-Ulam-Rassias stability in the sense of Gavruta for the general quadratic functional equation f(χ + y + z) + f(χ - y) + f(χ - z) = f(χ - y - z) + f(χ + y) + f(χ + z).
  27. Shin, Yong-Su 393
    We introduce several algorithms for adding up Artinian O-sequences to obtain the maximal possible Betti numbers among all minimal free resolutions with the given Hilbert function. Moreover, we give open questions based on the outputs using those algorithms.
  28. Choi, Doo-Il 405
    This paper considers overload control in telecommunication networks. Markov-modulated Bernoulli process ( MMBP ) has been extensively used to model bursty traffics with time-correlation. Thus, we investigate the transient behavior of the queueing system MMBP/D/l/K queue with two thresholds. The model is analyzed recursively by using the generating function method. We obtain the transient queue length distribution and waiting time distribution at an arbitrary time. The transient behavior of the queueing system helps observing the temporary system behavior.
  29. Choi, Won;Lee, Byung-Kwon 415
    In allelic model X = ($x_1,\;x_2,...x_{d}$), $M_f(t)$= f(p(t)) - ${{\int}^{t}}_0$Lf(p(t))ds is a P-martingale for diffusion operator L under the certain conditions. In this note, we can show uniqueness of martingale problem associated with mean vector and obtain a complete description of ergodic property by using of the semigroup method.
  30. Shin, Hyun-Kyung 425
    Pattern recognition in three dimensional image is highly sensitive to assigned value and formation of voxels (pixels for two dimension case). However, occurred while digital imaging, digitization error leads to unpredictable noises in image data. Skeletonization, a powerful tool of pattern recognition, is sensitively dependent on boundary formation. Without successful controlling of the noises, the results of skeletonization can not be allowed as a stable solution. To minimize the effect of noises affecting to boundary formation, we developed a robust processing method useful in skeletonization technique for pattern recognition. Finally, we provide rigorous test results achieved throughout simulation on analytic three dimensional image.
  31. Lee, Eun-Hwi;Chang, Ick-Soon 435
    In this paper, we obtain the general solution of a quadratic functional equation $b^2f(\frac{x+y+z}{b})+f(x-y)+f(x-z)=\;a^2[f(\frac{x-y-z}{a})+f(\frac{x+y}{a})+f(\frac{x+z}{a})]$ and prove the stability of this equation.
  32. Lee, Sang-Han 447
    In this paper we investigate the Hyers-Ulam-Rassias stability of a 4-dimensional quadratic functional equation (equation omitted).
  33. Baek, J.I.;Choi, J.Y.;Ryu, D.H. 457
    Let{$X_{ni}$\mid$\;1\;{\leq}\;i\;{\leq}\;k_n,\;n\;{\geq}\;1$} be an array of rowwise negatively associated random variables such that $P$\mid$X_{ni}$\mid$\;>\;x)\;=\;O(1)P($\mid$X$\mid$\;>\;x)$ for all $x\;{\geq}\;0,\;and\; \{k_n\}\;and\;\{r_n\}$ be two sequences such that $r_n\;{\geq}\;b_1n^r,\;k_n\;{\leq}\;b_2n^k$ for some $b_1,\;b_2,\;r,\;k\;>\;0$. Then it is shown that $\frac{1}{r_n}\;max_1$\mid${\Sigma_{i=1}}^j\;X_{ni}$\mid$\;{\rightarrow}\;0$ completely convergence and the strong convergence for weighted sums of N A arrays is also considered.
  34. Chung, Bo-Hyun;Bae, Jae-Hyeong;Park, Won-Gil 467
    We prove the generalized Hyers-Ulam-Rassias stability of a partitioned functional equation. It is applied to show the stability of algebra homomorphisms between Banach algebras associated with partitioned functional equations in Banach algebras.
  35. Lee, Hong-Youl;Park, Se-Won 475
    In general, a matrix A is idempotent if $A^2$ = A. The idempotent matrices play an important role in the matrix theory and some properties of the Boolean matrices are examined. Using the upper diagonal completion process, we give the characterization of the Boolean idempotent matrices in modified Frobenius normal form.
  36. Park, Jong-Tae 485
    This paper presents the interesting properties of a certain patterned matrix that plays an significant role in the statistical analysis. The necessary and sufficient condition on the existence of the inverse of the patterned matrix and its determinant are derived. In special cases of the patterned matrix, explicit formulas for its inverse, determinant and the characteristic equation are obtained.
  37. Chung, Bo-Hyun 495
    We consider the applications of extremal length to the boundary behavior of analytic functions and derive a theorem in connection with the capacity. This theorem applies the extremal length to the analytic functions defined on the domain with a number of holes. So it shows us the usefulness of the method of extremal length.
  38. Kang, Joo-Ho;Jo, Young-Soo 503
    Given vectors x and y in a Hilbert space, an interpolating operator is a bounded operator T such that Tx = y. An interpolating operator for n vectors satisfies the equation $Tx_i\;=\;y_i,\;for\;i\;=\;1,\;2,\;\cdots,\;n$. In this paper the following is proved: Let H be a Hilbert space and L be a commutative subspace lattice on H. Let H and y be vectors in H. Let $M_x\;=\;\{{\sum{n}{i=1}}\;{\alpha}_iE_ix\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}\;and\;M_y\;=\;\{{\sum{n}{i=1}}\;{\alpha}_iE_iy\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}. Then the following are equivalent. (1) There exists an operator A in AlgL such that Ax = y, Af = 0 for all f in ${\overline{M_x}}^{\bot}$, AE = EA for all $E\;{\in}\;L\;and\;A^{*}\;=\;A$. (2) $sup\;\{\frac{{\parallel}{{\Sigma}_{i=1}}^{n}\;{\alpha}_iE_iy{\parallel}}{{\parallel}{{\Sigma}_{i=1}}^{n}\;{\alpha}_iE_iy{\parallel}}\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}\;<\;{\infty},\;{\overline{M_u}}\;{\subset}{\overline{M_x}}$ and < Ex, y >=< Ey, x > for all E in L.
  39. Lim, Jong Seul;Park, Chul Guen;Ahn, Seong Joon;Lee, Seoyoung 511
    we model communication and computer systems that process interactive and several and several types of background jobs. The scheduling policy in use is to share the processor among all interactive jobs and, at most, one background job of each type at a time according to the process sharing discipline. Background jobs of each type are served on a first-come-first-served basis. Such scheduling policy is called Processor Sharing with Background jobs (PSBJ). In fact, the PSBJ policy is commonly used on many communication and computer systems that allow interactive usage of the systems and process certain jobs in a background mode. In this paper, the stability conditions for the PSBJ policy are given and proved. Since an exact analysis of the policy seems to be very difficult, an approximate analytic model is proposed to obtain the average job sojourn times. The model requires the solution of a set of nonlinear equations, for which an iterative algorithm is given and its convergence is proved. Our results reveal that the model provides excellent estimates of average sojourn times for both interactive and background jobs with a few percent of errors in most of the cases considered.
  40. Song, Se-Mok;Im, Dong-Man;Lee, Gi-Soo 527
    This paper deals with the asymptotic behaviour for the semi-linear differential systems x' (t) = A(t)χ + f(t, x). We give a detailed proof of known generalization of Coppel's result about the above mentioned system.