•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第271-280项 搜索用时 140 毫秒
[首页] « 上一页 [23] [24] [25] [26] [27] 28 [29] [30] [31] [32] [33] 下一页 » 末  页»
271.
下载全文  总被引:60,自引:6,他引:60
随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为日益紧迫的问题.在为此提出的诸多理论和方法中,模型检测(model checking)以其简洁明了和自动化程度高而引人注目.模型检测的研究大致涵盖以下内容:模态/时序逻辑、模型检测算法及其时空效率(特别是空间效率)的改进以… …   相似文献
林惠民  张文辉 《电子学报》2002,30(Z1):1907-1912
272.
273.
下载全文  总被引:60,自引:0,他引:60
传统的基于表面的数字模型在构建地层时会导致地层模型显示和分析的复杂化,例如在基于剖面的地层轮廓重建时,不同剖面之间轮廓线的分叉问题以及对应和拼接问题等。为了有效地显示在维层状地层的结构,建立了一种基于三棱柱体体元的数字地层模型,同时给出了相关的剖分算法,由于体元的引入,致使相应的… …   相似文献
274.
下载全文  总被引:60,自引:4,他引:60
作为数据挖掘核心任务之一的关联规则发现已经得到了广泛的研究。而由二元关系导出的概念格则是一种非常有用的形式化工具。它体现了概念内涵和外延的统一,反映了对象和特征间的联系以及概念间的泛化与例化关系,因此非常适于发现数据中潜在的概念。分析了概念格与关联规则提取之间的关系,根据需要对格… …   相似文献
275.
下载全文  总被引:60,自引:0,他引:60
提出了一种基于图像颜色和空间信息的彩色图像分割算法.该算法首先根据所提出的颜色粗糙度概念对图像进行颜色量化,并在此基础上使用增量式的区域生长算法发现颜色相近的像素之间的空间连通性,形成图像的初始分割区域.然后,根据融合了颜色和空间信息的区域距离,对初始分割区域进行分级合并,直到系… …   相似文献
276.
  总被引:59,自引:5,他引:59
数字水印作为一种将特殊信息嵌入媒体数据的技术,近年来已成为国内外研究的热点并有着广泛的应用前景.通常数字水印被应用于数字图像、音频、视频以及其他媒体产品上以进行版权保护和验证多媒体数据的完整性.首先介绍了数字水印技术的特点和应用领域,并对其基本原理和评价标准进行了阐述,同时对数字… …   相似文献
277.
下载全文  总被引:59,自引:5,他引:59
本文给出一种基于对比度的多分辨图像融合算法.首先,利用小波变换得到待融合图像的多分辨分析,同时得到图像的多分辨对比度序列;然后以对比度为判据,在图像的多分辨分析的相应各级上进行融合,得到融合图像的多分辨分析;最后,利用小波逆变换重构融合图像.算法使用同一场景可见光图像和红外图像进… …   相似文献
蒲恬  方庆喆  倪国强 《电子学报》2000,28(12):116-118
278.
下载全文  总被引:59,自引:1,他引:59
可复用构件的表示和检索是构件库和软件复用研究的重点,它伴随复用实践的深入和新技术的出现而不断取得进展.青鸟构件库系统以青鸟构件模型为基础,采用以刻面分类为主、多种分类模式相结合的方法对构件分类索引,支持多种构件查询方式的组合使用.本文介绍了青鸟Ⅲ型构件库系统中可复用软件构件的分类… …   相似文献
279.
下载全文  总被引:59,自引:0,他引:59
背景差法是一种重要的运动检测方法,其难点在于如何进行背景更新.针对该问题,提出一种基于像素灰度归类的背景重构算法,即在假设背景像素灰度以最大概率出现在图像序列的前提下,利用灰度差对相应像素点灰度进行归类,选择频率最高的灰度值作为该点的背景像素值.在背景缓慢变化和突变时,分别利用该… …   相似文献
侯志强  韩崇昭 《软件学报》2005,16(9):1568-1576
280.
下载全文  总被引:59,自引:1,他引:59
代理签名是一种非常有用的密码学工具.使用它,原始签名人能将其数字签名权力委托给代理签名人.在盲签名方案中,消息的内容对签名者是不可见的.签名被接收者泄露后,签名者不能追踪签名.代理签名和盲签名在实际中分别有着广泛的应用.结合两者的优点,在Schnorr签名的基础上,提出了一个代理… …   相似文献
谭作文  刘卓军  唐春明 《软件学报》2003,14(11):1931-1935
[首页] « 上一页 [23] [24] [25] [26] [27] 28 [29] [30] [31] [32] [33] 下一页 » 末  页»