极小不可满足公式在多项式归约中的应用

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

合取范式(CNF)公式F是极小不可满足的,如果F不可满足,并且从F中删去任意一个子句后得到的公式可满足,(r,s)-CNF是限制CNF公式中每个子句恰有r个不同的文字,且每个变元出现的次数不超过s次的公式类,对应的满足性问题(r,s)-SAT指实例公式限制于(r,s)-CNF.对于正整数r≥3,有一个临界函数f(r),使得(r,f(r))-CNF中的公式都是可满足的,而(r,f(r)+1)-SAT却是NP-完全的.函数f是否可计算是一个开问题,除了知道f(3)=3,f(4)=4外,只能估计f(r)的界.描述了极小不可满足公式在CNF公式类之间转换中的作用.为使转换过程中引入较少的新变元,给出了CNF公式到3-CNF公式的一种新的转换方法,对于长度为l(＞3)的子句,仅需引入|l/2|个新变元.并且,给出了CNF到(r,s)-CNF公式转换以及(r,s)-CNF中不可满足公式构造的原理和方法.… …   相似文献

许道云 《软件学报》2006,17(5):1204-1212

基于同步引擎的分布式文件缓存系统设计

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

针对集中式数据管理的网络带宽和运行效率问题,提出了基于同步引擎的分布式文件缓存系统。考虑到分布式部署以及有效同步数据中心和众多分支机构之间频繁更新的文件等因素,系统将文件同步功能拆分到同步引擎、文件传输服务和同步控制台三个关键组件上。两年的实际运行表明,系统能够实现提供可靠和有效… …   相似文献

汤丹  匡晓红  胡志刚 《计算机应用》2006,26(12):2994-2997

基于最大散度差鉴别准则的自适应分类算法

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

首先证明了,当类内散布矩阵非奇异时,特定参数值c0下最大散度差的最优鉴别方向等同于Fisher最优鉴别方向;其次,给出了最大散度差分类算法的识别率随参数C变化的曲线.该曲线通常为一脉冲曲线.随着参数C的增大,识别率也逐渐增大.当参数C增大到c0时,识别率达到最大值.另外,以往的研… …   相似文献

宋枫溪  张大鹏  杨静宇  高秀梅 《自动化学报》2006,32(4):541-549

基于组态软件InTouch的变电所监控系统

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

介绍了一种基于工业组态软件InTouch的变电所监控系统,论述了变电所监控系统的结构及功能.系统采用先进的Intouch组态软件开发上位机监控功能作为上位机监控,现场的DTU通过CAN总线与上位机通讯,实现各种电参数的采集、处理及控制,完成对变电站的远程监控.  相似文献

张颖  史丽萍  张广龙 《计算机应用》2006,26(Z1):323-324

基于支持向量机的水质监测数据处理

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

水质评价实际上是一个监测数据处理与状态估计、识别的过程,提出一种基于支持向量机的方法应用于水质评价,该方法依据决策二叉树多类分类的思想,构建了基于支持向量机的水环境质量状况识别与评价模型。以长江口的实际水质监测数据为例进行了实验分析,并与单因子方法及单个BP神经网络方法进行了比较… …   相似文献

管军  徐立中  石爱业 《计算机应用研究》2006,23(9):36-38

基于DHT的P2P搜索定位技术研究*

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

在P2P系统中,如何高效准确地对资源进行定位是衡量其性能的一个关键。通过对目前基于DHT的几个典型P2P系统搜索定位算法的介绍,分析了基于DHT搜索定位技术的优点和存在的问题,并对P2P发展进行了展望。  相似文献

李运娣  冯勇 《计算机应用研究》2006,23(10):226-228

基于主题的智能Web信息采集系统的研究与实现

  总被引：6，自引：1，他引：5

研究并实现了一个基于主题的智能信息采集系统IFWC,该系统以全信息理论为支撑,吸收传统向量空间模型的思想,采用基于概念的向量空间模型,从词的语义层次对文本进行主题相关性分析;使用扩展元数据的语义相关性判定算法,对页面内的URL进行主题相关性预测。实验证明,该系统采集速度快,采集下… …   相似文献

李卫  刘建毅  何华灿  王枞 《计算机应用研究》2006,23(2):163-166

边界邻近支持向量机

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

针对训练大样本支持向量机内存开销大、训练速度慢的缺点,提出了一种改进的算法—边界邻近支持向量机。实验表明在分类效果相同情况下,改进算法训练速度明显提高。  相似文献

奉国和  李拥军  朱思铭 《计算机应用研究》2006,23(4):11-12

量子行为粒子群优化算法的布局问题研究

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

基于多边形扫描转换的启发式底左（HBL）算法,将量子行为的粒子群算法（QPSO）应用于布局问题——二维不规则多边形优化排样,给出了该问题的粒子构造方法及其布局优化过程。通过与模拟退火遗传算法（SAGA）进行布局优化比较,验证了该算法求解布局优化问题的有效性。  相似文献

黄建江  须文波  孙俊  董洪伟 《计算机应用》2006,26(12):3015-3018

基于有监督Bayesian网络的垃圾邮件过滤

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

对影响邮件特性的邮件报文格式作了仔细的分析并对垃圾邮件的特征进行了分类归纳,在此基础上构建了一个有监督的Bayesian邮件分类网络。通过对该网络作Bayesian参数估计,实现了判定邮件类别的不确定推理。对不同邮件测试集的在线学习试验结果表明,有监督Bayesian邮件分类网络… …   相似文献

刘震  周明天 《计算机应用》2006,26(3):558-0561

可扩展和可配置事件通知服务体系结构

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

基于发布/订阅模式的事件通知服务,作为基本的通信与集成基础设施已广泛应用于分布式应用系统.由于日益增长的应用需求,事件通知服务需要应对各种来自不同应用领域的新需求.但在开发基于事件中间件的分布式应用时,开发者面临特殊化与通用化通知服务的两难选择.针对这种现状,提出了一种灵活的解决… …   相似文献

汪洋  魏峻  王振宇 《软件学报》2006,17(3):638-648

混合P2P环境下有效的查询扩展及其搜索算法

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

查询扩展是解决信息获取领域中用词歧义性问题的关键技术,并被广泛应用于搜索引擎中,获得了巨大的成功.然而,由于P2P(peer-to-peer)系统是一个分散的、动态的系统,在P2P环境下进行有效的查询扩展具有一定的挑战性.首先,利用查询与文档的关联关系构建了LEM(local e… …   相似文献

张骞  张霞  刘积仁  孙雨  文学志  刘铮 《软件学报》2006,17(4):782-793

基于MapX的智能小区物业管理系统设计

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

设计了基于MapX的智能小区物业管理信息系统,给出系统的总体结构、主要功能以及部分图形功能的实现,如图层控制、信息查询等。  相似文献

钟珞  李兵  夏红霞  徐俊杰 《计算机应用研究》2006,23(3):111-112

Web服务跨域单点登录认证分析*

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

重点分析和研究了基于WSFederation的Web服务跨域单点登录认证机制的实现原理和过程,并讨论了其安全问题。  相似文献

沈海波  洪帆 《计算机应用研究》2006,23(2):116-118

高效的基于身份的代理盲签名

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

在代理签名方案中,原始签名人能将其数字签名权力委托给代理签名人。在盲签名方案中,消息和签名结果对签名人是不可见的。现有的基于身份的代理盲签名的文献数量少,效率也有待进一步提高。结合代理签名和盲签名,利用双线性映射,构造了一种高效的基于身份的代理盲签名方案。分析表明,该方案不仅能满… …   相似文献

张学军  王育民 《计算机应用》2006,26(11):2586-2588

基于遗传算法的Job-Shop调度问题求解

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

针对 Job Shop调度问题,详细讨论了遗传算法以及染色体编码方法,建立了算法模型。通过仿真实验,验证了该算法的有效性。  相似文献

柳林 《计算机应用》2006,26(7):1694-1696

基于加权最小二乘法的最优适应控制器

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

普通的最小二乘算法LS,并不能保证它的收敛性,而加权的最小二乘算法WLS,却有很好的收敛性,采用这种算法进行随机系统的辨识,能够保证算法所得的参数收敛于某一个向量,而且这种算法在很多方面具有同普通最小二乘算法一样的性质,采用这种算法对随机系统进行适应控制,能够保证系统是闭环全局稳… …   相似文献

姜睿  罗贵明 《自动化学报》2006,32(1):140-147

基于扩张终端约束集的非线性双模预测控制

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

Aiming at a class of nonlinear systems with multiple equilibrium points, we present a dual-mode model predictive control algorithm with exte… …   相似文献

邹涛  李少远  丁宝苍 《自动化学报》2006,32(1):21-27

一种链路负载自适应的主动队列管理算法

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

随机早检测(random early detection,简称RED)是IETF推荐部署的主动队列管理(active queue management,简称AQM)算法.RED存在参数难以配置、无法得到与流量无关的平均队长等问题.ARED(adaptive RED)是RED的自适… …   相似文献

纪其进  董永强 《软件学报》2006,17(5):1140-1148

两种自由曲线重建方法*

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

通过深入分析ASM/AAM算法的各种改进方案的试验统计结果,提出了一种基于局部梯度统计特征和纹理约束形状的改进ASM算法： 用梯度信息代替灰度信息训练特征模型得以有效提高匹配精度和减少所需训练的样本数,用全局的纹理去约束形状得以有效提高算法对特征点定位的精度。大量统计试验表明所提… …   相似文献

侯云舒  付中华  张艳宁  赵荣椿 《计算机应用研究》2006,23(11):255-257