关于Q_右析取语言

本文讨论了由句法右同余导出的两个反AFL即Q_-和A_-右析取语言族的性质其之间的关系。若R(L)≠φ,则L是Q_-右析取语言当且仅当R_L是R_(ees)右同余。而对及有限语言L是Q_-(A_-)右析取语言等价于说L是关于前缀序的一个有限(完全)链。     

Ⅰ-析取ω-语言的几个性质

主要证明了X^ω在中不存在极大和极小Ⅰ-析取ω-语言,提出Ⅰ-析取辖区概念并证明其是稠密语言．     

完全f—析取与拟完全f—析取语言

给出了完全ｆ－析取语言和拟完全ｆ－析取语言的定义，讨论它们的代数性质。     

拟稠密语言和拟Rf—析取语言

本文基于rf——析取语言类扩充问题的讨论,引进了拟稠密语言和拟rf——析取语言,研究了它们的特征性质,并给出一些初步结果。     

一致左F—析取语言

令X为由有限字母表生成的自由么半群.X的元素称作字,X的子集称作X上的语言.语言称作析取的当且仅当其句法同余为恒等的.语言A称作F—析取的当且仅当其每一个句法同余类仅包含有限个词.Shyr,H.J.在中主要考察了析取语言类.Guo,Y.Q.等在中主要考察了F—析取语言类.在此基础上,本文考察一致左F—析取语言类.     

I-析取ω-语言的几个性质

主要证明了在Xω中不存在极大和极小I-析取ω-语言,提出I-析取辖区概念并证明其是稠密语言.     

左消语言与析取语言及其推广的乘积性质

 主要解决了左消语言与析取语言及其推广的乘积是何种语言的问题.首先,证明了:当X是左消语言,Y是任意语言时,XY的主同余包含在Y的主同余中.在此基础上得到了如下关于析取语言及其推广的一些结论:当X是左消语言,Y是析取语言或是其推广时,XY也是相应的同类语言.     

a~*上的P-n-右析取语言

主要研究了包含一个字母的字母表上的P-n-右析取语言,证明了A■a~*不是P-n-右析取语言的等价条件,并给出了判断Aa*是P-n-右析取语言的条件。     

Fuzzy析取语言的若干结果

[1]中刻划了 F-正则语言的代数特征,并讨论了某些代数性质,本文继续[1]的工作,定义了 F-析取语言,并用 F-代数结构的方法刻划了 F-析取语言的某些特性.     

Fuzzy稠密语言

在《Fuzzy析取语言的若干结果》一文中,作者给出了F-析取语言的定义,并用F-代数结构的方法刻划了F-析取语言的某些特征。本文进一步讨论了F-析取语言的某些性质,并定义了F-稠密语言,讨论了F-稠密语言与F-析取语言之间的关系,最后给出了F-稠密语言的F-析取2分解。     

h-1保持各种独立语言的条件

设h：X＊→X＊是同态映射,主要研究了h-1保持各种独立语言的条件.得到了h-1保持ρc-独立语言,ρd-独立语言以及ρb-独立语言的充分必要条件都是h-1（1）={1}.此外,证明了若h：X＊→＊是同态映射,则h-1保持ρe-独立语言.     

初谈维吾尔语与乌兹别克语元音区别

本文主要从比较语言学的理论和研究方法去研究和比较维吾尔语和乌兹别克语中元音的不同,两种语言元音较突的特点和区别。     

时间隐喻的类型学试析——以汉藏语系语言为例

汉藏语系若干语支的代表性语言——汉、景颇、藏和傣等语言都有“空间隐喻时间”的共性，在时间类型上都有以下五种：1．时间是空间；2．时间是动体；3．时间是容器；4．时间是距离；5．时间是特征。同时这些时间隐喻又具有个性，在词汇层面上各具特色：第一，所选的少数民族语时间词形态理据较为明显；第二，所选的少数民族语更倾向于将时间拟人化；第三，汉语和藏语的时间隐喻在纵向维度上比景颇、傣语的丰富；第四，所选的少数民族语中许多表示时间的词语是自然特征的借代。     

有限选择规划的一个等价线性规划

本文对有限多个多面体的并集的凸包给出了一个线性公式,并且对给定的有限选择规划构造了一个等价的线性规划。     

量子语言的一些性质

给出了不同输入字符集上两个q 自动机张量积的定义,研究了不同输入字符集上两个q 自动机的张量积识别的语言.同时讨论了η 量子语言和广义η 量子语言,给出了η 量子语言和广义η 量子语言的一些性质.     

转折性词语在取舍句中的作用及出现条件

对于取舍句，转折性词语的使用有激活选中项和舍弃项对立性的作用，同时也可强化主体对舍弃项的反驳功能。转折性词语的添加与取舍行为是否接近人们的普遍认知有关。     

基于析取图的集束型设备建模与调度方法

针对处理腔带有缓冲且能处理不同种类晶圆产品的单臂集束型设备调度问题,提出了基于析取图模型的分枝搜索调度方法.首先将问题转换为单机调度问题,建立析取图模型,采用分枝的方法获得可行解空间.然后在此基础上,提出以最小完工时间的机械手最优动作序列为目标的分枝搜索算法.最后对调度算法进行了仿真实验分析.结果表明,该算法有效可行,同时说明了处理腔带输入、输出缓冲的集束型设备对于满足不同种类晶圆的生产、提高生产能力均具有较好的效果.     

命题逻辑中主范式的求法

求主析取范式包括真值表法、推演法以及用真值表法求，G的主析取范式、用推演法求G的主合取范式等四种方法。用极小项的性质给出了真值表求法的证明，用公式相等的定义证明了求，G的主析取范式的定理。