• 제목/요약/키워드: logic transformation

검색결과 81건 처리시간 0.028초

Associations Among Information Granules and Their Optimization in Granulation-Degranulation Mechanism of Granular Computing

  • Pedrycz, Witold
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제13권4호
    • /
    • pp.245-253
    • /
    • 2013
  • Knowledge representation realized by information granules is one of the essential facets of granular computing and an area of intensive research. Fuzzy clustering and clustering are general vehicles to realize formation of information granules. Granulation - degranulation paradigm is one of the schemes determining and quantifying functionality and knowledge representation capabilities of information granules. In this study, we augment this paradigm by forming and optimizing a collection of associations among original and transformed information granules. We discuss several transformation schemes and analyze their properties. A series of numeric experiments is provided using which we quantify the improvement of the degranulation mechanisms offered by the optimized transformation of information granules.

Verification of an Autonomous Decentralized UPS System with Fast Transient Response Using a FPGA-Based Hardware Controller

  • Yokoyama, Tomoki;Doi, Nobuaki;Ishioka, Toshiya
    • Journal of Power Electronics
    • /
    • 제9권3호
    • /
    • pp.507-515
    • /
    • 2009
  • This paper proposes an autonomous decentralized control for a parallel connected uninterruptible power supply (UPS) system based on a fast power detection method using a FPGA based hardware controller for a single phase system. Each UPS unit detects only its output voltage and current without communications signal exchange and a quasi dq transformation method is applied to detect the phase and amplitude of the output voltage and the output current for the single phase system. Fast power detection can be achieved based on a quasi dq transformation, which results in a realization of very fast transient response under rapid load change. In the proposed method, the entire control system is implemented in one FPGA chip. Complicated calculations are assigned to hardware calculation logic, and the parallel processing circuit makes it possible to realize minimized calculation time. Also, an Nios II CPU core is implemented in the same FPGA chip, and the software can be applied for non-time critical calculations. Applying this control system, an autonomous decentralized UPS system with very fast transient response is realized. Feasibility and stable operation are confirmed by means of an experimental setup with three UPSs connected in parallel. Also, rapid load change is applied and excellent performance of the system is confirmed in terms of transient response and stability.

VLSI 게이트 레벨 논리설계 최적화를 위한 Rule-Based 시스템 (A Rule-Based System for VLSI Gate-Level Logic Optimization)

  • 이성봉;정정화
    • 대한전자공학회논문지
    • /
    • 제26권1호
    • /
    • pp.98-103
    • /
    • 1989
  • 본 논문에서는 게이트 레벨에서 논리 최적화를 하기 위한, 새로운 시스템을 제안한다. 본 시스템은 회로의 일부분을 간략화된 등가회로로 대치하는 local transformation을 rule로 표현한 rule-based 시스템이다. 본 시스템에서는 효율적인 패턴매칭을 위해, 'rule의 일반화'와 '국소최적화'를 제안한다. Rule의 일반화는 패턴매칭시 회로탐색을 줄이기 위해 사용되며, 국소최적화는 불필요한 회로탐색을 배제하기 위해 사용된다. 또한, 불필요한 패턴매칭 시도를 줄이기 위해, 회로 패턴의 매칭순서를 rule 기술에 포함시킨다. 또한, 본 시스템을 하드웨어 컴파일러에 의해 생성된 논리회로 최적화에 적용하여, 그 효용성을 보인다.

  • PDF

Teaching Linear Algebra to High School Students

  • Choe, Young-Han
    • 한국수학교육학회지시리즈D:수학교육연구
    • /
    • 제8권2호
    • /
    • pp.107-114
    • /
    • 2004
  • University teachers of linear algebra often feel annoyed and disarmed when faced with the inability of their students to cope with concepts that they consider to be very simple. Usually, they lay the blame on the impossibility for the students to use geometrical intuition or the lack of practice in basic logic and set theory. J.-L. Dorier [(2002): Teaching Linear Algebra at University. In: T. Li (Ed.), Proceedings of the International Congress of Mathematicians (Beijing: August 20-28, 2002), Vol. III: Invited Lectures (pp. 875-884). Beijing: Higher Education Press] mentioned that the situation could not be improved substantially with the teaching of Cartesian geometry or/and logic and set theory prior to the linear algebra. In East Asian countries, science-orientated mathematics curricula of the high schools consist of calculus with many other materials. To understand differential and integral calculus efficiently or for other reasons, students have to learn a lot of content (and concepts) in linear algebra, such as ordered pairs, n-tuple numbers, planar and spatial coordinates, vectors, polynomials, matrices, etc., from an early age. The content of linear algebra is spread out from grades 7 to 12. When the high school teachers teach the content of linear algebra, however, they do not concern much about the concepts of content. With small effort, teachers can help the students to build concepts of vocabularies and languages of linear algebra.

  • PDF

MR센서를 이용한 실외형 자율이동 로봇의 퍼지 조향제어기에 관한 연구 (Fuzzy Steering Controller for Outdoor Autonomous Mobile Robot using MR sensor)

  • 김정희;손석준;임영철;김태곤;김의선;유영재
    • 한국지능시스템학회논문지
    • /
    • 제12권1호
    • /
    • pp.27-32
    • /
    • 2002
  • 본 논문은 MR(magneto-resistive)센서를 이용한 실외형 자율 이동 로봇의 퍼지 조향 제어기에 대한 연구이다. 2개의 MR 센서를 이용한 지구자기장의 제거방법을 제안하고, 각각의 센서에서 측정된 자기장 차이값(dBy, dBz)을 입력변수로 사용한 퍼지 조향 제어기를 설계하였다. 자율 이동 로봇 시뮬레이션 프로그램을 개발하기 위해 MR센서의 모델링, 이동로봇의 동적모델링, 좌표변환 등을 하였다. 컴퓨터 시뮬레이션은 퍼지 로직을 이용한 이동로봇 제어기의 주행성능을 검증하기 위해 사용되었고 그 시뮬레이션을 통하여 제안한 퍼지 조향제어기의 강인성을 검증하였다.

드모르간 및 재대입 변환의 경로지연고장 테스트집합 유지 (Path Delay Test-Set Preservation of De Morgan and Re-Substitution Transformations)

  • 이준환;이현석
    • 대한전자공학회논문지SD
    • /
    • 제47권2호
    • /
    • pp.51-59
    • /
    • 2010
  • 드모르간 및 재대입 논리변환은 unate gate network (UGN)을 보다 일반적인 balanced inversion parity (BIP) network으로 전환하는데 충분하다. 이러한 회로계층에 대해서도 자세히 논의하고 있다. 우리는 드모르간 및 재대입 논리변환이 경로지연고장 테스트집합을 유지한다는 것을 증명하였다. 본 논문의 결과를 이용하여 함수 z를 구현하는 모든 UGN에서 모든 경로지연고장을 검출하는 상위수준 테스트집합은 함수 z의 어떠한 BIP realization에서도 모든 경로지연고장을 검출한다는 것을 보일 수 있다.

회화와 건축에서 나타나는 비재현적 접근방법에 관한 연구 - 프란시스 베이컨의 회화와 SANAA의 건축 프로젝트를 중심으로 - (A Study on Non-representation Approach Indicated in Paintings and Architecture - Focus on Francis Bacon's paintings and SANAA's Architectural projects -)

  • 박소라;이영수
    • 한국실내디자인학회논문집
    • /
    • 제21권5호
    • /
    • pp.114-121
    • /
    • 2012
  • Gilles Deleuze is a philosopher who replaces the world of representation defined as supremacy of identity with the contemporary reason of non-representation in the history of western philosophy that wants to transcend Plato. Deleuze developed his own philosophical concept through philosophical reason and encounter with arts, for which reason he exerted a great influence on artists and architects in diverse fields. Particularly, 'Logic of Sensation' published in 1981 considers the non-representation painting approach through Francis Bacon's painting theory defined as 'invisible force's visibility'. And it is considered that SANAA's architecture among many contemporary architects accepted the essence of Deleuze's philosophy and continuously reflects it on projects. Hence, objective of the present study is to consider how the non-representation constituting a root for Deleuze's reason has been indicated in paintings and architecture through examining the works by Bacon and SANAA. First, a theoretical consideration will be directed to non-representation, followed by an analysis of Bacon's painting works and SANAA's architecture projects from the viewpoints of the force of isolation, the force of transformation, the force of dissipation and the force of time dealt with by Deleuze in 'Logic of Sensation'. Finally, through such analysis, the characteristics of Deleuze's non-representation indicated in architecture and paintings will be derived.

  • PDF

PROMISE: A QR Code PROjection Matrix Based Framework for Information Hiding Using Image SEgmentation

  • Yixiang Fang;Kai Tu;Kai Wu;Yi Peng;Yunqing Shi
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • 제17권2호
    • /
    • pp.471-485
    • /
    • 2023
  • As data sharing increases explosively, such information encoded in QR code is completely public as private messages are not securely protected. This paper proposes a new 'PROMISE' framework for hiding information based on the QR code projection matrix by using image segmentation without modifying the essential QR code characteristics. Projection matrix mapping, matrix scrambling, fusion image segmentation and steganography with SEL(secret embedding logic) are part of the PROMISE framework. The QR code could be mapped to determine the segmentation site of the fusion image as a binary information matrix. To further protect the site information, matrix scrambling could be adopted after the mapping phase. Image segmentation is then performed on the fusion image and the SEL module is applied to embed the secret message into the fusion image. Matrix transformation and SEL parameters should be uploaded to the server as the secret key for authorized users to decode the private message. And it was possible to further obtain the private message hidden by the framework we proposed. Experimental findings show that when compared to some traditional information hiding methods, better anti-detection performance, greater secret key space and lower complexity could be obtained in our work.

영구자석형 동기 전동기의 토크 특성 개선에 관한 연구 (A Study on the Improvement of Torque Characteristics in PM Synchronous Motor)

  • 류시영;이두수
    • 전력전자학회논문지
    • /
    • 제6권3호
    • /
    • pp.231-242
    • /
    • 2001
  • 본 논문에서는 영구자석형 동기 전동기 고정자의 상 권선 인덕턴스에 의하여 지연되는 정현과 서류 지연 성분을 보상함으로써 전동기 발생 토크 특성을 개선하는 방법과 구현 방법을 제시하였다. 이 방법은 축 변환을 사용하지 않기 때문에 하드와이어드 로직에 의하여 구현함으로써 구현이 간단하고 축 변환에 의한 지연을 제거할 수 있다. 특히, 고정자 상 권선 인덕턴스에 의한 지연성분은 전동기 회전 속도에 따라 변화하며, 본 논문에서 제시한 방법을 이용하면 전동기 회전 속도에 따른 동적인 보상을 할 수 있다. 존 논문에서 제시한 방법의 효과를 입증하기 위하여 4극 3상 영구자석형 동기 전동기를 대상으로 실험을 행하였으며, 실험결과 모든 운전 속도에서 발생 토크가 증가함을 확인하였다.

  • PDF

안팍구조(構造)-한국건축공간(韓國建築空間)의 구조주의적(構造主義的) 해석(解析) (The In/Out Structure : Interpretation of the Korean Architectural Space by Structuralism)

  • 이희봉
    • 건축역사연구
    • /
    • 제1권2호
    • /
    • pp.172-182
    • /
    • 1992
  • The binary classification, Yin & Yang, can be shown in our culture. Yin & Yang thinking reveals the Up/Down (Principal/Subordinate) relation in space, and Before/After relation in time, and it shows the sequence of Contrast${\to}$Reconciliation & Unification${\to}$Contrast. For example, a follower is Yin against King, while Yang as a father against his son in our trational cognitive structure. With Left/Right, Front/Rear, and Upper/Lower, In/Out division is a basic body-space term to grasp the space position. In the traditional Korean house, when we go out from the deepest 'In', Anbang to Daechung, we may call Anbang 'In' and Daechung 'Out'. When from Daechung to Anmadang reversely, we call Daechung 'In' and Anmadang 'Out'. Namely, Daechung is both 'In' and 'Out'. This is a fallacy logic in view of western basic conception. 'The In/Out Structure, system of a series of inner spaces, is defined as a transformation of cognitive structure of Yin & Yang thinking to the Korean architectural space. The space structure is one of the important deep structure in Korean society.' The concept of the space structure, apperred in east Asia, can make humane space, for it is not a physical 'type' of typepology but related to cognitive structure of human thinking, The structure is applicable to space design in modern society, for the cognitive structure exists in living culture by transformation.

  • PDF