基于设计演算的形式化用例分析建模框架

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

提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和功能规约合成描述方法全部行为的全规约;也可以定义用例模型的性… …   相似文献

陈鑫  李宣东 《软件学报》2008,19(10):2539-2549

福州城区不透水面的光谱混合分析与识别制图

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

作为Ridd V-I-S模型中的一个重要组成部分,城市不透水面在监测城市扩展和解释人类活动对生态环境的影响起着非常重要的作用。利用图像处理技术,可以迅速地从遥感图像中提取城市不透水面信息。本文以福州城区为例,利用最小噪音分量变换法研究Landsat ETM 影像中城市不透水面信息… …   相似文献

周存林  徐涵秋 《中国图象图形学报》2007,12(5):875-881

基于多观测模型的粒子滤波头部跟踪算法

  

粒子滤波在非线性和非高斯问题上具有独特的优越性,但在视频跟踪过程中,其跟踪性能却在很大程度上依赖于观测模型的选择。为了解决被跟踪目标特征状态随时间变化而与粒子观测模型不匹配的问题,提出了一种新的粒子滤波算法,即将被跟踪目标的不同特征状态与粒子观测模型相结合,形成一组具有不同观测模… …   相似文献

安国成  高建坡  吴镇扬 《中国图象图形学报》2009,14(1):106-111

论域理论在超大规模集成电路逻辑设计上的运用

下载全文  

认为传统的二值布尔不利于大规模集成电路的设计,尤其是在逻辑门电路上.为此引入了三值逻辑.此三值逻辑是基于集成电路的物理性质,且碰巧等同于Kleene的三值逻辑.鉴于Kleene三值逻辑的不完备性,文章将论域理论以及普通不动点算子运用于此,使三值逻辑获得此逻辑系统的单调完备性定理.… …   相似文献

孙踊  胡易 《软件学报》2000,11(5):569-583

DEM保真精度定量化描述模型

下载全文  

等高线回放法是数字高程模型(DEM)精度评估的重要方法之一,可以用于检测地形的保真程度,但是现有定量评估指标属于相对保真精度的范畴,因此基于水系和地形的固有套合特性,提出了水系和地形套合隶属度函数,从两者的套合程度实现DEM保真精度的定量化描述.首先,根据线状要素位移准则、尺度准… …   相似文献

张锦明  游雄 《中国图象图形学报》2013,18(9):1206-1214

基于独立分量分析和支持向量机的遥感影像融合分类算法

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

遥感影像分类是遥感定量化分析的重要手段,遥感影像融合是提高分类正确率的有效途径之一。本文提出一种遥感影像的融合分类算法。首先采用Contourlet变换对多光谱影像和全色影像进行融合,然后结合独立分量分析的去相关性、稀疏特性以及很好地捕捉影像重要边缘信息、纹理信息的能力,提取融合… …   相似文献

陈蜜  伭剑辉  李德仁  秦前清  贾永红 《中国图象图形学报》2007,12(9):1665-1670

一种认证密钥协商协议的安全分析及改进

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

针对用于移动通信的可证安全的双向认证密钥协商协议MAKAP给出了一种有效攻击,指出该协议存在安全缺陷,它不能抵抗未知密钥共享攻击.分析了这些安全缺陷产生的原因,并给出了一种改进的协议MAKAP-I.改进后的MAKAP-I协议不但是可证安全的,而且无论从计算开销、通信开销、存储开销… …   相似文献

周永彬  张振峰  冯登国 《软件学报》2006,17(4):868-875

lest Platform for Video Authentication Algorithm Based on MPEG Compression

下载全文  

  相似文献

LIANG Chang-yin  LI Ang  HUANG Ji-wu 《电子学报》2008,36(Z1)

基于IPSec的MPLS IP VPN的设计与实现*

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

从VPN的需求出发,分析了IPSec VPN和MPLS VPN各自的优势和局限性,提出了基于IPsec的MPLS VPN设计方案和实现模型。该方案既具有IPSec VPN的高安全性和可靠性又具有MPLS VPN的高速交换、QoS保证、流量工程以及可扩展性的优点。  相似文献

任德玲  韦卫 《计算机应用研究》2006,23(3):116-118

基于游程检测与快速傅里叶变换的加密比特流识别

  

为获得链路层中的加密与未加密比特流样本,首先提出了基于游程检测方法的链路层加密比特流识别方案,解决了未知网络环境下的加密与未加密比特流样本获取问题.同时,采用快速傅里叶变换分别对加密与未加密比特流样本进行处理,根据最大差异原则确定了快速傅里叶变换结果的特征点位置,并基于正态分布原… …   相似文献

邢萌  吴杨  王韬  李进东 《计算机科学》2015,42(1):164-169

基于SDL的H.264流媒体播放系统

下载全文  

针对目前广泛使用的H．264标准,设计了一种基于SDL和ffmpeg的流媒体播放系统．将经过RTP封装的流媒体信息解除封装处理后,利用ffmpeg良好的解码能力对数据进行解码,之后再利用SDL优异的视频性能进行实时显示,并同时将流媒体数据保存在本地以供随时调用．实验证明,该播放系… …   相似文献

江俊杰  王志明 《计算机系统应用》2013,22(12):51-54

保持生理特征的人脸编辑

下载全文  

提出了一种保持生理特征的交互式人脸编辑方法。采用控制点分层策略,即以用户直接操作的控制点对（称为主控制点对）为输入层,其他控制点对（称为次控制点对）为输出层,建立人工神经网络;然后采用误差反向传播法（Error Back Propagation）学习,从而建立主、次控制点之间的约… …   相似文献

吴明峰  费广正  税琳琳 《中国图象图形学报》2006,11(12):1859-1864

X-Hop:传递闭包的多跳数压缩存储和快速可达性查询

  

海量图数据上的可达性查询是图数据管理的基本问题.目前解决这个问题的基本方法是对可达关系传递闭包进行压缩存储,再辅以快速查询算法来回答两顶点是否可达.在此基础上,重点研究了稠密图条件下可达传递闭包的高压缩比存储和有效查询算法,提出了多跳(简称为X-Hop)压缩存储方法.通过采用生成… …   相似文献

舒虎  崇志宏  倪巍伟  卢山  徐立臻 《计算机科学》2012,39(3):149-152

基于子窗口区域的足球视频镜头分类

下载全文  

为了对海量视频数据进行有效的管理和快速浏览,急需对数字视频进行基于内容的视频检索。镜头分类是足球视频处理与检索的重要部分,针对目前现有足球镜头分类方法存在算法准确性不高或运算量过大的问题,提出了一种新的基于子窗口区域的镜头分类方法。该方法采用在HSV颜色空间中计算足球视频帧子窗口… …   相似文献

于俊清  王宁 《中国图象图形学报》2008,13(7):1347-1352

正交U变换及其快速算法

下载全文  

采用递推方法构造一种正交变换,称之为U变换,该变换含有分段常数基向量、分段一次多项式基向量以及分段二次多项式基向量,是对Walsh变换、斜变换的推广。根据递推方式,可以得到相应的快速算法。利用平移复制算子和Kronecher积的性质,推导基于Kronecher积的快速算法和正交U… …   相似文献

郭芬红  熊昌镇 《中国图象图形学报》2011,16(8):1552-1560

结合信源特性与网络拥塞控制的可靠性视频传输算法

下载全文  

提出了一种用于在无线网络中传输视频的结合信源特性及网络拥塞控制的鲁棒性算法.通过场景建模以及特性分析,将分级编码产生的所有码流层划分成不同的类型,并根据它们对网络拥塞控制的贡献以及对重建图像质量的贡献不同,将其分成两个不同的队列.系统根据不同的网络丢包状态(即丢包是由网络拥塞引起还是由无线信道的不可靠传输引起)动态地调整信源速率、不等错误保护强度以及拥塞控制策略.仿真结果表明,该方法与MPEG-4信源编码加固定速率Turbo码方法以及动态调整信源、信道编码速率加选择性丢I,B,P包的网络拥塞控制方法相比,能够提供更好的性能.… …   相似文献

肖嵩  吴成柯  周有喜  杜建超 《软件学报》2007,18(11):2882-2892

一种基于层次结构的移动组播算法

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

移动IPv6协议给出了支持主机移动的远程签署和家乡签署两种组播方法,它们具有互补的优缺点.提出的移动组播算法综合了这两种基本方法,同时采用区域的层次型结构的路由思想,减少因主机移动而重构组播树的频率,并对模拟结果进行了分析和比较.  相似文献

孙利民  廖勇  郑健平  吴志美 《软件学报》2003,14(9):1608-1614

一个求图的连通分支的并行算法

下载全文  

已知一个无向图G(V,E),|V|=n,|E|=m,本文基于SIMD共享存贮模型,运用数据在图中快速传播原理,建议了一个新的求图的连通分支算法,具体来讲,在SIMD—CREW共享存贮模型上,求图的连通分支需O(log²n)时间、O(n²/logn)处理器;而在SIMD—CRCW共享存贮模型上需O(logn)时间、O(n²)处理器,建议的算法同著名的Hirschberg算法相比,其主要差别表现在:1)采用的求解方法不同;2)建议的算法简单易懂… …   相似文献

唐策善  梁维发 《软件学报》1993,4(4):61-66

垂直不均匀磁场中静磁波的传播特性

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

本文理论分析了垂直不均匀磁场作用下磁性薄膜中静磁波的传播特性,具体计算了抛物线分布的不均匀磁场对静磁对表镣波振幅的影响,计算表明,在适当分布的不均匀场作用下,与均匀磁场情形相比,波导中传播的 振幅有所增加,从而也增强了静民导波光相互作用时的射效应。  相似文献

武保剑  刘公强 《电子学报》1999,27(9):32-34

一种新的多用户OFDM系统的频偏估计算法

  

由于载波频偏会给多用户正交频分复用（Orthogonal Frequency—Division Multiplexing,OFDM）系统带来子载波之间干扰,从而造成多用户之间的干扰,导致系统性能下降．本文研究了多用户OFDM上行链路的频偏估计问题,通过使用多用户检测中的干扰抵消方… …   相似文献

赵林靖李建东  张岗山 《电子学报》2007,35(B06):161-164