• 품질경영학회지
• /
• 제36권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.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (B)
• /
• pp.388-390
• /
• 2005

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

• 정보관리학회지
• /
• 제21권2호
• /
• pp.1-21
• /
• 2004

시소러스가 적정한 검색효율을 유지하기 위해서는 등재된 디스크립터에 대한 지속적인 유지관리가 필수적이다. 시소러스의 규모를 적정하게 유지하기 위해서는 신규용어와 기존용어를 우선적으로 대등관계로 처리해야 한다. 따라서 전통적인 동의어 이외에도 여러 관계에 대한 새로운 대등관계선정기준이 요구된다. 본 연구는 기존의 대등관계 설정기준을 좀 더 세분하여 보다 효율적인 시소러스 역할을 수행할 수 있는 방안을 제시하였다. 대등관계로 설정할 수 있는 기준을 전통적인 동의어 관계를 비롯하여, 유사동의어, 전거어, 대립어 등도 대등관계로 설정될 수 있음을 제안하였다. 본 연구에서 제안한 대등관계는 여섯가지 국면(facet)으로 기준을 정하였으며, 이 기준은 검색효율을 위해 용어 관계의 재정립을 위한 지침으로 활용될 수 있다.

• 대한기계학회논문집B
• /
• 제28권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.

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

• 대한기계학회:학술대회논문집
• /
• 대한기계학회 2004년도 추계학술대회
• /
• 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.

• 한국연소학회지
• /
• 제21권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
• /
• 제12권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년도 제27회 KOSCO SYMPOSIUM 논문집
• /
• 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
• /
• 제2권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.