为分析数值模式动力学框架中不同波动的特性及对数值天气预报模式计算稳定性的影响,文章对GRAPES(Global/Regional Assimilation and PrEdiction System)全球非静力大气模式进行了正规模分析.首先,建立了静止大气状态下模式的线性化系统...为分析数值模式动力学框架中不同波动的特性及对数值天气预报模式计算稳定性的影响,文章对GRAPES(Global/Regional Assimilation and PrEdiction System)全球非静力大气模式进行了正规模分析.首先,建立了静止大气状态下模式的线性化系统,并在适当的边界条件下将线性化系统分解成具有垂直与水平结构方程的本征值、本征函数耦合问题.然后在等温大气条件下,利用耦合问题的数值结果分析得出:GRAPES非静力模式除了有几乎和对应的静力模式一致的向东、向西传播的重力惯性波及向西传播的Rossby波外,还有一个向东、向西传播的声惯性波;特别是,只有当纵横比较大时,非静力模式对重力惯性波才会有显著影响.展开更多
采用6阶WKB方法,研究了带有整体单极子的Reissner-Nordstrm de Sitter黑洞时空中无质量狄拉克场扰动的似正规模。数值结果显示,该黑洞时空中无质量狄拉克场的似正规模频谱取决于黑洞的有效电荷Q和有效质量M、宇宙学常数Λ以及表征对...采用6阶WKB方法,研究了带有整体单极子的Reissner-Nordstrm de Sitter黑洞时空中无质量狄拉克场扰动的似正规模。数值结果显示,该黑洞时空中无质量狄拉克场的似正规模频谱取决于黑洞的有效电荷Q和有效质量M、宇宙学常数Λ以及表征对称性破缺的标度因子η。对于确定的|κ|、模数n、宇宙学常数Λ和b(和η有关),无质量狄拉克场的衰减在宇宙学常数Λ比较小时是随着Q的增加先变快后变慢,而当宇宙学常数比较大时,则是随着Q的增加而变快。对于确定的|κ|、n、Q和b,无质量狄拉克场的衰减随着Λ的增加而变慢。展开更多
模态逻辑的完全性理论至今已经有了很大发展,其证明通常也是逻辑研究中重要且极其困难的一环。从简单的证明命题逻辑有效性的真值表、归谬法的思想出发到反模型的建立;从最早证明模态逻辑系统的Kripke-语义图的出现到Hughes and Gressw...模态逻辑的完全性理论至今已经有了很大发展,其证明通常也是逻辑研究中重要且极其困难的一环。从简单的证明命题逻辑有效性的真值表、归谬法的思想出发到反模型的建立;从最早证明模态逻辑系统的Kripke-语义图的出现到Hughes and Gresswell对Kripke-语义图的修正;从L.Henkin极大一致集的提出到从属模型和典范模型的建立;从典范模型的广泛使用到Bull有限模型的建立无不体现了这一点。对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法。展开更多
文摘为分析数值模式动力学框架中不同波动的特性及对数值天气预报模式计算稳定性的影响,文章对GRAPES(Global/Regional Assimilation and PrEdiction System)全球非静力大气模式进行了正规模分析.首先,建立了静止大气状态下模式的线性化系统,并在适当的边界条件下将线性化系统分解成具有垂直与水平结构方程的本征值、本征函数耦合问题.然后在等温大气条件下,利用耦合问题的数值结果分析得出:GRAPES非静力模式除了有几乎和对应的静力模式一致的向东、向西传播的重力惯性波及向西传播的Rossby波外,还有一个向东、向西传播的声惯性波;特别是,只有当纵横比较大时,非静力模式对重力惯性波才会有显著影响.
文摘采用6阶WKB方法,研究了带有整体单极子的Reissner-Nordstrm de Sitter黑洞时空中无质量狄拉克场扰动的似正规模。数值结果显示,该黑洞时空中无质量狄拉克场的似正规模频谱取决于黑洞的有效电荷Q和有效质量M、宇宙学常数Λ以及表征对称性破缺的标度因子η。对于确定的|κ|、模数n、宇宙学常数Λ和b(和η有关),无质量狄拉克场的衰减在宇宙学常数Λ比较小时是随着Q的增加先变快后变慢,而当宇宙学常数比较大时,则是随着Q的增加而变快。对于确定的|κ|、n、Q和b,无质量狄拉克场的衰减随着Λ的增加而变慢。
文摘模态逻辑的完全性理论至今已经有了很大发展,其证明通常也是逻辑研究中重要且极其困难的一环。从简单的证明命题逻辑有效性的真值表、归谬法的思想出发到反模型的建立;从最早证明模态逻辑系统的Kripke-语义图的出现到Hughes and Gresswell对Kripke-语义图的修正;从L.Henkin极大一致集的提出到从属模型和典范模型的建立;从典范模型的广泛使用到Bull有限模型的建立无不体现了这一点。对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法。