• Journal of Korean Society for Quality Management
• /
• v.36 no.4
• /
• pp.1-6
• /
• 2008

As more and more data are collected one may ask whether the data collected within a short period of time are same. In this case traditional hypothesis testing of $H_o:{\mu}_1={\mu}_2$ vs $H_1:{\mu}_1{\neq}{\mu}_2$ is used to determine whether the data are same when there is no knowledge about equivalence testing. However, this type of hypothesis testing has the undesirable property of penalizing higher precision. So TOST is to be performed in the event of equivalence testing. In this study equivalence testing is introduced where one can find the applications in industry. Traditional two sample t testing is to be compared with the equivalent testing and the procedure to perform the equivalence testing is to be presented along with an example. Finally equivalence testing in terms of the other parameters such as variance, proportion or failure rate is to be sought.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.388-390
• /
• 2005

최근 소프트웨어 가 점 점 복잡해 짐 에 따라 다양한 상황에 대한 테스트의 중요도도 함께 증가하지만, 다양한 상황을 모두 고려하여 테스트하는 것은 많은 시간과 비용을 요구한다. 본 논문에서는 이러한 복잡한 시스템의 테스트를 위해 Orthogonal Array와 Equivalence Class 기법을 이용하여 test suite의 중복성을 낮추는 효율적인 test set을 생성하는 기법을 제안한다. 이렇게 제안된 기법을 OMA DRM(Digital Rights Management) System에 적용한 사례를 통해 기법의 우수성을 보인다.

• Journal of the Korean Society for information Management
• /
• v.21 no.2
• /
• pp.1-21
• /
• 2004

For the guarantee of retrieval ratio, thesaurus's maintenance for descriptors are necessary. To maintain the optimum scale of thesaurus, new terms and existing terms should be structured to the equivalence relationship. Therefore, equivalence relationships are needed to new standard. This study proposes new standard of the equivalence relationships, which is more specified for better guarantee of retrieval ratios. The relationships have seven facets. These six facets will be used as new knowledge-base, which could be reestablished between the descriptors.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.28 no.10
• /
• pp.1193-1201
• /
• 2004

The effect of equivalence ratio and fuel/air mixing quality on the phase-resolved gas temperatures at different phases of the oscillating pressure cycle was experimentally investigated. An atmospheric pressure, optically accessible and laboratory-scale dump combustor operating on methane with heat release rate of 1.59kW was used. Temperature measurements were made using coherent anti-Stokes Raman spectroscopy (CARS) at several spatial locations fur typical unstable combustion conditions. Analysis was conducted using parameters such as phase-resolved averaged temperature, normalized standard deviation and temperature probability distribution functions (PDFs). Also the probability on the occurrence of high temperature (over 1900K) was investigated to get the information on the perturbation of equivalence ratio and NOx emission characteristics. It was shown that most of temperature histograms exhibit Gaussian profile which has short breadth of temperature fluctuation at equivalence ratio of 0.6, while beta profile was predominant for the cases of other equivalence ratios (${\Phi}$=0.55, 0.50). It was also shown that phase-resolved averaged temperature oscillated in phase with pressure cycle, while normalized standard deviations which represent temporal turbulent intensity of temperature showed nearly constant value around 0.1. The characteristics on the occurrence of high temperature also displayed periodic wave form which was very similar to the pressure signal. And the amplitude of this profile went larger as the fuel/air mixing quality became poorer. These also provided additional information on the perturbation of equivalence ratio at flame as well as NOx emission characteristics.

• Honam Mathematical Journal
• /
• v.27 no.2
• /
• pp.163-181
• /
• 2005

We study some properties of intuitionistic fuzzy equivalence relations. Also we introduce the concepts of intuitionistic fuzzy transitive closures and level sets of an intuitionistic fuzzy relation and we investigate some of their properties.

• Proceedings of the KSME Conference
• /
• 2004.11a
• /
• pp.1146-1151
• /
• 2004

Measurements of OH chemiluminescence in an atmospheric pressure, laboratory-scale dump combustor at equivalence ratios ranging from 0.63 to 0.89 were reported. The signal from the first electronically excited state of OH to ground state was detected through a band-pass filter with an ICCD. The objectives of this study are two: One is to see the effects of equivalence ratio on global heat release rate and local Rayleigh index distribution. To get the local Rayleigh index distribution, the line-of-sight images were inverted by tomographic method, such as Abel de-convolution. Another aim is to investigate the validity of using OH chemiluminescence acquired with an ICCD as a qualitative measure of local heat release. For constant inlet velocity and temperature, the overall intensities of OH emission acquired at different equivalence ratio showed periodic and higher value at high equivalence ratio. OH intensity averaged over one period of pressure increased exponentially with equivalence ratio. Local Rayleigh index distribution clearly showed the region of amplifying or damping the combustion instability as equivalence ratio increased. It could provide an information/insights on active control such as secondary fuel injection. Finally, local heat release rate derived from reconstructed OH images were presented for typical locations.

• Journal of the Korean Society of Combustion
• /
• v.21 no.1
• /
• pp.1-7
• /
• 2016

This study was performed to provide the basic information of the combustion, CO and $NO_X$ characteristics of biodiesel in accordance with equivalence ratio. The closed homogeneous reactor model used for the analysis. The analysis conditions were set to 900 K of the initial temperature, 20 atm of initial pressure and equivalence ratio was changes from 0.6 to 1.4. The results of analysis were predicted and compared in terms of combustion temperature, combustion pressure, CO and $NO_X$ emissions. The results of combustion characteristics showed that ignition delay was decreased and the combustion temperature and combustion pressure was increased in accordance with equivalence ratio. CO emission was decreased in lean condition(${\Phi}$ < 1.0), however, CO emission was increased in rich condition(${\Phi}$ > 1.0) because oxygen supply insufficient. $NO_X$ emission showed the largest amount in condition 0.8 of equivalence ratio because the oxygen concentration was sufficient.

• Journal of Information Processing Systems
• /
• v.12 no.2
• /
• pp.214-225
• /
• 2016

Global value numbering (GVN) is a method for detecting equivalent expressions in programs. Most of the GVN algorithms concentrate on detecting equalities among variables and hence, are limited in their ability to identify value-based redundancies. In this paper, we suggest improvements by which the efficient GVN algorithm by Gulwani and Necula (2007) can be made to detect expression equivalences that are required for identifying value based redundancies. The basic idea for doing so is to use an anticipability-based Join algorithm to compute more precise equivalence information at join points. We provide a proof of correctness of the improved algorithm and show that its running time is a polynomial in the number of expressions in the program.

• 한국연소학회:학술대회논문집
• /
• 2003.12a
• /
• pp.103-108
• /
• 2003

The effect of equivalence ratio and fuel/air mixing quality on the phase-resolved gas temperatures at different phases of the oscillating pressure cycle was experimentally investigated. An atmospheric pressure, optically accessible and laboratory-scale dump combustor operating on methane with heat release rate of 1.59kW was used. Temperature measurements were made using coherent anti-Stokes Raman spectroscopy (CARS) at several spatial locations for typical unstable combustion conditions. Analysis was conducted using parameters such as phase-resolved averaged temperature, normalized standard deviation and temperature probability distribution functions (PDFs). Also the probability on the occurrence of high temperature (over 1900K) was investigated to get the information on the perturbation of equivalence ratio and NOx emission characteristics. It was shown that most of temperature histograms exhibit Gaussian profile which has short breadth of temperature fluctuation at equivalence ratio of 0.6, while beta profile was predominant for the cases of other equivalence ratios (${\Phi}$=0.55, 0.50). The characteristics on the occurrence of high temperature also displayed periodic wave form which is very similar to the pressure signal. And the amplitude of this profile goes larger as the fuel/air mixing quality become poorer. These also provided additional information on the perturbation of equivalence ratio at flame as well as NOx emission characteristics.

• Journal of Electrical Engineering and information Science
• /
• v.2 no.5
• /
• pp.1-8
• /
• 1997

The main purpose of the Boolean equivalence problem is to verify that two Boolean expressions have the same functionality. Simulation has been extensively used as the standard method for the equivalence problem. Obviously, the number of tests required to perform a satisfactory coverage grows exponentially with the number of input variables. However, formal methods as opposed to simulation are getting more attention from the community. We propose a new algorithm called the Cover-Merge Algorithm based on a derivational method using the concept of cover and merge for the equivalence problem and investigate its theoretical aspects. Because of the difficulty of the problem, we emphasize simplification techniques in order to reduce the search space or problem size. Heuristics based on types of merges are developed to speed up the derivation process by allowing simplifications. In comparison with widely used technique called Binary Decision Diagram or BDD, the algorithm proposed outperforms BDD in nearly all cases of input including standard benchmark problems.