• Journal of the Chungcheong Mathematical Society
• /
• v.23 no.4
• /
• pp.721-730
• /
• 2010

In this paper we consider some results on convergence for arrays of rowwise and pairwise negatively quadrant dependent random variables.

• Journal of the Korean Chemical Society
• /
• v.47 no.3
• /
• pp.191-198
• /
• 2003

The pairwise energy model (PEM) assumes that the cross section for the reaction cross section for the reaction A+BC$\{leftrightarrow}$B+C, where B and C are isotopes of hydrogen, depends on only the pairwise relative energy Es between A and B. Until now, the PEM has been used to interpret theoretically the isotope effect for the reactions such as $O(^3P)+HD,\;Ar^++(H_2,\;D_2,and\;HD)$. In this paper we carry out extensive quasiclassical trajectory calculations for the three possible reactions $Cl+H_2$ and HD and show that the PEM works very well at high energy. In particular we are able to accurately predict the intramolecular isotope effect at high energy for the reaction of Cl+HD using only the cross section data for $Cl+H_2$. To understand that the PEM works so well at high energy, the internal energy distributions for the products are examined. The distributions for three reactions are different at a fixed relative collision energy E but are approximately same at a fixed pairwise energy Es. This suggests that the PEM works very well at high energy. We believe the conclusions reached here will apply to other A+BC systems.

• Bulletin of the Korean Mathematical Society
• /
• v.30 no.2
• /
• pp.167-170
• /
• 1993

In this paper, X, X$_{1}$, X$_{2}$, .. will denote any sequence of pairwise independent random variables with common distribution, and b$_{1}$, b$_{2}$.. will denote any sequence of constants. Using Chung [2, Theorem 4.2.5] and the same idea as in Chow and Robbins [1, Lemma 1 and 2] we have the following lemma.

• Communications of the Korean Mathematical Society
• /
• v.18 no.3
• /
• pp.521-532
• /
• 2003

In this paper, we introduce the notions of ($T_{i},\;T_{j}$)-fuzzy (r, s)-preopen sets and fuzzy pairwise (r, s)-precontinuous mappings in smooth bitopological spaces and then we investigate some of their characteristic properties.

• Honam Mathematical Journal
• /
• v.36 no.4
• /
• pp.767-775
• /
• 2014

In this paper we define the extended conditional negative quadrant dependence and generalize the conditional Borel-Cantelli lemma of B.L.S. Prakasa Rao(2012) to the case of pairwise extended conditionally negative quadrant dependence.

• Communications of the Korean Mathematical Society
• /
• v.33 no.4
• /
• pp.1097-1102
• /
• 2018

Let A and B be matrices which are polynomials in r pairwise commuting nilpotent matrices over a field. We give a sufficient condition for the null space of $A^i$ to equal that of $B^i$ for all i, in particular, for A and B to be similar.

• Journal of the Chungcheong Mathematical Society
• /
• v.29 no.3
• /
• pp.477-489
• /
• 2016

The purpose of this paper is to establish the complete moment convergence and the integrability of supremum for weighted sums of pairwise negatively quadrant dependent random variables satisfying stochastically dominating condition.

• Journal of the Chungcheong Mathematical Society
• /
• v.33 no.1
• /
• pp.133-146
• /
• 2020

In this paper, we established the complete moment convergence for sequences of m-pairwise negatively quadrant dependent random variables which are weakly upper bounded by a random variable X.

• Kyungpook Mathematical Journal
• /
• v.28 no.1
• /
• pp.83-90
• /
• 1988

In this paper we give a notion of pairwise functional compactness in bitopological spaces. We characterize this class of spaces in terms of continuous functions and covers. Also, a characterization in terms of multifuncions is stated.

• Journal of IKEEE
• /
• v.19 no.2
• /
• pp.186-192
• /
• 2015

This paper proposes an automatic generation technology of test case based on API in source code for software's quality improvement. The proposed technology is comprised of four processes which are analyzing source code by using the Doxygen open source tool, defining API specification by using analyzed results, creating test design, generating a test case by adapting Pairwise test technology. Analyzing source code by using the Doxygen open source tool is the phase in which API information in source code such as the API name, input parameter and return parameter are extracted. Defined API specification by using analyzed results is the phase where API informations, which is needed to generate test case, are defined as a form of database by SQLite database on the basis of extracted API information. Creating test design is the phase in which the scenario is designed in order to be composed as database by defining threshold of input and return parameters and setting limitations based on the defined API. Generating a test case by adapting Pairwise test technique is the phase where real test cases are created and changed into database by adapting Pairwise technique on the base of test design information. To evaluate the efficiency of proposed technology, the research was conducted by begin compared to specification based test case creation. The result shows wider test coverage which means the more cases were created in the similar duration of time. The reduction of manpower and time for developing products is expected by changing the process of quality improving in software developing from man-powered handwork system into automatic test case generation based on API of source code.