권호 표지

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

제30권5_6호

  1. Mao, Weihua;Deng, Feiqi;Wan, Anhua 699
    https://doi.org/10.14317/jami.2012.30.5_6.699 PDF KSCI
    In this paper, we deal with the robust mixed $H_2/H_{\infty}$ guaranteed-cost control problem involving uncertain neutral stochastic distributed delay systems. More precisely, the aim of this problem is to design a robust mixed $H_2/H_{\infty}$ guaranteed-cost controller such that the close-loop system is stochastic mean-square exponentially stable, and an $H_2$ performance measure upper bound is guaranteed, for a prescribed $H_{\infty}$ attenuation level ${\gamma}$. Therefore, the fast convergence can be fulfilled and the proposed controller is more appealing in engineering practice. Based on the Lyapunov-Krasovskii functional theory, new delay-dependent sufficient criteria are proposed to guarantee the existence of a desired robust mixed $H_2/H_{\infty}$ guaranteed cost controller, which are derived in terms of linear matrix inequalities(LMIs). Furthermore, the design problem of the optimal robust mixed $H_2/H_{\infty}$ guaranteed cost controller, which minimized an $H_2$ performance measure upper bound, is transformed into a convex optimization problem with LMIs constraints. Finally, two simulation examples illustrate the design procedure and verify the expected control performance.
  2. Mahmoudi, M.;Kamyad, A.V.;Effati, S. 719
    https://doi.org/10.14317/jami.2012.30.5_6.719 PDF KSCI
    In this paper, we develop a numerical method to solving an optimal control problem, which is governed by a parabolic partial differential equations(PDEs). Our approach is to approximate the PDE problem to initial value problem(IVP) in $\mathbb{R}$. Then, the homogeneous part of IVP is solved using semigroup theory. In the next step, the convergence of this approach is verified by properties of one-parameter semigroup theory. In the rest of paper, the original optimal control problem is solved by utilizing the solution of homogeneous part. Finally one numerical example is given.
  3. Chauhan, Sunny;Kumar, Suneel 729
    https://doi.org/10.14317/jami.2012.30.5_6.729 PDF KSCI
    In this paper, we prove common fixed point theorems for occasionally weakly compatible maps in Menger spaces with a continuous t-norm of H-type. As application to our results, we obtain the corresponding fixed point theorems in metric spaces. Our results improve and generalize many known results in Menger spaces as well as in metric spaces.
  4. Tunc, Cemil 741
    https://doi.org/10.14317/jami.2012.30.5_6.741 PDF KSCI
    In this work, we prove the instability of solutions for a class of nonlinear functional differential equations of the eighth order with n-deviating arguments. We employ the functional Lyapunov approach and the Krasovskii criteria to prove the main results. The obtained results extend some existing results in the literature.
  5. Kim, Jeongsim 749
    https://doi.org/10.14317/jami.2012.30.5_6.749 PDF KSCI
    We consider the M/PH,G/1 queue with two classes of customers in which class-1 customers have deterministic impatience time and have preemptive priority over class-2 customers who are assumed to be infinitely patient. The service times of class-1 and class-2 customers have a phase-type distribution and a general distribution, respectively. We obtain performance measures of class-2 customers such as the queue length distribution, the waiting time distribution and the sojourn time distribution, by analyzing the busy period of class-1 customers. We also compute the moments of the queue length and the waiting and sojourn times.
  6. Huang, Ming;Pang, Li-Ping;Lu, Yuan;Xia, Zun-Quan 759
    https://doi.org/10.14317/jami.2012.30.5_6.759 PDF KSCI
    In this paper, semi-infinite constrained programming, a class of constrained nonsmooth optimization problems, are transformed into unconstrained nonsmooth convex programs under the help of exact penalty function. The unconstrained objective function which owns the primal-dual gradient structure has connection with $\mathcal{VU}$-space decomposition. Then a $\mathcal{VU}$-space decomposition method can be applied for solving this unconstrained programs. Finally, the superlinear convergence algorithm is proved under certain assumption.
  7. Yang, Wengui 773
    https://doi.org/10.14317/jami.2012.30.5_6.773 PDF KSCI
    In this paper, we establish sufficient conditions for the existence and uniqueness of solutions to a general class of three-point boundary value problems for a coupled system of nonlinear fractional differential equations. The differential operator is taken in the Caputo fractional derivatives. By using Green's function, we transform the derivative systems into equivalent integral systems. The existence is based on Schauder fixed point theorem and contraction mapping principle. Finally, some examples are given to show the applicability of our results.
  8. Choo, S.M.;Lee, N.Y. 787
    https://doi.org/10.14317/jami.2012.30.5_6.787 PDF KSCI
    We present a graphical algorithm and theorems for calculating the ranks of reaction networks. The ranks are needed to study behaviors of the networks from their structures. This approach can graphically simplify complex networks for the calculation. We show an example of a large network for the practical advantage.
  9. Kathiresan, KM.;Parameswaran, C. 793
    https://doi.org/10.14317/jami.2012.30.5_6.793 PDF KSCI
    If G is any connected graph of order p; then the thorn graph $G_p^*$ with code ($n_1$, $n_2$, ${\cdots}$, $n_p$) is obtained by adding $n_i$ pendent vertices to each $i^{th}$ vertex of G. By treating the pendent edge of a thorn graph as $P_2$, $K_2$, $K_{1,1}$, $K_1{\circ}K_1$ or $P_1{\circ}K_1$, we generalize a thorn graph by replacing $P_2$ by $P_m$, $K_2$ by $K_m$, $K_{1,1}$ by $K_{m,n}$, $K_1{\circ}K_1$ by $K_m{\circ}K_1$ and $P_1{\circ}K_1$ by $P_m{\circ}K_1$ and their respective generalized thorn graphs are denoted by $G_P$, $G_K$, $G_B$, $G_{KK}$ and $G_{PK}$ respectively. Many chemical compounds can be treated as $G_P$, $G_K$, $G_B$, $G_{KK}$ and $G_{PK}$ of some graphs in graph theory. In this paper, we obtain the bounds of the wiener index for these generalization of thorn graphs.
  10. Aydi, Hassen 809
    https://doi.org/10.14317/jami.2012.30.5_6.809 PDF KSCI
    We establish a coincidence and a common fixed point result for four mappings involving a (${\psi}$, ${\varphi}$)-weak contractive condition type on a complete metric space. We take on ${\psi}$ and ${\varphi}$ the same conditions given by Popescu [Fixed points for (${\psi}$, ${\varphi}$)-weak contractions, Appl. Math. Lett. 24 (2011), 1-4].
  11. Han, Sunghyu 821
    https://doi.org/10.14317/jami.2012.30.5_6.821 PDF KSCI
    In this paper, we prove that for all odd prime powers $q$ there exist MDS(maximum distance separable) self-dual codes over $\mathbb{F}_{q^2}$ for all even lengths up to $q+1$. Additionally, we prove that there exist MDS self-dual codes of length four over $\mathbb{F}_q$ for all $q$ > 2, $q{\neq}5$.
  12. Janfada, Mohammad;Shourvarzi, Rahele 829
    https://doi.org/10.14317/jami.2012.30.5_6.829 PDF KSCI
    In this paper we study general solutions and generalized Hyers-Ulam-Rassias stability of the following function equation $$f(x-\sum^{k}_{i=1}x_i)+(k-1)f(x)+(k-1)\sum^{k}_{i=1}(x_i)=f(x-x_1)+\sum^{k}_{i=2}f(x_i-x)+\sum^{k}_{i=1}\sum^{k}_{j=1,j > i}f(x_i+x_j)$$. for $k{\geq}2$, on non-Archimedean Banach spaces. It will be proved that this equation is equivalent to the so-called quadratic functional equation.
  13. Zarringhalami, Zohreh;Rafsanjani, Marjan Kuchaki 847
    https://doi.org/10.14317/jami.2012.30.5_6.847 PDF KSCI
    In recent years, using computer networks (wired and wireless networks) has been widespread in many applications. As computer networks become increasingly complex, the accompanied potential threats also grow to be more sophisticated and as such security has become one of the major concerns in them. Prevention methods alone are not sufficient to make them secure; therefore, detection should be added as another defense before an attacker can breach the system. Intrusion Detection Systems (IDSs) have become a key component in ensuring systems and networks security. An IDS monitors network activities in order to detect malicious actions performed by intruders and then initiate the appropriate countermeasures. In this paper, we present a survey and taxonomy of intrusion detection systems and then evaluate and compare them.
  14. Chung, Bohyun 865
    https://doi.org/10.14317/jami.2012.30.5_6.865 PDF KSCI
    In [2], D. Gaier has given an estimates of harmonic measure. In this paper, we generalize for the K-quasiconformal mapping the corresponding result.
  15. Santhakumaran, A.P.;Jebaraj, T.;Ullas Chandran, S.V. 871
    https://doi.org/10.14317/jami.2012.30.5_6.871 PDF KSCI
    For a connected graph G of order $n$, an ordered set $S=\{u_1,u_2,{\cdots},u_k\}$ of vertices in G is a linear edge geodetic set of G if for each edge $e=xy$ in G, there exists an index $i$, $1{\leq}i$ < $k$ such that e lie on a $u_i-u_{i+1}$ geodesic in G, and a linear edge geodetic set of minimum cardinality is the linear edge geodetic number $leg(G)$ of G. A graph G is called a linear edge geodetic graph if it has a linear edge geodetic set. The linear edge geodetic numbers of certain standard graphs are obtained. Let $g_l(G)$ and $eg(G)$ denote the linear geodetic number and the edge geodetic number, respectively of a graph G. For positive integers $r$, $d$ and $k{\geq}2$ with $r$ < $d{\leq}2r$, there exists a connected linear edge geodetic graph with rad $G=r$, diam $G=d$, and $g_l(G)=leg(G)=k$. It is shown that for each pair $a$, $b$ of integers with $3{\leq}a{\leq}b$, there is a connected linear edge geodetic graph G with $eg(G)=a$ and $leg(G)=b$.
  16. Jourani, Abderrahim;Serhani, Mustapha;Boutoulout, Ali 883
    https://doi.org/10.14317/jami.2012.30.5_6.883 PDF KSCI
    In this work we deal with a nonlinear dynamical system, namely the wastewater treatment model. We proceed to a dynamical analysis of the model. Invariance, boundness, controllability and the sensitivity with respect the initial conditions are studied. On the other hand, using the nonsmooth analysis tools, we look for the viability of the model, that is, the necessary and sufficient conditions under which trajectories move in a suitable time-moving sets, to avoid the washing problem (died of bacteria).
  17. Kim, Han-Doo;Cho, Sung-Jin 903
    https://doi.org/10.14317/jami.2012.30.5_6.903 PDF KSCI
    Let $\{u(t)\}$ and $\{u(dt)\}$ be two maximal length sequences of period $2^n-1$. The cross-correlation is defined by $C_d({\tau})=\sum{_{t=0}^{2^n-2}}(-1)^{u(t+{\tau})+v(t)$ for ${\tau}=0,1,{\cdots},2^n-2$. In this paper, we propose a new proof for finding the values and the number of occurrences of each value of $C_d({\tau})$ when $d=2^{k-2}(2^k+3)$, where $n=2k$, $k$ is a positive integer.
  18. Sridevi, R.;Navaneethakrishnan, S.;Nagarajan, A.;Nagarajan, K. 913
    https://doi.org/10.14317/jami.2012.30.5_6.913 PDF KSCI
    The Odd-Even graceful labeling of a graph G with $q$ edges means that there is an injection $f:V (G)$ to $\{1,3,5,{\cdots},2q+1\}$ such that, when each edge $uv$ is assigned the label ${\mid}f(u)-f(v){\mid}$, the resulting edge labels are $\{2,4,6,{\cdots},2q\}$. A graph which admits an odd-even graceful labeling is called an odd-even graceful graph. In this paper, we prove that some well known graphs namely $P_n$, $P_n^+$, $K_{1,n}$, $K_{1,2,n}$, $K_{m,n}$, $B_{m,n}$ are Odd-Even graceful.
  19. Wazwaz, Abdul-Majid 925
    https://doi.org/10.14317/jami.2012.30.5_6.925 PDF KSCI
    In this work the sine-Gordon equation will be examined for multiple soliton solutions. The higher dimensional sine-Gordon equations will be studied for multiple soliton solutions as well. The simplified form of the Hirota's method will be employed to conduct this analytic study.
  20. Jeong, Jae Ug 935
    https://doi.org/10.14317/jami.2012.30.5_6.935 PDF KSCI
    In this paper, we introduce and study a new system of generalized set-valued quasi-variational-like inclusions with (A, ${\eta}$)-accretive mapping in Banach spaces. By using the resolvent operator associated with (A, ${\eta}$)-accretive mappings, we construct a new iterative algorithm for approximating the solution of this system of variational inclusions. We also prove the existence of solutions and the convergence of the sequences generated by the algorithm in Banach spaces. The results presented in this paper extend and improve some known results in the literature.
  21. Bao, Wendi;Song, Yongzhong 951
    https://doi.org/10.14317/jami.2012.30.5_6.951 PDF KSCI
    In this paper, we propose a class of meshless collocation approaches for the solution of time dependent partial differential algebraic equations (PDAEs) in terms of a radial basis function interpolation numerical scheme. Kansa's method and the Hermite collocation method (HCM) for PDAEs are given. A sensitivity analysis of the solutions from different shape parameter c is obtained by numerical experiments. With use of the random collocation points, we have obtain the more accurate solution by the methods than those by the finite difference method for the PDAEs with index-2, i.e, we avoid the influence from an index jump of PDAEs in some degree. Several numerical experiments show that the methods are efficient.
  22. Ou, Yigui;Ma, Wei 971
    https://doi.org/10.14317/jami.2012.30.5_6.971 PDF KSCI
    In this paper, a method associating with one new form of nonmonotone linesearch technique is proposed, which can be regarded as a generalization of the Perry-Shanno memoryless quasi-Newton type method. Under some reasonable conditions, the global convergence of the proposed method is proven. Numerical tests show its efficiency.
  23. Kim, Kyoum Sun;Lim, Hyo Jin 981
    https://doi.org/10.14317/jami.2012.30.5_6.981 PDF KSCI
    Integro-differential equations arise in modeling various physical and engineering problems. Several numerical and analytical methods have been developed to solving such equations. We introduce the NHPM for solving nonlinear integro-differential equations. Several examples for solving integro-differential equations are presented to illustrate the efficiency of the proposed NHPM.
  24. Raza, Zahid;Waheed, Seemal Abdul 993
    https://doi.org/10.14317/jami.2012.30.5_6.993 PDF KSCI
    The family of graphs $\hat{W}_{4n}$ is defined by taking the simple whee graph $W_{n+1}$ with $n$ rim vertices and then adding three extra vertices on every rim edge of the wheel. In this paper, the critical group of this whole family of graphs is investigated.
  25. Tripathy, Arun Kumar 1005
    https://doi.org/10.14317/jami.2012.30.5_6.1005 PDF KSCI
    This work is concerned with oscillation of the second order sublinear neutral delay dynamic equations of the form $$\(r(t)\;\((y(t)+p(t)y(a(t)))^{\Delta}\)^{\gamma}\)^{\Delta}+q(t)y^{\gamma}({\beta}(t))=0$$ on a time scale $\mathcal{T}$ by means of Riccati transformation technique, under the assumptions $\int^{\infty}_{t_0}\(\frac{1}{r(t)}\)^{\frac{1}{\gamma}}$ ${\Delta}t={\infty}$ and $\int^{\infty}_{t_0}\(\frac{1}{r(t)}\)^{\frac{1}{\gamma}}$ ${\Delta}t$ < ${\infty}$, where 0 < ${\gamma}{\leq}1$ is a quotient of odd positive integers.
  26. Kang, Seung Eel;Ahn, Sun Shin 1023
    https://doi.org/10.14317/jami.2012.30.5_6.1023 PDF KSCI
    Rough sets and rough filter in BE-algebras are established an some related their properties are discussed.
  27. Zhang, Qianhong;Yang, Lihui;Liao, Daixi 1031
    https://doi.org/10.14317/jami.2012.30.5_6.1031 PDF KSCI
    In this paper, a class of impulsive fuzzy bi-directional associative memory (BAM) neural networks with distributed delays and variable coefficients are considered. Using Lyapunov functional method and fixed point theorem, we derived some sufficient conditions for the existence and globally exponential stability of unique periodic solution of the networks. The results obtained are new and extend the previous known results. In addition, an example is given to show the effectiveness of our results obtained.
  28. Yang, Wengui 1051
    https://doi.org/10.14317/jami.2012.30.5_6.1051 PDF KSCI
    In this paper, the global stability and almost periodicity are investigated for generalized Hopfield neural networks with time-varying neutral delays. Some sufficient conditions are obtained for the existence and globally exponential stability of almost periodic solution by employing fixed point theorem and differential inequality techniques. The results of this paper are new and complement previously known results. Finally, an example is given to demonstrate the effectiveness of our results.
  29. Kim, Jeong-Jin;Bae, Jong-Sook;Cho, Seong-Hoon 1067
    https://doi.org/10.14317/jami.2012.30.5_6.1067 PDF KSCI
    In this paper we generalize the results of Ili$\acute{c}$ and Rako$\check{c}$evi$\acute{c}$. Also, we generalize one of Berinde's results to cone metric spaces. And we introduce the notion of compatible mappings of type (BC), and we establish a common fixed point theorem for these mappings.
  30. Im, Young Bin;Lee, Joo Sung;Cho, Yung Duk 1077
    https://doi.org/10.14317/jami.2012.30.5_6.1077 PDF KSCI
    We define and characterize a somewhat fuzzy pre-irresolute continuous mapping and a somewhat fuzzy irresolute preopen mapping on a fuzzy topological space. Besides, some interesting properties of those mappings are given.