A new method of solving Horn logic with equality,the goal-type driven method,is presented, which considers explicitly the unification operator as a goal and merged it into the resolution process. The method has the fo...A new method of solving Horn logic with equality,the goal-type driven method,is presented, which considers explicitly the unification operator as a goal and merged it into the resolution process. The method has the following advantages.The resolution and the unification have been integrated in a uniform way.The architectures of the inference engines based on Horn logic with equality are simplified. Any techniques of exploiting AND/ OR parallelism to solve goals can also be applied to unification at the same time.The method can be used to integrate the styles of functional language and logic lan- guage by a uniform framework.It can also deal with infinite data structures.展开更多
UHVDC converter valves during operation may experience overvoltage,which come from the AC or DC systems to which they are connected.Therefore,building an equivalent circuit model(ECM)for the converter valve to analyze...UHVDC converter valves during operation may experience overvoltage,which come from the AC or DC systems to which they are connected.Therefore,building an equivalent circuit model(ECM)for the converter valve to analyze the interlayer transient voltage distribution characteristics has important engineering significance for safe and reasonable voltage equalization methods and improving the stability of the DC system.This paper proposes a two-port equivalent circuit model for ±1100 kV converter valve based on the structure of the valve and parameter extraction methods presented.In terms of lumped parameters,integrated ECMs for valve layers are built through impedance-frequency characteristic analysis;in terms of parasitic capacitance parameters,port equivalent parasitic capacitance parameters are obtained by terminal capacitance method and iterative equivalence methods proposed in this paper.By combining integrated ECMs of valve layers and port equivalent parasitic capacitances,the two-port ECM is obtained.Simulations are carried out to test the effectiveness of the twoport ECM.Using the ECM,the voltage transmission characteristics and their influencing factors are analyzed,depending on which corresponding voltage equalization method is proposed in this paper,and the effect of this method is verified through simulation.展开更多
文摘A new method of solving Horn logic with equality,the goal-type driven method,is presented, which considers explicitly the unification operator as a goal and merged it into the resolution process. The method has the following advantages.The resolution and the unification have been integrated in a uniform way.The architectures of the inference engines based on Horn logic with equality are simplified. Any techniques of exploiting AND/ OR parallelism to solve goals can also be applied to unification at the same time.The method can be used to integrate the styles of functional language and logic lan- guage by a uniform framework.It can also deal with infinite data structures.
基金This work was supported by Science and Technology Project of the State Grid Corporation under Grant 5455ZS150004.
文摘UHVDC converter valves during operation may experience overvoltage,which come from the AC or DC systems to which they are connected.Therefore,building an equivalent circuit model(ECM)for the converter valve to analyze the interlayer transient voltage distribution characteristics has important engineering significance for safe and reasonable voltage equalization methods and improving the stability of the DC system.This paper proposes a two-port equivalent circuit model for ±1100 kV converter valve based on the structure of the valve and parameter extraction methods presented.In terms of lumped parameters,integrated ECMs for valve layers are built through impedance-frequency characteristic analysis;in terms of parasitic capacitance parameters,port equivalent parasitic capacitance parameters are obtained by terminal capacitance method and iterative equivalence methods proposed in this paper.By combining integrated ECMs of valve layers and port equivalent parasitic capacitances,the two-port ECM is obtained.Simulations are carried out to test the effectiveness of the twoport ECM.Using the ECM,the voltage transmission characteristics and their influencing factors are analyzed,depending on which corresponding voltage equalization method is proposed in this paper,and the effect of this method is verified through simulation.
