期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
73
篇文章
<
1
2
…
4
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
紧致依赖与内涵亏值
被引量:
13
1
作者
马垣
张学东
迟呈英
《软件学报》
EI
CSCD
北大核心
2011年第5期962-971,共10页
提出了"内涵亏值"与"紧致依赖"的概念,证明了由"紧致依赖"组成的依赖基对于"左部加属性、右部减属性"这一规则的公理系统是无冗余而完整的.由此发现了除Guigues-Duquenne基以外还有其他无冗余...
提出了"内涵亏值"与"紧致依赖"的概念,证明了由"紧致依赖"组成的依赖基对于"左部加属性、右部减属性"这一规则的公理系统是无冗余而完整的.由此发现了除Guigues-Duquenne基以外还有其他无冗余完整依赖基,改变了只有唯一的一个无冗余完整依赖基的传统观念,揭开了寻找多种无冗余完整依赖基以满足多样化需求的序幕.
展开更多
关键词
值依赖
Guigues-Duquenne基
紧致依赖
内涵亏值
数据库
在线阅读
下载PDF
职称材料
概念格多属性渐减式构造
被引量:
11
2
作者
马垣
马文胜
《软件学报》
EI
CSCD
北大核心
2015年第12期3162-3173,共12页
渐进式算法是概念格构造的重要方法之一,但以前的渐进式算法均为渐增式算法,即对象或属性都是增加的.实践表明,很多场合需要属性减少后的概念格.2013年,减少单个属性的渐减式算法已有研究,然而该算法只适用于单个属性,减少多个属性时,...
渐进式算法是概念格构造的重要方法之一,但以前的渐进式算法均为渐增式算法,即对象或属性都是增加的.实践表明,很多场合需要属性减少后的概念格.2013年,减少单个属性的渐减式算法已有研究,然而该算法只适用于单个属性,减少多个属性时,该算法需要反复执行多次.研究了减少多个属性的一次性渐减式算法,该算法与减少单个属性的渐减式算法有相同的时间复杂度,但当,减少多个属性时,单属性的渐减式算法需要反复执行多次,而该算法只需执行一次.
展开更多
关键词
形式概念
概念格
减少属性
渐进式算法
概念格构造
在线阅读
下载PDF
职称材料
CONCOR聚类不动点研究
被引量:
3
3
作者
马垣
张学东
沈娟华
《工程数学学报》
CSCD
北大核心
2012年第4期620-624,共5页
CONCOR聚类有着广泛的应用,其结果取决于CONCOR变换的不动点,然而CONCOR变换都有哪些不动点的研究至本文以前还是一个国际关注的开放问题.本文创新地提出了完美矩阵,朴素矩阵,0均值不动点等全新概念.证明了完美矩阵,朴素矩阵都是CONCOR...
CONCOR聚类有着广泛的应用,其结果取决于CONCOR变换的不动点,然而CONCOR变换都有哪些不动点的研究至本文以前还是一个国际关注的开放问题.本文创新地提出了完美矩阵,朴素矩阵,0均值不动点等全新概念.证明了完美矩阵,朴素矩阵都是CONCOR变换的本原不动点,并给出了从本原不动点构造组合不动点的方法,从而解决了CONCOR聚类都有哪些不动点的问题.
展开更多
关键词
聚类
准CONCOR变换
CONCOR变换
本原不动点
组合不动点
朴素矩阵
完美矩阵
在线阅读
下载PDF
职称材料
概念格理论中的G-D基蕴涵约简研究
被引量:
2
4
作者
马垣
王月行
+1 位作者
胡志宇
罗伟
《计算机应用研究》
CSCD
北大核心
2009年第10期3629-3631,共3页
概念格理论中的G-D基是一个形式背景的最小蕴涵基,从G-D基中可以产生一个背景的所有蕴涵,对G-D基的研究对于数据挖掘和规则提取都有很重要的意义。当G-D基中的蕴涵很多时,从它推导出背景中的全部蕴涵就很困难,减小G-D基的尺寸能够节省...
概念格理论中的G-D基是一个形式背景的最小蕴涵基,从G-D基中可以产生一个背景的所有蕴涵,对G-D基的研究对于数据挖掘和规则提取都有很重要的意义。当G-D基中的蕴涵很多时,从它推导出背景中的全部蕴涵就很困难,减小G-D基的尺寸能够节省很多时间。提出了利用概念层次图约简G-D基的尺寸,通过利用Armstrong公理系统比较说明了G-D基的尺寸变小后推导蕴涵的效率明显提高,并提出了恢复G-D基中的蕴涵的一种并行算法,该算法基于可约属性类对G-D基中的蕴涵进行恢复。
展开更多
关键词
背景
G-D基
蕴涵
可约属性
概念层次图
在线阅读
下载PDF
职称材料
基于粒化的形式背景的概念格研究
被引量:
3
5
作者
马垣
张果枝
张仁秋
《计算机应用与软件》
CSCD
2010年第7期11-13,39,共4页
将粒计算引入到形式背景分析中,并在确定算子与可能算子两种运算的基础上提出了确定-可能粒背景N-PGC(Necessi-ty-possibility granular context)算法。通过将属性、对象的相容粒经过确定算子与可能算子的运算得到的结果作为新背景的属...
将粒计算引入到形式背景分析中,并在确定算子与可能算子两种运算的基础上提出了确定-可能粒背景N-PGC(Necessi-ty-possibility granular context)算法。通过将属性、对象的相容粒经过确定算子与可能算子的运算得到的结果作为新背景的属性、对象,并分析了新背景与原始形式背景的概念格关系。
展开更多
关键词
确定-可能粒背景
相容粒
概念格
在线阅读
下载PDF
职称材料
公开密钥体制与Euler-Fermat定理通俗证明
被引量:
1
6
作者
马垣
杨鸿雁
+2 位作者
刘阳
王旭
白雪
《鞍山科技大学学报》
CAS
2003年第6期441-445,共5页
随着计算机的广泛使用,文件加密解密已成为相当频繁的工作.本文叙述了公开密钥体制中的一种方法,并对其使用的数学工具给出一个通俗证明,以使加密解密工作更加方便、有效.
关键词
Euler-Fermat定理
公开密钥
加密
解密
EULER公式
在线阅读
下载PDF
职称材料
形式概念中的内涵亏值及属性约简
被引量:
2
7
作者
马垣
《模式识别与人工智能》
EI
CSCD
北大核心
2013年第12期1096-1105,共10页
属性约简一直是概念格领域研究的热门话题.文中借助内涵亏值的思想证明在每个唯一上近邻概念的内涵亏值中各任取一个元素组成的集合就是一个约简,从而给出一个求全部约简的简单算法,并且这个算法在Hasse图中有较直观的形象.由于该算法...
属性约简一直是概念格领域研究的热门话题.文中借助内涵亏值的思想证明在每个唯一上近邻概念的内涵亏值中各任取一个元素组成的集合就是一个约简,从而给出一个求全部约简的简单算法,并且这个算法在Hasse图中有较直观的形象.由于该算法只涉及唯一上近邻概念,所以不需求出全部概念格,只需对背景进行一些并交运算即可全部完成,因此算法的时间复杂度及空间复杂度都是多项式的.
展开更多
关键词
概念格
内涵亏值
唯一上近邻
属性约简
在线阅读
下载PDF
职称材料
非稠密数据域的不等式合取查询
被引量:
1
8
作者
马垣
《计算机学报》
EI
CSCD
北大核心
1992年第12期898-905,共8页
1988年Klug给出了第一个稠密域上的不等式合取查询包含问题的算法,但该方法不适用于非稠密域.本文解决非稠密域上的不等式合取查询的包含问题.
关键词
关系型数据库
合取查询
非稠密域
在线阅读
下载PDF
职称材料
索引依赖与索引视图
被引量:
1
9
作者
马垣
《计算机学报》
EI
CSCD
北大核心
1991年第4期275-283,共9页
索引依赖是一种特殊的函数依赖,对于存在索引依赖的关系来说,即使按传统方法规范化了,也存在着由于背景内容变更而引起的修改冗余.本文将严格定义索引依赖及其有关的概念、提出一种新的分解方法、给出一个不同于经典视图的索引视图来解...
索引依赖是一种特殊的函数依赖,对于存在索引依赖的关系来说,即使按传统方法规范化了,也存在着由于背景内容变更而引起的修改冗余.本文将严格定义索引依赖及其有关的概念、提出一种新的分解方法、给出一个不同于经典视图的索引视图来解决索引依赖的各种问题.
展开更多
关键词
索引依赖
索引视图
关系数据库
在线阅读
下载PDF
职称材料
基于二进制可辨矩阵的知识约简(续前)
被引量:
1
10
作者
马垣
《鞍山师范学院学报》
2003年第4期64-67,共4页
这一部分是在前面严格地研究了二进制可辨矩阵化简有效完备性的基础上 ,给出二进制矩阵化简保持有效完备性的几个具体方法以及求最简有效完备矩阵的算法 ,并给出了这种算法的实例 .本文解决了文 [10
关键词
二进制可辨矩阵
知识约简
有效性
完备性
算法
计算机
在线阅读
下载PDF
职称材料
关于Feigenbaum图中的暗线
被引量:
1
11
作者
马垣
《鞍山师范学院学报》
2003年第6期80-84,共5页
研究了一种根据Feigenbaum图中的暗线求周期窗口的新方法 .这种方法比文献 [5 ]中的方法更简单易行 。
关键词
Feigenbaum图
暗线
周期窗口
浑沌区域
在线阅读
下载PDF
职称材料
具有分形特性的背景序列及其概念格
12
作者
马垣
刘占刚
《计算机科学与探索》
CSCD
2009年第5期460-468,共9页
在国内外首次研究分形与概念格这两大领域之间的联系,提出了一种形式背景序列,这个形式背景序列将对应一个单位正方形中的图形序列,而这个图形序列的极限是一个分形图形。给出了分形背景序列的形式化表示方法,研究了这种分形背景序列的...
在国内外首次研究分形与概念格这两大领域之间的联系,提出了一种形式背景序列,这个形式背景序列将对应一个单位正方形中的图形序列,而这个图形序列的极限是一个分形图形。给出了分形背景序列的形式化表示方法,研究了这种分形背景序列的概念格序列的计算方法。证明了这个分形背景序列的极限概念格中的概念个数具有Hausdorff特性;对相应的极限图形定义了一个全新的维数:概念分数维,展示了两大领域联系的更多数据表征。
展开更多
关键词
分形
概念格
分形背景序列
分数维
概念分数维
在线阅读
下载PDF
职称材料
基于粒计算的不完备信息系统的缺失值估计算法
13
作者
马垣
张果枝
《计算机应用与软件》
CSCD
2010年第4期23-25,共3页
将粒计算引入到不完备信息系统中,提出了粒域、粗糙粒域、邻近粒域的概念。由对象的粒域得到的邻近粒域估计缺失值,使缺失值与横向(属性)和纵向(对象)相联系,提高了估计值的可信度。
关键词
不完备信息系统
缺失值
粒域
粗糙粒域
邻近粒域
在线阅读
下载PDF
职称材料
再论关系数据流中增减型及循环型知识的发现
14
作者
马垣
《广西大学学报(自然科学版)》
CAS
CSCD
北大核心
2009年第5期686-689,共4页
继续研究在以关系为单位的数据流中发现"增加"、"减少"等增减型知识以及"良性循环"、"恶性循环"等循环型知识的方法。这些方法可以发现事物间发展的联系及发展的趋势,为决策者提供更强有力的...
继续研究在以关系为单位的数据流中发现"增加"、"减少"等增减型知识以及"良性循环"、"恶性循环"等循环型知识的方法。这些方法可以发现事物间发展的联系及发展的趋势,为决策者提供更强有力的支持。特别是发现各种循环,将为决策者加强"良性循环",增加效益与成功,摆脱"恶性循环",避免亏损与失败,提供了重要的依据。
展开更多
关键词
增减型知识
循环型知识
良性循环
恶性循环
关系数据流
在线阅读
下载PDF
职称材料
内涵亏值及二值命题逻辑中命题集合约简
15
作者
马垣
《模式识别与人工智能》
EI
CSCD
北大核心
2013年第10期935-943,共9页
求命题集所有可能的约简是二值命题逻辑的一个重要课题.目前的算法都是逐一求单个约简,汇总起来得到所有可能约简.文中应用形式概念的理论,提出内涵亏值、亏值超图等思想,给出一次即可求出所有约简的算法.该算法使计算全部约简的运算次...
求命题集所有可能的约简是二值命题逻辑的一个重要课题.目前的算法都是逐一求单个约简,汇总起来得到所有可能约简.文中应用形式概念的理论,提出内涵亏值、亏值超图等思想,给出一次即可求出所有约简的算法.该算法使计算全部约简的运算次数大为减少.
展开更多
关键词
二值命题逻辑
命题集约简
概念格
内涵亏值
在线阅读
下载PDF
职称材料
任意公理系统的依赖基
16
作者
马垣
《计算机科学》
CSCD
北大核心
2013年第2期200-205,共6页
形式化定义了值依赖的公理、公理系统及依赖基。严格证明了任何公理系统对任何背景都具有依赖基,给出了对任意一个公理系统求任意背景依赖基的方法,并证明了每个公理系统的依赖基不唯一。进而还提出了一种诱导背景,通过诱导背景可把这...
形式化定义了值依赖的公理、公理系统及依赖基。严格证明了任何公理系统对任何背景都具有依赖基,给出了对任意一个公理系统求任意背景依赖基的方法,并证明了每个公理系统的依赖基不唯一。进而还提出了一种诱导背景,通过诱导背景可把这个证明过程及依赖基的计算过程形象地反映出来。
展开更多
关键词
值依赖
公理系统
依赖基
诱导背景
在线阅读
下载PDF
职称材料
索引依赖背景异常的消除
17
作者
马垣
《计算机学报》
EI
CSCD
北大核心
1992年第11期872-875,共4页
1.引言 索引依赖是一种特殊的函数依赖,它与一般的函数依赖不同,“背景”对它起着决定性的作用。大量的实践表明,在自然朴素地给出背景的情况下,当属性的次序有某些变化时,可能会出现不应有的异常。 例如:有一个关系模式R,它包括四个属...
1.引言 索引依赖是一种特殊的函数依赖,它与一般的函数依赖不同,“背景”对它起着决定性的作用。大量的实践表明,在自然朴素地给出背景的情况下,当属性的次序有某些变化时,可能会出现不应有的异常。 例如:有一个关系模式R,它包括四个属性,即R={姓名,学籍,分数,奖学金},其中dom(学籍)={预科,本科},(预科<本科),dom(分数)={0,1,…,100}(按整数序),dom(奖学金)={30,40,60,70,90}(按整数序),dom(姓名)(按常规)(这里dom(A)
展开更多
关键词
索引依赖
函数依赖
数据库
在线阅读
下载PDF
职称材料
分子计算机的诞生与现状
18
作者
马垣
刘刚
+2 位作者
张小平
李晓瑞
张红云
《鞍山钢铁学院学报》
2002年第2期112-115,共4页
介绍了计算机领域的一项最新成果———分子计算机 .分子计算机利用脱氧核糖核酸 (DNA)来进行计算 .腺嘌呤、鸟嘌呤、胞密啶、胸腺密啶 (核苷酸 )在计算中起了重要的作用 .使用限制内切酶、接合酶、转移酶、外切核酸酶、修饰酶来实现计...
介绍了计算机领域的一项最新成果———分子计算机 .分子计算机利用脱氧核糖核酸 (DNA)来进行计算 .腺嘌呤、鸟嘌呤、胞密啶、胸腺密啶 (核苷酸 )在计算中起了重要的作用 .使用限制内切酶、接合酶、转移酶、外切核酸酶、修饰酶来实现计算所需要的各种操作 .介绍了分子计算机完成的第 1个计算———解哈密顿通路问题的方法 。
展开更多
关键词
分子计算机
NP完全问题
DNA计算
哈密顿通路问题
在线阅读
下载PDF
职称材料
基于二进制可辨矩阵的知识约简(待续)
19
作者
马垣
《鞍山师范学院学报》
2003年第2期78-82,共5页
对决策表的二进制可辨矩阵[11] 进行先期化简的算法[10 ] 可大大减少知识约简的操作对象 ,大大加快知识约简的速度 ,是一种很有前途的知识约简的新方法 .但目前的二进制矩阵的化简规则不是有效完备的 ,在有些情况下求出的不是约简 (不有...
对决策表的二进制可辨矩阵[11] 进行先期化简的算法[10 ] 可大大减少知识约简的操作对象 ,大大加快知识约简的速度 ,是一种很有前途的知识约简的新方法 .但目前的二进制矩阵的化简规则不是有效完备的 ,在有些情况下求出的不是约简 (不有效 ) ,在有些情况下有的约简不能由化简后的矩阵求出 (不完备 ) .本文将严格地研究二进制矩阵化简的有效完备性 ,并给出求最简有效完备矩阵的算法 。
展开更多
关键词
二进制可辨矩阵
化简规则
矩阵化简
完备性
算法
基础矩阵
在线阅读
下载PDF
职称材料
具有层次数据域的关系中的知识发现
20
作者
马垣
《鞍山师范学院学报》
2002年第1期74-78,共5页
从数据库发现知识已有很多好的方法 。
关键词
知识发现
关系数据库
概念
命题
层次数据域
在线阅读
下载PDF
职称材料
题名
紧致依赖与内涵亏值
被引量:
13
1
作者
马垣
张学东
迟呈英
机构
辽宁科技大学软件学院
辽宁科技大学电子信息工程学院
出处
《软件学报》
EI
CSCD
北大核心
2011年第5期962-971,共10页
基金
国家自然科学基金(60775036)
文摘
提出了"内涵亏值"与"紧致依赖"的概念,证明了由"紧致依赖"组成的依赖基对于"左部加属性、右部减属性"这一规则的公理系统是无冗余而完整的.由此发现了除Guigues-Duquenne基以外还有其他无冗余完整依赖基,改变了只有唯一的一个无冗余完整依赖基的传统观念,揭开了寻找多种无冗余完整依赖基以满足多样化需求的序幕.
关键词
值依赖
Guigues-Duquenne基
紧致依赖
内涵亏值
数据库
Keywords
value dependency
Guigues-Duquerme basis
compact dependency
intent waned value
database
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
概念格多属性渐减式构造
被引量:
11
2
作者
马垣
马文胜
机构
辽宁科技大学软件学院
出处
《软件学报》
EI
CSCD
北大核心
2015年第12期3162-3173,共12页
基金
国家自然科学基金(61273019)~~
文摘
渐进式算法是概念格构造的重要方法之一,但以前的渐进式算法均为渐增式算法,即对象或属性都是增加的.实践表明,很多场合需要属性减少后的概念格.2013年,减少单个属性的渐减式算法已有研究,然而该算法只适用于单个属性,减少多个属性时,该算法需要反复执行多次.研究了减少多个属性的一次性渐减式算法,该算法与减少单个属性的渐减式算法有相同的时间复杂度,但当,减少多个属性时,单属性的渐减式算法需要反复执行多次,而该算法只需执行一次.
关键词
形式概念
概念格
减少属性
渐进式算法
概念格构造
Keywords
formal concept
concept lattice
decrementing attribute
incremental algorithm
concept lattice construction
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
CONCOR聚类不动点研究
被引量:
3
3
作者
马垣
张学东
沈娟华
机构
辽宁科技大学软件学院
辽宁科技大学电子与信息工程学院
辽宁科技大学理学院
出处
《工程数学学报》
CSCD
北大核心
2012年第4期620-624,共5页
基金
国家自然科学基金(61074130)~~
文摘
CONCOR聚类有着广泛的应用,其结果取决于CONCOR变换的不动点,然而CONCOR变换都有哪些不动点的研究至本文以前还是一个国际关注的开放问题.本文创新地提出了完美矩阵,朴素矩阵,0均值不动点等全新概念.证明了完美矩阵,朴素矩阵都是CONCOR变换的本原不动点,并给出了从本原不动点构造组合不动点的方法,从而解决了CONCOR聚类都有哪些不动点的问题.
关键词
聚类
准CONCOR变换
CONCOR变换
本原不动点
组合不动点
朴素矩阵
完美矩阵
Keywords
clustering
preparatory CONCOR transformation
CONCOR transformation
primitive fixed-point
combination fixed-point
simple matrix
flawless matrix
分类号
TP311.131 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
概念格理论中的G-D基蕴涵约简研究
被引量:
2
4
作者
马垣
王月行
胡志宇
罗伟
机构
辽宁科技大学计算机科学与工程学院
出处
《计算机应用研究》
CSCD
北大核心
2009年第10期3629-3631,共3页
基金
国家自然科学基金资助项目(60775036)
文摘
概念格理论中的G-D基是一个形式背景的最小蕴涵基,从G-D基中可以产生一个背景的所有蕴涵,对G-D基的研究对于数据挖掘和规则提取都有很重要的意义。当G-D基中的蕴涵很多时,从它推导出背景中的全部蕴涵就很困难,减小G-D基的尺寸能够节省很多时间。提出了利用概念层次图约简G-D基的尺寸,通过利用Armstrong公理系统比较说明了G-D基的尺寸变小后推导蕴涵的效率明显提高,并提出了恢复G-D基中的蕴涵的一种并行算法,该算法基于可约属性类对G-D基中的蕴涵进行恢复。
关键词
背景
G-D基
蕴涵
可约属性
概念层次图
Keywords
context
G-D base
implication
reducible attributes
concept layer graph
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
基于粒化的形式背景的概念格研究
被引量:
3
5
作者
马垣
张果枝
张仁秋
机构
辽宁科技大学计算机科学与工程学院
出处
《计算机应用与软件》
CSCD
2010年第7期11-13,39,共4页
基金
国家自然科学基金(60775036)
文摘
将粒计算引入到形式背景分析中,并在确定算子与可能算子两种运算的基础上提出了确定-可能粒背景N-PGC(Necessi-ty-possibility granular context)算法。通过将属性、对象的相容粒经过确定算子与可能算子的运算得到的结果作为新背景的属性、对象,并分析了新背景与原始形式背景的概念格关系。
关键词
确定-可能粒背景
相容粒
概念格
Keywords
Necessity-possibility granular context Compatibility granular Concept lattice
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
公开密钥体制与Euler-Fermat定理通俗证明
被引量:
1
6
作者
马垣
杨鸿雁
刘阳
王旭
白雪
机构
鞍山科技大学计算机科学与工程学院
鞍山师范学院数学计算机系
出处
《鞍山科技大学学报》
CAS
2003年第6期441-445,共5页
文摘
随着计算机的广泛使用,文件加密解密已成为相当频繁的工作.本文叙述了公开密钥体制中的一种方法,并对其使用的数学工具给出一个通俗证明,以使加密解密工作更加方便、有效.
关键词
Euler-Fermat定理
公开密钥
加密
解密
EULER公式
Keywords
pubilc-key cryptosystem
Euler formula
Euler-Fermat theorem
分类号
TP309.7 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
形式概念中的内涵亏值及属性约简
被引量:
2
7
作者
马垣
机构
辽宁科技大学软件学院
出处
《模式识别与人工智能》
EI
CSCD
北大核心
2013年第12期1096-1105,共10页
文摘
属性约简一直是概念格领域研究的热门话题.文中借助内涵亏值的思想证明在每个唯一上近邻概念的内涵亏值中各任取一个元素组成的集合就是一个约简,从而给出一个求全部约简的简单算法,并且这个算法在Hasse图中有较直观的形象.由于该算法只涉及唯一上近邻概念,所以不需求出全部概念格,只需对背景进行一些并交运算即可全部完成,因此算法的时间复杂度及空间复杂度都是多项式的.
关键词
概念格
内涵亏值
唯一上近邻
属性约简
Keywords
Concept Lattice, Intent Waned Value, Unique Upper Neighbor, Attribute Reduction
分类号
TP181 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
非稠密数据域的不等式合取查询
被引量:
1
8
作者
马垣
机构
冶金部鞍山黑色冶金矿山设计研究院
出处
《计算机学报》
EI
CSCD
北大核心
1992年第12期898-905,共8页
文摘
1988年Klug给出了第一个稠密域上的不等式合取查询包含问题的算法,但该方法不适用于非稠密域.本文解决非稠密域上的不等式合取查询的包含问题.
关键词
关系型数据库
合取查询
非稠密域
Keywords
Relational database, conjunctive query, nondense domain, containment problem.
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
索引依赖与索引视图
被引量:
1
9
作者
马垣
机构
冶金部鞍山黑色冶金矿山设计研究院
出处
《计算机学报》
EI
CSCD
北大核心
1991年第4期275-283,共9页
文摘
索引依赖是一种特殊的函数依赖,对于存在索引依赖的关系来说,即使按传统方法规范化了,也存在着由于背景内容变更而引起的修改冗余.本文将严格定义索引依赖及其有关的概念、提出一种新的分解方法、给出一个不同于经典视图的索引视图来解决索引依赖的各种问题.
关键词
索引依赖
索引视图
关系数据库
Keywords
Relational database, functional dependency, lexicographic indexet, view indexed dependency.
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于二进制可辨矩阵的知识约简(续前)
被引量:
1
10
作者
马垣
机构
鞍山科技大学计算机科学与工程学院
出处
《鞍山师范学院学报》
2003年第4期64-67,共4页
文摘
这一部分是在前面严格地研究了二进制可辨矩阵化简有效完备性的基础上 ,给出二进制矩阵化简保持有效完备性的几个具体方法以及求最简有效完备矩阵的算法 ,并给出了这种算法的实例 .本文解决了文 [10
关键词
二进制可辨矩阵
知识约简
有效性
完备性
算法
计算机
Keywords
Knowledge reduction
Binary discernibility matrix
Soundness
Completeness
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
关于Feigenbaum图中的暗线
被引量:
1
11
作者
马垣
机构
鞍山科技大学计算机科学与工程学院
出处
《鞍山师范学院学报》
2003年第6期80-84,共5页
文摘
研究了一种根据Feigenbaum图中的暗线求周期窗口的新方法 .这种方法比文献 [5 ]中的方法更简单易行 。
关键词
Feigenbaum图
暗线
周期窗口
浑沌区域
Keywords
Feigenbaum’s map
Secret line
Period window
分类号
O415.5 [理学—理论物理]
在线阅读
下载PDF
职称材料
题名
具有分形特性的背景序列及其概念格
12
作者
马垣
刘占刚
机构
辽宁科技大学软件学院
出处
《计算机科学与探索》
CSCD
2009年第5期460-468,共9页
基金
国家自然科学基金No.06775036
辽宁省自然科学基金No.20082189~~
文摘
在国内外首次研究分形与概念格这两大领域之间的联系,提出了一种形式背景序列,这个形式背景序列将对应一个单位正方形中的图形序列,而这个图形序列的极限是一个分形图形。给出了分形背景序列的形式化表示方法,研究了这种分形背景序列的概念格序列的计算方法。证明了这个分形背景序列的极限概念格中的概念个数具有Hausdorff特性;对相应的极限图形定义了一个全新的维数:概念分数维,展示了两大领域联系的更多数据表征。
关键词
分形
概念格
分形背景序列
分数维
概念分数维
Keywords
fractal
concept lattice
context series
fractal dimension
concept fractal dimension
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
基于粒计算的不完备信息系统的缺失值估计算法
13
作者
马垣
张果枝
机构
辽宁科技大学计算机科学与工程系
出处
《计算机应用与软件》
CSCD
2010年第4期23-25,共3页
基金
国家自然科学基金(60775036)
文摘
将粒计算引入到不完备信息系统中,提出了粒域、粗糙粒域、邻近粒域的概念。由对象的粒域得到的邻近粒域估计缺失值,使缺失值与横向(属性)和纵向(对象)相联系,提高了估计值的可信度。
关键词
不完备信息系统
缺失值
粒域
粗糙粒域
邻近粒域
Keywords
Incomplete information system Lost values Granular space Rough granular space Neighbourhood granular space
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
再论关系数据流中增减型及循环型知识的发现
14
作者
马垣
机构
辽宁科技大学软件学院
出处
《广西大学学报(自然科学版)》
CAS
CSCD
北大核心
2009年第5期686-689,共4页
基金
国家自然科学基金项目(60775036)
文摘
继续研究在以关系为单位的数据流中发现"增加"、"减少"等增减型知识以及"良性循环"、"恶性循环"等循环型知识的方法。这些方法可以发现事物间发展的联系及发展的趋势,为决策者提供更强有力的支持。特别是发现各种循环,将为决策者加强"良性循环",增加效益与成功,摆脱"恶性循环",避免亏损与失败,提供了重要的依据。
关键词
增减型知识
循环型知识
良性循环
恶性循环
关系数据流
Keywords
knowledge of increase or decrease
knowledge of circle
benign circle
vicious circle
relational data stream
分类号
TP311.131 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
内涵亏值及二值命题逻辑中命题集合约简
15
作者
马垣
机构
辽宁科技大学软件学院
出处
《模式识别与人工智能》
EI
CSCD
北大核心
2013年第10期935-943,共9页
文摘
求命题集所有可能的约简是二值命题逻辑的一个重要课题.目前的算法都是逐一求单个约简,汇总起来得到所有可能约简.文中应用形式概念的理论,提出内涵亏值、亏值超图等思想,给出一次即可求出所有约简的算法.该算法使计算全部约简的运算次数大为减少.
关键词
二值命题逻辑
命题集约简
概念格
内涵亏值
Keywords
2-Valued Propositional Logic, Reduction of Proposition Set, Concept Lattice, Intent Waned Value
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
任意公理系统的依赖基
16
作者
马垣
机构
辽宁科技大学软件学院
出处
《计算机科学》
CSCD
北大核心
2013年第2期200-205,共6页
基金
国家自然科学基金(61074130)资助
文摘
形式化定义了值依赖的公理、公理系统及依赖基。严格证明了任何公理系统对任何背景都具有依赖基,给出了对任意一个公理系统求任意背景依赖基的方法,并证明了每个公理系统的依赖基不唯一。进而还提出了一种诱导背景,通过诱导背景可把这个证明过程及依赖基的计算过程形象地反映出来。
关键词
值依赖
公理系统
依赖基
诱导背景
Keywords
Value dependency,Axiomatic system,Dependency basis,Inducement context
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
在线阅读
下载PDF
职称材料
题名
索引依赖背景异常的消除
17
作者
马垣
机构
冶金部鞍山黑色冶金矿山设计研究院
出处
《计算机学报》
EI
CSCD
北大核心
1992年第11期872-875,共4页
文摘
1.引言 索引依赖是一种特殊的函数依赖,它与一般的函数依赖不同,“背景”对它起着决定性的作用。大量的实践表明,在自然朴素地给出背景的情况下,当属性的次序有某些变化时,可能会出现不应有的异常。 例如:有一个关系模式R,它包括四个属性,即R={姓名,学籍,分数,奖学金},其中dom(学籍)={预科,本科},(预科<本科),dom(分数)={0,1,…,100}(按整数序),dom(奖学金)={30,40,60,70,90}(按整数序),dom(姓名)(按常规)(这里dom(A)
关键词
索引依赖
函数依赖
数据库
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
分子计算机的诞生与现状
18
作者
马垣
刘刚
张小平
李晓瑞
张红云
机构
鞍山钢铁学院计算机科学与工程学院
出处
《鞍山钢铁学院学报》
2002年第2期112-115,共4页
文摘
介绍了计算机领域的一项最新成果———分子计算机 .分子计算机利用脱氧核糖核酸 (DNA)来进行计算 .腺嘌呤、鸟嘌呤、胞密啶、胸腺密啶 (核苷酸 )在计算中起了重要的作用 .使用限制内切酶、接合酶、转移酶、外切核酸酶、修饰酶来实现计算所需要的各种操作 .介绍了分子计算机完成的第 1个计算———解哈密顿通路问题的方法 。
关键词
分子计算机
NP完全问题
DNA计算
哈密顿通路问题
Keywords
molecular computer
NP_complete problem
DNA computing
Hamiltanian path problem
分类号
TP384 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于二进制可辨矩阵的知识约简(待续)
19
作者
马垣
机构
鞍山科技大学计算机科学与工程学院
出处
《鞍山师范学院学报》
2003年第2期78-82,共5页
文摘
对决策表的二进制可辨矩阵[11] 进行先期化简的算法[10 ] 可大大减少知识约简的操作对象 ,大大加快知识约简的速度 ,是一种很有前途的知识约简的新方法 .但目前的二进制矩阵的化简规则不是有效完备的 ,在有些情况下求出的不是约简 (不有效 ) ,在有些情况下有的约简不能由化简后的矩阵求出 (不完备 ) .本文将严格地研究二进制矩阵化简的有效完备性 ,并给出求最简有效完备矩阵的算法 。
关键词
二进制可辨矩阵
化简规则
矩阵化简
完备性
算法
基础矩阵
Keywords
Knowledge reduction
Binary discernibility matrix
Soundness
Completeness
分类号
O151.21 [理学—基础数学]
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
具有层次数据域的关系中的知识发现
20
作者
马垣
机构
鞍山钢铁学院计算机科学与工程学院
出处
《鞍山师范学院学报》
2002年第1期74-78,共5页
文摘
从数据库发现知识已有很多好的方法 。
关键词
知识发现
关系数据库
概念
命题
层次数据域
Keywords
KDD
Relational database
Concept
Proposition
分类号
TP311.13 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
紧致依赖与内涵亏值
马垣
张学东
迟呈英
《软件学报》
EI
CSCD
北大核心
2011
13
在线阅读
下载PDF
职称材料
2
概念格多属性渐减式构造
马垣
马文胜
《软件学报》
EI
CSCD
北大核心
2015
11
在线阅读
下载PDF
职称材料
3
CONCOR聚类不动点研究
马垣
张学东
沈娟华
《工程数学学报》
CSCD
北大核心
2012
3
在线阅读
下载PDF
职称材料
4
概念格理论中的G-D基蕴涵约简研究
马垣
王月行
胡志宇
罗伟
《计算机应用研究》
CSCD
北大核心
2009
2
在线阅读
下载PDF
职称材料
5
基于粒化的形式背景的概念格研究
马垣
张果枝
张仁秋
《计算机应用与软件》
CSCD
2010
3
在线阅读
下载PDF
职称材料
6
公开密钥体制与Euler-Fermat定理通俗证明
马垣
杨鸿雁
刘阳
王旭
白雪
《鞍山科技大学学报》
CAS
2003
1
在线阅读
下载PDF
职称材料
7
形式概念中的内涵亏值及属性约简
马垣
《模式识别与人工智能》
EI
CSCD
北大核心
2013
2
在线阅读
下载PDF
职称材料
8
非稠密数据域的不等式合取查询
马垣
《计算机学报》
EI
CSCD
北大核心
1992
1
在线阅读
下载PDF
职称材料
9
索引依赖与索引视图
马垣
《计算机学报》
EI
CSCD
北大核心
1991
1
在线阅读
下载PDF
职称材料
10
基于二进制可辨矩阵的知识约简(续前)
马垣
《鞍山师范学院学报》
2003
1
在线阅读
下载PDF
职称材料
11
关于Feigenbaum图中的暗线
马垣
《鞍山师范学院学报》
2003
1
在线阅读
下载PDF
职称材料
12
具有分形特性的背景序列及其概念格
马垣
刘占刚
《计算机科学与探索》
CSCD
2009
0
在线阅读
下载PDF
职称材料
13
基于粒计算的不完备信息系统的缺失值估计算法
马垣
张果枝
《计算机应用与软件》
CSCD
2010
0
在线阅读
下载PDF
职称材料
14
再论关系数据流中增减型及循环型知识的发现
马垣
《广西大学学报(自然科学版)》
CAS
CSCD
北大核心
2009
0
在线阅读
下载PDF
职称材料
15
内涵亏值及二值命题逻辑中命题集合约简
马垣
《模式识别与人工智能》
EI
CSCD
北大核心
2013
0
在线阅读
下载PDF
职称材料
16
任意公理系统的依赖基
马垣
《计算机科学》
CSCD
北大核心
2013
0
在线阅读
下载PDF
职称材料
17
索引依赖背景异常的消除
马垣
《计算机学报》
EI
CSCD
北大核心
1992
0
在线阅读
下载PDF
职称材料
18
分子计算机的诞生与现状
马垣
刘刚
张小平
李晓瑞
张红云
《鞍山钢铁学院学报》
2002
0
在线阅读
下载PDF
职称材料
19
基于二进制可辨矩阵的知识约简(待续)
马垣
《鞍山师范学院学报》
2003
0
在线阅读
下载PDF
职称材料
20
具有层次数据域的关系中的知识发现
马垣
《鞍山师范学院学报》
2002
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
4
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部