基于形式化方法的航空电子系统检测

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

随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,… …   相似文献

李睿  连航  马世龙  黎涛 《软件学报》2015,26(2):181-201

区域拟合的背景去除图像分割模型

下载全文  

目的 图像分割是图像处理领域的重要研究内容之一,且应用广泛。在基于PDE和变分法的图像分割方法中,大部分图像分割模型的能量泛函均为非凸性,较容易陷入局部极小解,因而分割结果往往不尽如人意,且运算时间较慢。为此,本文根据背景去除模型的思想结合区域拟合的方法,提出了一种区域拟合的背景去除图像分割模型。方法 首先对背景去除模型进行改造;再结合区域拟合的方法对模型进行改进,并对改进模型进行凸优化处理;最后结合水平集和Split Bregman法对改进模型进行快速求解,获得全局最小值解。结果 针对改进模型在分割效果、计算效率及初始化位置对实验结果的影响这3个方面了进行数值实验,相较于ICV(improved Chan-Vese)模型、LK(Li-Kim)模型及CV(Chan-Vese)模型,本文模型能得到更优的分割效果,且在分割效果相似的情况下,本文模型较RSF(region-scalable fitting)模型耗时更短,同时当实验初始化位置不同时,实验亦能取得良好的分割效果。结论 在对于MRI(magnetic resonance imaging)图像以及合成图像等进行处理时,本文所给出的模型不仅能获得良好的分割效果,并且效率较高,而且从实验结果来看,本文模型具有一定的鲁棒性。… …   相似文献

陈鹏翔  杨晟院 《中国图象图形学报》2016,21(6):683-690

复杂背景下文本提取的彩色边缘检测算子设计

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

分析了当前彩色边缘检测方法的现状与复杂背景下文本提取的社会需求,提出一个新的彩色图像边缘检测算子--ColorRoberts,该算子全面作用于三维RGB彩色空间.实验证明,在文本区域提取的彩色图像边缘检测中,ColorRoberts具有传统算子所无法比拟的优势,检测出的文本区域完… …   相似文献

张引  潘云鹤 《软件学报》2001,12(8):1229-1235

一种基于服务选取的SBS云资源优化分配方法

下载全文  

获取满足全局优化目标的资源分配策略,是影响云环境中基于服务的软件系统(service-based software system,简称SBS)运行时优化效果的关键.然而,由于SBS内部复杂的业务逻辑关系和云环境中的资源约束,现有分配方法无法得到最优资源分配量.以满足SLA约束和最… …   相似文献

赵秀涛  张斌  张长胜 《软件学报》2015,26(4):867-885

异构信息空间中支持多模态融合实体搜索的多层时态数据模型

  

面对异构信息空间中具有时间信息的大量相互关联的异构实体数据如作者、论文、产品、电影等,提出一个以实体及关联关系为中心的多层的时态数据模型,即多层的时态实体关联网络MTE-Network,它能有效捕捉异构实体和关联关系的时间信息.基于此时态数据模型,提出了实体搜索的多模态融合的查询… …   相似文献

杨丹  陈默  孙良旭  王刚 《计算机科学》2015,42(4):147-150

不一致数据库上带信任标记的查询结果

下载全文  

不一致数据无法正确反映现实世界,其上的查询结果内含错误或矛盾,而现有的很多不一致数据查询处理相关研究都存在信息丢失的问题.AQA(annotation based query answer)针对这一问题采用信任标签在属性级别上区分一致和不一致数据,避免了信息丢失.但AQA假设记录… …   相似文献

吴爱华  谈子敬  汪卫 《软件学报》2012,23(5):1167-1182

从链接密度遍历序列中挖掘网络社团的层次结构

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

提出一种称为TRAVEL的网络聚类算法.它能够产生包含所有可能密度聚类的网络链接遍历序列,并从中自动发现网络的全局优化聚类.然后,遍历序列被转挟为连续子区间堆结构.在此基础上,提出一种聚类算法HCLU,可以无须用户干预地从连续子区间堆中自动发现网络的层次聚类边界.在真实网络以及计… …   相似文献

黄健斌  孙鹤立  Dustin BORTNER  刘亚光 《软件学报》2011,22(5):951-961

基于对数极坐标映射的图像拼接方法

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

图像拼接在基于图像的绘制、视频检索以及景物匹配等领域有着广泛的应用,为了获取大画面宽视场的场景表示,针对存在旋转及缩放变化的图像,提出了一种基于对数极坐标映射的图像拼接方法,该方法先将图像从笛卡儿坐标空间转换到对数极坐标空间,使得笛卡儿坐标空间中图像的旋转和缩放转换为对数极坐标空… …   相似文献

李忠新  茅耀斌  王执铨 《中国图象图形学报》2005,10(1):59-63

SVM在多源遥感图像分类中的应用研究

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

在利用遥感图像进行土地利用/覆盖分类过程中,可采用以下两种途径来提高分类精度:一是通过增加有利于分类的数据源,引入地理辅助数据和归一化植被指数(NDVI)来进行多源信息融合;二是选择更好的分类方法,例如支持向量机(SVM)学习方法,由于该方法克服了最大似然法和神经网络的弱点,非常… …   相似文献

何灵敏  沈掌泉  孔繁胜  刘震科 《中国图象图形学报》2007,12(4):648-654

可证明安全的节点不相交多路径源路由协议

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

多路径路由实现是移动ad hoc网络可靠运行的有效保证.针对多路径路由协议的安全性分析,建立了基于UC(universally composable)框架的可证明安全路由协议的新方法.基于攻陷的网络拓扑模型,扩展了可模糊路由概念,提出了多路径可模糊路由集合概念,用于描述攻陷网络拓… …   相似文献

冯涛  郭显  马建峰  李兴华 《软件学报》2010,21(7):1717-1731

基于NSCT的旋转不变纹理图像检索算法

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

针对图像检索中常见的旋转问题,提出了一种基于非抽样Contourlet变换(NSCT)的旋转不变检索算法。以NSCT域各子带系数的均值和标准方差构成基本特征向量。在相同尺度上,利用各子带的均值和标准方差之和对特征分量由小到大排序,同时根据旋转不变性调整排序后特征向量对应的方向序列… …   相似文献

何永丛  刘文波  张弓  崔鹏 《中国图象图形学报》2011,16(1):79-83

基于GPRS的热网无线数据采集系统

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

提出了一种基于GPRS网络通信技术实现的热网无线数据采集系统,介绍了系统结构和数据采集单元的组成,分析了数据采集单元和监控中心的软件功能。  相似文献

卢建刚  陆魁军 《计算机应用研究》2006,23(3):222-223

AdpCAM：基于TCAM的低功耗IP查表算法*

  

非对称前缀分布算法（AdpCAM）是一个新颖的降低TCAM功耗的解决方案。该算法在保证TCAM有较高利用率的前提下,有效地降低了功率消耗,并将其限制在可预知的范围内。这种算法支持路由表的快速更新。仿真和应用证明了该算法的可行性和实用性。  相似文献

谭兴晔  张勇  雷振明 《计算机应用研究》2006,23(2):35-37

多分支单变量循环程序的终止性分析

下载全文  

对多分支单变量循环程序的终止性问题进行了研究.证明了在适定的条件下,该类循环程序不可终止性的充分必要条件是迭代映射在循环条件形成的区域中有不动点.特别地,当这类循环程序是多项式循环程序时,在给定条件下,其在实数域上的终止性问题是可判定的.  相似文献

李轶  李传璨  吴文渊 《软件学报》2015,26(2):297-304

基于最小噪声分离的约束能量最小化亚像元目标探测方法

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

提出了一种基于最小噪声分离的约束能量最小化亚像元目标探测方法。利用最小噪声分离变换,降低高光谱遥感影像的维数,同时分离高光谱遥感影像中的噪声。利用约束能量最小化方法对低维数据进行亚像元目标探测,避免了求解影像虚拟维数和病态矩阵求逆的问题。实验结果表明,该方法可以很好地抑制噪声的影… …   相似文献

杜博  张良培  李平湘  钟燕飞 《中国图象图形学报》2009,14(9):1850-1857

沿边局部灰度差分椒盐噪声滤波

下载全文  

为了在减小高密度椒盐噪声漏检的同时最大限度提升滤波效果,提出一种新算法.该算法首先利用椒盐灰度极值,抽取准噪声点;然后对准噪声点执行局部窗口沿边检测,判断疑似噪声集合;最后,只对疑似噪声集合中像素点进行就近双边加权灰度替换滤波.实验数据显示,不同噪声密度环境下,本文算法在现有滤波… …   相似文献

孔勇奇  潘志庚 《中国图象图形学报》2013,18(3):249-256

心肌灌注核磁共振图像的非刚性配准

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

心肌灌注核磁共振图像中心脏的位置和形状会随着病人的呼吸和心跳而发生改变.同时,灌注图像的灰度也会随着造影剂在心腔中的流动而不断变化.这使得传统单纯依靠互信息、互相关等信息的配准算法很难在心肌灌注核磁共振图像中得到应用.使用马尔可夫随机场(M RF)模型对图像进行非刚性配准.在马尔… …   相似文献

王建  潘静薇  杨新 《中国图象图形学报》2013,18(6):661-668

基于曲线线性组合的3次均匀B样条曲线的拓展

  

为了丰富和发展B样条曲线理论,利用曲线线性组合的思想,将3次均匀B样条曲线进行了拓展,并讨论了拓展曲线的性质。研究表明,拓展曲线的基具有较简单的表达式;拓展曲线包含了原曲线的基本形式,比原曲线具有更强的描述能力,且保持曲线次数不变。利用曲线的形状因子可以调整曲线的局部形状;同时得… …   相似文献

梁锡坤 《中国图象图形学报》2011,16(1):118-123

一个基于角色组织结构的过程视图管理方法

  

提出了一个基于角色组织结构关系的过程视图管理方法,详细介绍了过程和过程视图的形式化定义以及根据角色组织结构关系的过程视图自动生成算法,同时给出了相应的应用实例。  相似文献

赵彦  张静  徐俊  王海洋 《计算机应用研究》2006,23(1):177-180

一种协作和中继混合的传感网寿命最大化路由算法

下载全文  

周期性监控、多对一数据传输是无线传感网的典型场景之一.其中存在固有的能耗不均问题,即与sink 节点距离不同的节点能耗差异大,严重缩短了网络寿命.提出了一种基于协作和中继混合传输模式的路由方法,利用协作和中继在远、近距离传输时能耗的互补性,通过调整节点采用中继模式传输的负载比例(… …   相似文献

张霞  周刚  于宏毅 《软件学报》2013,24(12):2859-2870