•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第3921-3940项 搜索用时 124 毫秒
[首页] « 上一页 [192] [193] [194] [195] [196] 197 [198] [199] [200] [201] [202] 下一页 » 末  页»
3921.
下载全文  总被引:2,自引:0,他引:2
函数执行上下文正确性是操作系统内核程序最容易违反且难以检查的正确性性质.应用传统的技术检查该类错误都有一定的困难和局限性.提出一个验证函数执行上下文正确性的框架PRPF,详细描述了其建模过程和相关算法.PRPF相比传统技术的优势有:直接检查源代码、无须编写形式化的验证规约、较低的… …   相似文献
汪黎  杨学军  王戟  罗宇 《软件学报》2007,18(4):1056-1067
3922.
本文指出ES所固有的一些困难引起了ES的设计和维护上的困难,提出了ES的软件工程方法的观点、描述认知过程的知识说明和建造ES过程的PLWF模型,用来解决ES的设计阶段和维护阶段产生的问题。  相似文献
3923.
下载全文  总被引:11,自引:0,他引:11
Agent结构的建立是Agent研究的重要内容.尝试着结合BDI结构和情境演算的优点,提出了一个能够刻画Agent的多种特征,尤其是自主性的智能体结构AASC(Agent architecture based on situation calculus).此结构既能表示Agent… …   相似文献
李斌  吕建  朱梧槚 《软件学报》2003,14(4):733-742
3924.
量子安全直接通信是继量子密钥分配之后提出的又一重要量子密码协议,它要求通信双方在预先不需要建立共享密钥的情况下就可以实现消息的保密传输.给出了一个新的量子安全直接通信方案,该方案利用量子Calderbank-Shor-Steane(CSS)纠错码和未知量子态不可克隆等性质,方案的… …   相似文献
吕欣  马智  冯登国 《软件学报》2006,17(3):509-515
3925.
下载全文  总被引:1,自引:0,他引:1
LOF算法是一个著名的局部离群点查找方法,该方法赋予了表征每一个空间点偏离程度的数值。但LOF算法存在效率低和性能差的问题,为此对该算法进行了以下两个方面的改进:第一,提出了降低该算法时间复杂度的两步改进方法,并对这两步改进方法的时间复杂度也进行详细分析,第二,使得该算法在查找局… …   相似文献
3926.
下载全文  总被引:9,自引:0,他引:9
概述了图像的可视化特征如颜色、纹理、形状和运动信息,时空关系分析,以及多特征目标提取和相似度量度;分析了视频语义的提取,语义查询、检索;探讨了视频语义检索的性能评估,存在的问题和发展方向。  相似文献
3927.
下载全文  总被引:2,自引:0,他引:2
提出一种恢复场景中所有物体的反射特性的方法.算法以一个全景图、场景的完整几何模型和光源信息为输入,结果是场景的一个完整反射模型.恢复是以逐步求精的方式进行的.先假定物体表面是漫反射面并生成一幅全景图,然后算法逐步迭代,比较绘制的全景图和原始全景图,如果有的物体的误差超过某个阈值,… …   相似文献
孙其民  吴恩华 《软件学报》2003,14(10):1796-1805
3928.
  
情感识别是解决智能教学系统中情感缺失问题的关键技术。针对识别时如何从视频中有效提取人脸表情时空特征的问题,提出一种采用堆叠卷积独立子空间分析模型进行无监督特征提取的识别方法,来对疑惑、愉快和厌倦3种学习中最常出现的情感进行识别。该方法检测视频中的人脸区域并进行规范化处理,采用堆叠… …   相似文献
3929.
下载全文  总被引:14,自引:4,他引:14
XML查询语言将复杂路径表达式作为核心内容.为了加速路径表达式处理,基于路径分解和结构连接操作的处理策略需要更深入的研究.以目标节点为导向的XML路径查询处理框架被提了出来.该方法利用了扩展基本操作来减少连接操作的数目.在路径分解和查询计划选择的过程中,利用查询树中的目标节点来避… …   相似文献
王静  孟小峰  王宇  王珊 《软件学报》2005,16(5):827-837
3930.
下载全文  总被引:2,自引:0,他引:2
介绍了传感器网络中查询处理的一些基本概念和性质,形象地描述了查询处理的体系结构,并对其中用到各项技术进行了介绍和分析,同时还对该领域的研究热点进行了分析和展望。  相似文献
3931.
下载全文  总被引:5,自引:0,他引:5
针对目前常用的垃圾邮件过滤技术普遍存在误报和漏报与分类过滤效率之间的矛盾问题,提出了一种改进的垃圾邮件过滤算法。在对这种新算法进行仿真测试后发现,新算法不仅有效地降低了漏报率和误报率,同时也减少了分类时间,为改进现有垃圾邮件过滤系统提供了一条新的解决方法和途径。  相似文献
3932.
提出一种基于图像分解的人脸特征表示方法(FRID),首先通过多方向操作,把一幅图像分解成一系列方向子图像;然后,通过欧拉映射操作,把每幅方向子图像分解成实部和虚部图像,针对每幅实部和虚部图像,分别划分出多个不重叠的局部图像块,通过统计图像块上不同数值的个数生成相应的实部和虚部直方… …   相似文献
3933.
针对低照度或夜晚条件下彩色图像信噪比低、图像细节不够清晰;而近红外相机在该条件下能够得到纹理、边缘等细节信息丰富的图像,但缺乏色彩信息的问题,提出一种改进的双边滤波图像融合算法,实现在低照度条件下得到成像清晰的彩色图像。算法对双边滤波的核函数重新设计,用幂函数取代指数函数,取消人… …   相似文献
3934.
下载全文  总被引:12,自引:1,他引:12
Xpath成为XML数据查询的基本机制.Xpath中表达节点之间的祖孙关系的‘//'和任意匹配字符的‘*'等非确定操作符,增强了Xpath表达方式的灵活性,但同时引入了Xpath处理的复杂性.如何利用DTD减少Xpath中的不确定操作符,从而提高Xpath的执行效率成为一个基本的… …   相似文献
高军  杨冬青  唐世渭  王腾蛟 《软件学报》2004,15(12):1860-1868
3935.
下载全文  总被引:6,自引:0,他引:6
从最优决策的角度出发,将人工智能中的再励学习方法引入主动队列管理的研究中,提出了一种基于再励学习的主动队列管理算法RLGD(reinforcement learning gradient-descent).RLGD以速率匹配和队列稳定为优化目标,根据网络状态自适应地调节更新步长,… …   相似文献
3936.
下载全文  总被引:4,自引:0,他引:4
对局域网和广域网上大量突发网络流量的分析结果表明,网络流量普遍存在着自相似性和长相关性,其中Hurst指数是表征网络流量突发特性的重要参数.通过在小波域内对网络流量这种特性的分析,给出了其小波系数的本质和统计特性.针对基于小波的Hurst指数估计方法的自适应问题,结合方差分析给出… …   相似文献
洪飞  吴志美 《软件学报》2005,16(9):1685-1689
3937.
纹理进化系统是一个面向近似规则纹理合成的算法,系统的主要特点是在进化理论的基础上,通过定义相关行为来优化纹理块在被拼接后无法改变而引发的累积误差问题.提出一种新的基于协同进化思想的纹理合成方案,通过新定义的个体选取及排布方式,可适用任意方向周期的纹理;通过去除迁徙、预建立适应度表… …   相似文献
3938.
为了更有效地进行图像编码,先用U-正交函数系构造出一类新型的U-正交变换, 并以三次U-正交变换为例,研究了基于U-正交变换的图像编码算法。该编码算法首先通过离散U-正交函数系的基函数构造U-正交变换的变换矩阵,并根据U-正交矩阵的对称性给出了U-正交变换的快速算法; 然后应用三… …   相似文献
3939.
下载全文  总被引:15,自引:0,他引:15
与普通的数字签名不同,验证者要知道一个证实数字签名的有效性,必须得到一个称为证实者的第三方的合作与帮助.但除了签名者,其他任何人(包括证实者)都不能以签名者的名义产生有效的证实签名.同时,只要参与了验证,证实者就不能欺骗验证者.进一步地,在必要的时候,证实者还可以将证实签名转化为… …   相似文献
王贵林  卿斯汉 《软件学报》2004,15(5):752-756
3940.
基于扩展规则的方法是一种定理证明方法.在IER(improved extension rule)扩展规则算法的基础上,提出了IMOM(improved maximum occurrences on clauses of maximum size)和IBOHM(improved B… …   相似文献
李莹  孙吉贵  吴瑕  朱兴军 《软件学报》2009,20(6):1521-1527
[首页] « 上一页 [192] [193] [194] [195] [196] 197 [198] [199] [200] [201] [202] 下一页 » 末  页»