• ETRI Journal
• /
• v.11 no.4
• /
• pp.22-36
• /
• 1989

In this paper, a design and implementation of an efficient protocol verification system named LOVE has been described. The LOVE has been developed specifically for LOTOS. It performs not only protocol syntax validation (PSV) but also protocol functional verification(PFV). The PSV is a test to check if a protocol is free from protocol syntax errors such as deadlocks and livelocks. The PFV confirms whether or not a protocol achieves its functional objectives. For the PSV, the reachability analysis is employed, and the observational equivalence test is used for the PFV. For protocol verification using the LOVE, a schematic protocol verification methodology has been outlined.

• Communications for Statistical Applications and Methods
• /
• v.24 no.2
• /
• pp.115-127
• /
• 2017

This paper proposes a Bayesian test for the equivalence of survival functions in multiple groups. Proposed Bayesian test use the model of Cox's regression with time-varying coefficients. B-spline expansions are used for the time-varying coefficients, and the proposed test use only the partial likelihood, which provides easier computations. Various simulations of the proposed test and typical tests such as log-rank and Fleming and Harrington tests were conducted. This result shows that the proposed test is consistent as data size increase. Specifically, the power of the proposed test is high despite the existence of crossing hazards. The proposed test is based on a Bayesian approach, which is more flexible when used in multiple tests. The proposed test can therefore perform various tests simultaneously. Real data analysis of Larynx Cancer Data was conducted to assess applicability.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.50 no.6
• /
• pp.287-292
• /
• 2001

This paper deals with the configuration, operating principles, systematic calculation method of parameter and optimization method of test circuit for parallel current injection method, series voltage injection method and hybrid synthetic test method as the method for performance test of circuit breaker with extra high interrupting capacity. The test method depicted above is applied to short-circuit making and breaking test (operating sequence :Os CdOs, Od-CdOs) and out-of-phase tests(operating sequence :Os, CdOs) for performance test of the newly-developed 420kV, 50kA and 800kV 50kV puffer-type gas circuit-breaker according to IEC 60056 and IEC 60427. The testing results, evaluation of equivalence for test and analyzed results are also presented in this paper.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.16 no.4
• /
• pp.25-35
• /
• 2017

This study aimed to analyze a driver's night visibility, according to the installation of a lighting system for driving an agricultural machine during the night time. For the night visibility analysis, a luminance measurement test on the lighting system and a gaze duration measurement test through eye movement measurement devices were carried out. In the luminance measurement test, the increase of luminance was confirmed as relative distance from an agricultural machine was closer and the conditions of the lighting equivalence are improved. Also the gaze duration measurement test, total gaze duration from an agricultural machine increased, as the conditions of the lighting equivalence are improved. In addition, it was identified that the difference in average gaze duration from an agricultural machine was statistically significant as the agricultural machine was driven in high speed. In conclusion, when the lighting system is installed on an agricultural machine, a driver's night visibility from the agricultural machine improves, which is expected to be enormously helpful to the prevention of agricultural machine accidents.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.25 no.7
• /
• pp.105-113
• /
• 2011

The study about three-phase synthetic making test using DC power has been performed in order to increase the making test capacity on Vacuum Circuit Breaker. And, it made possible to solve the limitations that short-circuit testing facilities can not fulfill the testing requirements of VCB exceeding three-phase 36[kV] 31.5[kA]. By using DC power and high speed spark-gap switch, this method made the equivalence with the pre-arc that occurred during the making process under the fault condition of power system. As results, KERI(Korea Electrotechnology Research Institute) could have capacity to carry out type test for VCB under three-phase 52[kV] 40[kV], which satisfies the IEC Standard.

• Journal of Internet Computing and Services
• /
• v.13 no.1
• /
• pp.83-98
• /
• 2012

Recently Web services and SOA(Service Oriented Architecture) is widely used for an effective integration way of distributed applications. The service choreography is a way of service compositions to define workflows and the message exchange protocols among several partner ser-vices in the B2B business process environment. It defines the overall business process from a global perspective. However, it must be transformed into some kind of the executable form to implement service compositions, because it does not support an execution mechanism but is a de-clarative form. Therefore, the transformed executable model must be validated with the original choreography model to guarantee behavior equivalence. In this paper, we propose the conformity assessment with respect to service compositions method between the choreography model and the transformed executable model. And we suggest the test method to show behavior equivalence between them from a viewpoint of the dynamic execution.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.20 no.4
• /
• pp.587-596
• /
• 2017

In this study, multi-chambered single autoinjector(2in1) and KMARK-1 containing atropine and 2-PAM(pyridine-2-aldoxime methylchloride) were administered to the beagle's muscle, and blood samples were taken for a certain period of time to compare and evaluate the pharmacokinetic profiles of the two drugs. Male beagles were used and classified into two test groups(G1, G2), and crossover pharmacokinetic studies were performed in two test groups. Blood samples were collected from the jugular vein for analysis after administration. The 90 % confidence interval(CI) for log transformed data indicated that the Cmax for both atropine(log 0.9683 ~ log 1.113) and 2-PAM(log 0.9453 ~ log 1.214) was within the limits of bioequivalence criteria, but the AUC for atropine(log 1.1786 ~ log 1.3238) failed to meet this criteria. This is expected as the amount of atropine dose is 25 % higher for the test as compared to the reference formulation. In summary, in view of the ATNAA(antidote for nerve agent of US) authorization, the Cmax equivalence was more important than AUC equivalence, so in this study, we also focused on verifying the equality of Cmax between the two autoinjectors.

• Asian Journal for Public Opinion Research
• /
• v.9 no.2
• /
• pp.188-211
• /
• 2021

Decreasing response rates to traditional survey methods, like face-to-face and telephone interviews, have led survey practitioners around the world to seek new ways of conducting surveys in recent years." The COVID-19 pandemic exacerbated this problem because it made conducting face-to-face interviews even more difficult than before. For example, it made conducting face-to-face surveys infeasible in 2020 in South Korea, and so the Korean Academic Multimode Open Survey (KAMOS) was unable to conduct a planned face-to-face survey to recruit new panel members. The entire 8,514-member panel, established via two-stage probability-based sampling from 2016 to 2019, was invited to take three online/telephone surveys in 2020. Of these panel members, 1,352 responded to at least one survey in 2020. To test to what extent the panel remained representative of the adult South Korean population, we compared the two groups of panel members: those who responded to at least one survey in 2020 and those who did not. After weighting both groups on the basis of age, sex, and geographical area, we analyzed their responses to some of the questions that were asked during multiple rounds of the face-to-face panel-recruiting interviews. Using Cohen's d for survey items that could be analyzed numerically and Cramér's V for categorical items, we were able to conclude that the respondents to the 2020 surveys were equivalent to the non-respondents in terms of both demographics and in the answers they originally gave to substantive questions on a variety of topics related to social science or public opinion research, including questions about quality of life, societal issue, and politics (Cohen's d items <0.2, 95% CI; Cramér's V items <0.1, 95% CI). This analysis may provide a model for others who wish to test the continued representativeness of their panel or who would like to use a different survey mode or change some other aspect of their methodology and test whether it is equivalent to their former methodology. Our success in building a panel that retained its representativeness may be useful to those in other countries where face-to-face surveys had previously been the norm but are becoming increasingly difficult to conduct.

• Biomolecules & Therapeutics
• /
• v.11 no.1
• /
• pp.65-71
• /
• 2003

Terbinafine is a synthetic allylamine that is available in an oral formulation and is used at a dosage of 250mg/day. It is used as an active antifungal agent and inhibits the fungal enzyme squalene epoxidase, which leads to the accumulation of the sterol squalene, which is toxic to the organism. The purpose of the present study was to evaluate the bioequivalence of two terbinafine tablets, Lamisil (Novartis Korea Ltd.) and Terbinex (C-TRI Ltd.), according to the guidelines of Korea Food and Drug Administration (KFDA). Eighteen normal male volunteers, 26.00$\pm$2.57 year in age and 70.51$\pm$9.36 kg in body weight, were divided into two groups and a randomized 2${\times}$2 cross-over study was employed. After one tablet containing 125 mg of terbinafine was orally administered, blood was taken at predetermined time intervals and the concentrations of terbinafine in plasma were determined using HPLC with UV detector. Pharmacokinetic parameters such as AUC, $C_{max}$ and $T_{max}$ were calculated and ANOVA test was utilized for the statistical analysis of the parameters. The results showed that the differences in AUC, $C_{max}$ and $T_{max}$ between two tablets were －4.191％, 5.223％ and －25.720％, respectively when calculated against the Lamisil, tablet. The powers (1-$\beta$) for AUC, $C_{max}$ and $T_{max}$ were 81％, 87％ and below 60％, respectively. Minimum detectable differences(.il) at alpha=O.1 and 1-/3=0.8 were less than 20％ (e.g., 19.72％ and 17.77％ for AUC and $C_{max}$, respectively). But minimum detectable differences($\Delta$) at alpha=0.1 and 1-$\beta$=0.8 for $T_{max}$ were more than 20％ (e.g., 26.25％). The 90％ confidence intervals were within $\pm$20％ (e.g., －17.440∼9.06 and －6.713∼17.160 for AUC and $C_{max}$ respectively). But 90％ confidence intervals for $T_{max}$ were not within $\pm$20％ (e.g., －43.346∼8.083). Another ANOVA test was conducted for logarithmically transformed AUC and $C_{max}$. These results showed that there are no significant differences in AUC and $C_{max}$ between the two formulations: The differences between the formulations in these log transformed parameters were all for less than 20％ (e.g., －4.19％ and 5.22％ for AUC and $C_{max}$, respectively). The 90％ confidence intervals for the log transformed data were not the acceptance range of log 0.8 to log 1.25 in AUC but the acceptance range of log 0.8 to log 1.25 in $C_{max}$ (e.g., log 1.13∼log 1.50 and log 0.94-log 1.22 for AUC and $C_{max}$ respectively). The major parameters, AUC and $C_{max}$ met the criteria of KFDA for bioequivalence although $T_{max}$ did not meet the criteria of KFDA (1998 year) for bioequivalence, indicating that Onfran tablet is bioequivalent to Zofran tablet. But in another ANOVA test AUC did not meet the criteria of KFDA (2002) for bioequivalence but $C_{max}$ met the criteria of KFDA (2002 year) for bioequivalence.or bioequivalence.equivalence.equivalence.equivalence.

• Transactions of the Korean Society of Mechanical Engineers B
• /
• v.26 no.9
• /
• pp.1284-1291
• /
• 2002

Combustion instabilities are an important concern associated with lean premixed combustion. Laboratory-scale dump combustor was used to understand the underlying mechanisms causing combustion instabilities. Experiments were conducted at atmospheric pressure and sound level meter was used to track the pressure fluctuations inside the combustor. Instability maps and phase-resolved OH chemiluminescence images were obtained at several conditions to investigate the mechanism of combustion instability and relations between pressure wave and heat release rate. It showed that combustion instability was susceptible to occur at higher value of equivalence ratio (>0.6) as the mean velocity was decreased. Instabilities exhibited a longitudinal mode with a dominant frequency of ∼341.8 Hz, which corresponded to a quarter wave mode of combustor. Heat release and pressure waves were in-phase when instabilities occurred. Rayleigh index distribution gave a hint about the location where the strong coherence of pressure and heat release existed. These results also give an insight to the control scheme of combustion instabilities. Emission test revealed that NOx emissions were affected by not only equivalence ratio but also combustion instability.