We have given a semantic extension of lattice-valued propositional logic LP（X） in [6]. In this paper, we investigate its corresponding syntactic extension of LP（X） and give the relations between these two extensions.
Internal short circuit(ISCr) is one of the major obstacles to the improvement of the battery safety. The ISCr may lead to the battery thermal runaway and is hard to be detected in the early stage. In this work, a new ...Internal short circuit(ISCr) is one of the major obstacles to the improvement of the battery safety. The ISCr may lead to the battery thermal runaway and is hard to be detected in the early stage. In this work, a new ISCr detection method based on the symmetrical loop circuit topology(SLCT) is introduced. The SLCT ensures that every battery has the same priority in the circuit and every battery will contribute the same amount of short-circuit current to the ISCr once the ISCr happens. The ISCr battery could be identified by the combination of the ratio of the short-circuit currents and the sign of the short-circuit currents. The recursive least square method is adopted for the real-time application and the optimized ammeters allocation is derived from the mathematic deduction. The battery pack based on the individual DP(dual polarization) battery model is established to verify the ISCr detection method. The 1–1000 Ω s ISCr(the early stage ISCr) can be effectively detected within 1–125 s. The SLCT provides the possibility of new battery pack designs and new battery management methods. The proposed ISCr detection method shows excellent effectiveness and efficiency on the identification of the ISCr battery in the early stage.展开更多
A local Hankel transformation of order 1/2 is defined for every finite place of the field of rational numbers.Its inversion formula and the Plancherel type theorem are obtained.A Connes type trace formula is given for...A local Hankel transformation of order 1/2 is defined for every finite place of the field of rational numbers.Its inversion formula and the Plancherel type theorem are obtained.A Connes type trace formula is given for each local Hankel transformation of order 1/2.An S-local Connes type trace formula is derived for the S-local Hankel transformation of order 1/2.These formulas are generalizations of Connes' corresponding trace formulas in 1999.展开更多
基金Supported by the National Natural Science Foundation of China(60474022)
文摘We have given a semantic extension of lattice-valued propositional logic LP（X） in [6]. In this paper, we investigate its corresponding syntactic extension of LP（X） and give the relations between these two extensions.
基金supported by the National Natural Science Foundation of China (Grant No. U1564205)the Ministry of Science and Technology of China (Grant No. 2016YFE0102200)funded by China Scholarship Council
文摘Internal short circuit(ISCr) is one of the major obstacles to the improvement of the battery safety. The ISCr may lead to the battery thermal runaway and is hard to be detected in the early stage. In this work, a new ISCr detection method based on the symmetrical loop circuit topology(SLCT) is introduced. The SLCT ensures that every battery has the same priority in the circuit and every battery will contribute the same amount of short-circuit current to the ISCr once the ISCr happens. The ISCr battery could be identified by the combination of the ratio of the short-circuit currents and the sign of the short-circuit currents. The recursive least square method is adopted for the real-time application and the optimized ammeters allocation is derived from the mathematic deduction. The battery pack based on the individual DP(dual polarization) battery model is established to verify the ISCr detection method. The 1–1000 Ω s ISCr(the early stage ISCr) can be effectively detected within 1–125 s. The SLCT provides the possibility of new battery pack designs and new battery management methods. The proposed ISCr detection method shows excellent effectiveness and efficiency on the identification of the ISCr battery in the early stage.
文摘A local Hankel transformation of order 1/2 is defined for every finite place of the field of rational numbers.Its inversion formula and the Plancherel type theorem are obtained.A Connes type trace formula is given for each local Hankel transformation of order 1/2.An S-local Connes type trace formula is derived for the S-local Hankel transformation of order 1/2.These formulas are generalizations of Connes' corresponding trace formulas in 1999.
