•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第4061-4080项 搜索用时 106 毫秒
[首页] « 上一页 [199] [200] [201] [202] [203] 204 [205] [206] [207] [208] [209] 下一页 » 末  页»
4061.
Packing问题构成了一类重要的NP难问题.对于加权3-SetPacking问题,把问题转化成加权3-SetPacking Augmentation问题进行求解,即主要讨论如何从一个已知的最大加权k-packing求得一个权值最大的(k+1)-packing.通过对问题结构的分… …   相似文献
4062.
在Waters的属性基加密方案的基础上,提出了一个在标准模型下可证安全的两方属性基认证密钥交换协议。在修改的BJM模型中,给出了所提协议在判定性双线性Diffie-Hellman假设下的安全性证明。此外,针对无会话密钥托管的应用需求,在基本协议的基础上,构造了能够有效防止会话密钥… …   相似文献
魏江宏  刘文芬  胡学先 《软件学报》2014,25(10):2397-2408
4063.
下载全文  总被引:13,自引:0,他引:13
结合人眼视觉特性,设计了一种方向Gabor滤波器,该滤波器顾及了纹理图像的方向特性;利用Gabor滤波器的带通技术,抑制次要纹理图像的主频率分量,增强目标纹理图像主频率分量,使滤波输出图像具有较大的类间离散度和较小的类内离散度,将纹理图像的分割转化为传统的图像分割,使图像的分割质… …   相似文献
4064.
模型检验是一种重要的形式化自动验证技术,通过状态空间搜索来保证软硬件设计的正确性。由于TCTL不是针对时间自动机,而是针对有限状态变迁系统的,从而无法使用TCTL直接对时间自动机进行模型检验。给出了一种从时间自动机到有限状态变迁系统的方法,并在不改变时间自动机的语义上,使时间自动… …   相似文献
4065.
下载全文  总被引:2,自引:1,他引:2
节点可以自由、自主地进入网络拓扑并且无须基础网络设施的特性,使得移动Ad hoc网络广泛应用于诸如灾难救援、战场等多种环境中.传统的移动Ad hoc网络路由协议往往考虑以最少跳数为衡量依据的\"最短路径,,约束.相关研究表明,最小跳数的路径并不能保证最小的端到端延迟.随着对Ad … …   相似文献
谢飞  张信明  郭嘉丰  陈国良 《软件学报》2005,16(9):1661-1667
4066.
为自动检测出眼底图像中的硬性渗出,构建眼底图像的糖尿病视网膜病变自动筛查系统,提出一种基于RBF神经网络和阈值分割的硬性渗出自动检测方法.首先,利用基于最小类内离散度的改进Otsu分割方法对眼底图像绿色通道进行粗分割获取病灶候选区域;然后,利用logistic回归对候选区域的多个… …   相似文献
4067.
下载全文  总被引:3,自引:0,他引:3
针对视频编辑软件中的色键效果算法,从理论上进行了深入研究。通过 数学建模,得到了求解前景中视频对象的蒙片方程和通式,在分析特例的基础上,提出了一种双前景抠象技术,并给出了相应的定理及证明,利用它可将任意颜色的视频对象从任意底色中抠出,并通过C语言编程实现了该技术。  相似文献
4068.
下载全文  总被引:4,自引:0,他引:4
基于空间数据的表示不仅要依赖于尺度特征的研究,而且只有在特定的尺度下提取的要素特征才具有现实意义。由于不同尺寸的结构元素适合不同空间尺度的图像特征。结构元素尺寸过大或者过小都会达不到最佳的特征边缘提取效果。因此结构元素尺寸的设计在提取图像特征信息中起着重要的作用。通过数学形态学梯… …   相似文献
4069.
  
分析了现有操作系统内核调试方法的优缺点。为简化内核开发过程,提出了一种使用应用开发工具调试操作系统内核的新方法,并构造了相应的内核调试框架。研究了在应用开发环境中调试内核的关键技术,包括中断模拟、异常处理、多道程序执行环境的建立等。  相似文献
4070.
社交网络是人类借用计算技术和信息技术进行信息交流、建立人际交互关系等社会活动的一种新型工具,已成为社会计算中研究社会软件的核心课题之一。社交网页取证旨在对用户信息进行证据获取、固定、分析和展示,提供直接、有效、客观、公正的第三方依据。在互联网飞速发展的背景下,社交网页取证面临着用… …   相似文献
吴信东  李亚东  胡东辉 《软件学报》2014,25(12):2877-2892
4071.
下载全文  总被引:1,自引:0,他引:1
提出一种基于质点平流的增强型IBFV可视化算法,可显著增加IBFV算法生成图像的对比度。首先通过质点平流获得一系列的矢量纹理;然后将这些矢量纹理作为IBFV算法中的背景图像,代替原来的噪声纹理与帧缓存中的纹理进行图像混合生成新图。通过这种方式不仅可以准确反映流场的动态变化,而且增… …   相似文献
4072.
下载全文  总被引:1,自引:0,他引:1
讨论了基于多Agent的特征提取模型的工作流程,主要研究了该多Agent模型的构建框架和模型中单个Agent的通用结构,借助JAFMAS这一面向MAS的基于Java的Agent框架实现了系统的建立,并最后给出了所举例子的实际运行结果。  相似文献
4073.
  
认证测试是一种新型的在串空间模型基础上提出来的用于分析协议认证属性的形式化方法,该方法因简单实用而受到学者的广泛关注,但其不能分析协议中认证测试组件嵌套加密的情况,这极大地限制了它的应用范围.而现存的针对该局限性的改进方案,由于没有从本质上对串空间模型中关于消息项结构关系方面的语… …   相似文献
宋巍涛  胡斌 《计算机科学》2015,42(1):149-154,169
4074.
合理的资源配置能够有效地改进非结构化P2P网络的查询性能,提高资源副本的可获得性.当前,资源配置研究多集中在各种类型资源副本的定量分析和分布式配置策略上,节点独立地选择资源副本进行配置,并未考虑节点间配置行为的交互作用.P2P网络中节点只维护若干与邻居节点的连接,掌握局部信息,因… …   相似文献
4075.
  
将IPv6协议引入物联网感知层是物联网感知层的重点研究方向。由于IPv6协议与IEEE802.15.4协议数据载荷长度之间的不匹配,其上层协议数据包无法直接与底层协议进行数据交换,因此采用适配层中的分片与重组算法协议解决两种协议载荷长度的不兼容问题。为了具体分析算法性能,对6Lo… …   相似文献
刘乔寿  张伟  王汝言  吴大鹏 《计算机科学》2014,41(7):176-180,215
4076.
  总被引:1,自引:0,他引:1
传统的基于最近邻的图像标注方法效果不佳,主要原因在于提取图像视觉特征时,损失了很多有价值的信息.提出了一种改进的最近邻分类模型.首先利用距离测度学习方法,引入图像的语义类别信息进行训练,生成新的语义距离;然后利用该距离对每一类图像进行聚类,生成多个类内的聚类中心;最后通过计算图像… …   相似文献
4077.
  总被引:1,自引:0,他引:1
人们在对话过程中,除了使用口语交互外,还会很自然地利用表情、姿态等多模态信息辅助交流。重点分析并阐述了如何将这些多模态交互方式有效地融合到人机对话模型中,并实现一个面向自然交互的多模态人机对话系统。首先根据不同通道(如情感、头姿)对语音交互的影响,将它们主要分为信息互补、信息融合… …   相似文献
4078.
  
SIFT(scale-invariant feature transform)算法自提出以来,就因其优越的性能(尺度不变性、旋转不变性、抗噪声能力强、受光照变化影响小等),而备受图像图形领域研究者的青睐。该算法的核心特征(SIFT特征)基于局部梯度,能够抵抗图像大幅度的伸缩、旋转… …   相似文献
4079.
下载全文  总被引:1,自引:0,他引:1
针对图像数据量大,运动目标检测算法复杂,而在实际应用中又要求实时对图像处理等特点,以DSP器件TMS320DM642为核心搭建了实时运动目标检测系统的硬件平台。为了有效检测出运动目标,提出一种将基于混合高斯模型的背景差分法和三帧差分法相结合的算法。实验表明,该系统能有效检测出运动… …   相似文献
4080.
下载全文  总被引:9,自引:0,他引:9
给出了一个新的基于任意多面体网格骨架的构造性自由曲面造型算法.算法首先由每个给定骨架构造出一个距离场,然后利用隐函数光滑过渡技术和CSG(constructive solid geometry)表示技术将所构造的隐式曲面自由地两两粘合成一张光滑曲面.隐式曲面的多边形化算法则用来生… …   相似文献
方向  鲍虎军  王平安  彭群生 《软件学报》2000,11(9):1214-1220
[首页] « 上一页 [199] [200] [201] [202] [203] 204 [205] [206] [207] [208] [209] 下一页 » 末  页»