• 제목/요약/키워드: Logic Tree

검색결과 132건 처리시간 0.021초

Development of a Computer Code, CONPAS, for an Integrated Level 2 PSA

  • Ahn, Kwang-Il;Kim, See-Darl;Song, Yong-Mann;Jin, Young-Ho;Park, Chung K.
    • Nuclear Engineering and Technology
    • /
    • 제30권1호
    • /
    • pp.58-74
    • /
    • 1998
  • A PC window-based computer code, CONPAS (CONtainment Performance Analysis System), has been developed to integrate the numerical, graphical, and results-operation aspects of Level 2 probabilistic safety assessments (PSA) for nuclear power plants automatically. As a main logic for accident progression analysis, it employs a concept of the small containment phenomenological event tree (CPET) helpful to trace out visually individual accident progressions and of the detailed supporting event tree (DSET) for its detailed quantification. For the integrated analysis of Level 2 PSA, the code utilizes five distinct, but closely related modules. Its computational feasibility to real PSAs has been assessed through an application to the UCN 3&4 full scope Level 2 PSA. Compared with other existing computer codes for Level 2 PSA, the CONPAS code provides several advanced features: (1) systematic uncertainty analysis / importance analysis / sensitivity analysis, (2) table / graphical display & print, (3) employment of the recent Level 2 PSA technologies, and (4) highly effective user interface. The main purpose of this paper is to introduce the key features of CONPAS code and results of its feasibility study.

  • PDF

RBD와 FTA의 논리구조와 신뢰성 중요도의 고찰에 의한 시스템 비시간가동률 개선방안 (Improvement Strategy of System Unavailability by Review of Logical Structure and Reliability Importance of Reliability Block Diagram (RED) and Fault Tree Analysis (FTA))

  • 최성운
    • 대한안전경영과학회지
    • /
    • 제13권3호
    • /
    • pp.45-53
    • /
    • 2011
  • The research proposes seven elimination rules of redundant gates and blocks in Fault Tree Analysis (FTA) and Reliability Block Diagram (RBD). The computational complexity of cut sets and path sets is NP-hard. In order to reduce the complexity of Minimal Cut Set (MCS) and Minimal Path Set (MPS), the paper classifies generation algorithms. Moreover, the study develops six implementation steps which reflect structural importance (SI) and reliability importance (RI) from Reliability Centered Maintenance (RCM) that a priority of using the functional logic among components is to reduce (improve) the system unavailability (or availability). The proposed steps include efficient generation of state structure function by Rare Event Enumeration (REA). Effective use of importance measures, such as SI and ill measures, is presented based on the number and the size of MCS and MPS which is generated from the reference[5] of this paper. In addition, numerical examples are presented for practitioners to obtain the comprehensive understanding of six steps that is proposed in this research.

비행체 표적식별을 위한 트리 구조의 퍼지 뉴럴 네트워크 설계 (Design of a Tree-Structured Fuzzy Neural Networks for Aircraft Target Recognition)

  • 한창욱
    • 전기전자학회논문지
    • /
    • 제24권4호
    • /
    • pp.1034-1038
    • /
    • 2020
  • 레이더를 통한 표적식별을 효과적으로 처리하기 위해서는 표적에 대한 정확한 신호 정보가 필요하다. 그러나 이러한 표적 신호에는 잡음이 섞여 있는 경우가 일반적이며, 이 부분에 대한 연구가 지속적으로 이루어지고 있다. 특히 표적에 대한 이미지 처리, 표적신호처리, 표적식별 등이 그 예라 할 수 있겠다. 군사적 측면으로 볼 때 표적식별 분야가 중요하므로 본 논문에서는 트리 구조의 퍼지 뉴럴 네트워크를 이용하여 비행체 표적식별에 대한 연구를 수행하였다. 비행체에 대한 반사파 데이터를 활용하여 퍼지 뉴럴 네트워크를 학습시켜 모델에 대한 최적화를 수행하였고, 최적화된 모델에 표적에 대한 테스팅 데이터를 입력하여 표적식별에 대한 실험을 수행하여 그 결과를 통해 제안된 방법의 효용성을 검증하였다.

지상식 멤브레인 LNG저장탱크 안전성 향상을 위한 설계형식별 정량적 위험성 비교 평가 (The Comparative Quantitative Risk Assessment of LNG Tank Designs for the Safety Improvement of Above Ground Membrane Tank)

  • 이승림;권부길;이승현
    • 한국가스학회지
    • /
    • 제9권4호
    • /
    • pp.57-61
    • /
    • 2005
  • 이 연구는 결함수분석(FTA)를 이용해 완전방호 형식 및 멤브레인 형식의 KOGAS 탱크 설계에 대한 비교 정량적 위험성평가를 위해 수행하였다. 이 연구를 위해 표준 완전방호식 탱크와 초기 멤브레인 탱크 및 4가지의 개선된 멤브레인 탱크를 포함한 총 6개 모델에 대해 위험성을 평가하였다. 이 연구에서는 FTA를 이용해 누출빈도를 정량화 하였다. 분석의 명확성 및 일관성을 위해서 모든 경우는 동일한 고장수(fault tree)를 이용해 정량화하였다. 개선되지 않은 멤브레인 저장탱크(초기 모델)를 제외하고 예측된 위험도 수준은 매우 유사해서 각각의 탱크는 동일한 위험도 수준(the same level of risk)을 나타내는 것으로 평가되었다. 펌프 낙하에 의한 손상은 완전방호식 탱크에 비해서 박판으로 되어있는 멤브레인 탱크가 두드러지게 큰 것으로 예측되었다.

  • PDF

VR 기기와 게임 시스템의 정보보증을 위한 VR 위협 분석 (VR Threat Analysis for Information Assurance of VR Device and Game System)

  • 강태운;김휘강
    • 정보보호학회논문지
    • /
    • 제28권2호
    • /
    • pp.437-447
    • /
    • 2018
  • 가상현실(Virtual Reality, VR)은 게임 업계의 새로운 표준이 되고 있다. PokeMon GO는 가상현실 기술을 적용한 대표적인 사례이다. PokeMon GO는 출시 후 다음날 미국에서 가장 많은 iOS App Store 다운로드 수를 기록하였다. 이는 가상현실의 위력을 보여주는 사례이다. 가상현실은 자이로스코프, 가속도, 촉감 센서 등으로 구성되며 사용자가 게임을 깊이 몰입할 수 있게 한다. 새로운 기술이 등장함에 따라 새롭고 다양한 위협요소가 생긴다. 그래서 우리는 가상현실 기술과 게임 시스템에 대한 보안 연구가 필요하다. 본 논문에서 가상현실 기기(Oculus Rift)와 게임 시스템(Quake)의 정보보증을 위해 위협 분석을 진행한다. STRIDE, attack library, attack tree 순서로 체계적으로 분석한다. DREAD를 통해 보안 대책을 제안한다. 또한 VCG(Visual Code Grepper) 도구를 사용하여 소스 코드의 논리 오류 및 취약한 함수를 파악하고 해결 방법을 제안한다.

TRIZ 인과관계 모순트리와 통합원리를 이용한 물리적 모순의 창의적 해결방안의 고찰 및 적용방안 (Review and Application of Creative Problem-Solving Processes for Technical and Physical Contradictions Using Cause-And-Effect Contradiction Tree and Integrated Principles of TRIZ)

  • 최성운
    • 대한안전경영과학회지
    • /
    • 제17권2호
    • /
    • pp.215-228
    • /
    • 2015
  • A creative innovation and an innovative problem-solving of industrial companies can be achieved by overcoming the challenges of technical and physical contradictions. The approaches to address conflicting and paradoxical problems, such as technical and physical contradictions have a crucial role in advancing the quality assessment for manufacturer and service provider. The term, technical contradiction, depicts the state that improvement of one ends of IFR (Ideal Final Result) leads to unfavorable condition of the other ends, and results in conflicting problem. Another type of contradictions that's discussed in this study is a physical contradiction which is due to two mutually opposing states of the means of ends, and gives paradoxical situation. By integrating the means-ends chain perspectives, the physical contradiction that is a specifically root-causes, "means", can be initially addressed to resolve the downstream problem of technical contradiction which represents a general and abstract goals, "ends". This research suggests IFR resolution processes to handle both physical contradiction of means and technical contradiction of ends by employing causal relationship with IFR, effects and causes. In summary, the study represents three major processes that resolve such contradictions are demonstrated as follows: 1) Derivation of causal and hierarchical relationship among IFR, ends and means by considering CAED (Cause-And-Effect Diagram) and LT (Logic Tree). 2) Identification of causal relationship between physical contradiction and technical contradiction by using TPCT (TRIZ Physical Contradiction Tree) and TCD (Technical Contradiction Diagram). 3) Application of integrated TRIZ principles by classifying 40 inventive principles into 4 general conditions of the separation principle of mutually opposite states in space, in time, based on conditions, and between the parts and the whole. In order to validate the proof of proposed IFR resolution processes, the analysis of the TRIZ case studies from National Quality Circle Contest in the years, 2011 to 2014 have been proposed. The suggested guidelines that are built based on TRIZ principles can uniquely enhance the process of quality innovation and assessment for quality practitioners.

로직에 기반 한 트리 구조의 퍼지 뉴럴 네트워크를 이용한 복합 화력 발전소의 출력 예측 (Output Power Prediction of Combined Cycle Power Plant using Logic-based Tree Structured Fuzzy Neural Networks)

  • 한창욱;이돈규
    • 전기전자학회논문지
    • /
    • 제23권2호
    • /
    • pp.529-533
    • /
    • 2019
  • 오늘날 복합 화력 발전소는 전력 생산을 위해 많이 사용되고 있고, 최근에는 운전 매개 변수를 기반으로 발전 출력을 예측하는 것이 주요 관심사이다. 본 논문에서는 복합 화력 발전소의 출력을 예측하기 위해 컴퓨터 지능 기법을 이용하는 방법을 제시한다. 컴퓨터 지능 기술은 지속적으로 발전되어 많은 실제 문제에 적용되어 왔다. 본 논문에서는 트리 구조의 퍼지 뉴럴 네트워크를 이용하여 발전 출력을 예측하고자 한다. 트리 구조의 퍼지 뉴럴 네트워크는 퍼지 뉴런을 노드로 선택하고 관련 입력을 최적으로 선택하여 규칙 수를 줄이는 장점이 있다. 네트워크의 최적화를 위해 2 단계 최적화 방법이 사용된다. 유전 알고리즘은 최적의 노드와 리프를 선택하여 네트워크의 이진 구조를 최적화 한 다음 랜덤 신호 기반 학습을 수행하여 최적화 된 이진 연결을 단위 구간에서 미세 학습한다. 제안 된 방법의 유용성을 검증하기 위해 UCI Machine Learning Repository Database에서 얻은 복합 화력 발전소 데이터를 사용한다.

Path planning of a Robot Manipulator using Retrieval RRT Strategy

  • Oh, Kyong-Sae;Kim, Eun-Tai;Cho, Young-Wan
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제7권2호
    • /
    • pp.138-142
    • /
    • 2007
  • This paper presents an algorithm which extends the rapidly-exploring random tree (RRT) framework to deal with change of the task environments. This algorithm called the Retrieval RRT Strategy (RRS) combines a support vector machine (SVM) and RRT and plans the robot motion in the presence of the change of the surrounding environment. This algorithm consists of two levels. At the first level, the SVM is built and selects a proper path from the bank of RRTs for a given environment. At the second level, a real path is planned by the RRT planners for the: given environment. The suggested method is applied to the control of $KUKA^{TM}$, a commercial 6 DOF robot manipulator, and its feasibility and efficiency are demonstrated via the cosimulatation of $MatLab^{TM}\;and\;RecurDyn^{TM}$.

캐리 선택과 캐리 우회 방식에 의거한 비동기 가산기의 CMOS 회로 설계 (A Design of a CMOS Circuit of Asynchronous Adders Based on Carry Selection and Carry Bypass)

  • 정성태
    • 한국정보처리학회논문지
    • /
    • 제5권11호
    • /
    • pp.2980-2988
    • /
    • 1998
  • 본 논문에서는 캐리 선택 방식과 캐리 우회 방식에 의거한 비동기 가산기의 설계에 대하여 기술한다. 이러한 기법을 사용함으로써 본 논문의 가산기는 기존의 리플 캐리 방식의 가산기에 비하여 보다 빠른 속도로 동작한다. 본 논문에서는 CMOS 도미노 논리를 사용하여 가산기를 설계하였으며 비동기 가산기의 동작 완료를 감지할 수 있는 회로를 트리 형태로 구현함으로써 동작 완료에 소요되는 시간을 줄일 수 있도록 하였다. 실험 결과에 의하면 제안된 가산기들은 평균적으로 리플 캐리 방식에 비하여 50 퍼센트 이상의 속도 개선을 기대할 수 있음을 알 수 있다.

  • PDF

반도체 소자의 과도펄스감마선 영향 모델링 및 시뮬레이션 (Modeling and Simulation for Transient Pulse Gamma-ray Effects on Semiconductor Devices)

  • 이남호;이승민
    • 전기학회논문지
    • /
    • 제59권9호
    • /
    • pp.1611-1614
    • /
    • 2010
  • The explosion of a nuclear weapon radiates a gamma-ray in the form of a transient pulse. If the gamma-ray introduces to semiconductor devices, much Electron-Hole Pairs(EHPs) are generated in depletion region of the devices[7]. as a consequence of that, high photocurrent is created and causes upset, latchup and burnout of semiconductor devices[8]. This phenomenon is known for Transient Radiation Effects on Electronics(TREE), also called dose-rate effects. In this paper 3D structure of inverter and NAND gate device was designed and transient pulse gamma-ray was modeled. So simulation for transient radiation effect on inverter and NAND gate was accomplished and mechanism for upset and latchup was analyzed.