对应物理论(counterpart theory)是一阶逻辑的一种理论.Lewis利用谓词模态逻辑到对应物理论的翻译来研究谓词模态逻辑的性质,但是Lewis的翻译存在把不可满足的公式翻译为可满足公式的情况.针对这个问题,提出了一种扩展语义的谓词模态逻...对应物理论(counterpart theory)是一阶逻辑的一种理论.Lewis利用谓词模态逻辑到对应物理论的翻译来研究谓词模态逻辑的性质,但是Lewis的翻译存在把不可满足的公式翻译为可满足公式的情况.针对这个问题,提出了一种扩展语义的谓词模态逻辑,建立了扩展语义后谓词模态逻辑模型与对应物理论模型的一一对应关系,并在此基础上建立了谓词模态逻辑到对应物理论的语义忠实语义满翻译(faithful and full translation),其可确保将谓词模态逻辑的可满足公式和不可满足公式分别翻译为对应物理论的可满足公式和不可满足公式.由对应物理论是可靠的、完备的一阶逻辑的理论且语义忠实语义满翻译保持可靠性和完备性,进一步证明了扩展语义的谓词模态逻辑也是可靠和完备的.展开更多
Effects of excluded volume of nucleons on nuclear matter are studied, and the nuclear properties that follow from different relativistic mean-field model parametrizations are compared. We show that, for all tested par...Effects of excluded volume of nucleons on nuclear matter are studied, and the nuclear properties that follow from different relativistic mean-field model parametrizations are compared. We show that, for all tested parametrizations, the resulting volume energy al and the symmetry energy J are around the acceptable values of 16 MeV and 30 MeV, and the density symmetry L is around 100 MeV. On the other hand, models that consider only linear terms lead to incompressibility Ko much higher than expected. For most parameter sets there exists a critical point （pc, δc）, where the minimum and the maximum of the equation of state are coincident and the incompressibility equals zero. This critical point depends on the excluded volume parameter r. If this parameter is larger than 0.5 fm, there is no critical point and the pure neutron matter is predicted to be bound. The maximum value for neutron star mass is 1.85M⊙, which is in agreement with the mass of the heaviest observed neutron star 4U0900-40 and corresponds to r = 0.72 fm. We also show that the light neutron star mass （1.2M⊙） is obtained for r ≌ 0.9 fro.展开更多
In general,heat transfers can be classified into two categories according to the purposes of object heating or cooling and the heat to work conversion.Recently,a new physical quantity,entransy(or potential energy),was...In general,heat transfers can be classified into two categories according to the purposes of object heating or cooling and the heat to work conversion.Recently,a new physical quantity,entransy(or potential energy),was proposed to describe the ability of heat transfer with the former purpose.This paper addresses the concept of potential energy in terms of the heat transfer processes for the latter purpose,named the conversion potential energy.The physical meaning of this newly introduced concept is the potential energy for the heat to work conversion stored in the equivalent mass of heat(thermomass) derived on the basis of the Einstein's special theory of relativity.The dissipation of conversion potential energy occurs during the real irreversible heat to work conversion processes as a measure of the conversion irreversibility.Finally,a heat to work conversion problem of a heat exchanger group is provided to show that the minimum conversion potential energy dissipation rate can be used as an optimization criterion for the heat transfer performance with the purpose of the heat to work conversion.展开更多
文摘对应物理论(counterpart theory)是一阶逻辑的一种理论.Lewis利用谓词模态逻辑到对应物理论的翻译来研究谓词模态逻辑的性质,但是Lewis的翻译存在把不可满足的公式翻译为可满足公式的情况.针对这个问题,提出了一种扩展语义的谓词模态逻辑,建立了扩展语义后谓词模态逻辑模型与对应物理论模型的一一对应关系,并在此基础上建立了谓词模态逻辑到对应物理论的语义忠实语义满翻译(faithful and full translation),其可确保将谓词模态逻辑的可满足公式和不可满足公式分别翻译为对应物理论的可满足公式和不可满足公式.由对应物理论是可靠的、完备的一阶逻辑的理论且语义忠实语义满翻译保持可靠性和完备性,进一步证明了扩展语义的谓词模态逻辑也是可靠和完备的.
基金The authors would like to acknowledge K.C. Chung （in memory） and C.S. Wang by their help in the beginning of this work.
文摘Effects of excluded volume of nucleons on nuclear matter are studied, and the nuclear properties that follow from different relativistic mean-field model parametrizations are compared. We show that, for all tested parametrizations, the resulting volume energy al and the symmetry energy J are around the acceptable values of 16 MeV and 30 MeV, and the density symmetry L is around 100 MeV. On the other hand, models that consider only linear terms lead to incompressibility Ko much higher than expected. For most parameter sets there exists a critical point （pc, δc）, where the minimum and the maximum of the equation of state are coincident and the incompressibility equals zero. This critical point depends on the excluded volume parameter r. If this parameter is larger than 0.5 fm, there is no critical point and the pure neutron matter is predicted to be bound. The maximum value for neutron star mass is 1.85M⊙, which is in agreement with the mass of the heaviest observed neutron star 4U0900-40 and corresponds to r = 0.72 fm. We also show that the light neutron star mass （1.2M⊙） is obtained for r ≌ 0.9 fro.
基金supported by the NUAA Research Funding (Grant No. NS2012142)
文摘In general,heat transfers can be classified into two categories according to the purposes of object heating or cooling and the heat to work conversion.Recently,a new physical quantity,entransy(or potential energy),was proposed to describe the ability of heat transfer with the former purpose.This paper addresses the concept of potential energy in terms of the heat transfer processes for the latter purpose,named the conversion potential energy.The physical meaning of this newly introduced concept is the potential energy for the heat to work conversion stored in the equivalent mass of heat(thermomass) derived on the basis of the Einstein's special theory of relativity.The dissipation of conversion potential energy occurs during the real irreversible heat to work conversion processes as a measure of the conversion irreversibility.Finally,a heat to work conversion problem of a heat exchanger group is provided to show that the minimum conversion potential energy dissipation rate can be used as an optimization criterion for the heat transfer performance with the purpose of the heat to work conversion.
