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，自引：0，他引：1

基于网络资源的\"成长性\"、\"自治性\"和\"多样性\",近年来,人们提出以通用DHT(distributed Hash table)信息服务的形式实现网络资源信息的发布和查询.然而,现有的资源信息服务在通用性、易用性和自适应性等方面仍存在不足.针对虚拟计算环境iVCE(In… …   相似文献

张一鸣  李东升  卢锡城 《软件学报》2007,18(8):1933-1942

个性化搜索引擎推荐算法研究*

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

将个性化引入搜索引擎出现了稀疏性、精确性、扩展性等新问题。针对以上问题,提出了一种基于SVD（单值分解）影响集的协作过滤推荐算法,在利用矩阵相关技术以及扩大影响的基础上,将用户潜在感兴趣的资源推荐给用户。实验表明,该算法可有效解决以上存在的问题,显著提高个性化系统的推荐质量。… …   相似文献

陈华  李仁发  刘钰峰  练琪 《计算机应用研究》2010,27(1):48-50

软件故障密度度量研究

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

主要介绍了软件质量的度量现状,同时对软件产品质量度量中的故障密度度量的重要性以及特点进行了分析,并针对影响度量结果的一些原因提出了解决的建议。  相似文献

蔡玲如  陈利  郑斌峰 《计算机应用研究》2005,22(7):66-67

一种免疫动态模糊聚类算法*

  

为了在聚类数不确定的情况下实现聚类分析,通过借鉴生物免疫系统中的克隆选择原理并结合聚类有效性分析,提出一种免疫模糊动态聚类算法.本算法不但可以根据数据自动确定聚类类目及中心位置,而且克服了传统聚类算法容易陷入局部极小值,对初始值敏感的缺点.仿真实验结果表明了本算法的有效性.… …   相似文献

张旭  郭晨 《计算机应用研究》2007,24(8):53-55

基于P2P网络的机顶盒VoD系统条件接收机制

  

近年来,基于对等网络(Peer-to-Peer,P2P)的视频点播(Video-on-Demand,VoD)作为付费网络电视业务的一种新趋势受到了越来越多的关注,然而对等网络自身存在的不稳定性、异构性等缺陷,导致这种系统存在较大的信息安全隐患,从而严重阻碍了其推广使用.基于P2P… …   相似文献

周璇  宦国强  宋占杰 《计算机科学》2015,42(4):72-75, 100

基于服务协作中间件的动态流程模型

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

新兴的面向服务体系结构正在加速软件的发展和变化,无法适应动态环境的应用将逐渐失去作用,尤其对那些面临着需求频繁变更的业务流程管理系统而言更是如此.为了响应这种现实需求,基于Web服务和业务流程管理技术,提出了服务协作中间件(service cooperation middlewa… …   相似文献

刘绍华  魏峻  黄涛 《软件学报》2004,15(10):1431-1440

基于网络信息搜索的Web Service 文本描述信息扩充方法

下载全文  

随着Web服务技术的不断成熟和发展,互联网上出现了大量的公共Web服务.在使用Web服务开发软件系统的过程中,其文本描述信息(例如简介和使用说明等)可以帮助服务消费者直观有效地识别和理解Web服务并加以利用.已有的研究工作大多关注于从Web服务的WSDL文件中获取此类信息进行We… …   相似文献

王立杰  李萌  蔡斯博  李戈  谢冰  杨芙清 《软件学报》2012,23(6):1335-1349

基于Web的旱情水量调度仿真系统

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

干旱情况下的黄河水量调度包括水流过程、效益迁移过程以及经济补偿过程,涉及大量分散的信息,采用符合J2EE规范的AAF应用框架,建立了基于Web的干旱情况下应急调水的仿真系统,模拟应急调水中的沿程水流演进、水电站发电损失、灌区农业损失和下游受水区受益的全过程。进行了实例计算,能为管… …   相似文献

马维纲  孔珂  姚全珠  解建仓 《计算机应用研究》2006,23(3):186-188

基于多任务学习的自然图像分类研究

  

针对自然图像内容结构复杂、难以区分的实际情况,提出了一种基于多任务学习的自然图像分类方法。通过额外任务来辅助主任务的学习,构造了衡量任务间相关性大小的相关性矩阵,提出了主任务联合额外任务共同决策的学习模式;通过额外任务与主任务的相关性来控制额外任务参与主任务决策的程度,以提高主任… …   相似文献

刘成  彭进业 《计算机应用研究》2012,29(7):2773-2775