基于BPEL的Web Service组合的数据流分析测试方法

下载全文  

随着Web Service组合变得越来越复杂,通过测试来保证服务质量和可靠性也变得越来越重要.将传统数据流分析方法扩展用于Web Service组合测试,提出了一种基于BPEL的Web Service组合的数据流分析测试方法.该方法基于一个测试模型:Web Service组合测试… …   相似文献

董文莉  胡建华 《软件学报》2009,20(8):2102-2112

识别表达不稳定的基因

下载全文  

提出集成分析来自相同研究问题的不同数据集来识别表达不稳定的基因.把这一问题形式化为一个非线性整数规划问题,三个启发式的算法被提出来求解这一优化问题;进一步地设计了一个统计量来度量基因的不稳定表达程度.提出的方法应用于两个真实数据,实验结果显示:所识别的不稳定基因在两个数据中的表达… …   相似文献

杨昆  李建中  徐德昌  戴国骏 《软件学报》2010,21(9):2148-2160

一种P2P环境下的VoD流媒体服务体系

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

在Internet上提供大规模的VoD服务是一项具有挑战性的工作.提出了一种基于P2P(peer to peer)方法的VoD服务体系PeerVoD,它能够以较小的服务器代价实现大规模的VoD应用.PeerVoD中的每个节点均使用定长的FIFO缓存队列来保存其最近所接收到的数据,… …   相似文献

刘亚杰  窦文华 《软件学报》2006,17(4):876-884

基于结构相似度的稀疏编码模型

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

已有的稀疏编码模型采用误差的平方和作为信息保持的客观评价标准,但最近的研究表明,人眼视觉系统的主要功能是从视觉区域提取图像和视频中的结构化信息.引入结构相似度来衡量信息保持的程度,通过对改进的目标函数进行优化,获得与初级视皮层中具有局部性、朝向性和带通性的感受野相类似的基函数集.… …   相似文献

李志清  施智平  李志欣  史忠植 《软件学报》2010,21(10):2410-2419

以决策为中心的软件体系结构设计方法

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

提出针对体系结构层次设计的决策抽象和问题分解原则,以及基于该原则的一种以决策为中心的体系结构设计方法.该方法从决策的视角对体系结构进行建模,并通过一个从导出体系结构关键问题到对体系结构方案决策的过程完成设计,还在其中实现了候选体系结构方案的自动合成以及设计决策与理由的捕捉.这种以… …   相似文献

崔晓峰  孙艳春  梅宏 《软件学报》2010,21(6):1196-1207

多连通多边形的内部Voronoi图的顶点和边数的上界

下载全文  

多边形的Voronoi图在路径规划、碰撞检测等方面有着广泛的应用,其顶点和边数在这些应用算法的复杂度分析方面起着重要作用.Held证明了一个简单多边形的内部Voronoi图最多有n+k-2个顶点和2(n+k)-3条边,其中n和k分别是多边形的顶点和内尖点数.但其结论不能适用于多连通多边形.对多连通多边形进行研究,通过将其Voronoi图转化为有根树,并利用有根树的性质,给出了其内部Voronoi图的顶点和边数上界的估计,并对Voronoi区域的边界所包含顶点和边数的平均值进行了讨论.\"SDU数字博物馆\"系统所采用的基于Voronoi图的可见性算法的复杂度分析,就利用了所得出的结论.… …   相似文献

杨承磊  汪嘉业  孟祥旭 《软件学报》2006,17(7):1527-1534

正则表达式分组的1/(1-1/k)-近似算法

下载全文  

对正则表达式集合进行分组是解决DFA状态膨胀问题的一种重要方法.已有的分组算法大都是启发式的或蛮力的,分组效果很差.分析了DFA状态膨胀的原因,总结了某些正则表达式间的冲突状况.证明了当冲突非负和冲突独立时,正则表达式集合的最优k分组问题可归结为最大k割问题,从而说明该问题是NP… …   相似文献

柳厅文  孙永  卜东波  郭莉  方滨兴 《软件学报》2012,23(9):2261-2272

带时间特性的角色访问控制

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

基于角色的访问控制模型的研究工作近年来得到了广泛的重视,但主要工作均立足于与时间特性无关的其他方面.形式化描述了一个引入时间后的角色访问控制模型.在该模型中对原有授权约束进行了时间扩充.提出的相应算法解决了时间授权约束和会话的状态转变问题.同时分析了模型的一致性状态,并讨论了一致… …   相似文献

黄建  卿斯汉  温红子 《软件学报》2003,14(11):1944-1954

基于WB-MMSB模型的微博网络社区发现

  

提出了一个用于微博网络社区发现的模型WB-MMSB,该模型考虑了微博网络中节点存在的单向关系,节点的社区隶属度从链入主题隶属度和链出主题隶属度两个方面表示。用指数族分布和平均场变分推理方法推导了模型中各变量的表示,并用SVI算法计算模型涉及的参数。实验在新浪微博数据集上进行,采用… …   相似文献

徐建民  武晓波  吴树芳  粟武林 《计算机科学》2015,42(3):65-70

单形体体积最小化的差分进化光谱解混算法

下载全文  

目的 光谱解混是高光谱遥感图像处理的核心技术。当图像不满足纯像元假设条件时,传统算法难以适用,基于(单形体)体积最小化方法提供了一种有效的解决途径。然而这是一个复杂的约束最优化问题,更由于图像噪声等不确定性因素的存在,导致算法容易陷入局部解。方法 引入一种群智能优化技术-差分进化算法(DE),借助其较强的全局搜索能力以及优越的处理高维度问题的能力,并通过对问题编码,提出了一种体积最小化的差分进化(VolMin-DE)光谱解混算法。结果 模拟数据和真实数据实验的结果表明,与现有算法相比,该算法在15端元时精度(光谱角距离)可提高7.8%,当端元数目少于15个时,其精度普遍可以提高15%以上,特别是10端元时精度可以提高41.3%;在20~50 dB的噪声范围内,精度变化在1.9~3.2(单位:角度)之间,传统算法在2.2~3.5之间,表明该算法具有相对较好的噪声鲁棒性。结论 本文算法适用于具有纯像元以及不存在纯像元(建议最大纯度不低于0.8)这两种情况的高光谱遥感图像,并可在原始光谱维度进行光谱解混,从而避免降维所带来的累计误差,因此具有更好的适应范围和应用前景。… …   相似文献

覃事银  罗文斐  杨斌  张锐豪 《中国图象图形学报》2015,20(11):1535-1544

服务组合中一种自适应的负载均衡算法

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

服务组合可以整合网络上现有的多种异构服务,形成新的服务.针对服务组合中服务路径的选择和负载均衡问题,提出了一种自适应的分布式负载均衡算法--LCB(load capacity based algorithm)算法.LCB算法使用服务路由来查找服务和转发数据,使用负载容率(load… …   相似文献

李文中  郭胜  许平  陆桑璐  陈道蓄 《软件学报》2006,17(5):1068-1077

具有QoS保证的服务资源联合分配与管理

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

提出一种具有QoS保证的资源管理系统架构,理论分析表明,该系统架构能够较好地适应资源的动态性;其次将服务资源联合分配问题归化为MMKP(multiple-choice multiple-dimension knapsack problem)问题,并提出两种资源联合分配算法:最优解… …   相似文献

伍之昂  罗军舟  宋爱波  曹玖新 《软件学报》2009,20(12):3150-3162

无线多媒体传感器网络中基于多类传感器信息的分布式视频处理

下载全文  

无线多媒体传感器网络中的多媒体传感器节点的功率、计算和存储能力及带宽资源受限,迫切需要低复杂度的视频处理技术对大数据量的视频进行压缩传输。基于来自网络中监控同一目标场景的多种类型传感器的信息,给出了一个新的无线多媒体传感器网络分布式视频处理系统框架;提出了一种基于多类型传感数据融… …   相似文献

王玉斐  王汝传  黄海平  孙力娟 《中国图象图形学报》2010,15(1):161-166

支持截止期敏感应用的数据流任务调度方法

下载全文  

当前,数据流上的实时处理系统大多关心平均元组延时最小化要求,而很少考虑每个元组的截止期要求.提出一种实时的自适应批任务调度策略--ATS(adaptive batch task scheduling),以支持时变突发的数据流上关键任务的严格截止期需求.ATS调度策略可以降低调度开… …   相似文献

于戈  李晓静  杨晓春  欧征宇  邓庆绪 《软件学报》2007,18(7):1831-1843

具有旋转鲁棒性的纹理谱描述子

下载全文  

为克服传统CS-LBP(Center-Symmetric Local Binary Patterns)描述子旋转鲁棒性较差的问题,从人眼视觉角度考虑,提出一种新的CS-LBP纹理谱描述子。将纹理模式的旋转变化与字符串的移位操作相结合,基于纹理模式等价类的思想,设计了更有效的方法提… …   相似文献

陈刚  陈晓云 《中国图象图形学报》2013,18(2):214-218

时间约束Petri网及其可调度性分析与验证

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

时间约束Petri网(timing constraint Petri nets,简称TCPN)是一类重要的时间Petri网系统.对相关定义重新界定,丰富并完善了TCPN理论.针对变迁可调度原始定义的不足,首先给出了变迁的弱/强可调度的新定义及强可调度判定定理;然后对变迁的强可调度… …   相似文献

宋巍  窦万春  刘茜萍 《软件学报》2007,18(1):11-21

基础矩阵估计的加权归一化线性算法

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

基础矩阵是对来自同一景物的两幅未定标图像进行分析的基本工具.对其进行估计的常用线性算法有八点算法和改进的八点算法,其最大的优点是运算简单、易于实现,但对噪声和错误数据较敏感,因此实用性差.通过引入与余差有关的代价函数,给出了一种新的鲁棒性线性算法——加权归一化算法.首先将原始输入… …   相似文献

陈泽志  吴成柯  刘勇 《软件学报》2001,12(3):420-426

一类数据空间网格化聚类算法的均值近似方法

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

随着聚类分析对象数据集规模的急剧增大,改进已有的算法以获得满意的效率受到越来越多的重视.讨论了一类采用数据空间网格划分的基于密度的聚类算法的均值近似方法.该方法过滤并释放位于稠密超方格中的数据项,并利用其重心点近似计算其对周围数据元素的影响因子.给出均值近似在聚类算法中的实现策略… …   相似文献

李存华  孙志挥 《软件学报》2003,14(7):1267-1274

人脑半监督学习机理分类法

下载全文  

针对NN(nearest neighbor)和kNN(k-nearest neighbor)方法在标记样本较少时,分类正确率不高的缺陷,根据人脑分类样本时,自觉地利用未标记样本的半监督学习机理,提出一种人脑半监督学习机理分类方法。该方法利用未标记样本间的近邻关系,减少了标记样本数… …   相似文献

朱明旱  邵湘怡  罗大庸 《中国图象图形学报》2011,16(11):2036-2040

传感器网络安全研究

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

由于传感器网络自身的一些特殊需求,加上其节点资源非常有限和网络特征的多样性,其安全问题在很大程度上不同于传统网络.给出了传感器网络的安全体系结构,力图对该领域的研究进行整体的描述.讨论了3个方面的问题:1)所采用的密码体制,如SKE,MAC,PKC等;2)密钥管理中的多种密钥建立… …   相似文献

李平  林亚平  曾玮妮 《软件学报》2006,17(12):2577-2588