具有预序结构的Fuzzy拓扑共生空间的连续性

本文将非空通常集 X 上的 Fuzzy 拓扑共生结构与预序结构有效地结合起来,讨论其相互联系。给出了具有预序结构的 Fuzzy 拓扑共生空间的连续性的定义,并得到若干有关性质.     

完全分配格上拓扑共生结构的运算

本文讨论了完全分配格上拓扑共生结构的下述内容:(1)L上半拓扑生成序(?)及论(?)~q,(?)~p(?),(?)~b 的构造;(2)L 上拓扑共生结构S 及S~p,S~(?),S~b 的性质;(3)L 上拓扑共生结构的交并运算;(4)L上全体拓扑共生结构S(L)关于拓扑共生结构的交并运算成完备格.     

Dcpo上的辅助序与拓扑

目的讨论Dcpo上的辅助序与拓扑的关系。方法利用映射的复合。结果通过映射建立了Dcop上的辅助序与拓扑之间的联系。结论可以由Dcop上的一个逼近的辅助序通过映射构造出一个拓扑,反过来,通过一个拓扑也可以构造出一个辅助序,从而把辅助序和拓扑联系起来。     

MV代数的序拓扑和区间拓扑

研究了MV代数的区间拓扑和序拓扑及MV代数下的拓扑紧性、连结性、完备性和全序性.通过序收敛的性质和基与子基的概念分别探讨了MV代数及其运算在序拓扑和区间拓扑下的性质,并且把标准MV代数的基本性质推广到了一般意义下的MV代数.研究表明,MV代数中的运算在这两种拓扑下连续,当且仅当进行运算的元之间满足一定条件.     

Fuzzy拓扑共生结构的象

A.K.Katsaras和C.G.Petalas在提出Fuzzy半拓扑生成序的概念的基础上建立了Fuzzy拓扑共生结构基础理论。本文在此基础上首次给出了L-Fuzzy半拓扑生成序在满映射下的象和局部L-Fuzzy拓扑共生结构的定义。并得到了一些基本性质,进而讨论了L-Fuzzy拓扑共生结构的象以及相关的性质。     

线性序拓扑空间中的子空间与子序空间

R.Engelking在《General Topology》中讨论了线性序集的序拓扑的子空间和子序空间的关系,指出两种子空间是不同的,并给出了它们同胚的一些充分条件。本文给出了它们同胚的充要条件;证明了任何可数线性序空间与有理数的某个子空间同胚,且举例说明对非可数线性序集并没有类似结果。最后证明了良序集和实数集合具有序拓扑遗传性。     

完全分配格上半拓扑生成序的加细及其性质

Ｚ．Ｗ．Ｍｏ（ＦｕｚｚｙＳｅｔｓａｎｄＳｙｓｔｅｍｓ，１９９５，７２：３６５）建立了完全分配格上的共生结构的一般理论，研究了余拓扑、拟一致和Ｔ结构的一致化结构问题．本文在此基础上引进了完全分配格上的半拓扑生成序加细的概念，研究了其性质，得到了一系列重要结论，为进一步研究完全分配格上的共生结构的加细奠定了基础．     

完全分配格上的拓扑共生结构

本文建立了完全分配格上点式拓扑学中一般的拓扑共生结构理论.研究了完全分配格上拟一致结构,T-结构,余拓扑的一致化问题.它是分明拓扑学,模糊拓扑学中拓扑共生结构理论的进一步推广,完善了完全分配格上的拓扑结构框架.     

求关系模式全部候选关键字理论和算法

本文研究了候选关键字之间的关联,定义了它们之间的等价关系,开发了直接导出和间接导出候选关键字的几个定理和从一个候选关键字导出所有候选关键字算法,并证明了它的正确性和完备性。     

Matlab在求候选关键字的替换算法中的应用

在关系模式分解和规范化过程中,候选关键字的确定具有重要意义。针对该问题利用Matlab对求给定关系模式R（u,F）全部候选关键字的替换算法进行了实现,测试结果表明,给出的Matlab函数代码简洁、运行速度较快,运行结果正确、直观且易于理解。     

关系模式中候选码数

本文研究了关系模式中可能出现的候选码数;候选码数与属性、函数依赖之间的关系;候选码数的极值问题.     

基于拓扑结构/自适应模糊决策的地图匹配算法

给出了基于节点信息的路网空间拓扑结构的具体描述形式．引入相关性概念，提出了一种基于道路几何信息的自适应模糊决策地图匹配算法．通过待配路段两两之间隶属度值的比较与模糊排序以及测度因子参数的适应性调整，使算法在道路几何分布复杂，且较为密集的区域，仍具有较强的适应能力．根据模糊决策后各路段隶属度值的分布情况，提出了将拓扑结构匹配算法划分为决策、校验、弃用等3个应用时段的拓扑结构／自适应模糊决策组合匹配算法的整体设计思路．对实际跑车数据的仿真处理结果表明，该算法较好地解决了地图匹配算法中相互矛盾的算法的计算效率与算法的可靠性之间的协调问题．     

基于超图的BCNF的判定算法

利用超图来表示关系模式．定义了直接决定因素、推导．讨论了直接决定因素的性质．在此基础上给出了利用超图判定给定的关系模式是否属于ＢＣＮＦ的新算法．     

标准函数依赖覆盖集及其求解算法

对函数依赖集进行优化数据库设计的重要环节。本文对数据库模式中函数依赖的标准函数依赖覆盖集进行了研究和对其内涵进行了分析,导出了求解标准函数依赖覆盖集算法,并给出了正确性证明。     

基于高速公路路网拓扑结构的可靠性分析

在高速公路网可靠性研究的基础上,给出了基于高速公路网拓扑结构的可靠性评价指标,并与图论相结合,提出了计算方法,同时依据山东省高速公路网的实际拓扑结构进行了可靠性的计算,得出该路网的异质性和连通可靠性一般,但时间可靠性较强。     

基于矩阵的依赖推导算法研究

给出了基于矩依赖推导算法，并可推导出的关系上能够保持的函数依赖集。     

一种基于超图的关系模式主属性判定算法研究

利用超图表示关系模式的ＦＤ集．定义了最大有向准路、严格准环和最大严格准环．并讨论了严格准环、最大有向准路的性质．在此基础上给出基于超图的关系模式主属性判定算法．进而给出了求出属性集的算法．     

基于节点密度法的连续体结构拓扑优化结果提取

研究影响拓扑优化结果提取的各类因素及解决方法.基于节点变密度法建立连续体结构拓扑优化模型,连续密度场在结构拓扑数学描述上抑制了棋盘格现象.采用密度过滤技术进一步提高密度场的连续性和光滑性,从而消除了网格依赖性现象.密度-弹性模量惩罚措施及两步过滤策略减少了中间密度节点数目并消除图像扩散现象.拓扑优化密度云图输出方式得到光滑的轮廓边界.通过二维经典拓扑优化数值箅例验证了方法的正确性.