•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第481-500项 搜索用时 76 毫秒
[首页] « 上一页 [20] [21] [22] [23] [24] 25 [26] [27] [28] [29] [30] 下一页 » 末  页»
481.
  总被引:44,自引:3,他引:44
提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1)能够有效地分析协议的公平性,在进行公平性分析时充分考虑了通信信道的可靠性;(2)初始化拥有集合只依赖于环境,不需要人为地引入初始化假设;(3)增加了密文理解规则,能够有效地分析包含有… …   相似文献
周典萃  卿斯汉  周展飞 《软件学报》2001,12(9):1318-1328
482.
  总被引:44,自引:1,他引:44
本文对形状匹配的方法进行了回顾.介绍了一些形状表示方法,其中主要是形状简化的方法.形状匹配的方法可以分为基于各种变换不变量的形状匹配方法和基于局部特征的形状匹配方法,并根据这一分类介绍了很多有代表性的匹配方法.  相似文献
483.
  总被引:44,自引:1,他引:44
该文提出了容错超立方体网络的一个很自然的机关报概念;局部连通性;讨论了两种类型的局部连通性;大局中部k-维子立方体连通性和局部子立方体连通性;一个局部连通的超立方体网络可容许大量错误结点且能确保超立方体网络是全局连通的;给出了满足局部连通性条件的超立方体网络中的几个高效的容错路由… …   相似文献
484.
下载全文  总被引:44,自引:0,他引:44
行人检测是计算机视觉中的研究热点和难点,本文对2005-2011这段时间内的行人检测技术中最核心的两个问题—特征提取、分类器与定位—的研究现状进行综述.文章中首先将这些问题的处理方法分为不同的类别,将行人特征分为底层特征、基于学习的特征和混合特征,分类与定位方法分为滑动窗口法和超… …   相似文献
485.
  总被引:44,自引:3,他引:44
通过对信号多尺度边缘滤波和Donoho阈值决策子波域滤波方法(C-D方法)进行研究,首先给出了C-D阈值选取证明,推导了理论阈值,接着将C-D推广到非正交子波基,使其不仅适用于正交多分辨分解,亦适用于离散子波变换,本文对一维和二维信号的多种子波滤波算法进行了仿真计算,全面分析了C… …   相似文献
潘泉  戴冠中  张洪才  张磊 《电子学报》1998,26(1):115-117,121
486.
  总被引:44,自引:2,他引:44
传统的流媒体系统建立在客户-服务器模式的基础上,系统伸缩性差,服务器常常成为系统的瓶颈.而最近兴起的P2P(peer-to-peer)技术在充分利用客户资源、提高系统伸缩性等方面具有巨大的潜力,基于P2P方式的流媒体的研究也逐步引起了人们的注意.讨论了当前P2P流媒体关键技术的研… …   相似文献
487.
  总被引:44,自引:2,他引:44
本文给出一处基于logistil映射的跳频序列设计方法、运用混沌的遍历理论分析了混跳频序列的渐近统计性能,混沌跳频序列保密性好,在频带内均匀分布,跳频间隔大,汉明相关函数近似服从Poisson分布,是跳频通信的优选序列。  相似文献
凌聪  孙松庚 《电子学报》1997,25(10):79-81
488.
  总被引:44,自引:6,他引:44
Petri网的活性和公平性分别反映了所模拟的分布式系统的无死锁性和无饥饿性。本文对有界Petri网的活性和公平性进行了分析:1)指出了有界Petri网的活性和公平性在其可达标识图中的表现;2)证明了对于一个结构有界的可重复网(并带有可重复的初始标识),如果在任意可达标识下,任意两… …   相似文献
吴哲辉 《计算机学报》1989,12(4):267-278
489.
  总被引:44,自引:0,他引:44
句子间相似度的计算在自然语言处理的各个领域都占有很重要的地位,在多文档自动文摘技术中,句子间相似度的计算是一个关键的问题。由于汉语句子的表达形式是多种多样的,要准确地刻画一个句子所表达的意思,必须深入到语义一级并结合语法结构信息,由此提出了一种基于语义依存的汉语句子相似度计算的方… …   相似文献
490.
下载全文  总被引:44,自引:0,他引:44
在语音识别系统中产生错误识别的原因之一是端点检测有误差.在高信噪比情况下,正确地确定语音的端点并不困难.然而,大多数实际的语音识别系统需工作在低信噪比情况下,一些常规的端点检测方法,例如基于能量的端点检测方法在噪声环境下不能有效地工作.本文利用倒谱特征来检测语音端点,提出了带噪语… …   相似文献
胡光锐  韦晓东 《电子学报》2000,28(10):95-97
491.
下载全文  总被引:44,自引:0,他引:44
增强现实(augmented reality,AR)技术可以将虚拟的物体合并到现实场景中,并能支持用户与其进行交互,它已经成为虚拟现实研究中的一个重要领域,也是人机界面技术发展的一个重要方向。为了使人们对其有所了解,该文首先概略描述了这个领域的主要研究内容和进展情况,并详细介绍了… …   相似文献
492.
  总被引:44,自引:1,他引:44
提出了一个支持组合服务选取的QoS模型的层次结构,包括保证基本服务质量的基本服务QoS模型、反映组合服务特性的基本服务间关联QoS模型以及全面评价组合服务质量的组合服务QoS模型,并在此基础上给出了一个QoS驱动的组合服务选取算法.与同类成果相比,该模型在支持组合服务的动态选取、… …   相似文献
代钰  杨雷  张斌  高岩 《计算机学报》2006,29(7):1167-1178
493.
  总被引:44,自引:0,他引:44
随着移动设备和定位技术的发展,产生了大量的移动对象轨迹数据.轨迹数据含有丰富的时空信息,对其分析和挖掘可以支持多种与移动对象相关的应用.然而,针对轨迹数据的攻击性推理可能导致个人的兴趣爱好、行为模式、社会习惯等隐私信息暴露.另一方面,在基于位置的服务中,由于现有位置隐私保护技术并… …   相似文献
霍峥  孟小峰 《计算机学报》2011,34(10):1820-1830
494.
下载全文  总被引:44,自引:1,他引:44
随着因特网和数字技术的发展,数字媒体已成为人们获取知识的主要手段,但这也带来了一系列问题如作品侵权、非法复制和传播等.为了解决这些问题,数字水印技术作为版权保护的重要手段,已得到广泛的研究和应用.为实现水印图象的叠加,提出了一种以灰度图象为水印的空域二维自适应数字水印算法,该方法… …   相似文献
495.
  总被引:44,自引:1,他引:44
多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题.描述逻辑是知识表示和推理的形式化工具,它提供了可判定的和可靠的推理服务.该文利用描述逻辑有效的推理功能,特别是它对概念包含关系的有效判断,把它与多主体系统的服务推理结合起来.充分利用描述逻辑具有清晰模型一理论语义… …   相似文献
496.
下载全文  总被引:43,自引:1,他引:43
数字图像的清晰度评价一直是各类数字成像系统的一个关键问题,而在已有的一些的评价参数中,由于评价方法不同,均存在一些局限性,为此,针对图像的清晰程度提出一种新的评价方法,目的在于能够快速、准确地评价数字图像的清晰度。该评价方法评价参数可通过改进边缘锐度算法(EAV)得到,然后与机测… …   相似文献
497.
  总被引:43,自引:1,他引:42
信息网格是利用网格技术实现信息资源的共享、管理和提供信息服务的系统,结合中国科学院计算所织女星网格计划的研究工作,分析了信息格访问控制的关键问题,提出了一个基于角色的信息网格访问控制的模型,并讨论了信息网格访问控制的通用性问题,这一基于角色的访问控制模型正在织女星信息网格的实践中… …   相似文献
498.
  总被引:43,自引:0,他引:43
近年来,针对空间数据库索引的研究引起了人们越来越多的兴趣和关注.为了快速、有效地处理存储于空间数据库中的海量空间数据,专家学者提出了大量的基于磁盘的空间索引方法.其中,1984年由Guttman提出的R树是目前最流行的动态空间索引结构,广泛应用于原型研究和商业应用中.其后,人们在… …   相似文献
499.
下载全文  总被引:43,自引:0,他引:43
本文说明了以伪折射率为相似参量用相似理论估算蒸发波导高度的理论方法.由于海面附近折射率梯度变化可近似认为与气压无关,所以定义了伪折射率,推导了其相似公式,得到了蒸发波导高度满足的方程和一般文献都未给出的M剖面计算公式.本文给出了本方法的计算机模拟典型结果、利用实测海洋资料计算的蒸… …   相似文献
500.
  总被引:43,自引:1,他引:43
介绍了数字音频水印技术的发展背景以及在音频水印系统中广泛应用的音频掩蔽现象和MPEG心理声学模型 I。综述了典型的顽健性和脆弱性音频水印技术,顽健性算法进一步在时间域、频域、压缩域上分别阐述。分析了对数字音频水印系统的攻击,特别是在时间域能够以很小代价击败绝大多数音频水印算法的同… …   相似文献
[首页] « 上一页 [20] [21] [22] [23] [24] 25 [26] [27] [28] [29] [30] 下一页 » 末  页»