•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第8781-8800项 搜索用时 121 毫秒
[首页] « 上一页 [435] [436] [437] [438] [439] 440 [441] [442] [443] [444] [445] 下一页 » 末  页»
8781.
下载全文  总被引:44,自引:3,他引:44
提出了一种新的形式化分析方法,可用于分析电子商务协议.与Kailar逻辑相比,它有3个优点:(1)能够有效地分析协议的公平性,在进行公平性分析时充分考虑了通信信道的可靠性;(2)初始化拥有集合只依赖于环境,不需要人为地引入初始化假设;(3)增加了密文理解规则,能够有效地分析包含有… …   相似文献
周典萃  卿斯汉  周展飞 《软件学报》2001,12(9):1318-1328
8782.
下载全文  总被引:5,自引:0,他引:5
作为一种应用系统从位于Internet上的远程服务结点获取数据和计算性服务并进行集成处理的机制,Internet市场受到了广泛重视.该文给出了一种基于扩展标记语言(extensible markup language,简称XML)的Internet市场服务描述方式.它较好地权衡了… …   相似文献
8783.
Android手机在全球占有很大的市场份额,基于Android衍生的第三方系统也为数不少.针对Android系统重大安全问题频发的现状,提出一种使用Clang编译前端对Android源码进行静态分析的方法.该方法从已公布的CVE漏洞中提取规则和模型,通过改进的Clang编译前端,… …   相似文献
8784.
  总被引:1,自引:0,他引:1
如何准确识别图像中的类别信息,是计算机视觉和模式识别领域的重要研究问题。遥感卫星图像数据,尤其是高光谱等遥感图像数据的出现,将空间信息与光谱信息集成于同一数据集中,丰富了图像信息来源。如何准确地识别高光谱图像中的地物类别,已经成为了图像处理和模式识别领域的热点问题。面向高光谱图像… …   相似文献
张帆  杜博  张良培  张乐飞 《计算机科学》2014,41(12):275-279
8785.
  
事件推理的研究需要事件的知识作支撑。事件知识作为一种常识性知识,其获取仍然是知识获取的瓶颈。提出一种事件知识分析方法,以从多个视角分析事件的前提和后果知识。在对事件知识分析中遵循基础分析、知识丰富、知识优化的流程。针对分析过程中所得知识不够全面和准确的问题,总结得出生理、心理、社… …   相似文献
8786.
本文对现有的电视图象分类算法和检索算法作了的分析,并在图象分类方面提出了一种自适应分类算法;在检索方面提出了一种基于颜色的样本与非样本学习相结合的方法。自适应分类算法的计算量与相邻帧间的变化量成正比;对纡绝大多数相邻帧,只要计算数目极小的区域就可完成分类工作。实验证明,本文提出的… …   相似文献
8787.
  
提出一种基于随机服务模型的可靠性量化计算方法,该策略采用随机服务系统描述网格资源的预留服务模型,通过分析预留请求的统计特征来评估接纳当前预留请求不发生违约的概率,然后依据备选资源集合中的违约概率来进行预留请求接纳和任务资源选择,从而提高资源预留时的可靠性。实验表明,与传统的预留策… …   相似文献
8788.
下载全文  总被引:18,自引:0,他引:18
在对于手结构和手关节运动深入分析的基础上,建立了基于约束的,以关节为节点的“父,子物体”链接的虚拟手模型,绘制了虚拟手。通过对数据手套及接口的分析与设计,根据手运动类型的约束条件及图形变换原理,实现了基于数据手套的手势合成,碰撞检测和碰撞处理的三维交互操作环境,在该虚拟环境中,虚… …   相似文献
8789.
基于前期工作——可信可控网络体系结构TCNA(trustworthy and controllable network architecture),提出了一种QoS资源控制模型(resource control model for QoS,简称RCMQ).该模型从网络可控角度将Q… …   相似文献
曲延盛  李伟  罗军舟  王鹏 《软件学报》2011,22(11):2782-2794
8790.
闭世界假设(CWAs)是逻辑数据库中一类主要的隐含完备.本文给出了一种参数化CWA的一般定义,使用这种参数化定义,已知的以及新的CWAs可作为特殊情况推导出,并可对数据库完备的概念进行更有效的描述.  相似文献
聂培尧 《软件学报》1995,6(9):560-566
8791.
针对矢量图形的版权保护问题,提出了一种基于SVM分类融合的多矢量曲线水印检测方法。该方法在水印嵌入阶段,对多条曲线嵌入由嵌入密钥生成的水印;在检测阶段,对多条曲线检测由检测密钥生成的水印,同时多条曲线的检测相关值按一定的顺序构成一个特征向量;然后由SVM两类别分类器对该特征向量进… …   相似文献
8792.
下载全文  总被引:1,自引:0,他引:1
将流量工程技术应用于网络规划(网络改进)以构建满足业务流量多QoS需求的高性能网络,这是传统网络改进通过设备扩容方法难以有效解决的NPC问题,并在此基础上提出基于流量工程的新型网络改进算法.算法采用网络连通扩充启发式算法保证拓扑约束,基于多QoS约束路由算法满足流量工程约束,并使… …   相似文献
杨挺  孙雨耕  胡华东  孙永进 《软件学报》2005,16(7):1352-1358
8793.
下载全文  总被引:22,自引:4,他引:22
本文是并行数据库的查询处理并行化技术和物理设计方法”一文的续篇,继续综述并行数据库系统的另外两个重要研究领域:并行数据操作算法和并行数据库查询优化技术.最后,作为并行数据库系统研究与进展情况综述的结尾,本文将探讨并行数据库系统今后的研究方向和问题.  相似文献
李建中 《软件学报》1994,5(10):11-23
8794.
下载全文  总被引:1,自引:0,他引:1
针对无线传感器网络的不同应用需求,将其分为4种类型:节点平行于目标平面的延时覆盖、无延时覆盖、节点位于目标平面中的延时覆盖及无延时覆盖.综合考虑节点感知区域和可能感知区域等因素,为每种应用构建了不同的感知模型.围绕不同的感知模型,针对节点部署方式和部署个数进行了分析,并且对结果进… …   相似文献
赵静  曾建潮 《软件学报》2012,23(8):2104-2114
8795.
2011年,公安部.F发了关于部署和贯彻GB/T28181的相关文件,强制要求于2015年之前实现基于GB/T28181协议的视频监控系统的搭建.为符合公安部专用网的需求,提出了安防监控系统中中心信令控制服务器的设计方案.它为SIP客户端、设备、媒体服务器和网关提供注册、路由选择… …   相似文献
8796.
在图像处理中, 若操作图像某区域中的像素, 必须先提取这些待处理的像素。待处理的像素区域可以是规则的, 也可能是不规则的。对于规则区域, 可采用经典的图形学算法完成选取; 对于不规则区域, 可通过适当方法将其转换为规则区域来完成选取。讨论了24位真彩色图像文件的结构、位图数据阵列… …   相似文献
卫洪春 《计算机系统应用》2014,23(1):128-131,27
8797.
相继干扰消除(successive interference cancellation,简称SIC)是一种多包接收技术,它从冲突信号中解码报文.SIC可有效减轻无线网络中的干扰.SIC的顺序解码特性给链路调度带来了新的挑战.提出并发图以刻画SIC导致的链路相关性.基于并发图,定义… …   相似文献
8798.
下载全文  总被引:20,自引:2,他引:20
如何从遥感图象上提取道路特征已有多种方法,如边缘探测与追踪、线性滤波、利用各种空间关系进行道路特征识别,基于知识的道路网络提取以及数学形态学等,但尚有许多问题有待解决。为了方便GIS应用以及地图更新,提出了一种基于数学形态学的道路网络分析方法,用于对遥感图象上已分类的道路信息进行… …   相似文献
8799.
性能监控模型和技术是当前Internet运行和管理所面临的关键问题之一.提出了一个面向对象的Internet性能监控模型.该模型已成功运用于CERNET全国主干网络的性能管理.首先综述了当前的各类网络性能管理技术及主要问题.进而抽象出大型计算机互联网络性能管理的主要需求和目标.针… …   相似文献
8800.
下载全文  总被引:1,自引:0,他引:1
如何对3维运动数据进行自动识别,是提高数据利用效率和进行计算机动画创作的前提。为了有效地识别运动数据,需要把运动数据投影到非线性流型低维子空间中,先识别出运动的内在结构,然后对运动的各个关节点分别进行学习,最后基于集成学习的方法产生强的隐马尔可夫学习器,以便能够对一些常见的运动类… …   相似文献
[首页] « 上一页 [435] [436] [437] [438] [439] 440 [441] [442] [443] [444] [445] 下一页 » 末  页»