• Title/Summary/Keyword: logical rules

Search Result 75, Processing Time 0.028 seconds

Hardware Approach to Fuzzy Inference―ASIC and RISC―

  • Watanabe, Hiroyuki
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 1993.06a
    • /
    • pp.975-976
    • /
    • 1993
  • This talk presents the overview of the author's research and development activities on fuzzy inference hardware. We involved it with two distinct approaches. The first approach is to use application specific integrated circuits (ASIC) technology. The fuzzy inference method is directly implemented in silicon. The second approach, which is in its preliminary stage, is to use more conventional microprocessor architecture. Here, we use a quantitative technique used by designer of reduced instruction set computer (RISC) to modify an architecture of a microprocessor. In the ASIC approach, we implemented the most widely used fuzzy inference mechanism directly on silicon. The mechanism is beaded on a max-min compositional rule of inference, and Mandami's method of fuzzy implication. The two VLSI fuzzy inference chips are designed, fabricated, and fully tested. Both used a full-custom CMOS technology. The second and more claborate chip was designed at the University of North Carolina(U C) in cooperation with MCNC. Both VLSI chips had muliple datapaths for rule digital fuzzy inference chips had multiple datapaths for rule evaluation, and they executed multiple fuzzy if-then rules in parallel. The AT & T chip is the first digital fuzzy inference chip in the world. It ran with a 20 MHz clock cycle and achieved an approximately 80.000 Fuzzy Logical inferences Per Second (FLIPS). It stored and executed 16 fuzzy if-then rules. Since it was designed as a proof of concept prototype chip, it had minimal amount of peripheral logic for system integration. UNC/MCNC chip consists of 688,131 transistors of which 476,160 are used for RAM memory. It ran with a 10 MHz clock cycle. The chip has a 3-staged pipeline and initiates a computation of new inference every 64 cycle. This chip achieved an approximately 160,000 FLIPS. The new architecture have the following important improvements from the AT & T chip: Programmable rule set memory (RAM). On-chip fuzzification operation by a table lookup method. On-chip defuzzification operation by a centroid method. Reconfigurable architecture for processing two rule formats. RAM/datapath redundancy for higher yield It can store and execute 51 if-then rule of the following format: IF A and B and C and D Then Do E, and Then Do F. With this format, the chip takes four inputs and produces two outputs. By software reconfiguration, it can store and execute 102 if-then rules of the following simpler format using the same datapath: IF A and B Then Do E. With this format the chip takes two inputs and produces one outputs. We have built two VME-bus board systems based on this chip for Oak Ridge National Laboratory (ORNL). The board is now installed in a robot at ORNL. Researchers uses this board for experiment in autonomous robot navigation. The Fuzzy Logic system board places the Fuzzy chip into a VMEbus environment. High level C language functions hide the operational details of the board from the applications programme . The programmer treats rule memories and fuzzification function memories as local structures passed as parameters to the C functions. ASIC fuzzy inference hardware is extremely fast, but they are limited in generality. Many aspects of the design are limited or fixed. We have proposed to designing a are limited or fixed. We have proposed to designing a fuzzy information processor as an application specific processor using a quantitative approach. The quantitative approach was developed by RISC designers. In effect, we are interested in evaluating the effectiveness of a specialized RISC processor for fuzzy information processing. As the first step, we measured the possible speed-up of a fuzzy inference program based on if-then rules by an introduction of specialized instructions, i.e., min and max instructions. The minimum and maximum operations are heavily used in fuzzy logic applications as fuzzy intersection and union. We performed measurements using a MIPS R3000 as a base micropro essor. The initial result is encouraging. We can achieve as high as a 2.5 increase in inference speed if the R3000 had min and max instructions. Also, they are useful for speeding up other fuzzy operations such as bounded product and bounded sum. The embedded processor's main task is to control some device or process. It usually runs a single or a embedded processer to create an embedded processor for fuzzy control is very effective. Table I shows the measured speed of the inference by a MIPS R3000 microprocessor, a fictitious MIPS R3000 microprocessor with min and max instructions, and a UNC/MCNC ASIC fuzzy inference chip. The software that used on microprocessors is a simulator of the ASIC chip. The first row is the computation time in seconds of 6000 inferences using 51 rules where each fuzzy set is represented by an array of 64 elements. The second row is the time required to perform a single inference. The last row is the fuzzy logical inferences per second (FLIPS) measured for ach device. There is a large gap in run time between the ASIC and software approaches even if we resort to a specialized fuzzy microprocessor. As for design time and cost, these two approaches represent two extremes. An ASIC approach is extremely expensive. It is, therefore, an important research topic to design a specialized computing architecture for fuzzy applications that falls between these two extremes both in run time and design time/cost. TABLEI INFERENCE TIME BY 51 RULES {{{{Time }}{{MIPS R3000 }}{{ASIC }}{{Regular }}{{With min/mix }}{{6000 inference 1 inference FLIPS }}{{125s 20.8ms 48 }}{{49s 8.2ms 122 }}{{0.0038s 6.4㎲ 156,250 }} }}

  • PDF

Analysis of Korean Standard Classification of Diseases(Oriental Medicine) and Its Proposition of Amendment ($\mathbb{\ulcorner}$한국표준질병사인분류(한의$\mathbb{\lrcorner}$의 분석과 개선안에 관한 연구)

  • 박경모;신현규;최선미
    • The Journal of Korean Medicine
    • /
    • v.21 no.3
    • /
    • pp.9-19
    • /
    • 2000
  • Objective : We proposed fundamental rules of prospective Korean Standard Classification of Diseases(Oriental Medicine). Methods : We analysed Korean Standard Classification of Diseases(Oriental Medicine)(established in 1994) in comparison with ICD-10 and Chinese Standard Classification of Disease(Traditional Chinese Medicine). Secondly, we analysed the diagnostic structure of Modem oriental medicine. Results : Korean Standard Classification of Diseases has an inappropriate writing structure, logical errors of classification, confusion of symptoms, 'bing', and 'zheng', inappropriate comparison of disease designations in oriental medicine and western medicine, and the ommission of important items. Secondly, we demonstrate the relations of 'bing' and 'zheng' in modem oriental medicine and disease designations in oriental medicine and western medicine. Conclusions : We propose the separate classification of 'bing' and 'zheng', the qualification of designated names, the structure of 'bing' and 'zheng' system, and a different writing method.

  • PDF

Representation of Temporal Logic Framework Using Petri Net (Petri Net을 이용한 시간논리 구조의 표현)

  • Kim, Jung-Chul;Mo, Young-Seung;Kim, Jin-Kwon;Hwang, Hyung-Soo
    • Proceedings of the KIEE Conference
    • /
    • 2000.11d
    • /
    • pp.615-617
    • /
    • 2000
  • Temporal Logic Frameworks is convenient to represent temporal relation. It is useful to represent a dynamic properties of Discrete Event Dynamic Systems. Also, it is convenient to express a current and next state of event using logical representation. Because the teachability tree of the Temporal Logic Frameworks is very complexity it is difficult to understand. In this paper, we defined some rules to represent Temporal Logic Frameworks by Petri Net and proposed am method of the representation of them Petri Net for the Temporal Logic Frameworks. An example are used to demonstrate the feasibility of this method.

  • PDF

The Effect of Parent's Verbal Control Types on Young Children's Lying Behavior (부모의 언어통제유형이 유아의 거짓말 행동에 미치는 영향)

  • Lee, Ye-Ji;Yang, Sung-Eun
    • Journal of the Korean Home Economics Association
    • /
    • v.50 no.4
    • /
    • pp.21-36
    • /
    • 2012
  • The purpose of this study was to find out the influence of the Parent's control based on young children's habit of lying. This study was carried out through experimental observations. For the purpose of this study a total of 798 participants were selected from 5 kindergartens located in Seoul, Gyeong-gi and Incheon. The results of the study showed that rather than parents being excessively strict towards their children and commanding discipline, the child rearing attitude of rational and logical explanation along with discretionary power given to young children of their own rules. This can allow young children to morally decide and behave themselves. Moreover, moral education that is suited for the young children's development in order to internally learn about the moral behaviors on their own is needed.

A study on computer-aided synthesis of process control system structure (전산기를 이용한 공정 제어구조 합성에 관한 연구)

  • Lo, Kyun;Yoon, En-Sup
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1987.10b
    • /
    • pp.670-673
    • /
    • 1987
  • The structure of chemical process has become increasingly complex, due to better management of energy and raw materials. As a consequence, the design of control systems for complete plants now constitutes the focal point of engineering interest, rather than controller designs for single processing units. Instead of traditional methods based on complex mathematical model, chemical processes are represented by structural array and cause-and-effect graph to apply non-numerical problem-solving techniques. A systematic logical procedure to synthesize alternatives of control system structure and some heuristic rules to select a feasible solution from the vast number of alternatives that are possible are considered in this study.

  • PDF

Abacus Numerals for Rapid and Sufficient Mathematics Learning for Enhancing Creativity

  • Hayakawa Yoshinori
    • Research in Mathematical Education
    • /
    • v.9 no.3 s.23
    • /
    • pp.243-256
    • /
    • 2005
  • Abacus numerals were developed using the concept of the binary system to form decimal numerals. This would allow addition, subtraction, multiplication, and division to be performed based solely on the knowledge of the 14 forms of the numerals and three simple rules. These numerals were taught to 260 elementary school pupils of 3rd and 4th grade. After 90 minutes of instruction, they, nearly all, were able to understand principles to add, and to subtract, and partly to multiply using Abacus Numerals. Protected Abacus Numerals are proposed against forgery. An International Numeration System is proposed based on the form of Abacus Numerals to facilitate international communication. A new type of abacus is proposed.

  • PDF

A Logical Transformation Rules for Business Process Under Resource Allocation Constraint based CTR (CTR 기반 자원할당 제약조건 하에서의 비즈니스 프로세스를 위한 논리적 변환규칙)

  • An Hyoung-Keun;Koh Jae-Jin
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2005.11b
    • /
    • pp.205-207
    • /
    • 2005
  • 최근 수많은 정보를 통해서 증명 되듯이 비즈니스 프로세스 관리(Business Process Management, BPM)는 기업의 소프트웨어 시장의 가장 중요한 부분을 차지하고 있다. 비즈니스 프로세스 관리는 프로세스 전 라이프 사이클을 지원하고자 하는 개념으로 급변하는 경영 환경의 변화에서 기업의 경쟁력을 재고 하기위하여 필요로 되는 새로운 기업 컴퓨팅 패러다임이다. 비즈니스 프로세스 관리의 핵심적인 정보시스템 역할을 수행하는 워크플로우(Workflow)에서의 스케줄링은 정확한 업무 순서를 명세하기 위한 시간적인 제약들에 집중되어 있다. 워크플로우와 BPM과 같은 비즈니스 프로세스에서의 또 하나의 중요한 측면은 자원할당관리이다. 현재 대부분 다양한 자원들을 모델링하는데 초점을 맞추어 왔으며 자원들과 연관된 제약에서의 스케줄링에 대한 관심은 많지 않은 편이었다. 본 논문에서는 First Order Logic 기반의 CTR(Concurrent Transaction Logic)을 이용하여 각 비즈니스 프로세스 스케줄링을 위한 자원할당에 따른 제약들을 논리적인 모형으로 구체화하고, 모형에 필요한 변환 규칙을 소개하고자 한다.

  • PDF

A Study on the Control Method for Torque Ripple Reduction during Phase Commutation (SRM의 상전환 구간 토크리플 저감을 위한 제어기법에 관한 연구)

  • Kim, Tae-Hyoung;Ahn, Jin-Woo
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.59 no.2
    • /
    • pp.333-337
    • /
    • 2010
  • In this paper, an advanced torque control scheme of Switched Reluctance Motor(SRM) using modified non-linear logical TSF (Torque Sharing Function) with PWM is presented. In the proposed control scheme, a simple calculation of PWM duty ratio and switching rules from DITC(Direct Instantaneous Torque Control) can reduce the torque ripple with fixed switching frequency. The proposed control scheme is verified by the computer simulations and experimental results.

Effects of Literacy Instruction Methods for Young Children : On Balanced Literacy Instruction and Phonics Instruction (유아를 위한 문해 교수법의 효과 비교: 균형잡힌 문해 교수법과 발음중심 교수법을 중심으로)

  • Eum, Yoon-Jae;Park, Hye-Kyung
    • Korean Journal of Child Studies
    • /
    • v.25 no.6
    • /
    • pp.259-277
    • /
    • 2004
  • The effects of two literacy programs, Balanced Literacy Instruction(BLI) and Phonics Instruction were studied in 40 three- and four-year old children. BLIwas created to compensate for the limits of the Whole Language Approach(WLA) and of Phonics Instruction(PI). The WLA focuses on writing and communication but lacks concrete instruction methods and overlooks technical aspects of reading and writing. On the contrary, PI is logical, stressing phonemic recognition, skill in distinguishing words, and the rules of consonants and vowels. By combining the best of both PI and WLA to create BLI, this study showed that children who received BLI significantly improved their ability of phoneme recognition, reading, writing and understanding of the content of a book, letting us conclude that BLI is the more effective method for teaching literacy.

  • PDF

A Study on the Customs Classification Fallacy of certain ITA Goods (정보기술협정(ITA) 물품 품목분류 오류 사례 연구)

  • Park, Min-Gyu
    • Korea Trade Review
    • /
    • v.44 no.2
    • /
    • pp.189-202
    • /
    • 2019
  • The Harmonized System comprises about 5,000 commodity groups; each identified by a six digit code, arranged in a legal and logical structure and is supported by well-defined rules to achieve uniform classification. This study reviews the appropriateness of Korea Customs Service and Tax Tribunal's customs classification decisions concerning the interpretation and application of the Harmonized System for certain ITA goods. Korea Customs Service had classified arbitrary and had not applied in dubio pro reo principle. This paper finds that 57% of Korea Customs Service's classification decisions have erred. Korea government need to take measures to secure uniform interpretation of the HS and its periodic updating in light of developments in technology and changes in trade patterns. This paper suggest to amend customs law and regulation concerning classification committee.