• Title/Summary/Keyword: simulation correctness

Search Result 144, Processing Time 0.019 seconds

A Novel Speed Estimation Method of Induction Motors Using Real-Time Adaptive Extended Kalman Filter

  • Zhang, Yanqing;Yin, Zhonggang;Li, Guoyin;Liu, Jing;Tong, Xiangqian
    • Journal of Electrical Engineering and Technology
    • /
    • v.13 no.1
    • /
    • pp.287-297
    • /
    • 2018
  • To improve the performance of sensorless induction motor (IM) drives, a novel speed estimation method based on the real-time adaptive extended Kalman filter (RAEKF) is proposed in this paper. In this algorithm, the fuzzy factor is introduced to tune the measurement covariance matrix online by the degree of mismatch between the actual innovation and the theoretical. Simultaneously, the fuzzy factor can be continuously self-tuned tuned by the fuzzy logic reasoning system based on Takagi-Sugeno (T-S) model. Therefore, the proposed method improves the model adaptability to the actual systems and the environmental variations, and reduces the speed estimation error. Furthermore, a simple exponential function based on the fuzzy theory is used to reduce the computational burden, and the real-time performance of the system is improved. The correctness and the effectiveness of the proposed method are verified by the simulation and experimental results.

A Concurrent Incremental Evaluation Technique Using Multitasking (멀티태스킹에 의한 병행 점진 평가 방법)

  • Han, Jung-Lan
    • The KIPS Transactions:PartA
    • /
    • v.17A no.2
    • /
    • pp.73-80
    • /
    • 2010
  • As the power of hardware has improved, there have been numerous researches in processing concurrently using multitasking method. The incremental evaluation is the evaluation method of reevaluating only affected parts instead of reevaluating overall program when the program has been changed. It is necessary to do more studies that improve the efficiency of concurrent incremental evaluation to do multitasking using multi-threading of Java not to do in parallel using multiprocessor. In this paper, the dependency in the dependency chart is based on the attribute that describes the real value of the variable that directly affects the semantics, thereby doing efficient evaluation. So using the dependency, this paper presents the concurrent incremental evaluation algorithm for Java Languages and proves its correctness, analyzing the efficiency of concurrent incremental evaluation by the simulation.

A Token Based Protocol for Mutual Exclusion in Mobile Ad Hoc Networks

  • Sharma, Bharti;Bhatia, Ravinder Singh;Singh, Awadhesh Kumar
    • Journal of Information Processing Systems
    • /
    • v.10 no.1
    • /
    • pp.36-54
    • /
    • 2014
  • Resource sharing is a major advantage of distributed computing. However, a distributed computing system may have some physical or virtual resource that may be accessible by a single process at a time. The mutual exclusion issue is to ensure that no more than one process at a time is allowed to access some shared resource. The article proposes a token-based mutual exclusion algorithm for the clustered mobile ad hoc networks (MANETs). The mechanism that is adapted to handle token passing at the inter-cluster level is different from that at the intra-cluster level. It makes our algorithm message efficient and thus suitable for MANETs. In the interest of efficiency, we implemented a centralized token passing scheme at the intra-cluster level. The centralized schemes are inherently failure prone. Thus, we have presented an intra-cluster token passing scheme that is able to tolerate a failure. In order to enhance reliability, we applied a distributed token circulation scheme at the inter-cluster level. More importantly, the message complexity of the proposed algorithm is independent of N, which is the total number of nodes in the system. Also, under a heavy load, it turns out to be inversely proportional to n, which is the (average) number of nodes per each cluster. We substantiated our claim with the correctness proof, complexity analysis, and simulation results. In the end, we present a simple approach to make our protocol fault tolerant.

Design and Implementation of an Adaptive Sliding-Mode Observer for Sensorless Vector Controlled Induction Machine Drives

  • Zhang, Yanqing;Yin, Zhonggang;Liu, Jing;Tong, Xiangqian
    • Journal of Electrical Engineering and Technology
    • /
    • v.13 no.3
    • /
    • pp.1304-1316
    • /
    • 2018
  • An adaptive sliding-mode observer for speed estimation in sensorless vector controlled induction machine drives is proposed in this paper to balance the dilemma between the requirement of fast reaching transient and the chattering phenomenon reduction on the sliding-mode surface. It is well known that the sliding-mode observer (SMO) suffers from the chattering phenomenon. However, the reduction of the chattering phenomenon will lead to a slow transient process. In order to balance this dilemma, an adaptive exponential reaching law is introduced into SMO by optimizing the reaching way to the sliding-mode surface. The adaptive exponential reaching law is based on the options of an exponential term that adapts to the variations of the sliding-mode surface and system states. Moreover, the proposed sliding-mode observer considering adaptive exponential reaching law, which is called adaptive sliding-mode observer (ASMO), is capable for reducing the chattering phenomenon and decreasing the reaching time simultaneously. The stability analysis for ASMO is achieved based on Lyapunov stability theory. Simulation and experimental results both demonstrate the correctness and the effectiveness of the proposed method.

Handoff Processing for Mobile Agent in Distributed Environment (분산 환경에서의 이동 에이전트 핸드오프 처리)

  • Park, Ki-Hyun
    • The KIPS Transactions:PartC
    • /
    • v.8C no.6
    • /
    • pp.815-820
    • /
    • 2001
  • This paper presents a distributed mobile architecture aimed to support the mobility of mobile station. The proposed architecture considers three significant objects;mobile station (MS), mobile agent (MA) which logically represents mobile station in the wireline network, and trace agent (TA) to represent application server (AS) providing application service to mobile station. The mobile agent is made closely coupled with the mobile station while the trace agent is made closely coupled with the application server. During the handoff process, a flow control mechanism is considered to correct packet loss and out-of-sequence packets problem. The result of analytic additional time delay due to handoff processing is presented and simulation was performed to check the additional time delay as well as the correctness of handoff algorithm.

  • PDF

An Efficient Incremental Evaluation Technique Using an Extended Dependency Chart (확장된 종속차트를 사용한 효율적인 점진 평가 방법)

  • Hun, Jung-Lan
    • Journal of Internet Computing and Services
    • /
    • v.10 no.2
    • /
    • pp.75-84
    • /
    • 2009
  • There have been numerous researches in minimizing the total cost of program development in order to improve productivity of the programs. The incremental evaluation is the evaluation method of reevaluating only affected parts instead of reevaluating overall program when the program has been changed. Since the incremental evaluation method carries its advantage, the method itself is very important when considering the execution efficiency of the program developing environment. This paper extends the dependency chart for an imperative language and presents the extended version of dependency chart which can be applied to the Object Oriented Programming Languages such 'Java'. This paper also presents the incremental evaluation algorithm for Object Oriented Programming Languages and proves its correctness, analyzing the efficiency of incremental evaluation by the simulation.

  • PDF

Complex Vector Modeling and Series Decoupling Current Control Strategy of High-Power L/LCL Type Grid-Connected Converter Under Low Switching Frequency

  • Wang, Yingjie;Jiao, Lanyi;Yang, Bo;Wang, Wenchao;Liu, Haiyuan
    • Journal of Power Electronics
    • /
    • v.18 no.6
    • /
    • pp.1879-1888
    • /
    • 2018
  • With power level of grid-connected converters rising, the switching frequency of the switching devices is commonly greatly reduced to improve its power capacity. However, this results in serious couplings of the dq current components, which leads to degradation of the static and dynamic performances of grid-connected converters and fluctuations of the reactive power in dynamic processes. In this paper, complex vector models under low switching frequency are established for an L/LCL grid-connected converter, and the relationship between the switching frequency and the coupling degree is analyzed. In addition, a series decoupling current control strategy is put forward. It is shown that the proposed control strategy can eliminate the couplings, improve the performances and have good robustness to parameter variations through static and dynamic characteristics analyses and a sensitivity analysis. Experimental and simulation results also verify the correctness of the theoretical analyses and the superiority of the proposed control strategy.

Novel Method for Circulating Current Suppression in MMCs Based on Multiple Quasi-PR Controller

  • Qiu, Jian;Hang, Lijun;Liu, Dongliang;Geng, Shengbao;Ma, Xiaonan;Li, Zhen
    • Journal of Power Electronics
    • /
    • v.18 no.6
    • /
    • pp.1659-1669
    • /
    • 2018
  • An improved circulating current suppression control method is proposed in this paper. In the proposed controller, an outer loop of the average capacitor voltage control model is used to balance the sub-module capacitor voltage. Meanwhile, an individual voltage balance controller and an arm voltage balance controller are also used. The DC and harmonic components of the circulating current are separated using a low pass filter. Therefore, a multiple quasi-proportional-resonant (multi-quasi-PR) controller is introduced in the inner loop to eliminate the circulating harmonic current, which mainly contains second-order harmonic but also contains other high-order harmonics. In addition, the parameters of the multi-quasi-PR controller are designed in the discrete domain and an analysis of the stability characteristic is given in this paper. In addition, a simulation model of a three-phase MMC system is built in order to confirm the correctness and superiority of the proposed controller. Finally, experiment results are presented and compared. These results illustrate that the improved control method has good performance in suppressing circulating harmonic current and in balancing the capacitor voltage.

Model Predictive Control for Tram Charging and Its Semi-Physical Experimental Platform Design

  • Guo, Chujia;Zhang, Aimin;Zhang, Hang
    • Journal of Power Electronics
    • /
    • v.18 no.6
    • /
    • pp.1771-1779
    • /
    • 2018
  • Modern trams with a super capacitor have gained a lot of attention in recent years due to its reliability, convenience, energy conservation and environmental friendliness. Because of its special charging characteristic, the traditional charging structure and control strategy cannot satisfy its charging requirements. This paper presents a new charging topology for fast charging modern trams with a super capacitor and it designs a controller using continuous control set model predictive control (CCS-MPC). There are three contributions in this paper. First, a new charging structure is designed and its mathematics model is derived. The cascade structure is adopted instead of the parallel structure to simplify the control process and to keep the rated power of the controllable part low. Second, a MPC control strategy is proposed to satisfy the charging characteristic. The optimal control signal can be obtained by solving the designed optimization problem. The optimal control signal is related to the discrete control action. In addition, mapping between the continuous control signal and the discrete control action is designed. Third, a semi-physical experimental platform is built to verify the proposed topology and control method. The simulation model and experiment platform are built to verify the correctness of the new structure and its control method. The results obtained show that the new topology can work effectively.

Study of Constant Current-Constant Voltage Output Wireless Charging System Based on Compound Topologies

  • Tan, Linlin;Pan, Shulei;Xu, Changfu;Yan, Changxin;Liu, Han;Huang, Xueliang
    • Journal of Power Electronics
    • /
    • v.17 no.4
    • /
    • pp.1109-1116
    • /
    • 2017
  • Wireless power transfer (WPT) technology has the advantages of intelligence and facilitation. This paper designs a WPT system applied to battery charging and provides a strategy which switches from the constant current (CC) charging mode to constant voltage (CV) charging mode. The LCL-LCL topology is used to realize the CC output, while the LCL-S (series compensation) topology is used to realize the CV output. The main factor affecting the output characteristics is extracted by analyzing the two topologies above. Based on the main factor, this paper puts forward a modified way to design the system. In addition, on-line monitors for the battery and switches are placed at receiving side, which avoids the need for introducing an information interaction module into the system. Therefore, the complexity of the controlling system is reduced. Finally, simulation and experimental analyses are carried out to verify the correctness of the compound topologies.