• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권5호
• /
• pp.571-575
• /
• 2010

클래스 수준 뮤테이션 분석(class-level mutation analysis)의 경우, 동등 뮤턴트(equivalent mutant)는 전체 뮤턴트들의 개수에서 많은 비중을 차지하기 때문에 동등 뮤턴트의 검출은 뮤테이션 수행 비용 절감에 매우 중요하다. 하지만 현재까지 클래스 수준 뮤테이션을 대상으로 동등 뮤턴트를 검출하는 연구는 미미한 실정이다. 본 논문에서는 클래스 수준 뮤테이션을 대상으로 의존성 그래프(dependency graph)를 이용하여 동등 뮤턴트를 검출하기 위한 기법을 제안한다. 제안한 기법은 인트라-클래스(intra-class) 수준에서 정적분석을 수행함으로써 인트라-메소드(intra-method) 수준의 분석 방법을 사용하는 기존의 연구들이 검출할 수 없었던 클래스 수준 동등 뮤턴트를 검출할 수 있었다.

• 한국IT서비스학회지
• /
• 제6권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.

• 호남수학학술지
• /
• 제42권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.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2003년도 추계종합학술대회
• /
• pp.548-551
• /
• 2003

JSize 는 유닉스 운영체제의 size 프로그램에 대응하는 자바 등가 프로그램이다. 유닉스 size 프로그램은 실행 파일을 분석하여 그 파일이 메모리에 적재되었을 때 얼마 정도의 코드와 데이터 영역을 차지할지를 예측하게 한다. 마찬가지로 JSize 는 자바 클래스 파일을 분석하여 그 파일이 메모리에 적재되었을 때 얼마 정도의 클래스 영역 메모리를 차지할지를 예측하게 하는 기능을 갖는다. 본 논문은 클래스 파일을 분석하여 얻은 정보로부터 클래스 영역의 크기를 예측할 수 있게 하는 원리에 대해 소개한다. 아울러 실험을 통해 JSize 의 예측 정확성을 실제로 알아보았다.

• 대한수학회논문집
• /
• 제34권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.

• 한국압력기기공학회 논문집
• /
• 제18권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.

• 전기학회논문지
• /
• 제56권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.

• 전기학회논문지
• /
• 제62권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.

• 대한수학회논문집
• /
• 제13권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).

• 대한수학회논문집
• /
• 제33권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.