文章搜索——中国计算机期刊网

网站动态：	中国计算机期刊网介绍欢迎关注中国计算机期刊网微信订阅号！中国计算机期刊网正式发布,欢迎访问! 如何申请成为收录期刊和加盟期刊

按检索检索词： 高级检索

排序：相关度 OA 时间被引次数点击次数下载次数共有10000条符合的查询结果，以下是第6251-6260项搜索用时 81 毫秒

[首页] « 上一页 [621] [622] [623] [624] [625] 626 [627] [628] [629] [630] [631] 下一页 » 末页»

6251.

归纳类型的构造集语义

有归纳类型的马丁洛夫类型理论在经典集合论中有一简单的模型.构造演算不存在经典集合论模型,但在构造集合论中有模型.本文刻画了构造演算中归纳类型的构造集语义. 相似文献

傅育熙《软件学报》1998,9(3):236-240

6252.

基于IPFIX的DNS异常行为检测方法

提出了一种基于IPFIX（IP数据流信息输出）网络流量数据准确检测可疑和异常DNS、识别DNS流量放大攻击行为的算法。该算法已在清华大学校园网实际部署运行,能够有效检测到校园网内部DNS的异常行为并发送告警信息,从而及时控制攻击行为,实现异常流量的及时监测和预警。相似文献

马云龙姜彩萍张千里王继龙《通信学报》2014,35(Z1):5-9

6253.

基于差分方程计算循环复杂度符号化上界

下载全文

计算程序中循环的程序复杂度符号化上界可以验证程序的停机性.基于差分方程和最优化问题求解技术,给出了一种计算P*-solvable循环程序复杂度符号化上界的有效方法.分别针对含有赋值语句的循环和带条件分支的循环,提出了其程序复杂度符号化上界计算方法.与其他工作相比,该方法能够计算得… … 相似文献

邢建英李梦君李舟军《软件学报》2011,22(9):1973-1984

6254.

中国图形工程:1999

总被引：11，自引：11，他引：0

该文是关于中国图形工程的年度文献综述系列之五,考虑到国内关于图形学的研究及主论文分布于多种学术期刊,为了让图形学领域内从事理论开发的人员对图形学研究进展有一个全面的了解,以及为读者查阅相关文献提供方便,选取了３９４篇１９９９年在国内１１种图形学论文比较集中的中文期刊上发表的有… … 相似文献

潘志庚《中国图象图形学报》2000,5(10):799-810

6255.

基于矩阵置乱的自适应视频水印算法

下载全文 总被引：3，自引：0，他引：3

视频数字水印技术是当前水印研究中的一个热点。为了更好的保证视频水印的鲁棒性,提出了一种基于MPEG-2运动分量的自适应数字水印算法。该算法首先利用矩阵置乱来确定水印片段的目标图像组,然后结合人眼视觉系统选择水印比特嵌入的运动分量。实验结果表明,该算法不仅对于针对视频水印的特殊攻击… … 相似文献

刘稚洁刘延申《中国图象图形学报》2005,10(11):1471-1475

6256.

一种基于灵活市场的区分服务网络定价策略

下载全文

基于区分服务的网络模型,提出了一种新的灵活市场的定价策略。为了使定价策略能够更好地应用在区分服务网络中,在边界路由器中使用了探测和反馈机制,并且对灵活市场定价策略中的竞标值进行了归一化处理。通过仿真实验验证了基于区分服务模型的灵活市场定价策略的自适应性。相似文献

杨震崔丙锋丁炜《计算机应用研究》2005,22(7):54-56

6257.

基于ASP的中小型企业协同商务解决方案研究*

下载全文 总被引：8，自引：0，他引：8

介绍了协同商务的含义,在分析中小型企业现状的基础上提出了基于ASP的中小型企业协同商务解决方案框架,指出实现协同商务的关键技术,最后通过企业应用分析证明了此方案的可行性和有效性。相似文献

韩敏孙林夫唐慧佳《计算机应用研究》2006,23(3):67-69

6258.

分布式自主移动机器人集成环境

下载全文 总被引：6，自引：1，他引：6

本文详细介绍了一个基于异质分布式计算机系统的机器人集成环境——Robix,它提供用户简单的通讯模式,可以很方便地实现进程间通讯,同时提供对实时系统十分重要的分布式中断,Robix已在一个室外自主移动机器人系统ATB1的集成中得到应用．相似文献

吴春明张友军朱淼良《软件学报》1997,8(10):793-797

6259.

一种强干扰背景下的盲加性水印算法

下载全文 总被引：4，自引：0，他引：4

传统盲加性扩频水印系统具有鲁棒性高、检测值低、容量小的特点.载体信号的干扰是导致检测值偏低的主要原因.从高斯噪声中高斯信号的检测原理出发,对相关性检测器进行了理论分析.此外,还讨论了归一化相关检测器与信噪比的关系以及相关性检测器的应用条件.基于此分析,提出了一种改进盲加性水印算法… … 相似文献

燕晓蒙应杰王阳郁军《软件学报》2005,16(9):1678-1684

6260.

遥感多图象的自动配准方法

下载全文 总被引：8，自引：1，他引：8

自动配准是处理遥感多图象数据的重要技术。为了克服现有算法在实际应用中的不足,提出了一种新的实用配准方法。这种方法简单有效,提出的控制点数据足够且分布均匀,并通过引入量小二乘匹配使配准达到子象素精度。相似文献

王小睿吴信才《中国图象图形学报》1997,2(10):735-739

[首页] « 上一页 [621] [622] [623] [624] [625] 626 [627] [628] [629] [630] [631] 下一页 » 末页»