论文部分内容阅读
主要证明了在Xω中不存在极大和极小I-析取ω-语言,提出I-析取辖区概念并证明其是稠密语言.
I-析取ω-语言的几个性质
【摘 要】
：
主要证明了在Xω中不存在极大和极小I-析取ω-语言,提出I-析取辖区概念并证明其是稠密语言.
【机 构】
：
昆明学院,云南大学
【出 处】
：
西南师范大学学报
【发表日期】
：
2004年期
其他文献
文中从实验和计算两方面报道了在514.5 nm激发光下P-Thiocresol吸附在银胶表面系统的表面增强拉曼散射(SERS).文中分析了它的增强机制,发现增强主要来自于电磁场增强.如果考
本文设计并制作了基于强限制多模干涉耦合器的2×2 SOI马赫-曾德热光开关.这种光开关采用了深刻蚀结构的多模干涉耦合器和输入/输出波导,较大地提高了干涉耦合器的性能并减少
设s为正整数, Ω(s), Z(s), H(s)分别表示方程∑si=11xi+1x1...xs=1、Znám问题以及同余式组x1...xi-1xi+1...xs+1≡0(modxi)的解数. 作者给出了两种构造方程的解的新方法,
为探究吕家坨井田地质构造格局,根据钻孔勘探资料,采用分形理论和趋势面分析方法,研究了井田7
采用傅立叶变换中红外漫反射光谱法同时对褐煤中的内水分、挥发分、含硫量、高位发热量、低位发热量和折合率6个指标进行了基于最小二乘法(PLS)的定量分析.结果显示,内水分、
本文的主要目的是讨论不可压缩粘性流体的Navier-Stokes方程的数值模拟.本文所用的方法足对时间用一阶精度算子分裂离散化,对空间度是用Uzawa方法对L2-投影及日H-投影求解Sto
以SO2-4/ZrO2为催化剂,在无溶剂条件下,丙醛与丙二酸发生Knoevenagel缩合反应合成了E-2-戊烯酸.结果表明,SO2-4/ZrO2对丙醛与丙二酸的Knoevenagel反应具有很高的催化活性,n(
对属性值为区间数的多属性不确定性决策问题,先由区间数向量定义四组实数向量,然后利用实数状态变权向量和上述四组向量导出相应的区间数状态变权向量,由此得出区间数变权公
目的探讨低剂量率中子长期照射对大鼠外周血细胞亚群的影响。方法96只雄性大鼠分为对照组和照射组，照射组每天用低剂量率中子^252Cf（吸收剂量率为0．35mGy／h）照射20．5h，在照射的第14
基于双光子吸收三维光存储技术和现有CD/DVD的高精度聚焦、循道伺服控制技术,搭建了一套与CD/DVD相兼容的信息存储系统.该系统通过DA输出选层信号控制音圈电机,实现多层读写.