_（ω1ω）语言格值模型论的省略型定理及其应用

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

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

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

可数模型的ψ—分式模型

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

偏序群的Dω－序扩展

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

CFI算子与(ω)性质

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

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

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

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

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

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

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

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

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

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

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

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

根据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-ω模型相比,所计算的分离涡的强度和位置、物面压强分布与实验结果更接近。     

若干类线性正算子的∧ω（A）类保持性质

设ω（ｘ）是区间Ｉ上的上凸连续模函数，记∧ω（Ａ）＝｛ｆ∈Ｃ（Ｉ）：ω（ｆ，ｘ）≤Ａω（ｘ）｝，文章得到了ｆ∈∧ω（Ａ）的充要条件是Ｌｎｆ∈∧ω（Ａ），其中Ｌｎ是相当广泛的若干类线线性正算子。     

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

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

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

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

Lω-空间的ωS-分离性

在Lω-空间中引入了Lω-分离性的概念,主要包括ωS-1、ωS0、次Sω0分离性,讨论了它们的一些基本的拓扑性质.给出了ωS-分离性的几个等价刻划,讨论了它们之间的关系.     

Lω-空间的ω-p连通性

在Lω-空间中借助于ω-p闭包引入了一种新的连通性,即ω-p连通性。研究了它的一些基本性质,并给出了ω-p连通性的若干等价刻画。结果表明该ω-p连通性保持了Lω-空间中已有连通性的许多类似性质。     

算子演算的a-Browder定理和(ω1)性质的等价性

根据一致可逆性质定义的一种新谱集σ2(·).通过它与变化的本质逼近点谱σ1(·)之间的关系,给出了算子演算满足a-Browder定理和有(ω1)性质的充要条件.研究了a-Browder定理和(ω1)性质对算子及其共轭的算子演算同时成立的条件,描述了H(P)类算子的算子演算的(ω1)性质.     

ω-对偶与ω-自反模

主要研究相对于忠实平衡自正交双模ω的对偶,给出了ω-对偶的基本性质以及ω-自反模与ω-半自反模的若干刻画.