结合形式化的面向对象设计方法与支撑系统

下载全文  

为了有效地结合形式化和非形式化设计方法各自的优点,克服其不足之处,以尽可能保证软件设计的质量与可靠性,文章提出了一种将形式化方法与非形式化的面向对象设计方法ＨＯＯＤ（ｈｉｅｒａｒｃｈｉｃａｌｏｂｊｅｃｔ－ｏｒｉｅｎｔｅｄｄｅｓｉｇｎ）相结合的途径,并介绍了其机器支撑环境的设计与实… …   相似文献

郑明春  段会川  高波  张家重 《软件学报》1999,10(4):409-414

存储有效的多模式匹配算法和体系结构

下载全文  

多模式匹配是基于内容检测的网络安全系统的重要功能,同时,它在很多领域具有广泛的应用.实际应用中,高速且性能稳定的大规模模式匹配方法需求迫切,尤其是能够在线实时处理网络包的匹配体系结构.介绍了一种存储有效的高速大规模模式匹配算法及相关体系结构.研究从算法所基于的理论入手,提出了缓存… …   相似文献

嵩天  李冬妮  汪东升  薛一波 《软件学报》2013,24(7):1650-1665

一种基于XML的Web页面定义语言

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

数据密集(data-intensive)型Web站点是指那些将大量的异构数据源的数据进行集成以后所生成的Web站点.此类站点的建设可以划分为3项主要任务:数据的访问与集成、站点结构的构造(指定各页面所含内容以及各页之间的链接)和页面的HTML表示.以XML以及来自W3C的相关规范… …   相似文献

李效东 《软件学报》2002,13(1):142-149

多媒体对象查询语言及其查询处理

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

文章研究了多媒体数据库的查询需求,提出结构化的多媒体对象查询语言MOQL(multi-media object query language).它能够支持基于类型、结构特征、同步关系、时态关系和内容信息的多媒体查询.以DB2数据库为存储机制,定义了一组代数算子和变换规则,利用它们… …   相似文献

田增平  党华锐  周傲英  施伯乐 《软件学报》1999,10(7):694-701

指纹拓扑模式构建及其在识别中的应用

下载全文  

现有指纹识别算法对指纹图像质量要求较高,特别是在变形指纹识别中鲁棒性不强。基于指纹特征属性和细节点、脊线拓扑关系的拓扑模式从整体到局部,具备以拓扑性质为基础的不同层次的几何不变性,在指纹变形中具有更高的鲁棒性。通过对指纹细节点、脊线属性及点、线拓扑关系的分析与计算,构建了两种基于… …   相似文献

仲伟波  吕园  李敏敏 《中国图象图形学报》2013,18(12):1587-1592

多核平台上的线程级猜测执行综述

  

多核体系结构的发展,使人们可以以猜测的方式挖掘应用中的粗粒度并行,线程级猜测执行(TLS)就是其中的典型代表。它的最大优点是编程模型非常简洁——程序员只需标识出那些可以猜测执行的代码段即可,运行时系统或硬件负责确保猜测线程之间的数据相关不被破坏。全面分析了现有的TLS技术,总结了… …   相似文献

郭辉  王琼  沈立  王志英 《计算机科学》2014,41(1):16-21

并行化编译中的一种集成优化方法

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

本文提出了一种面向分布存储器多机系统的并行化编译方法．针对分布存储并行系统的特点,作者采用的基本优化策略是：折衷并行性与数据引用局部性;减少和隐藏通信开销．通过对基于仿射函数的程序分解方式所导致的数据通信性质的分析,得到了适合分布存储结构特殊要求的并行性开发方法．为了在保持并行性… …   相似文献

孙彤  李三立  李晓明 《软件学报》1996,7(12):705-713

增强超媒体系统的导游功能

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

对现有超媒体系统中常用的几种导游机制进行了介绍和分析.借鉴PFNET(pathfinder网)这种网状模型,根据超媒体系统中的节点、链和用户使用习惯,提出了两类导游图,以期对用户浏览信息起到真正的导游作用,解决超媒体系统中的迷路问题.  相似文献

黄波  何志均 《软件学报》1998,9(12):899-903

加权T图的活性分析

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

本文给出加权T—图为活网的一组充分必要条件,这组条件包含了文献[1]对标识图(即T—图)活性分析的结果,即当每条弧的权都等于1时,本文的结果就化为文[1]给出的条件。  相似文献

许安国  吴哲辉 《软件学报》1993,4(6):16-21

CAVLC解码的一种有效方法

  

已有的CAVLC解码方法包括二叉树解码方法、全码表解码方法和Hashem ian解码方法等,但是这些解码方法都只关注解码性能的一个方面:解码速度或存储空间,因而无法有效地提高整体性能。针对这一问题提出了一种快速的解码方法。该方法通过自动码表分配技术和码表地址转移技术来提高限定存储… …   相似文献

曹宁  梅侠 《中国图象图形学报》2008,13(2):230-233

基于内容的图象检索中的语义处理方法

  总被引：4，自引：4，他引：4

基于内容的图象检索系统,其目标是最大限度地减小图象简单视觉特征与用户检索丰富语义之间的“语义鸿沟”,因此图象语义处理则成为基于内容的图象检索进一步发展的关键。为了使人们对基于内容的图象检索中的语义处理方法有个概略了解,首先从图象语义模型和图象语义提取方法这两个方面对利用语义进行图… …   相似文献

王惠锋  孙正兴 《中国图象图形学报》2001,6(10):945-952

搜索算法的逻辑分析^*

下载全文  

搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述,搜索算法的逻辑性质由初始状态空间确定.这意味着描述搜索过程的逻辑具有紧致性,初始状态的初等类具有有限封闭性.  相似文献

张玉平 《软件学报》1999,10(2):175-180

云计算环境中服务动态选择算法研究

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

为解决云计算环境下的服务动态选择问题,设计了综合考虑反应时间和成本的适应度函数,提出了求解服务动态选择问题的分布估计蛙跳算法.在蛙跳算法的基础上,借鉴交叉操作改写蛙跳算法的进化算子,并引入分布估计进化策略改进蛙跳算法的青蛙更新模式,使改进后的新算法具有更全面的学习能力,能够有效避… …   相似文献

张恒巍  韩继红  寇广  卫波 《计算机科学》2015,42(5):251-254, 269

一种新的面向用户多业务QoS需求的网络接入选择算法

  

异构无线网络技术的发展、智能移动终端的普及、用户无线业务的快速增长以及QoS需求的个性化给网络接入选择带来巨大挑战。基于多属性决策理论和模糊逻辑理论,提出了一种新的面向用户多业务QoS需求的网络接入选择算法,其步骤主要包括选择预评估、构造关键参数量化决策矩阵、层次分析参数权重、确… …   相似文献

张媛媛  肖创柏  王坚 《计算机科学》2015,42(3):55-59

基于复杂对象的知识库语言

下载全文  

近年来,复杂对象数据模型及其逻辑数据语言的研究引起了人们的广泛的重视．本文提出了一种复杂对象模型ＣＯＭ,描述了该模型上的说明性查询语言ＣＯ－ＤＡＴＡＬＯＧ的语法结构．在语义方面,定义了空间、基、解释、满足、模型等概念;利用ＣＯＭ实例的格性质证明了ＣＯ－ＤＡＴＡＬＯＧ的模型相交定理… …   相似文献

周傲英  郭德培  叶道兵 《软件学报》1995,6(4):193-200

数字媒体有条件接收技术综述

下载全文  

从数字媒体有条件接收系统面临的新问题出发,对数字视频加密、密钥管理、盗版追踪和数字媒体内容保护四个方面技术存在的问题、研究现状进行了介绍和分析,并对各项技术的发展趋势进行了阐述。  相似文献

肖扬  杨明  童永  吕珊珊 《计算机应用研究》2008,25(1):1-7

局部均匀模式描述和双加权融合的人脸识别

  

目的 针对LBP算法对边缘及噪声信息比较敏感,提出一种统一化的局部均值模式(ULMP)描述算子。考虑到全局和局部特征在识别上的互补性,提出一种ULMP描述和双加权融合的人脸识别方法。方法 首先利用ULMP算法获得整幅图像的编码图,接着将其分块,统计每一子块的直方图获得局部纹理特征,并结合BP神经网络得到局部分类结果。引入云模型求取不同子块的权值,对局部分类结果进行加权融合。整体纹理特征的获取是将不同子块的直方图特征串联。在得到全局和局部的分类结果后,将两者加权集成,获得最终的识别结果。结果 在ORL和Yale人脸库上进行实验,ULMP具有很好的识别性能。5幅测试样本时,在ORL库上取得了95.9%的平均识别率,分别比局部二值模式(LBP)、MCT、局部方向模式(LGP)、统一的LBP(ULBP)和局部中心二值模式(CSLBP)高11.3%、10.6%、9.5%、8.9%和3.9%;在Yale库上取得了97.4%的识别率,分别比LBP、MCT、LGP、ULBP和CSLBP高19.9%、17.7%、10.7%和0.7%。在ORL和Yale人脸库上,本文提出的双加权融合模式分别取得了98.5%和98.34%的平均识别率,高于任何单一模块。结论 本文提出的纹理提取算法ULMP,具有很好的平滑噪声及边缘信息的作用,适用于面部纹理特征的提取。利用云模型求取的权值的方法能够较好地发挥局部分类器间的集成作用,最终有效地提高了系统的整体性能。双加权融合模式是一种精确且有效的人脸识别方法,适用于静态人脸图像的匹配识别。… …   相似文献

任福继  李艳秋  许良凤  胡敏  王晓华 《中国图象图形学报》2016,21(5):565-573

基于路径平衡的工作流费用优化方法

下载全文  

针对效用网格下截止期约束的工作流费用优化问题,提出了路径平衡(path balance,简称 PB)算法,对工作流中各路径长度进行调整,并提出基于路径平衡的费用优化(path balance based cost optimization,简称PBCO)算法。 PBCO 基于 P… …   相似文献

刘灿灿  张卫民  骆志刚 《软件学报》2013,24(6):1207-1221

电子商务协议研究综述

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

电子商务协议是电子商务实施的技术基础.对电子商务协议研究进行综述,包括电子商务协议设计的原则(如安全性、匿名性、原子性、不可否认性和交易规模)以及对若干著名电子商务协议的描述和分析.  相似文献

周龙骧 《软件学报》2001,12(7):1015-1031

基于继承性的圆形窗口多边形裁剪新算法

  

在深入挖掘多边形的边与圆形窗口的几何特性以及二者相对位置的基础上,提出了可继承的正方形编码以及可继承的广义距离两种新技术以及裁剪新算法。可继承的正方形编码技术包括完全可继承编码和部分可继承编码,其可以快速舍弃绝大部分完全位于圆形窗口外部的多边形的边,而可继承的广义距离技术可以快速… …   相似文献

邢军伟陆国栋  谭建荣 《中国图象图形学报》2003,8(10):1227-1232