MAX(1)和MARG(1)中公式改名的复杂性

下载全文  

改名是一个将变元映射到变元本身或它的补的函数,变元改名是公式变元集合上的一个置换,文字改名是一个改名和一个变元改名的组合.研究CNF公式的改名有助于改进DPLL算法.考虑判定问题\"对于给定的CNF公式H和F是否存在一个变元(或文字)改名ψ使得ψ(H)=F?\"的计算复杂性.MAX(1)和MARG(1)是极小不可满足公式的两个子类,这两个子类中的公式可以用树表示.树同构的判定问题在线性时间内是可解的.证明了对于MAX(1)和MARG(1)中的公式,文字改名问题在线性时间内可解,变元改名问题在平方次时间内可解.… …   相似文献

许道云  董改芳  王健 《软件学报》2006,17(7):1517-1526

基于概念格的非数值型数据聚类稳定性分析

  

概念稳定性的计算是一个NP-完全问题,且概念稳定性在聚类分析中具有十分重要的意义。概念格自身特点决定了其适合作为概念稳定性分析的工具。为了获得一个形式化的计算概念稳定性的方法,定义了概念的核心对象集,并给出了计算核心对象集的方法,进而得到了计算概念稳定性的方法。另外,根据概念格的… …   相似文献

智慧来 《计算机科学》2014,41(10):244-248

基于启发式概率Hough变换的道路边缘检测方法

  

针对非结构化道路的边界检测实时性和鲁棒性的难点,提出了加权Canny边缘检测方法和面向加权Canny边缘图像的启发式概率Hough变换方法;并根据非结构化道路边界不规则的特点和智能车辆路径规划的实际需求,提出了道路边界的双折线模型.与传统的方法相比,不同道路环境下的道路边界检测实… …   相似文献

王燕清  辛柯俊  陈德运  吴剑 《计算机科学》2013,40(9):279-283,287

结合抠像技术的图像分类方法

下载全文  

提出一种新的对象分类方法,该方法将抠像技术应用到图像检索领域。给前景层图像块较高的权值,背景层图像块较低的权值,并对图像块按照权值大小排序,图像间内容相似度比较时,首先计算对应权值的图像块间的距离,再将所有块间距离加权累加作为图像间距离。新方法的有效性在牛津大学花卉图像集上得到验… …   相似文献

冯振  王宇新  郭禾  贾棋 《中国图象图形学报》2011,16(6):1045-1050

基于时隙质心流水印的匿名通信追踪技术

下载全文  

基于扩频的流水印通过扩频技术对水印信号进行编码,将其嵌入特定通信流中以确认网络主体间的通信关系,可以有效地对匿名滥用进行追踪.流水印的实施分为编码、调制、解调、解码等步骤.其中,水印载体的选择尤为重要,关系到水印的健壮性和隐秘性.已有扩频流水印方案选用流速率作为水印载体,由于大部… …   相似文献

张璐  罗军舟  杨明  何高峰 《软件学报》2011,22(10):2358-2371

前列腺磁共振图像分割的反卷积神经网络方法

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

目的 前列腺磁共振图像存在组织边界对比度低、有效区域少等问题,手工勾勒组织轮廓边界的传统分割方法无法满足临床实时性要求,针对这些问题提出了一种基于深度反卷积神经网络的前列腺磁共振图像分割算法。方法 基于深度学习理论,将训练图像样本输入设计好的卷积神经网络,提取具有高度区分性的前列腺图像特征,反卷积策略用于拓展特征图尺寸,使网络的输入尺寸与输出预测图大小匹配。网络生成的概率预测图通过训练一个softmax分类器,对预测图像取二值化,获得最终的分割结果。为克服原始图像中有效组织较少的问题,采用dice相似性系数作为卷积网络的损失函数。结果 本文算法以Dice相似性系数和Hausdorff距离作为评价指标,在MICCAI 2012数据集中,Dice相似性系数大于89.75%,Hausdorff距离小于1.3 mm,达到了传统方法的分割精度,并且将处理时间缩短在1 min以内,明显优于其他方法。结论 定量与定性的实验表明,基于反卷积神经网络的前列腺分割方法可以准确地对磁共振图像进行分割,相比于其他分割算法大幅度减小了处理时间,能够很好地适用于临床的前列腺图像分割任务。… …   相似文献

詹曙  梁植程  谢栋栋 《中国图象图形学报》2017,22(4):516-522

分布式工作流系统FlowAgent的动态任务调度

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

实际的企业业务要求WFMS(workflow management system)必须能把分布在企业异质环境中的人工和自动任务集成到一个流程中,以帮助企业实现业务的全面流程化.但目前大多数WFMS都基于集中的数据库系统,采用静态的组织结构定义.为实现全分布任务间的协同工作,Flo… …   相似文献

王文军  仲萃豪 《软件学报》1999,10(12):1284-1289

基于交叉视觉皮质模型的彩色图像自动分割方法

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

通过对传统彩色图像分割方法的分析,结合最新的交叉视觉皮质模型,给出了一种新的彩色图像自动分割算法。将图像转换到HSV色彩空间,并利用判决机制选择熵最大的分量进行分割,与传统的对H,S,V分别进行处理并将处理结果合并作为分割结果的方法相比,传统HSV方法耗时7533 s,该算法整… …   相似文献

高山  毕笃彦  魏娜 《中国图象图形学报》2009,14(8):1638-1642

无线Mesh 网络低干扰组播

下载全文  

不同于无线传感器网络和移动Ad Hoc网络,无线Mesh网络中的组播主要侧重于提高吞吐量,而干扰是影响吞吐量的重要因素。在构建组播拓扑时,传统的方法主要考虑最小价值或最短路径,而通过减少干扰来提高组播性能的研究较少,且它们的干扰计算方法都采用单播的思想,并不适合于组播。例如,当n… …   相似文献

肖春静  刘明  龚海刚  陈贵海  周帆  吴跃 《软件学报》2013,24(6):1295-1309

一种双向求解平行结构类问题的方法

下载全文  

平行结构类问题是一类适于分布式求解的人工智能问题．已有的大多数求解方法均采用预期或目标来指导自底向上的问题求解．但这些预期或目标是以局部问题求解状态为基础的,指导性较弱．尽管有的方法（如改进的ＤＶＭＴ结构）允许高层了解,但未给出明确的求解算法．本文提出一种双向求解平行结构类问题的… …   相似文献

胡蓬  石纯一  王克宏 《软件学报》1995,6(7):391-398