Lω1ω语言格值模型论的省略型定理及其应用

利用用谐性质的方法给出Ｌω１ω片断Ｌｆ上的省略型定理，作为应用，对Ｌｆ中的完备理论Ｔ，讨论了原子模型的存在性，Ｔ有素模型的充要条件以及模型ｕ的素模型的充要条件，并给出了原子模型与素模型之间的关系。     

一致Fredholm指标性质与(ω1)性质

根据一致Fredholm指标性质定义了一种新的谱集,利用该谱集给出了Hilbert空间中有界线性算子满足(ω_1)性质的充要条件.此外,研究了hypercyclic算子(或supercyclic算子)和(ω_1)性质之间的关系,同时给出了hypercyclic算子与supercyclic算子新的判定方法.     

lω1ω的一个子逻辑系统及其特征

给出了ｌω１ω的一个子逻辑系统ｌ＇ω１ω，并在其上初步讨论了一些重要的模型论性质，给出了ｌ＇ω１ω的一个特征。主要结果是：如果ｌ是一强于ｌ＇ω１ω的可有限分离的正规逻辑系统，且在ｌ上ＬＳＴ定理和ω１－紧致性定理成立，则ｌ与ｌ＇ω１ω等价。     

_（ω_1ω）的一个子逻辑系统及其特征

给出了的一个子逻辑系统，并在其上初步讨论了一些重要的模型论性质，给出了的一个特征。主要结果是：如果是一强于的可有限分离的正规逻辑系统，且在上ＬＳＴ定理和ω_１－紧致性定理成立，则与等价。     

ω_μ—乘积空间

本文引入了ω_μ—乘积空间的概念,并详细讨论了它的性质,最后以此为工具给出了R.sikorski和王戍堂关于ω_μ—距离化定理的较简单的证明。ω_μ系指规则的初始数,如不特别说明,总假定μ>0。一个拓扑空间(x,T)叫做ω_μ—可加的,是指对T的任一个α一列有,这里α是小于ω_μ的任一序数。     

L-ω空间的ω_α-分离

在L-ω空间借助ω_α-远域提出了ω_α-正则性,ω_α-正规性,ω_α-T_i(i=3,4)分离性,并且讨论了它们的一些性质。     

可数模型的ψ—分式模型

从一些特殊情况出发讨论了不同可数模型的分式模型之间的关系，然后利用量词法去方法证明了当Ｔ是完全理论时，Ｔψ的完全性，进一步给出了Ｔψ是ω－范畴理论的一个充分必要条件，回答了Ａｓｈ的一个问题。     

无穷长语言L_(ω_1ω_1)相对于集合A的可构成集类

在文献[1],C.C.Chang定义了L_(ω_1ω_1)语言的可构成集类C,并且在ZFC中讨论了C的若干性质.本文建立了相对于集合A的用语言L(ω_1ω_1)所刻划的可构成集类C[A],并且得出了其若干性质.     

偏序群的Dω－序扩展

讨论了偏序群的Ｄω－序扩展，得到了偏序群的偏序可扩展成为Ｄω－序的充要条件，以及每一偏序均可扩展成为Ｄω－序的条件，同时刻划了Ｄω－序群。     

CFI算子与(ω)性质

根据一致Fredholm指标性质定义一种新的谱集, 利用该谱集与Browder谱之间的关系给出Hilbert空间中有界线性算子满足(ω)性质的充要条件, 并刻画多项式函数的(ω)性质.     

斜对角算子矩阵的广义(ω)性质

称一个Hilbert空间算子T满足广义(ω)性质,如果算子T的上半B-Weyl谱在逼近点谱中的补集恰好为谱集中孤立的特征值全体.利用局部谱理论的知识,给出了Hilbert空间上2×2斜对角算子矩阵满足广义(ω1)性质和广义(ω)性质的充要条件.作为应用,最后给出了一些有用的推论.     

有拓扑一致降指数算子的(ω)性质的刻画

利用拓扑一致降指数研究了(ω)性质,给出了Banach空间中有界线性算子满足(ω)性质的充要条件.最后将本文的主要结论应用到了解析仿正规算子上.     

广义Kato型及广义(ω’)性质

给出了广义Kato型的定义,并根据广义Kato型的性质定义了一种新的谱集,然后借助于一致Fredholm指标性质所定义出的谱集给出了Hilbert空间上有界线性算子满足广义(ω’)性质的充要条件,同时讨论了广义(ω’)性质的摄动。另外,利用所得的主要结论,研究了H(p)算子的广义(ω’)性质及其摄动。     

关于Aleph_α-紧性的评注

本文给出了一个定理:设{x_k)_k<ω_α为距离空间R中ω_α_-序列,如果cf(ω_α)>0,那么{x_k)_k<ω_α收敛于点x∈R的充要条件是存在序数μ<ω_α使对一切合于μ≤k<ω_α的K总有x_k=x,从而表明《全聚点集与Aleph-α紧性》一文(见《数学研究与评论》,1(1982),45—52)中定义的序列式Aleph-α紧性的概念是不恰当的,应予删除。     

算子矩阵平方(ω)性质的紧摄动

根据上三角算子矩阵对角上两个算子谱集的特点和该上三角算子矩阵对应对角矩阵的性质,研究上三角算子矩阵平方的(ω)性质在紧摄动下的稳定性,并给出了上三角算子矩阵的平方满足(ω)性质紧摄动的充要条件.     

上三角算子矩阵的(ω)性质的摄动

根据2×2上三角算子矩阵对角上的两个算子的谱集的特点来研究该2×2上三角算子矩阵的平方满足(ω)性质在紧摄动下的稳定性,并给出了2×2上三角算子矩阵的平方满足(ω)性质紧摄动的充要条件。     

单值延拓性质在(ω’)性质判定中的应用

(ω’)性质是Weyl定理的变形。本文利用单值延拓性质研究了Hilbert空间上有界线性算子T及其T的演算有(ω’)性质的充要条件,然后利用所得的结论研究了控制类算子有(ω’)性质的充要条件。     

SST K-ω湍流模型在细长弹体可压缩分离流中的改进

研究飞机和导弹的细长体可压缩湍流分离流问题,对SST K-ω湍流模型进行了改进。数值模拟了马赫数2.5和0.7、攻角14o下细长旋成体的湍流分离流场,给出了原SST K-ω模型和改进的SST K-ω湍流模型的细长体背风面极限流线、分离涡的强度和位置、物面压力分布的计算结果,并与实验结果进行了对比研究。结果表明,对计算细长体可压缩分离流动的绕流特性,SST K-ω模型引入的Bradshaw数(雷诺切应力与湍动能之比)应由0.31修正为10/29,修正后的SST K-ω模型与原SST K-ω模型相比,所计算的分离涡的强度和位置、物面压强分布与实验结果更接近。     

(ω’)性质和广义(ω’)性质的比对

(ω’)性质与广义(ω’)性质是Weyl定理的变形。本文利用单值延拓性质、一致Fredholm指标算子和本质谱定义出的一种新的谱集,研究了Hilbert空间上有界线性算子T及其与T可交换的幂有限秩摄动分别有(ω’)性质与广义(ω’)性质的充要条件。     

Lω-空间中的ω*Ti分离性

在Lω-空间中引进一组新的分离公理。即ω^＊Ti分离公理（i=0，1，2），给出了它们的特征性质，证明了ω^＊Ti分离性具有可遗传性、可乘性和ω-同胚不变性，以及在R．Lowen意义下“好的推广”等重要性质，并且它们之间有很好的协调一致性．