Z规格说明的前置条件的简化

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

在软件方法学中,形式方法越来越受到人们的重视,并已被应用于软件开发．Z是一种基于数学表示的软件规格说明方法．前置条件的简化是Z规格说明方法中一种标准的检查,本文讨论了Z规格说明中关于操作的前置条件及其计算．提出了简化过程的终止条件,给出了一个用于简化前置条件的算法,该算法可自动产… …   相似文献

缪淮扣 《软件学报》1997,8(9):709-715

基于接口语义契约的Web服务测试数据生成

下载全文  

测试是Web 服务质量保证的主要手段之一,测试自动化是降低测试代价的有效途径,测试数据生成是测试自动化研究的一个重要内容.提出采用本体及规则的知识描述语言,建立服务接口的语义契约模型(interface semantic contract,简称ISC),并探讨了基于ISC 的测试… …   相似文献

侯可佳  白晓颖  陆皓  李树芳  周立柱 《软件学报》2013,24(9):2020-2041

组合因子最优的线性预测波段选择

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

目的 高光谱图像分辨率高,数据量大,信息的冗余程度高,给数据处理带来了很大的困难。为了高效地实现数据降维,使降维后的数据冗余度小且信息量大,提出一种基于组合因子最优的波段选择方法。方法 首先对高光谱数据进行波段子空间划分,在各子空间中通过线性预测误差来计算误差最小和次小的两个波段,结合它们的标准差,计算出它们的组合因子,通过比较组合因子来决定所要去除的波段。结果 该方法的计算效率高,相同条件下计算时间比最快的方法有轻微的减少。使用支持向量机(SVM)对波段子集分类,并将该方法与其他方法进行分类准确率比较,相同条件下比其他方法的最高准确率有1.5%的提升。结论 组合因子的方法综合考虑了波段子集的最小冗余度和最大信息量,得到了较好的波段子集,并且有较小的计算复杂度,适用于AVIRIS (airborne visible infrared imaging spectrometer)等各种高光谱图像数据。… …   相似文献

方帅  瞿成佳  杨学志  刘永进 《中国图象图形学报》2016,21(2):255-262

三维地形生成及实时显示技术研究进展

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

三维地形是虚拟自然环境中不可缺少的因素,也是虚拟仿真领域中视景诉重要组成部分,该文将地形生成技术概括为基于真实地形数据的地形生成技术、基于分形技术的地仿真技术、基于数据拟合的地形信息技术等三大类,并分别介绍了这三类方法的相关理论和生成技术,还分析了各自的发展趋势,其中在基于真实数… …   相似文献

齐敏  郝重阳  佟明安 《中国图象图形学报》2000,5(4):269-275

分布式计算的快照算法

下载全文  

快照算法是很多分布式应用的基础.在假设了全局时钟的情况下,本文说明了计算通道状态的多种方案.使用一致割作为虚拟的全局时刻,说明了这些方案适用于现有的快照算法.文中还提出了一个适合于各种通讯模型的快照算法.  相似文献

贺乐天  孙永强 《软件学报》1997,8(8):606-609

Java语言的绘图功能

  

本文主要对Ｊａｖａ语言的绘图功能进行了介绍,对如何利用Ｊａｖａ语言类库中的Ｊａｖａ．ａｗｔ．ｉｍａｇｅ（ＡＷＴｉｍ－ａｇｅＰａｃｋａｇｅ,ＡＷＴ图形包）绘制图形和显示图形及字体进行了介绍。  相似文献

玛依拉  王克宏 《中国图象图形学报》1998,3(6):515-517

基于局部颜色间特征的图像语义概念检测

  

针对基于语义的图像检索系统,提出了一种基于局部颜色空间特征的图像语义概念检测方法。各种基于颜色、纹理和形状的全局特征都存在着众多信息冗余项和干扰项,而该文提出的局部颜色空间特征则是利用语义概念层的先验知识进行特征降维后提取出的特征,它能更好地描述图像的语义内容,且具有容易提取… …   相似文献

刘洁敏  姚豫  张瑞  杨小康 《中国图象图形学报》2008,13(10):1890-1893

VRML在三维动态交互地图可视化中的实践

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

针对三维动态交互地图的可视化问题,探讨了VRML的技术特点及其在解决三维动态交互地图可视化问题中的应用潜力和存在的问题,并采用Visual C^ 与VRML 2．0相结合进行了三维动态交互地图可视化的初步实践,取得了成功的应用。该工作主要集中在：（1）通过北京门头沟地区地形的… …   相似文献

王全科  刘岳 《中国图象图形学报》2001,6(3):291-295

基于射影重建的线性摄像机自标定方法

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

提出了一种基于射影重建的线性摄像机自标定方法.该方法只需要摄像机作一次纯平移运动和两次带旋转的任意运动即可.该方法有3个主要特点.第1,由于该方法是一种线性方法,所以避免了大多数非线性方法的局部极小问题.第2,该方法是一种基于射影重建的自标定方法,由于在射影重建过程中利用了所有图… …   相似文献

李华  胡占义 《软件学报》2002,13(12):2286-2296

高可用性集群中多个节点的热切换研究

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

提出了一种应用于多个节点集群热切换技术。测试表明,利用这个热切换技术的系统能把任一失效工作节点上的任务迅速、准确地转移到备份节点上,使集群的服务不中断。  相似文献

王明伟  尹康凯  李善平 《计算机应用研究》2005,22(3):85-86

基于新浪云的移动终端天气信息服务系统

下载全文  

天气信息作为人们日常生活的重要信息具有不可替代性. 移动终端天气信息服务系统是采用Java技术在Android平台下,通过访问新浪云开放的天气API,调用新浪云服务,获取并在移动终端显示天气数据的一种“云端”应用系统,该系统具有响应快、天气数据精准的特点. 文章对移动终端天气信息… …   相似文献

金静梅 《计算机系统应用》2014,23(4):48-51,83

面向B5G/6G的三三三网络体系架构和优化学习机制

  

面对未来B5G/6G网络是大连接复杂智能网络,极其大量的用户连接、需求连接、服务连接,加之3G、4G、5G甚至6G的综合运用,将导致网络变得极其复杂的挑战,提出了一种三三三网络体系架构,它是一个包含3类网络(核心网、接入网、终端网)、3种资源(频率带宽、功耗、时延)和3项需求(生… …   相似文献

朱近康  柴名扬  周武旸 《通信学报》2021,(4):62-75

基于重构权的离群点检测方法

下载全文  

近几年来,流形学习在模式识别、机器学习和数据挖掘等许多领域都受到了广泛的关注.但是,通常的流形学习方法对离群点缺乏鲁棒性.对此,提出了一种基于重构权的流形离群点检测方法.该方法在每个样本点构造局部\"强\"邻域,再利用局部重构权来计算每个样本点的可靠值,最后利用可靠值检测出离群点… …   相似文献

王靖 《软件学报》2011,22(7):1571-1579

MANETs面向稳定性的自适应路由开销控制算法

  

为了在节点频繁移动的MANETs网络环境中发现和建立具有较长维持时间的路由,以增强路由的可用性和数据传输的连续性,面向稳定性的路由算法需要中间节点转发更多的RREQ分组,但这会造成路由开销显著增加。为此,提出了一种面向稳定性的自适应路由开销控制算法。算法使用策略型博弈对RREQ转… …   相似文献

胡曦  王鑫  张斌 《计算机科学》2014,41(3):100-104,123

一种DDWT域编码的自嵌入脆弱水印算法

  

针对目前变换域脆弱水印算法对于篡改恢复能力的不足以及所用变换本身的局限性,提出了一种基于双树小波变换的图像编码自嵌入水印算法。算法的篡改定位和图像恢复分别对应着认证水印和恢复水印。算法以原始载体图像的DDWT域SPIHT编码压缩图像为恢复水印, 将其嵌入到图像的小波分解低频系数上… …   相似文献

崔壮  吕俊白  冯涛 《计算机科学》2013,40(8):282-284,288

基于全散度的变分CV模型及其分割算法

  

CV模型在图像灰度不均匀或有噪声干扰时,易出现错分现象,因此将全散度引入变分CV模型,提出了基于全散度的变分CV模型及其迭代分割算法.分析基于欧氏距离所对应的变分CV模型分割算法存在的问题和不足,通过图示说明全散度相对于欧氏距离在距离计算与坐标系选择无关的优势,将其引入变分CV模… …   相似文献

王继策  吴成茂 《计算机科学》2015,42(4):306-310, 315

基于视觉感知噪声模型的彩色图像质量评价和彩色图像质量最佳化

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

建立一种基于人类视觉感知噪声模型的彩色图像质量评价方法用以评价含噪声图像的彩色图像质量。该方法用视觉感知图像质量的质量四参数：信息熵、平均对比度、平均灰度和关键区域图像的标准差,通过实验建立综合的彩色图像质量评价模型,称为最好质量彩色图像评价函数。该函数的最大值对应最好质量彩色图… …   相似文献

谢正祥  王志芳  熊兴良  胡琴 《中国图象图形学报》2010,15(10):1454-1464

一种基于Schur分解的正交鉴别局部保持投影方法

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

人脸识别是模式识别领域中的一项重要的研究课题。到目前为止,已经提出了许多方法来处理人脸的识别问题。最近,许多流形学习算法被提出并且成功地应用于人脸识别当中。这些流形学习方法能够保持人脸图像数据的局部结构,同时,还可以发现人脸的非线性结构。在这些流形学习方法中,局部保持投影方法(L… …   相似文献

林宇生  郑宇杰  杨静宇 《中国图象图形学报》2009,14(4):701-706

广义超立方体和它的任务分配问题

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

广义超立方体EH(extended hypercube)作为组织大型分布式多处理机系统的拓扑结构,在使用阈值和阈长两种控制参量的阈值选择策略中表现出许多良好的性质.文章探讨了EH中的若干性质,这些性质为实现高效稳定的任务分配算法提供了理论基础.最后,该文详尽地讨论了在一个EH中,… …   相似文献

毛国君  王薇  杨名生 《软件学报》1998,9(6):419-425

对“中国图象工程”综述系列里文献作者的统计分析

  总被引：12，自引：11，他引：1

为了总结和推动图象工程这一新学科的发展,需要了解和掌握该学科有关科技人员的情况,为此根据文献计量学的原理,对最近5年“中国图象工程”综述系列中索引文献的作者数量、作者发文量、作者合著量、篇均作者数、活跃作者群、作者增复量等进行了统计分析。该项工作为揭示我国图象工程研究者的水平、现… …   相似文献

章毓晋  李睿 《中国图象图形学报》2001,6(1):1-5