论文部分内容阅读
提出了一种加权MAX-SAT问题求解的改进算法,给出了启发式的命题变量选择方法和新的下界计算方法,改善了加权MAX-SAT问题剪枝效率。当子句规模变大时,其优点更为明显。新的算法具有实现简单、求解速度快、处理变量规模大的特点。
一个求解加权MAX-SAT问题的改进算法
【摘 要】
：
提出了一种加权MAX-SAT问题求解的改进算法,给出了启发式的命题变量选择方法和新的下界计算方法,改善了加权MAX-SAT问题剪枝效率。当子句规模变大时,其优点更为明显。新的算
【机 构】
：
空军航空大学
【出 处】
：
电脑编程技巧与维护
【发表日期】
：
2009年S1期
其他文献
结构测试算法是一类采用有限制故障模型获得紧凑性和完备性指标更为优化的边界扫描测试算法,现有的对该类算法的研究大多是在假定已具备近邻排序网络集的基础上进行的理论研
介绍一种基于J2ME技术开发的手机电子地图的方案,该方案主要是将GPS定位系统和Google地图结合起来,应用J2ME编程技术来实现。
经典的相干分析是建立在信号平稳的假设基础上,反映两个随机过程在某一频率成分上的同步关系。在脑电研究领域,相干分析主要用于分析大脑不同区域活动的相关程度及驱动-响应关系。经典的相干分析可以刻画脑电不同区域活动在节律上的一致性,但不能提取大脑活动的瞬时特性。为了提取认知过程中脑电活动的空间-时间模式特征,本文引入脑电信号的时变相干性分析。被测者为10名健康的学生,脑电数据是从一个人脸照片认识或不认识的
为人民服务作为社会主义道德体系的核心内容有其深厚的理论和现实基础,在社会主义市场经济条件下具有丰富的时代内涵,是一个先进性与广泛性、崇高性与现实性相统一的多层次的
结合工科专业数学公共课程的教学实例,阐述将数学建模和数学实验的思想引入工科专业的数学课程教学中,运用MATLAB等数学软件来处理实际问题、设计数学实验的教学方法.实践教
基质辅助激光解吸电离飞行时间质谱是80年代末才发展起来的一种新技术。它在生命科学和合成高聚物研究中具有广阔的应用前景。本文对基质辅助激光解吸电离飞行时间质谱技术的
嵌入系统由于具有高集成度、高专用性的特点被广泛地用于工业控制中。由于复杂的工业控制中断源的多样性、频繁性,常常导致系统的响应能力差,不能及时处理中断,提出了不再使
介绍了采用多播技术和交换技术，基于嵌入式系统的CAN总线网络与工业以太网互联网关的设计方法。围绕传统的连接方法带来的以太网带宽负载增加问题，重点讲述基于以太网多播和交
阐述利用标准TCP/IP协议和.Net Remoting技术开发功能网之间安全互联互通的方法,使关键业务功能网和综合网、门户网之间实现安全的数据交换,对安全信息交换的原理、安全数据
介绍一种莫尔斯码自动识别系统的原理与实现。它由译码单片机和PC机组成,适用于气象探空及其他莫尔斯码通信设备。为了解决空间干扰及探空仪转速变化导致的码形长度变化和译码的模糊性问题,本文提出对探空仪发信周期测量值进行指数式加权平均,并采用一种专用的LMS自适应滤波器确定点码和划码的辨别阈值。为了降低误码率,文中还论及码形处理的几种方法,包括码形矫正、译码定时窗口及丢码填补。探空实验的结果说明这些方法行