一类并发实时系统的自动验证

下载全文  

一个被广泛用于验证实时系统的方法是根据被验证的实时性质,使用适当的双向模拟等价关系使无限的状态空间转化为有限的状态等价类空间.算法只需要在这个有限的等价类空间里搜索就可以得到正确答案.但是,这个等价类空间的规模一般随着系统规模的增大而产生爆炸性的增长,以至于在很多情况下,穷尽搜索… …   相似文献

赵建华  郑国梁  Dan Van Hung 《软件学报》2000,11(2):229-234

基于骑士巡游变换的数字图象细节隐藏技术

下载全文  总被引：31，自引：1，他引：30

为了研究一种不致引起他人破解欲望只置乱图象细节。而不破坏图象总体形象的数字图象隐藏技术,首先给出了骑士巡游问题及骑士巡游矩阵的概念,并提出了一种新的图象置乱变换--骑士巡游变换,同时分析了该变换方法隐藏图象细节的原理;然后,给出了图象细节隐藏的实验结果,实验结果表明,该方法不仅达… …   相似文献

柏森  曹长修  曹龙汉  王田  汪纪锋 《中国图象图形学报》2001,6(11):1096-1100

软件缺陷关联分析与缺陷排除研究

  

在软件开发过程中,软件缺陷具有传播的特性.缺陷的传播特性决定了缺陷之间并非独立存在,而存在相互关联,因此软件缺陷关联分析对于缺陷排除、软件质量保证、过程改进具有重要的意义.从软件缺陷关联的原因出发,基于面向对象的分析与设计模型,分析了软件缺陷的传播过程,研究了对象关联与软件缺陷关… …   相似文献

李鹏  赵逢禹 《计算机科学》2013,40(10):159-161,189

基于地表参数真实性的GF-1和SPOT-7多光谱影像质量评价

下载全文  

目的 遥感影像中地表信息表达真实程度决定了影像信息提取和定量化应用水平,传统的从像素灰度和视觉特性角度的影像质量评价方法难以评价影像对地表信息表达能力,本文从地表反射率和NDVI（normalized difference vegetation index）两种地表参数真实性角度评价GF-1和SPOT-7多光谱影像质量。方法 提出了一种基于地表参数真实性的多光谱影像质量评价方法,完成GF-1和SPOT-7卫星对实验区同步成像,地面同步测量大气光学特性和典型地物样区光谱,获取同步观测数据并对多光谱影像进行辐射误差处理,计算地物样区在影像上的反射率和NDVI,通过与地面实测光谱数据比较分析了地表参数真实性,评价GF-1和SPOT-7多光谱影像质量。结果 人工靶标中GF-1影像在4个波段反射率误差均在5%内,精度优于SPOT-7;植被地物中SPOT-7影像在蓝绿红波段反射率误差在4%内,近红外波段误差在15%内,NDVI误差在16%内,反射率和NDVI精度均优于GF-1;硬地地物中GF-1影像在4个波段反射率误差在6%内,精度优于SPOT-7;评价结果表明SPOT-7多光谱影像对植被类地物光谱表达真实度更高,GF-1对硬地类地物光谱表达真实度更高。结论 提出的基于地表参数真实性的遥感影像质量评价方法,能够有效地从地物光谱信息表达精度的角度评价影像质量。… …   相似文献

巫兆聪  杨帆  张熠  巫远  喻文蕴 《中国图象图形学报》2016,21(11):1551-1561

函数型程序的并行计算模型及任务划分

下载全文  总被引：2，自引：0，他引：2

通过分析得出了函数型程序的并行计算模型——任务树,并应用该模型分析了任务划分中的任务粒度和并行度等主要因素对加速比的影响,提出了优化的任务划分算法,最后给出了在一个分布符号处理系统PARLisp中的实现结果.  相似文献

周一萍  郑守淇  白英彩 《软件学报》1998,9(12):932-936

基于差分图象的人脸检测

下载全文  总被引：9，自引：0，他引：9

提出了两种基于差分图象的人脸检测算法：扫描法和投影法,实验表明它们是准实时的、非常有效的人脸检测算法,可以作为人脸自动输入的有效途径,用于构造诸如安全检查、保安管理等应用视觉系统  相似文献

艾海舟  王栓  何克忠 《中国图象图形学报》1998,3(12):987-992

基于双树复数小波变换的切屑图像阈值去噪

下载全文  总被引：3，自引：0，他引：3

由于在金属切削加工时通过CCD相机采集的切屑图像含有大量噪声,因此如何有效地去除噪声,获取切屑边缘信息是分析切屑形态参数,实现切屑控制的关键。目前小波变换图像去噪效果较好,而复数离散小波变换比实数小波变换具有更多优势,如：平移不变性、方向性等。并可提高图像的去噪能力。为了提高切屑… …   相似文献

周瑾  左敦稳  黎向锋  许鸿昊 《中国图象图形学报》2004,9(9):1069-1074

基于云技术的智慧城市中大规模房屋数据处理

  

在智慧城市中传感器和设备收集各种数据,实现增值服务.主要关注来自智慧城市中的智能房屋数据,提出用于存储和处理大规模房屋数据的Scallop4SC平台,实现智慧城市服务.房屋数据分为房屋日志数据和房屋配置数据,分别使用HBase和MYSQL管理.通过HBase键值以schemale… …   相似文献

曾羽琚  陈明辉 《计算机系统应用》2014,23(12):94-100

多投影仪无缝拼接显示中的颜色校正技术比较研究

下载全文  

基于多投影仪的无缝拼接显示是对图形、图像、视频等进行大范围、高分辨率显示的一种有效实现方式。多投影仪无缝拼接显示的一个关键是解决颜色失调问题,而现有的颜色失调原因的分析结果可归纳为投影仪输出颜色的变化特性和投影屏幕与投影环境的影响两个方面。近年来,为解决该问题已提出了多种颜色校正… …   相似文献

吕品  张金芳  王宇心 《中国图象图形学报》2008,13(7):1272-1280

基于等间距线的几何畸变校正

  

摄像机视觉测量系统中图像存在几何畸变,会降低尺寸测量精度,必须进行校正.目前基于单张图像的畸变校正方法主要有标定板特征点转移矩阵的非参数化方法和利用特征点共线性或无穷点约束条件的参数化方法,由于上述方法需要获取多个特征点的坐标,而获取孤立的坐标点容易造成误差,使得校正效果不好.提… …   相似文献

管海兵  蒙水金  彭中伟 《计算机系统应用》2011,20(11):107-109,122

基于几何分析的支持向量机快速训练与分类算法

下载全文  

当支持向量机中存在相互混叠的海量训练样本时,不但支持向量求取困难,且支持向量数目巨大,这两个问题已成为限制其应用的瓶颈问题。该文通过对支持向量几何意义的分析,首先研究了支持向量的分布特性,并提出了基于几何分析的支持向量机快速算法,该算法首先从训练样本中选择出部分近邻向量,然后在进… …   相似文献

胡正平  吴燕  张晔 《中国图象图形学报》2007,12(1):82-86

一种基于H.264的可变块快速运动估计算法

下载全文  总被引：2，自引：0，他引：2

H.264是最新的视频编码标准,它相对于以前的视频编码标准在编码效率上有了巨大的提高。高编码效率得益于采用了一系列新的编码技术,这也导致了较高的计算复杂度。H.264运用了可变块运动估计方法,这也是H.264编码过程中最耗时的模块。提出了一种基于H.264的可变块快速运动估计算法… …   相似文献

陈纯  杨智  卜佳俊  莫林剑 《中国图象图形学报》2007,12(2):272-276

单目人体图像序列的运动及结构参数估计

下载全文  总被引：1，自引：0，他引：1

利用人体行走的单目动态图像序列,估计手臂及腿部的运动及结构参数.在物体中心坐标的运动表示方式下,提出了基于弹性连接概念的非刚体运动模型,通过加入弹性系数的方法,使非刚体运动模型和刚体运动模型得到了良好的统一.在此模型的基础上,用Levenberg-Marquardt方法实现了运动… …   相似文献

汪亚明  汪元美  楼正国 《软件学报》2001,12(11):1732-1738

在数据库中发现具有时态约束的关联规则

下载全文  总被引：50，自引：0，他引：50

目前,国际上的关联规则研究尚未考虑时间因素.然而,时间是现实世界的固有属性,许多现实 世界数据库都存在时态语义问题.该文考察称为有效时间的时态约束问题,提出了时间区间延 展与归并技术以及新的时态关联规则发现算法,从而进一步推广了关联规则的应用.  相似文献

欧阳为民  蔡庆生 《软件学报》1999,10(5):527-532

云计算环境下的节能任务调度策略的随机Petri网分析

  

针对当前云计算异构服务器集群环境下的高能耗问题,提出一种最小能耗优先的任务调度策略(first sche-duling with minimum energy)。该策略在调度任务时优先考虑处于运行状态的服务器,并以任务响应时间为约束,按照最小能耗原则将任务分配到相应的服务器上执行… …   相似文献

赵彬  王淖  王高才 《计算机科学》2015,42(8):112-117

交通视频序列阴影检测算法研究

下载全文  总被引：1，自引：0，他引：1

针对交通视频序列中的阴影检测问题,在分析目前常用的几种阴影检测算法的基础上,提出了一种基于交通视频流的灰度图阴影检测算法。该算法首先通过建立一个具有鲁棒性和自适应性的背景模型来获取背景,同时对阴影进行初步模糊滤除,然后再通过车体的重构来准确去除阴影。实践表明,该算法准确度高,具有… …   相似文献

万峻甫  刘建伟  向怀坤  曹泉  王钧生 《中国图象图形学报》2008,13(3):472-476

基于小波变换的3维网格水印

下载全文  总被引：1，自引：1，他引：0

3维网格数据是不规则采样的数据集,传统的图像变换域水印算法不能直接应用到网格上.提出了一种小波变换域的鲁棒网格水印算法.该算法对半规则的多分辨率网格进行小波变换,得到一个基网格和一系列小波系数.在对小波系数的统计特性进行实验分析的基础上,选择在低频子带的小波系数中嵌入水印,并对小… …   相似文献

谢守江  张鸿宾  刘波 《中国图象图形学报》2006,11(10):1387-1394

基于小波模极大值和Neyman-Pearson准则阈值的图像去噪

下载全文  总被引：2，自引：0，他引：2

首先给出了2维噪声的小波变换特性,分析图像小波变换模的极大值与小波分解级数j和李氏指数之间的关系,指出如何确定和保护图像的边缘;接着阐述了基于软、硬阈值的图像正交小波变换去噪法,然后提出一种基于Neym an-Pearson准则的小波阈值的确定,从而又提出了一种基于小波模极大值和… …   相似文献

李旭超  朱善安 《中国图象图形学报》2005,10(8):964-969

图象模糊涟缘检测的改进算法

下载全文  总被引：18，自引：0，他引：18

图象在检测技术是图象处理中最重要的内容之一,且已在图象分析和识别领域中得到广泛的应用。针对图象边缘由模糊性引起的不确定性问题,提出了一种图象模糊边缘检测的改进算法,该算法是道德民确定一个阈值参数,然后根据此阈值参数来定义一个新的隶属函数,从而钭图象转化为等效的图象模糊特征平面,通… …   相似文献

周德龙  潘泉  张洪才 《中国图象图形学报》2001,6(4):353-358

利用确定性退火技术的旅行商问题求解算法^*

下载全文  总被引：2，自引：0，他引：2

将确定性退火技术及聚类方法应用于旅行商问题,给出了求解旅行商问题的一种启发式算法.该方法将旅行商问题的离散模型转化为连续模型去求解,通过求解一系列随温度变化的物理系统的自由能函数的局部极小来获得旅行商问题的解,并给出了一个简单的显式迭代公式.算例表明,该算法性能良好.  相似文献

杨广文  郑纬民  王鼎兴  李晓明 《软件学报》1999,10(1):57-59