幂集上开启算子的结构

讨论了交换群G的幂集P（G）上开启算子的构造问题,找到了一般开启算子可表示为若干基本开启算子复合的条件：定义了算子的下控开启算子：并给出了重要的Matheron第二结构定理的一种新的证明。     

Z2r上的Duadic码

设G为有限阿贝尔群,群环Zpr[G]中的理想称为Zpr上的阿贝尔码.对G的任意子集X,由离散Fourier变换和根定义Zpr[G]中的一个理想IX.对于G的m-劈分定义四类码,这些码中的任一个码都称为Zpr[G]中的m-adic码,在此定义的基础上,给出Z2r上Duadic码存在的充分必要条件.     

随机多面骨牌链基尔霍夫指标的数学期望

令G为一个图.图G的基尔霍夫指标定义为图G中所有顶点对之间的电阻距离之和.本文给出了计算随机多面骨牌链基尔霍夫指标期望值的公式,并刻画了随机多面骨牌链基尔霍夫指标期望值极值情况.     

拓扑空间中的G邻域

在拓扑空间中,以G方法及G闭集为基础,讨论G邻域及点的G连续性的一些性质,并给出几个例子以计算拓扑空间中的G闭集、G开集及G邻域等,加深了对G方法的认识.     

基于角色的访问控制中的安全三原则

定义了RBAC中的主要概念并对主要的关系给出了必要的形式化描述.与典型的RBAC的定义不同,将RBAC的核心概念角色定义为包括任务在内的一个四元组,进而提出任务是分析实现RBAC系统的基础.提出角色中任务的行为闭集和数据闭集的概念,它们分别被定义为角色内完成某任务所需的最小行为集和最小数据集.由于权限被定义为从行为集到数据集上的两元关系,因此将角色的行为闭集和数据闭集组成的两元组与系统所给的权限集取交集便得到角色的最小权限集.提出互斥的权限来自于互斥的任务,定义了互斥任务的概念,而完成互斥任务的行为和数据所形成的权限便是互斥的权限,同时正是基于角色中任务的行为闭集和数据闭集,给出了互斥权限的界定及其传递的性质.这样也尽可能地避免了因互斥权限的传递性而造成的互斥权限被扩大的情况.     

随机环境中马氏链的瞬时性与闭集

讨论了随机环境中强π-不可约的马氏链瞬时性判定的一个充分必要条件,并且给出了随机环境中的马氏链在一定条件下是瞬时链和一致瞬时链的一个充分条件,提出了关于BN中闭集的概念,指出当π为不变测度时,若πBC=0,则存在B0∈BN,使B0 B,且B0为闭集.     

随机赋范模中的分离定理

证明了如下基本的分离定理——设(S，H)为任一随机赋范模．G为S中的任一模凸闭集，po∈S\G，那么存在S上一个几乎处处有界的随机线性泛函f使得(Ref)(po)＞∨{(Ref)(g)|g∈G}。     

关于交换群的单个公理Ⅴ

本文的目的是给出三个新的表征交换群的单个公理。它们与已知的表征交换群的一些单个公理都不相同(看[1]、[2]、[3]、[4]、[5]、[6]、(7]、[8])。假定(G,·)是一个广群。这时可以利用运算.给G定义一个新的运算0:aob=a·[(b.b)     

R~d上非负随机闭凸集的强大数定律

Kendall的Foundatioas of a theory of random sets(1973)一文与Matheron的《Random sets and Intergal Geometry》《1975》一书,为随机集理论奠定了基础.继他们之后,随机集理论的研究开始逐渐受到人们的注意.1975年,Artstein与Vitale证明了:若R~d上定义在同一概率空间上的独立同分布随机紧集列S_1,S_2,…满足     

非线性积分算子

1、П.С.Урысон(П.С.乌里松)算子设 G 为有限维空间的有界闭集,K(s,t,u)(s,t∈G;-∞相似文献   

广义扭Schrdinger-Virasoro代数的自同构群

给出了广义扭Schrdinger-Virasoro代数的定义,它是Schrdinger-Virasoro代数的一个变形.设F是特征为零的代数闭域,F的任意加法子群G都对应一个F上的广义扭Schrdinger-Virasoro代数[G].首先研究了[G]和[G′]同构的充要条件,然后重点研究了[G]的自同构群,构造了[G]的3个具体的自同构子群,发现[G]的自同构群就是这3个自同构子群以及内自同构群的半直积.     

一个随机不动点定理

利用文[1]在赋范线性空间E中定义的半序及由半序引出的锥,得到了Banach空间中随机单调增算子的一个随机不动点定理.     

一个随机不动点定理

利用文[1]在赋范线性空间E中定义的半序及由半序引出的锥,得到了Banach空间中随机单调增算子的一个随机不动点定理.     

图的联结数与分数[a,b]-因子存在性

设G是一个简单无向图,G的联结数定义为bind(G)=min|NG(X)||X|:Ф≠X V(G),NG(X)≠V(G)研究了图的联结数bind(G)与图的分数[a,b]-因子之间的关系,给出了图有分数[a,b]-因子的若干充分条件.     

广义扭Schr(o)dinger-Virasoro代数的自同构群

给出了广义扭Schr(o)dinger-Virasoro代数的定义,它是Schr(o)dinger-Virasoro代数的一个变形.设F是特征为零的代数闭域,F的任意加法子群G都对应一个F上的广义扭Schr(o)dinger-Virasoro代数tgsv[G].首先研究了tgsv[G]和tgsv[G′]同构的充要条件,然后重点研究了tgsv[G]的自同构群,构造了tgsv[G]的3个具体的自同构子群,发现tgsv[G]的自同构群就是这3个自同构子群以及内自同构群的半直积.     

模糊拟阵闭集的性质

本文首先给出了模糊拟阵闭集的等价定义,找到了模糊拟阵的闭集族和它的导出拟阵的闭集族之间的关系,同时在拟阵的闭集定理和模糊拟阵的闭包公理的基础上得到了模糊闭集定理,进一步由格的定义证明了模糊拟阵的闭集族和它的r水-平集是格.     

一类中立型随机泛函微分方程的稳定性

给出了一类中立型随机泛函微分方程的随机一致稳定性的充分条件,并利用弱增的Li-apurov函数,得到了同样的结论,但减弱了条件,推广了文[1]、[2]中类似的结果.     

一类相关随机游动的极限性质

相关随游动是随机游动的一个重要分支。本文提出并研究一类推广的相关随机游动,给出了定义,在[7]判定常返性准则的基础上,进一步对非常返情形讨论其极限性态,证明了当α>1-β时,lim S_n=+∞,a.s.;当α<1-β时,lim S_n=-∞,乏a.s.. 并且在一定条件下,讨论了相应于这类随机过程的差分方程的扩散逼近,得到其极限形式为Fokker—Plank的具有趋向的扩散方程,指出其解为一Brown运动,从而推广了[2] 的相应结果。     

拓扑的非标准定义

目的用非标准分析的方法给出拓扑的定义。方法在扩大模型下,利用转换原理,通过定义邻域系单子给出拓扑的定义。结果这种貌似离散的非标准定义与一般的拓扑定义是一致的。在此基础上,定义了闭集、分离性及紧性,讨论了闭集、分离性及紧性的一些相关性质。结论充分体现了非标准分析方法的“貌似离散,实则连续”、简洁直观的特点。     

强F_1连通的新特征

在LF-拓扑空间中,文[2,3]引进了强F1连通的概念,并研究了其基本性质.本文利用层次闭集和层次开集给出了强F1连通的若干新特征.