基于场景构件式实时软件设计的一致性检验

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

在复杂的实时软件系统中使用构件式设计方法,已成为目前软件工程中的研究热点.如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一.通过在接口自动机模型中添加时间区间标记,来扩展其对实时系统接口行为的表达能力;使用实时接口自动机网络来描述实时软件系统的构… …   相似文献

胡军  于笑丰  张岩  李宣东  郑国梁 《软件学报》2006,17(1):48-58

一种新的基于多尺度似然比检验的SAR图像分割方法*

下载全文  

提出的图像分割新算法利用当图像分辨率改变时,不同目标斑点模式变化方式的不同以及相邻图像尺度间的Markov性,推导得出了多尺度似然比的表达式;该方法同时考虑了多尺度自回归（MAR）模型产生的残差信息和较粗尺度图像的灰度信息,增强了区分度,分割结果更精确;考虑了被分类像素的邻域特性… …   相似文献

句彦伟  田铮  丁明涛 《计算机应用研究》2006,23(1):230-232

基于Bloom Filter的大规模异常TCP连接参数再现方法

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

提出由TCP连接的唯一性导出的TCP数量平衡性测度及其经验范围可用于检测TCP连接的大规模异常,如DDoS、扫描等.使用带哈希增强算法的Bloom Filter Reproduction(BFR)方法对TCP连接大规模异常的参数进行快速再现,如IP地址、端口的分布等,使得在检测过… …   相似文献

龚俭  彭艳兵  杨望  刘卫江 《软件学报》2006,17(3):434-444

垂直交叉双向搜索策略的自适应窗口匹配算法

  

目的 基于区域的局部匹配算法是一种简单高效的立体匹配方法.针对局部算法中窗口的抉择问题,提出了基于垂直交叉双向搜索的自适应窗口匹配算法.方法 该算法考虑到局部区域内灰度值与视差值的相关性,通过垂直交叉双向搜索策略自适应地调节窗口的形状和大小,并获得相应掩码窗口;再利用积分图像计算… …   相似文献

符立梅  彭国华 《中国图象图形学报》2015,20(1):104-112

基于模块化可达图的服务组合验证及BPEL代码生成

下载全文  

为了解决基于中介器服务组合方法的状态爆炸和不能自动生成BPEL(business process execution language)的问题,提出了一种基于Petri网模块化可达图的服务组合验证方法.服务组合的Petri网模型通过中介变迁进行模型分割,分别对各个部分构建可达图,… …   相似文献

杜彦华  范玉顺  李喜彤 《软件学报》2010,21(8):1810-1819

一种高斯过程的带参近似策略迭代算法

下载全文  

在大规模状态空间或者连续状态空间中,将函数近似与强化学习相结合是当前机器学习领域的一个研究热点;同时,在学习过程中如何平衡探索和利用的问题更是强化学习领域的一个研究难点.针对大规模状态空间或者连续状态空间、确定环境问题中的探索和利用的平衡问题,提出了一种基于高斯过程的近似策略迭代… …   相似文献

傅启明  刘全  伏玉琛  周谊成  于俊 《软件学报》2013,24(11):2676-2686

结合边缘和区域的活动轮廓模型SAR图像目标轮廓提取

下载全文  

目的 目标轮廓表征了目标形状,可用于目标方位角估计、自动目标识别等,因此提取合成孔径雷达（SAR）图像中的目标轮廓受到了人们的广泛关注。受SAR图像乘性噪声的影响,传统的目标轮廓提取方法应用在SAR图像时失效。针对这一问题,提出一种将基于边缘的活动轮廓模型和基于区域的活动轮廓模型相结合的活动轮廓模型。方法 以真实SAR图像为基础,分析了向量场卷积（VFC）活动轮廓模型以及区域竞争（RC）活动轮廓模型各自的特点和优势,发现这两个模型存在一定的互补性,因此将这两个模型进行了结合,得到了一种新的SAR图像目标轮廓提取方法。结果 基于真实SAR图像的实验结果表明,本文方法能较好地应对SAR图像信噪比较低、目标边缘模糊等特点,能准确地获得SAR图像目标轮廓。结论 本文方法可用于执行实际的SAR图像轮廓提取任务,为后续的SAR图像自动识别和特征级图像融合等任务提供了较为优良的输入信息。… …   相似文献

王沛  周鑫  彭荣鲲  符鹏 《中国图象图形学报》2014,19(7):1095-1103

基于ID的门限多重秘密共享方案

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

为了避免现有秘密共享方案中的秘密份额分发机制的不足,结合基于身份(ID)的公钥密码技术,提出了利用参与者私钥作为其主份额的秘密份额分发方法.首先,对Zheng提出的签密方案进行了安全分析,发现其不具备前向保密性,并针对该安全问题,提出了一个改进的签密方案.同时,在所提出的改进方案… …   相似文献

庞辽军  裴庆祺  焦李成  王育民 《软件学报》2008,19(10):2739-2745

基于龙芯CPU的多核全系统模拟器SimOS-Goodson

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

随着片上多核结构成为当前高性能微处理器发展的趋势,目标工作负载也变得多样化,传统的用户级模拟器已不能适应未来体系结构的研究需要.基于SimOS全系统模拟环境,设计并实现了龙芯CPU的片上多核全系统模拟器SimOS-Goodson.在SimOS-Goodson的设计中运用了时序与功… …   相似文献

高翔  张福新  汤彦  章隆兵  胡伟武  唐志敏 《软件学报》2007,18(4):1047-1055

Laurel:一种混合式数据分发覆盖网

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

覆盖网是各种数据分发应用的基础架构.在节点波动的网络环境中实现快速而准确的数据分发,对覆盖网提出了两个要求:高效的数据路由;较强的系统鲁棒性.已有的覆盖网构建方法多侧重于某个方面的优化,因而未能充分权衡数据路由效率与系统鲁棒性.提出了一种混合式数据分发覆盖网--Laurel.La… …   相似文献

郑重  王意洁  马行空 《软件学报》2011,22(4):722-735

DBR微腔激光器典型参数的开关调制响应及控制

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

以微腔激光器的典型代表垂直腔面发射半导体激光器(VCSEL)为例，选择自发辐射因子为控制参数，数值模拟了大信号深度调制情形下VCSEL的非线性动力学特性，实现了类似于边缘发射激光器的分岔，周期加倍分岔，多稳和混沌状态的稳定控制，得到分岔点位置和周期轨道与控制参数的变化关系，以及相… …   相似文献

潘炜  张晓霞  罗斌  邓果  李孝峰 《通信学报》2004,25(9):169-174

基于重复博弈的无线自组网络协作增强模型

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

在缺乏集中控制的无线自组网络中,节点在转发过程中所表现出的自私行为将严重影响其网络服务的可靠性.在节点理性假设的基础上,针对自组网络节点的预期收益及其协作交互过程建立了一个重复博弈模型,提出了一个激励一致性条件,在此条件下,节点将迫于惩戒机制威慑而自愿采取合作策略;并分析了节点对… …   相似文献

陆音  石进  谢立 《软件学报》2008,19(3):755-768

随机QoS 感知的可靠Web 服务组合

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

在面向服务的环境下,单个Web 服务往往不能满足用户的要求,这时就需将已有的单个Web 服务进行组合,以便产生满足用户需求的、增值的组合服务.已有的服务组合方法都很少考虑Web 服务的随机性和Internet 环境的动态性,从而在服务选择过程中产生的规划都是静态规划,结果导致在服… …   相似文献

范小芹  蒋昌俊  王俊丽  庞善臣 《软件学报》2009,20(3):546-556

VM内部隔离驱动程序的可靠性架构

下载全文  

利用虚拟化技术来整合资源已成为高性能服务器提高资源利用率的重要手段,虚拟化技术的可靠性对于高性能服务器所提供服务的质量至关重要.然而,驱动故障严重影响了虚拟机中操作系统的可靠性,也同样影响到整个服务器的可靠性.为此,提出一种在虚拟机内部通过隔离故障驱动程序来提高虚拟机可靠性的架构… …   相似文献

郑豪  董小社  王恩东  陈宝可  朱正东 《软件学报》2014,25(10):2235-2250

多媒体组通信机制——服务质量受控型组管道

下载全文  

提出一种服务质量受控型组管道,作为基于服务质量的平台层多媒体组通信抽象,以支持分布式多媒体组通信机制的描述与开发.给出了服务质量受控型组管道的形式定义,详细讨论了其工作过程.该抽象已被成功地用于指导分布式多媒体信息系统、计算机会议系统、远程教学系统等系统中的组通信机制的开发工作.… …   相似文献

王兴伟  才国清 《软件学报》2002,13(6):1097-1102

分水岭优化的Snake模型肝脏图像分割

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

Snake算法是主动轮廓模型的经典算法,是近年来图像分割和视频领域研究的热点。针对Snake模型中存在的初始轮廓敏感和能量函数中曲率约束不足等问题,提出将分水岭变换和主动轮廓模型相结合的主动轮廓分割算法。首先通过引入标记函数和强制最小值技术解决传统分水岭变换可能导致的过分割问题,… …   相似文献

兰红  张璐 《中国图象图形学报》2012,17(7):873-879

AC分组密码的差分和线性密码分析

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

讨论AC分组密码对差分和线性密码分析的安全性,通过估计3轮AC的差分活动盒子的个数下界和12轮AC的线性活动盒子的个数下界,本文得到AC的12轮差分特征概率不大于2-128和线性逼近优势不大于2-67.因此,AC分组密码对差分和线性密码分析是安全的.  相似文献

吴文玲  马恒太  卿斯汉 《软件学报》2003,14(3):569-574

智能规划器StepByStep的研究和开发

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

智能规划器是智能规划研究成果的重要表现形式,规划器的求解效率和规划质量是智能规划理论研究的直接反映.首先介绍智能规划器的一般结构和StepByStep规划器的总体结构,然后详细阐述StepByStep规划器各组成部分所采用的方法和策略,定义谓词知识树来提取领域知识.在谓词知识树的… …   相似文献

吴向军  姜云飞  凌应标 《软件学报》2008,19(9):2243-2264

融合视觉感知和等周理论的图像阈值分割

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

提出一种融合视觉感知和等周理论的图像阈值分割方法。此方法先利用人类视觉感知的特性来寻找候选阈值所在的灰度区间,然后将等周理论中的等周率作为准则从候选阈值中挑选出最佳分割阈值。在工业无损检测等一系列图像上的实验结果表明,与现有的几种经典阈值分割方法相比,本文方法的分割效果更好。… …   相似文献

李佐勇  刘传才 《中国图象图形学报》2011,16(3):370-376

PDE技术的图像放大模型

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

偏微分方程(PDE)已成为图像处理与分析中的重要工具。而数字图像处理的一个基本内容是图像放大,即从低分辨率图像获得高分辨率图像的图像处理技术。通过两种泛函模型,利用变分的思想,提出了基于TV-norm (total variation norm)插值模型和四阶偏微分方程插值模型的… …   相似文献

宋锦萍  高冉  朱方  台雪成 《中国图象图形学报》2009,14(1):82-87