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

검색결과 174건 처리시간 0.024초

A study on the Design Techniques and Analysis of Fault-Tolerant Computers

  • Cho, Jai-Rip
    • 품질경영학회지
    • /
    • 제21권1호
    • /
    • pp.78-95
    • /
    • 1993
  • The art of designing and analyzing fault-tolerant computers is surveyed with special emphasis on problems of analyzing the behavior of computers that have autonomous repair capability. The survey covers the following topics : (1) general issues in computer reliability, (2) fault-tolerance state relations and requirements, (3) computational hierarchy, (4) fault characteristics, (5) fault diagnosis, (6) fault-tolerance schemes for logic network and machines, (7) fault-coverage effects, and (8) fault-tree analysis of coverage. This paper does not include techniques for verifying nonredundant hardware or system software designs or for verifying the correctness of application programs.

  • PDF

COMPLETE HAMACHER FUZZY GRAPHS

  • AL-HAWARY, TALAL ALI
    • Journal of applied mathematics & informatics
    • /
    • 제40권5_6호
    • /
    • pp.1043-1052
    • /
    • 2022
  • Our goal in this paper is to propose the advancement proposed by Alsina, Klement and other researchers in the area of fuzzy logic applied to the area of fuzzy graph theory. We introduce the notion of complete Hamacher fuzzy graphs and the notion of balanced Hamacher fuzzy graphs and discuss their properties. Moreover, several operations on these fuzzy graphs are explored via the complete notion.

하이브리드 면진장치의 뉴로-퍼지 모형화 (Neuro-Fuzzy Modeling Approach for Hybrid Base Isolaton System)

  • 김현수;;이동근
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 2005년도 춘계 학술발표회 논문집
    • /
    • pp.201-208
    • /
    • 2005
  • Neuro-Fuzzy modeling approach is proposed to predict the dynamic behavior of a single-degree-of-freedom structure that is equipped with hybrid base isolation system. Hybrid base isolation system consists of friction pendulum systems (FPS) and a magnetorheological (MR) damper. Fuzzy model of the M damper is trained by ANFIS using various displacement, velocity, and voltage combinations that are obtained from a series of performance tests. Modelling of the FPS is carried out with a nonlinear analytical equation that is derived in this study and neuro-fuzzy training. Fuzzy logic controller is employed to control the command voltage that is sent to MR damper. The dynamic responses or experimental structure subjected to various earthquake excitations are compared with numerically simulated results using neuro-fuzzy modeling method. Numerical simulation using neuro-fuzzy models of the MR damper and FPS predict response of the hybrid base isolation system very well.

  • PDF

옹벽 구조물을 위한 설계 자동화 통합 시스템 개발 (Development of an Integrated Design Automation System for Retaining Wall Structures)

  • 변윤주;김현기;김도;이민우
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 2008년도 정기 학술대회
    • /
    • pp.294-299
    • /
    • 2008
  • Nowadays there are numerous factors to design the structure even for simple one, but many parts of the work are similar to the existing or repeated simply. In this case, design of the structure is unnecessarily needed lots of effort and time. To solve difficulties of design, an integrated design automation system for retaining wall structures that widely used is developed. The automation system consists of following items, 1) XML data structure between modules, 2) CAD visualization system to provide drawing sheets, 3) excel solution to provide structural design sheets and bills of quantity, 4) design logic to analysis and calculate behaviors of structure, and 5) GUI to represent data and results for the program.

  • PDF

CFD에로의 Fuzzy 추론 응용에 관한 연구 - 반복계산을 위한 퍼지제어의 유효성 - (Fuzzy Reasoning on Computational Fluid Dynamics - Feasibility of Fuzzy Control for Iterative Method -)

  • 이연원;정용옥;박외철;이도형;배대석
    • 동력기계공학회지
    • /
    • 제2권3호
    • /
    • pp.21-26
    • /
    • 1998
  • Numerical simulations for various fluid flows require enormous computing time during iterations. In order to solve this problem, several techniques have been proposed. A SOR method is one of the effective methods for solving elliptic equations. However, it is very difficult to find the optimum relaxation factor, the value of this factor for practical problems used to be estimated on the basis of expertise. In this paper, the implication of the relaxation factor are translated into fuzzy control rules on the basis of the expertise of numerical analysers, and fuzzy controller incorporated into a numerical algorithm. From two cases of study, Poisson equation and cavity flow problem, we confirmed the possibility of computational acceleration with fuzzy logic and qualitative reasoning in numerical simulations. Numerical experiments with the fuzzy controller resulted in generating a good performance.

  • PDF

segmenting dark channel prior을 이용한 단일 영상에서의 안개 제거 (Single image dehazing using segmenting dark channel prior)

  • ;;김원하
    • 한국방송∙미디어공학회:학술대회논문집
    • /
    • 한국방송공학회 2014년도 추계학술대회
    • /
    • pp.127-129
    • /
    • 2014
  • In image dehazing, the existing transmission estimators bring out the halo artifact at boundaries unless they adopt a refinement process with the high computational complexity. We analyze how the existing transmission estimation methods suffer from the halo artifact at the boundaries and observed that the elaborate, high computational refinement processes to remove the halo effect are excessive for dehazing. On the basis of the analysis and observation, we embed a simple segmentation logic in an existing transmission estimator, which is sufficiently accurate for dehazing. The experiment verifies that the proposed method significantly reduces the halo artifact without requiring any refinement process.

  • PDF

CAD시스템을 위한 컴퓨터원용 설계도면검도 -기계부품도의 치수검도방법 - (Computer Aided Drawing Check for CAD Systems A Method for the Checking of Dimensions in Mechanical Part Drawings)

  • 이성수
    • 한국CDE학회논문집
    • /
    • 제1권2호
    • /
    • pp.97-106
    • /
    • 1996
  • Existing CAD systems do not provide advanced functions for automatic checking design and drafting errors in mechanical drawings. If the knowledge of checking in mechanical ddrsfting can be implemented into computers, CAD systems could automatically check for design and drafting errors. This paper describes a method for systematic checking of dimension errors. such as deficiency and/or redundancy of dimension input-errors in dimension figures and symbols, etc. The logic for finding dimensional errors is written by using a proccedural language. A geometric model and a topological-graph model are used in this method. Checking for deficiency and redundancy of dimensions is based upon graph Theory.

  • PDF

Parametric Design on Bellows of Piping System Using Fuzzy Knowledge Processing

  • Lee Yang-Chang;Lee Joon-Seong;Choi Yoon-Jong
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제6권2호
    • /
    • pp.144-149
    • /
    • 2006
  • This paper describes a novel automated analysis system for bellows of piping system. An automatic finite element (FE) mesh generation technique, which is based on the fuzzy theory and computational geometry technique, is incorporated into the system, together with one of commercial FE analysis codes and one of commercial solid modelers. In this system, a geometric model, i.e. an analysis model, is first defined using a commercial solid modelers for 3-D shell structures. Node is generated if its distance from existing node points is similar to the node spacing function at the point. The node spacing function is well controlled by the fuzzy knowledge processing. The Delaunay triangulation technique is introduced as a basic tool for element generation. The triangular elements are converted to quadrilateral elements. Practical performances of the present system are demonstrated through several analysis for bellows of piping system.

초음속 유도탄의 측추력기 작동시 풍동실험을 위한 CFD 해석 연구 (Computational Investigation of Similarity Law and Wind Tunnel Testing for Side Jet Influence on Supersonic Missile Aerodynamics)

  • 홍승규;성웅제
    • 대한기계학회:학술대회논문집
    • /
    • 대한기계학회 2002년도 학술대회지
    • /
    • pp.87-90
    • /
    • 2002
  • Computational study has been undertaken to investigate the aerodynamic influence of side jet on a supersonic missile and to find a similarity condition between the flight condition and the wind tunnel testing. Tasks were performed to validate the existing Raytheon test body with side jet, to simulate the flow inside the supersonic wind tunnel, and to compare the flow fields between the missile in free flight and that in the wind tunnel. Then sub-scale model of body-tail configuration was analyzed to estimate the influence of the side jet on the missile components. It Is found that the influence of side Jet is not as significant on the tail region as on the body surface and a simple algebraic formula for aerodynamic coefficients accounting for the side jet as a point force may be cautiously utilized in setting up control logic.

  • PDF

Implementation of Hardware Circuits for Fuzzy Controller Using $\alpha$-Cut Decomposition of fuzzy set

  • Lee, Yo-Seob;Hong, Soon-Ill
    • Journal of Advanced Marine Engineering and Technology
    • /
    • 제28권2호
    • /
    • pp.200-209
    • /
    • 2004
  • The fuzzy control based on $\alpha$-level fuzzy set decomposition. It is known to produce quick response and calculating time of fuzzy inference. This paper derived the embodiment computational algorithm for defuzzification by min-max fuzzy inference and the center of gravity method based on $\alpha$-level fuzzy set decomposition. It is easy to realize the fuzzy controller hardware. based on the calculation formula. In addition. this study proposed a circuit that generates PWM actual signals ranging from fuzzy inference to defuzzification. The fuzzy controller was implemented with mixed analog-digital logic circuit using the computational fuzzy inference algorithm by min-min-max and defuzzification by the center of gravity method. This study confirmed that the fuzzy controller worked satisfactorily when it was applied to the position control of a dc servo system.