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

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

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

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

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

网页变化与增量搜集技术

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

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

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

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

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

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

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

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

下载全文  

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

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

迁移学习研究进展

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

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

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

基于形变模型的3D表面自适应重建

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

结合形变模型和ＡＣＤ方法提出了基于变形模型的３Ｄ表面自适应重建方法。同时引入了与图象统计特性有关的外力,使得表面重建结果与模型的初始位置无关,利用ＡＣＤ方法使模型自适应地改变其拓扑结构;为了提高表面重建的程度和鲁棒性,提出了多尺度重建算法,该方法适用于形状、结构复杂的物体重建,实… …   相似文献

夏利民  谷士文  沈新权 《中国图象图形学报》2000,5(5):396-400

一种基于业务生成图的Web服务工作流构造方法

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

针对互联网中Web服务具有动态变化且迅速增长的特点,提出了一种面向用户需求的服务工作流构造模型.该模型将功能相同或相似的服务聚集成一类服务集合,每类服务集合采用生成树的方式组织,并依据工作流的业务逻辑关系形成业务生成图;同时,在重定义粒子群算法的位置、速度、加/减法和乘法的基础上… …   相似文献

胡春华  吴敏  刘国平  徐德智 《软件学报》2007,18(8):1870-1882

无线网络协作MAC 机制

下载全文  

协作通信利用空闲节点的天线,构成虚拟的MIMO(multiple-input multiple-output)系统,从而对抗无线信道衰落,获取分集增益.协作通信是下一代无线移动网络的关键技术,也是近几年的一个研究热点.目前,已有的研究成果大多集中在如何根据信道状态选取合适的协作节… …   相似文献

李云  杜杨  曹傧  尤肖虎 《软件学报》2011,22(1):101-114

可证明安全性理论与方法研究

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

论述了可证明安全性理论在安全方案与安全协议的设计与分析中的应用,内容主要包括:什么是可证明安全性,可证明安全性理论涉及到的一些基本概念,RO(random oracle)模型方法论的基本思想及其在公钥加密和数字签名等方案中的应用研究进展,标准模型下可证明安全性理论在公钥加密和数字… …   相似文献

冯登国 《软件学报》2005,16(10):1743-1756

基于任务的访问控制模型

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

目前的访问控制模型都是从系统的角度出发去保护资源,在进行权限的控制时没有考虑执行的上下文环境.然而,随着数据库、网络和分布式计算的发展,组织任务进一步自动化,与服务相关的信息进一步计算机化,这促使人们将安全问题方面的注意力从独立的计算机系统中静态的主体和客体保护,转移到随着任务的… …   相似文献

邓集波  洪帆 《软件学报》2003,14(1):76-82

海关EDI自动化通关系统

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

本文简要介绍了海关EDI自动化通关系统的定义概况及重要意义，对该EDI应用系统下的业务运作模式所涉及的法律问题，采用EDIFACT国际标准问题、网络与软件技术问题，以及工程管理问题进行了结合实际的分析。  相似文献

杨国勋 《计算机系统应用》1995,4(5):2-5

虚拟计算环境中的多机群协同调度算法

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

基于虚拟计算环境的核心机理,提出由自主调度单元、域调度共同体、元调度执行体为核心的多机群协同系统框架.剖析多机群任务并发运行性能模型,设计了多机群协同调度算法框架,提出最大空闲节点优先、最小网络拥塞优先、最小异构因子优先与最小异构空闲节点优先4种启发式资源选择策略.实验验证了协同… …   相似文献

张伟哲  田志宏  张宏莉  何慧  刘文懋 《软件学报》2007,18(8):2027-2037

基于精细化梯度的无线传感器网络汇聚机制及分析

  

信息汇聚是无线传感器网络的典型传输形态之一.在信息汇聚过程中,网络存在数据流分布内密外疏的不均衡特性.研究发现,在传统跳数模型下,网络数据流分布不仅存在全局不均衡性,而且同层节点内还存在着内疏外密的反向不均衡现象,从而使网络流量分析复杂化.提出一种精细化梯度模型,通过引入加权平均… …   相似文献

朱红松  孙利民  徐勇军  李晓维 《软件学报》2007,18(5):1138-1151

基于抽象解释理论的程序验证技术

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

抽象解释(abstract interpretation)理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近(approxiamation)程序不动点语义的理论.描述了程序语义基于Galois连接的抽象解释理论框架,讨论了基于抽象解释理论的程序变换… …   相似文献

李梦君  李舟军  陈火旺 《软件学报》2008,19(1):17-26

网构软件的资源自适应性的形式化分析与验证

  

针对基于构件的网构软件系统对环境资源变化的自适应性特征的可信分析与验证展开研究.具体工作包括:在网构软件的系统模型层次,使用带资源语义信息的接口自动机对软件构件的行为进行形式化建模,其包含了构件在完成特定功能的过程中对环境资源的使用特征;使用资源接口自动机网络来描述构件组装实体的… …   相似文献

胡军  黄志球  曹东  徐丙凤 《软件学报》2008,19(5):1186-1200