• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.5
• /
• pp.571-575
• /
• 2010

Mutation testing is known as a very useful technique for measuring the effectiveness of a test data set and finding weak points of the test set. An equivalent mutant degrades the effectiveness of mutation testing. Elimination of equivalent mutants is a very important problem in mutation testing.In this paper, we proposed kinds of methods for detecting class-level equivalent mutants. These methods judge the equivalency of mutants through structural informations and behavioral information of the original program and mutants using static analysis. We found that our approach can detect not a few of equivalent mutants and expected that the cost of mutation testing can be saved considerably.

• Journal of Information Technology Services
• /
• v.6 no.1
• /
• pp.151-158
• /
• 2007

D-class computation requires multiplication of three Boolean matrices for each of all possible triples of $n{\times}n$ Boolean matrices and search for equivalent $n{\times}n$ Boolean matrices according to a specific equivalence relation. It is easy to see that even multiplying all $n{\times}n$ Boolean matrices with themselves shows exponential time complexity and D-Class computation was left an unsolved problem due to its computational complexity. The vector-based multiplication theory shows that the multiplication of three Boolean matrices for each of all possible triples of $n{\times}n$ Boolean matrices can be done much more efficiently. However, D-Class computation requires computation of equivalent classes in addition to the efficient multiplication. The paper discusses a theory and an algorithm for efficient D-class computation, and shows execution results of the algorithm.

• Honam Mathematical Journal
• /
• v.42 no.1
• /
• pp.17-35
• /
• 2020

In this paper we introduce and consider a new class of variational inequalities with four operators. This class is called the extended general mixed quasi variational inequality. We show that the extended general mixed quasi variational inequality is equivalent to the fixed point problem. We use this alternative equivalent formulation to discuss the existence of a solution of extended general mixed quasi variational inequality and also develop several iterative methods for solving extended general mixed quasi variational inequality and its variant forms. We consider the convergence analysis of the proposed iterative methods under appropriate conditions. We also introduce a new class of resolvent equation, which is called the extended general implicit resolvent equation and establish an equivalent relation between the extended general implicit resolvent equation and the extended general mixed quasi variational inequality. Some special cases are also discussed.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2003.10a
• /
• pp.548-551
• /
• 2003

JSize is a Java equivalent of the Unix size program. The Unix size program analyses an executable file and estimates the size of code and data segment when the file is loaded on memory. Likewise, JSize analyze a Java class file and estimates the size of class area when the file is loaded on memory. This paper presents the principles necessary to estimate the class area size with the information obtained from a class file. An experimental result is included to show the accuracy of estimation the JSize provides.

• Communications of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.145-154
• /
• 2019

The notion of hypercyclicity was localized by J-sets and in this paper, we will investigate for an equivalent condition through the use of open sets. Also, we will give a J-class criterion, that gives conditions under which an operator belongs to the J-class of operators.

• Transactions of the Korean Society of Pressure Vessels and Piping
• /
• v.18 no.2
• /
• pp.54-60
• /
• 2022

ASME BPVC provides stress evaluation rules for Class 2 and 3 nuclear piping. However, such rules are difficult to be applied to reinforced wall-thinned pipes during service. To resolve this issue, a new method for stress evaluation of reinforced wall-thinned pipes is proposed in this work, based on the equivalent stiffness concept. By converting a reinforced wall-thinned pipe to an equivalent straight pipe having the same stiffness, stress evaluation can be proceeded using the current ASME BPVC rules. The proposed method is applied to pipes with 4 different normal pipe size and the effects of reinforcement and wall-thinning dimensions on evaluated stresses are discussed.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.56 no.9
• /
• pp.1626-1631
• /
• 2007

This paper presents a new modeling method using lamp output power and the modeling coefficients of the lamp. The proposed method utilizes the lamp modeling coefficients such as equivalent impedance Z(p), coupling coefficient of the transformer k(p), turns ratio of the transformer n(p), and plasma resistance Rp(p) as a function of lamp output power. The equivalent impedance Z(p) was developed from the equivalent resistance Req(p) and equivalent inductance Leq(p) of the lamp. Simulation and experimental results of the proposed model are presented in order to validate the proposed method. The modeling method can use to design an impedance matching circuit for a Class-D inverter.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.62 no.7
• /
• pp.1038-1044
• /
• 2013

A research on thermal analysis method is conducted for the characterization of heat generation during operation of Interior Permanent Magnet Synchronous Motor(IPMSM) for Light Railway Transits(LRT) in this paper. Efficient cooling of the heat generated in the IPMSM is important because the excessive heat generated from the winding, core and permanent magnet makes it harder for a long time continuous operation of IPMSM. Therefore, in order to analyze the heat generation characteristics of the 110kW-class IPMSM as advanced research for application the IPMSM to the cooling device, the heat transfer coefficients for each component of the 110 kW-class IPMSM were derived and the thermal equivalent network was configured to perform the thermal analysis in this study. Finally, the 110kW-class IPMSM prototype is made and a comparative verification between the test data and the thermal analysis results through its various performance tests are carried out.

• Communications of the Korean Mathematical Society
• /
• v.13 no.3
• /
• pp.481-487
• /
• 1998

Let (equation omitted) denote the closure of the set (equation omitted) of dominant operators in the norm topology. We show that the Weyl spectrum of an operator T $\in$ (equation omitted) satisfies the spectral mapping theorem for analytic functions, which is an extension of [5, Theorem 1]. Also we show that an operator approximately equivalent to an operator of class (equation omitted) is of class (equation omitted).

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

In this paper, we prove that boundedness with respect to metric balls of weighted composition operators from the Kim class and the Smirnov class to weighted Bloch type spaces is equivalent to metrical compactness of weighted composition operators between these spaces.