基于构件软件的可靠性通用模型

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

工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的… …   相似文献

毛晓光  邓勇进 《软件学报》2004,15(1):27-32

一种基于彩色编码技术的基序发现算法

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

从DNA序列中发现基序是生物计算中的一个重要问题,序列条数K=20包含基序用例的序列条数k=16的(l,d)-(K-k)问题(记作(l,d)-(20-16)问题)是目前生物学家十分关注的基序发现问题.针对该问题提出了一种基于彩色编码技术的SDA(sample-driven algorithm)搜索算法--彩色编码基序搜索算法(color coding motif finding algorithm,简称CCMF算法).它利用彩色编码技术将该问题转化为(l,d)-(16-16)问题,再采用分治算法和分支定界法来求解.在解决将(l,d)-(20-16)问题转化为(l,d)-(16-16)问题时,CCMF算法利用彩色编码技术将4 845个组合降低到403个着色,这将极大地提高算法的整体运行效率.使用模拟数据和生物数据进行测试的结果表明,CCMF算法能够快速发现所有(l,d)-(20-16)问题的基序模型和基序用例,具有优于其他算法的综合性能评价,能够用于真实的基序发现问题.同时,通过修改着色方案,CCMF算法可以用于求解一般的(l,d)-(K-k)问题,其中,k＜K.… …   相似文献

王建新  黄元南  陈建二 《软件学报》2007,18(6):1298-1307

虚平面映射:深度图像内部视点的绘制技术

下载全文  

首先推导与归纳了图像三维变换中像素深度场的变换规律,同时提出了基于深度场和极线原则的像素可见性别方法,根据上述理论和方法,提出一种基于深度图像的建模与绘制(image-based modeling and rendering,简称IBMR)技术,称为虚平面映射.该技术可以基于图像… …   相似文献

盛斌  吴恩华 《软件学报》2008,19(7):1806-1816

失效区域紧致性对适应性随机测试的性能影响

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

适应性随机测试是一种增强的随机测试方法.已有的研究发现:失效区域的紧致程度是影响适应性随机测试性能的几个基本因素之一,并仅在失效区域为长方形的情形下验证了上述猜想.采用仿真实验的方法进一步研究失效区域的紧致程度与适应性随机测试的性能之间的精确关系.研究了几种基本规则形状的和不规则… …   相似文献

陈宗岳  郭斐菁  孙昌爱 《软件学报》2006,17(12):2438-2449

基于总变分模型的光照不变人脸识别算法

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

提出了一种基于L1总变分模型的对数商图像光照不变人脸识别算法。用L1总变分模型作为低通滤波算子对图像平滑滤波,得到图像光照分量的估计,然后在对数域中定义原图像与其光照分量的商为光照归一化图像,并用该图像作为光照不变量进行人脸识别。基于L1总变分模型的平滑滤波具有较好的边缘保持作用… …   相似文献

张熠  张桂林 《中国图象图形学报》2009,14(2):208-213

二值图像中的数据隐藏算法

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

 本文证明了在一个m×n的二值图像块中至多改变1个像素时所能隐藏的比特数的上界为?(log₂(mn+1)」,并实际构造了达到此上界的信息隐藏算法.文中归纳了一些选择修改像素位置的规则,较好地保持了数据嵌入后图像的质量.对算法的鲁棒性和安全性进行了分析.用3个例子—数字手写签名中认证信息的嵌入、二值电子文档的窜改检测和卡通图像中注释信息的嵌入说明了本文算法可能的应用.… …   相似文献

郭萌  张鸿宾  魏磊 《电子学报》2009,37(11):2409-2415

光照变化条件下的光流估计

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

目的 为了提高光流法在处理光照变化和大位移方面的稳健性。提出一种结合结构纹理分解预处理和加权中值滤波的光流场模型。方法 该方法数据项采用灰度守恒假设和梯度守恒假设相结合、局部约束与全局约束相结合的思想。同时采用结构纹理分解、加权中值滤波、金字塔结构等高效的光流估计技术,进一步增强了光流算法的精确性与实用性。结果 分别通过Middlebury光流数据库图像和真实场景图像对提出的光流估计算法进行了大量实验验证。实验结果表明,改进的光流估计法在处理光照变化方面表现不错,不仅获得稠密的光流场,而且提高了光流场准确提取目标边缘的能力。结论 和传统光流方法相比,所提方法在光照变化情况下能获得更加理想的结果,降低了实际场景中光线变化的干扰,能更好地适用于实际场景中。… …   相似文献

刘骏  祖静  张瑜  张红艳 《中国图象图形学报》2014,19(10):1475-1480

一种基于前景与背景划分的区域图像检索方法及实现

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

区域图像检索(RBIR)是基于内容图像检索(CBIR)的一个分支,它以图像分割为基础,通过图像局部视觉特征的相似性进行图像检索。由于准确的图像分割技术尚不成熟,区域图像检索性能容易受到冗余分割和错误分割的影响。为了降低RBIR中图像分割的影响,提出了一种基于前景和背景划分的区域图… …   相似文献

朱远清  李才伟 《中国图象图形学报》2007,12(2):234-238

移动自组网基于能量效率的分布式拓扑控制算法

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

移动自组网中,网络的拓扑结构可以通过调节每个节点的传输功率加以控制,拓扑控制的基本目标是设计基于功率优化的算法,既能维护网络的连通性,又能降低节点的传输功率,延长节点的生存时间,达到优化网络性能的目的.在GG图的基础上,提出了一种基于能量效率的拓扑控制算法VCGG(a varyi… …   相似文献

罗玉宏  王建新  黄家玮  陈松乔 《软件学报》2007,18(3):702-713

不可满足公式的同态证明系统

下载全文  

合取范式(CNF)公式H到F的同态φ是一个从H的文字集合到F的文字集合的映射,并保持补运算和子句映到子句.同态映射保持一个公式的不可满足性.一个公式是极小不可满足的是指该公式本身不可满足,而且从中删去任意一个子句后得到的公式可满足.MU(1)是子句数与变元数的差等于1的极小不可满足公式类.一个三元组(H,φ,F)称为的一个来自H的同态证明,如果φ是一个从H到F的同态.利用基础矩阵的方法证明了:一个不可满足公式F的树消解证明,可以在多项式时间内转换成一个来自MU(1)中公式的同态证明.从而,由MU(1)中的公式构成的同态证明系统是完备的,并且由MU(1)中的公式构成的同态证明系统与树消解证明系统之间是多项式等价的.… …   相似文献

许道云 《软件学报》2005,16(3):336-345

面向对象遥感影像分类的最优分割尺度选择研究

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

影像分割是面向对象遥感影像分类的基础步骤,而分割尺度又是影像分割的核心问题。研究针对面向对象遥感影像分类中的最优分割尺度选择问题,以分割后影像区域对象矢量边界线与欲分类目标对象真实矢量边界的吻合程度为标准,通过两者多向距离量化吻合程度,提出了一种最优分割尺度定量选择的新方法——矢… …   相似文献

于欢  张树清  孔博  李晓峰 《中国图象图形学报》2010,15(2):352-360

基于色彩传递与扩展的图像着色算法

  总被引：5，自引：1，他引：4

色彩的不均匀一直是色彩传递算法中没有解决的问题。一些传统的算法只是单独依靠像素点的匹配来进行色彩传递,难以保证处理后图像色彩在空间上的连续性,即某些像素点的色彩和它周围的色彩反差较大。针对此问题,提出了一种基于色彩传递与扩展的图像着色算法,先利用传统的色彩传递方法,在lαβ空间对… …   相似文献

朱黎博  孙韶媛  谷小婧  夏如镜  叶茂锹 《中国图象图形学报》2010,15(2):200-205

时隙间迭代的输入队列交换机Round-Robin调度算法

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

输入队列因具有良好的可扩展性而广泛应用于高速交换机和路由器中,但输入队列需要精心设计调度算法以获取较好的性能.Round-Robin算法因其简单性和并行性而得到广泛的研究,但现有的Round-Robin算法在突发流量和非均匀流量下的负荷-延迟性能较差.提出了调度决策在时隙间进行迭… …   相似文献

吴俊  陈晴  罗军舟 《软件学报》2005,16(3):375-383

一类改进的埃尔米特核函数

  

核函数及其参数的选择是决定支持向量机(support vector machine,SVM)分类性能的关键。基于埃尔米特多项式,利用三角核函数构造并证明了一类改进的埃尔米特核函数——三角埃尔米特核函数。该类核函数含两个核参数,其中一个核参数可由样本点到样本均值的距离简单确定,而另… …   相似文献

田萌  王文剑 《计算机科学》2014,41(5):239-242,274

RSSI辅助的三维空间坐标四面体质心定位算法

  

三维定位是无线传感器网络的重要技术之一.提出了一种RSSI辅助的三维空间坐标四面体质心定位算法.由于现实环境往往很复杂,存在锚节点组成的四面体不包含未知节点的情况,因此筛选优质的RSSI值,并将其转换为未知节点与锚节点的距离,进而计算和比较四面体体积来进行排除;对包含未知节点的四… …   相似文献

葛斌  郑建宝  韩江洪 《计算机科学》2015,42(4):81-84

深度学习中的自编码器的表达能力研究

  

近年来,深度学习框架和非监督学习方法越来越流行,吸引了很多机器学习和人工智能领域研究者的兴趣。从深度学习中的“构造模块”入手,主要研究自编码器的表达能力,尤其是自编码器在数据降维方面的能力及其表达能力的稳定性。从深度学习的基础方法入手,旨在更好地理解深度学习。第一,自编码器和限制… …   相似文献

王雅思  姚鸿勋  孙晓帅  许鹏飞  赵思成 《计算机科学》2015,42(9):56-60, 65

3D—GIS数据表示和空间插值方法研究

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

空间数据表示方法和空间数据插值方法是３Ｄ－ＧＩＳ研究的基本问题。文中采用基于地学复形的３Ｄ空间数据表示方法,对地学目标抽象表示为点,线,面和体４种类型,提出了基于地学复形空间的表示方法。为解决可视化和目标体重建问题,分析了基于地学复形的各种插值方法。在华北地区钻孔地层厚度等值线生… …   相似文献

易善桢  李琦 《中国图象图形学报》1999,4(8):697-701

利用图像局部自相似性的超分辨率重构算法

下载全文  

图像超分辨率重构是指由低分辨率图像来获得高分辨率图像的过程。为了能够有效地重构出高分辨率图像,提出一种基于图像局部自相似性的超分辨率快速重构算法。该算法首先利用四叉树分割的知识对低分辨率图像进行自适应分块;然后利用低分辨率图像和高分辨率图像在局部区域内的自相似性,由最小二乘方法在… …   相似文献

杨宇翔  曹洋  汪增福 《中国图象图形学报》2011,16(5):720-725

一种基于KS检验的时间序列非线性检验方法

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

检验统计量的选取将对时间序列非线性检验的结果产生重要影响。该文在采用打乱相位法产生替代数据后,引入了一种非参数检验Kolmogorov-Smirnov 检验(简称KS检验)作为检验统计量。通过对各类信号的数值实验及与传统使用的高阶自相关量以及时间反演不可逆量对比结果表明,KS检验… …   相似文献

侯澍旻  李友荣  刘光临 《电子与信息学报》2007,29(4):808-810

边缘信息引导的阈值图像分割算法

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

针对照度不均匀的图像提出了一种基于边缘信息构造阈值图像的分割算法。该算法着眼图像上目标、背景及照度在空间分布的连续性,利用边缘处梯度大、阈值容易确定的特点,以其边缘邻域中的极大值和极小值的均值作为该边缘处的阈值,然后以稀疏的边缘阈值为控制点,通过曲面拟合得到全图分布的阈值图像再对… …   相似文献

沙莎  彭丽  罗三定 《中国图象图形学报》2010,15(3):490-494