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

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

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

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

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

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

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

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

完全稠密二叉偏序理论的可数模型

在偏序理论和二叉树理论的基础上给出了稠密二叉偏序理论的公理,并在该理论中定义了上界函数*,利用有理数序列构造了该理论的一个可数模型.     

可数模型的ψ—分式模型

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

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

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

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

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

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可数性是不变性质.     

企业精神与产品质量提高

本文论述了市场经济条件下，企业精神对保证产品质量的重要作用，提出了培育企业精神的措施．     

圆杆的颈缩研究

本文研究弹塑性圆棒的颈缩,材料被认为是可压缩的。运用有限变形理论。获得了分岔荷载。     

关于自相关函数计算法的探讨

本文系统地阐明了求自相关函数的几何法、代数法、分析法等方法。并从形与数两个不同的侧面及其结合上对自相关函数的算法进行了探讨,以期使自相关函数的计算得到较好的解决。     

全民健身发展动力的认识视角

体育健身活动作为精神生活的重要内容,正成为目前我国人民需要层次变化中引入注目的聚焦点,本文旨在现实地探索人们在社会转型期的生活选择活动的直接目的,了解体育健身活动与生活目的的现实关系,指出人的需要递进规律是构成人们对体育健身生活化的起点和归缩。     

微分包含解的稳定性

本文证明了：在Ｂａｉｒｅ分类的意义下，大多数微分包含的解都是稳定的。     

GMS云图定量资料的应用

目前GMS云图资料提供的是模拟量,模拟云图资料在天气分析与预报中已有很多应用。由于人眼对于灰度等级的分辨率较低,对于模拟云图的目视分析主要在于云的形态及移动变化情况,大量有用信息未能被利用。本文利用DIPIX图像处理系统将模拟云图重新量化,并利用其现有软件对所得数字云图作了一维直方图分析和二维分类。对于云的物理性质和空间结构有更多的了解。可以看出其较直接使用模拟云图的优越性。     

柳江盆地构造地貌的内营力分析

通过对柳江盆地及其相关构造地貌的分析，阐明了控制其发育形成的内营力作用状况．     

圈与圈张量乘积的联结数

木文给出了圈与固张量乘积的联结数的计算公式,并给出了证明.     

相似技术动作程序教学在体操教学中的运用研究

根据体操技术动作的内在规律，编制相似技术动作教学程序，把要学习和掌握的动作技能置于教师的控制下，使教学过程的顺序性、经济性、实效性均达到最佳程度．     

西河沿岸植被与河岸的治理

西河位于南充市西郊,是嘉陵江的一条支流,近几年来,由于缺乏管理,污染极其严重。为综合治理西河,我们对河岸陆生维管植物及其生境进行了调查,并进而提出了对河岸治理的相应措施,供治理西河参考。