基于Petri网的模型检测研究

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

模型检测是关于系统属性验证的算法和方法.它通常采用状态空间搜索的方法来检测一个给定的计算模型是否满足某个用时序逻辑公式表示的特定属性.系统模型的状态空间的爆炸问题是模型检测所面临的主要问题,其主要原因是系统自身的并发特性和状态变迁的语义交织对基于Petri网的模型检测理论和验证技… …   相似文献

蒋屹新  林闯  曲扬  尹浩 《软件学报》2004,15(9):1265-1276

一个基于三元组存储的列式OLAP查询执行引擎

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

大数据与传统的数据仓库技术相结合产生了大数据实时分析处理需要（volume+velocity）,它要求大数据背景下的数据仓库不能过多地依赖物化、索引等高存储代价的优化技术,而要提高实时处理能力来应对大数据分析中数据量大、查询分析复杂等特点.这些查询分析操作一般表现为在事实表和维表之间连接操作的基础上对结果集上进行分组聚集等操作.因此,表连接和分组聚集操作是ROLAP（relational OLAP）性能的两个重要决定因素.研究了新硬件平台下针对大规模数据的OLAP查询的性能,设计新的列存储OLAP查询执行引擎CDDTA-MMDB（columnar direct dimensional tuple access-main memory databasequeryexecutionengine,直接维表元组访问的内存数据库查询执行引擎）.基于三元组的物化策略,使得CDDTA-MMDB能够减少内存列存储模型上表连接操作访问基表和中间数据结构的次数.首先,CDDTA-MMDB将查询分解为作用在维表和事实表上的子查询,如果只涉及过滤操作,子查询将生成<代理键,布尔值>二元组;否则,子查询生成<代理键,关键字,值>三元组.然后,只需一趟扫描事实表,利用事实表的外键映射函数直接定位相应三元组或者二元组,完成相应的过滤、连接或聚集操作.CDDTA-MMDB充分考虑了内存列存储数据库的设计原则,尽量减少随机内存访问.实验结果表明：CDDTA-MMDB是高效的,与具代表性的列存储数据库相比,比MonetDB 5.5快2.5倍,比C-store的invisible join快5倍;并且,CDDTA-MMDB在多核处理器上具有线性加速比.… …   相似文献

朱阅岸  张延松  周烜  王珊 《软件学报》2014,25(4):753-767

低代价最短路径树的快速算法

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

低代价最短路径树是一种广泛使用的多播树.它能够在保证传送时延最小的同时尽量降低带宽消耗.在DDSP(destination-driven shortest path)算法的基础上,通过改进节点的搜索过程,提出了快速低代价最短路径树算法FLSPT(fast loW-coSt sho… …   相似文献

王涛  李伟生 《软件学报》2004,15(5):660-665

用于去除单张图像高光的光照约束补色

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

在计算机视觉研究领域,如何检测和消除图像中的高光(specular)一直是个热点问题,有关的研究结果对于提高计算机视觉算法性能有着重要的影响.针对这一问题,提出了一种检测和消除高光的方法.首先,通过比较高光和漫反射光(diffuse)的色度特性的不同,给出了一种交互检测单色物体表… …   相似文献

谭平  杨杰  雷蓓  Steve Lin  沈向洋 《软件学报》2004,15(1):33-40

逆向工程中的大类图拆分方法

下载全文  

提出了一种大类图拆分方法。首先通过度量工具计算类图中类目(类及接口)间的耦合度。根据面向对象设计中高内聚低耦合的设计原则,将紧耦合的类目划入同一个类图,而耦合度低的类目间实现分离。为了确保生成的类图大小合适,拆分方法对每个类图的大小进行限定,将每个类图的大小限定在预先定义的合理区… …   相似文献

刘辉  邵维忠  麻志毅 《软件学报》2010,21(11):2701-2710

基于多维度覆盖率的软件测试动态评价方法

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

随着关键领域应用软件规模和复杂性的不断提高,软件测试成本也不断增加.如何动态、定量地评价软件测试情况,提高测试效率是软件测试领域面临的现实问题.提出了一种基于多维度测试覆盖率的软件测试动态评价方法,并从测试监测信息、动态分析和评价模型、测试优化策略几个方面展开讨论.给出了综合测试… …   相似文献

安金霞  王国庆  李树芳  朱纪洪 《软件学报》2010,21(9):2135-2147

商业智能解决方案的研究与应用

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

信息技术在企业的广泛应用产生了大量的数据,这些数据中包含了对各级别的企业决策者极具价值的信息,但各个业务系统产生的分散、孤立的数据很少能被用于决策分析。要想有效地利用各种应用系统蕴藏的数据来提升企业决策水平,获得更大的竞争优势,实施企业商业智能战略是至关重要的。通过商业智能关键技… …   相似文献

郑洪源  周良 《计算机应用研究》2005,22(9):92-94

天空地一体化热红外遥感图像仿真算法研究

下载全文  

遥感图像仿真对航天传感器前期技术论证以及遥感应用模型算法开发起到了重要作用。针对国内外热红外对地观测计划蓬勃发展的同时对热红外遥感模拟图像提出了迫切需求,提出了天空地一体化热红外遥感图像仿真算法。采用集地面场景模拟、大气辐射模拟、遥感器模拟于一体的全链路热红外遥感图像仿真模拟方法… …   相似文献

孔祥皓  顾行发  余涛  胡新礼  李斌  林英豪 《计算机应用研究》2012,29(10):3976-3979

分布式空间数据分片与跨边界拓扑连接优化方法

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

研究分布式空间数据库(distributed spatial database,简称DSDB)中数据按区域分片时的跨边界片段拓扑连接查询问题,并提出相应的优化方法.首先研究了分布式环境下的空间数据的分片与分布,提出了空间数据分片的扩展原则:空间聚集性、空间对象的不分割性、逻辑无缝… …   相似文献

朱欣焰  周春辉  呙维  夏宇 《软件学报》2011,22(2):269-284

基于预检验的快速随机抽样一致性算法

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

随机抽样一致性算法MNSAC(random sample consensus)是在计算机视觉领域内应用最广泛的Robust 估计算法之一,但是MNSAC算法计算效率较低.提出一种基于模型参数预检验的快速MNSAC算法(preview model parameters evalua… …   相似文献

陈付幸  王润生 《软件学报》2005,16(8):1431-1437