• 제목/요약/키워드: First Order Logic

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

하도(河圖) 원리로 본 사지관절(四肢關節)의 오행(五行)배속 연구 (Study on the Application of Five Phases Theory to the Joints of the Limbs from the Viewpoint of Ha-Do Based on I-Ching)

  • 김병수
    • 동의생리병리학회지
    • /
    • 제22권6호
    • /
    • pp.1374-1377
    • /
    • 2008
  • The aim of this study is to explore the principle that the joints of the limbs belong to Five Phases in Korean medicine. According to the principle of I-Ching, Ha-Do provides the logic which could attach everything to Five Phases. Ha-Do is composed of the numbers from one through ten, and in order to explain the logic of Universe formation, it furnishes the method of transforming 'immateriality' into 'materiality'. If we apply formation theory of Ha-Do to the joints of the limbs, however, it could be understood that the trunk of body develops the appendages, which means Ha-Do suggests a logic that 'materiality' generates 'materiality' in this case. Therefore, it is not the Water but the Earth that occurs first in the appendages development in this theory, and the shoulder joints belong to the Earth. Following development should occur in order of Five Phases formation of Ha-Do ; that is to say, the elbow joints belong to the Water, the wrist joints belong to the Fire, the finger joints belong to the Wood, and the ends of fingers belong to the Metal.

PLM 지원을 위한 온톨로지 기반 지식 프레임워크 (Ontology-Based Knowledge Framework for Product Life cycle Management)

  • 이재현;서효원
    • 한국정밀공학회지
    • /
    • 제23권3호
    • /
    • pp.22-31
    • /
    • 2006
  • This paper introduces an approach to an ontology-based knowledge framework for product life cycle management (PLM). Participants in a product life cycle want to share comprehensive product knowledge without any ambiguity and heterogeneity. However, previous knowledge management approaches are limited in providing those aspects. Therefore, we suggest an ontology-based knowledge framework including knowledge maps, axioms and specific knowledge far domain. The bottom level, the axiom, specifies the semantics of concepts and relations of knowledge so that ambiguity of the semantics can be alleviated. The middle level is a product development knowledge map; it defines the concepts and the relations of the product domain common knowledge and guides engineers to process their engineering decisions. The middle level is then classified further into more detailed levels, such as generic product level, specific product level, product version level, and product item level for PLM. The top level is specialized knowledge fer a specific domain that gives the solution of a specific task or problem. It is classified into three knowledge types: expert knowledge, engineering function knowledge, and data-analysis-based knowledge. This proposed framework is based on ontology to accommodate a comprehensive range of unambiguous knowledge for PLM and is represented with first-order logic to maintain a uniform representation.

점착력 계수 추정을 이용한 이동 로봇의 퍼지 재점착 제어기 설계 (Design of a Re-adhesion Controller using Fuzzy Logic with Estimated Adhesion Force Coefficient for Wheeled Robot)

  • 권선구;허욱열;김진환
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2004년도 학술대회 논문집 정보 및 제어부문
    • /
    • pp.620-622
    • /
    • 2004
  • Mobility of an indoor wheeled robot is affected by adhesion force that is related to various floor conditions. When the adhesion force between driving wheels and the floor decreases suddenly, the robot has a slip state. In order to overcome this slip problem, optimal slip velocity must be decided for stable movement of wheeled robot. First of all, this paper shows that conventional PI control can not be applied to a wheeled robot of the light weigh. Secondly, reposed fuzzy logic applied by the Takagi-Sugeno model for the configuration of fuzzy sets. For the design of Takaki-Sugeno model and fuzzy rule, proposed algorithm uses FCM(Fuzzy c-mean clustering method) algorithm. In additionally, this algorithm controls recovered driving torque for the restrain the re-slip. The proposed fuzzy logic controller(FLC) is pretty useful with prevention of the slip phenomena through that compare fuzzy with PI control for the controller performance in the re-adhesion control strategy. These procedures are implemented using a Pioneer 2-DXE wheeled robot parameter.

  • PDF

A novel approach to predict surface roughness in machining operations using fuzzy set theory

  • Tseng, Tzu-Liang (Bill);Konada, Udayvarun;Kwon, Yongjin (James)
    • Journal of Computational Design and Engineering
    • /
    • 제3권1호
    • /
    • pp.1-13
    • /
    • 2016
  • The increase of consumer needs for quality metal cutting related products with more precise tolerances and better product surface roughness has driven the metal cutting industry to continuously improve quality control of metal cutting processes. In this paper, two different approaches are discussed. First, design of experiments (DOE) is used to determine the significant factors and then fuzzy logic approach is presented for the prediction of surface roughness. The data used for the training and checking the fuzzy logic performance is derived from the experiments conducted on a CNC milling machine. In order to obtain better surface roughness, the proper sets of cutting parameters are determined before the process takes place. The factors considered for DOE in the experiment were the depth of cut, feed rate per tooth, cutting speed, tool nose radius, the use of cutting fluid and the three components of the cutting force. Finally the significant factors were used as input factors for fuzzy logic mechanism and surface roughness is predicted with empirical formula developed. Test results show good agreement between the actual process output and the predicted surface roughness.

STUDY OF CORE SUPPORT BARREL VIBRATION MONITORING USING EX-CORE NEUTRON NOISE ANALYSIS AND FUZZY LOGIC ALGORITHM

  • CHRISTIAN, ROBBY;SONG, SEON HO;KANG, HYUN GOOK
    • Nuclear Engineering and Technology
    • /
    • 제47권2호
    • /
    • pp.165-175
    • /
    • 2015
  • The application of neutron noise analysis (NNA) to the ex-core neutron detector signal for monitoring the vibration characteristics of a reactor core support barrel (CSB) was investigated. Ex-core flux data were generated by using a nonanalog Monte Carlo neutron transport method in a simulated CSB model where the implicit capture and Russian roulette technique were utilized. First and third order beam and shell modes of CSB vibration were modeled based on parallel processing simulation. A NNA module was developed to analyze the ex-core flux data based on its time variation, normalized power spectral density, normalized cross-power spectral density, coherence, and phase differences. The data were then analyzed with a fuzzy logic module to determine the vibration characteristics. The ex-core neutron signal fluctuation was directly proportional to the CSB's vibration observed at 8Hz and15Hzin the beam mode vibration, and at 8Hz in the shell mode vibration. The coherence result between flux pairs was unity at the vibration peak frequencies. A distinct pattern of phase differences was observed for each of the vibration models. The developed fuzzy logic module demonstrated successful recognition of the vibration frequencies, modes, orders, directions, and phase differences within 0.4 ms for the beam and shell mode vibrations.

PLD를 사용한 PDP용 구동실험장치의 개발 (Development of the Experimental Driving System with PLD for PDPs)

  • 손현성;임찬호;염정덕
    • 조명전기설비학회논문지
    • /
    • 제18권3호
    • /
    • pp.48-54
    • /
    • 2004
  • 플라즈마 디스플레이 패널의 구동실험을 용이하게 할 수 있는 구동실험장치를 개발하였다. 이 장치는 펄스의 타이밍을 컴퓨터상에서 설계하고 시뮬레이션 할 수 있고 이렇게 설계된 타이밍을 사용하여 PLD에 프로그래밍하고 고전압 FET 스위치들을 제어할 수 있다. 이 장치는 기존의 로직 gate IC를 이용하여 하드웨어적으로 스위칭 로직을 구현하는 것 보다 펄스로직의 설계시간을 단축시킬 수 있으며 구동방식의 변경에 따른 펄스의 타이밍 변경도 용이하다. 이 구동장치를 가지고 상용화 되어있는 ADS 구동방식을 구현하여 3전극 AC PDP의 계조구현 실험을 하였다.

FUEL ECONOMY IMPROVEMENT FOR FUEL CELL HYBRID ELECTRIC VEHICLES USING FUZZY LOGIC-BASED POWER DISTRIBUTION CONTROL

  • Ahn, H.S.;Lee, N.S.;Moon, C.W.;Jeong, G.M.
    • International Journal of Automotive Technology
    • /
    • 제8권5호
    • /
    • pp.651-658
    • /
    • 2007
  • This paper presents a new type of fuzzy logic-based power control strategy for fuel cell hybrid electric vehicles designed to improve their fuel economy while maintaining the battery's state of charge. Since fuel cell systems have inherent limitations, such as a slow response time and low fuel efficiency, especially in the low power region, a battery system is typically used to assist them. To maximize the advantages of this hybrid type of configuration, a power distribution control strategy is required for the two power sources: the fuel cell system and the battery system. The required fuel cell power is procured using fuzzy rules based on the vehicle driving status and the battery status. In order to show the validity and effectiveness of the proposed power control strategy, simulations are performed using a mid-size vehicle for three types of standard drive cycle. First, the fuzzy logic-based power control strategy is shown to improves the fuel economy compared with the static power control strategy. Second, the robustness of the proposed power control strategy is verified against several variations in system parameters.

농촌중심지활성화(선도지구) 사업에 대한 성과평가 방안으로서의 논리모델 적용 가능성 탐색: 영월군 지역역량강화 분야를 중심으로 (A Study to Apply the Logic Model for Evaluating Outcomes of Revitalization Projects of Rural Centers: Focusing on Regional Capacity Strengthening in Yeongwol-gun)

  • 김기성;정미경;나권희
    • 한국농공학회논문집
    • /
    • 제60권3호
    • /
    • pp.83-94
    • /
    • 2018
  • This study aims to apply the logic model in order to evaluate outcomes of revitalization projects of rural centers as a part of the regional capacity strengthening in Yeongwol-gun. According to the study results, first of all, it was unclear to answer for questions what, how and why to lead the project, when examining logical associations among program inputs, activities, outputs and outcomes. As an alternative method, the logic model has been applied, and this in turn led to clarify the goals, inputs, contents, outputs, outcomes as well as overall outcome goals and purpose of the current projects. Second of all, the initial, intermediate and long term outcome goals of the current project were indistinctly specified, and moreover, their evaluation methods were also unclear. By applying the logic model to the current regional capacity strengthening project, it was able to figure the distinction between program outputs and outcomes, and specify initial, intermediate and long term target goals as well as their evaluation tools. It is therefore to conclude that the logic model has a possibility to apply to a project evaluation, especially in the sense that this method considers efficiency, effectiveness and accountability of each project.

클라우제비츠의 전쟁이론으로 본 냉전 이후 북한의 핵.미사일전략에 관한 연구 (An Analysis of North Korea's Nuclear and Missile Strategy through the Clausewitzian Framework)

  • 박지선;이상호
    • 안보군사학연구
    • /
    • 통권8호
    • /
    • pp.271-309
    • /
    • 2010
  • The main theme of this study is about North Korea's contemporary military strategy which remained a blind spot in the 21st century. Indeed, Pyongyang's contemporary military strategy is evolved from the logic of War. On the basis of this logic, this study examined North Korea's contemporary military strategy with three analytical frameworks. The first is the discovery of Clausewitz's dictums and application of the Trinitarian analysis on the Korean cases. During the course of applying Clausewitzian main dictum--War as continuation of politics, the methodological analysis on war played a important role generalizing the pattern and matrix of North Korea's strategic thinking and military strategy. In particular, Clausewitz's Trinitarian framework on war -Government (reason), Army (chance), People (passion)- was a universal framework to scrutinize the North Korean missile and nuclear strategy. The second is about the matrix of North Korea's military strategy, The study suggested the genealogical feature of Pyongyang's military strategy. In principle, the dictum of 'Military-First Politics' 1S the combination of the political philosophy, Chuch'e (self-reliance) of Kim Il Sung and Kin Jong Il reflected in the military readiness. As a result this analysis was able to equate Clausewitz's dictums to explain Pyongyang's idea of the nature of war in that North Korea's military strategy is the central instrument of delivery to achieve political objectives. The third is about the theoretical encounter of 'Clausewitz's Wonderful Trinity' and 'Remarkable Trinity on North Korea's contemporary strategy'. On the basis, three elements are connected to one of three groups in society; the people, the military, and the government. In order to apply the Clausewitz's Trinitarian analysis into Kim Jong Il's 'Military-First' strategy, two case studies (Missile and Nuclear strategy) were examined. The finding of this study is that Clausewitzian dictum in the 19th century is still valid in the 21st century as it provided plausible theoretical framework to explain the North Korean contemporary military strategy with a reminder that the nature and logic of war are fixed in the socially constructed state.

  • PDF

THEORIES OF SET AND LOGIC : COMPUTING WITH WORDS AND NUMBERS

  • Turksen, I.B.
    • 한국지능시스템학회:학술대회논문집
    • /
    • 한국퍼지및지능시스템학회 1998년도 The Third Asian Fuzzy Systems Symposium
    • /
    • pp.1-19
    • /
    • 1998
  • In this Kdynote address, two types of information granules are considered : (ⅰ) one for set assignments of a concept descriptor and (ⅱ) the other for truthood assignment to the concept description verifier. The first is, the process which specifies the assignment of an object to a clump, a class, a group, etc., and hence defines the set membership with a relational constraint. the second is the assignment of the degree of truthood or the membership specification of the abstract concept of truthood which specifies the " veristic" constraint associated with the concept descriptor. The combination of these two distinct assignments let us generate four set and logic theories. This then leads to the concern of normal forms and their derivation from truth tables for each of these theories. In this regard, some of the fundamental issues arising in this context are discussed and certain preliminary answers are provided in order to highlight the consequences of these theories.

  • PDF