谓词抽象技术研究

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

随着软、硬件系统规模和功能的不断扩充,状态空间爆炸问题严重影响了模型检验的进一步发展与应用,成为验证大规模系统的瓶颈.谓词抽象是解决状态空间爆炸的最有效方法之一,近年来得到迅速发展.介绍了谓词抽象的基本算法并比较了不同的求解支持工具;重点分析了反例指导的抽象求精和基于插值的抽象求… …   相似文献

屈婉霞  李暾  郭阳  杨晓东 《软件学报》2008,19(1):27-38

基于测地线距离的广义高斯型Laplacian 特征映射

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

传统的Laplacian 特征映射是基于欧氏距离的近邻数据点的保持,近邻的高维数据点映射到内在低维空间后仍为近邻点,高维数据点的近邻选取最终将影响全局低维坐标.将测地线距离和广义高斯函数融合到传统的Laplacian 特征映射算法中,首先提出了一种基于测地线距离的广义高斯型Lap… …   相似文献

曾宪华  罗四维  王娇  赵嘉莉 《软件学报》2009,20(4):815-824

构造型神经网络双交叉覆盖增量学习算法

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

研究了基于覆盖的构造型神经网络(cover based constructive neural networks,简称CBCNN)中的双交叉覆盖增量学习算法(BiCovering algorithm,简称BiCA).根据CBCNN的基本思想,该算法进一步通过构造多个正反覆盖簇,使… …   相似文献

陶品  张钹  叶榛 《软件学报》2003,14(2):194-201

基于最大熵分类器的语义角色标注

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

语义角色标注是浅层语义分析的一种可行方案.描述了一个采用最大熵分类器的语义角色标注系统,该系统把句法成分作为语义标注的基本单元,用最大熵分类器对句子中谓词的语义角色同时进行识别和分类.最大熵分类器中使用了一些有用的特征及其组合.在后处理阶段,在具有嵌套关系的结果中,只有概率最高的语义角色被保留.在预测了全部能够在句法分析树中找到匹配成分的角色以后,采用简单的后处理规则去识别那些找不到匹配成分的角色.最终在开发集和测试集上分别获得了75.49%和75.60%的F1值,此结果是已知的基于单一句法… …   相似文献

刘挺  车万翔  李生 《软件学报》2007,18(3):565-573

博客网络中具有突发性的话题传播模型

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

提出了一个基于节点知名度和活跃度的离散时间话题传播模型.该模型的参数具有明确的物理意义,可体现话题动态传播过程的特征,并可为话题传播趋势的预测研究提供依据.通过统计和分析中国最大的博客站 点——新浪博客在几个月中若干具有突发性的事件引起的热门话题数据,结果表明,所提出的模型可以较… …   相似文献

赵丽  袁睿翕  管晓宏  贾庆山 《软件学报》2009,20(5):1384-1392

软件人在迁移过程中的任务实现方式探讨

  

“软件人”是个新概念,它为当前网络中存在的许多问题提供了新的解决手段。软件人在迁移过程中的任务实现方式是软件人系统的一个非常重要的环节。首先介绍了软件人的概念,然后解释了软件人如何在迁移中完成任务,最后提出并分析了三种基本的软件人任务实现方式。  相似文献

赵耀东  王成耀  曾广平  涂序彦 《计算机应用研究》2006,23(1):49-51

基于改进的弹簧-质点模型的三维服装模拟

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

针对三维服装造型与效果仿真中存在的模型复杂、模拟效率低、忽略服装的结构特征等问题,提出了改进的弹簧-质点模型.利用该模型统一建立了2D→3D映射和服装真实感模拟方程,给出方程中质点所受内力和外力的组成与表达式以及动态系统的推导和求解过程,并且描述了模拟的具体实现算法.改进的弹簧-… …   相似文献

刘卉  陈纯  施伯乐 《软件学报》2003,14(3):619-627

数据流的核心技术与应用发展研究综述

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

在数据流基本概念的基础上,综述了数据流领域中主要的流模型、构造概要数据结构的算法、连续查询处理和优化技术等热点问题,以及数据流的应用发展。  相似文献

杨颖  韩忠明  杨磊 《计算机应用研究》2005,22(11):4-7

摄像头阅卷系统关键技术的分析与应用

下载全文  

在分析各类图像阅卷系统的基础上,阐述了摄像头阅卷系统中需要解决的关键技术问题有：对光照不均的图像处理,透视变形图像的校正处理。提出对图像进行二值化处理时采用局部平均阈值解决光照不均匀的问题;采用的基于矩形角点几何变换的畸变图像校正算法,分两步完成图像的倾斜校正和透视校正,并给出了… …   相似文献

吴柏雄 《计算机系统应用》2010,19(2):147-151

脆弱性数据库技术研究

  

脆弱性是网络安全事件的根源,脆弱性数据库技术有利于系统地分析脆弱性的本质,从而有利于脆弱性的检测、预防和消除。首先总结了脆弱性数据库的四种组织模式;然后提出了设计和管理脆弱性数据库应该解决的问题;介绍了基于脆弱性数据库的分析和应用技术;最后介绍了主流的脆弱性数据库。  相似文献

徐良华  史洪  马俊  朱鲁华 《计算机应用研究》2006,23(3):5-7

一种结合有效降维和K-means聚类的协同过滤推荐模型*

  

为了克服“维灾”所带来的问题,提出一种基于主成分分析的维数约简方法,并在转换后的低维向量空间上进行K-means聚类算法,以减少目标用户的最近邻搜索范围,代替在超高维空间上逐一寻找最近邻的过程。实验结果证明了新算法的有效性,特别在目标用户的历史评价信息较少的情况下,也能有较好的预… …   相似文献

郁雪  李敏强 《计算机应用研究》2009,26(10):3718-3720

最大团问题研究进展及算法测试标准

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

定义了最大团问题,分析和研究了使用启发式算法求解最大团问题的进展,介绍了当前求解最大团问题的典型启发式算法,最后给出了测试这些启发式算法性能的测试基准图.  相似文献

王丽爱  周旭东  陈崚 《计算机应用研究》2007,24(7):69-70

Web服务行为兼容性的判定与计算

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

确保Web服务行为兼容是实现Web服务无缝集成与协作的一个重要问题.在服务视图概念的基础上,给出了Web服务行为兼容性的相关定义.提出一种基于π演算的Web服务行为兼容性的定性判定与定量计算方法.该方法首先通过算法自动地将Web服务行为和Web服务间的交互行为表达成π演算进程,然… …   相似文献

邓水光  李莹  吴健  邝砾  吴朝晖 《软件学报》2007,18(12):3001-3014

Linux 下基于DDNS 的动态IPSec VPN 的研究

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

IPSec VPN 是目前流行的基于IP 的VPN 部署技术。在实际应用中,如何实现动态IP 环境下的IPSecVPN 是一项关键技术。本文首先介绍IPSec 的体系结构及Linux 下IPSec 的实现,紧接着针对动态IP环境,提出利用DDNS 结合Openswan 构建Lin… …   相似文献

刘权  陈蜀宇 《计算机系统应用》2009,18(4):135-139

一种基于改进型奇异值分解的数字水印算法及实现*

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

在传统的奇异值分解（SVD）算法的基础上,提出了一种改进型的基于分块奇异值分解（BlockSVD）的新型数字水印算法。该算法不仅鲁棒性更强,可以直接处理长方阵和提取出质量更高的水印,并且在大图像中嵌入和提取水印的时间很短,可以有效克服传统SVD算法提取出的水印在对角线上有明显失… …   相似文献

朱信忠  徐慧英  赵建民 《计算机应用研究》2006,23(12):329-332

可视化语言技术在软件开发中的应用

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

可视化语言技术比一维文本语言在描述软件组成方面具有优越性.由于图表和图形概念在系统建模中的广泛使用,可视化语言可以应用于需求分析、设计、测试和维护等软件开发的各个阶段.除了具有直观易见的特点之外,图文法在计算机上的精确建模和验证能力,为设计可视化语言提供了一个坚实的理论基础.讨论… …   相似文献

孔骏  赵春颖 《软件学报》2008,19(8):1902-1919

挖掘多关系关联规则

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

关联规则的挖掘是数据挖掘中的一项重要和基础的技术,已进行了多方面的深入研究,有着广泛的应用.传统数据挖掘算法是针对单表数据进行处理的,在应用于多关系数据挖掘时存在诸多问题.对多关系关联规则的挖掘问题进行了重新定义和总结.提出了多关系关联规则挖掘的一个框架,并对已有算法进行了分类.… …   相似文献

何军  刘红岩  杜小勇 《软件学报》2007,18(11):2752-2765

一种基于多模态特征的新闻视频语义提取框架

  

为提高视频语义信息提取准确率,提出了一种基于多模态特征的新闻视频语义提取框架。在视频中提取主题字幕信息,对音频进行分类和语音识别,根据主题字幕信息借助搜索引擎得到与新闻视频相关的网页;最后利用网页文本对语音识别的结果进行纠错,从而通过视频字幕信息和语音脚本的跨模态融合提高视频语义… …   相似文献

闫建鹏  封化民  刘嘉琦 《计算机应用研究》2012,29(7):2725-2729

基于问题框架的需求建模:一种本体制导的方法

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

在深入研究问题框架方法的基础上,抽取并构建了一个问题框架本体,以概念化基于问题框架的需求建模,设计了一个本体制导的基于问题框架方法的需求建模过程,为需求分析员提供建模指导并规范其建模活动.最后,通过案例展示整个本体制导的建模过程.  相似文献

陈小红  尹斌  金芝 《软件学报》2011,22(2):177-194

移动Ad Hoc网络的跨层优化拥塞控制

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

基于网络协议层框架充分分析了TCP应用到Ad Hoc网络导致性能下降的原因,包括:物理层中易损耗的无线信道, MAC层中的过度竞争和不公平接入,网络层中节点移动引起的频繁路由失效,传输层中TCP采用的不合适机制,包括基于窗口的传输、基于数据包丢失的拥塞指示,拥塞窗口的慢启动和AI… …   相似文献

徐伟强  汪亚明  俞成海  刘良桂  张云华 《软件学报》2010,21(7):1667-1678