•   按检索    检索词:    高级检索
     排序:相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果,以下是第5801-5820项 搜索用时 339 毫秒
[首页] « 上一页 [286] [287] [288] [289] [290] 291 [292] [293] [294] [295] [296] 下一页 » 末  页»
5801.
下载全文  总被引:4,自引:0,他引:4
模型检查是一种用于并发系统的性质验证的算法技术.LTLC(linear temporal logic with clocks)是一种连续时间时序逻辑,它是线性时序逻辑LTL的一种实时扩充.讨论实时系统关于LTLC公式的模型检查问题,将实时系统关于LTLC公式的模型检查化归为有穷状… …   相似文献
李广元  唐稚松 《软件学报》2002,13(2):193-202
5802.
下载全文  总被引:1,自引:0,他引:1
分析了王尚平等人提出的群签名成员删除方案,给出在群管理员更换群密钥后,已被删除成员更新其特性密钥、证明其成员资格和产生有效签名的方法,说明该方案是不安全的,不能真正删除群成员.  相似文献
黄振杰  林宣治 《软件学报》2005,16(3):472-476
5803.
下载全文  总被引:2,自引:0,他引:2
研究了基于半结构化数据查询语言TSL(tree specification language)的查询重写问题.提出了一种半结构化查询重写算法,解决了在给定一个半结构化查询和一组半结构化视图的情况下,找到最大被包含重写的问题.算法借用了可伸缩的关系查询重写的MiniCon算法的思想… …   相似文献
陶春  汪卫  施伯乐 《软件学报》2004,15(11):1641-1647
5804.
针对难以及时地获取充足而准确的遥感样本、缺乏积累和管理遥感样本的有效手段是制约遥感图像分类技术发展的瓶颈问题。构建了基于改进型模糊ARTMAP网络的CBR(case-based reasoning范例推理)遥感图像分类系统。系统将改进型模糊ARTMAP网络作为范例的知识提取器和图… …   相似文献
5805.
下载全文  总被引:5,自引:0,他引:5
提出了一种基于散乱分布的数据点重构三维曲面的有限元方法.根据最佳逼近与数据光顺理论建立正定的目标泛函,采用有限元最佳拟合使泛函极小化,求得最优解.通过八节点等参数有限元插值计算,重新构造出三维曲面.这种光顺-有限元方法有效地抑制了输入数据上误差噪声的影响,与有限元拟合方法相比,所… …   相似文献
蔡中义  李明哲 《软件学报》2003,14(4):838-844
5806.
下载全文  总被引:1,自引:0,他引:1
为了更好地去除噪声,并保持模型的突出特征,提出了一种鲁棒的点模型多边滤波器降噪算法,该算法充分考虑了模型表面的法向量、曲率等内蕴几何量和噪声之间的关系。首先通过自适应选取最优邻域控制函数来将滤波窗口限制在顶点法向量相近的区域,以防止滤波后模型的收缩和过光顺;然后运用协方差矩阵分析… …   相似文献
5807.
  总被引:1,自引:0,他引:1
阐述了隐私保护数据挖掘的目标,即在获取有效的数据挖掘结果的同时,满足用户对隐私保护的要求.针对个体用户及组织用户的隐私保护,论述了不同的方法,并归纳出隐私保护数据挖掘中所采用的两种主流算法.改进了高效隐私保护关联规则挖掘算法(EMASK)中需要完全的数据库扫描并且进行多次比较操作… …   相似文献
5808.
下载全文  总被引:7,自引:0,他引:7
传统的计算机设计系统的安全监视功能存在日志数据冗余和异常线索检测时延过长等固有问题.由于安全监视功能的日志数据项主要是由系统实施的安全策略所决定,所以采用关系模式,通过形式地描述、分析著名的Clark-Wilson完整性策略,从而精确确定了与各条策略相关的最小日志项集,然后将其应… …   相似文献
卿斯汉  温红子  雷浩  王建 《软件学报》2004,15(8):1124-1132
5809.
  
对该方法的步骤、影响因素及特征进行了描述。同时,分析讨论了先聚后得法在计算机免疫系统GECISM中的应用及实验结果。  相似文献
5810.
棉花杂质检测方法对于提高织物质量和降低生产成本具有重要意义。针对工业环境中非均匀光照条件下的棉花图像设计基于Gabor滤波器的杂质检测算法,依据Otsu法和形态学滤波将图像分割为前景区、背景区和交界区,然后在图像前景和背景区域内分别使用Gabor滤波器提取图像的纹理特征。设计一种… …   相似文献
5811.
在基于CCD图像传感器的非接触高温温度场软测量中,为了计算高温图像目标的温度,必须先从辐射图像中准确识别待测目标。由于工业现场采集的高温熔体图像中存在多种噪声,导致图像目标难以准确识别。提出一种目标图像分类识别方法,即先利用多光谱图像分割方法来减少甚至消除各种高温噪声;然后运用改… …   相似文献
5812.
下载全文  总被引:2,自引:0,他引:2
视频处理中需要完成从YUV色彩空间到RGB色彩空间的转换。通过分析YUV格式与RGB格式间的转换算法,提出使用整形计算替代浮点运算,利用整除256对应右移八位操作,提高运算速度。结合使用Intel单指令多数据扩展指令集SSE2技术进行算法优化后,显著提高格式转换运算的效率。实验结… …   相似文献
5813.
  
随着规则数量的急剧增长,表示正则表达式的DFA(Deterministic Finite Automata,确定型有限自动机)容易引起状态空间爆炸,难以满足高速网络的实时处理需求。提出一种高效的正则表达式匹配算法,该算法通过将正则表达式分割为精确串、字符集合以及重复字符3个子集,… …   相似文献
5814.
  
随着基于位置的服务在人们日常生活中日益普及,个人的位置隐私正面临着严重的威胁。基于增量近邻查询思想,结合反映人口分布的路网环境,提出了一种新的位置隐私保护方法。该方法通过P2P系统结构摆脱了传统中心服务器结构的局限,解决了单点脆弱性问题,同时可以保证在P2P系统结构中代理用户非可… …   相似文献
王鹏飞  李千目  朱保平 《计算机科学》2015,42(3):158-161, 184
5815.
  
等高线自动综合历来是制图综合领域的重点和难点。目前已存在的等高线化简方法主要是一种几何上的逼近,由于综合处理后的等高线难以保持原有的形态特征,因此为了更好地进行等高线化简,首次提出了一种基于最大通视条件的新的等高线化简方法。该方法首先利用最大通视性原理划分等高线化简区域,并在每个… …   相似文献
5816.
现有相关图像质量评价方法均不能恰当衡量合成孔径雷达(SAR)图像去噪的结构保持性能,为此提出无参考的IENLR(improved equivalent number of looks of ratio image)评价方法.首先总结了已有的相关图像质量评价方法,分析其在衡量结构保… …   相似文献
5817.
  
ENVI是由遥感领域的科学家采用交互式数据语言IDL(Interactive Data Language)开发的一套功能强大的遥感图像处理软件,其能够快速、便捷、准确地从遥感影像中提取所需的信息。为了对影像进行更好的分析和处理,ENVI提供了一套基础的影像内插方法用于对影像进行插… …   相似文献
5818.
现有的3维模型融合均是立足于模型的几何网格信息,需要大量的顶点来提升融合效果。然而在目前的游戏与动画中,角色3维模型一般使用低精度模型,而以贴图来表现模型细节。因此针对低模角色网格顶点稀疏以及贴图特征,提出简单调和映射和均平面的思想简化网格连接,提高网格融合效率;其次采用基于仿射… …   相似文献
5819.
下载全文  总被引:3,自引:1,他引:3
针对光照变化和阴影对图像分割的不利影响问题,提出了一种基于矢量量化和区域生长的彩色图像分割新算法。该算法不仅考虑了彩色图像的颜色信息,而且也考虑了彩色图像的空间信息。该算法首先利用一种修改的GLA算法对彩色图像进行量化,并根据彩色图像量化的结果选取种子像素;然后基于矢量角相似性准… …   相似文献
5820.
下载全文  总被引:4,自引:0,他引:4
在无线传感器网络的数据查询中,蚁群优化方法可以找到从源节点到目的节点的最优路径.但当所有的查询消息和查询结果都在这条路径上进行时,路径上的能量消耗会很大.因此,提出一种基于蚁群优化的能量均衡数据查询协议EBDQ(energy balance data query protocol… …   相似文献
崔艳荣  李克清 《软件学报》2010,21(4):793-801
[首页] « 上一页 [286] [287] [288] [289] [290] 291 [292] [293] [294] [295] [296] 下一页 » 末  页»