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

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

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

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

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

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

可数模型的ψ—分式模型

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

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

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

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

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

有交易费用的彩虹期权定价模型的研究

通过在对标准欧式期权和彩虹期权定价模型的研究,推导出有交易费用的彩虹期权定价公式,并证明了该公式的合理性;随后又运用了二叉树方法求出其近似解.     

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

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

基于二叉树的有向双环网络最优路由算法

提出了有向双环网络G(N;r,s)路由模型--二叉树模型,给出了一种新的寻径策略--基于二叉树层的寻径策略,以及计算有向双环网络G(N;r,s)直径d(N;r,s)的显式公式,证明了有向双环网络G(N;r,s)的直径等于二叉树模型的树高,研究了二叉树模型中与路由相关的一些性质.与传统的方法相比,本算法提高了系统的寻径效率.     

离散化衍生品的定价

研究离散化衍生品的定价。首先,建立了二叉树模型和Cox-Ross-Rubinstein(CRR)模型,并给出二叉树模型和CRR模型下的衍生品的定价公式的推导过程,得到了衍生品的定价公式。最后,结合实例分析模型在现实中的应用。     

企业精神与产品质量提高

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

圆杆的颈缩研究

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

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

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

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

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

微分包含解的稳定性

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

GMS云图定量资料的应用

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

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

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

圈与圈张量乘积的联结数

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

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

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