• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.29A no.8
• /
• pp.99-109
• /
• 1992

First, the coupling faults of semiconductor memory are classified in detail. The chained coupling fault is introduced and defined, which results from sequential influencing of the coupling effects among memory cells, and its mapping relation is described. The linked coupling fault and its order are defined. Second, the deterministic “Algorithm GA” is proposed, which detects stuack-at faults, transition faults, address decoder faults, unlinked 2-coupling faults, and unlinked chained coupling faults. The time complexity and the fault coverage are improved in this algorithm. Third, it is proved that the march test of an address sequence can detect 97.796% of the linked 2-coupling faults with order 2. The deterministic “Algorithm NA” proposed can detect to the limit. The time complexity and the fault coverage are improved in this algorithm.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.11
• /
• pp.1414-1428
• /
• 1999

ATM/B-ISDN 신호 프로토콜과 같은 통신 프로토콜의 상호운용성을 시험하기 위한 시험경우를 생성하는 알고리즘이 제안되었다 1]. 현재까지 상호운용성 시험경우 도출을 자동화하거나 이에 대한 커버리지를 분석한 경우는 없다. 본 논문은 1]에서 제안한 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜에 적용하고 결과를 분석한다. 이 과정에서 (1) TCP 연결설정 프로토콜의 3방향 핸드 쉐이킹 부분을 다루지 못했던 기존의 알고리즘을 개선하고, (2) 개선된 알고리즘을 프로그램으로 구현하여 TCP 연결설정 프로토콜의 상호운용성 시험경우를 도출하고, (3) 생성된 상호운용성 시험경우를 트랜지션 커버리지 관점에서 분석하고, (4) 향상된 트랜지션 커버리지를 얻기 위하여 알고리즘 확장 방안을 제시한다.Abstract A test derivation method suitable for testing interoperability for the class of communication protocols like the ATM/B-ISDN signaling protocol was proposed 1]. Up to now, there is no work on automating derivation of the interoperability test suite and analyzing its coverage. In this paper, we implement the algorithm proposed by 1], apply it to the Transmission Control Protocol (TCP), and analyze its results. In this process, we (1) improve the algorithm that is not applicable to the TCPs three-way handshaking, (2) implement the improved algorithm as a program and derive an interoperability test suite automatically from a given pair of TCP FSMs, (3) analyze generated interoperability test suite in view of transition coverage, and (4) present a method in order to extend the algorithm for better transition coverage.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.43 no.8 s.350
• /
• pp.27-34
• /
• 2006

During Built-In Self-Test(BIST), The set of patterns generated by a pseudo-random pattern generator may not provide sufficiently high fault coverage and many patterns were undetected fault. In order to reduce the test time, we can remove useless patterns or change from them to useful patterns. In this paper, we reseed modify the pseudo-random and use an additional bit flag to improve test length and achieve high fault coverage. the fat that a random tset set contains useless patterns, so we present a technique, including both reseeding and bit modifying to remove useless patterns or change from them to useful patterns, and when the patterns change, we choose number of different less bit, leading to very short test length. the technique we present is applicable for single-stuck-at faults. the seeds we use are deterministic so 100% faults coverage can be achieve.

• Journal of the Korean Society for Railway
• /
• v.10 no.5
• /
• pp.589-595
• /
• 2007

Korea Railroad Research Institute has developed the driverless rubber-tired K-AGT (Korean-Automated Guideway Transit) system from 1999 to 2005 and has done its performance and reliability tests on the test line at Gyeongsan-city. Radio Frequency Communication-Based Train Control system of K-AGT, which employed Advanced Automated Train Control scheme, detects train position using the radio propagation delay between wayside and vehicle radio equipment. In this paper, we investigate whether the transmission power of radio system can be reduced to the permitted level announced by the Ministry of Information and Communication for license-free ISM(Industrial Scientific Medical) frequency bands. We first determine radio propagation model, using the measured data at test line, and perform simulation for radio coverage prediction. From the simulation results, we identify that the radio system operated with reduced power can provide good link quality in total test line.

• Journal of Periodontal and Implant Science
• /
• v.51 no.2
• /
• pp.77-87
• /
• 2021

Purpose: The aim of this study was to compare the efficacy of the tunnel technique for root coverage using a new xenogeneic acellular dermal matrix vs. connective tissue grafting (CTG) for the treatment of multiple maxillary adjacent recessions (recession type 1) at 12 months postoperatively. Methods: This study enrolled 12 patients with at least 3 contiguous, bilateral, symmetrical maxillary gingival recessions (i.e., at least 6 recessions per patient). In total, 74 recessions were treated using the modified coronally advanced tunnel (MCAT) technique combined with a novel porcine-derived acellular dermal matrix (PADM) at 37 test sites or CTG at 37 control sites. The following clinical parameters were measured: recession height, clinical attachment level, width of keratinized tissue, probing depth, recession width, gingival thickness, mean root coverage (MRC), and complete root coverage (CRC). Comparisons between test and control groups were made for pain visual analog scale scores at 14 days. Results: At 12 months, the MCAT with PADM (test) yielded a statistically significant improvement in all clinical parameters studied. MRC was significantly higher on the control sides (80.6%±23.7%) than on the test sides (68.8%±23.4%). Similarly, CRC was 48.7%±6.8% on the control sides (CTG), in contrast to 24.3%±8.2% on the test sides (PADM). Statistically significant differences were observed in favor of the control sides for all clinical parameters studied. Nevertheless, the MCAT in adjunction with PADM was clearly superior at reducing mean and maximum patient-reported postoperative pain intensity and pain duration in the first week after surgery. Conclusions: The use of PADM to treat multiple recessions improved clinical parameters at 12 months, but these outcomes were nevertheless poorer than those observed for CTG. However, PADM reduced morbidity, particularly the pain experienced by patients.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.46 no.9
• /
• pp.14-24
• /
• 2009

Memory cell array and peripheral circuits are designed for system on panel style frame buffer. Moreover, a parallel test methodology to test multiple blocks of memory cells is proposed to overcome low yield of system on panel processing technologies. It is capable of faster fault detection compared to conventional memory tests and also applicable to the tests of various embedded memories and conventional SRAMs. The various patterns of conventional test vectors can be used to enhance fault coverage. The proposed testing method is also applicable to hierarchical bit line and divided word line, one of design trends of recent memory architectures.

• Korean Journal of Environment and Ecology
• /
• v.26 no.3
• /
• pp.437-445
• /
• 2012

The study performed the implementation monitoring of the revegetation methods applied to the test-bed of Simgok Stream in Incheon to identify the effect of water level and inundation period on the vegetation coverage of the stream bank revegetation methods. The categories of monitoring included the plant species and plant coverage for each method, physicochemical property of soil, water level and water quality. The result of monitoring revealed that plant growth conditions of all revegetation methods of each stream bank were good in the first survey as of May 2010. However, in the second survey of June 2011 when inundation period was less than a week, plant growth conditions and coverage of revegetation methods were partially bad. In the third survey as of August 2011 when inundation period was longest as 8 weeks during survey period, most vegetations did not survive except for Phragmites communis. But plant species number and plant coverage were increased gradually in the forth survey as of October 2011 when inundation period was less than 2 weeks so water level decreased more than that of third survey. Accordingly, the correlation analysis among number of plant species and plant coverage on stream bank, which applied revegetation method, water level and inundation period was performed for quantitative analysis. The result revealed that number of plant species and plant coverage has a negative correlation with water level and inundation period, but inundation period had higher correlation with plant occurrence than water level.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.9
• /
• pp.1177-1184
• /
• 1999

본 논문에서는 스캔플립프롭 선택 시간이 짧고 높은 고장 검출률(fault coverage)을 얻을 수 있는 새로운 부분스캔 설계 기술을 제안한다. 순차회로에서 테스트패턴 생성을 용이하게 하기 위하여 완전스캔 및 부분스캔 설계 기술이 널리 이용되고 있다. 스캔 설계로 인한 추가영역을 최소화 하고 최대의 고장 검출률을 목표로 하는 부분스캔 기술은 크게 구조분석과 테스트 가능도(testability)에 의한 설계 기술로 나누어 볼 수 있다. 구조분석에 의한 부분스캔은 짧은 시간에 스캔플립프롭을 선택할 수 있지만 고장 검출률은 낮다. 반면 테스트 가능도에 의한 부분스캔은 구조분석에 의한 부분스캔보다 스캔플립프롭의 선택 시간이 많이 걸리는 단점이 있지만 높은 고장 검출률을 나타낸다. 본 논문에서는 구조분석에 의한 부분스캔과 테스트 가능도에 의한 부분스캔 설계 기술의 장단점을 비교.분석하여 통합함으로써 스캔플립프롭 선택 시간을 단축하고 고장 검출률을 높일 수 있는 새로운 부분스캔 설계 기술을 제안한다. 실험결과 대부분의 ISCAS89 벤치마크 회로에서 스캔플립프롭 선택 시간은 현격히 감소하였고 비교적 높은 고장 검출률을 나타내었다.Abstract This paper provides a new partial scan design technique which not only reduces the time for selecting scan flip-flops but also improves fault coverage. To simplify the problem of the test pattern generation in the sequential circuits, full scan and partial scan design techniques have been widely adopted. The partial scan techniques which aim at minimizing the area overhead while maximizing the fault coverage, can be classified into the techniques based on structural analysis and testabilities. In case of the partial scan by structural analysis, it does not take much time to select scan flip-flops, but fault coverage is low. On the other hand, although the partial scan by testabilities generally results in high fault coverage, it requires more time to select scan flip-flops than the former method. In this paper, we analyzed and unified the strengths of the techniques by structural analysis and by testabilities. The new partial scan design technique not only reduces the time for selecting scan flip-flops but also improves fault coverage. Test results demonstrate the remarkable reduction of the time to select the scan flip-flops and high fault coverage in most ISCAS89 benchmark circuits.

• Health Policy and Management
• /
• v.33 no.3
• /
• pp.325-337
• /
• 2023

Background: While there are many studies estimating the effects of private health insurance on various types of health care utilization, few have examined how such effects change in conjunction with important policy reforms in national health insurance (NHI). This study examined how the effect of private health insurance (supplemental and fixed cash benefit) on high-cost outpatient imaging test utilization changed following the expansion of magnetic resonance imaging (MRI) coverage in 2018, which is a key example of the NHI benefit expansion policy in recent years. Methods: Data from the 2017 and 2019 Korea Health Panel Survey, which contained information about healthcare utilization before and after the expansion of MRI coverage in 2018, were used. The incremental effect of private health insurance on high-cost outpatient imaging test utilization for each period were quantified and compared, with special attention given to the type of private health insurance. Results: While people with supplemental private health insurance were more likely to use high-cost outpatient imaging tests than those without, both before and after the expansion of MRI coverage, the incremental effect increased from 1.6% points in 2017 to 2.5% points in 2019. Conclusion: Benefit expansion in NHI does not necessarily reduce disparities in the use of health care between private health insurance subscribers and non-subscribers. The results of our study also suggest that the path through which private health insurance affects healthcare utilization may not be limited to the price mechanism alone but can be more complex.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.35C no.4
• /
• pp.11-20
• /
• 1998

Fault simulatior has been used to compute exact fault coverages of test vectors for digial circuits. But it is time consuming because execution time is proportional to square of circuit size. Recently, several algorithms for testability analysis have been published to cope with these problems. COP is very fast and accurate but cannot be used for sequential circuits, while STAFAN can be used for sequential circuits but needs vast amount of execution time due to good circuit simulation. We proposed EXTASEC which gave fast and accurate fault coverage. But it shows noticeable errors for a few sequential circuits. In this paper, it is shown that the inaccuracy is due to uninitializble flipflops, and we propose ITEM to improve the EXTASEC algorithm. ITEM is an improved evaluation method of fault coverage by analysis of backward lines and uninitializable flipflops. It is expected to perform efficiently for very large circuits where execution time is critical.