可满足性问题的精确算法和计算复杂性

可满足性(SAT)问题是计算机科学中最重要的理论研究和实际应用问题之一。文章从标准计算复杂性理论的角度论述SAT问题的精确算法和计算复杂性,主要论述算法的发展,分析算法(最坏情况)的复杂度,并探讨SAT问题的复杂度上限。对一些具有意义的算法结果进行了解释和分析,并讨论了算法的重要性,同时还介绍了近几年的相关研究进展。

任意图支配集精确算法回顾

该文综述了任意图支配集精确算法分析和设计的新进展.支配集问题是经典NP完全问题,很多问题都能与它相联系.我们针对最小支配集、最大独立集、最小独立支配集、最小连通支配集、最小加权支配集问题提供了详尽算法描述和实例说明,以使文章自包含方便阅读.文中还讨论了诸如分支简化策略、复杂度分析、测度分析、记忆等技术.自Claude Berge首次准确阐述现代图支配概念后,经过很长一段时期的沉寂,关于指数时间精确算法设计的研究热情在过去五年中显著增涨.除回顾这些最新成果之外,作者还盼望国内研究团体能更加重视这个快速发展的研究领域.

不同流变模式钻井流体圆管层流压耗的通用精确算法

钻井工程常用的管流压耗分析方法计算精度低,且不能适应一些相对复杂的流变模式。在已知流变方程的条件下,利用通用圆管流量方程建立流量与管壁切应力或管壁剪切速率的精确关系式,通过该关系式由给定的流量求解管壁切应力,进而获得圆管层流压耗精确值。这种方法适用于所有流变模式的钻井流体圆管层流,具有普适性好、建模过程简单、模型精度高等特点;室内试验表明该算法相对于传统算法是一种更加精确的圆管层流压耗计算方法;该方法的提出为一些复杂的流变模式在钻井工程及其他工程领域的推广应用提供了良好的基础。

谐波齿轮传动中基于柔轮装配变形的共轭精确算法

提出一种基于柔轮弹性变形的包络精确算法,精确计算切向位移引起的转角和齿廓对称线相对于径矢的转角。利用迭代法计算变形后啮合端齿廓共轭位置;根据柔轮中性层曲线不伸长条件确定输出端转角。通过算例对常见的五种波发生器作用下的轮齿的共轭区间和共轭齿廓进行比较计算,验证了算法的有效性和正确性,并给出了近似算法引起的偏差。总体来看,近似算法对共轭区间影响较大,对形成的共轭齿廓影响较小。

基于加权分治技术的set packing精确算法

加权分治技术是算法分析中的一种新技术,该技术基于选择不同的量来描述分支子问题的大小,以求得到在最糟糕情况下最好的时间复杂度.setpacking问题是一典型的NP-hard问题,广泛应用于调度、代码优化和生物信息学等领域.本文对有n个子集的setpacking问题,引入符号全集变量N设计基于分支搜索策略的递归算法,并应用加权分治技术对算法加以分析,得到时间复杂度为O*(1.1686n+N)的精确算法,当N≤n/4时,比现有最佳的算法O*(1.2209n)更加有效.

基于支持向量机的煤炭储量精确算法

针对目前煤炭储量估计方法的局限性,提出了基于支持向量机的煤炭储量精确算法.通过已知钻孔数据采用支持向量回归方法构造区域煤厚与密度模型,根据点与多边形关系判别算法剔除区域外部点,由区域积分求和得到精确的煤炭储量.列举了2个不同类型煤矿的储量计算实例,分别构造了三维煤厚分布图,实例结果表明了方法的可靠性和优越性.

MRCPSP的一种精确算法

着眼于多模式资源受限项目调度方法 .其特色在于 ,针对项目中每个任务的工期不仅取决于自身的执行模式 ,而且取决于该任务实际开工时间的一般情形 ,同时考虑每个任务对可更新 (再生 )资源需求呈任意分布、可更新 (再生 )资源的最大供给量随时间而变化的一般情况 .作为对前人研究成果的进一步推广 ,本文在经典单模式DH分枝定界算法的基础上 ,利用事件驱动的时间增量方式 。

悬链线精确算法单跨索道设计模型

本文建立悬链线精确算法的数学模型，能进行单跨索道的承载索设计计算，绘制索道纵断面图，以及检验木捆（或货物）最低点是否与地面疑点相碰．为集材方式（全悬或半悬）和集材方法（原木、原条、伐倒木或全树）的选择提供依据．

细导线精确算法在改进的减缩时域有限差分法中的应用

Riku M.M.等提出的FDTD的亚网格细导线精确算法,可以对给定直径的金属导线的电磁特性作精确计算。本文证明了由该算法格式计算的细线周围的电磁场分量,可以直接用于改进减缩时域有限差分(R-FDTD)法计算。用这种亚网格细线精确算法与改进R-FDTD结合计算了一个由细线源激励的矩形金属外壳的源输出功率,所得结果与文献报道的实验数据吻合。该算法与采用标准细线亚网格算法的计算结果相比,计算精度有明显提高。

调整时间与顺序相关的flowshop调度的精确算法

调整时间与顺序相关的流水车间调度问题 (flowshop scheduling with sequence dependent setup times,FSSDST)在过程制造业中有着广泛的应用背景 ,是一类比较复杂的调度问题 .对目标函数是最小化最大流程时间 (makespan)的同排列流水车间 FSSDST调度问题进行了研究 ,建立了 FSSDST的混合整数线性规划模型 (MIL P) ,提出了两种确定原问题的下界方法 :(1)按照第 m台机器 (最后一台机器 )定界 ;(2 )按照全部机器定界 .根据这两个下界 ,提出并实现了分支定界算法 .为了提高分支定界算法的效率 ,提出了两种改进上界的策略 :(1)改进初始上界法 ;(2 )改进动态上界法 .实现了上述所有算法 。

一种基于链暗示技术的Min-CVCB问题的精确算法

随着VLSI(超大规模集成电路)技术的发展,关于可重构阵列二分图的受约束最小点覆盖(Min-CVCB)问题受到了很多文献的关注.作为点覆盖问题的子问题,该问题已被证明是NP-完全问题.人们利用核心化和分支即使给出了时间复杂度为O((ku+kl)|G|+1.26ku+kl)的目前最好算法,然而仍不能满足实际工程的需要.通过进一步深入分析二分图的结构,对含有权值大于或等于3的块的连通子图分析其可能连接情况后充分利用"链暗示"技术和分枝搜索技术来建立起新的搜索递推关系;对于分枝后的块提出了一种动态规划算法,其可在多项式时间内完成处理.整个参数算法的运行时间为O((ku+kl)|G|+1.1892ku+kl),极大地改进了目前的最好结果.

电力系统静态传输功率极限的直接精确算法

提出了一种求解电力系统静态传输功率极限的精确算法。算法数值稳定性好，使用 简单方便，适应性和实用性好，既可以用于精度要求高的离线计算，也可以用于快速在线分 析。采用ＷＳＣＣ－９节点系统测验了算法的有效性。

配电网合环冲击电流精确算法

针对配电网合环冲击电流问题,提出一种基于闭区间求解目标函数最大值的数学计算方法。首先,将配电网合环电路的物理模型转化为满足工程要求的数学模型;其次,针对数学模型在自变量的闭区间内找出函数的所有极值点;最后,通过极值点得到函数值域,值域的绝对值中最大值即为冲击电流最大值。所提算法结合拓扑搜索方法,实现合环回路中所有支路冲击电流的精确计算,对实际配电网的合环操作具有更加精确的指导作用。最后,在所开发的配电网合环分析平台上进行编程实现,并通过算例证明本文方法的正确性和可行性。

多圆形随机分布覆盖面积的精确算法及仿真

当一定区域内随机分布的多个等面积的圆形发生重叠时,计算所有圆形构成的曲边多边形面积之和目前需要一种精确算法。算法主要解决了多圆重合面积的计算原则、多圆重合的判断和筛选、曲边多边形面积计算等技术难点,根据容斥原理,在总面积中根据多圆重合数的奇偶性加上或减去多圆重合面积,同时还给出了计算机求解的详细实现流程。由于该问题圆形分布的随机性,每次重新部署时面积覆盖率并不相同,为了实际应用的需要,还对多圆形随机多次部署的面积覆盖率分布问题进行了仿真分析。

气体影响抽油泵充满系数的精确算法

传统的抽油泵充满系数计算公式针对无余隙和较小气液比的情况,公式近似正确;若余隙和气液比较大,则计算误差较大。鉴于此,在综合考虑余隙系数、气液比、气体溶解度和分离系数的基础上,提出了充满系数的精确计算公式。由对比分析得出结论:(1)气液比较小时,由于考虑了溶解气的影响,新公式计算的充满系数比传统公式的小。但随着气液比的增大,部分游离气已被采出,新公式计算的充满系数比传统公式的大;(2)分离系数越大,充满系数越大;(3)溶解度差值越大,充满系数越小。通过减小余隙系数,进行井下油气分离、增加沉没度等可增加充满系数,降低泵吸入排出压差和油气粘度以及减小冲次,也可减小气体对充满系数的影响。

基于圆度误差评定的快速精确算法及软件设计研究

提出一种评定圆度误差的快速精确算法,比逐次逼近优化算法更精确、更具客观性。用C 语言对最小区域评定方法以判别准则作为停机条件进行了软件设计。

极点迭代法──一个求最小条件平面度误差的快速、精确算法

在文献［３］、［６］的基础上提出了最小条件平面度误差的一种新算法。新算法在计算的主要过程中仅对每行的极值点进行迭代计算，在计算效率方面显著优于已有的算法。尤适宜于处理较大型的问题。

利用非精确算法求解模糊规划问题

提出一种基于遗传算法求解模糊线性规划的非精确算法．它将遗传算法做为算法的框架，在遗传算子之中运用了模糊控制思想，最终求解出一个模糊优解，取代了利用单纯形法求解模糊线性规划问题的一个最优解．实验结果表明，算法能使决策者更加满意，并有潜力解决实际的规划问题．

梁式楼梯板配筋设计的精确算法

在进行梁式楼梯的梯板配筋设计时,设计人员一般采用教材中推荐的近似算法进行正截面抗弯承载力设计。从正截面抗弯承载力的基本假定出发,推导出了该构件精确算法的一般公式,通过算例演算证明,近似算法的配筋运算结果较精确算法偏大很多,建议设计人员在工程中使用精确算法进行设计,使设计经济合理。

基于包络精确算法的渐开线齿廓谐波齿轮侧隙计算

啮合侧隙大小是影响谐波齿轮传动工作性能的重要指标之一。为了更准确计算渐开线谐波齿轮的侧隙,应用基于柔轮装配变形的共轭精确算法确定变形后柔轮齿的位置,计算渐开线齿廓柔轮的共轭齿廓,用曲线拟合的方法获得刚轮渐开线齿廓的变位系数,并进行侧隙计算。侧隙计算结果发现:渐开线齿廓谐波齿轮的最小侧隙出现在柔轮齿顶或刚轮齿顶。在柔轮最大变形左侧,最小侧隙出现在刚轮齿顶处,而在右侧则出现在柔轮齿顶处。