一种基于满足性判定的并发软件验证策略

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

对线性时态逻辑SE-LTL提出了一种基于SAT的有界模型检测过程,该过程避免了基于BDD方法中状态空间快速增长的问题.在SE-LTL的子集SE-LTL?X的有界模型检测过程中,集成了stuttering等价技术,该集成有效地加速了验证过程.进一步提出了一种组合了基于SAT的有界模型检测、基于反例的抽象求精、组合推理3种状态空间约简技术的并发软件验证策略.该策略中,抽象和求精在每一个构件上独立进行.同时,模型检测的过程是符号化的.实例表明,该策略降低了验证时间和对内存空间的需求.… …   相似文献

周从华 《软件学报》2009,20(6):1414-1424

基于共轭梯度的B样条主动轮廓边缘提取

  

边缘提取是图像识别的基础,为了进一步提高搜索效率和克服主动轮廓模型对初始位置敏感的问题,提出了一种基于共轭梯度的B样条主动轮廓变形边缘提取方法。该方法首先通过人工交互的方式,在目标边缘附近给定一条形状和位置尽量和图像边缘一致的B样条曲线;然后对变形曲线B样条的控制节点进行进化,以… …   相似文献

张荣国  刘小君  刘焜  蔡江辉 《中国图象图形学报》2010,15(1):103-108

应用小波系数GSM统计模型的混合傅里叶-小波图像降噪

  

提出一种混合傅里叶-小波图像降噪算法,该算法的主要步骤是：先在傅里叶域中降噪,然后在小波域中滤除剩余的噪声。小波域中要滤除的是有色噪声,为了考虑有色噪声小波系数间的相关性,采用GSM（Gaussian scale mixture）统计模型描述图像小波系数的统计特性。实验证明该算法… …   相似文献

姜三平  郝晓剑 《中国图象图形学报》2009,14(3):448-451

基于改进余弦相似度的粒子滤波故障预报

下载全文  

现有的粒子滤波故障预报方法主要是通过粒子滤波算法得到对应时刻的预测值,然后比较其与实际值的差值来对故障进行预报.从分析设备正常工作的时间序列数据与潜在故障引起的异常数据之间的相似性的新角度,设计了系统正常度和系统异常度来判别设备是否正常运行,进而对潜在的故障进行预测.实验结果验证… …   相似文献

蒋欣  王开军  陈黎飞 《计算机系统应用》2015,24(1):98-103

智能交通领域中地图匹配算法研究

  

地图匹配是智能交通系统领域的研究热点和难点。通过地图匹配来实时获得车辆所在道路及位置信息是一种比较普遍而且成本较低的方法。整理和分析了近年来关于地图匹配算法的文献,将地图匹配的处理算法分为几何匹配的算法、基于拓扑结构的算法、基于概率统计的算法和先进算法,并且系统地介绍了各篇文献中… …   相似文献

周成  袁家政  刘宏哲  邱静 《计算机科学》2015,42(10):1-6

视点相关且拓扑可变的多分辨网格动态构造算法

  

随着近几年3维扫描和图形建模技术的快速发展,3维模型的数据量不断增大,其在存储、显示及传输上都面临巨大的挑战,因此,必须构造模型的简化表示。通过对当前网格模型动态简化算法的分析,提出了一种网格简化算法来构造拓扑可变的网格模型累进表示,在此基础上,通过对简化后的模型数据进行再组织,… …   相似文献

陈鹏  高宇  吴玲达 《中国图象图形学报》2009,14(1):161-168

基于惩罚系数自适应修正的SAR图像滤波新算法

  总被引：1，自引：0，他引：1

合成孔径雷达(SAR)图像存在较强的相干斑点噪声,严重地影响了地物信息的提取与SAR图像的应用效果。提出了一种新的SAR图像斑点噪声滤波算法,该算法以一种基于膜模型的M arkov随机场的近似最优迭代滤波算法(TSPR)为基础,考虑了邻域空间关系对势能函数的影响,并通过在迭代过程… …   相似文献

王振松  刘晓云  李小文  陈武凡 《中国图象图形学报》2008,13(9):1684-1689

一种基于ASP的动态用户权限管理解决方案

  总被引：2，自引：1，他引：2

以医院网上医疗管理信息系统的研究和开发为背景,针对专家答疑系统的安全问题,对B/S模式下系统用户权限管理的需求进行了分析,采用结构化方法和基于角色的安全管理策略进行了系统功能和业务流程的设计,并采用ASP等技术实现了系统用户权限的动态管理。  相似文献

吴应良  汪闯 《计算机应用研究》2005,22(2):115-117

基于分布相似度迁移的关键路由设备检测

  

在基础设施网络(如电力网、互联网等)设施中,往往会出现关键节点,主要表现为节点流量大、在网络中位置关键等,其性能不稳定将制约网络部分区域的功能。因此从提高关键基础设施的性能和安全性的角度出发,针对关键基础设施的检测成为一个重要的研究课题。提出了一种新颖的基于分布相似度迁移的互联网… …   相似文献

孟庆锴  张剡  杨琬琪  胡裕靖  史颖欢  潘红兵  王浩 《计算机科学》2014,41(3):27-31,40

处理知识库中不一致性的超决定逻辑研究

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

本文首先分析了现有的能够处理知识库中不一致性的逻辑的不足,然后定义了超决定结构、模型和语义的概念,具体描述了超决定语义的计算过程,从而给出了一种能够处理知识库中不一致性的逻辑,并对该逻辑进行了一些讨论.  相似文献

王清毅  陈恩红  刘贵全  蔡庆生 《软件学报》1998,9(4):311-315

轨迹数据库中热门区域的发现

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

发现被移动对象频繁造访的热门区域是从轨迹数据库中挖掘运动模式的重要前提,而合理约束热门区域的大小是提高轨迹模式的精确表达能力的关键。研究如何从轨迹数据库找出热门区域及如何限制其大小。定义了带有覆盖范围约束的热门区域,并采用过滤-精炼策略发现热门区域。在过滤阶段,设计了一种基于网格… …   相似文献

刘奎恩  肖俊超  丁治明  李明树 《软件学报》2013,24(8):1816-1835

显著性纹理结构特征及车载环境下的行人检测

下载全文  

边缘信息往往是视觉对象检测的关键,已有方法对边缘梯度在各个方向上进行计算,会导致计算冗余.受韦伯局部描述算子的启发,提出一种模拟人眼观察事物的发散性及显著性特点的纹理结构算子.首先,计算邻域像素与中心像素灰度值相对差的总和,除以中心像素的灰度值求出局部显著性因子;然后,通过中心发… …   相似文献

肖德贵  辛晨  张婷  朱欢  李小乐 《软件学报》2014,25(3):675-689

基于微机环境的三维数据场多等值面快速显示算法

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

直接体绘制技术能够利用半透明效果显示三维数据场,提供了比等值面绘制方法更为丰富的信息,但是,由于数据场中所有体素都参与了图象生成过程,使得该技术的计算开销昂贵,远远无法达到交互式操作的要求。事实上,如果用边界表示法来表示三维数据场,就可以利用三维空间连续性来大幅度缩短绘制时间。边… …   相似文献

宛铭  唐泽圣 《软件学报》1996,7(9):513-520

基于多层次属性加权的代码混淆有效性量化评估

  

为了克服软件保护过程中代码混淆方法选择的偶然性和盲目性,针对代码混淆量化比较和评估困难的问题,提出一种基于多层次属性加权的代码混淆定量评估方法:从攻击者角度出发,采用静态和动态逆向分析手段对混淆前后程序进行分析,量化基于程序属性的评估指标。构建三级层次分析模型,运用专家评分法来比… …   相似文献

谢鑫  刘粉林  芦斌  巩道福 《计算机科学》2015,42(3):167-173

轨迹大数据:数据处理关键技术研究综述

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

大数据时代下移动互联网发展与移动终端的普及形成了海量移动对象轨迹数据.轨迹数据含有丰富的时空特征信息,通过轨迹数据处理技术可以挖掘人类活动规律与行为特征、城市车辆移动特征、大气环境变化规律等信息.海量的轨迹数据也潜在性地暴露移动对象行为特征、兴趣爱好和社会习惯等隐私信息,攻击者可… …   相似文献

高强  张凤荔  王瑞锦  周帆 《软件学报》2017,28(4):959-992

采用压缩传感的鲁棒的视频指纹方案

下载全文  

视频指纹技术在视频检索、识别、安全等领域有着广泛的应用,提出一种基于压缩传感理论的鲁棒性视频指纹方法,该方法采用压缩传感的稀疏性和安全性对提取的视频关键帧进行采样,再对采样矩阵分块与分类,提取能量值大的一些子块构成新的特征矩阵.对特征矩阵使用奇异值分解,对较大奇异值量化编码生成指… …   相似文献

孙锐  李超  蒋飞云 《中国图象图形学报》2013,18(1):62-68

基于CV／CAD的三维物体几何建模

  

在虚拟现实等技术领域中,都涉及到由现实世界中的实际景物建立对应的计算机描述的虚拟景物的问题,为此提出了利用计算机视觉与CAD几何建模技术相结合的三维珠体建模途径,首先通过编码光栅方法获取三维物体的深度图象,并采用数学形态学的方法加以分割,然后利用代数曲面拟合手段对分割后的三维曲面… …   相似文献

邓世伟  袁保宗 《中国图象图形学报》2001,6(4):387-391

一个过程间数据流分析的框架

下载全文  

本文提出一个过程间数据流分析的框架．它将层次式任务图HTG（hierarchical-taskgraph）用于程序功能并行性的表示与挖掘．在框架中定义了过程表ProcTable和二叉树形式的过程调用图BCG（binary-call－graph）,以使算法的时空代价最小．… …   相似文献

郁卫江  朱根江  谢立 《软件学报》1997,8(9):653-662

一种保边缘影像超分辨率重建方法

  

提出了一种基于方向性平滑测度的保边缘加权马尔可夫先验模型,并将其应用到基于最大后验估计的影像超分辨率重建中.该模型对邻域内不同方向的平滑测度使用不同的权值,以此减小对影像高频成分的惩罚约束,进而保护影像的边缘.利用不同影像对本文方法进行了验证,并用MSE影像评价方法对重建影像进行… …   相似文献

张洪艳  沈焕锋  张良培  李平湘 《中国图象图形学报》2009,14(11):2255-2261

传感器网络中基于蚁群优化的数据查询协议

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

在无线传感器网络的数据查询中,蚁群优化方法可以找到从源节点到目的节点的最优路径.但当所有的查询消息和查询结果都在这条路径上进行时,路径上的能量消耗会很大.因此,提出一种基于蚁群优化的能量均衡数据查询协议EBDQ(energy balance data query protocol… …   相似文献

崔艳荣  李克清 《软件学报》2010,21(4):793-801