期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
论域理论在超大规模集成电路逻辑设计上的运用(英文)
1
作者 孙踊 胡易 《软件学报》 EI CSCD 北大核心 2000年第5期569-583,共15页
认为传统的二值布尔不利于大规模集成电路的设计 ,尤其是在逻辑门电路上 .为此引入了三值逻辑 .此三值逻辑是基于集成电路的物理性质 ,且碰巧等同于 Kleene的三值逻辑 .鉴于 Kleene三值逻辑的不完备性 ,文章将论域理论以及普通不动点算... 认为传统的二值布尔不利于大规模集成电路的设计 ,尤其是在逻辑门电路上 .为此引入了三值逻辑 .此三值逻辑是基于集成电路的物理性质 ,且碰巧等同于 Kleene的三值逻辑 .鉴于 Kleene三值逻辑的不完备性 ,文章将论域理论以及普通不动点算子运用于此 ,使三值逻辑获得此逻辑系统的单调完备性定理 .文章认为这个结果有利于集成电路设计的可靠性 。 展开更多
关键词 超大规模集成电路 逻辑设计 域理论
下载PDF
改进型重复Wiener滤波/PUM模型——实现抗噪连续语音识别 被引量：2
2
作者 林劼 Ji Ming 刘玓 《计算机工程与应用》 CSCD 北大核心 2006年第11期41-44,79,共5页
众所周知,抗噪问题是现在语音识别研究中的重点。文章描述了一种新的抗噪语音识别方法,即通过改进型重复Wiener滤波结合后验概率联合模型PUM(PosteriorUnionModel)[3]实现在噪声环境下连续字语音识别的方法。这种方法先采用改进型重复Wi... 众所周知,抗噪问题是现在语音识别研究中的重点。文章描述了一种新的抗噪语音识别方法,即通过改进型重复Wiener滤波结合后验概率联合模型PUM(PosteriorUnionModel)[3]实现在噪声环境下连续字语音识别的方法。这种方法先采用改进型重复Wiener滤波器对语音信号进行语音增强预处理,消除已知噪声,为PUM模型提供只有局部频带被噪声污染的语音信号,再利用PUM模型进行抗噪语音识别。试验表明在各种不同的噪声环境下新方法有更高的平均识别率。 展开更多
关键词 重复 WIENER 滤波 PUM模型 抗噪语音识别
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部