时间属性序列图:语法和语义

下载全文  

为了表示事件出现的时间约束,扩展属性序列图为时间属性序列图,使其继承属性序列图的优点,并且能够表示时间属性,定义了时间属性序列图的形式语法,并给出基于时间Büchi自动机的形式操作语义;用实时规约模式度量了时间属性序列图的表达力。最后,对时间属性序列图进行了实例研究,显示了其广泛… …   相似文献

张鹏程  李必信  李雯睿 《软件学报》2010,21(11):2752-2767

基于节点空闲度的自适应移动Ad Hoc网络路由协议

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

节点可以自由、自主地进入网络拓扑并且无须基础网络设施的特性,使得移动Ad hoc网络被广泛应用于诸如灾难救援、战场等多种环境中.传统的Ad hoc路由协议主要是基于\"最短路径\"来考虑,会在网络中形成局部的\"热点区域,,而影响网络的性能.对此,提出了一个新的参数\"节点空闲度… …   相似文献

郭嘉丰  张信明  谢飞  陈国良 《软件学报》2005,16(5):960-969

求解大规模TSP问题的自适应归约免疫算法

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

从理论上分析了影响多级算法性能的因素,并以此为依据构造了求解TSP问题的自适应归约免疫算法.该算法借助归约集的进化使归约集规模自适应增长,归约边的预测精度不断提高,从而提高了算法在归约后找到全局最优解的概率.实验结果表明,该算法比其他算法获得了质量更高的解.  相似文献

戚玉涛  刘芳  焦李成 《软件学报》2008,19(6):1265-1273

PIM-SM协议的建模与改进

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

PIM-SM(protoc01-independent multicast-dense mode)协议是目前Internet首选的域内组播路由协议.影响其广泛应用的一个主要问题是该协议的控制报文负载比较大.为了对协议进行改进和优化,首先需要建立性能模型并进行准确的性能分析.利用随… …   相似文献

李丹  吴建平  崔勇  徐恪  刘莹 《软件学报》2006,17(2):285-294

一种构造代码安全性证明的方法

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

提出一种构造代码安全性证明的新方法.这种方法的基本思想是,在基础逻辑中定义辅助递归函数来帮助构造证明.这种构造方法在不增加系统信任计算基础的情况下可以极大地减轻构造证明的工作量,并且减小安全性证明的规模同时介绍了该方法在一个FPCC系统中的应用.在这个系统中使用该方法使得代码的安… …   相似文献

郭宇  陈意云  林春晓 《软件学报》2008,19(10):2720-2727

结合组稀疏效应和多核学习的图像标注

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

图像中存在的纹理、颜色和形状等异构视觉特征,在表示特定高层语义时所起作用的重要程度不同,为了在图像标注过程中更加有效地利用这些异构特征,提出了一种基于组稀疏(group sparsity)的多核学习方法(multiple kernel learning with group sp… …   相似文献

袁莹  邵健  吴飞  庄越挺 《软件学报》2012,23(9):2500-2509

主动分布式Web服务注册机制研究与实现

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

  相似文献

杜宗霞  怀进鹏 《软件学报》2006,17(3):454-462

一种基于异常传播分析的数据流分析方法

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

异常处理是一种用来检测异常并对其进行处理的技术.异常传播改变了程序原来的执行路线,从而改变了程序中的数据流.在进行数据流分析时,如果不考虑异常传播对其造成的影响,则得到的信息将是不准确的.在分析C++异常传播机制和异常传播对数据流分析影响的基础上,提出一种包含异常传播信息的函数间… …   相似文献

姜淑娟  徐宝文  史亮 《软件学报》2007,18(1):74-84

XML信息检索中最小子树根节点问题的分层算法

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

最小子树根节点问题(smallest lowest common ancestor,简称SLCA)是实现XML信息检索研究中关键字查询的一个基本问题,其主旨就是求解所有包含给定关键字的紧致子树的根节点.XU等人给出了3种算法-基于索引的搜索算法(indexed lookup ea… …   相似文献

孔令波  唐世渭  杨冬青  王腾蛟  高军 《软件学报》2007,18(4):919-932

Rete算法:研究现状与挑战

  

产生式规则推理系统因其可理解性、易增删、易修改等特点而被广泛用于各种智能领域,但其规则匹配效率 极其低下,不适合大规模推理。Rete算法通过规则条件共享和保存临时匹配结果大大加速了产生式推理,使其成为 效率最高的产生式推理算法之一。但随着数据规模的日益增大、业务信息的频繁变更以及… …   相似文献

顾小东  高阳 《计算机科学》2012,39(11):8-12

模糊面向对象数据模型的描述逻辑表示与推理

下载全文  

通过分析描述逻辑与面向对象数据模型之间的关系,研究了基于描述逻辑的模糊面向对象数据(fuzzy object-oriented data,简称FOOD)模型的表示与推理.首先,进一步研究了FOOD模型,提出了FOOD模型的形式化定义和语义定义,以便更好地在FOOD模型与模糊描述逻… …   相似文献

张富  严丽  马宗民  程经纬 《软件学报》2012,23(3):594-612

Logistic视频字幕增强模型

下载全文  

目的：为提高复杂背景下的视频字幕在OCR中的识别率,需要对提取的视频字幕进行有效地字幕增强。该文首次将Logistic模型应用到视频字幕增强中,提出了基于Logistic模型的融合多帧信息的视频字幕增强方法。方法：对字幕进行检测与跟踪,将出现在连续多帧中的同一字幕片段进行对齐;通… …   相似文献

李钦瑞  吕学强  李卓  刘坤 《中国图象图形学报》2014,19(5):683-692

保持几何特征的自适应弹性二次曲线模型

下载全文  

物体形状特征的准确提取往往受到图像获取、目标分割等过程中各种因素的影响,因而需要构造一种鲁棒的形状表现来保有其本质特征。揭示弹性二次曲线(EQW)模型中能量权重因子和样条重叠度因子与形状几何特性间的关系,提出一种自适应保持几何特征的EQW形状表现模型,并将该模型与交互式Live … …   相似文献

蒋建国  郝世杰  郭艳蓉  詹曙  李鸿 《中国图象图形学报》2012,17(5):682-688

基于结构特征的自适应光线投射算法

下载全文  

目的 光线投射法是一种重要的直接体绘制算法,但其效果取决于复杂的传递函数.为此提出基于结构特征的自适应光线投射算法,从而使得利用简单传递函数即可很好地揭示体数据特征.方法 首先分析光线方向标量值的变化趋势获取结构特征——特征段;然后基于若干意义明确启发式规则(特征段的次序、尺度、重要度)自动计算特征段的可见度,根据特征段可见度调节每个采样点的不透明度;最后基于调节后的不透明度完成绘制.结果 使用合成数据、医学真实采样数据和工业CT(computed tomography)数据进行测试,结果表明本文算法在展示体数据的内部结构特征,尤其是细小结构方面优于其他类似算法;本文算法速度比DVR(direct volume rendering)慢,但仍可满足交互需求.另外,本文算法还提供多个形象直观、意义明确的参数供用户调节,进一步增加了本文算法的灵活性.结论 本文提出的自适应光线投射算法,允许用户使用简单传递函数和调节意义明显的参数即可有效揭示体数据特征,进一步提高了光线透射法的直观性.… …   相似文献

罗月童  张伟  石放放  谭文敏 《中国图象图形学报》2015,20(4):483-490

基于HPCC和层次分析法的高性能计算系统评价模型

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

HPCC(high performance computing challenge)基准是由DARPA的HPCS(high productivity computing system)项目所发布的评价高性能计算系统的测试基准程序,自推出至今,受到工业界和学术界的广泛关注.但是,H… …   相似文献

刘川意  汪东升 《软件学报》2007,18(4):1039-1046

二维Logistic映射的动力学分析

下载全文  

对二维logistic映射的动力学研究有助于认识和预测更复杂的高维非线性系统的性态.利用解析计算和实验分析相结合的方法揭示出:(1) 参数空间中二维logistic映射发生第一次分岔的边界方程;(2) 二维logistic映射可按倍周期分岔和Hopf分岔走向混沌;(3) 二维lo… …   相似文献

王兴元  骆超 《软件学报》2006,17(4):729-739

一种水声通信Turbo均衡中的软迭代信道估计算法

下载全文  

Turbo均衡技术是水声相干通信克服信道多径、消除码间干扰(ISI)的有效工具。Turbo均衡实际使用时需要对时变、多径信道进行良好的估计。为了提高信道估计的效果,该文基于时变横向滤波和相位旋转信道模型,提出一种水声通信Turbo均衡中的软迭代信道估计算法。该算法采用快速自优化最… …   相似文献

唐怀东朱敏  武岩波 《电子与信息学报》2013,35(3):677-682

知识库维护的结构操作语义方法

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

关于在知识表示和处理方面起着重要作用的断言集合形式的抽象知识库,该文给出了一个维护和更新的形式转换系统,使得任意可能有矛盾的知识库能够最终合理地转换到一个相容的知识库之中.作为一种特殊情形,也得到了一个R-重构的能行产生机制.该文给出的转换系统不仅具有可靠性,而且也具有完备性.… …   相似文献

李未  张世琨  王立福  冯慧  杨芙清 《软件学报》2000,11(6):758-766

基于带参数整数小波变换可见数字水印

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

构造出了带参数的整数小波,应用变型的Rijndael密码构造出了Hash函数.提出了一种基于带参数整数小波变换、离散余弦变换及变型Rijndael加密算法的可见数字水印算法.利用整数小波的参数变化,并结合Hash函数保证了水印的安全,同时使得该可见数字水印满足公开密码体制.通过理… …   相似文献

罗永  成礼智  徐志宏  吴翊 《软件学报》2004,15(2):238-249

基于自适应睡眠机制的WSN能量高效协议

  

由于无线传感器网络结点能量受限,高效的能量节省策略成为无线传感器研究的热点技术之一.通过分析无线传感器网络各层的能量高效解决方案,给出一种基于自适应睡眠机制的无线传感器能量高效协议.该方案根据剩余能量存储、地理位置信息以及邻近结点负载程度,采用可变睡眠持续时间机制来选择转发分组方… …   相似文献

梁芳  沈济南 《计算机科学》2015,42(4):65-67