共查询到20条相似文献,搜索用时 15 毫秒
1.
王延军 《安徽大学学报(自然科学版)》2008,32(4)
在Lω空间中,以文[3]为基础,进一步引入Lω-空间中的ω*-正则性、ω*-正规性、ω*Ti(i=3,4)分离性,讨论了它们与Lω-空间中已有分离性之间的关系,证明了它们是ω-闭遗传的、ω-同胚不变的以及是R.Lowen意义下的推广. 相似文献
2.
童雪 《北京师范大学学报(自然科学版)》1995,(2)
给出了的一个子逻辑系统,并在其上初步讨论了一些重要的模型论性质,给出了的一个特征。主要结果是:如果是一强于的可有限分离的正规逻辑系统,且在上LST定理和ω_1-紧致性定理成立,则与等价。 相似文献
3.
梁翠梅 《太原师范学院学报(自然科学版)》2009,8(1)
文章利用Fourier-laplace变换时Beurling型ω超可微函数空间ε(ω)(Ω)的性质进行了讨论,证明了在卷积意义下,D(ω)(RN)为ε(ω)(RN)的乘子空间. 相似文献
4.
马世骅 《山东大学学报(理学版)》1994,(4)
提出了一种新的语言──$-ω-语言,把语言、ω-语言和$-ω语言统一地讨论.特别对$-ω正规语言进行了详细地讨论,得到了$-ω正规语言的代数结构定理.提出了抽象正规表达式,得到了用同一个抽象正规表达式α表示正规语言V和ω-正规语言Vω的方法. 相似文献
5.
实数的可计算函数是一个非常重要的概念,定义可计算实数函数有两个途径,第一个途径是先定义可计算实数的指标.一个可计算实数的指标是一个计算该实数的Turing机的Godel数.一个定义在全体可计算实数上的函数y=f(x)是可计算的,当且仅当存在一个在全体可计算实数的指标上的(部分)递归函数将x的指标对应到y的指标,这样对实数函数的研究依赖于自然函数的性质.第二个定义可计算实数的途径是基于逼近.一个实数函数是可计算的,当且仅当它既是序列可计算的也是有效地一致连续的,这个条件太强使得很多非常有用的实数函数不能成为可计算函数.根据这个定义"<"和"="都是不可计算的,因为它们的特征函数是不连续的.在这篇文章里我们讨论ω-Turing机的稳定性并且定义了在一个有限字母表的全体无限序列上的ω-可计算函数,我们也证明了ω-可计算函数的复合函数也是ω-可计算的.我们的定义没有用到Godel数或者递归函数.根据我们的定义很多常用函数特别是一些有用的不连续函数是ω-可计算函数.一个函数是否ω-可计算的验证较为容易,根据我们的定义普通Turing机的停机命题是ω-可计算的. 相似文献
6.
在Lω-空间中引入一种新的正则,即ω*-正则,证明了ω*-正则不仅蕴涵黄朝霞文献中所提出的ω-正则,而且还具有ω-正则的一些好的性质. 相似文献
7.
黄朝霞 《集美大学学报(自然科学版)》2007,12(3):273-275
研究了Lω-空间的ω-有限覆盖性质问题.利用Lω-空间的ω-远域和ω-覆盖等概念,系统讨论了ω-有限覆盖的特征性质,证明了Lω-空间的ω-有限覆盖性质具有拓扑不变性和闭遗传等性质. 相似文献
8.
在Lω-空间中引进一组新的分离公理。即ω^*Ti分离公理(i=0,1,2),给出了它们的特征性质,证明了ω^*Ti分离性具有可遗传性、可乘性和ω-同胚不变性,以及在R.Lowen意义下“好的推广”等重要性质,并且它们之间有很好的协调一致性. 相似文献
9.
在Lω-空间中引入了Lω-分离性的概念,主要包括ωS-1、ωS0、次Sω0分离性,讨论了它们的一些基本的拓扑性质.给出了ωS-分离性的几个等价刻划,讨论了它们之间的关系. 相似文献
10.
在Lω-空间中定义了ω-完全正规分离性,并讨论了它的一些基本性质,如:遗传性、L-好的推广等。 相似文献
11.
在Lω-空间空间中定义了ω-半开(闭)集、ω-半连续以及ω-强半连续的概念, 并且讨论了ω-连续和几种ω-半连续的关系 相似文献
12.
研究了Lω-空间的可数ω-紧性。利用Hα-ω-开覆盖等概念,引进Lω-了空间的可数ω-紧性的概念,并证明了可数ω-紧性具有有限可和、对ω-闭子集遗传、被连续的广义Zadeh型函数所保持、L-good extension等许多性质。 相似文献
13.
14.
郭清泉 《山东大学学报(理学版)》1987,(1)
[1] 中定义了有穷转向的ω-pda 和ω-cfl,给出了它们的若干性质。本文讨论有穷转向的ω-cfl 的生成,定义ω超线性文法和ω超线性语言,证明ω超线性语言和有穷转向的ω-cfl是同一语言类。 相似文献
15.
王延军 《安徽大学学报(自然科学版)》2008,32(4)
在Lω-空间中,以文[3]为基础,进一步引入Lω-空间中的ω*-正则性、ω*-正规性、ω*Ti(i=3,4)分离性,讨论了它们与Lω-空间中已有分离性之间的关系,证明了它们是ω-闭遗传的、ω-同胚不变的以及是R.Lowen意义下的推广. 相似文献
16.
Lω-空间中的ωT11/2分离性 总被引:4,自引:1,他引:3
陈水利 《集美大学学报(自然科学版)》2007,12(2):173-179
在Lω-空间中引入ωδ-闭集、ωT11/2分离性、分子网的ωδ-收敛性、理想的ωδ--收敛性、(ω,ω1)δ-连续性、几乎(ω,ω1)δ-连续性和强(ω,ω1)δ-连续性等概念.系统地研究了ωT11/2分离性的特征,给出了ωT11/2分离性的若干等价条件.证明了ωT11/2分离性是可遗传的、(ω,ω1)δ-同胚不变的、而且是R.Lowen意义下好的推广等重要性质.讨论了ωT11/2分离性、ωT11/2分离性和ωT2分离性之间的关系. 相似文献
17.
已内酰与α,ω-二卤代烷在固-液相转移条件下(KOH)/K2CO3混合碱,TBAB为PTC)反应是1-(ω-卤代烷基)己内酰胺1,研究了反应温度、时间、碱及催化剂用量对1,4-二溴丁烷与已内酰胺进行单取代反应产率的影响。结果表明:当己内酰胺:1,4-二溴丁烷:氢氧化钾;碳酸钾:TBAB为1:3:1.5:3:0.05(摩尔比)时,90℃下反应,13h,产率可达75.4%,并合成了其它3个1-(ω-卤代烷基)己内酰胺,在类似的固-液相转移条件下,1与醇反应得标题化合物。 相似文献
18.
利用Lω-空间中的Lω-局部有限性质,引进了Lω-空间中的Ⅰ型Lω-仿紧性等概念,系统地研究了Ⅰ型Lω-仿紧性的基本性质,得到了Ⅰ型Lω-仿紧性在弱诱导条件下的一些等价条件. 相似文献
19.
在Lω-空间中引入ω-Lindelbf性质和ω-LindeliSf空间等概念,给出了其等价刻画,并证明它保持L-拓扑空间中许多良好的性质,如闭遗传性L-好的推广,L值Zadeh型函数下像保持不变等. 相似文献
20.
己内酰胺与α,ω-二卤代烷在固-液相转移条件下(KOH/K2CO3混合碱,TBAB为PTC)反应得1-(ω-卤代烷基)己内酰胺1,研究了反应温度、时间、碱及催化剂用量对1,4-二溴了烷与己内酰胺进行单取代反应产率的影响.结果表明:当己内酰胺:1,4-二溴丁烷:氢氧化钾:碳酸钾:TBAB为1:3:1.5、3:0.05(摩尔比)时,90℃下反应,13h,产率可达75.4%,并合成了其它3个1-(ω-卤代烷基)己内酰胺,在类似的固-液相转移条件下,1与醇反应得标题化合物. 相似文献