论文部分内容阅读
尝试用最少截图工具CHACO2．2去观察实例转成图后的结构松散情境．发现多数工业类实例的结构相对其他类别实例较为松散，更容易被分割。为人们提供分治策略线索去设计算法解决工业实例：把大的SAT工业类实例分拆成若干个小实例来求解，可使实例的难度降低。
用分治策略解决工业类SAT实例
【摘 要】
：
尝试用最少截图工具CHACO2．2去观察实例转成图后的结构松散情境．发现多数工业类实例的结构相对其他类别实例较为松散，更容易被分割。为人们提供分治策略线索去设计算法解决工业
【机 构】
：
中国科技大学计算机科学系
【出 处】
：
微电子学与计算机
【发表日期】
：
2007年4期
其他文献
通过对具备对角独立性的诊断算法分析发现，以往关于对角独立性诊断算法对征兆误判和征兆混淆的结论是不正确的。引入“1”的位和“0”的位的概念，重新进行了误判和混淆的证明，最
随着无线mesh网络的迅速发展和实时多媒体业务的日益增长,要求无线网络不仅能提供简单的连通性,还需要提供非常有效的QoS保证机制,针对这一问题,以时分多址/时分双工（TDMA/TDD
某核电机组LLS柴油发电机排气管与汽缸连接螺栓发生断裂。通过宏观及微观分析、化学成分分析、显微组织分析、力学性能测试等方法,对螺栓的断裂原因进行了分析。结果表明：该GH
提出一种新的指纹图像增强算法。先得到指纹图像的连续方向图,再根据此方向图设计方向滤波模板进行滤波,最后得到指纹的二值化图像。实验结果表明,该算法简单有效,运算速度快,为指纹的特征提取和识别奠定了坚实的基础。
在分析运算放大器一般输入级电路结构的基础上，文章设计出一种新颖的电路结构以实现运算放大器的超宽共模输入范围，摆脱了电源电压对信号共模电平范围的限制，解决了一般运放输入
某电厂用T3紫铜输油管使用约半年时间发生断裂失效。采用宏观检验、断口微观分析、能谱分析、金相检验的方法,对该紫铜输油管的断裂原因进行了分析。结果表明：输油管的断裂类
对于系统芯片设计，IP的质量是至关重要的。要对口进行质量评估，首先要有一套相应的评测标准、评估方法学和评测流程。因此提出了一种基于第三方评测机构的IP核评测流程．从口核工
结合核心生长和力矢量算法的思想,构成核心生长-力矢量（CGFD）算法来实现门阵列模式布局.其中,先利用核心生长将核心单元安置在布局的中心位置,再分别以核心单元为中心,在它们周
提出了一种运用符号和数值计算与离散非线性优化相结合的滤波器设计方法——设计空间法．把滤波器的技术指标．即滤波器设计中要用到的一组参数映射到设计空间，并根据给定的准则寻
对某井特殊螺纹接头油管脱扣事故进行了深入调查研究，对失效油管试样进行了宏观分析、几何尺寸测量、金相分析、力学性能试验和化学成分分析；对油管在井下的受力状态进行了分析