• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제12권3호
• /
• pp.187-192
• /
• 2012

This paper is concerned with stabilization problem of continuous-time Takagi-Sugeno fuzzy systems. To do this, the stabilization problem is investigated based on the new fuzzy Lyapunov functions (NFLFs). The NFLFs depend on not only the fuzzy weighting functions but also their first-time derivatives. The stabilization conditions are derived in terms of linear matrix inequalities (LMIs) which can be solved easily by the Matlab LMI Toolbox. Simulation examples are given to illustrate the effectiveness of this method.

• 대한설비공학회:학술대회논문집
• /
• 대한설비공학회 2006년도 하계학술발표대회 논문집
• /
• pp.838-846
• /
• 2006

The purpose of this study to develop the air-conditioning system that adopts adaptive model as an indoor climate control logic for energy saving. The adaptive model using the ability of human thermal adaptation could be expected to alleviate the indoor set-point temperature compared with the past heat-balance model. Especially, in case of hybrid air-conditioning system coupled with natural ventilation and heating/cooling system, the adaptive model can be describe the thermal comfort of inhabitant who stay at hybrid system controlled buildings with accuracy. In this paper, the concept of adaptive model will be described and the results of a continuous measurement on the actual thermal experiences and behaviors of thermal adaptation for office worker will be reported.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제3권1호
• /
• pp.13-17
• /
• 2003

A continuous solution of the Dirichlet boundary value problem for the heat equation $u_t$＝$a2u_{xx}$ using a fuzzy system is described. We first apply the Crank-Nicolson method to obtain a discrete solution at the grid points for the heat equation. Then we find a continuous function to represent approximately the discrete values at the grid points in the form of a bicubic spline function (equation omitted) that can in turn be represented exactly by a fuzzy system. We show that the computed values at non-grid points using the bicubic spline function is much smaller than the ones obtained by linear interpolations of the values at the grid points. We also show that the fuzzy rule table in the fuzzy system representation of the bicubic spline function can be viewed as a gray scale image. Hence, the fuzzy rules provide a visual representation of the functions of two variables where the contours of different levels for the function are shown in different gray scale levels

• 한국지능시스템학회논문지
• /
• 제18권4호
• /
• pp.488-493
• /
• 2008

본 논문은 연속 주조 공정에서의 용강 높이에 대한 수학적인 비선형모델을 유도하는데, 여기에는 용강 높이, 몰드내의 입출력 유량, 스토퍼의 위치와 입력유량의 관계 등이 고려되었다. 비선형 모델은 MATLAB을 사용하여 구현되었으며 실제 데이터와 비교하여 수학적 모델이 유효함을 확인하였다. 구현된 비선형 모델을 사용하여, 퍼지 시스템에 의하여 변화하는 $K_p$값을 가지는 퍼지 PI 제어기를 사용하여, 기존에 사용되던 PI 제어기보다 나은 제어 성능 및 외란에의 강인성을 가짐을 시뮬레이션으로 보였다.

• 대한원격탐사학회지
• /
• 제21권5호
• /
• pp.393-404
• /
• 2005

As multi-source spatial data fusion mainly deal with various types of spatial data which are specific representations of real world with unequal reliability and incomplete knowledge, proper data representation and uncertainty analysis become more important. In relation to this problem, this paper presents and applies an advanced data representation methodology for different types of spatial data such as categorical and continuous data. To account for the uncertainties of both categorical data and continuous data, fuzzy boundary representation and smoothed kernel density estimation within a fuzzy logic framework are adopted, respectively. To investigate the effects of those data representation on final fusion results, a case study for landslide hazard mapping was carried out on multi-source spatial data sets from Jangheung, Korea. The case study results obtained from the proposed schemes were compared with the results obtained by traditional crisp boundary representation and categorized continuous data representation methods. From the case study results, the proposed scheme showed improved prediction rates than traditional methods and different representation setting resulted in the variation of prediction rates.

• 한국가스학회지
• /
• 제5권4호
• /
• pp.70-78
• /
• 2001

설비가 공정에 어느 정도 중요도를 가지고 있는지 분석하기 위해 연속교반탱크 반응기를 대상으로 민감도 분석을 수행하였다. 그리고 민감도 분석결과가 가지는 불확실성을 평가하기 위해 불확실성 분석을 수행하였다 또한 비용효과 분석을 통하여 장치가 가지는 신뢰도 데이터 대 가격을 고려하여 보다 좋은 신뢰도를 가지는 장치를 사용함으로써 경제적 효율을 높일 수 있음을 보여주었다. 불확실성 분석의 수행결과로 연속교반탱크 반응기의 파열사고는 $8.09{\times}10^{-04}/year{\~}5.50{\times}10^{-02}/year$의 범위에서 가능성을 가지친 있다. 비용효과 분석은 VLU(Voting Logic Unit) 장치를 교체함으로써 가장 큰 위험성 감소효과를 제시하였다.

• 정보처리학회논문지A
• /
• 제16A권2호
• /
• pp.79-88
• /
• 2009

경계면스캔 구조는 시험대상회로의 입력측 스캔경로에 직렬입력을 통하여 시험패턴을 입력하고, 병렬로 대상회로에 인가한 후, 응답값을 출력측 스캔경로를 통하여 TDO로 직렬로 출력하는 시험구조로서, 대상회로의 동작속도에 맞추어 인가되는 연속적인 시험패턴에 대한 대상회로의 동적인 변화되는 출력을 관찰하는 것이 불가능하다. 본 논문에서는 대상회로의 동작속도 환경하에서 연속적인 시험패턴을 입력하여 시험대상회로의 연속적인 동적인 출력값들을 지속적으로 TDO로 출력함으로써 대상회로에 대한 성능시험에 사용할 수 있는 패턴생성기와 CBSR(Continuous capture Boundary Scan Register)를 이용한 시험구조와 시험절차를 개발하였다. 본 논문에서 사용된 CBSR은 연속캡쳐 설정과 쉬프트경로 설정을 위해 개발되었으며, 표준의 경계면 스캔 레지스터의 기능을 정상적으로 수행하도록 설계되었다. Altera의 Max+Plus 10.0를 사용하여 패턴생성기와 CBSR을 이용한 시험구조를 설계하고, 스캔구조를 적용 설계하고, CCAP명령어를 사용한 시험절차를 시뮬레이션을 통해 제안된 시험구조의 동작의 정확성을 확인하였다.

• 한국정보처리학회논문지
• /
• 제4권1호
• /
• pp.167-176
• /
• 1997

교차로에서 통행 패턴의 계속적인 변화와 교통량의 증가 때문에, 매시간 변화에 따라 교차로를 유연성있게 관리할 수 있는 효율적인 교통제어 시스템이 필요하다. 본 논문에서는 교차로를 구성하는 각 도로로 복합성을 자율적으로 분석하여 그 결과에 따라 교차로를 통과할 수 있는 시간을 결정하는 제어 시스템에 관해 연구하였다. 교 통신호 제어를 위해 퍼지 논리 제어기에 퍼지 개념을 적용하였으며, 퍼지 논리 제어 기의 최적 수행을 증명하기 위해서 규칙 신호 시스템을 비교하고 시뮬레이션을 통해 타당성을 증명하였다. 시뮬레이션 결과 교통 제어의 효율성이 6% 정도 향상되었다.

• 한국해양공학회지
• /
• 제13권3B호
• /
• pp.106-115
• /
• 1999

Modeling a discrete event system such as a sequential control system is difficult compared with a continuous system. Petri nets have been introduced as an analyzing and design tool for the discrete systems. One of the problems in its applications is that the model can not be analyzed easily in the case of large scale or complicated systems because of increase of the number of components of the system. To overcome this problem, some methods for dividing or reducing Petri nets have been suggested. In this paper, an approach for a hierarchical expression of Petri nets based on Sequential Function Chart(SFC) is proposed. A measuring tank system will be described as a typical kind of discrete systems. The system is modeled by sub Petri nets based on SFC in order to analyze and visualize efficiently about the dynamic behaviors of the system. Some numerical simulations using state equations are performed to prove the validity of the proposed method.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2001년도 합동 추계학술대회 논문집 정보 및 제어부문
• /
• pp.284-287
• /
• 2001

In this paper, we designed and implemented a precise pulse motor control chip that generates the parabolic speed pattern. This chip can control step motor[1], DC servo[2] and AC servo motors at high speed and precisely. It can reduce the mechanical vibration to the minimum at the change point of a degree of acceleration. Because the parabolic speed pattern has the continuous acceleration change. In this paper, we present the pulse generation algorithm and the parabolic pattern speed generation. We verify these algorithm using visual C++. We designed this chip with VHDL(Very High Speed Integrated Circuit Hardware Description Language) and executed a logic simulation and synthesis using Synopsys synthesis tool. We executed the pre-layout simulation and post-layout simulation with Verilog-XL simulation tool. This chip was produced with 100 pins, PQFP package by 0.35 um CMOS process and implemented by completely digital logic. We developed the hardware test board and test program using visual C++. We verify the performance of this chip by driving the servo motor and the function by GUI(Graphic User Interface) environment.