• Proceedings of the Korea Society for Simulation Conference
• /
• 1993.10a
• /
• pp.2-2
• /
• 1993

Inference for discrete event simulations usually relies on either independent replications or, if each simulation run is expensive, the method of batch means applied to a single replications. We present a new method, threshold bootstrap, which equals or exceeds the performance of independent replications or batch means. The method works by resampling runs of data created when a stationary time series crosses a threshold level, such as the sample mean of series. Computational results show that the threshold bootstrap matches or exceeds the performance of these alternative methods in estimating the standard deviation of the sample mean and producing valid confidence intervals.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.2
• /
• pp.377-387
• /
• 2009

Digital signatures not only provide a way of guaranteeing the integrity of data but also establish the identity of the signer. However, basic digital signature format which contains only the signature of the signer does not guarantee the correctness of its creation time, and it can not remain valid over long periods. This paper proposes a system which integrates timestamp service into digital signatures. The system provides online services for the creation and verification of long term digital signatures which can give the guarantee of the correctness of their creation times and can be proved to be valid over long periods. The proposed system can be used in the various areas such as e-commerce contracts, document archival services, and invoice applications, which requires long term digital signatures. The proposed system is tested with the KRISS timestamp service system.

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

This paper describes a design and implementation of the tree-based document editing system for XML application, available at the structure-oriented environment. This system converts DTD to ASTD( Syntax Tree Definition) to support syntax-directed editing for valid document, considers the extensibility to add new tools and supports multiple entry parser for real-time document validation. It is expected that this paper contributes related XML application document editing system development model.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.11 no.2
• /
• pp.125-134
• /
• 2016

NAND flash memory has unique characteristics like as 'out-place-update' and limited lifetime compared with traditional storage systems. According to out-of-place update scheme, a number of invalid (or called dead) pages can be generated. In this case, garbage collection is needed to reclaim invalid pages. Because garbage collection results in not only erase operations but also copy operations of valid (or called live) pages to other blocks, many garbage collection techniques have proposed to reduce the overhead and to increase the lifetime of NAND Flash systems. This techniques sometimes select victim blocks including cold data for the wear leveling. However, most of them overlook the cost of selecting victim blocks including cold data. In this paper, we propose a garbage collection technique named CAPi (Cost Age with Proportion of invalid pages). Considering the additional overhead of what to select victim blocks including cold data, CAPi improves the response time in garbage collection and increase the lifetime in memory systems. Additionally, the proposed scheme also improves the efficiency of garbage collection by separating cold data from hot data in valid pages. In experimental evaluation, we showed that CAPi yields up to, at maximum, 73% improvement in lifetime compared with existing garbage collections.

• The KIPS Transactions:PartB
• /
• v.9B no.2
• /
• pp.231-236
• /
• 2002

The classification of the speech-sound block comes from the multi-resolution analysis property of the discrete wavelet transform, which is used to reduce the computational time for the pre-processing of speech recognition. The merging algorithm is proposed to extract vapid speech-sounds in terms of position and frequency range. It performs unvoiced/voiced classification and denoising. Since the merging algorithm can decide the processing parameters relating to voices only and is independent of system noises, it is useful for extracting valid speech-sounds. The merging algorithm has an adaptive feature for arbitrary system noises and an excellent denoising signal-to-noise ratio and a useful system tuning for the system implementation.

• Journal of Arbitration Studies
• /
• v.22 no.1
• /
• pp.111-130
• /
• 2012

Judgment on the validity of patents on the subject of an arbitration does not. In other words, the occurrence of patents generated by the administrative action, and such administrative action by an authorized agency may be treated as legitimate until it is canceled. However, recent Supreme Court judgment on novelty and inventive step as well as judgments about the validity of the patent also made possible by the judiciary. This progress even in the mediation of an arbitral award which is premised on the validity of patents can be seen that possible. However, if the arbitration by an arbitrator if possible a certain portion of the limit exists. In other words, the effect of arbitration between the parties is valid. This patent is valid and invalid in arbitration even if the judgment relative to the effect ceases. In addition, the arbitration award and patent invalidation trial is in progress at the same time, if you consequently will reach a different conclusion. This can cause problems of double track. In addition, by extending the critical target recognition and enforcement in other countries can cause problems. Despite these problems, now about the validity of patents that it is possible intervention is necessary to discuss again.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.64 no.11
• /
• pp.1564-1570
• /
• 2015

This paper intends to suggest a sensing circuit of PWM voltage for a motor emulator operated in the inverter. In the emulation of the motor using a power converter, it is necessary to measure instantaneous voltage at the PWM voltage loaded from the inverter. Using a filter can generate instantaneous voltage, while it is difficult to follow the rapidly changing inverter voltage caused by the propagation delay and signal attenuation. The method of measuring the duty of PWM using FPGA can generate output voltage from the one-cycle delay of PWM, while the cost of hardware is increasing in order to acquire high precision. This paper suggests a PWM voltage sensing circuit using the analogue system that shows high precision, one-cycle delay of PWM and low-cost hardware. The PWM voltage sensing circuit works in the process of integrating input voltage for valid time by comparing levels of three-phase PWM input voltage, and produce the output value integrated at zero vector. As a result of PSIM simulation and the experiment with the produced hardware, it was verified that the suggested circuit in this paper is valid.

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

When user wants to find objects which have the nearest position from him, we use the nearest neighbor (NN) query. The GIS applications, such as navigation system and traffic control system, require processing of NN query for moving objects (MOs). MOs have trajectory with changing their position over time. Therefore, we should be able to find NN object continuously changing over the whole query time when process NN query for MOs, as well as moving nearby on trajectory of query. However, none of previous works consider trajectory information between objects. Therefore, we propose a method of continuous NN query for trajectory of MOs. We call this CTNN (continuous trajectory NN) technique. It ran find constantly valid NN object on the whole query time by considering of trajectory information.

• Journal of the Microelectronics and Packaging Society
• /
• v.22 no.2
• /
• pp.1-4
• /
• 2015

Qualification includes all activities to demonstrate that a product meets and exceeds the reliability goals. Manufacturers need to spend time and resources for the qualification processes under the pressure of reducing time to market, as well as offering a competitive price. Failure to qualify a product could result in economic loss such as warranty and recall claims and the manufacturer could lose the reputation in the market. In order to provide valid and reliable qualification results, manufacturers are required to make extra effort based on the operational and environmental characteristics of the product. This paper discusses optimal interval censoring design for reliability prediction of electronic packages under limited time and resources. This design should provide more accurate assessment of package capability and thus deliver better reliability prediction.

• Korean Journal of Oriental Medicine
• /
• v.14 no.3
• /
• pp.31-39
• /
• 2008

In a literary work may reflect the socio-enviromental situations of the time. Lee Injae wrote "Sujingyeongheomsinbang" in early $20^{th}$ century, in a time when japanese colonization began and with which the influence of so called modern medicine, western medicine, were increasing. Though this trend was ever increasing the system for education and propagation was not enough and the practice of TKM was still predominant in public. This book reflect the concern of the author about this transitional time. He stat ing that TKM has a strong point in internal medicine while western medicine in external or surgical diseases tries to consolidate both medicines. This opinion is still valid today or at least serve as a reference as this problem still remains us to solve.