一致左F—析取语言

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

关于Q_右析取语言

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

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

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

P-n-右析取语言的相关性质

主要研究了P-n-右析取语言的一些相关性质，给出了P-n-析取辖的定义，得出了P-n-析取辖是稠密语言等结论。     

Fuzzy析取语言的若干结果

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

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

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

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

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

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

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

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

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

一个f-析取的上下文无关前缀码

本文作为文献[1]中讨论的 f—析取语言的一个注记,构造出—非析取的 f—析取的上下文无关前缀码。     

f—半单纯近环的结构定理

定义了比近环的素理想象加广泛的一类理想－近环的ｆ－素理想,从而给出了近环中理想的ｆ－要及近环的ｆ－根等概念,得到了ｆ－半单纯近环的结构定理,即：ｆ－半单纯近环是ｆ－素近环的一个亚直积。     

关于d-析取矩阵看作d-m析取时容错和纠错能力增强的讨论

分别利用单纯复形、完全图中的匹配、t-填充和有限域上的辛空间、酉空间讨论了d-析取矩阵看作是d-m析取时的容错和纠错性,证明了当d减小时,它们的容错和纠错能力可显著增强.     

Fuzzy稠密语言

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

加法可逆半环的f—正则根

该文在加法可逆半环中建立ｆ－正则根的概念，证明了ｆ－正则法环和ｆ－正则半单半环的结构定理，作为其应用，证明了交换ＶｏｎＮｅｕｍａｎｎ正则和交换ＶｏｎＮｅｕｍａｎｎ正则半单环的结构定理，并且得到交换环的Ｊａｃｏｂｓｏｎ根和半单环的新刻划。     

强本原字及强本原字语言的非正则非f—析取性

本文给出了强本原字的特征性质,并证明了强本原字的非正则非 f—析取性     

完全Lp－有界函数

定义于区间Ｉ＝［－１，１］上的实值函数ｆ，若它的一切Ｌａｇｒａｎｇｅ插值多项在Ｌｐ范数下一致有界，则称ｆ为完全Ｌｐ－有界函数。本文引入这一概念并讨论其性质。     

K1,n—free图的f—因子

图Ｇ称为Ｋ１,ｎ－ｆｒｅｅ,若图Ｇ不包含同构于Ｋ１,ｎ的导出子图。设ｆ（ｘ）是定义在Ｖ（Ｇ）上的非负整数函数,Ｇ的一个支撑子图Ｆ称为Ｇ的一个ｆ－因子,若对任意的ｖ∈Ｖ（Ｇ）有ｄＦ（ｖ）＝ｆ（ｖ）,对Ｋ１,ｎ－ｆｒｅｅ图存在ｆ－因子涉及到最小度条件进行了研究,得到了一个充分条件。有关定理为本定理的特例。     

极小完全Hausdorff空间

本文给出了极小完全Ｈａｕｓｄｏｒｆ空间的一个等价命题,由此得出极小完全Ｈａｕｓｄｏｒｆ空间为ｆ－闭空间,并给出了极小完全Ｈａｕｓｄｏｒｆ空间的映射性质和乘积性质．     

基于IL的遗产软件规约析取算法研究

提出了一种基于中间语言IL(Intermediate Language)的遗产软件代码解析方法,所提方法从程序集信息解析、定位数据流,通过层次扫描方式从数据流分析程序框架的属性、类、函数、结构等软件要素,从代码语义等价地析取包括分支结构、控制结构和循环结构组成的基本结构集。实验结果表明所提方法能够有效地解析出Dot Net遗产代码的语义,可实现遗产代码的复用和集成。     

与路2—正交的（g,f）—因子分解

设ｇ和ｆ分别是定义在图Ｇ的机点集合Ｖ（Ｇ）上的整数值函数且对每个ｘ∈Ｖ（Ｇ）有４≤ｇ（ｘ）≤ｆ（ｘ）。证明了若Ｇ是一个（ｍｇ＋ｍ－１,ｍｆ－ｍ＋１）－图,则对Ｇ中任意给定的长为２ｍ的路Ｐ,Ｇ有一个（ｇ,ｆ＿－因子分解２－正交于Ｐ。