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

검색결과 19건 처리시간 0.023초

A top-down iteration algorithm for Monte Carlo method for probability estimation of a fault tree with circular logic

  • Han, Sang Hoon
    • Nuclear Engineering and Technology
    • /
    • 제50권6호
    • /
    • pp.854-859
    • /
    • 2018
  • Calculating minimal cut sets is a typical quantification method used to evaluate the top event probability for a fault tree. If minimal cut sets cannot be calculated or if the accuracy of the quantification result is in doubt, the Monte Carlo method can provide an alternative for fault tree quantification. The Monte Carlo method for fault tree quantification tends to take a long time because it repeats the calculation for a large number of samples. Herein, proposal is made to improve the quantification algorithm of a fault tree with circular logic. We developed a top-down iteration algorithm that combines the characteristics of the top-down approach and the iteration approach, thereby reducing the computation time of the Monte Carlo method.

원형방사상편향에 의한 방사능계측용 기록장치 (A Recording System For Nuclear Radation Detection by Means Of Circular Radial Deflection)

  • 이희용
    • 대한전자공학회논문지
    • /
    • 제3권3호
    • /
    • pp.14-21
    • /
    • 1966
  • 원형방사상편향의 기록방식을 이용한 방사선계측장치로서 그 장치내용과 계측에의 응용례를 기술하였다. 장치의 전자관회로에 있어서 특수한 승산회로를 안출하므로써 원형시간축 뿐만 아니라 그 위에 나타난 펄스의 직선성도 잘 고려되었다. 논리회로에 의해서 1싸이클동안만 밝게하고 다음의 수사이클 동안을 어둡게 하므로써 방사선에 의한 랜돔 펄스를 원형시간축상에 나타내어 이것을 사진으로 기록할 수 있게 하였다. 본장치는 단수명핵종의 감리곡선과 그 파고분포곡선을 얻는데 적당한 것이다.

  • PDF

위상 공액파를 이용한 광학적 연산 방식 (Optical Arithmetic Technique Using Optical Phase Conjugate Wave)

  • 엄순영
    • 한국광학회:학술대회논문집
    • /
    • 한국광학회 1990년도 제5회 파동 및 레이저 학술발표회 5th Conference on Waves and lasers 논문집 - 한국광학회
    • /
    • pp.95-101
    • /
    • 1990
  • Parallel optical arithmetic techniques have been developed using the correlation property of optical phase conjugate wave generated by degenerated four wave-mixing. In this paper, conventional rectangular-type coded pattern used for optical logic system is replaced by circular one for effective beam coupling in a photorefractive $BaTiO_3$ material. By adequately adjusting the distance between circular-type pixels of the input pattern and grouping the correlated output, optical binary half addition/subtraction, binary multiplication and, matrix-matrix computation are demonstrated.

  • PDF

Traffic Fuzzy Control : Software and Hardware Implementations

  • Jamshidi, M.;Kelsey, R.;Bisset, K.
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 1993년도 Fifth International Fuzzy Systems Association World Congress 93
    • /
    • pp.907-910
    • /
    • 1993
  • This paper describes the use of fuzzy control and decision making to simulate the control of traffic flow at an intersection. To show the value of fuzzy logic as an alternative method for control of traffic environments. A traffic environment includes the lanes to and from an intersection, the intersection, vehicle traffic, and signal lights in the intersection. To test the fuzzy logic controller, a computer simulation was constructed to model a traffic environment. A typical cross intersection was chosen for the traffic environment, and the performance of the fuzzy logic controller was compared with the performance of two different types of conventional control. In the hardware verifications, fuzzy logic was used to control acceleration of a model train on a circular path. For the software experiment, the fuzzy logic controller proved better than conventional control methods, especially in the case of highly uneven traffic flow between different directions. On the hardware si e of the research, the fuzzy acceleration control system showed a marked improvement in smoothness of ride over crisp control.

  • PDF

재진입 비행체의 진입 및 착륙단계 경로 생성 및 퍼지제어기 설계 (Trajectory Planning and Fuzzy Controller Design of a Re-entry vehicle on Approach and Landing phase)

  • 민찬오;조성진;이대우
    • 한국항공우주학회지
    • /
    • 제38권2호
    • /
    • pp.150-159
    • /
    • 2010
  • 재진입 비행체의 Approach & Landing단계는 Steep Glideslope 단계, Circular Flare 단계, Flare Maneuver 단계로 이루어지며, 본 논문에서는 실시간 경로 생성을 위하여 기하학적 조건을 이용한 기준궤적 생성 알고리즘을 사용하였다. 이를 통하여 재진입비행체의 착륙 안정성을 고려한 기준궤적을 빠른 시간 안에 생성할 수 있다. 그리고 본 논문에서는 비선형 시스템에 대하여 강건성을 가지는 Mamdani Fuzzy PD Controller를 통한 종방향 및 횡방향 제어기를 설계하였다. 또한 Downrange 와 Crossrange의 초기 오차를 포함하는 시뮬레이션을 수행하여, 제안된 Fuzzy 제어기의 우수한 성능을 확인하였다.

2次元 輪곽制御 를 위한 直線 및 圓통補間 (Linear and Circular Interpolation for 2-Dimensional Contouring Control)

  • 이봉진
    • 대한기계학회논문집
    • /
    • 제6권4호
    • /
    • pp.341-345
    • /
    • 1982
  • The interpolator is usually built in hardware (logic circuitry), and the interpolator fabricated in a single LSI chip is recently made use of in most NC controllers, making the system more compact. However, the LSI interpolator not only has the technical difficulties but also requires high cost, in its fabrication. To solve these problems, we tried to find the method of interpolation by software, and succeeded in developing a program which, executed by INTEL's 8085 microprocessor, can distribute the input pulses of up to 4.0 [Kpps] for the linear interpolation and 3.0 [Kpps] for the circular interpolation. This paper presents the algorithm used to reduce the execution time and the flow chart of the interpolation program, and also shows the possibility of software interpolation. The interpolation program designed in assembly language is presented in the appendix.

고무인공근 매니퓰레이터의 퍼지제어에 관한 연구 (A study on fuzzy control of manipulator with artificial rubber muscles)

  • 진상호;;;이석규
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
    • /
    • pp.1047-1051
    • /
    • 1993
  • A fuzzy controller of a manipulator with artificial rubber muscles is proposed. The fuzzy logic controller as a compensator is described to control the trajectory tracking of a -two link manipulator, where computed torque control method has already assumed to be applied. We shows that the fuzzy compensator with a simple adaptive scaling technique is effective for the robust control when there exist model uncertainties and/or untuned feedback gains. The effectiveness of the proposed control method is illustrated by some experimental results for a circular path tracking.

  • PDF

실천추론에 의한 귀납의 정당화 (A Vindication of Induction by Practical Inference)

  • 이병덕
    • 논리연구
    • /
    • 제12권2호
    • /
    • pp.59-88
    • /
    • 2009
  • 귀납추론은 연역추론이 아니기 때문에 연역적으로 정당화될 수 없다. 또한 귀납추론을 귀납적으로 정당화하는 것은 순환적이다. 따라서 흄은 귀납추론을 합리적으로 정당화할 수 없다고 주장한다. 흄이 이와 같은 귀납의 문제를 제기한 이후 오랜 동안 많은 철학자들이 이 문제를 해결하고자 시도해 왔다. 그럼에도 불구하고, 아직껏 대다수의 철학자들이 동의하는 해결책이 제시되지 않고 있다. 셀라스에 따르면 귀납의 문제는 이론추론이 아니라 오직 실천추론을 통해서만 해결할 수 있다. 이 논문은 셀라스가 제안한 실천추론에 의한 귀납의 정당화를 좀 더 명확한 형태로 발전시켜 설명함으로써 그의 해결책이 귀납의 문제에 대한 근본 해결책임을 주장한다.

  • PDF

확률해석의 제 삼의 길 (A Third Way to Interpretations of Probability)

  • 양경은
    • 논리연구
    • /
    • 제13권1호
    • /
    • pp.53-81
    • /
    • 2010
  • 이 논문은 확률의 해석에 대한 고전적 해석인 주관적 해석과 객관적 해석의 문제점을 진단함으로써 이를 극복할 수 있는 새로운 확률해석의 가능성을 제공한다. 직관적으로는 그럴듯한 객관적 확률해석은 확률개념에 의존하지 않는 정의를 제공할 수 없다는 점에서 그 정당성을 의심받아 왔다. 주관적 확률해석의 경우에는 주어진 사건군에 대한 무지에서 우리가 어떻게 확률이라는 일정한 정보를 뽑아낼 수 있는지에 대한 문제에 대해 명확한 답을 제공하지 못하고 있는 상황이다. 이러한 문제점을 해결하기 위해 확률을 주어진 사건군의 특정 측면에 대한 일반화를 제공하는 이론적인 구조로 이해할 것을 제안한다.

  • PDF

H.264 복호기를 위한 효율적인 예측 연산기 설계 (Design of Prediction Unit for H.264 decoder)

  • 이찬호
    • 대한전자공학회논문지SD
    • /
    • 제46권7호
    • /
    • pp.47-52
    • /
    • 2009
  • H.264 영상 압축 표준은 높은 압축률과 화질로 널리 이용되고 있다. 이러한 H.264 복호기에서 움직임 보상기는 가장 연산 시간이 오래 걸리고 복잡한 유닛이다. 이러한 움직임 보상기의 성능은 보간 연산기와 참조 픽셀을 외부에서 읽어 오는 동작의 효율성에 의해 결정된다. 따라서 고성능 보간 연산기를 설계하고 참조 메모리와 데이터의 관리를 통해 데이터 재활용을 늘려 외부 메모리 접근 횟수를 줄이는 것이 필요하다. 본 논문에서는 2 차원 회전 레지스터 파일과 움직임 벡터 예측기, 그리고 저복잡도 고성능의 보간 연산기를 이용한 효율적인 움직임 보상기 구조를 제안한다. 2 차원 회전 레지스터는 참조 메모리에서 읽어 온 픽셀 데이터를 보관하면서 보간 연산기에 필요한 픽셀 데이터를 신속하게 공급하고 재활용될 데이터를 효과적으로 처리할 수 있는 기능을 가지고 있다. 제안된 구조에 따라 움직임 보상기를 설계하고 인트라 예측기와 통합하여 예측 연산기를 구현하여 동작과 성능을 검증하였다.