关于剩余有限群的Profinite完备化

1

作者 刘合国 阚海斌 《数学年刊（A辑）》 CSCD 北大核心 2004年第3期383-388,共6页

设G是个剩余有限群,本文深入地讨论了G的Profinite完备化之间的关系。

关键词 剩余有限群 profinite拓扑 profinite完备化 profinite群

在线阅读 下载PDF 职称材料

拓扑空间的Z连续性与Z-Scott完备化

2

作者 张舜 王武 《浙江大学学报(理学版)》 北大核心 2025年第4期459-463,共5页

引入了Z连续空间和Z基概念,研究了拓扑空间的Z-Scott完备化。主要结论有:(1)T0拓扑空间X是Z连续空间当且仅当X有Z基;(2)Z连续空间的Z闭子空间是Z连续的;(3)任意T0拓扑空间存在Z-Scott完备化。

关键词 拓扑空间 Z连续空间 Z基 Z闭子空间 Z-Scott完备化

在线阅读 下载PDF 职称材料

基于基完备化理论和嵌入多层感知机的深度网络结构设计 被引量：5

3

作者 张毅锋 蒋程 +1 位作者 程旭 刘袁 《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2018年第5期933-938,共6页

为了进一步改善经典卷积神经网络的识别性能,首先证明了跨层传输实质上是基的完备化过程,然后基于多类型特征提取结构、嵌入多层感知机以及跨层传输结构提出一种新型深度卷积网络——期望网络.经分析发现,期望网络中的多类型特征提取结... 为了进一步改善经典卷积神经网络的识别性能,首先证明了跨层传输实质上是基的完备化过程,然后基于多类型特征提取结构、嵌入多层感知机以及跨层传输结构提出一种新型深度卷积网络——期望网络.经分析发现,期望网络中的多类型特征提取结构可提取不同类型的特征,嵌入多层感知机可生成期望图并标定不同类型特征的权重,跨层传输结构可缓解网络性能退化的问题.仿真实验结果表明,在数据集CIFAR-10、数据集CIFAR-100和数据集SVHN上,相比于ResNet网络、深度监督网络和Highw ay网络等经典深度卷积网络,期望网络的误识别率均有不同程度的下降. 展开更多

关键词 基完备化 期望网络 嵌入多层感知机 期望图

在线阅读 下载PDF 职称材料

连续量决策表的完备化分析 被引量：3

4

作者 高赟 侯媛彬 《仪器仪表学报》 EI CAS CSCD 北大核心 2005年第z1期904-907,共4页

根据粗糙集理论可以从一个信息表中获取决策表。如果决策表条件属性的值域是连续的,这样的决策表通常是不完备的。针对这一问题,给出了连续量决策表的完备性定义、完备性度量系数和空间描述法,并通过例子进行了说明。决策表的不完备会... 根据粗糙集理论可以从一个信息表中获取决策表。如果决策表条件属性的值域是连续的,这样的决策表通常是不完备的。针对这一问题,给出了连续量决策表的完备性定义、完备性度量系数和空间描述法,并通过例子进行了说明。决策表的不完备会导致决策失败,因此完备化是必不可少的。随着决策表维数增加,完备化的难度也随之增加,这是粗糙集理论应用于连续量系统的瓶颈问题。 展开更多

关键词 粗糙集理论 连续量 决策表 完备化

在线阅读 下载PDF 职称材料

度量空间中的拟近标准点及度量空间的非标准完备化 被引量：3

5

作者 陈东立 马春晖 史艳维 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2008年第3期10-12,共3页

研究了度量空间中的拟近标准点和度量空间的非标准完备化.在κ-饱和的非标准模型下,采用非标准分析方法,提出了度量空间中的拟近标准点的定义,得到了非标准度量空间中的点是拟近标准点的充要条件是它属于某一个标准点的每一个*-开球,证... 研究了度量空间中的拟近标准点和度量空间的非标准完备化.在κ-饱和的非标准模型下,采用非标准分析方法,提出了度量空间中的拟近标准点的定义,得到了非标准度量空间中的点是拟近标准点的充要条件是它属于某一个标准点的每一个*-开球,证明了度量空间的非标准完备化恰是该空间的非标准扩张中拟近标准点集的商空间. 展开更多

关键词 κ-饱和 拟近标准点 可数概括 非标准完备化

在线阅读 下载PDF 职称材料

基于入侵防御系统的完备化规则库 被引量：1

6

作者 王杰 郑晓 刘亚宾 《计算机工程与应用》 CSCD 北大核心 2009年第9期88-91,共4页

对于目前入侵防御系统(IPS)中规则库日益增大并且无法完备的特点,提出了一套完备化规则库系统。通过对网络操作行为的分解和对各种数据的挖掘,形成最基本最小的网络行为语言描述单元(网络行为描述DNA),再使用Teiresias进化算法对其进行... 对于目前入侵防御系统(IPS)中规则库日益增大并且无法完备的特点,提出了一套完备化规则库系统。通过对网络操作行为的分解和对各种数据的挖掘,形成最基本最小的网络行为语言描述单元(网络行为描述DNA),再使用Teiresias进化算法对其进行全局遍历性的组合,计算产生新的描述语言,进行可行性判断后,对可行的结果进行规则匹配并进行风险评估,产生新的防御规则,从而达到入侵防御系统规则库完备的目的。 展开更多

关键词 入侵防御 规则库 完备化 网络行为描述DNA Teiresias算法

在线阅读 下载PDF 职称材料

FZ-Domain的基与抽象基的RZ-理想完备化 被引量：3

7

作者 刘敏 赵彬 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第2期8-12,共5页

在FZ-Domain中引入FZ-定向基与FZ-抽象基的概念,研究了它们的RZ-理想完备化.证明了:对一类子集系统,一个FZ-Domain的FZ-定向基的定向RZ-理想完备化同构于该FZ-Domain;偏序集P是FZ-Domain当且仅当存在一个FZ-抽象基B使得P同构于B的定向的... 在FZ-Domain中引入FZ-定向基与FZ-抽象基的概念,研究了它们的RZ-理想完备化.证明了:对一类子集系统,一个FZ-Domain的FZ-定向基的定向RZ-理想完备化同构于该FZ-Domain;偏序集P是FZ-Domain当且仅当存在一个FZ-抽象基B使得P同构于B的定向的RZ-理想完备化. 展开更多

关键词 FZ-Domain 子集系统 FZ-基 FZ-抽象基 RZ-理想完备化

在线阅读 下载PDF 职称材料

基于多划分的不完备信息系统的完备化模型 被引量：1

8

作者 康向平 李德玉 李瑞萍 《计算机工程与设计》 CSCD 北大核心 2011年第9期3131-3134,共4页

针对信息系统中的数据缺失问题,提出了基于模糊关系的多划分技术,建立了一个基于多划分的不完备信息系统的完备化模型。在该模型中,将不完备信息系统分解,引入模糊聚类分析方法构建了一个信息完备化平台,该平台融合了不同用户的需求,而... 针对信息系统中的数据缺失问题,提出了基于模糊关系的多划分技术,建立了一个基于多划分的不完备信息系统的完备化模型。在该模型中,将不完备信息系统分解,引入模糊聚类分析方法构建了一个信息完备化平台,该平台融合了不同用户的需求,而非片面的依据某一个用户的喜好,使信息完备化结果更加合理。在信息完备化过程中,该模型考虑了属性重要性之间的差异,并赋予了相应的权值。该模型利用一些隐含在不完备信息系统中的有用知识为缺失信息的获取提供有效支持,是对传统模型"最高频率的属性值"的一个扩展。实例验证了该模型的有效性,该模型可以为不完备信息系统的完备化提供了可行的解决途径。 展开更多

关键词 信息系统 模糊关系 不完备信息系统 多划分 信息完备化平台

在线阅读 下载PDF 职称材料

不完备决策表的线性分段插补完备化方法 被引量：2

9

作者 高赟 《仪器仪表学报》 EI CAS CSCD 北大核心 2006年第z2期1140-1143,共4页

由连续量变量系统得出的决策表通常是不完备的,不完备的决策表是不能用来决策的,所以对其必须进行完备化处理。针对这一问题,提出了线性分段插补的完备化方法。对补入决策值的检验结果表明,该方法是可行的。

关键词 粗糙集理论 连续量决策表 完备化 决策值插补

在线阅读 下载PDF 职称材料

基于谱正则化算法的大数据矩阵完备化研究 被引量：1

10

作者 王金甲 闫利霄 洪文学 《燕山大学学报》 CAS 2014年第5期428-431,470,共5页

矩阵完备化是基于部分观测数据来完成全部矩阵预测的问题。随着互联网技术的发展,大数据时代的来临,大数据矩阵中大多数据依然是空白的,需要补充,即大数据存在矩阵完备化的问题。本文利用谱正则化模型和算法来解决大数据的矩阵完备化问... 矩阵完备化是基于部分观测数据来完成全部矩阵预测的问题。随着互联网技术的发展,大数据时代的来临,大数据矩阵中大多数据依然是空白的,需要补充,即大数据存在矩阵完备化的问题。本文利用谱正则化模型和算法来解决大数据的矩阵完备化问题,该方法将矩阵完备化问题整理成核范数最小二乘问题,再通过截断奇异值分解、软输入算法和硬输入算法给出了一系列正则化低秩解。最后基于实际的Netflix大数据的实验结果证明了本文的方法。 展开更多

关键词 大数据 矩阵完备化 谱正则化 核范数 截断奇异值分解

在线阅读 下载PDF 职称材料

基于粗糙集理论的不完备决策表的完备化方法 被引量：3

11

作者 刘文军 《长沙电力学院学报（自然科学版）》 2006年第4期60-64,共5页

首先针对不同的条件属性类型,分别给出两对象关于条件属性的相似度,然后给出了t相似度的概念,最后分别就条件属性是离散、连续、序数型的决策表给出了相应的完备化(补齐)算法.实例表明此完备化方法是行之有效的.

关键词 完备化 相似度 t相似度 t相似类

在线阅读 下载PDF 职称材料

偏序集的完备化与形式概念分析

12

作者 刘红平 李庆国 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2013年第8期110-113,共4页

借用形式概念分析中构造粗糙概念的方法,给出偏序集的几种完备化构造.然后由偏序集诱导一个形式背景,讨论该形式背景下的粗糙概念与完备化的关系.最后得到本文给出的完备化与经典的Dedekind-MacNeille完备化同构的结论.

关键词 偏序集 完备化 形式概念 粗糙概念

在线阅读 下载PDF 职称材料

模糊测度Shapley熵的完备化

13

作者 王国俊 宋建社 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第1期1-7,共7页

研究了模糊测度的Shapley熵的完备化问题.结果表明,具有完全不确定性的模糊测度虽然具有最大Shapley熵,但反之不真.通过例子表明具有最大Shapley熵的模糊测度可以远远不是完全不确定的;引入了与Shapley熵互为补充的分划熵,从而使Shaple... 研究了模糊测度的Shapley熵的完备化问题.结果表明,具有完全不确定性的模糊测度虽然具有最大Shapley熵,但反之不真.通过例子表明具有最大Shapley熵的模糊测度可以远远不是完全不确定的;引入了与Shapley熵互为补充的分划熵,从而使Shapley熵得到了完备化,称二者之和为绝对熵,证明了模糊测度是完全确定的或完全不确定的,当且仅当它的绝对熵相应地取最小值或最大值;还研究了模糊测度的扩张问题,提出了可以保持F测度的基本性质的正则扩张理论. 展开更多

关键词 模糊测度 Shapley熵 完备化 分划熵 正则扩张理论

在线阅读 下载PDF 职称材料

完备化σ域族的结构与上升σ域族的通常化

14

作者 王秋媛 赵生变 《北京交通大学学报》 EI CAS CSCD 北大核心 2005年第6期101-103,共3页

首先给出了完备σ域族的结构,进一步还讨论了一个上升σ域族通常化问题,指出先完备化后右连续化与先右连续化再完备化所得的通常化结果是一致的.还给出了一个具体例子说明了以上结论的应用.

关键词 σ域族 完备化 通常化

在线阅读 下载PDF 职称材料

拓扑Boole格的完备化(Ⅰ)

15

作者 董荣森 《江西师范大学学报（自然科学版）》 CAS 1990年第1期9-14,共6页

本文引入了拓扑Boole格的完备化概念,它是Boole格的完备化概念的推广。建立了拓扑Boole格完备化的基本定理。

关键词 拓扑 BOOLE格 完备化

在线阅读 下载PDF 职称材料

Knuth-Bendix完备化过程的实现及其有效性

16

作者 郭明超 《兰州大学学报（自然科学版）》 CAS CSCD 北大核心 1992年第S1期44-48,共5页

本文讨论了 Knuth-Bendix 完备化过程的一些理论问题和实现技术,同时,分析完备化过程终止的成功率,进而讨论完备化过程在教学科研中应用的可行性.

关键词 Thue 系统的完备性 Knuth-Bendix 完备化过程

在线阅读 下载PDF 职称材料

拓扑∧弱完全分配格的完备化与连续映象

17

作者 董荣森 《江西师范大学学报（自然科学版）》 CAS 1990年第4期56-64,共9页

保持存在的无穷并的格的并同态称作可备的。本文在作者的∧弱完全分配格的可备并同态扩张定理的基础上,给出了拓扑∧完全分配格的完备化与连续映象的定义与若干基本定理。

关键词 拓扑格 弱完全分配格 完备化

在线阅读 下载PDF 职称材料

关于三值逻辑程序中否定和蕴涵完备化程序的不动点语义

18

作者 刘富春 《计算机科学》 CSCD 北大核心 2006年第4期141-142,147,共3页

逻辑程序具有丰富的表达能力和非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有了广泛的应用。本文是继续文[8]的工作。首先通过两个反例,指出了文[7]中关于否定完备化程序 Comp((?),... 逻辑程序具有丰富的表达能力和非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有了广泛的应用。本文是继续文[8]的工作。首先通过两个反例,指出了文[7]中关于否定完备化程序 Comp((?),Pr)和蕴涵完备化程序(Comp(→,Pr)的两个重要定理都存在一定程度的错误。然后对这两个定理进行了修改,用后继算子 T_(pr) 和 Fitting 算子 F_(pr)的不动点语义,分别给出了否定完备化程序 Comp(→,Pr)和蕴涵完备化程序 Comp(→,Pr)的 Herbrand 模型的充分务件和必要务件,这将在逻辑程序的最优不动点和最小不动点的语义研究中有着重要的应用价值。 展开更多

关键词 逻辑程序 否定和蕴涵完备化程序 Herbrand模型 后继算子 Fitting算子

在线阅读 下载PDF 职称材料

特殊可交换Thue系统的完备化

19

作者 赵锡英 《甘肃工业大学学报》 北大核心 2001年第1期77-79,共3页

给出了判定可交换特殊 Thue系统完备化的方法 .对于所考虑的 Thue系统 ,检验 Church-Rosser性质可进行系统完备化判定 .而使 Church- Rosser性质成立的重叠条件在规则的向量形式表示下 ,可归结为规则的分量满足若干性质 ,最终得到了判... 给出了判定可交换特殊 Thue系统完备化的方法 .对于所考虑的 Thue系统 ,检验 Church-Rosser性质可进行系统完备化判定 .而使 Church- Rosser性质成立的重叠条件在规则的向量形式表示下 ,可归结为规则的分量满足若干性质 ,最终得到了判断一个特殊可交换 Thue系统是否完备化的线性时间复杂度算法 . 展开更多

关键词 完备化 重叠 归约 特殊Thue系统 可交换性 计算机

在线阅读 下载PDF 职称材料

基于关键规则分组优先提取策略的完备化算法及其实现 被引量：1

20

作者 钱群力 邵志清 虞慧群 《华东理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2000年第5期451-454,共4页

在分析现有的完备化策略的基础上提出了关键规则分组优先提取策略 ,介绍了基于此策略的完备化算法及其具体实现 ,初步探讨了策略的选择对于提高此类系统演算效率的重要作用。

关键词 完备化算法 关键规则 分组优化提取策略

在线阅读 下载PDF 职称材料