用户名： 密码： 找回密码 中文版 English 本站信箱 收藏本站 本网介绍

首页加盟期刊收录期刊评价中心文献导读期刊动态博客美文问题解答在线订阅新浪微博RSS
网站动态： 中国计算机期刊网介绍          欢迎关注中国计算机期刊网微信订阅号！          中国计算机期刊网正式发布,欢迎访问!          如何申请成为收录期刊和加盟期刊         
  •   按检索    检索词：    高级检索
     排序：相关度 OA 时间 被引次数 点击次数 下载次数 共有10000条符合的查询结果，以下是第8761-8780项 搜索用时 468 毫秒
[首页] « 上一页 [434] [435] [436] [437] [438] 439 [440] [441] [442] [443] [444] 下一页 » 末  页»
8761.
目前,针对线程信息流的验证研究主要着重于时间信道.然而,由于线程程序中线程控制原语存在函数副作用,对此类原语的不恰当调用亦可引起非法信息流,有意或无意地破坏程序的非干扰属性.因此,提出以验证线程程序信息流为目的依赖逻辑,其可表达线程程序的数据流、控制流以及线程控制函数的副作用,推… …   相似文献
李沁  曾庆凯  袁志祥 《软件学报》2014,25(6):1143-1153
8762.
下载全文  总被引：1，自引：0，他引：1
为了满足在计算资源受限的环境下高维数据流处理的实时性要求,提出一种方法——基于GPU(graphic processing unit)的非规则流中高维数据流的处理模型和具体的可行架构,并分析设计了相关的并行算法.该六层模型是将GPU处理数据的高宽带性能结合进滑动窗口中数据流的分析… …   相似文献
周勇  卢晓伟  程春田 《软件学报》2012,23(5):1053-1072
8763.
寻找实际可行的多项式算法一直是Petri网应用的重要方面.给出了关于扩展强化非对称选择网(extended strong asymmetric choice nets,简称ESAC网)结构活和结构有界的一个判定算法.该算法可简单、有效地测试结构活结构有界的ESAC网的初始标识是否… …   相似文献
焦莉  陆维明 《软件学报》2002,13(7):1257-1263
8764.
基于LBP算子具有旋转不变性和灰度不变性等显著特点,本文通过LBP算子的特征提取,将人脸分成子区域,然后通过连接这些子区域的LBP直方图生成人脸特征向量,由于生成的特征向量的维数过高,通过PCA算法降维压缩,最后用欧式距离分类器完成测试样本和训练样本的人脸识别,通过实验比较得出很… …   相似文献
8765.
均场退火方法既可以看作是一种新的神经网络计算模型,又可视为是对模拟退火的重大改进.该文把具有相邻约束的多层通孔最小化问题转换为更具广泛意义的k-着色问题,并提出了k-着色问题的均场退火求解算法.算法在线段相交图模型的基础上,提出了相邻矩阵和交叠矩阵等概念,并利用换位矩阵,将问题映… …   相似文献
8766.
KBE-Pascal是一种交互式的程序设计助手系统,其意图是程序员完成设计和实现的困难部分,由KBE-Pascal尽可能地帮助他。 KBE-Pascal的主要基础是格局,这是一种表示程序的方法,它抽去了程序的非基本特性,且明显地表示出算法的基本逻辑特性。 KBE-Pascal的设… …   相似文献
郑国梁  唐清 《软件学报》1991,2(4):48-53
8767.
下载全文  总被引：7，自引：0，他引：7
提出了一种可用于版权认证的基于小波变换域自适应量化步长的图像盲水印算法.该算法首先在DWT（离散小波变换）的低频子带中选择感知重要系数作为水印的嵌入区间,然后选择一个同时可满足不可见性与鲁棒性要求的最小量化步长,对所选择的重要系数进行量化,再通过自适应增大量化步长,把二值水印信息… …   相似文献
8768.
下载全文  总被引：2，自引：1，他引：2
在面向对象的软件构造中,对象被视为软件系统的基本构件．本文提出对象规范描述语言ＯＤＬ（ｏｂｊｅｃｔｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）,并给出其主要结构的ＳＯＰ指称描述．ＳＯＰ演算的理论范集给出对象的形式描述．ＳＯＰ理论范集反映了对象的封装性,在这样的逻辑框架下,对象的属性（… …   相似文献
黄涛  冯玉琳  倪彬  李京 《软件学报》1996,7(10):577-586
8769.
  
近年来,基于对等网络(Peer-to-Peer,P2P)的视频点播(Video-on-Demand,VoD)作为付费网络电视业务的一种新趋势受到了越来越多的关注,然而对等网络自身存在的不稳定性、异构性等缺陷,导致这种系统存在较大的信息安全隐患,从而严重阻碍了其推广使用.基于P2P… …   相似文献
周璇  宦国强  宋占杰 《计算机科学》2015,42(4):72-75, 100
8770.
  
随着个人和企业用户产生的数据量越来越多,云存储的价格便宜、存储空间使用灵活等优势也越来越明显。随着大量的数据外包到云服务器端,用户一般采用加密方法实现对敏感数据的保护和使用限制,这使得传统的基于明文的搜索方案不再适用。如何在保护隐私的基础上实现高效的数据文件搜索是首要考虑的问题。… …   相似文献
方忠进  周舒  夏志华 《计算机科学》2015,42(3):136-139, 173
8771.
下载全文  总被引：7，自引：0，他引：7
由于传统的模板相关匹配算法在目标图像发生较大旋转和放大时,定位结果可能会发生偏差,因此为了取得精度更高的目标识别结果,提出了一种基于对数极坐标变换粗匹配,结合仿射变换精匹配的目标图像识别定位方法,以用于在视场中自动搜索相对于模板图像有平移、旋转和尺度变化的目标图像。实验结果表明,… …   相似文献
8772.
下载全文  总被引：2，自引：1，他引：2
针对传统的海量数据处理方法硬件成本太高,并行程序编写困难的缺点,在云计算理论的基础上设计了一个用于处理海量数据的校园云计算系统.此云计算系统是在Hadoop分布式计算框架的基础上采用Map-Reduce编程模型实现对海量数据的并行处理,有效解决了成本问题,降低了并行编程的难度.… …   相似文献
8773.
  总被引：3，自引：0，他引：3
并发控制是ＤＤＢＭＳ（分布式数据库管理系统）中事务管理的重要功能．本文介绍了一种基于封锁的积极方法与消极方法相结合的并发控制策略．它根据全系统实际运行的即时状态,动态地决定对事务采取的执行策略,大大减少了积极封锁所易产生的死锁情况,同时又改善了消极封锁效率低的问题．  相似文献
8774.
  总被引：12，自引：0，他引：12
产品变型设计的基本思想就是通过改进已有的系列产品或模块来适应新的设计需求.针对变型设计的基本特点,提出了以基于实例的推理为基础,综合运用规则推理和约束满足方法来完成产品的变型设计活动.结合所开发的“细纱机模块化变型设计系统”,从知识表达模式、推理流程等方面详细讨论了以基于实例的推… …   相似文献
江力  何志均  孙守迁 《软件学报》1998,9(11):861-865
8775.
下载全文  总被引：3，自引：0，他引：3
如何去除自然图像中的高斯白噪声是图像处理中的一个经典问题。基于小波收缩的NeighShrink降噪方法取得了很好的降噪效果,但是NeighShrink在所有小波子带上均使用了次优的universal阈值以及固定的邻域窗口尺寸,导致了较大的偏差,而且使得算法不健壮。为此,运用Ste… …   相似文献
8776.
从SAR(合成孔径雷达)图像中检测和分析目标是进行SAR自动目标识别的关键步骤,提出了一种SAR图像中地面机动目标检测与分析的方法,该方法在对图像进行预处理后首先利用背景杂波强度分布为指数分布假设的恒虚警率算法以及形态学运算对原始的SAR场景数据进行快速检测获得感兴趣的目标区域,… …   相似文献
8777.
下载全文  总被引：2，自引：0，他引：2
如何评价一种图象压缩方法对图象量测性能的影响,目前还没有切实可行的方法。目前还没有切实可行的方法。本文提出一种评价图象压缩对解压图象量测性能影响的方法,该方法不仅与视觉效果的评价准则相一致,而且能够定量地给出压缩方法对解压图象上象素几何位置的影响程度,因而适用于高精度的数字摄影测… …   相似文献
8778.
下载全文  总被引：1，自引：1，他引：1
提出一种海面温度栅格图的锋面提取方法。针对海洋表层温度(SST)锋面强度分布不均匀的特点,利用低通滤波对表温梯度图像进行平滑。再利用迭代法确定出梯度图像的分割阈值,将图像分割成目标与背景两部分。通过数学形态学中图像细化的方法,提取海洋温度锋面的骨架并对细小分枝进行修剪。经矢量化生… …   相似文献
8779.
下载全文  总被引：5，自引：0，他引：5
直线绘制是光栅图形学中一个最为基本的任务,加速传统直线绘制算法有着重要的实际意义.提出了一种新的直线绘制算法.与传统的直线绘制算法不同的是,该算法将直线直接表达成一串由0或1组成的位移码,并给出一个直线位移码的快速计算公式;在此基础上,通过对直线位移码周期性的分析,提出了一种新的… …   相似文献
8780.
  总被引：2，自引：0，他引：2
通常使用的聚类分割方法认为样本的分布是超球形的,然而,这并不符合人脑磁共振MR(magnetic resonance)图象的真正特点.针对这一缺陷,提出了一种基于超椭球模糊聚类的人脑MR图象分割方法.实验结果表明,这种分割方法能有效地将人脑MR图象分割为灰质和白质两种组织,并具有… …   相似文献
[首页] « 上一页 [434] [435] [436] [437] [438] 439 [440] [441] [442] [443] [444] 下一页 » 末  页»
关于我们 | 广告服务 | 商务洽谈 | 联系我们 | 免责条款 | 隐私声明 | 网站导航
网站版权所有：中国科学院软件研究所  京ICP备09084417号-9
地址：北京海淀区中关村南四大街4号 邮编：100190 电话：010-62562563 E-mail ： cj_mail@jscas.ac.cn
本系统由:北京勤云科技发展有限公司提供技术支持