题名 基于H.263视频解码的错误检测和掩盖
被引量：12
1
作者
高绍帅 涂国防
机构
中国科学院研究生院信息与工程学院 中国科学院 研究生 院 信息 安全国家重点实验室
出处
《通信学报》
EI
CSCD
北大核心
2001年第12期82-87,共6页
基金
国家自然科学基金资助项目(60172041)
文摘
本文提出了一种应用于H.263视频编码传输的纠错方法,即基于H.263视频解码的错误检测和掩盖算法。这种算法可应用于公共交换电话网(PSTN),Internet或移动信道的视频通信。模拟结果表明,这种纠错方法在不降低编码效率的前提下,使在有噪声干扰的信道上传输图像的质量有显著的改善。
关键词
错误掩盖 错误检测 H.263协议 视频解码
Keywords
error concealment error detection synchronization code mode selection
分类号
TN919.81
[电子电信—通信与信息系统]
题名 使用汉明距离约束的LBP人脸识别算法
2
作者
王一丁 李鎏 杨虹
机构
北方工业大学信息 工程 学院 中国科学院研究生院信息与工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2009年第27期188-190,236,共4页
基金
国家高技术研究发展计划(863)No.2006AA01Z133~~
文摘
提出了一种新的使用汉明距离约束的LBP(局部二值化模式)人脸识别算法。传统的LBP算子使用一致性模式(Uniform Pattern)来描述图像的局部特征,并且把其他非一致性模式都归并到另外的一个类中去,对于受光照和表情变化影响的图像,这种方法的准确性会降低。假定光照、姿态、表情的影响都可以看作是某种"噪声",把信道编码中广泛应用的汉明距离引入到LBP算法中,减少由于这些噪声干扰产生的错误率。在FRGC上的实验结果显示:对于无约束环境下的人脸图片来说,该方法要优于传统的基于LBP的人脸识别方法。
关键词
人脸识别 局部二值化模式(LBP) HAMMING距离 人脸识别竞赛(FRGC)
Keywords
face recognition Local Binary Pattern（LBP） Hamming distance Face Recognition Grand Challenge（FRGC）
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
题名 直觉线性μ-演算(英文)
被引量：2
3
作者
KAZMI Syed Asad Raza 张文辉
机构
中国科学院 软件研究 所计算机科学 重点实验室中国科学院研究生院信息与工程学院 Department of Computer Science
出处
《软件学报》
EI
CSCD
北大核心
2008年第12期3122-3133,共12页
基金
the National Natural Science Foundation of China under Grant Nos.60421001,60573012 the National Basic Research Program of China under Grant No.2002cb312200~~
文摘
线性mu-演算(μTL)是线性时序逻辑(LTL)的不动点扩展.LTL是一个便于规范和论证反应式系统的方法.μTL作为比LTL表达能力更强的逻辑,用LTL表示的性质度可由μTL表示.类似于LTL的直觉线性时序逻辑(ILTL),提出一种基于直觉解释的μTL,称为直觉μTL(IμTL).确立了IμTL和ILTL的关系,比较了它们之间的表达能力.讨论了使用IμTL与安全性质和活性描述的关系以及描述"假设-保证"规范的问题.
关键词
命题线性时序逻辑 直觉线性μ-演算
Keywords
propositional linear temporal logic intuitionistic linear time μ-calculus
分类号
TP301
[自动化与计算机技术—计算机系统结构]
题名 直觉线性μ-演算中的合成推理(英文)
4
作者
KAZMI Syed Asad Raza 张文辉
机构
中国科学院 软件研究 所计算机科学 重点实验室中国科学院研究生院信息与工程学院 Department of Computer Science
出处
《软件学报》
EI
CSCD
北大核心
2009年第8期2026-2036,共11页
基金
Supported by the National Natural Science Foundation of China under Grant Nos.60721061,60573012 the National Basic Research Program of China under Grant No.2002CB312200~~
文摘
讨论了以基于前缀封闭集合的Heyting代数的直觉解释的线性μ-演算(IμTL)作为描述"假设-保证"的逻辑基础的问题,提出了一个基于IμTL的"假设-保证"规则.该规则比往常应用线性时序逻辑(LTL)作为规范语言的那些规则具有更好的表达能力,扩展了对形如"alwaysφ"等安全性质的"假设-保证"的范围,具备更一般的"假设-保证"推理能力及对循环推理的支持.
关键词
合成推理 命题线性时序逻辑 直觉线性μ-演算
Keywords
compositional reasoning propositional linear temporal logic intuitionistic linear time μ-calculus
分类号
TP301
[自动化与计算机技术—计算机系统结构]
