• The Transactions of the Korea Information Processing Society
• /
• v.4 no.3
• /
• pp.767-774
• /
• 1997

A procedure presented in this paper greerates test squences to check the conformity of an implementation wihh a protocol specification which is moedled as a determinstic fimite state machine(FSM).We proposed a tech-nique to determine a minium-cost tour of the transition graph of the FSM..The technique using Multiple UIO and Shortest Path(MUSP) sabes the cost 1-9% over MUIO and directly, derive a symertric test graph from an FSM graph From this fact, we proposed a tecuque using Multiple Sate Suganture(MUSS) to solve an open issue that the multiple UIO assignment may not minimize the lengy of the tour.In this paper, the proposed techique is also, applied to generate a synchronizable test wequence.And the result shows that the techique using MUSP anhd MUSS saves the cost 7-29% and 7-42% over the previous approach using MUIO, respect-ively.

• Journal of IKEEE
• /
• v.16 no.4
• /
• pp.297-303
• /
• 2012

This paper proposes the effective design procedure for a broadband, double-ridged horn antenna for evaluating the performance of the RF energy harvesting system with a multi-band rectenna. Using multi-mode network analysis, the higher-mode scattering parameters of the transition and horn were acquired and applied to the antenna design, respectively. As a result, the computing time could be reduced and the calculated VSWR(voltage standing wave ratio) of the antenna was very similar to the analyzed result using fully electromagnetic simulation. And there was also good agreement between the simulated and measured results. The designed broadband antenna has a bandwidth of 660~6360 MHz and 6~13.7 dBi peak radiation gain.

• Journal of Preventive Medicine and Public Health
• /
• v.46 no.4
• /
• pp.201-209
• /
• 2013

Objectives: The goal of this study was to perform an economic analysis of a primary stenting with drug-eluting stents (DES) compared with bare-metal stents (BMS) in patients with acute myocardial infarction (AMI) admitted through an emergency room (ER) visit in Korea using population-based data. Methods: We employed a cost-minimization method using a decision analytic model with a two-year time period. Model probabilities and costs were obtained from a published systematic review and population-based data from which a retrospective database analysis of the national reimbursement database of Health Insurance Review and Assessment covering 2006 through 2010 was performed. Uncertainty was evaluated using one-way sensitivity analyses and probabilistic sensitivity analyses. Results: Among 513 979 cases with AMI during 2007 and 2008, 24 742 cases underwent stenting procedures and 20 320 patients admitted through an ER visit with primary stenting were identified in the base model. The transition probabilities of DES-to-DES, DES-to-BMS, DES-to-coronary artery bypass graft, and DES-to-balloon were 59.7%, 0.6%, 4.3%, and 35.3%, respectively, among these patients. The average two-year costs of DES and BMS in 2011 Korean won were 11 065 528 won/person and 9 647 647 won/person, respectively. DES resulted in higher costs than BMS by 1 417 882 won/person. The model was highly sensitive to the probability and costs of having no revascularization. Conclusions: Primary stenting with BMS for AMI with an ER visit was shown to be a cost-saving procedure compared with DES in Korea. Caution is needed when applying this finding to patients with a higher level of severity in health status.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.3
• /
• pp.535-541
• /
• 2009

In this paper, we present the improvement on the performance of driving part for single-phase MJ81 switch point machine which has been developed for localization. The single-phase motor's specification and reliability for speed and safety improvement of conventional line was investigated in "Development project for Speed-up on Conventional Line" We systemized the test procedure fur single-phase motor by investigating the feasibility for localization and the specification of function and performance. Also, we developed appropriate technology and proved the durability of the single-phase driving motor by executing synthesis test over 200,000 times.

• The KIPS Transactions:PartD
• /
• v.11D no.4
• /
• pp.855-864
• /
• 2004

Programmers can be got the test-related information for implementation without interference of source code complexity by use of the formal specification. Especially the external inputs and system responses can be represented precisely by formal specification in testing phase of web-based software systems. This paper suggests a method of extracting test cases by use of formal specification. Object-Z formal specification represents various test-related information for complex functions of web-based applications. State Transition Models could be built from the formal specification so that test scenarios were extracted from STDs from the highest level to detail levels. The target system for verification of this method is a web-based banking system which is necessary to be secured and critical on errors. This method would be an important factor in automatizing test procedure for web-based application software systems combining the user-base test technique.

• The Korean Journal of Applied Statistics
• /
• v.34 no.4
• /
• pp.537-556
• /
• 2021

Properties of statistical process control procedures may not be derived analytically in many cases; however, the application of a Markov chain can solve such problems. This article shows how to derive the properties of the process control procedures using the generated Markov chains when the control statistic satisfies the Markov property. Markov chain approaches that appear in the literature (such as the statistical design and economic design of the control chart as well as the variable sampling rate design) are reviewed along with the introduction of research results for application to a new control procedure and reset chart. The joint application of a Markov chain approach and analytical solutions (when available) can guarantee the correct derivation of the properties. A Markov chain approach is recommended over simulation studies due to its precise derivation of properties and short calculation times.

• Nuclear Engineering and Technology
• /
• v.54 no.1
• /
• pp.220-225
• /
• 2022

Perlite is one of the major constituents of the radioactive thermal insulation waste (RTIW) originating from nuclear power plants and, for proper waste management, a significant reduction in its volume is required prior to disposal. In this work, the volume reduction of perlite is studied by high-temperature treatment method with using K₂CO₃ as a flux. The perlite is ground with 0-30 wt% K₂CO₃, and differential thermal analysis/thermogravimetric analysis is used to monitor the glass transition temperature (T_g) and weight loss. The Tg varied between ~772.2 and 837.1 ℃ with the minima at ~643.5 ℃ with the addition of ~10 wt% K₂CO₃. It is observed that compared to the pure perlite the volume reduction ratio (VRR) increases with the addition of K₂CO₃. The VRR of 11.20 is observed with 5 wt% K₂CO₃ at 700 ℃, as compared to VRR of 5.56 without K₂CO₃ at 700 ℃. The X-ray photoelectron spectroscopy and scanning electron microscopy are used to characterize perlite samples heat-treated without/with 5 wt% K₂CO₃ at 700 ℃. Moreover, the atomic absorption spectroscopy indicates that the proposed heat-treatment procedure is able to completely retain the radionuclides present in the perlite RTIW.

• The Journal of the Acoustical Society of Korea
• /
• v.29 no.5
• /
• pp.325-331
• /
• 2010

Categorical perception has been noted as characteristic properties of linguistic stimuli. In this study, Korean monosyllabic minimal pairs (consonant-vowel-consonant, CVC) were analyzed to understand perception boundaries between clinically confusing words. An efficient scheme has been developed to systematically synthesize temporal transition waveforms (11 steps) from one word to the target word for the pairs of /gom/-/gong/, /non/-/noon/, and /don/-/non/. The corresponding slopes, widths, and non-dominant factors of perception boundaries were analyzed for the total of 40 young normal subjects (20 males and 20 females). Results showed that there were relative pattern differences among confusing monosyllabic minimal pairs under categorical perception. For instance, the vowel difference within CVC pairs led to the lowest boundary performance in this experiment set. Data also indicated the potential application of the overall procedure for evaluating auditory functions and assisting rehabilitation programs.

• Applied Chemistry for Engineering
• /
• v.21 no.1
• /
• pp.63-70
• /
• 2010

Transition metal based spent catalysts (Ni-Mo and Co-Mo), which were scrapped from the petrochemical industry, were reused for the removal processes of volatile organic compounds (VOCs). Especially the optimum regeneration procedures were determined using the removal efficiency of VOCs. In this work, the spent Ni-Mo and spent Co-Mo catalysts were pretreated with different physic-chemical treatment procedure: 1) acid aqueous solution, 2) alkali solution, 3) chemical agent and 4) steam. The various characterization methods of spent and its regenerated catalysts were performed using nitrogen adsorption, X-ray diffraction (XRD) and scanning electron microscopy (SEM) equipped with an energy dispersive spectrometry (EDS). It was found that all spent catalysts were found to be potentially applicable catalysts for catalytic oxidation of benzene. The experimental results also indicated that among the employed physico-chemical pretreatment methods, the oxalic acid aqueous (0.1 N, $C_2H_2O_4$) pretreatment appeared to be the most efficient in increasing the catalytic activity, although the catalytic activity of spent Ni-Mo and spent Co-Mo catalysts in the oxidation of benzene were greatly dependent on the pretreatment conditions. The pretreated spent catalysts at optimum condition could be also applied for removing other aromatic compounds (Toluene/Xylene).

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.41 no.8
• /
• pp.965-973
• /
• 2016

As increase of IoT services in wireless communications, the performance evaluation is required to connects massive number of devices in LTE-A system. Existing performance analysis of 3GPP TR 37.868 is shown the limited results up to the number of devices only 30,000 in a cell. So, it is required the performance analysis according to various parameter values in the greater number of devices environment. In this paper, to evaluate the performance, we developed the new modules to simulate LTE-A random access procedures because of a limit that accommodate massive number of devices in existing LTE module. The simulator was developed by OPNET and it can support up to 100,000 devices per cell. This paper also represents the performance analysis results according to the number of preambles, the maximum number of preamble transmissions, backoff indicator and msg2 window size in the same environment with 3GPP TR 37.868. This results are expected to be utilized such as the transition to 5G network and standardization activities.