基于分辨粒度的gROC曲线分析方法

下载全文  

ROC曲线是模型选择的一种重要方法,但ROC曲线的不确定性影响了模型选择的准确性.基于分辨粒度,从反映得分的不确定性的角度提出gROC和gAUC的概念,从理论上讨论了gROC的若干性质.在给出其算法之后,利用双正态模型检验了gROC的合理性.在此基础上,提出了两个模型选择度量--… …   相似文献

董元方  李雄飞  李军  赵海英 《软件学报》2013,24(1):109-120

Co-Monitor:检测前缀劫持的协作监测机制

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

在如今的互联网中,网络管理员要想及时地发现前缀劫持事件非常困难.考虑到互联网域间路由系统中存在的自治特性,提出了在多个自治系统之间协作监测前缀的思想,并由此设计了一个实时检测前缀劫持的新方法——Co-Monitor机制.在Co-Monitor中,每个参与者与其他参与者交换自定义的… …   相似文献

刘欣  朱培栋  彭宇行 《软件学报》2010,21(10):2584-2598

图同构中的一类顶点细分方法

下载全文  

提出一种顶点细分方法.基于顶点之间具有一定长度的路径数等信息,定义了一类顶点不变函数.将该方法与已有的一些顶点细分方法进行了比较.分析表明,基于路径数的顶点不变函数的细分效果,至少不差于基于顶点的度、距离等方法;而一些实例则表明前者要优于后者.基于路径数的顶点分类方法可以有效地用… …   相似文献

邹潇湘  戴琼 《软件学报》2007,18(2):213-219

基于Bagging的选择性聚类集成

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

使用集成学习技术来提高聚类性能.由于聚类使用的训练样本缺乏期望输出,与监督学习下的集成相比,在对个体学习器进行结合时更加困难.通过对不同的聚类结果进行配准,并基于互信息权进行个体学习器的选择,提出了基于Bagging的选择性聚类集成算法.实验表明,该算法能够有效地改善聚类结果.… …   相似文献

唐伟  周志华 《软件学报》2005,16(4):496-502

从基于迁移的扩展Büchi自动机到Büchi自动机

下载全文  

目前的模型检测方法中,有一种方法是基于自动机来实现的.具体做法是:将抽象出的系统模型用Büchi自动机来表示,将需要验证的性质用LTL(linear temporal logic)公式来表达;然后将LTL公式取反后转化为Büchi自动机,并检查这两个自动机接受语言之间的包含关系.… …   相似文献

易锦  张文辉 《软件学报》2006,17(4):720-728

应用最小生成树实现点云分割

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

点云分割是点云参数化、形状识别、编辑造型等领域的关键基础算法。提出一种基于最小生成树的点云模型分割算法,包括生成带状分割边界、区域增长、拆分带状分割边界以及生成最终区域4个步骤。算法采用Snake模型提取分割曲线并向两侧扩展形成带状分割边,利用最小生成树实现区域增长来提取区域内部… …   相似文献

孙金虎  周来水  安鲁陵 《中国图象图形学报》2012,17(7):858-865

WSN中基于协作水印的虚假数据过滤算法

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

提出一种基于协作水印的数据认证算法来识别虚假数据和重复包,算法在每个数据包中嵌入两类水印:一类是鲁棒性水印,用于对发送者的身份和数据的新鲜性进行认证;另一类是由t个证人节点协作生成、嵌入的半脆弱水印,用于对数据内容进行认证.算法保证了多个水印之间互不影响;算法允许网络中的单个节点… …   相似文献

易叶青  林亚平  李小龙  羊四清  尤志强 《软件学报》2010,21(1):107-118

一个三维需求模型及其对涉众协同的支持

下载全文  

在多涉众(stakeholder)参加的协同开发活动中,不同的涉众关注软件开发的不同方面,例如技术、过程、人.由于涉众的\"赢条件(win condition)\"之间的相互影响冲突往往是隐含的,所以,它们之间的冲突不容易被发现,导致各方共赢的均衡状态难以达成.提出了一个三维的需… …   相似文献

王继喆  李明树 《软件学报》2007,18(10):2380-2392

基于分布式实时信息的车载网络路由协议

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

提出了一种基于分布式实时信息的车载自组织网络路由协议(distributed real-time information based routing protocol,简称 DRIP).网络中,车辆基于提出的分布式实时路段延时估计机制(distributcd real-time … …   相似文献

宋超  刘明  龚海刚  陈贵海  王晓敏 《软件学报》2011,22(3):466-480

基于行为自动机的构件可替换性分析与验证

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

在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化… …   相似文献

张敬周  任洪敏  宗宇伟  钱乐秋  朱三元 《软件学报》2010,21(11):2768-2781

开放式实时系统的调度理论与方法分析

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

随着实时系统应用的日益广泛,多类型实时和非实时任务并存的情况给系统调度机制带来了新的需求和挑战.开放式实时系统的相关研究因为解决这一问题而受到关注,也为调度理论与方法带来了新的思路.在阐述了开放式实时系统的基本概念和理论的基础上,提出了一种调度对象的层次性模型,适用于开放式实时调… …   相似文献

邹勇  李明树  王青 《软件学报》2003,14(1):83-90

针对无标度网络的紧凑路由方法

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

衡量一种路由算法优劣的两个重要指标是路由表的大小和路径的长度,但这两个方面通常是互相矛盾的.紧凑路由(compact routing)研究旨在设计路由算法在这两个指标上获得优化的平衡(tradeoff).目前,已有许多学者针对任意拓扑的网络提出了普适(universal)的紧凑路… …   相似文献

唐明董  张国清  杨景  张国强 《软件学报》2010,21(7):1732-1743

有效预处理P2P 网络中的子空间skyline 查询

下载全文  

多维空间的skyline 查询处理是近年来数据库领域的一个研究重点和热点.Vlachou 等人首次考虑如何在P2P 网络中有效进行子空间上的skyline 查询,并提出“扩展skyline 集合”的概念来减少预处理时的网络传输量.然而实验评估表明,扩展skyline 集合只能有限… …   相似文献

黄震华  王智慧  郭建魁  汪卫  施伯乐 《软件学报》2009,20(7):1825-1838

人体运动的函数数据分析与合成

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

在许多虚拟现实的应用中,虚拟人作为人在计算机中的表示,是提高其交互能力和沉浸感的重要因素之一.然而,对于虚拟人建模而言,合成逼真、可控的虚拟人运动仍然是具有挑战性的课题.为此,提出了一种基于函数数据分析的人体运动合成方法.通过对一组样本运动进行函数主成分分析,构建出一个由特征运动… …   相似文献

李淳芃  王兆其  夏时洪 《软件学报》2009,20(6):1664-1672

程序自动并行化系统

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

有效的自动并行化系统能帮助用户充分地利用并行计算机资源．本文介绍了自动并行化的历史及现状,并着重介绍了作者所开发的自动并行化系统ＡＦＴ（ａｕｔｏｍａｔｉｃＦｏｒｔｒａｎｔｒａｎｓｆｏｒｍｅｒ）及其特色和所用的关键技术．测试结果表明ＡＦＴ系统在功能上已超越了传统的自动并行化系统．… …   相似文献

朱传琪  臧斌宇  陈彤 《软件学报》1996,7(3):180-186

基于超像素的多主体图像交互分割

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

目的 为解决多主体图像的交互分割问题,在保证分割效果的前提上,提高分割的效率,达到实时交互修改分割结果的目的, 提出基于超像素的图像多主体交互分割算法.方法 基于图像的超像素构造一个多层流网络,利用用户交互绘制的简单笔画给出多主体分割的指导信息.流网络的边权值保证利用图割算法将图像分割成多个部分后,每个部分代表图像的一个主体.允许用户交互给出标记,实时修改分割结果,直到得到满意的多主体分割.结果 通过实验显示,本文方法能得到的满意多主体分割结果,而且时间效率较高.对分辨率为449×275的图像,算法能在1 s内给出结果,满足实时修改的要求.结论 基于超像素建立的图规模较小,能大大减少图割算法的运行时间,达到用户实时交互添加新笔画信息,交互地修正分割结果的目的.利用超像素的边界信息,用户只需输入比较简单的笔画信息,分割算法就能得到正确的多主体分割结果.… …   相似文献

伯彭波  袁野  王宽全 《中国图象图形学报》2015,20(6):764-771

结合结构相似度的自适应多尺度SAR图像变化检测

下载全文  

目的 结合高斯核函数特有的性质,提出一种基于结构相似度的自适应多尺度SAR图像变化检测算法。方法 本文提出的算法包括差异图像获取、高斯多尺度分解、基于结构相似性的最优尺度选择、特征矢量构造以及模糊C均值分类。首先,通过对多时相SAR图像进行对数比运算获取差异图像,然后,利用基于图像的结构相似度估计高斯多尺度变换的最优尺度,继而在该最优尺度参数下逐像素构建变化检测特征矢量,最后通过模糊C均值聚类方法实现变化像素与未变化像素的分离,生成最终的变化检测结果图。结果 在两组真实的SAR图像数据上测试本文算法,正确检测率分别达到0.9952和0.9623,Kappa系数分别为0.8200和0.8540,相比传统算法有了较大的提高。结论 本文算法充分利用了尺度信息,对噪声的鲁棒性有所提高。实测SAR数据的实验结果表明,本文算法可以智能获取最优分解尺度,显著提高了SAR图像变化检测性能。… …   相似文献

崔莹  熊博莅  蒋咏梅  匡纲要 《中国图象图形学报》2014,19(10):1507-1513

动态可重配置的星上嵌入式实时计算系统*

  

卫星上由于特殊条件的限制,计算机处理速度满足不了对信号处理的需要,而且不能在有限的硬件规模和功耗的情况下灵活地实现各种计算处理功能。提出了一种基于嵌入式微处理器配合大规模现场可编程门阵列（FPGA）的动态可重配置结构的星上实时计算系统的体系结构设计,可在一块FPGA资源上通过动态… …   相似文献

刘勇  李华旺  尹增山  杨根庆 《计算机应用研究》2006,23(1):204-205

概念设计中基于笔式手势的交互计算研究

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

基于笔式手势的自然交互是支持概念设计创新的有效方式.提出了一种笔式手势的层次概念模型,结合基于约束的自由勾画和上下文感知技术描述了手势设计方式,进一步讨论了手势内部的约束建立和求解算法;基于手势应用的范式,给出了概念设计中特征手势建模的应用实例,通过与传统建模和交互方式的对比,验… …   相似文献

马翠霞  戴国忠  滕东兴  陈由迪 《软件学报》2005,16(2):303-308

用描述逻辑进行语义Web服务组合

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

针对面向服务功能的语义Web服务组合问题,特别是经典的人工智能规划方法无法有效地处理Web服务执行过程中动态产生的新个体,以及基于服务匹配的方法则无法充分利用服务I/O参数类型之间大量的语义关联等关键问题,通过动态逻辑和描述逻辑之间的对比研究,采用描述逻辑公理来刻画Web服务的I… …   相似文献

王杰生  李舟军  李梦君 《软件学报》2008,19(4):967-980