完全分叉树理论可量词消去的新证明

利用理论的代数素模型和简单闭性质,我们给出了完全k(k<ω)- 叉树理论和完全无穷叉树理论可量词消去的新的证明,很大程度上简化了原有证明.     

完全二叉树理论的可数模型及其胞腔性

本文将在逻辑Lω1,ω中把完全二叉树理论的可数模型刻画到同构并给出它们的 Scott 语句具体形式.证明了完全二叉树理论的可数模型的胞腔性质.     

完全二叉树理论的模型及性质

定义了完全二叉树理论的决定公式. 利用该类公式证明了此理论是原子理论,且型的个数是可数的.还给出了它的可数原子模型和饱和模型.证明了完全二叉树理论的ω1-范畴性.     

关于完全理论在S_n(T)拓扑空间中的性质探讨

在可数形式语言L中,完全理论T在Sn(T)拓扑空间的性质很好反映了完全理论T的性质.主要对完全理论T型的拓扑空间的不同性质进行研究,证明了如果完全理论T有无限模型,那么ω-范畴完全理论充分必要条件:对任意正整数n,Sn(T)拓扑空间是离散空间.     

可数模型的ψ—分式模型

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

p阶拟循环群理论的模型论性质

构造了p阶拟循环群理论的可数原子模型,并且筛选型中的公式得到原子模型上的完备公式.然后扩充原子模型得到了可数万有模型.最后证明了p阶拟循环群理论的ω1-范畴性.     

p阶拟循环群理论的可数模型

讨论了p阶拟循环群理论的可数的饱和模型,并用强极小理论证明了p阶拟循环群理论是ω1-范畴的,进而p阶拟循环群理论的每一模型都是齐次模型.     

L-fuzzy保序算子空间的ω-Lindelf可数性

在L-fuzzy保序算子空间中引入一种新的ωLindelf可数性概念.系统地讨论了ωLindelf可数性的基本性质以及与第二ω可数空间之间的关系.得到ωLindelf可数性是ω闭遗传的,是弱拓扑不变的,第二ω可数空间是ωLindelf空间等结论.     

L-fuzzy保序算子空间的ω-Lindel(o)f可数性

在L-fuzzy保序算子空间中引入一种新的ω-Lindel(o)f可数性概念.系统地讨论了ω-Lindel(o)f可数性的基本性质以及与第二ω-可数空间之间的关系.得到ω-Lindel(o)f可数性是ω-闭遗传的,是弱拓扑不变的,第二ω-可数空间是ω-Lindel(o)f空间等结论.     

L-fuzzy保序算子空间中的ω-Lindelff可数性质

在L-fuzzy保序算子空间上引入ω-Lindeloff可数性和弱ω-Lindeloff可数性等概念,并系统地研究了它们的基本性质以及它们与第二ω-可数空间之间的关系.证明了ω-Lindeloff性质和弱ω-Lindeloff性质是ω-闭遗传的,而且在(ω1,ω2)-同胚映射下,ω-Lindeloff可数性是不变性质.     

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

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

Brown运动增量关于Brown时的一些极限问题

本文将文献[3]、[4]、[5]中关于Brown运动增量的一些极限定理推广到具有随机时间间隔(Brown时)的Brown运动增量情形上去。我们得到下述主要结果:(?)     

腔式静压轴承工况的数学模型的研究

本文应用润滑理论建立了腔式静压轴承工况的数学模型，编制了计算机仿真程序，仿真结果与实验结果基本吻合，证明本文所建立的数学模型是正确的．此项研究为进一步计算机辅助分析和设计腔式静压轴承提供了理论基础．     

二聚莰烯和三聚长叶烯

<正>(E)-ω-氯汞化莰烯和(E)-ω-氯汞化长叶烯在THF中,RhCl_3催化下分别得到了莰烯和长叶烯的对称二聚体。用IR、~1HNMR、~(13)CNMR、UV和MS证明了两个二聚体的结构。     

双工移动通信系统间的干扰概率

根据双区移动通信系统的干扰模型，导出了多个干扰源对有用信号系统的干扰概率公式，并给出具计算方法，这此公式在计算机辅助频谱管理系统中得到应用。     

多级涡旋压缩机压力比与喷油量的优化

对多级涡旋压缩机的级间压力比与喷油量进行了较为深入的研究，提出了工作过程及优化设计的数学模型，经实验验证，该模型合理可行，对多级涡旋压缩机的设计有一定的参考价值。     

示踪气体弥散模型及在矿井通风测量中的应用

本文对示踪气体在矿井通风测量中的应用做了分类,针对各种类型的弥散场,提出了相应的数学模型,给出了它们的解析解,并通过实验对其应用进行初步探讨。图8,表1,参考文献5。     

沉管隧道地震响应分析的等效质点系模型探讨

条装地下结构如隧道、各种埋设管道等一般可看作弹性地基梁进行静力及动力分析。在地震条件下,结构与土相互作用,但土的振动成为主要因素。为分析土的地震响应需把基土这一三维连续体作简化处理,简化成为等效多质点模型。本文着重探讨这种简化模型的建立方法,推导等效方法,通过几种简化体系的分析比较,论证单质点串体系的合理性,并将其应用到广州黄沙－芳村珠江水下隧道工程的地震响应分析,为抗震设计提供依据。     

演化自适应建模在QSAR研究中的应用

演化自适应建模利用自然选择的方法处理建模和模型优化问题，通过在模型空间中搜索问题的解来揭示输入与输出数据问存在的相关关系并以此来估计和外推系统的行为。该方法用于QSAR研究，具有稳定、适应性强、无需问题的背景知识等优点，可以获得多个较为准确描述药物构效关系的模型，既可以是线性模型，也可以是非线性模型。但对于自变量较多的问题，该方法的编码方式可能使效率下降。     

涡旋式压缩机动力特性分析

根据热力学第一定律及质量守恒定律而建立的工作腔内气体压力随主轴转角变化的热力学关系式，分析了动涡盘与十字环的工作特性，建立了相应的数学模型，利用高斯列主元素消去法对数学模型进行求解，获得了各种力与主轴转角的关系，还计算了不足压缩时产生的附加载荷及载荷的分布范围。