检索结果-南通市图书馆

快速运动估计的赢墩领出策略及在H.264中的应用

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2007年第1期43卷 86-89页

作者：李军李艳辉暨南大学珠海学院计算机系广东珠海519070

运动估计算法复杂度高,是H.264协议中最耗时的步骤,研究高效的运动估计算法对于满足视频的实时性是必要的。论文以桥牌游戏为例,说明了用于运动估计的赢墩领出策略,优化设计了匹配误差序列,以重排匹配搜索的顺序,进一步加快了运动估计... 详细信息

运动估计算法复杂度高,是H.264协议中最耗时的步骤,研究高效的运动估计算法对于满足视频的实时性是必要的。论文以桥牌游戏为例,说明了用于运动估计的赢墩领出策略,优化设计了匹配误差序列,以重排匹配搜索的顺序,进一步加快了运动估计的速度,总结出了在H.264中集成赢墩领出策略的运动估计算法。对比实验表明图像边缘强度与匹配误差成正比趋势,以此为基础的新算法大大减少了运算次数,耗时低于全局搜索算法的1/10。

关键词：赢墩领出策略运动估计快速算法 H.264

在线全文

学校读者我要写书评

暂无评论

基于K叉树的优先队列

系统工程理论与实践 1999年第7期19卷 119-122页

作者：唐开山绍兴文理学院计算机系

本文提出一种基于Ｋ叉树的优先队列的算法，通过建立Ｋ叉树堆的数据结构，从ｎ个元素中得到ｍ个元素的优先队列，其算法的最坏时间复杂度为Ｏ（２ｍｌｏｇ２ｎ＋２ｎ）．本算法是基于二叉树堆的优先队列算法的推广，并具有较高的运算效率．

关键词：优先队列 K叉树 K叉树堆数据结构

欧拉猜想的计算机证明─—六阶正交拉丁方对的不存在性

在线全文

学校读者我要写书评

暂无评论

南开大学学报（自然科学版） 1995年第3期28卷 99-103页

作者：刘山中国民航学院计算机系

本文阐述了这样的一个算法，即利用一个栈组通过构造及搜索解答树的所有结点，证明了Ｅｕｌｅｒ猜想在ｎ＝６时不成立，亦即没有六阶的拉丁方对。

关键词：正交拉丁方计算机证明欧拉猜想 36位军官问题

在线全文

学校读者我要写书评

暂无评论

单位圆内代数体函数关于重级的T半径

数学年刊（A辑） 2012年第6期33卷 719-726页

作者：孔荫莹广东商学院数学与计算科学学院广州510320

应用Ahlfors覆盖曲面的方法和2个型函数,证明了代数体函数在单位圆内关于重级的T半径的存在性,并推广了代数体函数在复平面上关于T方向的相关结论.

关键词：代数体函数 T方向 T半径型函数

LF拓扑空间之间投影映射是开映射的一个充要条件

在线全文

学校读者我要写书评

暂无评论

模糊系统与数学 1998年第2期12卷 21-23页

作者：姜保庆河南大学计算机系

王国俊先生曾提出这样一个问题［１］：设｛（ＬＸｔ，δｔ）｝ｔＴ是一族ＬＦ拓扑空间，（ＬＸ，δ）是其乘积空间，Ｐｔ：ＬＸ→ＬＸｔ（ｔＴ）是投影映射，问Ｐｔ是开映射的充要条件是什么？本文在较广范围──形如（ＬＸ，）的拓扑... 详细信息

王国俊先生曾提出这样一个问题［１］：设｛（ＬＸｔ，δｔ）｝ｔＴ是一族ＬＦ拓扑空间，（ＬＸ，δ）是其乘积空间，Ｐｔ：ＬＸ→ＬＸｔ（ｔＴ）是投影映射，问Ｐｔ是开映射的充要条件是什么？本文在较广范围──形如（ＬＸ，）的拓扑分子格──内讨论类似问题，给出了上述问题的一个解答。

关键词：拓扑分子格开映射 LF拓扑空间投影映射

在线全文

学校读者我要写书评

暂无评论

一种基于π^t演算的安全协议建模方法

计算机研究与发展 2010年第4期47卷 613-620页

作者：韩进蔡圣闻王崇峻赖海光谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 解放军理工大学指挥自动化学院计算机系南京210007

安全协议模型是安全协议分析与验证的基础,现有的建模方法中存在着一些缺点,如:建模复杂、重用性差等.为此提出了一种类型化的π演算:πt演算,并给出了相应类型推理规则和求值规则,πt演算的安全性也得到了证明.πt演算可以对安全协议... 详细信息

安全协议模型是安全协议分析与验证的基础,现有的建模方法中存在着一些缺点,如:建模复杂、重用性差等.为此提出了一种类型化的π演算:πt演算,并给出了相应类型推理规则和求值规则,πt演算的安全性也得到了证明.πt演算可以对安全协议、协议攻击者进行形式化建模.基于πt演算的安全协议模型及其建模过程使用NRL协议为例做出了说明.同时给出了攻击者模型,并证明了基于πt演算的安全协议攻击者模型与D-Y攻击者模型在行动能力上是一致的.这保证了基于πt演算的安全协议模型的验证结果的正确性.基于πt演算的建模方法能在协议数据语义、协议参与者知识方面实现细致的描述.与同类方法相比,该方法可提供多种分析支持,具有更好的易用性、重用性.分析表明,该方法可以在建模中发现一定的安全协议漏洞.

关键词：安全协议模型 πt演算安全协议验证类型化系统形式化方法

在线全文

学校读者我要写书评

暂无评论

训练样本质量对人工神经网络性能的影响

中国机械工程 1997年第2期8卷 50-53页

作者：蒋林陈涛屈梁生西安邮电学院计算机系西安市710061

分析人工神经网络预报中的误差来源。推导人工神经网络预报过程中预报误差和训练样本质量之间的关系；讨论训练样本质量对用于时间序列预报人工种经网络性能的影响；并从统计的观声、引入用于评价训练样本质量的数字指标“一致度’（DC... 详细信息

分析人工神经网络预报中的误差来源。推导人工神经网络预报过程中预报误差和训练样本质量之间的关系；讨论训练样本质量对用于时间序列预报人工种经网络性能的影响；并从统计的观声、引入用于评价训练样本质量的数字指标“一致度’（DCT）；还随新指标给出一些模拟结果和相应的建议，以便在人工种经网络训练中准确地选择训练样本。

关键词：人工神经网络训练样本质量预报

在线全文

学校读者我要写书评

暂无评论

面向Internet的IPsec安全体系

计算机工程与应用 2002年第5期38卷 159-160,178页

作者：杨宏宇孙济洲谢丽霞天津大学计算机科学与工程系天津300072 中国民航学院计算机系天津300300

介绍了一种新型的Internet安全体系结构-IPsec体系。并描述了IPsec体系结构的一些协议,例如IPsec协议和验证报头协议(AHP)、封装安全有效负荷协议(ESPP)、Internet密钥管理协议(IKMP)。阐述了这些协议的特点和实现要求。

关键词： Internet IPsec协议安全体系结构隧道模式

基于改进的SVM分类器的医学图像分类新方法

在线全文

学校读者我要写书评

暂无评论

计算机应用研究 2008年第1期25卷 53-55页

作者：蒋芸李战怀西北师范大学数学与信息学院计算机系兰州730070 西北工业大学计算机学院西安710072

支持向量机(SVM)是一种准确度高的分类器,具有很好的容错和归纳能力;粗糙集理论方法在处理大数据量、消除冗余信息等方面具有优势。将两者相结合提出一种改进的SVM分类算法ISVM,并将其应用于乳腺X光图像分类。实验结果表明,ISVM的分类... 详细信息

支持向量机(SVM)是一种准确度高的分类器,具有很好的容错和归纳能力;粗糙集理论方法在处理大数据量、消除冗余信息等方面具有优势。将两者相结合提出一种改进的SVM分类算法ISVM,并将其应用于乳腺X光图像分类。实验结果表明,ISVM的分类精确度可达到96.56%,比SVM的分类精确度(92.94%)要高3.42%,同时错误分辨率也平均接近100%。

关键词：改进的支持向量机方法粗糙集乳腺X光图像