•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第9801-9820项 搜索用时 128 毫秒
[首页] « 上一页 [486] [487] [488] [489] [490] 491 [492] [493] [494] [495] [496] 下一页 » 末  页»
9801.
  
针对无线传感器网络(Wireless Sensor Networks,WSN)中的节点在真实环境中的不可靠感知现象及其对目标跟踪精度的影响,首先分析计算了成对传感器节点感知存在的不确定区域及其边界,在此基础上,提出了一种基于成对节点探测不确定性的目标容错跟踪方法(Tracking… …   相似文献
9802.
下载全文  总被引:1,自引:0,他引:1
随着Internet带宽的不断增长,基于流媒体传输的视频应用得到了迅速的发展。然而,由于数字电视、视频邮件、可视电话等具体视频流应用在网络环境中很容易遭受人为的攻击,因此,视频流的网络安全成为当前亟待解决的重要研究课题之一。近年来,虽然出现了很多图像和视频的加密算法,然而很多算法… …   相似文献
9803.
研究在无证书公钥密码系统下的广义签密问题,提出了无证书广义签密方案的形式化定义,并定义其较为完全的安全模型.该安全模型下的第2类攻击者是恶意但被动的攻击者.同时,利用双线性映射设计了一个高效的无证书广义签密方案.其安全性基于计算Diffie-Hellman问题和判定性Biline… …   相似文献
9804.
下载全文  总被引:4,自引:1,他引:4
本文首先介绍了计算机取证的基本概念、发展历史及国内外研究概况,然后给出了计算机取证的基本步骤和一个具体的计算机取证实例,最后说明了目前计算机取证尚存在的问题及发展趋势.  相似文献
9805.
  
CONET V2.0是一种在微内核环境下实现的网络系统软件,由于微内核在系统构造方法上与传统的方法不同,所以该环境下的系统模块在实现上也具有其特殊之处.文章介绍了CONET V2.0的体系结构与实现思想,并着重阐述了作为该系统应用程序接口之一——SOCKET的设计与实现.… …   相似文献
胡宁宁  金志权  谢立 《软件学报》1999,10(6):614-618
9806.
提出不完备模型的两种不完备性:模型定义不完备和因果关系不完备.在模型定义不完备条件下,用在线观测与模型共同约束的方法处理观测乱序及未定义事件,得到可行的诊断轨迹.相对于基于完备模型假设下不能诊断的结论,该方法扩展了诊断方法的适用范围,放松了对模型的约束要求,在因果不完备条件下,提… …   相似文献
9807.
下载全文  总被引:28,自引:0,他引:28
GIS中的不确定性可分为位置,属性,时域,逻辑关系和完整性等几个方面,属性数据的不确定将直接影响基于GIS决策的准确性和可靠性,特别是对侧重于属性分析的领域,本文首先总结了属性不确定的含义,来源,传播,它和位置不确定性的关系,以及属性不确定性分析和可视化的理论和方法,最后概述了属… …   相似文献
9808.
用户接口管理程序UIMS是一类软件开发工具。GI是根据VLSI/CAD软件用户接口的特点而设计和实现的一个图形交互式UIMS。它基于简化事件响应模型,以使用简便为主要目标,由用户说明而自动生成相应的应用程序用户接口。它支持菜单、 键盘、窗口等输入方式,以异步并行方式为应用程序服务… …   相似文献
9809.
由于云计算的诸多优势,用户倾向于将数据挖掘和数据分析等业务外包到专业的云服务提供商,然而随之而来的是用户的隐私不能得到保证.目前,众多学者关注云环境下敏感数据存储的隐私保护,而隐私保护数据分析的相关研究还比较少.但是如果仅仅为了保护数据隐私,而不对大数据进行挖掘分析,大数据也就失… …   相似文献
9810.
基于USBD模块实现了Windows CE.NET下的USB设备驱动程序开发,并以USB鼠标驱动程序为例阐述实现过程,同时介绍了Windows CE.NET下USB驱动的基本原理,对于其它基于WindowsCE平台下的USB设备驱动程序的开发有参考价值。  相似文献
9811.
下载全文  总被引:1,自引:0,他引:1
探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节.本文提出了一种形式化的基于测试描述语言TTCN的操作语义的测试执行方法,并使用标号变迁系统刻画了这一方法的整个执行过程,同时讨论了这个方法的一个具体实现.这种形式化的基于TTCN的测试执行方法非常适合于构… …   相似文献
9812.
采用梯度方向法估计的边缘方向往往与实际边缘方向存在的较大差距,导致高通滤波的效果降低。在研究了滤波器长轴和边缘方向的夹角对滤波效果影响曲线的基础上,提出了一种新的基于区域角度搜索的各向异性高通滤波算法,以采用梯度方向法估计的边缘方向角为初始值,利用区域搜索寻找实际的边缘方向角,同… …   相似文献
9813.
本文介绍了我们独立研制的软件产品VAXELNSMG,它深入I/O底层,精心地设计数据结构与加工算法,在实时系统里填补了虚显示、虚键盘、虚终端等空白.  相似文献
9814.
下载全文  总被引:4,自引:0,他引:4
提出了基于复杂特征的VN结构模板获取模型.首先用统计决策树模型生长动词分类树,然后用最小描述长度原则对动词分类树剪枝,最后由动词分类树推导出VN结构模板.实验证明,在利用结构模板进行VN结构的识别时,这种模型比基于义类和极大似然估计原则的模型具有更高的精确率和召回率.  相似文献
赵军  黄昌宁 《软件学报》1999,10(1):92-99
9815.
为了进行快速高精度的曲面重建,提出了一种新的基于T样条的曲面自动重建算法。由于T样条控制网格具有特殊性质,因此在使用T样条进行曲面重建时,一个关键的问题是如何构造好一个T网格。该新算法在进行曲面重建时,用三角网格的参数化方法,先将数据点同胚映射到平面,然后再利用平面四叉树细分的方… …   相似文献
9816.
AUC被广泛作为衡量不平衡数据分类性能的评价标准.与二分类问题不同,AUC问题的损失函数由来自两个不同类别的样本对组成.如何提高其实际收敛速度,是一个值得研究的问题.目前的研究结果表明:使用reservoir sampling技术的在线方法(OAM)表现出很好的AUC性能,但OA… …   相似文献
姜纪远  陶卿  高乾坤  储德军 《软件学报》2014,25(10):2282-2292
9817.
MKL是知识获取系统NDKAS中实现的一个元知识学习算法,它在分类及抽象的基础上归纳出二叉树结构的元知识,用以有效地组织知识库中的规则.MKL生成的元知识满足元知识的基本性质.本文给出了MKL的算法描述,基本性质的满足性证明及算法的应用例子.  相似文献
潘金贵  陈彬  陈晶  陈世福 《软件学报》1995,6(5):316-320
9818.
下载全文  总被引:2,自引:0,他引:2
研究目的:为了对医学图像进行基于小波变换的融合。方法:首先通过学习和研究小波理论的有关知识来研究小波理论在图像融合中的应用目的和实现方法,并借助MATLAB平台,通过小波工具箱实现了图像融合,同时比较了使用这两种方法实现图像融合的效果;然后借助MATLAB中的函数,通过编程实现了… …   相似文献
9819.
介绍了一种对MPEG VIDEO码流中场景切换点进行高速检出的新方法,在计算各帧相对于预测帧的类似度之后进行了类似度的归一化,降低了cut检出算法的复杂度,提高了检出的速度。  相似文献
9820.
下载全文  总被引:21,自引:0,他引:21
图象质量的正确评价是图象信息工程领域内一项很有意义的研究课题,但现有的图象客观评价方法并不完全符合人眼视觉特性。合理地评价图象质量应充分遵循人眼的视觉特性,但由于受到人的心理、文化背景、周围环境、不同的应用场合等多种因素的影响,人眼对同一幅图象中的不同区域往往具有不同的感兴趣程度… …   相似文献
[首页] « 上一页 [486] [487] [488] [489] [490] 491 [492] [493] [494] [495] [496] 下一页 » 末  页»