【摘 要】
：
利用极小不可满足公式的临界特性,可以将任意的一个3-CNF公式多项式时间归约转换为一个正则(3,4)-CNF公式,从而得到一个保留NP完全性的正则(3,4)-SAT问题。警示传播算法(Warn
【基金项目】
：
本文受国家自然科学基金项目(61762019,61462001)资助
论文部分内容阅读
利用极小不可满足公式的临界特性,可以将任意的一个3-CNF公式多项式时间归约转换为一个正则(3,4)-CNF公式,从而得到一个保留NP完全性的正则(3,4)-SAT问题。警示传播算法(Warning Propagation,WP)在归约转换后的正则(3,4)-SAT实例集上高概率收敛,但在任意一个实例上都无法判断公式的可满足性,因此算法求解失效。对于一个归约转换后的正则(3,4)-CNF公式,每一变元出现的正负次数之差具有趋于稳定的结构特征,基于该特征,提出基于变元正负出现次数规则的WP算法来求解归约转换
其他文献
为了实现车辆等移动物体的导航定位及监控调度,需将放置在移动物体上的GPS接收机接收到的经度、纬度、速度、方向等定位信息远程发送到监控调度站,可以利用现有的GPRS网络来实现定位信息的远距离传送;详细介绍了用单片机采集GPS定位信息通过GPRS网络以短信或无线网络数据的方式来发送,从而实现了移动物体的定位及监控,介绍了GPS模块GPRS模块的基本特性,设计了由GPS模块和GPRS模块组成的多功能多接
针对当前工业领域中传感器小型化、智能化和网络化的发展趋势,在分析网络化智能传感器特点的基础上,开发了一种基于CAN总线的网络化智能传感器节点,详细论述了系统的硬件和软件设计,其中软件分别介绍了总线通讯模块和温度补偿模块。最后,通过三个传感器节点试验验证,该网络化智能传感器测量精度明显提高,克服了传统传感器在精确测量、数字化和组网等方面的不足,可以在工业领域推广和应用。其研究方法和技术还可推广到其它
IP网络规模的扩大和新应用的不断出现，网络性能测量与监控日渐成为网络管理及网络运营商的一项重要内容；网络性能测量技术涉及参数较多，仅凭人工测量难度较大，准确性差，难以反映网
电梯监测系统是集电子技术、通信技术和数据处理技术在特种设备检测领域的广泛应用而产生的一个新兴领域。以电梯实时监测系统为应用背景，利用网络智能传感器实现了对电梯运行
燃料电池发动机控制器用于控制和优化燃料电池电堆发电的过程，改善整个电动汽车动力系统的性能；针对当前燃料电池发动机控制器数据传输速率低、无法联网升级的现象，提出基于主控
传统的机载录音设备存在记录时间短、录音质量差、查询困难等缺点，提出了一种新的数字录音机设计方案；介绍了MP3编码原理，对混合滤波器组进行了重点分析，包括子带滤波器组、MDCT
回转窑是工业应用中的关键设备,窑体如果发生偏移或变形将会影响到产品的质量,并且可能引起窑体开裂等重大工业事故。测量窑体的相关参数主要是通过测量中轴线来判断,而测量中轴线在垂直和水平方向上的偏移都需要用到窑体的直径;介绍了动态测量回转窑窑体直径的原理、方法及实现,克服静态测量需要停窑等诸多弊端,系统已进入测试阶段,测量误差为±2 mm。
稀疏下三角方程求解器(SpTRSV)作为基础线性代数库中一个重要的算法,在大规模科学计算中有着广泛应用。在非结构网格中,由于非结构网格具有数据存储无序性、数据强相关性以及
研究了时钟相位噪声与时钟定时抖动的转化问题,时钟相位噪声是对时钟源噪声频谱的频域表示,而时钟定时抖动是对时钟周期精度的时域度量;针对目前已有的由时钟相位噪声估计时
针对高速、高精度数字系统对电磁兼容性的严格要求，分析了系统电源、地的重要性以及影响高速模数转换器（ADC）和数模转换器（DAC）电路性能的主要因素；在设计印刷电路板时，采用隔离数字