• Nuclear Engineering and Technology
• /
• 제39권2호
• /
• pp.123-128
• /
• 2007

In order to apply a static fault-tree (FT) method to a system or a plant whose configuration changes dynamically, condition gates and a post processing method are used to effectively accommodate these changes. An operator's performance change, which can be caused by these configuration changes, should also be considered to assess the risk to a plant in a more realistic manner. This study aims to develop an integrated framework to accommodate various configuration changes and their effect on an operator’s performance by using the FT model. We applied a condition-based human reliability assessment (CBHRA) method to consider various conditions endured by an operator. That is, we integrated the CBHRA method with the conventional post processing method for modeling the system configuration changes. The effect of the condition monitoring systems installed in a plant is also considered. In this study, we show an example application of the integrated framework to a probabilistic safety assessment for the shutdown phase of a nuclear power plant.

• ETRI Journal
• /
• 제43권4호
• /
• pp.728-745
• /
• 2021

Carbon nanotube field-effect transistors (CNTFETs) have been widely studied as a promising technology to be included in post-complementary metal-oxide-semiconductor integrated circuits. Despite significant advantages in terms of delay and power dissipation, the fabrication process for CNTFETs is plagued by fault occurrences. Therefore, developing a fast and accurate method for estimating the reliability of CNTFET-based digital circuits was the main goal of this study. In the proposed method, effects related to faults that occur in a gate's transistors are first represented as a probability transfer matrix. Next, the target circuit's graph is traversed in topological order and the reliabilities of the circuit's gates are computed. The accuracy of this method (less than 3% reliability estimation error) was verified through various simulations on the ISCAS 85 benchmark circuits. The proposed method outperforms previous methods in terms of both accuracy and computational complexity.

• 전자공학회논문지D
• /
• 제36D권1호
• /
• pp.47-56
• /
• 1999

반도체 칩의 집적도가 급격히 향상됨에 따라 칩의 I/O 수가 증ㅇ가하여 패키지의 크기가 커질 뿐 아니라 칩 자체의 가격보다 패키지의 가격이 높아지고 있는 실정이다. 따라서 집적도의 증가에 의한 I/O 수으이 증가를 억제할 수있는 방법이 요구되고 있다. 본 논문에서는 CTR(Constant-Transition-Rate) 코드 심벌 펄스의 상승 예지와 하강 예지의 위치에 따라 각각 2비트 씩의 디지털 데이터를 엔코딩함으로써 I/O 핀 수를 50% 감소 시킬 수 있는 I/O 인터페이스 회로를 제안한다. 제안한 CTR 코드의 한 심벌은 4비트 데이터를 포함하고 있어 기존의 인터페이스 회로와 비교하여 심벌 속도가 절반으로 감소되고, 엔코딩 신호의 단위 시간당 천이 수가 일정하며, 천이 위치가 넓게 분산되어 동시 스위칭 잡음(Simultaneous Switehing Noise, SSN)이 작아진다. 채널 엔코더는 논리 회로만으로 구현하고, 채널 디코더는 오버샘플링(oversampling) 기법을 이용하여 신호를 복원하는 입출력 회로를 설계하였다. 설계한 회로는 0.6${\mu}m$ CMOS SPICE 파라미터를 이용하여 시뮬레이션함으로써 동작을 검증하였으며, 동작 속도는 200 Mbps/pin 이상이 됨을 확인 하였다. 제안한 방식을 Altera사의 FPGA를 이용하여 구성하였으며, 구성한 회로는 핀 당 22.5 Mbps로 데이터를 전송함을 실험적으로 검증하였다.

• Restorative Dentistry and Endodontics
• /
• 제24권2호
• /
• pp.337-345
• /
• 1999

The purpose of this study was to compare the shape of root canal after instrumentation with some engine driven NiTi files. Thirty narrow and curved canals(15-35 degree) of mesial canals of extracted human mandibular first molars were divided into three groups. Group 1: After radicular access with Gates Glidden drill, apical shaping using step back method with Flexo file Group 2: After radicular access with Gates Glidden drill, apical shaping with Profile .04 Group 3: Canal shaping with GT file and Profile .04. Using modified Bramante technique, the root was sectioned at 2 mm from apical foramen, height of curvature, 2 mm from canal orifice. Canal centering ratio, amount of transport, amount of dentin removed, shape of canal were measured and statistical analysis is done using SPSS Program V 7.5. The results were as follows: 1. Canal centering ratio of group 3 was the lowest at coronal part, but there was no statistical difference. Centering ratio of group 2 was the lowest at curve part, and there was statistical difference between group 1(P<0.05). Centering ratio of group 2 was the lowest at apical part, but there was no statistic difference. 2. Amount of transport of group 3 was the lowest at coronal part, but there was no statistical difference. Amount of transport of group 2 was the lowest at curve part, and there was statistical difference between group 1(P<0.05). Amount of transport of group 3 was the lowest at apical part, and there was statistical difference between group 1 and group 2, group 1 and group 3(P<0.05). 3. Amount of dentin removed of group 3 was the lowest at coronal part, bur there was no statistical difference. Amount of dentin removed of group 2 was the lowest at curve part, but there was no statistical difference. Amount of dentin removed or group 2 was the lowest at apical part, and there was statistical difference between group 1 and group 2, group 1 and group 3(P<0.05). 4. The shape of the canals after instrumentation varied among the groups. The majority of canals at coronal and curve part for group 1 were round in shape(7 in 10), those at apical part were oval(8 in 10). The majority of canals at coronal part for group 2 were round in shape(7 in 10) and there was no difference in the number of shape at other part. There was no difference in the number of shape at every part for group 3. As above results, NiTi rotary instrumentation showed a trend to remain more centered in the canal than SS file instrumentation. At using NiTi file, coronal shaping with Gates Glidden drill was not statistically different from shaping with GT file. But shaping with GT file showed tapered canals, so it may be said that shaping with GT file is a safe and valuable instrumentation method.

• 실천공학교육논문지
• /
• 제16권3_spc호
• /
• pp.391-399
• /
• 2024

우리나라의 모든 고속도로 톨게이트에서는 저속 축중기를 사용해 과적 화물 차량의 고속도로 본선 진입을 차단하고 있으나, 일부 화물 차량은 가변축을 조작할 수 있도록 불법으로 개조하고 축조작을 통해 단속을 회피하고 있다. 기존에 수행된 연구들에서는 주행중인 차량의 타이어들을 검출해 축조작의 여부를 판별하고 있지만, 고속도로 톨게이트 검문소의 차량 진입부가 매우 좁기 때문에 하나의 영상 프레임에 차량의 모든 타이어를 촬영하는 것이 현실적으로 어렵다는 문제가 있다. 이러한 문제를 해결하기 위해 본 논문에서는 타이어의 검출이 아닌 화물 차량 적재함의 상하 높이 변화를 감지하는 방법으로 축조작 시도 여부를 판단할 수 있는 시스템을 제안하였다. 화물 차량의 적재함 높이 변화를 검출하는 방법으로 허프 변환을 이용해 차량 적재함의 대표선을 추출하고 대표선의 높이 변화를 측정하여 적재함의 수직 높이 변화를 감지하는 방법과 광류를 이용해 영상의 일정 영역 내의 픽셀들에 대한 모션 백터를 구하고 이를 누적하여 적재함의 수직 높이 변화를 감지하는 방법을 사용하였으며 두 방법을 비교 분석하고 장단점을 제시하였다.

• 전자공학회논문지SC
• /
• 제48권2호
• /
• pp.56-63
• /
• 2011

본 논문에서는 마이크로프로세서의 디지털 입력포트에 히스테리시스 특성을 부여하는 방법 및 설계 순서를 제시하고 이를 실험해 그 효과를 확인하였다. 프로세서의 잉여포트가 있을 때 제시한 방법을 이용하면 저항 2개의 추가만으로 히스테리시스 특성을 얻을 수 있으며, 더구나 기존의 TTL과 CMOS의 슈미트 트리거 게이트에 비해 큰 히스테리시스 폭을 얻을 수 있다.

• 한국통신학회논문지
• /
• 제13권5호
• /
• pp.411-421
• /
• 1988

본 논문에서는 Tabular法을 이용한 CCD(charge-coupled device) 4値論理回路를 설계하는 방법을 제시하였다. 첫 번째 4値 논리함수를 수산(手算) 및 컴퓨터 프로그래밍에 의해서 분해하고 이것을 기초로 하여 Tabular法에 의한 CCD 4値회로를 실현시키는 알고리즘을 유도하였다. 이 알고리즘에 의해서 2變數 4値 논리함수를 분해(分解)해서 4개의 기본게이트에 의해서 CCD회로를 실현시켰다. 본 논문의 방법에 의하면 기존방법에 비해 동일한 함수를 실현시키는데 소자수(素子數)와 코스트가 상당히 감소됨이 밝혀졌다.

• 전자공학회논문지B
• /
• 제31B권6호
• /
• pp.63-70
• /
• 1994

In this paper, we propose a fault simulation method based on primary output in combinational circuit. In the deterministic test pattern generation, each test pattern is genterated incrementally. The test pattern is applied to the primary inputs of circuit under test to simulate faults. We detect the faults with respect to each primary output. The fault detection with resptect to each primary output is reflected by the corresponding bit in the detection words, and efficient fault detection for the reconvergent fan-out stem is achieved with dynamic fault propagation. As an experimental result of the fault simulation with our method for the several bench mark circuits, we illustrated the good performance showing that the number of gates to be activated is much reduced as compared with other method which is not based on primary output.

• 한국항만학회지
• /
• 제13권1호
• /
• pp.133-146
• /
• 1999

Mokpo coastal area is connected to the adjacent a long river and two large basins. It is essential for port planning coastal zone management and environmental impact study to analyze the data related to the ship operation and variation of current and water quality due to the development of water area including dredging reclamation and estuary barrage. The Yongsan river estuary weir and Yongam-Kumho basins discharge much of water through water gates for the purpose of flood control and prohibit salt intrusion at the inland fresh water area. To meet this purpose discharge through the gates have been done at the period of maximum water level difference between inner river and sea level. This discharged water may cause the changes of current pattern and other environmental influences in the vicinity and inner area of semi-closed Mokpo harbor. In this study ADI method is applied to the governing equation for the analysis of the changes on current pattern due to discharged water. As the results of this study it is known that the discharging operation causes many changes including the increase of current velocity at the front water area at piers approaching passage and anchorages. Discussion made on the point of problems such as restricted maneuverability and the safety of morred vessels at pier and anchorage. To minimize this influence the linked gate operation discharging warning system and laternative mooring system are recommended.

• 한국전자통신학회논문지
• /
• 제9권11호
• /
• pp.1233-1240
• /
• 2014

1980년 Toffoli 가역게이트 출현 이후 지난 30년 간 적당한 함수 상에 가역 임베딩을 하는 많은 가역회로 합성법들이 발표되어 오는 동안 소수의 논문만이 가역 임베딩 없이 직접적인 비가역-가역 회로 매핑 방법을 채택해 왔다. 본 논문에서는 가역 임베딩 없는 직접적 가역 매핑에 대한 효과적인 게이트비용 절감 정책을 개발하였다. 새로운 비용절감 정책을 개발하기 위해 고전회로에서 NOT 게이트 배치에 따른 Toffoli 모듈 비용의 영향을 고찰하고, 이것을 기초로 하여 고전적 AND(OR)게이트에 대한 반전입력 추가가 가역 Toffoli 모듈의 비용을 증가(감소)시킨다-라는 고전 게이트 반전입력 수와 가역 Toffoli 모듈 비용 사이의 반비례적 성질을 이끌어내었다. 직접적 가역 매핑에 선행한 반전입력 재배치 정책은 현존하는 팬-아웃 및 슈퍼셀 정책들과 병행할 경우에 가역 Toffoli 모듈의 비용과 복잡성을 개선할 수 있는 효과적인 방법이다.