稠密正规语言的S．Y猜想的一些等价刻划

一个语言称为正规的如果它可被一台有限自动机识别,一个语言称为稠密的如果每个字都是该语言中某个字的一个小字,一个非空字称为本原的,如果此字不是其他任一字的幂,否则称此非空字为非本原字,Shyr和Yu在[3]中给出如下猜想：每个稠密正规语言都包含一个非本原字,如果能给出S．Y猜想在半群理论及码论中的等价陈述,则可把稠密正规语言的问题归结为半群理论及码论中的问题,从而为解决S．Y猜想提供了更多的途径。     

一类收敛序列空间上的无穷矩阵变换

对于Banach空间上的一类经典向量序列空间,确定了一类重要的子集称为一致收敛子集,它包括了该序列空间的全部全有界集及许多非全有界集.利用Antosik-Mikusinski基本矩阵定理和该子集族,对于一类映射矩阵,获得了一系列矩阵变换定理,并且给出了一类无穷矩阵变换的刻划.补充和完善了非线性矩阵变换定理.     

DOEBLIN链的随机矩阵的极限

在研究Doeblin链的随机矩阵的极限性能的基础上,应用尾σ域的结构来研究Doeblin介绍的一类非齐次马尔可夫链模型的极限性质。     

L-fuzzy保序算子空间的基数函数

在L-fuzzy保序算子空间中引入ω-权,ω-特征和ω-稠密度这三个基数函数的概念,系统的讨论了这些概念的基本性质和它们之间的联系,从而推广了一些已有的结论。     

临床数据中挖掘关联规则算法的选用

对典型的挖掘关联规则的Apfiori算法和FP-growth算法进行比较分析．然后，结合临床数据的特点，建议在临床数据关联规则挖掘中采用FP-growth算法。     

GFC-空间中的参数型KKM定理及其应用

首先证明了GFC-空间的一个特征性质,然后通过引进线性序空间,在非紧的GFC-空间中证明了一个参数型KKM定理.应用参数型KKM定理得到了一些新的非紧的极大极小不等式.     

基于TCB子集的访问控制信息安全传递模型

综合考虑应用层向内核层传递访问控制信息的安全需求,提出了一种基于TCB子集的访问控制信息安全传递模型。应用层安全管理器与内核层安全管理器通过安全通路相联,安全通路为已加密状态,密钥存放在可信平台模块TPM(trusted platform model)中,访问控制信息进入安全通路前必须通过TPM的控制处理;安全通路解密后应用层安全通路接口把访问控制信息和校验标签传到内核层安全通路接口,随后应用层接口进行随机抽查,内核层接口返回验证证据并由应用层接口判断数据真实性和有效性。安全传递模型不仅可以有效地保证访问控制信息的安全性,还可以抵抗恶意欺骗和恶意攻击从而提高了访问控制的可靠性与有效性。     

环的子集的交换化子的性质

设R为一个环,S是R的非空子集.证明了如下结果:1)设R为Abel环,a∈CS(R).若a在R中是von Neumann正则元,则a在CS(R)中也是von Neumann正则元;2)设Ε(R)■S,且R为von Neumann正则环,则CS(R)是von Neumann正则环;3)设Ε(R)■S,且R为VNL环,则R不能表示成理想的直和当且仅当CS(R)为局部环.     

关于确定有穷自动机最小化算法的注记

《程序设计语言编译原理》给出了确定有穷自动机(以下简称为DFA)最小化的算法.步骤1 构造DFA M 状态集S的分划Ⅱ.该分划是由若干个不相交的状态子集所组成,并且任何不同的两子集的状态都是可区别的,而同一子集中的任何两个状态都是等价的.其构造算法如下:BEGIN