k-LSAT (k≥3)是NP-完全的

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

合取范式(conjunctive normal form,简称CNF)公式F是线性公式,如果F中任意两个不同子句至多有一个公共变元.如果F中的任意两个不同子句恰好含有一个公共变元,则称F是严格线性的.所有的严格线性公式均是可满足的,而对于线性公式类LCNF,对应的判定问题LSAT仍然是NP-完全的.LCNF_≥k是子句长度大于或等于k的CNF公式子类,判定问题LSA(≥k)的NP-完全性与LCNF(≥k)中是否含有不可满足公式密切相关.即LSAT_≥k的NP-完全性取决于LCNF_≥k是否含有不可满足公式.S.Porschen等人用超图和拉丁方的方法构造了LCNF_≥3和LCNF_≥4中的不可满足公式,并提出公开问题:对于k≥5,LCNF_≥k是否含有不可满足公式?将极小不可满足公式应用于公式的归约,引入了一个简单的一般构造方法.证明了对于k≥3,k-LCNF含有不可满足公式,从而证明了一个更强的结果:对于k≥3,k-LSAT是NP-完全的.… …   相似文献

许道云  邓天炎  张庆顺 《软件学报》2008,19(3):511-521

结合高斯加权距离图的图像边缘提取

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

边缘是图像最为重要的特征之一,是图象分析与识别的基础。对于目标的分割、测量而言,边缘提取的连续性与抗噪性显得尤为重要,其可通过区域增长等算法提取目标区域,为抠图、统计测量提供必要的支持,本文以实现目标轮廓的有效提取为目的,提出一种结合高斯加权距离图的图像边缘提取方法。首先通过计算… …   相似文献

贾迪  孟祥福  孟琭  董娜  方金凤 《中国图象图形学报》2014,19(1):62-68

网络程序设计中的并发复杂性

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

互联网已成为现代社会的重要信息基础设施,然而网络环境的并发性使得传统程序设计方法在开发高质量的网络程序时遇到了许多困难,严重影响了开发效率.并发问题对网络程序开发复杂度的影响可以类比多核处理器带来的\"软件并发危机\",然而其中的并发问题却远远没有得到应有的重视.网络并发问题目前… …   相似文献

李慧霸  田甜  彭宇行  李东升  卢锡城 《软件学报》2011,22(1):132-148

面向高可信软件的整数溢出错误的自动化测试

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

面向高可信软件提出了一种二进制级高危整数溢出错误的全自动测试方法(dynamic automatic integer-overflow detection and testing,简称DAIDT).该方法无需任何源码甚至是符号表支持,即可对二进制应用程序进行全面测试,并自动发现高… …   相似文献

卢锡城  李根  卢凯  张英 《软件学报》2010,21(2):179-193

无线Mesh网络组播路由协议

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

组播服务是无线Mesh网络面向实际应用的一种重要服务,网络层组播路由协议则是服务实现的核心支撑协议.无线Mesh网络独有的结构特征、性能要求以及多射频、多信道和多速率的引入使得许多传统组播路由协议无法直接进行应用,近几年来,已有不少针对特定无线Mesh网络的组播路由协议相继提出.… …   相似文献

方艺霖  李方敏  吴鹏  刘新华  马小林 《软件学报》2010,21(6):1308-1325

基于暗原色先验模型的快速去雾算法

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

为了实时地消除图像中的雾气,提出了一种基于暗原色先验理论的快速去雾算法.改进了透射率修复方法,显著地减少了算法的计算量;通过自适应调节透射率下限值和大气光成分值,扩大了去雾处理的适用范围;对复原的图像进行增强处理,改善了复原图像的整体视觉效果.实验结果表明,本文算法能有效地去除图… …   相似文献

张冰冰  戴声奎  孙万源 《中国图象图形学报》2013,18(2):184-188

地质断层三维可视化模型的构建方法与实现技术

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

全面而系统地研究了地质断层三维可视化构模的原理、方法及实施过程.针对地质断层三维构模的特点与要求,设计了一种基于边界表示、面向地质实体并兼顾拓扑关系的三维矢量数据模型,以有效地组织和描述包含断层的复杂地质体几何结构模型.提出了断层与地层的统一构模技术,给出了在其实现过程中所遇到的… …   相似文献

朱良峰  潘信  吴信才  刘修国 《软件学报》2008,19(8):2004-2017

网页变化与增量搜集技术

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

互联网络中信息量的快速增长使得增量搜集技术成为网上信息获取的一种有效手段,它可以避免因重复搜集未曾变化的网页而带来的时间和资源上的浪费.网页变化规律的发现和利用是增量搜集技术的一个关键.它用来预测网页的下次变化时间甚至变化程度;在此基础上,增量搜集系统还需要考虑网页的变化频率、变… …   相似文献

孟涛  王继民  闫宏飞 《软件学报》2006,17(5):1051-1067

城市道路交通数据可视分析综述

  

目的 交通是困扰现代大都市的世界性难题.近年来,可视分析技术在分析和利用交通大数据中扮演了越来越重要的角色,成为一项重要的智能交通技术.本文将全面回顾自信息可视化和可视分析兴起以来城市交通数据可视分析领域的研究现状.方法 从道路交通流量分析和其他交通问题分析两个方面,按照数据的类型及问题的分类探讨交通领域的可视化技术和可视分析系统,简单回顾近年来出现的研究新趋势.结果 早期研究注重对道路流量的可视化展示方案,主要方法有箭头图、马赛克图和轨迹墙等.随着可视分析手段的丰富,对城市道路交通流量的分析层次上升到交通事件层面,但是交通事件的定义仅局限于交通拥堵.应用可视分析的其他交通问题领域包括公共交通、交通事故和人群出行行为等.近年出现了挖掘和利用交通轨迹或交通事件的社会属性或称环境上下文信息的研究新趋势.结论 从对交通流量的可视化到交通事件的可视分析,从面向道路交通状况到与交通相关的其他社会性问题,从单纯反映路况的交通数据到富含社会性语义的多源数据,从传统的PC端可视化和交互范式到新型的可视化展示介质,交通数据可视化领域的研究在深度和广度上都得到大大拓展,未来该领域的研究趋势也体现于其中.… …   相似文献

姜晓睿  田亚  蒋莉  梁荣华 《中国图象图形学报》2015,20(4):454-467

迁移学习研究进展

  总被引：30，自引：7，他引：23

近年来,迁移学习已经引起了广泛的关注和研究.迁移学习是运用已存有的知识对不同但相关领域问题进行求解的一种新的机器学习方法.它放宽了传统机器学习中的两个基本假设:(1)用于学习的训练样本与新的测试样本满足独立同分布的条件;(2)必须有足够可利用的训练样本才能学习得到一个好的分类模型… …   相似文献

庄福振  罗平  何清  史忠植 《软件学报》2015,26(1):26-39