Topology vs generalized rough sets

This paper investigates the relationship between topology and generalized rough sets induced by binary relations. Some known results regarding the relation based rough sets are reviewed, and some new results are given. Particularly, the relationship between different topologies corresponding to the same rough set model is examined. These generalized rough sets are induced by inverse serial relations, reflexive relations and pre-order relations, respectively. We point that inverse serial relations are weakest relations which can induce topological spaces, and that different relation based generalized rough set models will induce different topological spaces. We proved that two known topologies corresponding to reflexive relation based rough set model given recently are different, and gave a condition under which the both are the same topology.     

模范畴Recollement的Koenig定理

Koenig定理描述了环的导出范畴允许recollement的一个充分必要条件.本文给出环的模范畴版本的Koenig定理及其应用.应用一是可以导出Morita等价定理,应用二是可以描述三角矩阵环与模范畴的recollement之间的密切联系.     

Fuzzy closure systems on L—ordered sets

In this paper, notions of fuzzy closure system and fuzzy closure L —system on L —ordered sets are introduced from the fuzzy point of view. We first explore the fundamental properties of fuzzy closure systems. Then the correspondence between fuzzy closure systems (fuzzy closure L —systems) and fuzzy closure operators is established. Finally, we study the connections between fuzzy closure systems and fuzzy Galois connections. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

形式三角矩阵环上的有限表示模

形式三角矩阵环,又称广义三角矩阵环,这类环及其上的模在环模理论中扮演着重要的角色.本文对形式三角矩阵环上的有限表示模进行了一些探讨.     

Caristi 不动点定理的推广及应用

本文推广了古典的Garisti不动点定理,作为应用,古典的Ekeland变分原理得到了推广,并且证明了推广的Garisti不动点定理和推广的Ekeland变分原理是等价的．     

概率约束规划逼近最优解集的上半收敛性

本文讨论了概率约束规划目标函数的连续收敛性,并利用概率测度弱收敛的特征给出了概率约束规划可行集的收敛性条件,得到了概率约束规划逼近最优解集的上半收敛性.     

非退化扩散过程的水平集和极集

设X(t)(t∈R )是一个d维非退化扩散过程．本文得到了比原有结果更一般的非退化扩散过程极性的充分条件,证明了对任意u∈Rd,紧集E(0, ∞),有若d=1,则对任意紧集F(?)R, 若d≥2,则对任意紧集E ∈(0, ∞), 其中B(Rd)为Rd上的Borel σ-代数,dim和Dim分别表示Hausdorff维数和Packing 维数．     

确定线性偏微分方程组可积系统的对合特征集方法

基于Ritt-Wu特征集方法和Riquier-Janet理论,给出一种将线性微分方程组化成简单标准形式的有效算法．该算法通过消去冗余和添加可积条件获得线性微分方程组的完全可积系统(有形式幂级数解)或不相容判定．该算法不仅适用于常系数的线性偏微分方程组,而且对于变系数(以函数为系数)仍然有效．作者还给出了完全可积系统判定定理及其严格证明．     

F_2+vF_2上的循环码

本文研究了环F_2+vF_2上的循环码.利用标准形生成元集刻画了环F_2+vF_2上的循环码的代数结构,证明了环F_2+vF_2上的每一个非零的循环码均有唯一的标准形生成元集,进而得到了每一个循环码均是由一个多项式生成的.     

(s,l)-叠加码的构作及其性质

一个二元叠加(s,l)-码在许多领域有着极为广泛的应用.利用有限集[n]的子集构作了一个(0,1)-矩阵C,并证明了它是一个(s,l)-码,给出了(s,l)-码的性质.