• Title/Summary/Keyword: 선형논리

Search Result 178, Processing Time 0.029 seconds

Formal Specification of ECG Signal (심전도 신호의 정형 명세)

  • Kwon, Hyeokju;Kwon, Hyuck;Kwon, Gihwon
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2015.10a
    • /
    • pp.1085-1087
    • /
    • 2015
  • 본 논문에서는 심장의 전기활성도를 반영하는 ECG 신호 중 일부를 명세한다. 꾸준히 축적되었고 통용되는 ECG 신호의 비정형 명세를 정형 명세로 바꾸는 과정에서 선형 시제 논리보다 시간을 다루는 명세 및 양적 평가에 유리한 신호 시제 논리(Signal Temporal Logic)를 사용한다. ECG 신호를 감지했다는 가정하에 특징점을 추상화하여 신호를 맹세했고, 양적으로 평가해주는 모델 기발 실시간 ECG 모니터링 시스템의 신속한 개발 필요성을 제시한다.

Fuzzy System Modeling Using New Hierarchical Structure (새로운 계층 구조를 이용한 퍼지 시스템 모델링)

  • Kim, Do-Wan;Joo, Young-Hoon;Park, Jin-Bae
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.12 no.5
    • /
    • pp.405-410
    • /
    • 2002
  • In this paper, fuzzy system modeling using new hierarchical structure is suggested for the complex and uncertain system. The proposed modeling technique Is to decompose the fuzzy rule base structure into the above-rule base and the sub-rule base. By applying hierarchical fuzzy rules, they can be used efficiently and logically. Also, hieratical fuzzy rules can improve the accuracy and the transparency of structure in the fuzzy system. The genetic algorithm is applied for optimization of the parameters and the structure of the fuzzy rules. To show the effectiveness of the proposed method, fuzzy modeling of the complex nonlinear system is provided.

The Relationship between Conservation Reasoning and Functional Prefrontal Lobe in Elementary School Students (초등학교 저학년 학생의 전두엽연합령의 기능과 보존논리 형성과의 관계에 대한 연구)

  • Kim, Young-Shin;Kwon, Yong-Ju;Bae, Yoon-Ju;Jeong, Jin-Su;Jeong, Wan-Ho
    • Journal of The Korean Association For Science Education
    • /
    • v.24 no.3
    • /
    • pp.417-428
    • /
    • 2004
  • Conservation reasoning makes operational thought possible as a functional tool and it is the essential concept not only in the area of science and mathematics but also in several aspects of daily life. The abilities to solve mathematical problems and that of scientific reasoning and abstract way of thinking depend on whether thereis conservation reasoning or not and they are critical concepts that enables us to confirm the steps of cognitive development. Therefor in the study, we emphasized the issue that is the ways to speed up the scientific era by analyzing the correlation between the formation of conservation reasoning and neuro-cognitive variables. About 50% of 1-3 grade students did not had conservation reasoning skills. The formation of conservations was not linear. Scientific reasoning ability, planing and inhibiting ability were significantly different in levels of conservation, And, conservation reasonings were significantly correlated with cognitive variables. Scientific reasoning and planning ability significantly explained about 20% of the conservation reasoning ability of 1-3 grades.

Tracking Control of a Sampled Nonlinear System via Fuzzy Logic Theory (퍼지제어 이론을 이용한 샘플된 비선형 시스템의 추적제어에 대한 연구)

  • 김은태
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.40 no.6
    • /
    • pp.69-75
    • /
    • 2003
  • This paper presents a fuzzy logic based approach to tracking control of a sampled nonlinear system. It is assumed that the plant to be controlled is under both the internal uncertainty and the external disturbances. Discrete-time adaptive fuzzy control method is proposed and its parameters are determined by the recently-spolighted convex optimization technique called LMI. Finally, the computer simulation is tarried out to verify the effectiveness of the proposed method.

The Design of a Robust Self-Tuning Controller using PI-Type Fuzzy Controllers (PI형 퍼지제어기를 이용한 강인한 자기동조 시스템 설계)

  • 김민정;강신출;이인용;박재형;최부귀;임영도
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2000.11a
    • /
    • pp.497-505
    • /
    • 2000
  • 퍼지 논리 제어기(FLC)는 복잡한 프로세스와 비선형 프로세스와 비선형 프로세스에 사용되기 위해 연구되어져왔다. PI형 퍼지 제어기는 가장 보편적이고 실용적이다. 그러나 종래의 PI형 퍼지 제어기들은 큰 불감대를 가진 시스템이나 비선형 시스템에 대해 큰 오버슛과 과도한 발진으로 인해 불안정하다. 본 논문에서는 PI형 퍼지 제어기에서 제어 입력의 축적에 의해 야기된 오버슛을 제거하기 위한 관점에서, 두 개의 퍼지 제어기를 사용하여 좋은 성능을 이루기 위해, 직접적인 성능치로부터가 아니라, 현재의 프로세스 경향에만 의존하여, 조정하는 제어동작들을 발생하는 자기 동조 메카니즘을 사용하였다. 시뮬레이션 결과, 비선형 프로세스뿐만 아니라 선형의 다양한 형태를 갖는 프로세스에서 제안된 PI형 퍼지 제어기가 종래의 제어기의 성능을 능가한다는 것을 보여준다.

  • PDF

Control of Flexible Joint Cart based Inverted Pendulum using LQR and Fuzzy Logic System (LQR-퍼지논리제어기에 의한 2중 차량 구조 역진자 시스템의 제어)

  • Xu, Yue;Choi, Byung-Jae
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.23 no.3
    • /
    • pp.268-274
    • /
    • 2013
  • Any new method for controlling a nonlinear system has widely been reported. An inverted pendulum system has typically been used as a target system for demonstrating its usefulness. In this paper, we propose an algorithm to control a flexible joint cart based inverted pendulum system. Two carts are connected with a spring and one is a driving cart and the other is no driving cart with a pole. We here present a system modeling and a good fuzzy logic based control algorithm. We also introduce LQR (Linar Quadratic Regulator) technique for reducing the number of control variables. By using this technique, the number of input variables for a fuzzy logic controller is become only two not six. So the computational complexity is largely reduced. Moreover, a two-input fuzzy logic controller has a control rule table with a skew-symmetric property. And it will lead the design of a single-input fuzzy logic controller. In order to demonstrate the usefulness of the proposed method and prove the superiority of the proposed method, some computer simulations are presented.

2.5 Gbit/s all-optical GR logic gate using semiconductor optical amplifiers (반도체 광증폭기(SOA)를 이용한 2.5 Gbit/s 전광 OR 논리 게이트)

  • Byun, Young-Tae;Kim, Jae-Hun;Jhon, Young-Min;Lee, Seok;Woo, Deok-Ha;Kim, Sun-Ho
    • Korean Journal of Optics and Photonics
    • /
    • v.13 no.2
    • /
    • pp.151-154
    • /
    • 2002
  • All-optical OR logic gate is realized by use of gain saturation and wavelength conversion in the semiconductor optical amplifiers (SOA). It is operated by the nonlinearity of the SOA gain and hence to obtain the sufficient gain saturation of the SOA, pump signals are amplified by an Er-doped fiber amplifier (EDFA) at the input of the SOA. The operation characteristics of all-optical OR logic gate are successfully measured at 2.5 Gbit/s.

A novel 10 Gbit/s all-optical NOR logic gate (새로운 10 Gbit/s 전광 NOR 논리 게이트)

  • Byun, Young-Tae;Kim, Jae-Heon;Jeon, Young-Min;Lee, Seok;Woo, Duk-Ha;Kim, Sun-Ho
    • Korean Journal of Optics and Photonics
    • /
    • v.14 no.5
    • /
    • pp.530-534
    • /
    • 2003
  • A novel all-optical NOR gate is proposed and demonstrated for the first time by use of gain saturation in a semiconductor optical amplifier (SOA). It is operated by the nonlinearity of the SOA gain. Hence, to obtain sufficient gain saturation of the SOA, pump signals are amplified by an Er-doped fiber amplifier at the input of the SOA. The operation characteristics of the all-optical NOR gate are successfully measured at 10 Gbit/s.

Design of a hybrid fuzzy controller with the optimal auto-tuning method (최적 자동동조 방법에 의한 하이브리드 퍼지제어기의 설계)

  • Oh, Sung-Kwun;Ahn, Tae-Chon;Hwang, Hyung-Soo;Park, Jong-Jin;U, Gwang-Bang
    • Journal of Institute of Control, Robotics and Systems
    • /
    • v.1 no.1
    • /
    • pp.63-70
    • /
    • 1995
  • 퍼지논리제어기는 산업응용에 광범위하게 연구되고 있으며, 계속적으로 사용되고 있다. 그러나 퍼지집합의 조정을 통해 최적규칙을 구축하기 위하여, 시행착오에 의한 매우 능숙한 기술이 요구된다. 이 논문에서는 첫째로, 퍼지논리제어기와 기존의 PID 제어기로 구성된 하이브리드 퍼지제어기를 제안한다. 즉, 시스템의 제어 입력은 퍼지변수로서, 과도상태에서의 FLC출력과 정상상태에서의 PID 출력의 컨벡스(convex) 결합이다. 둘째로, 간략추론법과 개선된 컴플렉스방법을 이용한 강력한 자동동조알고리즘이 퍼지논리제어기의 성능을 자동적으로 개선하기 위하여 사용된다. 이방법은 오차변화율및 제어출력의 제한조건에 의하여, 언어제어규칙, 퍼지계수(scaling factor), PID계수, 하이브리드 퍼지논리제어기의 하중계수의 최적값을 자동적으로 추정한다. 시뮬레이션은 시간지연 플랜트및 하수처리시스템의 활성오니공정과 같은 비선형 플랜트에서 실행되고, 시스템의 성능은 평가지수 ITAE로 평가된다.

  • PDF

디오도어 대 크리십 - 대가의 논변 II와 III의 엇갈린 패러독스를 중심으로 -

  • Bae, Seon-Bok
    • Korean Journal of Logic
    • /
    • v.4
    • /
    • pp.63-87
    • /
    • 2000
  • 내일 눈이 올 것이다. 이 명제의 모순적 반대는 '내일 눈이 오지 않을 것이다'이다. 오늘 이 둘 중의 어느 한 명제가 참일 경우, 그 명제는 이미 오늘 참이고 그리고 그의 모순적 반대의 다른 한 명제는 오늘 이미 거짓이다. 만약 오늘 둘 중의 어느 명제가 참인지 이미 결정되어 있다면, 그러한 결정된 사태가 내일 발생되지 않을 조바심에 안달이 날 것이다. 만약, 둘 중의 어떤 한 명제가 참인지 결정되어있지 않으면, 그 역시 내일의 사태가 어떠한 결정적 태도로 주어지고 있지 않은 현재가 찝찔한 것이다. 전자를 결정론, 후자는 비결정론의 입장인데, 에피쿠어의 절충적 의견에 따르면, '눈이 온다'와 그리고 '눈이 오지 않는다'는 둘 다의 결과들이 가능하다. 그에 따르면 실제로 일어나는 것만 가능하므로, 세계의 전 과정에서 결코 일어나지 않았던 것은 언제라도 가능하지 않았다. 전자를 대표하는 디오도어는 현존하는 한 언명은 시간의 질서 안에서 가까운 훗날에나 먼 훗날에도 명제 논리적으로 결정되어있다고 주장한다. 이에 후자를 표방한 크리십은 한 언명의 결과는 그의 모든 조건들이 채워진다면 가능하고, 그의 필연적인 조건들이 결코 충족적으로 채워지지 않으면 다른 한 결과는 결코 일어나지 않는다고 주장한다. 여기서 벌어진 논쟁에서 본고는 명제의 가치를 선형적 구조의 시간에서 해석한 디오도어의 결정론에 대하여 흐트러진 시간의 구조에서 해석한 크리십의 숙명론의 논의의 대비를 보여줄 것이다.

  • PDF