参数化运行时监控研究

  

随着计算机软件广泛应用于各类安全关键系统以及软件日趋复杂,软件可靠性变得越来越重要。作为一种广泛使用于各种平台的软件解决方案,运行时监控是提高软件可靠性的最灵活的解决方案之一。但随着运行时监控技术以及软件技术的发展,人们希望通过运行时监控技术来验证系统的动态属性,从而提出参数化性… …   相似文献

王珍  叶俊民  陈曙  辜剑  金聪 《计算机科学》2014,41(11):146-151,174

非线性视域插值

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

提出了一种新的基于图象的绘制技术.与线性视域插值方法不同,此方法能准确地模拟出漫游过程中的透视变换效果.为了加速视域插值算法,采用二叉剖分方法来优化源图象的分解,从而大大减少了分解后块图象的数目.对生成的中间画面上的黑洞,此方法分两个步骤来填充.算法首先根据深度信息来决定是否需要… …   相似文献

鲍虎军  陈莉  王章野  彭群生 《软件学报》1998,9(9):690-695

SEA算法的有效实现

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

选取安全椭圆曲线的核心步骤是对椭圆曲线阶的计算.SEA(Schoof Elkies Atkin)算法是计算椭圆曲线阶的有效算法,同种圈(isogeny cycles)方法是Morain对SEA算法改善的一种重要局部优化技术.在实现了F_p上SEA算法的前提下,对同种圈方法作了进一步改进,就SEA算法中各方法的综合运用提出一种方案,并且对用SEA算法选取素数阶和拟素数阶椭圆曲线速度上的优化作了一些讨论,所获得的一些速度指标和国际公开资料上的指标有可比性.… …   相似文献

祝跃飞  顾纯祥  裴定一 《软件学报》2002,13(6):1155-1161

简单双正交C9／7小波的提升构造

下载全文  

针对CDF9/7等小波的缺陷,灵活运用双正交对称滤波器的规一化和消失矩性质以及9/7小波的提升结构,构造了一组包含两个自由变量的9/7提升小波族。该小波族通过选取合适的自由变量值,得到了提升系数和滤波器系数都非常简洁,而且构造了部分系数分母为2的幂次方的C9/7系列小波,并结合滤… …   相似文献

曹艳  王典洪  彭玉成 《中国图象图形学报》2007,12(7):1201-1205

考虑失效恢复的组合服务性能建模与分析

下载全文  

互联网环境下运行的组合服务易受到资源故障和组件失效影响而导致失效.已有的失效恢复措施在提高服务可用性的同时也会对服务的性能产生负面影响.为了对失效可恢复情况下的组合服务性能进行量化,通过综合组合服务失效类型和恢复策略,给出一种考虑失效恢复的组合服务性能分析模型.采用排队Petri… …   相似文献

顾军  罗军舟  曹玖新  李伟 《软件学报》2013,24(4):696-714

数据仓库中时态视图的维护

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

数据仓库的一个重要用途是利用时态视图向用户提供历史信息.因为在传统关系数据模型中增加了对时间的支持,而且时态视图的更新不仅来自于基表更新,还包括时间前进,所以,目前对非时态视图维护的研究成果不适用于时态视图,并且已有的一些时态视图维护算法也不适用于数据仓库.以历史关系模式为对象,… …   相似文献

李琪  白英彩 《软件学报》2002,13(7):1324-1330

约束优化进化算法综述

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

约束优化进化算法主要研究如何利用进化计算方法求解约束优化问题,是进化计算领城的一个重要研究课题.约束优化问题求解存在约束区域离散、等式约束、非线性约束等挑战,其问题的本质是如何处理可行解与不可行解的关系才能使得算法更高效.本文首先介绍了约束优化问题的定义,然后系统地分析了目前存在… …   相似文献

李智勇  黄滔  陈少淼  李仁发 《软件学报》2017,28(6):1529-1546

一种面向非干扰的线程程序逻辑

下载全文  

目前,针对线程信息流的验证研究主要着重于时间信道.然而,由于线程程序中线程控制原语存在函数副作用,对此类原语的不恰当调用亦可引起非法信息流,有意或无意地破坏程序的非干扰属性.因此,提出以验证线程程序信息流为目的依赖逻辑,其可表达线程程序的数据流、控制流以及线程控制函数的副作用,推… …   相似文献

李沁  曾庆凯  袁志祥 《软件学报》2014,25(6):1143-1153

视频点播服务器中服务策略的研究^*

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

研讨了同时为多个点播用户服务的轮转服务策略和比例服务策略,并提出了VOD(video-on-demand)服务器在不破坏各路点播流实时播放率的前提下,应用这些服务策略的方法.  相似文献

刘衡竹  陈旭灿  陈福接 《软件学报》1999,10(1):13-18

基于类型理论的递旧元程序设计

下载全文  

本文提出在ＬＦ类型理论中定义一组相互递归类型的方法,并对递归类型赋予操作语义．这样,递归类型不仅可以表示通常的递归数据结构,还可描述一般的递归问题求解、递归证明构造和递归程序构造过程．  相似文献

谭庆平  陈火旺 《软件学报》1994,5(8):30-36

遥感图像融合的非采样Contourlet变换方法

下载全文  

有效地融合高分辨率全色遥感图像(PAN)和低分辨率多光谱图像(MS),均衡融合结果中的空间细节信息和光谱信息两项特征指标,是多源遥感图像融合技术的难点。为了提高融合后图像的质量,提出了一种基于非采样Contourlet变换(NSCT)的融合方法。由于\"非采样Contourlet… …   相似文献

马艳军  徐立中  汤敏  黄凤辰  马贞立 《中国图象图形学报》2008,13(11):2209-2216

非规则流中高维数据流典型相关性分析并行计算方法

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

为了满足在计算资源受限的环境下高维数据流处理的实时性要求,提出一种方法——基于GPU(graphic processing unit)的非规则流中高维数据流的处理模型和具体的可行架构,并分析设计了相关的并行算法.该六层模型是将GPU处理数据的高宽带性能结合进滑动窗口中数据流的分析… …   相似文献

周勇  卢晓伟  程春田 《软件学报》2012,23(5):1053-1072

基于监控视频图像的车辆测速

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

基于监控视频图像的车辆测速方法(视频测速)的工作原理,提出了一种视频测速的实现思路,指出了在间隔已知时间的视频帧图像中找到对应块是实现视频测速的关键和难点。对车灯的特征进行了分析,根据车灯区域的特征,提出了采用灰度差水平叠加投影的方法,构造可以代表其鼓形区域的函数,以其作为定位车… …   相似文献

童剑军  邹明福 《中国图象图形学报》2005,10(2):192-196

复小波域维纳滤波与偏微分扩散相结合的图像去噪方法

  

针对图像噪声的去除,提出了一种基于复数小波域上的多方向窗维纳滤波与偏微分方程保持边缘细节相结合的方法。针对小波域维纳滤波的方向性差,去噪后图像容易产生哑铃效应,该方法首先进行双树复数小波变换,集中6个方向上的图像信号能量,之后,再在该6个方向上进行方向维纳滤波,对图像进行初步去噪… …   相似文献

张曈  朱虹  张然  沈憧  杨向波 《中国图象图形学报》2009,14(5):848-852

复杂环境光源下虚实融合光照实时计算

下载全文  

在互动电子游戏、增强现实等对实时计算要求很高的交互式图形应用中,大量使用复杂环境光源对虚拟物体进行照明,使其和真实场景的光照一致,虚实融合.提出了用Cook Torrance光照模型进行虚实场景的光照计算;利用球面调和基函数的方法,实时地计算高动态范围环境映射光照系数,得到高动态… …   相似文献

王贞东  马小虎  潘志庚 《中国图象图形学报》2009,14(10):2118-2121

智能数据库工具技术

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

本文详细介绍了一个智能数据库支持工具FoxPert的设计与实现技术.该工具立足于主流数据库系统,采用一种增强的松耦合结构实现了FoxPro,Oracle与知识表示语言CLIPS(C language integrated production system)的无缝连接.它在体系结… …   相似文献

邓铁清  杨文婷  何久田  周堤基 《软件学报》1998,9(4):276-279

脉动阵列的自动综合—FP方法

下载全文  

本文将FP代数,重写理论与脉动阵列(Systolic Arrays)的设计结合起来,研究了脉动阵列的形式化设计和自动综合的问题。文章中提出的FP/B并发计算型,不但可表示某一类FP/B递归方程的展开式解,而且可以用来等价地对算法进行重新描述,从而开发了计算的并行性和流水线性,获得… …   相似文献

夏心杰  孙永强  胡振江 《软件学报》1992,3(3):1-8

一种鲁棒的基于DWT域自适应量化步长的图像盲水印算法

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

提出了一种可用于版权认证的基于小波变换域自适应量化步长的图像盲水印算法.该算法首先在DWT（离散小波变换）的低频子带中选择感知重要系数作为水印的嵌入区间,然后选择一个同时可满足不可见性与鲁棒性要求的最小量化步长,对所选择的重要系数进行量化,再通过自适应增大量化步长,把二值水印信息… …   相似文献

张专成  张殿富  闫小萍 《中国图象图形学报》2006,11(6):840-847

基于关键词的加密云数据模糊搜索策略研究

  

随着个人和企业用户产生的数据量越来越多,云存储的价格便宜、存储空间使用灵活等优势也越来越明显。随着大量的数据外包到云服务器端,用户一般采用加密方法实现对敏感数据的保护和使用限制,这使得传统的基于明文的搜索方案不再适用。如何在保护隐私的基础上实现高效的数据文件搜索是首要考虑的问题。… …   相似文献

方忠进  周舒  夏志华 《计算机科学》2015,42(3):136-139, 173

完美球本质--论分布系统软件开发技术

下载全文  

软件开发实践中存在的隐合成分和无法回避的\"不够完美\",就是现实软件开发项目中的无法控制或未知部分,这违反现存的大部分软件开发方法的基础,如一致性.完美球却是基于二重性,把微观世界的一些成分和复杂系统相映射.这是探索先进的西方科学技术和古代东方哲学的产物.分析由\"陈述\",\… …   相似文献

周之英 《软件学报》2005,16(12):2166-2171