张清国
- 作品数：9 被引量：35H指数：4
- 供职机构：北京科技大学计算机与通信工程学院更多>>
- 发文基金：国家自然科学基金国家科技基础条件平台建设计划国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 相容矩阵的高效属性约简算法被引量：3
- 2012年
- 给出完备决策表和不完备决策表的定义并说明相容关系.给出了相容矩阵及其属性约简的定义,同时也给出差别矩阵及其属性约简的定义,证明了基于相容矩阵的属性约简与关于差别矩阵的属性约简定义是等价的,给出了一个计算条件属性的频率的公式,该公式不必计算差别矩阵,而是直接从决策表中计算出各条件属性在差别矩阵中出现的频率.设计一个快速计算条件属性频率的快速算法,在此基础上,设计了一个高效求基于相容矩阵的属性约简算法,并通过实例对该算法进行了验证.实践证明:算法的复杂度都得以降低,该算法的时间复杂度为O(|C|2|U|),空间复杂度为O(|U|).该方法为计算其他的属性约简算法提供了一条新思路.
- 张清国郑雪峰
- 关键词：粗糙集不完备决策表相容矩阵差别矩阵
- 利用位图技术求解所有基于正区域的属性约简的算法
- 由于已证明求解所有属性约简是一个NP问题,故研究求解所有属性约简的算法较少。文献[6]中给出了一个求解所有基于一般决策的属性约简算法。该算法需要反复判断一个集合中的元素是否是另一个集合中某一元素的子集,这一操作比较费时。...
- 张清国郑雪峰徐章艳张明德
- 关键词：粗糙集正区域位图
- 利用位图技术求解所有基于正区域的属性约简的算法
- 由于已证明求解所有属性约简是一个NP问题,故研究求解所有属性约简的算法较少。文献[6]中给出了一个求解所有基于一般决策的属性约简算法。该算法需要反复判断一个集合中的元素是否是另一个集合中某一元素的子集,这一操作比较费时。...
- 张清国郑雪峰徐章艳张明德
- 关键词：粗糙集正区域位图
- 文献传递
- 粗糙集中不同核的比较研究被引量：1
- 2012年
- 为研究基于HU差别矩阵属性约简的核(HCore(C))、信息熵属性约简的核(ECore(C))、分布属性约简的核(FCore(C))、最大分布属性约简的核(MCore(C))、近似属性约简的核(ACore(C))和正区域属性约简的核(PCore(C))之间的关系,本文给出了上述各种核的简化差别矩阵计算方法,并用上述各种核的计算方法证明了如下结论:在不一致决策表中,HCore(C)ECore(C)=FCore(C)ACore(C))PCore(C);用实例说明了MCore(C))和ACore(C))之间没有关系,MCore(C))和PCore(C))之间没有关系;而在一致决策表中,各种不同核是相互等价的.
- 张清国郑雪峰张明德于义科
- 关键词：粗糙集正区域信息熵分布约简最大分布约简近似约简
- 标准模型下基于身份的代理环签名方案研究
- 2012年
- 现有的基于身份的代理环签名方案的安全性大都是在随机预言模型下证明的,随机预言机模型将Hash函数理想化为一个完全随机模型,在实际应用中不一定安全.鉴于此,提出一个新的基于身份的代理环签名方案.在标准模型下证明了该方案能够抵抗存在性伪造攻击,且签名者具有无条件匿名性,因此具有更好的安全可靠性.
- 于义科郑雪峰张清国张明德
- 关键词：代理环签名计算DIFFIE-HELLMAN问题
- 应用系统中身份认证建模及推理方法被引量：4
- 2012年
- 逻辑推理是对身份认证进行形式化研究的重要手段,但现有研究成果主要集中在认证机制、认证协议等单个方面,并不考虑应用环境.通过引入身份认证域,对应用系统中身份认证进行形式化描述;在此基础上,提出一种基于谓词的身份认证建模及推理方法,包括7种谓词、8个推理规则和一种4步骤推理方法等,并对基于静态口令、动态口令和数字证书的身份认证模型进行实例分析.
- 张明德郑雪峰吕述望张清国
- 关键词：身份认证谓词
- 身份认证可信度研究被引量：15
- 2011年
- 身份认证过程存在很多不确定因素,导致认证服务的结果并不绝对可信;而现有研究成果主要集中在身份认证的某些方面,不具有通用性。基于对身份认证的形式化描述和其安全性的逻辑分析,将身份认证过程中不确定因素分为4个方面;通过引入信任分类、不可信因子和安全度,提出一种具有通用性的身份认证可信度计算方法;并对基于静态口令和数字证书的身份认证模型进行实例分析。
- 张明德郑雪峰吕述望张清国
- 关键词：身份认证安全度
- 基于知识粒度的不完备决策表的属性约简的矩阵算法被引量：10
- 2012年
- 基于不完备决策表的属性约简定义有多种,现研究基于知识粒度的属性约简。研究发现,差别矩阵是一种较好的设计属性约简算法的方法。为此,定义了一种粒度差别矩阵和基于该差别矩阵的属性约简,并证明了该差别矩阵的属性约简定义与基于知识粒度的属性约简定义等价。在此基础上,设计了一个新的基于信息量的不完备决策表的属性约简算法,其时间复杂度得以降低。
- 张清国郑雪峰
- 关键词：粗糙集属性约简不完备决策表知识粒度算法复杂度
- 信息量不完备决策表属性约简的一种新算法被引量：8
- 2010年
- 目前,基于不完备决策表的属性约简研究较少。基于信息量的不完备决策表属性约简是一种新的属性约简。由于在该属性约简中,计算相容关系是最主要的计算,也比计算等价关系要难得多。基于信息量的不完备决策表的属性约简算法的时间复杂度一般为O(|C|3|U|2)。为降低其时间复杂度,首先分析了老算法的不足,然后给出了一个效率较好的计算相容类的算法。最后设计了一个新的基于信息量的不完备决策表的属性约简算法,其时间复杂度为O(|C|2|U|2)。
- 张清国郑雪峰张明德于义科
- 关键词：粗糙集属性约简不完备决策表算法复杂度
