• Title/Summary/Keyword: Logic model

Search Result 1,408, Processing Time 0.025 seconds

NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs

  • Kim, Eui-Sub;Lee, Dong-Ah;Jung, Sejin;Yoo, Junbeom;Choi, Jong-Gyun;Lee, Jang-Soo
    • Journal of Computing Science and Engineering
    • /
    • v.11 no.1
    • /
    • pp.9-23
    • /
    • 2017
  • NuDE 2.0 (Nuclear Development Environment 2.0) is a formal-method-based software development, verification and safety analysis environment for safety-critical digital I&Cs implemented with programmable logic controller (PLC) and field-programmable gate array (FPGA). It simultaneously develops PLC/FPGA software implementations from one requirement/design specification and also helps most of the development, verification, and safety analysis to be performed mechanically and in sequence. The NuDE 2.0 now consists of 25 CASE tools and also includes an in-depth solution for indirect commercial off-the-shelf (COTS) software dedication of new FPGA-based digital I&Cs. We expect that the NuDE 2.0 will be widely used as a means of diversifying software design/implementation and model-based software development methodology.

Design Of Fuzzy Controller for the Steam Temperature Process in the Coal Fired Power Plant

  • Shin, Sang Doo;Kim, Yi-Gon;Lee, Bong Kuk;Bae, Young Chul
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.4 no.2
    • /
    • pp.187-192
    • /
    • 2004
  • In this paper, we proposed the method to design fuzzy controller using the experience of the operating expert and experimental numeric data for the robust control about the noise and disturbance instead of the traditional PID controller for the main steam temperature control of the thermal power plant. The temperature of main steam temperature process has to be controlled uniformly for the stable electric power output. The process has the problem of the hunting for the cases of various disturbances. In that case, the manual action of the operator happened to be introduced in some cases. We adopted the TSK (Takagi-Sugeno-Kang) model as the fuzzy controller and designed the fuzzy rules using the informations extracted directly from the real plant and various operating condition to solve the above problems and to apply practically. We implemented the real fuzzy controller as the Function Block module in the DCS(Distributed Control System) and evaluated the feasibility through the experimental results of the simulation.

Appearance Based Object Identification for Mobile Robot Localization in Intelligent Space with Distributed Vision Sensors

  • Jin, TaeSeok;Morioka, Kazuyuki;Hashimoto, Hideki
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.4 no.2
    • /
    • pp.165-171
    • /
    • 2004
  • Robots will be able to coexist with humans and support humans effectively in near future. One of the most important aspects in the development of human-friendly robots is to cooperation between humans and robots. In this paper, we proposed a method for multi-object identification in order to achieve such human-centered system and robot localization in intelligent space. The intelligent space is the space where many intelligent devices, such as computers and sensors, are distributed. The Intelligent Space achieves the human centered services by accelerating the physical and psychological interaction between humans and intelligent devices. As an intelligent device of the Intelligent Space, a color CCD camera module, which includes processing and networking part, has been chosen. The Intelligent Space requires functions of identifying and tracking the multiple objects to realize appropriate services to users under the multi-camera environments. In order to achieve seamless tracking and location estimation many camera modules are distributed. They causes some errors about object identification among different camera modules. This paper describes appearance based object representation for the distributed vision system in Intelligent Space to achieve consistent labeling of all objects. Then, we discuss how to learn the object color appearance model and how to achieve the multi-object tracking under occlusions.

A Muti-Resolution Approach to Restaurant Named Entity Recognition in Korean Web

  • Kang, Bo-Yeong;Kim, Dae-Won
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.12 no.4
    • /
    • pp.277-284
    • /
    • 2012
  • Named entity recognition (NER) technique can play a crucial role in extracting information from the web. While NER systems with relatively high performances have been developed based on careful manipulation of terms with a statistical model, term mismatches often degrade the performance of such systems because the strings of all the candidate entities are not known a priori. Despite the importance of lexical-level term mismatches for NER systems, however, most NER approaches developed to date utilize only the term string itself and simple term-level features, and do not exploit the semantic features of terms which can handle the variations of terms effectively. As a solution to this problem, here we propose to match the semantic concepts of term units in restaurant named entities (NEs), where these units are automatically generated from multiple resolutions of a semantic tree. As a test experiment, we applied our restaurant NER scheme to 49,153 nouns in Korean restaurant web pages. Our scheme achieved an average accuracy of 87.89% when applied to test data, which was considerably better than the 78.70% accuracy obtained using the baseline system.

Locally-Weighted Polynomial Neural Network for Daily Short-Term Peak Load Forecasting

  • Yu, Jungwon;Kim, Sungshin
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • v.16 no.3
    • /
    • pp.163-172
    • /
    • 2016
  • Electric load forecasting is essential for effective power system planning and operation. Complex and nonlinear relationships exist between the electric loads and their exogenous factors. In addition, time-series load data has non-stationary characteristics, such as trend, seasonality and anomalous day effects, making it difficult to predict the future loads. This paper proposes a locally-weighted polynomial neural network (LWPNN), which is a combination of a polynomial neural network (PNN) and locally-weighted regression (LWR) for daily shortterm peak load forecasting. Model over-fitting problems can be prevented effectively because PNN has an automatic structure identification mechanism for nonlinear system modeling. LWR applied to optimize the regression coefficients of LWPNN only uses the locally-weighted learning data points located in the neighborhood of the current query point instead of using all data points. LWPNN is very effective and suitable for predicting an electric load series with nonlinear and non-stationary characteristics. To confirm the effectiveness, the proposed LWPNN, standard PNN, support vector regression and artificial neural network are applied to a real world daily peak load dataset in Korea. The proposed LWPNN shows significantly good prediction accuracy compared to the other methods.

Development of a Dynamic Track Tensioning System in Tracked Vehicles (궤도차량의 동적 궤도장력 조절시스템 개발)

  • Seo, Mun-Seok;Heo, Geon-Su;Hong, Dae-Geon;Lee, Chun-Ho;Choe, Pil-Hwan
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.25 no.10
    • /
    • pp.1678-1683
    • /
    • 2001
  • The mobility of tracked vehicles is mainly influenced by the interaction between tracks and soil, so that the characteristics of their interactions are quite important fur the tracked vehicle study. In particular, the track tension is closely related to the maneuverability of tracked vehicles and the durability of tracks and suspension systems. In order to minimize the excessive load on the tracks and to prevent the peal-off of tracks from the road-wheels, the Dynamic Track Tensioning System (DTTS) which maintains the optimum track tension throughout the maneuver is required. It consists of track tension monitoring system, track tension controller and hydraulic system. In this paper, a dynamic track tensioning system is developed for tracked vehicles which are subject to various maneuvering tasks. The track tension is estimated based on the idler assembly model. Using the monitored track tension and con sidering the highly nonlinear hydraulic units, fuzzy logic controllers are designed in order to control the track tension. The track tensioning performance of the proposed DTTS is verified through the simulation of the Multi -body Dynamics tool.

Design of Neural Network Controller Using RTDNN and FLC (RTDNN과 FLC를 사용한 신경망제어기 설계)

  • Shin, Wee-Jae
    • Journal of the Institute of Convergence Signal Processing
    • /
    • v.13 no.4
    • /
    • pp.233-237
    • /
    • 2012
  • In this paper, We propose a control system which compensate a output of a main Neual Network using a RTDNN(Recurrent Time Delayed Neural Network) with a FLC(Fuzzy Logic Controller)After a learn of main neural network, it can occur a Over shoot or Under shoot from a disturbance or a load variations. In order to adjust above case, we used the fuzzy compensator to get an expected results. And the weight of main neural network can be changed with the result of learning a inverse model neural network of plant, so a expected dynamic characteristics of plant can be got. We can confirm good response characteristics of proposed neural network controller by the results of simulation.

Non-linear Control of Turbojet Engine for High Maneuverability UAV (고기동 무인항공기용 터보제트엔진의 비선형 제어)

  • Han, Dong-Ju;Oh, Seong-Hwan
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.40 no.5
    • /
    • pp.431-438
    • /
    • 2012
  • Non-linear turbojet engine controller with high operational performance has been designed for the high maneuverability UAV. The turbojet engine dynamic performance code has been developed to reflect the non-linear characteristics on controller design, by which the necessity of non-linear controller design was justified by investigating the limitation of linear model derived from the dynamic performance. The PI-like fuzzy controller was designed and enhanced by combining with conventional derivative control. This designed fuzzy controller proves its effectiveness by showing superior control performances over the conventional PID controller along with guaranteeing the safe operation within compressor surge, flame out and turbine temperature limits etc.

Design and evaluation of a cluster-based fuzzy cooperative caching method for MANETs (이동 애드-혹 망을 위한 클러스터 기반 퍼지 협력 캐싱 방법의 설계 및 평가)

  • Lee, Eun-Ju;Bae, Ihn-Han
    • Journal of the Korean Data and Information Science Society
    • /
    • v.22 no.2
    • /
    • pp.269-285
    • /
    • 2011
  • Caching of frequently accessed data in mobile ad-hoc networks is a technique that can improve data access performance and availability. Cooperative caching, which allows sharing and coordination of cached data among several clients, can further enhance the potential of caching techniques. In this paper, we propose a cluster-based fuzzy cooperative caching method for mobile ad-hoc networks. The performance of the proposed caching method is evaluated through an analytical model and is compared to that of other cooperative caching methods.

Using GA-FSMC for Precise Water Level Control of Double Tank (GA-FSMC를 이용한 이중탱크의 정밀한 수위 제어)

  • Park, Hyun-Chul;Park, Doo-Hwan;Song, Hong-Jun;Jo, Hyun-Woo;Lee, Joon-Tark
    • Proceedings of the KIEE Conference
    • /
    • 2002.07d
    • /
    • pp.2192-2195
    • /
    • 2002
  • Even though, tanks are used at the many industry plants, it is very difficult to control the tank level without any overflow and shortage; moreover, cause of its complication of dynamics and nonlinearity, it's impossible to realize the accurate control using the mathematical model which can be applied to the various operation modes. However, the sliding mode controller(SMC) is known as having the robust variable structures for the nonlinear control systems with the parametric perturbations and with the sudden disturbances. It's difficult to find SMC's parameters, and SMC is bring chattering which injures actuator and increases error. In this paper, Genetic Aloglism based Fuzzy Sliding Mode Controller(GA-FSMC) for the precise control of the coupled tank level was proposed. Genetic Algolism and Fuzzy logic are adapted to find SMC's parameters and reduce the chattering. The simulation result is shown that the tank level could be satisfactorily controlled with less overshoot and steady-state error by the proposed GA-FSMC.

  • PDF