检索结果-内蒙古大学图书馆

计算机学报 2008年第5期31卷 835-844页

作者：管致锦秦小麟施佺郑吉平南京航空航天大学信息科学与技术学院南京210016 南通大学计算机科学与技术学院江苏南通226019 清华大学计算机科学与技术系北京100084

对一般Toffoli门进行了衍变和推广,给出了一个正反控制可逆级联模型(PNCRC),该模型拥有五种基本线型,并能正反控制目标位的输出.基于该模型给出了相应的可逆综合算法.对输入数不大于16的NCMCBench-mark函数进行测试并与已有的可逆综合... 详细信息

对一般Toffoli门进行了衍变和推广,给出了一个正反控制可逆级联模型(PNCRC),该模型拥有五种基本线型,并能正反控制目标位的输出.基于该模型给出了相应的可逆综合算法.对输入数不大于16的NCMCBench-mark函数进行测试并与已有的可逆综合方法比较,结果表明,利用该模型进行的可逆综合,垃圾信息数和可逆门数的优化效果都具有一定程度的改善.

关键词：可逆逻辑可逆门垃圾信息正反控制可逆网络

来源：评论

学校读者我要写书评

暂无评论

数据网格中请求呈现分组特性的副本管理策略研究

引用

计算机研究与发展 2009年第2期46卷 186-193页

作者：姜建锦杨广文清华大学计算机科学与技术系北京100084 清华信息科学与技术国家实验室北京100084 北京电子科技学院计算机科学与技术系北京100070

在数据网格中,数据使用模式将影响系统性能.根据一些实际系统的测试结果,数据请求呈现出分组特性.为研究当数据请求呈现分组特性时请求分布与副本分布的关系,首先定义了数据网格中副本复制策略的模型,然后研究在数据请求呈现分组特性时... 详细信息

在数据网格中,数据使用模式将影响系统性能.根据一些实际系统的测试结果,数据请求呈现出分组特性.为研究当数据请求呈现分组特性时请求分布与副本分布的关系,首先定义了数据网格中副本复制策略的模型,然后研究在数据请求呈现分组特性时平均访问延迟最小的最优策略.采用拉格朗日乘子法以及二分法对上述模型进行求解,得到了一个在请求分组模式下的最优下载副本策略.通过模拟实验对最优策略以及均匀复制策略、比例复制策略、平方根复制策略、LRU缓存策略的性能进行了比较.结果表明,最优策略所需广域网带宽最少,平均访问延迟最小.

关键词：数据网格分组副本策略访问延迟最优分布

来源：评论

学校读者我要写书评

暂无评论

基于反色技术的概率可视分存方案

引用

清华大学学报（自然科学版） 2008年第1期48卷 121-123,127页

作者：易枫王道顺李顺东戴一奇清华大学计算机科学与技术系北京100084 北京师范大学信息科学与技术学院北京100875

为了减小可视分存方案中的像素膨胀m以及提高重构秘密图像的质量(使用相对差α衡量,0≤α≤1),基于反色可视分存方案和概率模型的可视分存方案构造出了(k,n)-反色概率可视分存方案。该方案采用(k,n)-概率可视分存方案得到没有像素膨胀... 详细信息

为了减小可视分存方案中的像素膨胀m以及提高重构秘密图像的质量(使用相对差α衡量,0≤α≤1),基于反色可视分存方案和概率模型的可视分存方案构造出了(k,n)-反色概率可视分存方案。该方案采用(k,n)-概率可视分存方案得到没有像素膨胀的分存图,对每幅分存图通过反色可视分存方案进行处理后分发给每个参与者c幅分存图(c为正整数)。采用反色运算和OR运算可以重构原始密图,证明可得其相对差为1-(1-α)c,随着c的增大,重构密图的质量不断提高。该方案的像素膨胀是反色可视分存方案的像素膨胀的1/m;当c为1时,该方案是已有的概率可视分存方案。

关键词：数据安全可视分存秘密分存秘密图像分存

来源：评论

学校读者我要写书评

暂无评论

支持向量机方法中加权后验概率建模方法

引用

清华大学学报（自然科学版） 2007年第10期47卷 1689-1691页

作者：张翔肖小玲徐光祐清华大学计算机科学与技术系武汉理工大学计算机科学与技术学院武汉430063

为解决传统支持向量机方法不提供概率输出的问题,在支持向量机多类分类问题输出概率建模中,提出了加权后验概率建模方法。该方法在对多个两类支持向量机分类器的输出概率进行组合时,充分考虑了各个两类支持向量机分类器的差异。依据Baye... 详细信息

为解决传统支持向量机方法不提供概率输出的问题,在支持向量机多类分类问题输出概率建模中,提出了加权后验概率建模方法。该方法在对多个两类支持向量机分类器的输出概率进行组合时,充分考虑了各个两类支持向量机分类器的差异。依据Bayesian理论,采用后验概率作为各个两类支持向量机分类器的权系数。实验结果表明,与投票法及Pairwise Coupling方法相比,加权后验概率方法具有较低的分类错误率,不仅具有较好的分类性能,而且得到的后验概率具有较好的概率分布形态。该方法有效地解决了实际多类分类问题中支持向量机的概率建模问题。

关键词：史持向量机概率建模多类分类器后验概率

来源：评论

学校读者我要写书评

暂无评论

CDCLSAT求解器的重启策略分析

引用

计算机辅助设计与图形学学报 2018年第6期30卷 1136-1144页

作者：程睿周彩兰徐宁周强武汉理工大学计算机科学与技术学院武汉430070 清华大学计算机科学与技术系北京100084

CDCL SAT求解器在形式验证等领域应用广泛,但重启策略众多且参数控制复杂,导致通常选择默认参数下的策略,从而降低求解器的效率和易用性.为了提高CDCL SAT求解器的实用性,通过实验分析重启序列、重启间隔、间隔增长系数等因素对实例求... 详细信息

CDCL SAT求解器在形式验证等领域应用广泛,但重启策略众多且参数控制复杂,导致通常选择默认参数下的策略,从而降低求解器的效率和易用性.为了提高CDCL SAT求解器的实用性,通过实验分析重启序列、重启间隔、间隔增长系数等因素对实例求解效率的影响,以及求解初期的决策变量数等行为特征数据集与重启策略集之间的关系.实验结果表明,通过改变重启策略可以提高求解效率,所得到的最优解比缺省解的效率可提高6 959%,平均提高411%;重启策略在求解过程中表现出较大的个体差异性和一定的群体差异性;相比重启频率,重启序列对求解效率影响更大.进一步用7种重启策略集合覆盖97%案列的最优重启策略,通过求解初期的特征值变化频率与相应的重启策略关联,为后期选择最优重启策略提供技术支持.

关键词： CDCL SAT算法 SAT求解器重启策略重启序列重启策略选择

来源：评论

学校读者我要写书评

暂无评论

基于PVM的协调检查点设置关键技术

引用

小型微型计算机系统 2002年第5期23卷 524-528页

作者：王春露汪东升北京邮电大学计算机科学与技术学院北京100876 清华大学计算机科学与技术系北京100084

本文论述了基于 PVM的并行程序运行回卷恢复系统设计和实现过程中的退出再加入 PVM机制、任务号隐式映射机制、任务结束前同步机制、防止 PVM库重入机制、信号与消息协同触发机制、应用任务初始化机制以及作为前述各机制实现基础的函数... 详细信息

本文论述了基于 PVM的并行程序运行回卷恢复系统设计和实现过程中的退出再加入 PVM机制、任务号隐式映射机制、任务结束前同步机制、防止 PVM库重入机制、信号与消息协同触发机制、应用任务初始化机制以及作为前述各机制实现基础的函数包裹与换名机制等关键技术 .这些技术已经成功地应用于我们自主开发的 Cha RM系统中。

关键词：检查点设置卷回恢复容错 PVM 函数包裹计算机集群并行计算机

来源：评论

学校读者我要写书评

暂无评论

语音情感识别研究进展综述

引用

软件学报 2014年第1期25卷 37-50页

作者：韩文静李海峰阮华斌马琳哈尔滨工业大学计算机科学与技术学院黑龙江哈尔滨150001 清华大学计算机科学与技术系北京100084

对语音情感识别的研究现状和进展进行了归纳和总结,对未来语音情感识别技术发展趋势进行了展望.从5个角度逐步展开进行归纳总结,即情感描述模型、具有代表性的情感语音库、语音情感特征提取、语音情感识别算法研究和语音情感识别技术应... 详细信息

对语音情感识别的研究现状和进展进行了归纳和总结,对未来语音情感识别技术发展趋势进行了展望.从5个角度逐步展开进行归纳总结,即情感描述模型、具有代表性的情感语音库、语音情感特征提取、语音情感识别算法研究和语音情感识别技术应用,旨在尽可能全面地对语音情感识别技术进行细致的介绍与分析,为相关研究人员提供有价值的学术参考;最后,立足于研究现状的分析与把握,对当前语音情感识别领域所面临的挑战与发展趋势进行了展望.侧重于对语音情感识别研究的主流方法和前沿进展进行概括、比较和分析.

关键词：人机交互情感计算情感描述模型情感语音库情感声学特征语音情感识别

来源：评论

学校读者我要写书评

暂无评论

基于AUC的分类器评价和设计综述

引用

模式识别与人工智能 2011年第1期24卷 64-71页

作者：汪云云陈松灿南京航空航天大学信息科学与技术学院计算机科学与技术系南京210016

尽管精度(或总体错分率)普遍用作分类算法的性能评价指标,但存在诸如敏感于类先验分布和错分代价,忽略分类算法所得的后验概率或排序信息等不足.而接收者操作特性(ROC)曲线下面积则能度量算法在整个类先验分布及错分代价范围内的总体分... 详细信息

尽管精度(或总体错分率)普遍用作分类算法的性能评价指标,但存在诸如敏感于类先验分布和错分代价,忽略分类算法所得的后验概率或排序信息等不足.而接收者操作特性(ROC)曲线下面积则能度量算法在整个类先验分布及错分代价范围内的总体分类性能、后验概率和排序性能,因此在分类学习中受到越来越多的关注,由此涌现出众多研究成果.文章旨在对此作相对全面的回顾和总结,包括AUC作为性能评价指标的优势所在,基于AUC优化的算法设计,基于精度优化和AUC优化的算法间的关系以及AUC存在的不足及改进.

关键词：精度接收者操作特性(ROC)曲线 ROC曲线下面积(AUC) 性能评价指标分类器设计

来源：评论

学校读者我要写书评

暂无评论

海洋领域知识多维多层次文本分类体系

引用

清华大学学报（自然科学版） 2008年第7期48卷 1157-1159,1164页

作者：徐大伟董渊张素琴长春大学计算机科学技术学院长春130022 清华大学计算机科学与技术系北京100084

为了方便海洋领域知识的应用和管理,提出海洋领域知识多维多层次分类体系;将文本分类技术应用于海洋领域知识,阐述了多维多层次文本分类系统的设计与实现。对文本分类系统的系统结构、预处理、特征提取、训练算法、多维多层次分类等进... 详细信息

为了方便海洋领域知识的应用和管理,提出海洋领域知识多维多层次分类体系;将文本分类技术应用于海洋领域知识,阐述了多维多层次文本分类系统的设计与实现。对文本分类系统的系统结构、预处理、特征提取、训练算法、多维多层次分类等进行了详细介绍。实验测试结果表明:分类系统的查全率和准确率约为90%左右。系统的建立对于推进中国"数字海洋"信息基础建设提供了必要的支持。

关键词：文本分类数字海洋多维多层次分类体系

来源：评论

学校读者我要写书评

暂无评论

KFUR:一个新型内核扩展安全模型

引用

计算机学报 2012年第10期35卷 2091-2100页

作者：马超尹杰刘虎球李浩清华大学计算机科学与技术系北京100084 西安电子科技大学计算机科学与技术学院西安710126

保障内核扩展的安全性对操作系统具有重要意义.当前存在大量针对内核函数使用规则的攻击,内核扩展中也存在大量违反内核函数使用规则的错误,因此针对内核函数使用规则的安全性检测十分必要.虽然存在多种提高内核扩展安全性的方法,但很... 详细信息

保障内核扩展的安全性对操作系统具有重要意义.当前存在大量针对内核函数使用规则的攻击,内核扩展中也存在大量违反内核函数使用规则的错误,因此针对内核函数使用规则的安全性检测十分必要.虽然存在多种提高内核扩展安全性的方法,但很少有方法对内核函数的使用规则进行安全性检测.文中设计了KFUR(KernelFunction Usage Rule)内核扩展安全模型系统,用于在运行时检测内核扩展调用内核函数是否遵守内核函数使用规则.如果内核扩展调用内核函数满足模型安全运行条件,则允许对该内核函数进行调用,否则将错误报告给操作系统内核并终止该内核扩展的运行.文中所述研究在Linux操作系统上对KFUR安全模型系统进行实现,并将其运用于e1000网卡驱动、SATA硬盘驱动和HDA声卡驱动内核扩展.安全性评测表明安全模型系统能够对内核函数使用规则进行安全性检测,性能评测表明安全模型系统带来的开销很小.

关键词：操作系统 KFUR安全模型内核扩展内核函数使用规则

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：