Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership de...Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership degree of formulas A is a consequence of Γ (or Γ-conclusion) in Lukasiewicz n-valued propositional logic systems, Godel n-valued propositional logic system and the R0 n-valued propositional logic systems. The condition and related calculations of formulas A being Γ-conclusion were discussed by extent method. At the same time, some properties of membership degree of formulas A is a Γ-conclusion were given. We provide its algorithm of the membership degree of formulas A is a Γ-conclusion by the constructions of theory root.展开更多
The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integ...The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integrated truth function τ when n converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Lukasiewicz logic and the continuous valued Lukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.展开更多
The mitigation of the CO inhibition effect in palladium membranes is necessary due to its significance in the efficiency of membrane reactors and hydrogen production systems. In this work, the hydrogen separation perf...The mitigation of the CO inhibition effect in palladium membranes is necessary due to its significance in the efficiency of membrane reactors and hydrogen production systems. In this work, the hydrogen separation performance of a Pd and Pd/Ag membrane both of thickness 2 μm is investigated using a mixed gas with composition (H2 = 50%, CO = 28%, CO2 = 10%, CH4 = 8%, N2 = 4%) at temperature 623 - 873 K and pressure (0.05 - 0.4 bar) was investigated. The component gases CO and CO2 were observed to inhibit hydrogen permeation through the membrane and lead to deviations from Sievert’s law for n values 0.55 and 0.62 for the Pd membrane and unity for the Pd/Ag membrane. For the Pd/Ag membrane, the concentration of CO in the permeate stream was reduced as a result of the addition of Ag. The effect of the component gases to hydrogen permeation was observed to be lower for the Pd/Ag membrane. Annealing the membrane in hydrogen at high temperature decreased the inhibition effect and enhanced hydrogen permeation through the membrane.展开更多
Hysteresis loss is one of the electromagnetic characteristics controlled by time evolution of magnetic field and current distribution inside the conductor. Brandt＇s method allows us to model the interaction of the co...Hysteresis loss is one of the electromagnetic characteristics controlled by time evolution of magnetic field and current distribution inside the conductor. Brandt＇s method allows us to model the interaction of the conductor with an external magnetic field. Instead of the constant critical current density （Jc =CONST）, the Jc scaling law from current-voltage （I-V） measurement is used to model the magnetization loop. By comparing the calculated results with the measured data, it is shown that the Jc scaling law, i.e. the deviatoric strain model, is not useful in a very low field. To solve this problem, the Kim model about Jc as a function of applied field has been applied in the low field case. This method can be used to predict the hysteresis loss of Nb3Sn filamentary strand.展开更多
A complete classification of the multivalued coset groups of order 3 is given.The proof is based on the classification of rank 3 groups having regular normal subgroups.
Research and development of high-temperature superconducting(HTS)apparatus are ongoing in the world with the great progress on the HTS tapes in recent years.The most attractive applications require the HTS tapes to pe...Research and development of high-temperature superconducting(HTS)apparatus are ongoing in the world with the great progress on the HTS tapes in recent years.The most attractive applications require the HTS tapes to perform well upon the application of an alternative current(AC)and/or an AC magnetic field.The electromagnetic properties of the HTS tapes including anisotropy,uniformity,alternative current(AC losses)and stability as well as mechanical characteristics are important fundamental parameters for these applications.This paper summarizes and focuses on several typical measurement principles and methods as well as apparatuses of those characteristic parameters except for their stability developed in past several years in China.展开更多
文摘Based on the analysis of the properties of Γ-conclusion by means of deduction theorems, completeness theorems and the theory of truth degree of formulas, the present papers introduces the concept of the membership degree of formulas A is a consequence of Γ (or Γ-conclusion) in Lukasiewicz n-valued propositional logic systems, Godel n-valued propositional logic system and the R0 n-valued propositional logic systems. The condition and related calculations of formulas A being Γ-conclusion were discussed by extent method. At the same time, some properties of membership degree of formulas A is a Γ-conclusion were given. We provide its algorithm of the membership degree of formulas A is a Γ-conclusion by the constructions of theory root.
基金This work was supported by the National Natural Science Foundation of China(Grant No．10331010)
文摘The concept of truth degrees of formulas in Lukasiewicz n-valued propositional logic Ln is proposed. A limit theorem is obtained, which says that the truth function τ-n induced by truth degrees converges to the integrated truth function τ when n converges to infinite. Hence this limit theorem builds a bridge between the discrete valued Lukasiewicz logic and the continuous valued Lukasiewicz logic. Moreover, the results obtained in the present paper is a natural generalization of the corresponding results obtained in two-valued propositional logic.
文摘The mitigation of the CO inhibition effect in palladium membranes is necessary due to its significance in the efficiency of membrane reactors and hydrogen production systems. In this work, the hydrogen separation performance of a Pd and Pd/Ag membrane both of thickness 2 μm is investigated using a mixed gas with composition (H2 = 50%, CO = 28%, CO2 = 10%, CH4 = 8%, N2 = 4%) at temperature 623 - 873 K and pressure (0.05 - 0.4 bar) was investigated. The component gases CO and CO2 were observed to inhibit hydrogen permeation through the membrane and lead to deviations from Sievert’s law for n values 0.55 and 0.62 for the Pd membrane and unity for the Pd/Ag membrane. For the Pd/Ag membrane, the concentration of CO in the permeate stream was reduced as a result of the addition of Ag. The effect of the component gases to hydrogen permeation was observed to be lower for the Pd/Ag membrane. Annealing the membrane in hydrogen at high temperature decreased the inhibition effect and enhanced hydrogen permeation through the membrane.
基金Major State Basic Research Development Program of China(No.151J00035602)
文摘Hysteresis loss is one of the electromagnetic characteristics controlled by time evolution of magnetic field and current distribution inside the conductor. Brandt＇s method allows us to model the interaction of the conductor with an external magnetic field. Instead of the constant critical current density （Jc =CONST）, the Jc scaling law from current-voltage （I-V） measurement is used to model the magnetization loop. By comparing the calculated results with the measured data, it is shown that the Jc scaling law, i.e. the deviatoric strain model, is not useful in a very low field. To solve this problem, the Kim model about Jc as a function of applied field has been applied in the low field case. This method can be used to predict the hysteresis loss of Nb3Sn filamentary strand.
基金supported by National Natural Science Foundation of China(Grant No.12361003)supported by the Sobolev Institute of Mathematics State Contract(Grant No.FWNF-2022-0002)National Natural Science Foundation of China(Grant No.12171126)。
文摘A complete classification of the multivalued coset groups of order 3 is given.The proof is based on the classification of rank 3 groups having regular normal subgroups.
基金supported by Beijing Education Commissions(Grant No.GJ2013009)the National Natural Science Foundation of China(Grant No.51077051)
文摘Research and development of high-temperature superconducting(HTS)apparatus are ongoing in the world with the great progress on the HTS tapes in recent years.The most attractive applications require the HTS tapes to perform well upon the application of an alternative current(AC)and/or an AC magnetic field.The electromagnetic properties of the HTS tapes including anisotropy,uniformity,alternative current(AC losses)and stability as well as mechanical characteristics are important fundamental parameters for these applications.This paper summarizes and focuses on several typical measurement principles and methods as well as apparatuses of those characteristic parameters except for their stability developed in past several years in China.
