• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.11 no.1
• /
• pp.1-17
• /
• 2017

Mobile Cloud Computing has become a promising computing platform. It moves users' data to the centralized large data centers for users' mobile devices to conveniently access. Since the data storage service may not be fully trusted, many public verification algorithms are proposed to check the data integrity. However, these algorithms hardly consider the huge computational burden for the verifiers with resource-constrained mobile devices to execute the verification tasks. We propose an energy-efficient algorithm for assigning verification tasks (EEAVT) to optimize the energy consumption and assign the verification tasks by elastic and customizable ways. The algorithm prioritizes verification tasks according to the expected finish time of the verification, and assigns the number of checked blocks referring to devices' residual energy and available operation time. Theoretical analysis and experiment evaluation show that our algorithm not only shortens the verification finish time, but also decreases energy consumption, thus improving the efficiency and reliability of the verification.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.2202-2203
• /
• 2011

AC substation of urban transit supplies a suitable AC power on electricity vehicles. AC substation is verified electrical safety of system through pre-operation inspection on electrical installations to be supplied power from KEPCO. However, because test items and method for AC traction system are unprepared on pre-operation inspection, the general safety and performance verification of AC traction system are very insufficient. Therefore this paper analyze the test examples such as factory equipment tests, factory combined tests and railway tests for the safety and performance verification of AC traction system and present a suitable test items and test standard in domestic.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2002.11b
• /
• pp.74-79
• /
• 2002

The piping verification tests were performed in order to verify the structural integrity during initial operation of the reactor coolant systems and the primary heat transportation systems of nuclear power plants by KEPRI in Korea. The tests were conducted at full operating temperature and pressure. The objective is to evaluate the possibility of excessive load generating on piping, piping supports, and reactor structures etc. in the steady normal operation and expected pump transient conditions. As a result, the measured vibrations have been shown acceptable level according to ASME/ANSI OMa-Standard, Part 3.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2002.11a
• /
• pp.315.1-315
• /
• 2002

The piping verification tests were performed in order to verify the structural integrity during initial operation of the reactor coolant systems and the primary heat transportation systems of nuclear power plants by KEPRI in Korea. The tests were conducted at full operating temperature and pressure. The objective is to evaluate the possibility of excessive load generating on piping, piping supports, and reactor structures etc. in the steady normal operation and expected pump transient conditions. (omitted)

• Proceedings of the KSR Conference
• /
• 2007.05a
• /
• pp.1722-1728
• /
• 2007

This study analysed testing method for performance verification in the phase of signalling system development for application in the Light Rail Transit(LRT). The main focus in this study therefore includes development of vehicle location detection system by first GPS and analysis of performance verification method by field testing. The comprehensive testing method has been analysed for the signalling system for LRT high speed operation. The signalling system for LRT high speed operation deals with vehicle location identification through vehicle location information using the second GPS and decision for whether the high speed proceed signal and departure inhibition output is feasible or not and for signalling output to the corresponding vehicle.

• Proceedings of the KSR Conference
• /
• 2008.06a
• /
• pp.499-504
• /
• 2008

DC substation of urban transit supplies a suitable DC power on electricity vehicles by being supplied from KEPCO. DC substation is verified electrical safety of system through pre-operation inspection on electrical installations to be supplied power from KEPCO. However, because test items and method for DC traction system are unprepared on pre-operation inspection, the general safety and performance verification of DC traction system are very insufficient. Therefore this paper analyze the overseas test examples such as factory equipment tests, factory combined tests and railway tests for the safety and performance verification of DC traction system and present a suitable test items and test standard in domestic.

• 한국연소학회:학술대회논문집
• /
• 2012.04a
• /
• pp.35-36
• /
• 2012

Part load operation usually covers large periods of the total operation time on the economic ground and electricity demand in small-scale boilers. Performance analysis of part load behavior is very important for the purpose of boiler operation optimization. A simple thermal calculation approach is applied to predict performance of a pilot-scale circulating fluidized bed (CFB) boiler at part load operation. Verification has been carried out by comparing between calculation results an operation data of the boiler.

• Journal of the Korea Society for Simulation
• /
• v.28 no.4
• /
• pp.33-43
• /
• 2019

Link-16 is a data link that provides joint interoperability to the US Navy, Air Force and NATO. Currently, the military relies entirely on foreign SW and tools for test environment, tactical simulation training and interoperability verification test for Link-16 operation. Therefore, it is necessary to develop Link-16 based operation environment test tool. In this paper, Link-16 network operational performance analysis simulator was developed by analyzing the function of Link-16 foreign tools. It also implements the SIMPLE standard interface for interworking with foreign SW and tools. The functional model for Link-16 network operation performance analysis consists of pre-analysis, real-time operational analysis, and post-analysis functional model. Each functional model test was performed through SIMPLE interworking with foreign SW and tools. Link-16 network operation performance analysis If we replace foreign SW through simulator, we can perform tactical training, network design verification and operation (scenario) verification for our military.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.09a
• /
• pp.216-219
• /
• 2003

Among the techniques to protect private information by adopting biometrics, speaker verification is expected to be widely used due to advantages in convenient usage and inexpensive implementation cost Speaker verification should achieve a high degree of the reliability in the verification nout the flexibility in speech text usage, and the efficiency in verification system complexity. Continuants have excellent speaker-discriminant power and the modest number of phonemes in the category, and multilayer perceptrons (MLPs) have superior recognition ability and fast operation speed. In consequence, the two provide viable ways for speaker verification system to obtain the above properties. This paper implements a system to which continuants and MLPs are applied, and evaluates the system using a Korean speech database. The results of the experiment prove that continuants and MLPs enable the system to acquire the three properties.

• Journal of the Korea Society of Computer and Information
• /
• v.24 no.6
• /
• pp.1-9
• /
• 2019

Hard disks, which have long been used as secondary storage in computing systems, are increasingly being replaced by solid state drives (SSDs), due to their relatively fast data input / output speeds and small, light weight. SSDs that use NAND flash memory as a storage medium are significantly different from hard disks in terms of physical operation and internal operation. In particular, there is a feature that data overwrite can not be performed, which causes erase operation before writing. In order to solve this problem, a hot data for frequently updating a data for a specific page is distinguished from a cold data for a relatively non-hot data. Hot data identification helps to improve overall performance by identifying and managing hot data separately. Among the various hot data identification methods known so far, there is a technique of recording consecutive write requests by using a Bloom filter and judging the values by hot data. However, the Bloom filter technique has a problem that a new bit array must be generated every time a set of items is changed. In addition, since it is judged based on a continuous write request, it is possible to make a wrong judgment. In this paper, we propose a method using a counting filter for accurate hot data verification. The proposed method examines consecutive write requests. It also records the number of times consecutive write requests occur. The proposed method enables more accurate hot data verification.