道义逻辑D-系统的一种布尔值模型

本文为道义模态逻辑D－系统建立布尔值模型。首先定义道义模成公式○α的布尔值‖○α‖；其次证明在该定义下，道义模态逻辑系统D1、D2和D3的所有公理的布尔值为1；最后证明集合论的ZFC公理系统的布尔值模型V^B(B是一个完全的布尔代数）也是道义模态逻辑系统D1、D2和D3的布尔值模型。     

关于严格蕴涵系统的布尔值模型

本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是严格蕴涵系统S1和S2的布尔值模型.     

A^B中的混合与混合原理

文献＾［１］中给出了聚合公理系统ＣＯＧ的布尔值模型Ａ＾Ｂ本文在＾［１］的基础上讨论了Ａ＾Ｂ中的混合与混合原理。     

关于模态命题系统P_5的协调性

证明模态系统P5的协调性.即:证明了模态系统P5的所有公理的布尔值为1.亦即:VB(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型.     

关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

关于道义逻辑系统的一种布尔值模型

本文是为冯·赖特的一元和二元道义逻辑系统DT和DSR以及他1964年对DSR改造后的系统建立布尔值模型.因此,模态词O和P分别表示"应当"和"允许".为此,本文首先定义了模态公式Oα的布尔值‖ Oα‖和二元公式P(p/q)(或O(p/q))的布尔值‖ P(p/q)‖(或O(p/q)‖);其次证明在该定义下,道义逻辑系统DT和DSR等的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是道义逻辑系统DT和DSR等的布尔值模型.     

关于模态命题系统的一种布尔值模型

本文首先定义了模态命题公式□a的布尔值,然后证明模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值模型.     

∧^B中的序数和基数

在聚合公理系统ＣＯＧ的布尔值模型∧＾Ｂ中，证明了二型序数和二型基数的一些性质。     

正规弗晰集合结构与布尔值模型

弗晰集合论是应用数学中发展十分迅速的一个领域,布尔值模型则是公理集合论的一种非标准模型,这种模型在集合论独立性证明中起着重要的作用.在文献[1]中我们曾引进正规弗晰集合结构的概念,这种正规弗晰集合结构是对弗晰集合论的一种本质的刻划与推广;在文献[1]中还证明了任一正规弗晰集合结构都是带本元的集合论公理系统ZFa的一个布尔值模型.这样,我们就在弗晰集合论与布尔值模型这两个领域间架起了一个桥梁.本文是对文献[1]的一种阐明,详细地阐明了正规弗晰集合结构与弗晰集合论中的一些基本概念之间的联系与转换,同时引进了正规弗晰集合结构的序数、基数等基本概念.本文的研究对布尔值模型方法也是一种推广与发展.     

人口问题中的三维Ginzburg-Landau模型方程

讨论以下三维广义Ginzburg—Landau方程的初边值问题{u1=-a1↓△^4u a2↓△^24 ↓△^2g(u) g(u),u|DΩ=0,↓△^2u|DΩ=0,u(x,0)=u0(x)。首先，应用Galerkin方法和紧致性定理证明上述问题整体广义解和整体古典解的存在性和惟一性；其次，给出了解爆破的充分条件；最后，证明上述问题的广义解和古典解当t→ ∞时依L2范数趋于零。     

关于模态命题公式4、E和B的布尔值

模态公式4、E和B是直观上难以确认是否成立的一类模态公式 文献[6]证明了:在模型〈VB,R,‖‖〉下,当R是VB上的任意一个二元关系时,模态公式4、E和B的布尔值不能确定 本文证明:当R是VB上自返的二元关系时,模态公式4、E和B的布尔值为1 因此,模态系统S4、S5和B是协调的     

在中微子混合中的CP不变性

讨论了中微子混合中CP不变性的含义,定量地研究了真空中中微子振荡的性质.在周光召和关岳良提出的SO(10)×△(48)×U(1)超对称模型中,计算了短基线实验和长基线实验中微子振荡几率和CP破坏效果.     

一类格值集合模型

D.scott建立了集合论的布尔值模型∨~((B)),并且指出人们还可以建立格值集合域∨~((G)),他猜想这样的域∨~((G))可能是直觉主义集合论的模型。本文选取一类特定的格G,并在G上引进一些逻辑词项,形成强蕴涵词的弗晰逻辑,并由之建立格值集合域∨~((G));然后证明这样的域∨~((G))不是直觉主义逻辑的集合论模型,亦即它不满足直觉主义逻辑所要求的某些公理,而满足直觉主义逻辑所拒绝的另外一些公理,进而证明∨~((G))形成了弱谓词逻辑W_2L上的Zermelo集合论的一类模型。     

非参数混合效应模型的B样条估计

文章主要考虑纵向数据的非参数混合效应模型Yi(td=f(tij) vi(tij) ∈i(tij)，j=1…，ni，i=1…，P．我们运用B样条函数逼近方法给出了效应函数f(t)，ui(t)的一个新的估计，即B样条估计,同时，我们也讨论了B样条估计的渐近性质。     

和谐性质及其应用（Ⅱ）

Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。这部分主要是对Lw1w(Q)中的省略型定理及素模型定理的证明。     

^52Fe核的混合对称态和同位旋结构

应用含有同位旋的相互作用玻色子模型研究了^52Fe核的低能谱及电磁跃迁的特性．利用现有的实验数据,对该核的T=0,1和2同位旋激发态、低能对称态和混合对称态进行了系统研究,发现^52Fe核的最低的混合对称态是23^＋态．理论计算值和现有的实验数据符合得很好．模型计算预言了T=0的02^＋态的值．     

分块混合线性模型参数的极大似然估计

对于分块混合线性模型,研究了固定效应的参数估计,讨论了当B＇B=Ir,σ^2=σ1^2时混合线性模型中参数的极大似然估计。     

关于模态公理系统P1-P5的布尔值

证明与模态命题系统S2－S4等价的系统P2－P4的布尔值为1,而分别与S1和S5等价的系统P1和P5的布尔值不能确定,由此,证明了V^B是P2－P4的布尔模型。     

混合图的双向连通定向

无向图的双向连通定向对单行道路系统的构造有着重要意义。本文讨论的问题实际上是无向图的双向连通定向问题的一种推广。本文主要结果有:1.设 B 为混合图 M 的任一 k-断集,则 M 有双向连通定向的充要条件为 M 是混合连通且 k≥2。2.设图 M 有混合 Euler-迹,又 M 中任一断集 B 有|B|≥2k,则 M 有一个 k-弧连通定向。3.设无环图 M 为混合连通,又(?)b∈E(M)∪A(M),有 M-b 为混合连通,则 M 的 DFS-图是双向连通。     

混合绕组的绕组系数及谐波幅值强度的分析

就串联Y-△混合绕组的绕组系数及谐波幅度值强度进行分析．并与普通绕组对比。指出Y-△混合绕组能提高基波分量的绕组系数，同时对某些谐波能降低甚至消除，旨在引起人们对Y-△混合绕组的重视与推广。