共查询到20条相似文献,搜索用时 765 毫秒
1.
王世琪 《南京大学学报(自然科学版)》2007,24(2):238-243
本文将在逻辑Lω1,ω中把完全二叉树理论的可数模型刻画到同构并给出它们的 Scott 语句具体形式.证明了完全二叉树理论的可数模型的胞腔性质. 相似文献
2.
构造了p阶拟循环群理论的可数原子模型,并且筛选型中的公式得到原子模型上的完备公式.然后扩充原子模型得到了可数万有模型.最后证明了p阶拟循环群理论的ω1-范畴性. 相似文献
3.
在偏序理论和二叉树理论的基础上给出了稠密二叉偏序理论的公理,并在该理论中定义了上界函数*,利用有理数序列构造了该理论的一个可数模型. 相似文献
4.
可数模型的ψ—分式模型 总被引:1,自引:1,他引:1
从一些特殊情况出发讨论了不同可数模型的分式模型之间的关系,然后利用量词法去方法证明了当T是完全理论时,Tψ的完全性,进一步给出了Tψ是ω-范畴理论的一个充分必要条件,回答了Ash的一个问题。 相似文献
5.
杨年西 《太原师范学院学报(自然科学版)》2011,10(1):48-50
在可数形式语言L中,完全理论T在Sn(T)拓扑空间的性质很好反映了完全理论T的性质.主要对完全理论T型的拓扑空间的不同性质进行研究,证明了如果完全理论T有无限模型,那么ω-范畴完全理论充分必要条件:对任意正整数n,Sn(T)拓扑空间是离散空间. 相似文献
6.
将在逻辑Lω1ω中把完全k(kω)叉树理论的可数模型刻画到同构,并给出它们的Scott语句具体形式,证明了完全k叉树理论的可数模型的胞腔性质. 相似文献
7.
陈刚 《合肥学院学报(自然科学版)》2006,16(4):34-36
通过在对标准欧式期权和彩虹期权定价模型的研究,推导出有交易费用的彩虹期权定价公式,并证明了该公式的合理性;随后又运用了二叉树方法求出其近似解. 相似文献
8.
p阶拟循环群理论的可数模型 总被引:1,自引:1,他引:0
讨论了p阶拟循环群理论的可数的饱和模型,并用强极小理论证明了p阶拟循环群理论是ω1-范畴的,进而p阶拟循环群理论的每一模型都是齐次模型. 相似文献
9.
基于二叉树的有向双环网络最优路由算法 总被引:2,自引:0,他引:2
陈业斌 《华中科技大学学报(自然科学版)》2008,36(6):43-46
提出了有向双环网络G(N;r,s)路由模型--二叉树模型,给出了一种新的寻径策略--基于二叉树层的寻径策略,以及计算有向双环网络G(N;r,s)直径d(N;r,s)的显式公式,证明了有向双环网络G(N;r,s)的直径等于二叉树模型的树高,研究了二叉树模型中与路由相关的一些性质.与传统的方法相比,本算法提高了系统的寻径效率. 相似文献
10.
《河南科技大学学报(自然科学版)》2013,(6)
研究离散化衍生品的定价。首先,建立了二叉树模型和Cox-Ross-Rubinstein(CRR)模型,并给出二叉树模型和CRR模型下的衍生品的定价公式的推导过程,得到了衍生品的定价公式。最后,结合实例分析模型在现实中的应用。 相似文献
11.
12.
13.
李君珊 《山东科技大学学报(自然科学版)》1986,(4)
本文系统地阐明了求自相关函数的几何法、代数法、分析法等方法。并从形与数两个不同的侧面及其结合上对自相关函数的算法进行了探讨,以期使自相关函数的计算得到较好的解决。 相似文献
14.
全民健身发展动力的认识视角 总被引:3,自引:2,他引:1
体育健身活动作为精神生活的重要内容,正成为目前我国人民需要层次变化中引入注目的聚焦点,本文旨在现实地探索人们在社会转型期的生活选择活动的直接目的,了解体育健身活动与生活目的的现实关系,指出人的需要递进规律是构成人们对体育健身生活化的起点和归缩。 相似文献
15.
16.
17.
目前GMS云图资料提供的是模拟量,模拟云图资料在天气分析与预报中已有很多应用。由于人眼对于灰度等级的分辨率较低,对于模拟云图的目视分析主要在于云的形态及移动变化情况,大量有用信息未能被利用。本文利用DIPIX图像处理系统将模拟云图重新量化,并利用其现有软件对所得数字云图作了一维直方图分析和二维分类。对于云的物理性质和空间结构有更多的了解。可以看出其较直接使用模拟云图的优越性。 相似文献
18.
19.
20.
张京平 《内蒙古师范大学学报(自然科学版)》1996,(1)
根据体操技术动作的内在规律,编制相似技术动作教学程序,把要学习和掌握的动作技能置于教师的控制下,使教学过程的顺序性、经济性、实效性均达到最佳程度. 相似文献