• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2006.05a
• /
• pp.1149-1149
• /
• 2006

The leakage characteristic is an important factor in power plant. However, most of power plant have efficiency problem which is occurred leaking between high pressure steam turbine axle and stator. The labyrinth seal which is used between the main turbine axle and stator in the power plant. Because it is able to be non-contact seal and it is minimize clearance to decrease the leakage. But its actual system is too huge to experiment. Therefore, most steam turbine seal performance tests were conducted by air similarity test. This paper described a test facility and program for air similarity test of high pressure steam turbine seal. A test facility has been designed and built to evaluate leakage verification of labyrinth seal. The test facility consist of air compressor, anti-swirl labyrinth seal for 1/3 air similarity model, pressure transducer, air flow measure system, instrumentation and auxiliary system. For evaluation of steam turbine seal performance, the air similarity test of labyrinth seal leakage verification was conducted and we compared experiment data and analysis result.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.15 no.2
• /
• pp.558-579
• /
• 2021

The cloud storage provides flexible data storage services for data owners to remotely outsource their data, and reduces data storage operations and management costs for data owners. These outsourced data bring data security concerns to the data owner due to malicious deletion or corruption by the cloud service provider. Data integrity verification is an important way to check outsourced data integrity. However, the existing data verification schemes only consider the case that a verifier launches multiple data verification challenges, and neglect the verification overhead of multiple data verification challenges launched by multiple verifiers at a similar time. In this case, the duplicate data in multiple challenges are verified repeatedly so that verification resources are consumed in vain. We propose a duplicate data verification algorithm based on multiple verifiers and multiple challenges to reduce the verification overhead. The algorithm dynamically schedules the multiple verifiers' challenges based on verification time and the frequent itemsets of duplicate verification data in challenge sets by applying FP-Growth algorithm, and computes the batch proofs of frequent itemsets. Then the challenges are split into two parts, i.e., duplicate data and unique data according to the results of data extraction. Finally, the proofs of duplicate data and unique data are computed and combined to generate a complete proof of every original challenge. Theoretical analysis and experiment evaluation show that the algorithm reduces the verification cost and ensures the correctness of the data integrity verification by flexible batch data verification.

• Proceedings of the SAREK Conference
• /
• 2005.11a
• /
• pp.217-222
• /
• 2005

Building energy consumption according to the ventilation has been considered to be an important subject. The purpose of this study is to investigate the cooling loads in a test space with a forced ventilating system. In the test space, on/off controlled air-conditioning and forced ventilating facility were operated between 8:30 to 21:00 during 4 days and some important data like temperatures and energy consumption were measured to obtain actual cooling loads. The simulation was carried out in a mode of temperature level control using a TRNSYS 15.3 with a precisely measured air change amount and performance data of air-conditioner. Cooling loads including sensible and latent were compared between by experiment and by simulation. Both of cooling loads associated with ventilation show a close agreement within an engineering tolerance.

• Nuclear Engineering and Technology
• /
• v.55 no.10
• /
• pp.3801-3807
• /
• 2023

Outcomes of the project "Comprehensive Verification of the FALCON Code for Calculation of Nuclear Fuel Temperature" relating to calculation of fuel temperature during relatively fast thermal transients are presented. Good prediction capabilities of the FALCON MOD01 code coupled with the GRSW-A code are shown as applied to the data of the TF3 and TF5 tests from the Transient Temperature Experiment IFA-507. The IFA-507 related dataset of the OECD/NEA International Fuel Performance Experiments (IFPE) Database is extended by the reconstructed dynamics of the axial power distribution in the rods during the transient phase of the experiment. Based on the code calculation, the time constant of the thermal fuel response to a power transient is estimated.

• Speech Sciences
• /
• v.10 no.2
• /
• pp.35-43
• /
• 2003

General speaker verification systems improve their recognition performances by normalizing log likelihood ratio, using a speaker model and its background speaker model that are required to be verified. So these systems rely heavily on the availability of much speaker independent databases for background speaker model design. This constraint, however, may be a burden in practical and portable devices such as palm-top computers or wireless handsets which place a premium on computations and memory. In this paper, new approach for the GMM-based background model design used in portable speaker verification system is presented when the enrollment data is available. This approach is to modify three parameters of GMM speaker model such as mixture weights, means and covariances along with reduced mixture order. According to the experiment on a 20 speaker population from YOHO database, we found that this method had a promise of effective use in a portable speaker verification system.

• Proceedings of the IEEK Conference
• /
• 2003.11b
• /
• pp.167-170
• /
• 2003

In this paper, a design and experiment of PCI Express Core verification Model is described. The model targeting Endpoint core verification is designed by using newly-emerging SystemC which is a system design language based on a new C++ class library and simulation engine. In the verification model, we developed a SystemC Host System model which act as a Root Complex and Device Driver dedicated to the PCI Express Endpoint RTL Core. The test of Host System Model is guided by scenarios which implements and acts point of Device Driver and Root Complex and shows the result of simulation. Also, We present the full structure of verification model and Host model.

• Proceedings of the IEEK Conference
• /
• summer
• /
• pp.285-288
• /
• 2004

In this paper, we present a design and experiment of PCI Express core verification model. The model targeting Endpoint core based on Verilog HDL is designed by newly-emerging SystemC, which is a new C++ class library based system design approach. In the verification model, we designed and implemented a SystemC host system model which acted as Root Complex and device driver dedicated to the PCI Express Endpoint RTL core. The verification process is scheduled by scenarios which are implemented in host model. We show that the model is useful especially for verifying the RTL model which has dependencies on system software.

• Journal of Acupuncture Research
• /
• v.23 no.2
• /
• pp.159-164
• /
• 2006

Objectives : This study was conducted for objective verification of effects of spiral taping therapy for the patients with motor disturbance. Methods : To verify whether spiral taping therapy is effective for treating motor disturbance from cervical sprain, 28 patients were randomly allocated into the control and experiment groups. Then 23 subjects who fulfilled the experiment requirements were measured for lateral rotation angle using the goniometer. Changes in rotation were observed and compared. Control group received acupuncture and herbal acupuncture treatment, whileas the experiment group received spiral taping therapy in addition. Results : Differences in age and the degree of motor disturbance were disregarded in comparison of the groups prior to rendering treatments. For the control group, significant changes were observed after the second treatment until the termination of treatment. For the experiment group, significant changes were observed after the first treatment until the termination of treatment. Difference between the groups was insignificant but experiment group with spiral taping therapy showed better results. Conclusion : Spiral taping therapy can be an effective complementary treatment method for treating neck motor disturbance. Further studies in the subject should be conducted to yield more concrete verification.

• Journal of Korea Water Resources Association
• /
• v.47 no.6
• /
• pp.513-522
• /
• 2014

Climate change and urbanization have affected a increase of peak discharge and water pollution etc. In a view of these aspects, the LID(Low Impact Development) technology has been highlighted as one of adjustable control measures to mimic predevelopment hydrologic condition. Many LID technologies have developed, but there is a lack of studies with verification of LID technology efficiency. Therefore this study developed a rainfall-runoff simulator could be possible to verify LID technology efficiency. Using this simulator, this study has experimented the rainfall verification through the rainfall distribution experiment and the experiment to show the relation between inflow and effective rainfall in order to sprinkle the equal rainfall in each unit bed. As a result, the study defined the relation between allowable discharge range and RPM by nozzle types and verified the hydrologic cycle such as the relation between infiltration rate, surface runoff and subsurface runoff at pervious area and impervious area through the rainfall-runoff experiment.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.17 no.4
• /
• pp.1-7
• /
• 2003

This is basic study for analyzing the character of the evaluation according to the ways of exterior lighting through the image prediction experiment by computer simulation. The aim of this research is to verify the validity of physical quantity & subjective evaluation on the basis of Online experiment. The following carried out the experiment procedure by conditions of Online experiment, 1) to make a photo of Online experirrent, 2) to measure physical quantity of luminance, and 3) to do subjective evaluation in Online experiment by means of vocabulary of the evaluation through preparation experiment. Then to verify the validity of Online and CG experiment, Online and photo experiment with each subjective evaluation results. The result of this study is that the validity difference is within 5% in the verification the validity of the physic amount, which showed little difference. While in verification of subjective evaluation of online and CG, online and photo experiment, the result is showed little difference as well except a little the item.