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

作者：邵明李光辉李晓维中国科学院计算技术研究所信息网络室中国科学院计算技术研究所信息网络室中国科学院计算技术研究所信息网络室

本文研究了提取极小布尔不可满足子式的算法。它分为近似算法和精确算法两种,该文提出了局部预先赋值的优化方案。并且在理论上证明了它的正确性,更进一步通过实验说明了该算法在效率上获得的提高。此外通过模拟实验观察到DPLL近似提取... 详细信息

本文研究了提取极小布尔不可满足子式的算法。它分为近似算法和精确算法两种,该文提出了局部预先赋值的优化方案。并且在理论上证明了它的正确性,更进一步通过实验说明了该算法在效率上获得的提高。此外通过模拟实验观察到DPLL近似提取算法的一个有趣现象,即随着公式密度的增加,算法的提取误差会趋于下降。

关键词：布尔可满足问题极小布尔不可满足子式

来源：评论

学校读者我要写书评

暂无评论

基于MPEG-4和PCA的人脸动画合成方法

引用

计算机工程与应用 2004年第10期40卷 60-64页

作者：蓝娟陈益强徐燕湖南电力调度通信中心长沙410007 中国科学院计算技术研究所数字化技术研究室北京100080 华北电力大学(北京)计算机科学与技术系北京102206

三维人脸动画技术融合了多通道交互技术和多功能感知技术,在虚拟现实、虚拟主持人、虚拟会议、辅助教学、医疗研究、电影制作、游戏娱乐等很多领域有广泛的应用。文章分析了基于MPEG-4标准的人脸动画合成方法,并针对其在实际过程中产生... 详细信息

三维人脸动画技术融合了多通道交互技术和多功能感知技术,在虚拟现实、虚拟主持人、虚拟会议、辅助教学、医疗研究、电影制作、游戏娱乐等很多领域有广泛的应用。文章分析了基于MPEG-4标准的人脸动画合成方法,并针对其在实际过程中产生的两个问题,包括人脸模式太多和局部调整带来的影响,分别采用聚类和主成分分析(PCA)的方法进行改进。实验表明基于PCA来解决局部调整人脸模式的方法可以部分实现动画过程中表情的表达,从而极大地提高了人脸动画合成的可操作性。

关键词：人脸动画合成 MPEG-4 聚类主成分分析(PCA)

来源：评论

学校读者我要写书评

暂无评论

一种基于速率的组播拥塞控制算法及其性能分析

引用

电子学报 2004年第2期32卷 330-334页

作者：苏晓丽郑明春李锦涛孟强中国科学院计算技术研究所数字化室北京100080 山东师范大学计算机科学系山东济南250014

大部分组播拥塞控制机制都是将包丢失作为网络拥塞的信号 ,存在丢包、响应速度慢以及由此引起的协议间不公平等缺陷 .本文提出了一种新的基于速率拥塞控制算法通过对拥塞的早期检测 ,进行及时反馈 ,发送端通过调节数据包的发送间隔进行... 详细信息

大部分组播拥塞控制机制都是将包丢失作为网络拥塞的信号 ,存在丢包、响应速度慢以及由此引起的协议间不公平等缺陷 .本文提出了一种新的基于速率拥塞控制算法通过对拥塞的早期检测 ,进行及时反馈 ,发送端通过调节数据包的发送间隔进行拥塞避免和控制 ,使网络能够对拥塞做出快速反应 ,更有效地利用网络资源 .实验结果表明 ,在相同的配置下 ,采用该拥塞控制算法的网络在吞吐量。

关键词：组播拥塞控制 TCP友好 RBMCC

来源：评论

学校读者我要写书评

暂无评论

商用计算机散热方式在军用加固计算机中的应用

商用计算机散热方式在军用加固计算机中的应用

引用

全国抗恶劣环境计算机第14届学术年会

作者：高明华北计算技术研究所加固技术研究室北京100083

为了更好地设计军用加固计算机,以及使得军用加固计算机适应各种恶劣环境，本文对商用计算机散热方式在军用加固计算机中的应用进行了研究。

关键词：军用计算机计算机散热计算机加固

来源：评论

学校读者我要写书评

暂无评论

软件的变量完整性测试方法

软件的变量完整性测试方法

引用

全国第13届计算机辅助设计与图形学（CAD/CG）学术会议

作者：黄光燕李晓维中国科学院计算技术研究所信息网络室中国科学院计算技术研究所信息网络室

本文提出变量完整性测试方法来检测软件的错误,由于测试用例的输出部分很难确定,我们通过测试变量自身的定义域和变量间的一致性约束关系,只需要确定输出值的范围而不用知道其确切的值,提高了错误检测的效率。同时,检测的范围不局限于... 详细信息

本文提出变量完整性测试方法来检测软件的错误,由于测试用例的输出部分很难确定,我们通过测试变量自身的定义域和变量间的一致性约束关系,只需要确定输出值的范围而不用知道其确切的值,提高了错误检测的效率。同时,检测的范围不局限于程序最后的输出结果,而是散布在程序中的各个有意义的变量,正如调试过程中设置断点观察的那些变量,检测错误更加精准。

关键词：软件测试变量依赖图变量完整性程序切片

来源：评论

学校读者我要写书评

暂无评论

基于大偏差技术的自相似流CAC算法

引用

微电子学与计算机 2004年第3期21卷 65-68,52页

作者：姚正林刘金刚中国科学院计算技术研究所-首都师范大学计算机应用联合实验室北京100086

文章采用大偏差方法,对渐近自相似流进行了分析,提出了具有重尾分布间隔的ON-OFF流的呼叫准入控制(CAC)算法,并进行了仿真分析。

关键词：自相似流CAC算法大偏差技术网络带宽网络数据流概率密度分布函数计算机网络

来源：评论

学校读者我要写书评

暂无评论

IPv6过渡机制协议测试的方法与实现

引用

计算机应用与软件 2004年第2期21卷 1-2,113页

作者：郑红霞于东张玉军田军中国科学院计算技术研究所网络测试实验室北京100080 中国科学院研究生院北京100039

IPv6协议是因特网的新一代通信协议 ,如何实现从IPv4到IPv6的过渡是IPv6发展急需解决的关键问题。IPv6过渡机制协议定义了一系列从IPv4到IPv6的过渡机制 ,为了保证各种IPv6过渡机制协议实现版本与IPv6过渡机制协议标准的一致性以及不同I... 详细信息

IPv6协议是因特网的新一代通信协议 ,如何实现从IPv4到IPv6的过渡是IPv6发展急需解决的关键问题。IPv6过渡机制协议定义了一系列从IPv4到IPv6的过渡机制 ,为了保证各种IPv6过渡机制协议实现版本与IPv6过渡机制协议标准的一致性以及不同IPv6过渡机制协议实现之间的互操作性 ,以确保IPv4到IPv6的顺利过渡 ,需要对各IPv6过渡机制协议实现进行协议的一致性测试。本文给出了对IPv6过渡机制协议实现进行协议一致性测试的方法。

关键词： IPv6过渡机制 IPv6协议通信协议一致性测试抽象测试集互操作性测试目标提取测试集结构

来源：评论

学校读者我要写书评

暂无评论

采用扩展频谱时钟发生器降低电子系统的EMI辐射水平

采用扩展频谱时钟发生器降低电子系统的EMI辐射水平

引用

全国抗恶劣环境计算机第14届学术年会

作者：於群崔屹华北计算技术研究所加固技术室北京100083

本文以理论分析为先导,用工程实验的方法,在计算机的鼠标、调制解调器等设备上采用MAXIM公司提供的可编程扩谱时钟芯片替代设备主时钟,进行了比较测试,用实验的手段验证了使用扩展频谱时钟降低电磁辐射水平的抑源方法.

关键词：扩频通信技术计算机设备频谱时钟电磁辐射

来源：评论

学校读者我要写书评

暂无评论

一种对印刷图像进行版权保护的算法

一种对印刷图像进行版权保护的算法

引用

全国抗恶劣环境计算机第14届学术年会

作者：李俊兰周晶华北计算技术研究所加固技术室北京100083

本文提出了一种对印刷图像进行版权保护的算法,利用视觉熵对宿主图像块进行分类自适应嵌入水印,对"不可感知性"和"鲁棒性"两个主要性能进行了折衷，并且能独立检测数字水印,对常用的图像处理、噪声干扰以及打印扫... 详细信息

本文提出了一种对印刷图像进行版权保护的算法,利用视觉熵对宿主图像块进行分类自适应嵌入水印,对"不可感知性"和"鲁棒性"两个主要性能进行了折衷，并且能独立检测数字水印,对常用的图像处理、噪声干扰以及打印扫描处理有很好的鲁棒性.

关键词：版权保护模式识别数字水印计算机数学

来源：评论

学校读者我要写书评

暂无评论

网络日志规模分析和用户对Web的访问动机分析

网络日志规模分析和用户对Web的访问动机分析

引用

NCIRCS2004第一届全国信息检索与内容安全学术会议

作者：郭岩白硕张凯中国科学院计算技术研究所软件室中国科学院计算技术研究所软件室中国科学院计算技术研究所软件室

网络日志中是否确实蕴含了用户访问Web 的规律性特性?如果有,这些特性能否用语言描述出来?文章针对这些问题对实际网络日志进行了实证性的规模统计分析。研究了网络日志规模与用户数、Web页面数以及单位用户访问的Web 页面数的关系,并... 详细信息

网络日志中是否确实蕴含了用户访问Web 的规律性特性?如果有,这些特性能否用语言描述出来?文章针对这些问题对实际网络日志进行了实证性的规模统计分析。研究了网络日志规模与用户数、Web页面数以及单位用户访问的Web 页面数的关系,并研究了用户访问Web 的动机。得出了一些有用的结论。这些结论为网络日志挖掘提供了一定的研究根据和基础。

关键词： Web日志挖掘日志规模用户兴趣

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：