• Title/Summary/Keyword: First-Order Logic

Search Result 176, Processing Time 0.029 seconds

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

  • Kim, Byoung-Soo
    • Journal of Physiology & Pathology in Korean Medicine
    • /
    • v.22 no.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.

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

  • Lee Jae-Hyun;Suh Hyo-Won
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.23 no.3 s.180
    • /
    • 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 (점착력 계수 추정을 이용한 이동 로봇의 퍼지 재점착 제어기 설계)

  • Kwon, Sun-Ku;Huh, Uk-Youl;Kim, Jin-Hwhan
    • Proceedings of the KIEE Conference
    • /
    • 2004.11c
    • /
    • 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
    • /
    • v.3 no.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
    • /
    • v.47 no.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.

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

  • Son, Hyeon-Sung;Lim, Chan-Ho;Ryeom, Jeong-Duk
    • Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
    • /
    • v.18 no.3
    • /
    • pp.48-54
    • /
    • 2004
  • We have developed a new experimental driving system in order to make an easier drive experiment of PDP. By using the system, we can design and simulate the timing of the pulse in computer environment. As a result of the designed timing, we are able to program at PLD(Programmable Logic Device) and control high-voltage FET switches. The new system can reduce the time of the pulse compared with the previous logic gate ICs that realizes switching logic through hardware. In addition, it is a much easier way of changing the timing of the pulse due to the change of the driving method. By using the developed driving system we experimented on two different things- First, the realization of ADS Driving Method that run commonly; Second, gray scale realization on the three electrodes 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
    • /
    • v.8 no.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 (농촌중심지활성화(선도지구) 사업에 대한 성과평가 방안으로서의 논리모델 적용 가능성 탐색: 영월군 지역역량강화 분야를 중심으로)

  • Kim, Kisung;Jeong, Meekyung;Na, Kweonhee
    • Journal of The Korean Society of Agricultural Engineers
    • /
    • v.60 no.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 (클라우제비츠의 전쟁이론으로 본 냉전 이후 북한의 핵.미사일전략에 관한 연구)

  • Park, Ji-Sun;Lee, Sang-Ho
    • Journal of National Security and Military Science
    • /
    • s.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.
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 1998.06a
    • /
    • 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