• Journal of the Korea Society of Computer and Information
• /
• v.12 no.6
• /
• pp.89-96
• /
• 2007

Finite failure NHPP models presented in the literature exhibit either constant. monotonic increasing or monotonic decreasing failure occurrence rates per fault. Accurate predictions of software release times. and estimation of the reliability and availability of a software product require quality of a critical element of the software testing process : test coverage. This model called Enhanced non-homogeneous Poission process(ENHPP). In this paper, exponential coverage and S-type model was reviewed, proposes modified(the superosition and mixture) model, which make out efficiency application for software reliability. Algorithm to estimate the parameters used to maximum likelihood estimator and bisection method. model selection based on SSE statistics for the sake of efficient model, was employed.

• Journal of Society of Preventive Korean Medicine
• /
• v.21 no.3
• /
• pp.29-42
• /
• 2017

Background : Efforts towards increasing insurance coverage for traditional Korean medicine (TKM) are being continued. However, various difficulties are faced in generating evidence for TKM due to limited financial support and the low quality of research methodology. Objectives : The objectives of this study were to review the Swiss evaluation program for complementary and alternative medicine (CAM) and assess the expansion in public health insurance coverage of complementary medicine as approved by referendum in Switzerland. Methods : The regulations of CAM in the European Union were assessed. Research articles, reports, government publications and websites which deal with the 'Programm Evaluation $Komplement{\ddot{a}}rmedizin$ (PEK)' and the referendum in Switzerland were searched for and analyzed. Results : The PEK was conducted from 1998 to 2005. The PEK evaluated the efficacy, utilization and cost-effectiveness of anthroposophical medicine, homeopathy, neural therapy, phytotherapy and traditional Chinese medicine. However, clear conclusions could not be drawn from the evaluation according to the PEK Report. Later, a referendum was implemented in which 5 therapies would be added to the Switzerland Constitution with the support of the public. The coverage of CAM was approved by Swiss a plebiscite with an approval rate of 67.0%. Conclusions : The reason for the successful referendum is suggested to be public support and the solidarity with CAM experts and politicians. It may be surmised that recognition of the political efforts and scientific aspects required to expand insurance coverage of TKM, and towards obtaining public support, is necessary.

• The Journal of Korean Academy of Prosthodontics
• /
• v.42 no.4
• /
• pp.397-411
• /
• 2004

Purpose: The purpose of this study was to determine the effect of anchorage systems and palatal coverage of denture base on load transfer in maxillary implant-supported overdenture. Material and methods: Maxillary implant -supported overdentures in which 4 implants were placed in the anterior region of edentulous maxilla were fabricated, and stress distribution patterns in implant supporting bone in the case of unilateral vertical loading on maxillary right first molar were compared with each other depending on various types of anchorage system and palatal coverage extent of denture base using three-dimensional photoelastic stress analysis. Two photoelastic overdenture models were fabricated in each anchorage system to compare with the palatal coverage extent of denture base, as a result we got eight models : Hader bar using clips(type 1), cantilevered Hader bar using clips(type 2), Hader bar using clip and ERA attachments(type 3), cantilevered milled-bar using swivel-latchs and frictional pins(type 4). Result: 1. In all experimental models, the highest stress was concentrated on the most distal implant supporting bone on loaded side. 2. In every experimental models with or without palatal coverage of denture base, maximum fringe orders on the distal ipsilateral implant supporting bone in an ascending order is as follows; type 3, type 1, type 4, and type 2. 3. Each implants showed compressive stresses in all experimental models with palatal coverage of denture base, but in the case of those without palatal coverage of denture base, tensile stresses were observed in the distal contralateral implant supporting bone. 4. In all anchorage system without palatal coverage of denture base, higher stresses were concentrated on the most distal implant supporting bone on loaded side. 5. The type of anchorage system affected in load transfer more than palatal coverage extent of the denture base. Conclusion: To the results mentioned above, in the case of patients with unfavorable biomechanical conditions such as not sufficient number of supporting implants, short length of the implant, and poor bone quality, selecting a resilient type attachment or minimizing the distal cantilevered bar is considered to be an appropriate method to prevent overloading on implants by reducing cantilever effect and gaining more support from the distal residual ridge.

• JSTS:Journal of Semiconductor Technology and Science
• /
• v.2 no.2
• /
• pp.132-140
• /
• 2002

This paper presents an ARM-based SOC bus transaction verification IP and the usage experiences in SOC designs. The verification IP is an AMBA AHB protocol checker, which captures legal AHB transactions in FSM-style signal sequence checking routines. This checker can be considered as a reusable verification IP since it does not change unless the bus protocol changes. Our AHB protocol checker is designed to be scalable to any number of AHB masters and reusable for various AMBA-based SOC designs. The keys to the scalability and the reusability are Object-Oriented Programming (OOP), virtual port, and bind operation. This paper describes how OOP, virtual port, and bind features are used to implement AHB protocol checker. Using the AHB protocol checker, an AHB simulation monitor is constructed. The monitor checks the legal bus arbitration and detects the first cycle of an AHB transaction. Then it calls AHB protocol checker to check the expected AHB signal sequences. We integrate the AHB bus monitor into Verilog simulation environment to replace time-consuming visual waveform inspection, and it allows us to find design bugs quickly. This paper also discusses AMBA AHB bus transaction coverage metrics and AHB transaction coverage analysis. Test programs for five AHB masters of an SOC, four channel DMAs and a host interface unit are executed and transaction coverage for DMA verification is collected during simulation. These coverage results can be used to determine the weak point of test programs in terms of the number of bus transactions occurred and guide to improve the quality of the test programs. Also, the coverage results can be used to obtain bus utilization statistics since the bus cycles occupied by each AHB master can be obtained.

• Journal of KIISE
• /
• v.43 no.9
• /
• pp.953-962
• /
• 2016

Model-based testing is a technique for performing the test by using a model that represents the behavior of the system as a system specification. Industrial domains such as automotive, military/aerospace, medical, railway and nuclear power generation require model-based testing and code coverage-based testing to improve the quality of software. Despite the fact that both model-based testing and code coverage-based testing are required, difficulty in achieving a high coverage using model-based testing caused by the abstraction level difference between the test model and the source code, results in the need for performing model-based testing separately. In this study, to overcome the limitations of the existing model-based testing, we proposed the state machine transformation method to effectively improve the code coverage using the protocol state machine, one of the typical modeling methods is used as the test model in model-based testing, as the test model. In addition, we performed a case study of both systems and analyzed the effectiveness of the proposed method.

• KIPS Transactions on Software and Data Engineering
• /
• v.4 no.9
• /
• pp.425-430
• /
• 2015

The Sensor Registry System(SRS) provides sensor metadata to a user for instant use and seamless interpretation of sensor data in a heterogeneous sensor network environment. The existing sensor registry system cannot provide sensor metadata in case that the network connection is not available or is unstable. To resolve the problem, this paper proposes an extension of sensor registry system using network coverage information. The extended system sends a set of sensor metadata to the user by using network coverage open data (mobile vendors, signal strength, communication type). The extended SRS proposed in this paper supports a safer sensor metadata provision than the existing SRS, and it thus improves the quality of application services.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.29 no.10A
• /
• pp.1139-1146
• /
• 2004

An abrupt increase of traffic-load in cellular CDMA systems can cause overload, as a result, degrade the quality of service (QoS) and the spectrum utilization due to lacking radio resources in base stations. In this paper, we propose a joint coverage and resource management (JCRM) scheme which can improve the QoS degradation and the spectrum utilization. The JCRM scheme hands over the overloaded traffic to neighboring cells by virtually reducing overloaded cell coverage and extending neighboring cell coverage, as well the scheme allocates radio resources based on the necessary handover probability. The proposed scheme can be applied to the existing cellular CDMA systems as well as adaptive coverage management schemes for next generation mobile communication systems.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.34 no.9B
• /
• pp.876-882
• /
• 2009

In this paper, we propose a sub-cell coverage control algorithm for enhancement of the cell throughput in OFDMA based relay systems. Relay station (RS) is exploited for improved quality of the received signal in cellular communication systems, especially in shadow areas. However, since a RS requires additional radio resource consumption for the link between the base station (BS) and the RS, we have to carefully control the coverage areas if a mobile station (MS) is serviced via the BS or the RS considering the cell throughput. We consider radio resource reuse as well for the sub-cell coverage configuration by applying various reuse patterns between RSs. We also consider a time varying system by adaptively changing the threshold for coverage depending on the MSs' traffic in the cell. We initially determine the sub-cell coverage of the system depending on the ratio of received signal-interference-noise-ratio (SINR) of the MS from the BS and RSs, respectively. Then, the "sub-cell coverage threshold" varies based on the "effective transmitted bits per sub-channel" with time. Simulation result shows that the proposed "time varying coverage control algorithm" leads to throughput improvement compared to the fixed sub-cell coverage configuration.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.43 no.5 s.347
• /
• pp.113-120
• /
• 2006

This thesis deals with solutions such as coverage area extension, reduction of the shadow region and performance enhancement of handover caused by structural modification of WiBro network. The More far the distance of RAS(Radio Access Station) and SS(Subscriber Station) is in micro cell, the more bad the quality of channel environment becomes owing to radio interference. Consequently, it causes the deterioration of the throughput and also the deterioration of communication quality in many sides. In fact, most users of WiBro are located in the region, the QPSK region which is bad in point of channel quality. It brings the service complaint by user. We select RS(relay station) to solve the matter caused by channel environment in this cell, and extend coverage and improve the performance of handover call blocking.

• Journal of Information Management
• /
• v.34 no.3
• /
• pp.21-39
• /
• 2003

This study aims to evaluate the quality of Bibliographic database : The Union Catalog system(UNICAT) and Korean Library Information System Network(KOLIS-NET). The seven criteria(Coverage, Accuracy, Completeness, Currentness, Consistency on the quality of data itself and easy of use, Customer Support on the quality of database service) are used to measure their quality. The purpose of this study was dignose the quality of two bibliographic database mentioned above and analyses the measured result of quality comparatively and to find out the problems of them and also to provide possible suggestion for their improvements.