• 제목/요약/키워드: Minimal Path

검색결과 131건 처리시간 0.025초

BDD를 이용한 사고수목 정상사상확률 계산 (Calculation of Top Event Probability of Fault Tree using BDD)

  • 조병호;염병수;김상암
    • 한국정보통신학회논문지
    • /
    • 제20권3호
    • /
    • pp.654-662
    • /
    • 2016
  • 사고수목을 이루는 게이트나 기본사상이 많아질수록 정상사상 확률의 정확한 계산이 어려워진다. 이를 극복하기 위해 BDD 방법을 적용하면 중소형 사고수목의 경우 짧은 시간에 근사계산 없이 정확한 값을 구할 수 있다. CUDD 함수를 이용하여 사고수목을 BDD로 변환하고 그로부터 정상사상의 발생확률을 구하는 고장경로 탐색 알고리즘을 고안하였다. 후방탐색 알고리즘은 전방탐색 알고리즘보다 고장경로의 탐색과 확률계산 시간에서 효과적이다. 이 탐색 알고리즘은 BDD에서 고장경로를 찾는데 있어서 탐색시간을 줄일 수 있고, 해당 사고수목의 단절집합과 최소단절집합을 찾는 유용한 방법이다.

Computer-Aided Decision Analysis for Improvement of System Reliability

  • Ohm, Tai-Won
    • 대한안전경영과학회지
    • /
    • 제2권4호
    • /
    • pp.91-102
    • /
    • 2000
  • Nowadays, every kind of system is changed so complex and enormous, it is necessary to assure system reliability, product liability and safety. Fault tree analysis(FTA) is a reliability/safety design analysis technique which starts from consideration of system failure effect, referred to as “top event”, and proceeds by determining how these can be caused by single or combined lower level failures or events. So in fault tree analysis, it is important to find the combination of events which affect system failure. Minimal cut sets(MCS) and minimal path sets(MPS) are used in this process. FTA-I computer program is developed which calculates MCS and MPS in terms of Gw-Basic computer language considering Fussell's algorithm. FTA-II computer program which analyzes importance and function cost of VE consists. of five programs as follows : (l) Structural importance of basic event, (2) Structural probability importance of basic event, (3) Structural criticality importance of basic event, (4) Cost-Failure importance of basic event, (5) VE function cost analysis for importance of basic event. In this study, a method of initiation such as failure, function and cost in FTA is suggested, and especially the priority rank which is calculated by computer-aided decision analysis program developed in this study can be used in decision making determining the most important basic event under various conditions. Also the priority rank can be available for the case which selects system component in FMEA analysis.

  • PDF

화학공정의 사고 빈도 분석 S/W 개발 (Development of Accident Frequency Analysis S/W for Chemical Processes)

  • 서재민;신동일;고재욱
    • 한국가스학회지
    • /
    • 제3권3호
    • /
    • pp.29-33
    • /
    • 1999
  • 본 연구는 정량적 위험 평가의 기반 조성을 위해서 다양한 위험 평가 기법 중에서 이상 트리 분석(Fault Tree Analysis) 방법을 이용하여 빈도 분석 프로그램을 개발하였다. 빈도 분석 프로그램을 구축하기 위하여 계산 과정에서는 gate-by-gate 방법과 부울 대수 (Boolean algebra) 방법을 이용하였고, minimal cut set 방법을 이용하여 사고 발생 경로를 정량적으로 표현하였다 결론적으로 본 연구에서 개발한 빈도 분석 프로그램을 이용하여 사고 발생 빈도를 낮출 수 있다면 공정 전체의 안전성을 높이는데 큰 도움이 될 것이며, 기존에 사용되고 있는 외국의 S/W를 대체할 수 있을 것이라고 사료된다.

  • PDF

Efficient Multicast Routing on BCube-Based Data Centers

  • Xie, Junjie;Guo, Deke;Xu, Jia;Luo, Lailong;Teng, Xiaoqiang
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제8권12호
    • /
    • pp.4343-4355
    • /
    • 2014
  • Multicast group communication has many advantages in data centers and thus is widely used by many applications. It can efficiently reduce the network traffic and improve the application throughput. For the multicast application in data centers, an essential problem is how to find a minimal multicast tree, which has been proved to be NP-hard. In this paper, we propose an approximation tree-building method for the minimal multicast problem, named HD(Hamming Distance)-based multicast tree. Consider that many new network structures have been proposed for data centers. We choose three representative ones, including BCube, FBFLY, and HyperX, whose topological structures can be regarded as the generalized hypercube. Given a multicast group in BCube, the HD-based method can jointly schedule the path from each of receiver to the only sender among multiple disjoint paths; hence, it can quickly construct an efficient multicast tree with the low cost. The experimental results demonstrate that our method consumes less time to construct an efficient multicast tree, while considerably reduces the cost of the multicast tree compared to the representative methods. Our approach for BCube can also be adapted to other generalized hypercube network structures for data centers after minimal modifications.

문장을 이해하는데 필요한 언어처리요소들 - 구조적으로 애매한 전치사구를 중심으로 - (Einflussfaktoren des Sprachverarbeitungsprozesses beim Satzverstehen (Strukturelle $Ambiguit\"{a}ten\;der\;Pr\"{a}positionalphrase$))

  • 오영훈
    • 한국독어학회지:독어학
    • /
    • 제5집
    • /
    • pp.167-182
    • /
    • 2002
  • Sprachverstehen ist ein interaktiver kognitiver Prozess. Der Verlauf des Sprachverstehens ist durch die kontinuierliche Interaktion von Bottom-up- und Top­down-Prozessen gekennzeichnet. Die eingehende Information wird durch die interaktive Nutzung verschiedener sprachlicher und aussersprachlicher Wissenssysteme verarbeitet. Herangewgen wird z. B. syntaktisches Wissen, lexikalisches und semantisches Wissen, Weltwissen und pragmatisches Wissen. Das hier vorgestellte Modell stellt den Begriff des lexikalischen Kopfes als $f\"{u}r$ die Verarbeitung von $S\"{a}tzen$ zentrales Konzept heraus. $Ambiguit\"{a}ten$ werden unter $Ber\"{u}cksichtigung$ der in ihnen $repr\"{a}sentierten\;Information\;aufzul\"{o}sen$ versucht Im Unterschied zu Prinzipien wie 'minimal attachment' rekurriert 'head attachment' nicht auf eine dem Satz zugrundeliegende Struktur, sondem allein auf lexikalische Information von $K\"{o}pfen$ und deren Reihenfolge an der $Oberfl\"{a}che$ eines Satzes. Head attachment ist daher $unabh\"{a}ngig$ von Annahmen $\"{u}ber$ syntaktische Strukturen. $W\"{a}hrend$ der 'tiefere Sinn' von Prinzipien wie 'minimal attachment' darin liegen soll, eine $m\"{o}glichst$ geringe Arbeitsspeicherbelastung durch Aufbau $m\"{o}glichst$ wenig komplexer Strukturen zu $gew\"{a}hrleisten$, erreicht 'head attachment' eine Entlastung durch die $Erm\"{o}glichung\;einer\;fr\"{u}hen$ semantischen Integration, da es Anbindungen in Abh\"{a}ngigkeit$ von dem Vorhandensein von $K\"{o}pfen\;vorschl\"{a}gt$. Es ist dieser Aspekt $\"{o}konomischer$ Verarbeitung, durch Verarbeitungs­heuristiken zu einer $m\"{o}glichst\;fr\"{u}hzeitigen$ Interpretation zu gelangen, der im hier vorgestellten Modell im Vordergrund steht, und zwar im Sinne einer semantikorientierten Syntaxverarbeitung.

  • PDF

진화 알고리즘을 이용한 초고속 통신망에서의 멀티캐스트 경로배정 방법에 관한 연구 (Multicast Routing On High Speed networks using Evolutionary Algorithms)

  • 이창훈;장병탁;안상현;곽주현;김재훈
    • 한국정보처리학회논문지
    • /
    • 제5권3호
    • /
    • pp.671-680
    • /
    • 1998
  • 화상 회의, 원격 진료 및 교육 시스템, CSCW 등과 같은 그룹 응용을 지원하기 위해서는 망에 의해서 멀티캐스트 기능이 제공되어야 한다. 멀티캐스트 경로배정의 방법으로는 보통 최단 경로 트리 방식과 최소 비용 스타이너 트리를 찾기 위해 유전자 알고리즘을 사용하는 진화적 최적화 방법을 제안하고자 한다. 특히 스타이너 트리를 찾기 위해 유전자 알고리즘을 사용하는 진화적 최적화 방법을 제안하고자 한다. 특히 스타이너 트리의 표현에 있어, 일반적인 유전자 알고리즘에서 사용되는 이진 스트링의 개체 표현 대신 트리를 사용하여 개체를 표현하는 방법을 제안함으로써 최적화의 효율을 개선하는 방식을 보여주며, 또한 기존의 경험적 알고리즘과의 비교를 통하여 진화방식에 의한 최적화가 기존의 방법보다 최적해에 더 가까이 수렴할 수 있음을 보여준다.

  • PDF

통행료체계에서의 경로기반 통행배정모형 개발 (Development of a Path-Based Trip Assignment Model under Toll Imposition)

  • 권용석;박창호
    • 대한교통학회지
    • /
    • 제18권6호
    • /
    • pp.77-88
    • /
    • 2000
  • 이용자의 경로선택 형태를 모사하는 통행배정모형 결과의 정확도는 교통계획에 상당한 영향을 미친다. 이용자의 경로선택 결정과정에서 가장 중요한 판단기준은 통행시간과 통행요금이다. 그런데 통행요금은 이용자의 경로 거리에 따라 다양한 방식으로 부과되므로, 링크를 분석단위로 하는 기존의 통행배정모형은 현실적인 통행요금 반영이 힘들었고 또한 수요예측 결과를 이용한 다양한 분석에서 제약을 받아 왔다. 본 연구는 이러한 배경에서 경로교통량을 도출할 수 있는 경로기반 통행배정모형을 구축하였고, 또한 경로거리에 따라 결정되는 현실적인 통행요금을 반영할 수 있는 알고리즘을 개발하였다. 경로기반 배정모형에서는 GP(Gradient Projection) 알고리즘을 이용하였고, 계산상의 효율성 제고를 위해 K-최단경로 알고리즘 중 MPS(Minimal Path Search) 알고리즘을 이용하였다. 개발된 배정모형은 현실적인 통행요금을 반영할 수 있으므로 통행배정 결과의 정밀도를 향상시켰을 뿐만 아니라 기존 배정모형에 비해 최적해로의 수렴속도도 개선되는 것으로 나타났다. 본 논문의 배정모형은 경로교통량이 도출되고 통행요금을 반영할 수 있으므로, 통행요금과 통행거리 관계에 따른 목적함수의 규명과 그에 따른 효과척도를 계량화할 수 있다. 따라서 본 모형은 통행배정에서 실재상황을 보다 현실여건에 맞도록 규명할 수 있고, 기존의 제한적인 효과분석의 문제점을 해결할 수 있으므로 그 활용범위가 넓다.

  • PDF

전달경로의 차이를 이용한 새로운 차량용 능동 머플러의 개발 (New Active Muffler System Utilizing Destructive Interference by Difference of Transmission Paths)

  • 황요하;이종민;김승종
    • 한국소음진동공학회논문집
    • /
    • 제12권5호
    • /
    • pp.374-379
    • /
    • 2002
  • A new active muffler system has been developed and its superior performance on both noise reduction and engine torque increase is demonstrated with experiment. Main characteristic of the proposed muffler system is the use of destructive interference by transmission path difference of divided exhaust pipes to reduce major exhaust noise components thereby overcoming problems of other active exhaust noise control methods. The exhaust pipe is divided into two sections and joined again downstream. One divided pipe has a sliding mechanism to vary its length, which is controlled to make half wavelength transmission path difference for the major engine rpm frequency. In this system one divided pipe is used to control major rpm frequency and its Harmonics and another pipe is used to control noise component double the frequency of rpm. An after-market tuning muffler, which has very simple internal structure and minimal back pressure, is also installed to remove remaining wideband noise. To make the system to be small enough to be practical, conventional muffler is also installed and used in low rpm range and active muffler is only employed in high rpm range. Noise reduction of the proposed system is comparable to conventional passive muffler. The engine dynamo test has proved the proposed system can recover almost all the torque lost by conventional muffler.

저 전력 아키텍처를 위한 상위 레벨 데이터 패스 할당 알고리즘 (A High-Level Data Path Allocation Algorithm for Low Power Architecture)

  • 인치호
    • 전기전자학회논문지
    • /
    • 제7권2호
    • /
    • pp.166-171
    • /
    • 2003
  • 본 논문은 상위 레벨 합성에서의 레지스터와 자원 할당 과정의 스위치 동작 최소화를 통한 저 전력 데이터 패스 할당 알고리즘을 제안한다. 제안하는 알고리즘은 스케줄링된 CDFG를 입력으로 할당 과정에서 전력 최소화를 수행한다. 알고리즘은 레지스터 할당과 자원 할당 과정을 나누어 수행한다. 레지스터 할당 알고리즘은 기능 장치내의 불필요한 스위칭 동작을 제거하고 멀티플렉서의 수를 최소화한다. 자원 할당 과정은 스위칭 동작을 최소화할 수 있는 연산자의 순서를 선택한다. 본 논문에서 제안하는 알고리즘과 genesis-lp 상위 레벨 합성시스템을 벤치마크를 이용한 비교 실험결과 평균 15.3%의 전력 감소효과가 있다.

  • PDF

에너지 소모 최소화를 위한 다중 전압 스케줄링 기법 (Multiple Supply Voltage Scheduling Techniques for Minimal Energy Consumption)

  • 정우성;신현철
    • 대한전자공학회논문지SD
    • /
    • 제46권9호
    • /
    • pp.49-57
    • /
    • 2009
  • 본 연구에서는 상위 수준 합성에서 시간 제약과 하드웨어 제약을 동시에 고려하여 에너지 소모를 최소로 줄이는 다중 전압스케줄링 방법을 개발하였다. 기존의 다중 전압 스케줄링에서는 임계 경로에 있는 연산에 대해 높은 전압을 할당하고, 임계 경로에 있지 않은 연산에 대해서는 낮은 전압을 할당하는 방법을 주로 사용하였다. 우리는 다중 전압 리스트 스케줄링을 기반으로 simulated annealing기법을 적용하여 임계 경로상의 연산인지와 관계없이 자유롭게 여러 전압을 할당하여 최적화함으로서 저전력 스케줄링 결과를 얻을 수 있었다. 계산 시간 제한에 여유가 있을 때에는 전반적으로 낮은 전압을 사용하여 에너지 소모를 더욱 낮출 수 있다. 그리고 후처리 과정을 통해 추가의 에너지 감소를 얻을 수 있었다. 경우에 따라, 전압 level shifter 수를 줄일 필요가 있으므로 비용 함수에 가중치를 줄 수 있도록 하였다. 예를 들어, level shifter 에너지 소모에 6배의 가중치를 주면, 전압 level shifter 수는 약 24%, shifter 에너지 소모는 약 20% 정도 감소한다. 이를 이용하여 전체 에너지 소모와 level shifter 사용횟수의 tradeoff가 가능하다.