超高压输电线路发生故障时,线路上的串补电容及其保护回路都将在故障时产生附加的暂态分量。为此,分析了串补线路故障时暂态电流特征,在得出串补对高频暂态电流影响较小的结论后,利用改进递归小波对故障时各相的高频电流能量进行分析,...超高压输电线路发生故障时,线路上的串补电容及其保护回路都将在故障时产生附加的暂态分量。为此,分析了串补线路故障时暂态电流特征,在得出串补对高频暂态电流影响较小的结论后,利用改进递归小波对故障时各相的高频电流能量进行分析,通过比较能量来识别故障类型和判别故障相别。大量ATP(thea lternative trans ien ts program)仿真实验以及实际录波数据验证表明,该算法在不同故障条件下(不同故障位置和初始角等)都能正确选出故障相。展开更多
We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types...We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types, and solutions and programs has been established to support this view which is much similar to the Curry-Howard isomorphism between propositions and types, and proofs and programs. To support our method, a proof development system called PowerEpsilon has been developed, and the synthesis of a decision procedure for validity of first-order propositional logic is discussed to show the power of the system.展开更多
文摘超高压输电线路发生故障时,线路上的串补电容及其保护回路都将在故障时产生附加的暂态分量。为此,分析了串补线路故障时暂态电流特征,在得出串补对高频暂态电流影响较小的结论后,利用改进递归小波对故障时各相的高频电流能量进行分析,通过比较能量来识别故障类型和判别故障相别。大量ATP(thea lternative trans ien ts program)仿真实验以及实际录波数据验证表明,该算法在不同故障条件下(不同故障位置和初始角等)都能正确选出故障相。
文摘We present a method for using type theory to solve decision making problem. Our method is based on the view that decision making is a special kind of theorem proving activity. An isomorphism between problems and types, and solutions and programs has been established to support this view which is much similar to the Curry-Howard isomorphism between propositions and types, and proofs and programs. To support our method, a proof development system called PowerEpsilon has been developed, and the synthesis of a decision procedure for validity of first-order propositional logic is discussed to show the power of the system.
