• 전자공학회논문지A
• /
• 제29A권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.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권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.

• 대한전자공학회논문지SD
• /
• 제43권8호
• /
• pp.27-34
• /
• 2006

내장 자체 테스트 과정에서 의사 무작위 패턴 생성기에 의해 만들어진 패턴들은 효율적인 고장 검출을 제공하지 못한다. 쓸모없는 패턴들은 테스트 시간을 줄이기 위해 제거하거나 수정을 통해 유용한 패턴으로 바꾸어야한다. 본 논문에서는 LFSR에서 생성하는 의사 무작위 패턴을 수정하고 추가적인 유효 비트 플래그를 사용하여 테스트 길이를 개선하고 높은 고장 검출률을 높이는 방법을 제안하고 있다. 또한 쓸모없는 패턴을 제거하거나 유용한 패턴으로 변경하기 위해 reseeding 방법과 수정 비트 플래그 모두 사용한다. 패턴을 수정할 때는 테스트 길이를 줄일 수 있도록 비트의 변화가 가장 적은 수를 선택한다. 본 논문에서는 단일 고착 고장만을 고려하였으며 결정 패턴을 사용하는 seed를 통해 100%의 고장 검출률을 얻을 수 있다.

• 한국철도학회논문집
• /
• 제10권5호
• /
• pp.589-595
• /
• 2007

한국형 경전철의 무선통신기반 열차제어시스템은 지상과 차상 무선기 사이의 전파지연을 이용하여 열차의 위치를 검지하고 있다. 본 논문에서는 허가없이 사용할 수 있는 무선기기에 대한 정보통신부 고시기준에 적합하도록 경전철시험선 무선시스템의 송신전력을 줄여 사용할 수 있는지를 전파모의실험을 통해 검토하였다. 우선, 시험선에서 스펙트럼분석기로 측정한 데이터를 분석하여 무선전파(傳播) 모델을 결정하고, 경전철시험선의 지형데이터와 감소된 송신전력을 전파전파(電波傳播)예측 프로그램에 적용하여 전파도달거리를 예측하고, 예측데이터를 바탕으로 송신전력을 줄였을 경우의 실효성을 제시한다.

• Journal of Periodontal and Implant Science
• /
• 제51권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.

• 대한전자공학회논문지SD
• /
• 제46권9호
• /
• pp.14-24
• /
• 2009

System on panel 프레임 버퍼를 위한 메모리 셀 어레이와 주변회로가 설계되었다. 또한, system on panel 공정의 낮은 yield를 극복하기 위해, 블럭 단위의 parallel test 방안이 제안되었다. 기존의 메모리 테스트 보다 빠르게 fault detection이 가능하며, 다양한 embedded memory나 일반 SRAM 테스트 분야에도 적용 가능하다. 또한 기존의 다양한 test vector pattern이 그대로 적용될 수 있어 fault coverage가 높고, 최근의 추세인 hierarchical bit line과 divided word line 구조에도 적용될 수 있다.

• 한국환경생태학회지
• /
• 제26권3호
• /
• pp.437-445
• /
• 2012

수위 및 침수기간이 저수하안 식생공법의 식생피도에 미치는 영향을 규명하기 위하여 심곡천 실험구에 적용된 식생공법에 대한 시공모니터링을 수행하였다. 시공모니터링의 항목은 각 공법의 출현식물종과 피복도, 토양의 이화학적 특성, 수위 및 수질 등이다. 모니터링 결과, 2010년도 5월 1차 조사에서는 모든 저수하안 식생공법의 식물생육은 양호하였으나, 2011년 약 1주일 이하의 침수가 있었던 6월 2차 조사에서는 적용된 식생공법의 식물 생육상태 및 피도가 부분적으로 불량하였다. 그리고 조사 기간 중 침수기간이 약 8주로 가장 길었던 8월 3차 조사에서는 갈대를 제외한 대부분의 식생이 고사하였다. 하지만 침수기간이 2주 이내로 3차 조사 때 보다 수위가 하강한 10월 4차 조사에서는 식물의 출현종수와 피복도가 점차 회복되는 것으로 관찰되었다. 이에 정량적 분석을 위하여 식생공의 식물출현종수 및 피도와 수위, 침수기간에 대한 상관성 분석을 실시하였다. 그 결과 출현종수 및 피도는 수위 및 침수기간과는 음(-)의 상관성을 나타내었는데, 침수기간이 수위보다 다소 더 높은 상관성이 있는 것으로 분석되었다.

• 한국정보과학회논문지:시스템및이론
• /
• 제26권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.

• 보건행정학회지
• /
• 제33권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.

• 전자공학회논문지C
• /
• 제35C권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.