基于凸闭包集的不规则三角网算法研究与实现

不规则三角网是影响土石方量计算的关键问题之一，虽然目前已有大量研究人员对Delaunay三角网进行优化，但仍然缺少对三角网生成速率和计算精度的综合研究。针对此问题，基于VB.NET平台的点、边以及三角形的结构化数据结构设计快速生成凸闭包集形成Delaunay三角网，通过四边形空圆特性以及对角线最短原则对构网结果进行检验和优化。试验计算表明，该算法的计算结果与经典DTM法、方格网法的土方量计算相对误差均在0.30%以内。该方法不仅具有较高的组网效率，并能保持较好的计算精度。     

模糊聚类分析和排序在研究生招生中的应用

模糊聚类分析按一定要求和规律对模糊性问题加以处理,通常先建立模糊相似关系而后按实际要求进行分类。文中针对研究生招生工作,组建模糊数学模型,在用传递闭包法求得聚类顺序的基础上,根据"物以类聚"的思想,提出了基于模糊聚类的两种多指标综合排序方法,为以后解决同类问题提供了新思路。     

基于球向量机的QAR数据特征提取方法

飞行安全是飞行运输中的一个重要课题,对飞行纪录数据进行分析是判明飞行事故原因的重要依据,所以对飞行记录数据进行数据挖掘则成为一种有效的飞行监控技术。该文针对具有高维特征和大样本数据集的飞行纪录的飞行纪录数据学习问题,提出了一种新型的判别异常飞行事件的特征提取方法,并通过实验表明该方法对某一机型的飞行纪录数据取得了良好的实验结果。     

Web服务请求输入闭包与可满足性分析

大规模服务库的快速服务组合方法是当前研究的难点,研究快速的服务请求可满足性判定方法与服务集优化方法是解决该类问题的有益探索.通过引入Web服务请求输入闭包概念,论证了一种服务请求可满足性判定方法和Web服务集优化方法,并通过实验分析了领域属性总数与服务总数的比值对用户请求可满足性及服务集优化效果的影响.提出了最小用户代价输入集的概念,给出了一种近似求解最小代价输入集的贪心算法.     

置换群子集的正规闭包的生成算法

给出了置换群子集的正规闭包的生成算法。     

拟R0分离公理及其在模糊信息理论中的应用

为改善传统分离公理在分析数据融合层次中的局限性,扩大数据融合表达具体问题的范围,运用拓扑结构分析模糊信息的融合层次,表达特定命题,提出拟R0分离公理.利用拟闭包及拟内核刻画拟R0分离公理,讨论拟R0分离公理和拟分离公理间关系.拟R0分离公理使数据融合层次的分析更灵活,对具体问题的反映更可靠.     

推理闭包系统的一些性质

证明了对于一个给定的非空集合X,可以在RCL（X）（X上的推理闭包算子的全体）、R IN（X）（X上的推理内部算子的全体）、ROU（X）（X上的推理外部算子的全体）、RB（X）（X上的推理边界算子的全体）上定义适当的序关系,使它们与（RCS（X）,真包含）序同构,其中RCS（X）是给定集合X上的推理闭包系统的全体.     

XML强闭包依赖范式的研究

为了解决从数据库整体的角度来消除基于不完全信息的XML数据冗余问题,研究了在不完全信息环境下XML数据库的各个模式之间存在的XML强闭包依赖引起数据冗余的判定条件和规范化算法.首先,给出了XML强函数依赖和XML强闭包依赖两者互不影响的定义;其次,提出了XML强函数依赖和非循环XML强闭包依赖互不影响的判定定理,研究了XML强闭包依赖范式以及相应的判定定理;最后,提出了把XML数据库模式转化为XML强闭包依赖范式的规范化算法,对时间复杂度进行了分析.该算法消除了冗余路径,避免了更新异常,实现了整个XML数据库模式更合理的设计.     

偏序时态模式下规范覆盖问题*

目前有效的多时间粒度时态数据库设计方法多针对全序时态模式,当时态模式的时态类型集为偏序集时,由于涉及时态类型间的最大下界等操作而使其难以实现。针对偏序时态模式的规范覆盖问题进行研究,提出了偏序TFD（时态函数依赖）集有限闭包、偏序模式属性集有限闭包、偏序无冗余覆盖和偏序规范TFD集等概念,解决了偏序TFD成员籍问题;并给出了偏序TFD集的规范覆盖算法,对其正确性进行了证明,对算法的时间复杂度进行了分析。为偏序时态模式的综合范式分解问题研究奠定基础。     

L-fuzzy闭包算子及其等价刻画

借助L-fuzzy映射和L-fuzzy集的像,给出了由L-fuzzy映射诱导的L-fuzzy闭包算子及其等价刻画.当L为有限分配格时,讨论了代数的L-fuzzy闭包算子及其所诱导的闭包系统的等价刻画.