• Title/Summary/Keyword: Logic Simulation

Search Result 1,441, Processing Time 0.029 seconds

Checkpoint/Resimulation Overhead Minimization with Sporadic Synchronization in Prediction-Based Parallel Logic Simulation (간헐적 동기화를 통한 예측기반 병렬 로직 시뮬레이션에서의 체크포인트/재실행 오버헤드 최소화)

  • Kwak, Doohwan;Yang, Seiyang
    • KIPS Transactions on Computer and Communication Systems
    • /
    • v.4 no.5
    • /
    • pp.147-152
    • /
    • 2015
  • In general, there are two synchronization methods in parallel event-driven simulation, pessimistic approach and optimistic approach. In this paper, we propose a new approach, sporadic synchronization combining both for prediction-based parallel event-driven logic simulation. We claim this hybrid solution is pretty effective to minimize both checkpoint overhead and restart overhead, which are related problems with frequent false predictions for improving the performance of the prediction-based parallel event-driven logic simulation. The experiment has clearly shown the advantage of the proposed approach.

Power Tracking Control of Domestic Induction Heating System using Pulse Density Modulation Scheme with the Fuzzy Logic Controller

  • Nagarajan, Booma;Sathi, Rama Reddy;Vishnuram, Pradeep
    • Journal of Electrical Engineering and Technology
    • /
    • v.9 no.6
    • /
    • pp.1978-1987
    • /
    • 2014
  • Power requirement to the induction heating system varies during the heating process. A closed loop control is required to have a smooth control over the power. In this work, a constant frequency pulse density modulation based power tracking control scheme for domestic induction heating system is developed using the Fuzzy Logic Controller. In the conventional power modulation schemes, the switching losses increase with the change in the load. The proposed pulse density modulation scheme maintains minimum switching losses for the entire load range. This scheme is implemented for the class-D series resonant inverter system. Fuzzy logic controller based power tracking control scheme is developed for domestic induction heating power supply for various power settings. The open loop and closed loop simulation studies are done using the MATLAB/Simulink simulation tool. The control logic is implemented in hardware using the PIC16F877A microcontroller. Fuzzy controller tracks the set power by changing the pulse density of the gate pulses applied to the inverter. The results obtained are used to know the effectiveness of the fuzzy logic controller to achieve the set power.

Development of Integrated Control Methods for the Heating Device and Surface Openings based on the Performance Tests of the Rule-Based and Artificial-Neural-Network-Based Control Logics (난방시스템 및 개구부의 통합제어를 위한 규칙기반제어법 및 인공신경망기반제어법의 성능비교)

  • Moon, Jin Woo
    • KIEAE Journal
    • /
    • v.14 no.3
    • /
    • pp.97-103
    • /
    • 2014
  • This study aimed at developing integrated logic for controlling heating device and openings of the double skin facade buildings. Two major logics were developed-rule-based control logic and artificial neural network based control logic. The rule based logic represented the widely applied conventional method while the artificial neural network based logic meant the optimal method. Applying the optimal method, the predictive and adaptive controls were feasible for supplying the advanced thermal indoor environment. Comparative performance tests were conducted using the numerical computer simulation tools such as MATLAB (Matrix Laboratory) and TRNSYS (Transient Systems Simulation). Analysis on the test results in the test module revealed that the artificial neural network-based control logics provided more comfortable and stable temperature conditions based on the optimal control of the heating device and opening conditions of the double skin facades. However, the amount of heat supply to the indoor space by the optimal method was increased for the better thermal conditioning. The number of on/off moments of the heating device, on the other hand, was significantly reduced. Therefore, the optimal logic is expected to beneficial to create more comfortable thermal environment and to potentially prevent system degradation.

A New TRZF Delay Model for the Effcient Hazard Analysis in a 5-valued Logic Simulation (5치 논리 시률레이션에서 효율적인 헤저드 분석을 위한 TRF 지연 모델)

  • Gang, Min-Seop
    • The Transactions of the Korea Information Processing Society
    • /
    • v.4 no.4
    • /
    • pp.1004-1012
    • /
    • 1997
  • This paper proposes a new TRF(Transition Rise\Fall)delay model for the effcient hazard analysis in a 5-valued logic sumulation enviroment.For the hazzard for a given logic circuit, the timing analysis is first performed by means of a 5-valued logic simulator which uses the TRF delay model which incorporates the response delay for a reponse state with the transition delay for a transition state of an elment, and then hazards are detected through investigating timing relations.Simulation examples and experimental results are also given to demostrate the pradticability of the proposed methods.

  • PDF

Kohonen Clustring Network Using The Fuzzy System (퍼지 시스템을 이용한 코호넨 클러스터링 네트웍)

  • 강성호;손동설;임중규;박진성;엄기환
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2002.05a
    • /
    • pp.322-325
    • /
    • 2002
  • We proposed a method to improve KCN's problems. Proposed method adjusts neighborhood and teaming rate by fuzzy logic system. The input of fuzzy logic system used a distance and a change rate of distance. The output was used by site of neighborhood and learning rate. The rule base of fuzzy logic system was taken by using KCN simulation results. We used Anderson's Iris data to illustrate this method, and simulation results showed effect of performance.

  • PDF

An Implementation of Bit Processor for the Sequence Logic Control of PLC (PLC의 시퀀스 제어를 위한 BIT 연산 프로세서의 구현)

  • Yu, Young-Sang;Yang, Oh
    • Proceedings of the KIEE Conference
    • /
    • 1999.07g
    • /
    • pp.3067-3069
    • /
    • 1999
  • In this paper, A bit processor for controlling sequence logic was implemented, using a FPGA. This processor consists of program memory interface. I/O interface, parts for instruction fetch and decode, registers, ALU, program counter and etc. This FPGA is able to execute sequence instruction during program fetch cycle, because of divided bus system, program bus and data bus. Also this bit processor has instructions set that 16bit or 32bit fixed width, so instruction decoding time and data memory interface time was reduced. This FPGA was synthesized by pASIC 2 SpDE and Synplify-Lite synthesis tool of Quick Logic company. The final simulation for worst cases was successfully performed under a Verilog HDL simulation environment. And the FPGA programmed for an 84 pin PLCC package. Finally, the benchmark was performed to prove that Our FPGA has better performance than DSP(TMS320C32-40MHz) for the sequence logic control of PLC.

  • PDF

Switch Level Logic Simulator Using Polynomial MOS Delay Model (다형식 MOS 지연시간 모델을 이용한 스윗치레벨 논리 시뮬레이터)

  • Jun, Young-Hyun;Jun, Ki;Park, Song-Bai
    • Journal of the Korean Institute of Telematics and Electronics
    • /
    • v.25 no.6
    • /
    • pp.700-709
    • /
    • 1988
  • A new technique is proposed for switch-level logic simulation for NMOS and CMOS logic circuits. For the simple inverter the rise or fall delay time is approximated by a product of polynomials of the input waveform slope, the output loading capacitance and the device configuration ratio, the polynomial coefficients being so determined as to best fit the SPICE simuladtion results for a given fabrication process. This approach can easily and accurately be extened to the case of multiple input transitions. The simulation results show that proposed method can predict the delay times within 5% error and with a speed up by a factor of three orders of magnitude for several circuits tested, as compared with the SPICE simulation.

  • PDF

A Development of a Real-time, Traffic Adaptive Control Scheme Through VIDs. (영상검지기를 이용한 실시간 교통신호 감응제어)

  • 김성호
    • Journal of Korean Society of Transportation
    • /
    • v.14 no.2
    • /
    • pp.89-118
    • /
    • 1996
  • The development and implementation of a real-time, traffic adaptive control scheme based on fuzzy logic through Video Image Detector systems (VIDs) is presented. Through VIDs based image processing, fuzzy logic can be used for a real-time traffic adaptive signal control scheme. Fuzzy control logic allows linguistic and inexact traffic data to be manipulated as a useful tool in designing signal timing plans. The fuzzy logic has the ability to comprehend linguistic instructions and to generate control strategy based on a priori verbal communication. The implementation of fuzzy logic controller for a traffic network is introduced. Comparisons are made between implementations of the fuzzy logic controller and the actuated controller in an isolated intersection. The results obtained from the application of the fuzzy logic controller are also compared with those corresponding to a pretimed controller for the coordinated intersections. Simulation results from the comparisons indicate the performance of the system is between under the fuzzy logic controller. Integration of the aforementioned schemes into and ATMS framework will lead to real-time adjustment of the traffic control signals, resulting in significant reduction in traffic congestion.

  • PDF

A fuzzy-logic controller for a differential-drive mobile robot (이동로봇을 위한 퍼지로직 제어기)

  • 박영민;김대영;한상완;홍석교
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1997.10a
    • /
    • pp.532-535
    • /
    • 1997
  • This paper describes the design of a fuzzy-logic controller for a differential-drive mobile robots. This controller uses absolute position information to modify control parameters to compensate the orientation error. CC-Control method is compensated for the internal error by wheel encoders and the fuzzy-logic control provides compensation for external errors. The validities of the proposed scheme is evaluated using simulation.

  • PDF

Temeperature control method of refrigerator using fuzzy logic controller (퍼지 로직 제어기를 이용한 냉장고 온도 제어 방법)

  • 최병준;한상완;홍석교
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1997.10a
    • /
    • pp.28-31
    • /
    • 1997
  • This paper describes the quick and precise controlling method for home-applied refrigerator. The proposed controller is based on the fuzzy logic control method and is designed for better performance in maintaining the constant temperature of the refrigerator. The temperature of the refrigerator is controlled by the cooling air blowing fan motor which is put on, off according to fuzzy logic controller. Finally, I study the performance of the proposed controller through the computer simulation about the approximated model of the refrigerator.

  • PDF