L-fuzzy拓扑空间中的可数＊超仿紧性

以＊超仿紧性为背景,介绍了可数＊超仿紧性的定义,并刻画了其基本特征.深入研究了L-fuzzy可数＊超仿紧性的性质,并证明了可数＊超仿紧性是＂L-好的推广＂.     

Hilbert C~*-模上的算子值框架及分解

已知A是含单位的C*-代数,在文中仅在标准模HA=l2(A),以及其子模H0上讨论,主要给出了判定某序列{Aj}j∈J B(HA,H0)是算子值框架的一个等价命题,以及利用算子理论中有关算子的分解,从而得到框架的相关分解的命题.     

一种基于WF-Net中隐含任务的过程挖掘算法

首先分析WF-Net中存在的隐含任务问题,然后基于α算法,提出了能发现工作流日志中隐含任务的过程挖掘算法α＋＊＊。该算法利用任务间特定的相互依赖关系判定是否存在隐含任务,然后把隐含任务添加到对应的位置生成新日志。最后采用α算法从新日志中提取出工作流网。利用ProM对本算法进行了验证。     

Mn半群的一些子半群

本文研究了全体n阶矩阵Mn关于乘法的半群的一些子半群.主要证明了以下结论：全体n阶对角矩阵Dn是Mn的一个子半群,是正则＊-半群,是一个逆半群,是一个完全正则半群;Qn={Eij│i=1,2,…,n;j=1,2,…,n}∪{0}是Mn的一个子半群,是正则＊-半群,是一个逆半群.     

基于L^＊-格值逻辑上的直觉不分明化群

在L^＊-格值逻辑的语义框架下,以L^＊-格值上的Lukasiewicz蕴涵算子为工具,定义了L^＊-格值逻辑上的直觉不分明化群的概念,将用集论所刻画的群的概念及相关性质在L^＊-格值谓词演算下给予了新的刻画,讨论了直觉不分明化群的有关性质。     

关于具有σ-局部有限cs-网的空间

利用σ-映射与m ssc-映射建立了具有σ-局部有限cs-网、σ-局部有限cs＊-网的空间以及X-空间与度量空间确定映象之间的联系,得到了具有σ-局部有限cs-网空间的一些等价条件.     

Arduino机器人巡迹走迷宫A~*算法研究

在Arduino巡线小车机器人制作的基础上,结合C++语言完成了机器人小车向心迷宫搜索和A*迷宫求解过程.并研究了巡迹走迷宫机器人的制作方法及软件开发。具有开发灵活、易于实验的优点.     

局部可分度量空间序列商映象

文章利用加细的概念给出了局部可分度量空间的π象的一种刻画,证明了空间是局部可分空间的序列覆盖π象当且仅当X具有可数纤维的cs加细构成的点星网。     

π^＊-半群

本文给出了π^＊-半群的概念,证明了π^＊-半群是正则半群;π^＊-半群可以不是纯正半群,可以不是弱正则＊-半群．存在π^＊-半群无法重新定义＊运算使之成为弱正则π^＊-半群．     

卸荷岩体锚固失效研究

介绍了边坡的分类以及在边坡支护中主要用到的支护方法。其中预应力锚索由于具有良好的工作性能而被广泛的应用在工程实践中。岩石锚固是预应力锚固技术应用中的一个重要组成部分,而其锚固效应的成败直接决定了边坡支护的成败。影响预应力锚索锚固效应的因素很多,如:岩体的应力状态、岩体岩性、锚固时间等。对卸荷岩体提出了其复杂的应力状态对锚固技术的影响。