• 한국정보전자통신기술학회논문지
• /
• 제10권4호
• /
• pp.325-332
• /
• 2017

본 논문은 프로토콜 구현물이 프로토콜의 사양에 대한 적합성을 시험하기 위한 시험항목 생성방법들에 대하여 비교분석 한다. 대표적인 방법들인 천이 순회, 구별 시퀀스, 특징화 시퀀스, 유일 입출력 시퀀스와 변형된 이들 방법들을 분석하고, 유한 상태 기계 모델에 적용한 위의 방법들의 시험항목 길이를 비교 및 분석 한다. 결론에서는 프로토콜 적합성시험을 위한 시험항목 생성방법들에 대한 핵심적이고 분석적인 이슈 사안들을 다음과 같이 제시한다. 천이 순회 방법은 최단의 시험 항목을 생성하지만 최악의 오류 검출 성능을 제공한다. 특징화 시퀀스 방법은 완벽한 오류 검출 성능을 제공하지만 상대적으로 최장의 시험 항목을 생성한다. 구별 시퀀스 방법의 문제점은 이 구별 시퀀스가 항상 존재하지는 않는다는 것이다. 유일 입출력 시퀀스 방법이 비교적 폭넓게 적용될 수 있지만 구별 시퀀스 방법과 동일한 오류 검출 성능을 제공하지 못한다는 문제점이 있다.

• 한국철도학회논문집
• /
• 제9권4호
• /
• pp.349-356
• /
• 2006

At present, the selecting system and analytic estimation criterion on repair materials and methods of the deteriorated RC structures have not yet been set up in domestic. Under these circumstances, deterioration such as shrinkage crack, corrosion of rebar has been often occurred after repair, and this finally results in too frequent repairs. In this study, three types of repair methods were experimentally investigated by the accelerating test in a combined deterioration chamber and long-term field exposure test. Three types of repair methods applied in this study belong to a group of polymer cement mortar, which is commonly used in repair works. According to the results of this study, durability of repair mortar layers and corrosion properties of recovered rebar could be investigated in short period by the accelerating test in a combined deterioration chamber, which can simulate the condition of repeated high-and-low temperature and repeated dry-and-wet environment, spraying chloride solution and emitting $CO_2$ gas. After 36 month long-term filed exposure test in the coastal area, harmful macro-cracks are observed in the polymer cement mortar layer of some repair methods. These crack are considered to result from drying shrinkage of polymer cement mortar. Also, after 36 month exposure, amount of corrosion area and weight loss of rebar are found to be different according to the types of repair methods.

• 한국시뮬레이션학회논문지
• /
• 제1권1호
• /
• pp.77-86
• /
• 1992

In this paper, we study validation test methods of DEVSA(Descrete Event system Specification) models using SPN(Stochastic Petri Net) models. We discuss conventional validation test methods, by which DEVS models can be transformed to SPN models, by reviewing the features of DEVS model. Based on the model transformation method, we define a new homogeneous function for validation test and suggest a new validation test method of DEVS models using the property of SPN models and the new homogeneous function.

• 품질경영학회지
• /
• 제34권1호
• /
• pp.20-26
• /
• 2006

In the fields of mechanical reliability application, "zero" or "zero or one" failure tests are most commonly used for demonstrating reliability of a product since they reduce test duration and/or sample size compared to other test methods that guarantees the same reliability of a product with a given confidence level or consumer's risk. The test duration of the "zero or one" failure test is longer than that of "zero" failure test but it has advantage of smaller producer's risk. In this paper a two-stage test is developed that compromises the "zero" and "zero or one" failure tests. The properties of the proposed two-stage test are investigated and the three test methods are compared using a numerical example.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
• /
• pp.506-511
• /
• 1998

In this paper we consider multiobjective linear programming problems with coefficients of the objective functions specified by possibility distributions. Possibly and necessarily efficient solution sets are defined as funny solution sets whose membership grades represent possibility and necessity degrees to which a feasible solution is efficient. Considering efficiency condition and its dual condition in ordinary multiobjective linear programming problem, we propose efficiency test methods based on an extreme ray generation method. Since the proposed methods can be put in the part of a bi-section method, we can develop calculation and methods of the degree of possible and necessary efficiency for feasible solutions.

• Journal of the Korean Data and Information Science Society
• /
• 제15권3호
• /
• pp.585-592
• /
• 2004

This study detects Korea economic crisis of 1997 using various change-point detection methods and then compares their performance. In change-point detection method, there are three major categories: (1) the parametric approach, (2) the nonparametric approach, and (3) the model-based approach. Through the application to Korea foreign exchange rate during her economic crisis, we compare the employed change-point detection methods and, furthermore, determine which of them performs better.

• Communications for Statistical Applications and Methods
• /
• 제6권3호
• /
• pp.939-946
• /
• 1999

We propose methods for detecting influential observations that have a large influence on the likelihood ratio test statistic for the multivariate Behrens-Fisher problem. For this purpose we derive the influence curve and the derivative influence of the likelihood ratio test statistic. An illustrative example is given to show the effectiveness of the proposed methods on the identification of influential observations.

• Communications for Statistical Applications and Methods
• /
• 제23권6호
• /
• pp.587-592
• /
• 2016

It is a long-standing issue to correctly determine the number of long-run relationships among time series processes. We revisit nonparametric test for cointegration rank and propose bootstrap refinements. Consistent with model-free nature of the tests, we make use of Cholesky factor bootstrap methods, which require weak conditions for data generating processes. Simulation studies show that the original Breitung's test have difficulty in obtaining the correct size due to dependence in cointegrated errors. Our proposed bootstrapped tests considerably mitigate size distortions and represent a complementary approach to other bootstrap refinements, including sieve methods.

• 한국지반공학회논문집
• /
• 제23권2호
• /
• pp.19-27
• /
• 2007

본 연구에서는 한국산업규격에서 제안하고 있는 건식방법과 습식방법을 이용하여 국내 플라스틱배수재 필터로 가장 많이 사용하는 토목섬유 3종류의 유효구멍크기를 평가하고, 시험 수행 과정에서 나타난 각 시험 방법의 특징과 시험 결과를 비교 분석하였다. 시험 결과에 의하면, 건식방법은 신속하고 간단한 시험방법이지만 상대적으로 많은 오차가 발생하는 등 좋지 않은 방법으로 나타났다. 반면에, 습식방법은 정전기 발생이나 섬유 내의 갇힘 현상 등 건식방법에서 나타나는 많은 오차를 줄일 수 있는 방법으로 판단되었다. 그러나 습식방법의 한 방법인 KS K ISO 12956의 경우, 시험에 오랜 시간이 소요되며 시험 중 사용 흙의 손실에 대한 기준이 매우 까다로운 것으로 나타났다. 일반적으로 습식방법으로 구한 토목섬유의 유효구멍크기는 건식방법으로 구한 유효구멍크기보다 작은 것으로 나타났으며, 특히 현재 사용하지 않는 방법인 수리동역학적인 방법 KS F 2126로 구한 유효구멍크기는 KS K ISO 12956방법으로 구한 유효구멍크기와 비슷하거나 작은 것으로 나타났다.

• 소성∙가공
• /
• 제10권4호
• /
• pp.319-328
• /
• 2001

Quantitative evaluation of the tribological conditions at the tool-workpiece interface in metal forming is usually accomplished by the ring compression test. This paper describes an experimental investigation into friction factor under warm forming conditions according to the lubricants and the lubricating methods using the ring compression test. Four different lubricants, two water based graphite and two oil based graphite lubricants, and three different lubricating methods were applied in the experiments. Calibration curves with the friction shear factor were obtained using FEM analysis and verified by the experimental results. The influence of lubricant and lubricating methods on friction are discussed. In the ring compression test, the lower friction factor got to spray the oil based lubricant on die and billet in warm forging temperature.