• Proceedings of the KSRS Conference
• /
• 2003.11a
• /
• pp.1105-1107
• /
• 2003

Remote sensing data processing and analysis system can be developed based on the Grid Coverage Specification and this kind of system is also can be easily interoperate with GIS systems conforming OpenGIS specification. This paper proposes a method to implement easily and quickly the new grid coverages that provide new operations, or services, by reusing the existing grid coverage components, which is based on the fact that the pipeline constructed by grid coverages can be represented in one grid coverage. This method complements easily the deficiency of the existing grid coverage components and enables quick implementation of the new grid coverage that provides complex processing operations.

• The KIPS Transactions:PartA
• /
• v.16A no.1
• /
• pp.35-42
• /
• 2009

This paper proposes a new coverage algorithm for intelligent robot. Many algorithms for improving the performance of coverage have been focused on minimizing the total coverage completion time. However, if one does not have enough time to finish the whole coverage, the optimal path could be different. To tackle this problem, we propose a new coverage algorithm, which we call MaxCoverage algorithm, for covering maximal area within the deadline. The MaxCoverage algorithm decides the navigation flow by greedy algorithm for Set Covering Problem. The experimental results show that the MaxCoverage algorithm performs better than other algorithms for random deadlines.

• Communications for Statistical Applications and Methods
• /
• v.20 no.6
• /
• pp.467-474
• /
• 2013

It is common to measure multiple coverage metrics during software testing. Software reliability growth models and coverage growth functions have been applied to each coverage metric to evaluate software reliability; however, analysis results for the individual coverage metrics may conflict with each other. This paper proposes the virtual coverage metric of a normalized first principal component in order to avoid conflicting cases. The use of the virtual coverage metric causes a negligible loss of information.

• Fashion & Textile Research Journal
• /
• v.10 no.6
• /
• pp.966-978
• /
• 2008

The aim of this study was to provide size intervals in hand requisite in design of gloves. In this study, a survey was administered to gather information about glove manufacturers' sizing systems. In addition, KS glove standards' size dimensions were analyzed. As well, the ISO hand sizing system was also studied. Based on all the analyses' results, a new glove size intervals were composed. The size comprised the control dimensions of hand length and hand circumference. The size interval was 8mm in hand length and 13mm in hand circumference. The size range was established by making the coverage above 80%. The coverage of the new size interval system for an adult's hand was 86.4% and 13 sizes were suggested. The coverage of the male size system was 86.0% and 10 sizes were suggested. The coverage of the female size system was 87.6% and 8 sizes were suggested. For the unfitted gloves, size ranges based on hand length and hand circumference were developed. For the adults group, S, M, L, and XL were suggested and the coverage of the new size range was 78.8%. For the male group, S, M, and L were suggested and the coverage was 82.3%. For the female group, S, M, and L were also suggested and the coverage was 81.3%.

• International Journal of Quality Innovation
• /
• v.5 no.1
• /
• pp.110-121
• /
• 2004

There is a new trend of incorporating software coverage metrics into software reliability modelling. This paper proposes a coverage-based software reliability growth model. Firstly, the failure rate function in coverage is analytically derived. Then it is shown that the number of detected faults follows a Nonhomogeneous Poisson distribution of which intensity function is the failure rate function in coverage. Practical applicability of the proposed models is examined by illustrative numerical examples.

• Bulletin of the Korean Chemical Society
• /
• v.18 no.4
• /
• pp.385-389
• /
• 1997

We report on the development of a new method to control the coverage of a metal film prepared with immersion method. An Sb species in solution adsorbed irreversibly at an open circuit potential (∼0.2 V) as an oxygenous Sb(Ⅲ) on a clean Au electrode, and the adsorbates showed voltammetric features in the potential range from 0.1 V to - 0.4 V. The full coverage of the Sb adsorbates was ∼0.45. On the contrary, the Sb species in solution did not adsorb at all on iodine-covered Au electrode surfaces, when the iodine coverages were more than 0.25. As the iodine coverage decreased below 0.25, however, the irreversible adsorption of Sb took place and the coverage of Sb increased accordingly. This electrochemical behavior has been interpreted as the penetration of the adsorbing Sb species in solution through open spaces among the iodine adlattices of coverages less than 0.25. With the manipulation of the iodine coverage, the controllable range of Sb coverage was from 0 to 0.45, i.e. the full coverage of Sb. In addition, the reversible deposition of Sb on an iodine-saturated Au electrode with voltammetric scan has been observed, which is contrasted with the adsorptive behavior of Sb on the clean Au electrode.

• Health Policy and Management
• /
• v.30 no.2
• /
• pp.178-184
• /
• 2020

Background: Korea set up a new diagnosis-related group as a demonstration project in 2009. The new diagnosis-related group was reformed in 2016. The main purpose of the study is to identify the effect of reform on coverage of national health insurance. Methods: This study collected inpatient data from a hospital that contains medical information and cost from 2015 July to 2016 June. The dependent variable was the coverage of national health insurance. The dependent variable was divided by total, internal medicine partition, surgical partition, and psychiatric partition. To analyze the effect of the reform, this study conducted an interrupted time series analysis. The final sample included 23,695. Results: The health insurance coverage of internal medicine has the highest, followed by surgery and psychiatry. The health insurance coverage of bundle payment is higher than that of unbundled payment. The proportion of bundled payment and non-benefit decreased and the proportion of unbundled payment increased. The coverage of national health insurance significantly increased after policy reform in internal medicine partition (p-value=0.0356). Conclusion: The results of the study imply that policy reform enhanced the coverage of national health insurance in internal medicine. The government needs to monitor side effects such as an increase of unbundled payment.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.13 no.7
• /
• pp.3511-3532
• /
• 2019

Coverage-guided fuzzing is an efficient solution that has been widely used in software testing. By guiding fuzzers through the coverage information, seeds that generate new paths will be retained to continually increase the coverage. However, we observed that most samples follow the same few high-frequency paths. The seeds that exercise a high-frequency path are saved for the subsequent mutation process until the user terminates the test process, which directly affects the efficiency with which the low-frequency paths are tested. In this paper, we propose a fuzzing solution, ER-Fuzz, that truncates the recording of a high-frequency path to influence coverage. It utilizes a deep learning-based classifier to locate the high and low-frequency path transfer points; then, it instruments at the transfer position to promote the probability low-frequency transfer paths while eliminating subsequent variations of the high-frequency path seeds. We implemented a prototype of ER-Fuzz based on the popular fuzzer AFL and evaluated it on several applications. The experimental results show that ER-Fuzz improves the coverage of the original AFL method to different degrees. In terms of the number of crash discoveries, in the best case, ER-Fuzz found 115% more unique crashes than did AFL. In total, seven new bugs were found and new CVEs were assigned.

• The KIPS Transactions:PartD
• /
• v.8D no.4
• /
• pp.409-420
• /
• 2001

Recently a new approach to evaluation of software reliability, one of important attributes of a software system, during testing has been devised. This approach utilizes test coverage information. The coverage-based software reliability growth models recently appeared in the literature are first reviewed and classified into two classes. Inherent problems of each of the two classes are then discussed and their validity is empirically investigated. In addition, a new mean value function in coverage and a heuristic procedure for selecting the best coverage are proposed.

• Journal of Advanced Marine Engineering and Technology
• /
• v.22 no.5
• /
• pp.687-692
• /
• 1998

Test pattern generation is one of most difficult problems encountered in automating the design of logic circuits. The goal is to obtain the highest fault coverage with the minimum number of test patterns for a given circuit and fault set. although there have been many deterministic algorithms and heuristics the problem is still highly complex and time-consuming. Therefore new approach-es are needed to augment the existing techniques. This paper considers the problem of test pattern improvement for combinational circuits as a restricted subproblem of the test pattern generation. The problem is to maximize the fault coverage with a fixed number of test patterns for a given cir-cuit and fault set. We propose a new approach by use of a genetic algorithm. In this approach the genetic algorithm evolves test patterns to improve their fault coverage. A fault simulation is used to compute the fault coverage of the test patterns Experimental results show that the genetic algorithm based approach can achieve higher fault coverages than traditional techniques for most combinational circuits. Another advantage of the approach is that the genetic algorithm needs no detailed knowledge of faulty circuits under test.