字符串分析研究进展

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

随着软件应用范围的不断扩大,尤其是数据库软件和Web软件的广泛应用,字符串变量在软件程序中扮演的角色日益重要与此同时,针对字符串变量的程序分析技术——字符串分析,也取得了长足的发展,并在软件工程中的很多领域中得到了成功的应用.字符串分析的基本应用模式是首先使用字符串值分析获得字符… …   相似文献

梅宏  王啸吟  张路 《软件学报》2013,24(1):37-49

自旋式综合孔径微波辐射计稀疏阵列布局优化设计

  

该文针对自旋式综合孔径微波辐射计非均匀采样问题,提出新的阵列优化目标函数与阵列优化算法。首先,针对Cornwell提出的基线距离乘积最大目标函数优化稀疏阵列会出现基线中心与边缘区域密集而过渡区域稀疏的问题,该文提出修正的电荷最小能量分布目标函数以及基于最小误差网格剖分的方法。针对… …   相似文献

孙逢林  张升伟 《电子与信息学报》2014,(10)

光路可靠性和频谱整合因子感知的虚拟光网络生存性映射

  

针对多链路故障,本文提出一种基于光路可靠性和频谱整合因子感知的空分复用弹性光网络中虚拟光网络生存性映射算法.在虚拟节点映射时,综合考虑物理节点属性的权重评估准则.在虚拟链路映射时,本文设计联合考虑频谱资源和可靠性的工作光路选择策略和基于频谱整合因子感知的工作光路频谱分区分配方法,… …   相似文献

刘焕淋  胡会霞  马敬  陈勇  王展鹏 《电子学报》2021,49(4):744-749

特征点和不变矩结合的遥感图像飞机目标识别

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

传统的飞机目标识别算法一般是通过目标分割,然后提取不变特征进行训练来完成目标的识别。但是,对于实际情况比较复杂的遥感图像飞机目标,至今没有一种适合多种机型的分割和识别算法。针对现有识别算法的不足,本研究提出一种基于特征点空间分布、颜色不变矩和Zernike不变矩相结合的遥感图像飞… …   相似文献

曾接贤  付俊  符祥 《中国图象图形学报》2014,19(4):592-602

协同设计中基于规则推理的冲突消解研究

  

分析了协同设计中冲突产生的原因和冲突消解的技术,提出了一种基于规则推理的冲突消解体系结构,并在冲突消解的规则推理过程中运用了一种快速的规则匹配算法,提高了在冲突消解过程中的规则匹配效率,同时降低了协同设计过程中冲突消解的时间及空间复杂度。  相似文献

赵阳  刘弘 《计算机应用研究》2006,23(1):54-56

分布式人工智能回顾与展望

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

分布式人工智能是人工智能的一个新分支。本文对分布式人工智能发展的历史、现状及前景做了全面的综述,详细讨论了分布式人工智能研究的五个基本问题及其解决方法,并分析了分布式人工智能与人工智能的关系及对人工智能研究的促进作用。  相似文献

石纯一  胡蓬 《计算机科学》1992,19(4):29-35

软件库调用规约挖掘

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

软件库调用规约是一种描述软件库提供函数正确调用顺序的规约.客户代码应按此规约描述的内容调用函数,否则可能引入缺陷,从而降低软件的可信性.由于能够描述可信软件应该满足的性质,软件库调用规约在可信软件、模型检测等研究中扮演特殊的角色.但是,受制于编写规约的巨大代价,软件库通常并不提供… …   相似文献

钟浩  张路  梅宏 《软件学报》2011,22(3):408-416

空间区域拓扑关系分析方法综述

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

空间关系形式化模型的发展是空间推理、地理信息系统(geographic information systems,简称GIS)、计算机视觉等领域中的一个非常重要的主题,近年来受到相关领域研究者的极大关注,特别是在空间区域间拓扑关系模型的研究方面取得了很大进展.介绍了区域间拓扑关系形… …   相似文献

虞强源  刘大有  谢琦 《软件学报》2003,14(4):777-782

多核处理器并行程序的确定性重放研究

下载全文  

多核处理器并行程序的确定性重放是实现并行程序调试的有效手段,对并行编程有重要意义。但由于多核架构下存在共享访存不同步问题,并行程序确定性重放的研究依然面临多方面的挑战,给并行程序的调试带来很大困难,严重影响了多核架构下并行程序的普及和发展。分析了多核处理器造成并行程序确定性重放难… …   相似文献

高岚  王锐  钱德沛 《软件学报》2013,24(6):1390-1402

基于非确定性推理的网构软件服务质量动态评估方法

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

提出了网构软件环境下一种基于非确定性推理的构件服务质量动态评估方法.该方法基于贝叶斯网络,其主要特点在于考虑了用户对构件的QoS需求,可以预测在用户多种QoS需求下采用分级策略的构件服务能力,支持评估模型的动态更新,提高了评估结果的准确性.在自主开发的服务协同总线(Once-SC… …   相似文献

吴国全  魏峻  黄涛 《软件学报》2008,19(5):1173-1185

基于UWB的无线传感器网络中的两步TOA估计法

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

为了设计一种以较小运算量获得较高测距精度的TOA(time of arrival)估计算法以适合节点运算能力有限的UWB(ultra wideband)无线传感器网络,提出了一种结合能量检测与匹配滤波的两步TOA估计方法.分析了该方法的工作原理,指出了第1步中DP(direct … …   相似文献

吴绍华  张乃通 《软件学报》2007,18(5):1164-1172

互联网名字空间结构及其解析服务研究

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

随着互联网的迅速发展,互联网名字空间结构及其解析服务面临着新的挑战.IP地址同时用作设备的位置标识和设备的身份标识、语义过载;当前的名字空间解析系统DNS存在着服务模式单一、更新速度慢、资源描述能力不够强等缺点,不能满足许多新型应用的要求;而NAT、各种代理、防火墙等网络中间件的… …   相似文献

李丹  吴建平  崔勇  徐恪 《软件学报》2005,16(8):1445-1455

一种基于边的上下文相关图文法形式化框架

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

围绕解决图文法中的主要问题——嵌入问题,提出了一种基于边的上下文相关图文法形式化框架,并对由此定义的文法的一些性质及相应的归约算法进行了讨论.对所提出的图文法与已有的文法进行了比较.同时,展望了今后值得进一步研究的一些问题和方向.  相似文献

曾晓勤  韩秀清  邹阳 《软件学报》2008,19(8):1893-1901

压缩感知基本理论:回顾与展望

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

随着信息社会的迅速发展,人们对数字信息的需求越来越大。同时,人们对信号的采样速率、传输速度和存储空间的要求也变得越来越高。如何在保持信号信息的同时尽可能地减少信号的采样数量?Candès在2006年的国际数学家大会上介绍了一种称为压缩感知的新颖信号采样理论,指出:只要远… …   相似文献

邵文泽  韦志辉 《中国图象图形学报》2012,17(1):1-12

一种模型转换的编织框架

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

模型转换是MDA(model driven architecture)的核心技术之一,也是目前MDA研究的热点.目前,MDA范畴内存在多种模型转换方法和工具,它们之间的异构性造成了模型转换代码重用的困难,并使学习和使用模型转换方法的成本增加.受到模型编织技术的启发,提出了一种基于… …   相似文献

王学斌  王怀民  吴泉源  史殿习 《软件学报》2006,17(6):1423-1435

Internet网络拓扑建模

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

首先概述Internet网络拓扑建模的意义和分类;总结现阶段已发现的主要网络拓扑特性与度量指标;然后分析、讨论自治域级和路由器级的Internet网络拓扑建模与最新的研究成果;最后针对目前拓扑建模中存在的难点和问题给出总结,并展望未来的研究发展方向.  相似文献

周苗  杨家海  刘洪波  吴建平 《软件学报》2009,20(1):109-123

实视图选择研究

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

定义了数据仓库领域的视图选择问题,并讨论了与该问题相关的代价模型、收益函数、代价计算、约束条件和视图索引等内容;介绍了3大类视图选择方法,即静态方法、动态方法和混合方法,以及各类方法的代表性研究成果;最后展望未来的研究方向.  相似文献

林子雨  杨冬青  王腾蛟  宋国杰 《软件学报》2009,20(2):193-213

用多层次聚类法完成的大规模关系图的可视化

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

提出了一种新的大规模图形可视化技术.它可显示含有几万个接点和边的大规模关系图.为了完成对图形的抽象化。一个多层次的聚类图形从原始的大规模关系图中抽取了出来.这种抽取是建立在大规模关系图的内在结构基础上来完成的.一种递规封入式的几何划分算法被应用来完成对几何空间的优化,在具体的制图… …   相似文献

黄茂林  NGUYEN Quang Vinh 《软件学报》2008,19(8):1933-1946

网络测量部署模型及其优化算法

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

ISP(Internet service providers)和企业部署网络监测系统以获取网络的性能数据,确保网络的安全性和连通性,最终加强和改善全局的网络性能.网络监测系统的设计和优化是目前的一个研究热点,其优化目标是最小化监测系统的部署代价和维护代价,并使得对网络的影响尽可能… …   相似文献

蔡志平  刘芳  赵文涛  刘湘辉  殷建平 《软件学报》2008,19(2):419-431

图像分割中的超像素方法研究综述

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

目的 超像素(superpixel)是近年来快速发展的一种图像预处理技术,它将图像快速分割为一定数量的具有语义意义的子区域,相比于传统处理方法中的基本单元——像素,超像素更有利于局部特征的提取与结构信息的表达,并且能够大幅度降低后续处理的计算复杂度,在计算机视觉领域尤其是图像分割中得到了广泛的应用,为使国内外研究者对超像素理论及其在图像分割中的应用有一个比较全面的认识,对其进行系统综述.方法 以图像分割为应用背景,在广泛调研文献特别是超像素最新发展成果的基础上,结合对比实验,对每种方法的基本思想、方法特点进行总结,并对超像素分割目前存在的局限性进行说明,对未来可能发展方向进行展望.结果 不同的超像素分割算法在分割思想、性能特点上各不相同.当前的超像素方法普遍在超像素数量、紧密度与分割质量、算法实用性之间存在相互制约,同时对于某些特殊目标的分割也难以取得较好的结果.结论 超像素作为一种有效的图像预处理手段具有较高的研究价值,但针对目前超像素存在的一些局限性还需要进行深入的研究.… …   相似文献

宋熙煜  周利莉  李中国  陈健  曾磊  闫镔 《中国图象图形学报》2015,20(5):599-608