字节码虚拟机的构造和验证

下载全文  

提出一种虚拟机构造和验证方案.给出字节码程序运行环境BVM(bytecode virtual machine)的形式化定义;采用X86机器语言构造虚拟机CertVM(certified virtual machine);并证明该虚拟机实现符合相应程序规范并和BVM之间具有模拟关系… …   相似文献

董渊  任恺  王生原  张素琴 《软件学报》2010,21(2):305-317

非对称高斯函数的时变体数据特征跟踪及可视化

下载全文  

目的 在传统基于时序曲线的时变体数据特征的识别与跟踪过程中,不仅需要用户具备丰富的先验知识来确定感兴趣特征的时序曲线形状,而且时序曲线段的匹配和抽取过程亦复杂,难以交互,这一定程度上降低了时变体数据可视化及分析效率.提出了一种新的基于高斯时序曲线的时变体数据可视化及分析方法.方法 首先,对时序曲线进行低通滤波,准确地查找极小值点,对时序曲线进行分段;进而,引入非对称高斯函数对时序曲线段进行拟合获得高斯时序曲线;为了进一步方便用户识别感兴趣特征,观察特征在时间域上的演变过程,提供一种便捷的交互技术,由用户单击任一时间步绘制结果图像中感兴趣的特征信息,分析视线方向上的特征可见性,以确定感兴趣特征及其对应的高斯曲线,进而由参数匹配获得所有时间步中感兴趣特征信息.结果 为了验证本文算法的高效性与可行性,对时序仿真的飓风数据进行特征跟踪与交互式可视化,可以看出,本文算法不仅可以准确跟踪飓风中心特征,而且特征分析与可视化效率亦大大提升.结论 相比于传统的时变体数据可视化方法,本文算法不需要用户先验知识的前提下,利用非对称高斯模拟时序曲线变化,进而由高斯参数匹配代替复杂的时序曲线匹配过程,有效地提升了时变体数据可视化及分析效率.… …   相似文献

白志慧  周志光  杨瑞飞  陶煜波  林海 《中国图象图形学报》2015,20(4):576-584

标识路由关键技术

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

现有路由系统面临来自可扩展性、移动性、多宿主以及流量工程等方面的挑战,已经不能满足客观需求.基于位置与标识分离的思想,提出了标识路由的概念并对其研究范围进行了精确的界定.根据标识路由的设计目标,还详细介绍和比较了国内外相关的研究工作.最后提出标识路由研究的若干关键问题,并对未来的… …   相似文献

侯婕  刘亚萍  龚正虎 《软件学报》2010,21(6):1326-1340

荧光断层成像中圆柱仿体的三维重建

下载全文  

使用基于有限元法的线性模型,用几种不同的迭代正则化方法进行荧光产额的三维重建,其中包括最小二乘的共轭梯度法(conjugate gradient least square,简称CGLS)、最小二乘的QR分解迭代法(least square QR decomposition,简称L… …   相似文献

宋小磊  胡刚  姚俊杰  白净 《软件学报》2009,20(5):1089-1095

全文索引技术时空效率分析

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

全文索引技术(full-text index technique)作为提高全文检索时空效率的有效方式之一,近年来得到了广泛而深入的研究.根据全文索引实现技术的不同,将其分为三大类:索引技术、压缩与索引混合技术以及自索引技术(self-index technique).从上述分类角… …   相似文献

刘小珠  彭智勇 《软件学报》2009,20(7):1768-1784

语义Web 中对象共指的消解研究

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

  相似文献

胡伟  柏文阳  瞿裕忠 《软件学报》2012,23(7):1729-1744

结合暗通道原理和双边滤波的遥感图像增强

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

目的 在遥感应用如目视解译等任务中,需要提高遥感影像的视觉质量,为此提出一种基于暗通道原理和双边滤波的遥感图像增强算法。方法 由于暗通道模型的softmatting过程计算复杂性高,故使用双边滤波估计大气光幕,进而获得优化透射图,代替He算法中softmatting过程,提高了计算效率。针对将暗通道原理应用于遥感图像增强时所产生的色彩失真现象,提出透射图的改进算法,提高景深图像的取值,同时约束其最大值不大于1。最后,基于景深图像和暗通道原理获得增强后的遥感图像。结果 实验结果表明,本文算法能够有效地增加图像的对比度。与基于双边滤波单尺度Retinex图像增强、四尺度Retinex增强、直方图均衡化及MSRCR增强的结果进行了比较,实验结果验证了算法的有效性。结论 本文模型能够使处理后的遥感图像更符合视觉特性,以便于目视解译与分析。该算法适用于遥感图像的可视化增强。… …   相似文献

周雨薇  陈强  孙权森  胡宝鹏 《中国图象图形学报》2014,19(2):313-321

深度包检测中一种高效的正则表达式压缩算法

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

提出一种基于确定的有穷状态自动机(deterministic finite automaton,简称DFA)的正则表达式压缩算法.首先,定义了膨胀率DR(distending rate)来描述正则表达式的膨胀特性.然后基于DR提出一种分片的算法RECCADR (regular e… …   相似文献

徐乾  鄂跃鹏  葛敬国  钱华林 《软件学报》2009,20(8):2214-2226

自适应梯度重建分水岭分割算法

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

目的 针对灰度分水岭算法存在过分割且难以直接应用到彩色图像分割的问题,提出一种自适应梯度重建分水岭分割算法。方法 该方法首先利用PCA技术对彩色图像降维,然后计算降维后的梯度图像,并采用自适应重建算法修正梯度图像,最后对优化后的梯度图像应用分水岭变换实现对彩色图像的正确分割。结果 采用融合了颜色距离、均方差和区域信息的性能指标和分割区域数对分割效果进行评估,对不同类型的彩色图像进行分割实验,本文算法在正确分割图像的同时获得了较高的性能指标。与现有的分水岭分割算法相比,提出的方法能有效剔除图像中的伪极小值,减少图像中的极小值数目,从而解决了过分割问题,有效提升了分割效果。结论 本文算法具有较好的适用性和较高的鲁棒性。… …   相似文献

张志禹  孟令辉  雷涛 《中国图象图形学报》2014,19(10):1430-1437

单星测频无源定位法

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

提出了一种利用卫星在不同位置上测量信号的多普勒频率,实现单颗卫星对地面或空中静止的非协同性无线电辐射源定位的方法。在介绍了定位原理和定位计算方法后,分析了定位误差,并给出了计算机仿真结果。  相似文献

陆安南  孔宪正 《通信学报》2004,25(9):160-168

图像引导滤波的局部多尺度Retinex算法

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

Retinex算法是一种用于消除由光照变化给图像所带来的负面影响的图像增强算法。该算法的求解通常需要基于入射分量分段光滑的假设,利用正则化的方法迭代求解,计算效率低。文中基于一项最近提出的研究——\"图像引导滤波\",提出一种非迭代的Retinex算法框架。基于反射分量也满足分段… …   相似文献

方帅  杨静荣  曹洋  武鹏飞  饶瑞中 《中国图象图形学报》2012,17(7):748-755

认知无线网络信道接入协议

下载全文  

由于认知无线网络(cognitive radio network,简称CRN)固有\"二次利用\"的特性,使其日益得到重视.而作为CRN核心构成的MAC(medium access control)协议,业已成为当前各研究机构的一个热点.主要对频谱感测技术、信道接入技术等MAC层… …   相似文献

阚保强  范建华  王建业 《软件学报》2012,23(7):1824-1837

保留格式加密技术研究

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

围绕基本构建方法、加密模型和安全性等方面,对保留格式加密(format-preserving encryptio,简称FPE)的研究现状进行了综述.在基本构建方法方面,介绍了Prefix,Cycle-Walking和Generalized-Feistel方法的工作原理及适用范围;… …   相似文献

刘哲理  贾春福  李经纬 《软件学报》2012,23(1):152-170

复杂场景下的人体行为识别研究新进展

  

人体行为识别是计算机视觉的研究难点和热点,主流的研究框架包括行为特征提取、人体行为表示和识别算法3个方面,目前简单场景下的人体简单动作的识别已基本得到解决,而复杂场景下的行为识别仍面临很多困难。对近几年人体行为识别的发展做了比较详细的研究,从人体行为识别的研究范畴、特征提取以及行… …   相似文献

雷庆  陈锻生  李绍滋 《计算机科学》2014,41(12):1-7

基于遗传算法求解约束优化问题的一种算法

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

在用遗传算法求解约束优化问题时,处理好约束条件是取得好的优化效果的关键.通过考虑遗传算法和约束优化问题的某些特点,提出将直接比较方法和在进化群体中自适应地保持不可行解比例的策略相结合来处理约束条件的一种新方法,并将该方法结合到通用的遗传算法中.数值实验显示了这种方法的有效性.… …   相似文献

林丹  李敏强  寇纪凇 《软件学报》2001,12(4):628-632

互联网络服务质量路由算法研究综述

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

如何提供不同的服务质量(quality of service,简称QoS)是互联网络面临的一个重要问题,而服务质量路由(quality-of-service routing,简称QoSR)则是其中的核心技术和热点问题.QoSR的主要作用是为QoS业务请求寻找可行路径,这体现了Qo… …   相似文献

崔勇  吴建平  徐恪  徐明伟 《软件学报》2002,13(11):2065-2075

机器学习技术与机器学习系统

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

知识获取是知识处理过程中的“瓶颈“，这一问题的解决有赖于机器学习研究的进展。本文从两种不同的角度概述并评价了当前机器学习中的一些主要技术和典型系统，其一是着眼于机器学习技术所采用的推理方式，即演绎推理、归纳推理和类比推理，其二是强调机器学习系统所使用的知识类型和学习过程中信息流动… …   相似文献

赵沁平  魏华 《计算机科学》1993,20(5):27-40

结合相位一致与全变差模型的高分辨率遥感图像边缘检测

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

目的边缘检测是有效利用遥感数据开展地物目标自动识别的重要步骤。高分辨率遥感图像地物类型复杂,细节信息过于丰富,使得基于相位一致的边缘检测结果中存在过多的噪声与伪边缘。为此提出了一种结合相位一致与全变差模型的高分辨率遥感图像边缘检测方法。方法根据相位一致原理,应用Log Gabor… …   相似文献

黄秋燕  肖鹏峰  冯学智  王珂 《中国图象图形学报》2014,19(3):439-446

视线跟踪技术的图像质量主观数据库构建及其可视化

下载全文  

目的 视线跟踪技术是当前最新的无干扰地获得人类视觉注意力的生物测量方法。将视线跟踪方法的原理其应用于图像质量感知研究,建立了首个基于眼动的图像质量感知数据库XJTU_ETSS。方法 应用单刺激图像质量评价法,在Tobii TX300的眼动平台上对900幅原始和失真图像进行了49人的60 Hz眼动主观测试。对含眼动的失真图像进行了可视化分析,即利用注视图、热图和自动聚类感兴趣区域图分析注意力在失真图像上的分布特点。结果 针对XJTU_ETSS眼动数据特点,利用反映群体视觉注意力共性的热图可视化方法具体对数据库中一组原始图像和其对应的6种失真图像上的热图进行了比较和定性分析,直观地显了原始图像和不同种类失真图像上视觉注意力的分布特征。结论 通过实验结果可知,视线跟踪方法能十分直观地揭示人在主观图像感知过程中的特性,这对于今后建立基于人眼注意力模型的图像客观评价算法,以及更加深入地揭示人类视觉系统的感知机制都有着现实而重要的意义。… …   相似文献

张昀  牟轩沁 《中国图象图形学报》2014,19(7):1104-1111

基于Markov决策过程用交叉熵方法优化软件测试

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

研究了待测软件某些参数已知的条件下,以最小化平均测试费用为目标的软件测试优化问题.将软件测试过程处理成马尔可夫(Markov)决策过程,给出了软件测试的马尔可夫决策模型,运用交叉熵方法,通过一种学习策略获得软件测试的最优测试剖面,用于优化软件测试.模拟结果表明,学习策略给出的测试… …   相似文献

张德平  聂长海  徐宝文 《软件学报》2008,19(10):2770-2779