基于变量决策层的启发式变量选择策略

启发式分支策略是SAT求解器中不可或缺的一部分，直接影响求解器的效率。早期的启发式分支决策需要遍历整个子句数据库，效率比较低。随着独立变量状态衰减和（Variable State Independent Decaying Sum, VSIDS）分支策略的出现，SAT求解器的效率有所提高，但VSIDS策略以及它的延伸策略中变量的增量都只是与变量的冲突次数有关，没有考虑变量的决策层在分支策略中的影响。因此当发生冲突时，如果与冲突有关的变量的得分相同而决策层不同时，对于变量的选择就具有随机性。基于此，本文在阐述变量的决策层的重要性之后在VSIDS策略的基础上，提出一种基于变量决策层的启发式变量选择策略--HSVDL策略。然后通过实例显示HSVDL策略在变量决策阶段选择决策层低的变量的可能性比选择决策层高的变量的可能性要大，而且得分比较小，减少了内存的占用。最后通过实验表明HSVDL策略能够求解出更多的实例，求解器的效率也有所提高，说明该策略有一定的优势。     

Homotopy continuation enhanced branch and bound algorithms for strongly nonconvex mixed-integer nonlinear optimization

Large-scale strongly nonlinear and nonconvex mixed-integer nonlinear programming (MINLP) models frequently appear in optimization-based process synthesis, integration, intensification, and process control. However, they are usually difficult to solve by existing algorithms within acceptable time. In this study, we propose two robust homotopy continuation enhanced branch and bound (HCBB) algorithms (denoted as HCBB-FP and HCBB-RB) where the homotopy continuation method is employed to gradually approach the optimum of the NLP subproblem at a node from the solution at its parent node. A variable step length is adapted to effectively balance feasibility and computational efficiency. The computational results from solving four existing process synthesis problems demonstrate that the proposed HCBB algorithms can find the same optimal solution from different initial points, while the existing MINLP algorithms fail or find much worse solutions. In addition, HCBB-RB is superior to HCBB-FP due to much lower computational effort required for the same locally optimal solution.     

主回路滞流分支管振动超标的原因分析与设计优化

在某核电厂热态功能试验中，巡视发现主回路的某滞流分支管振动超标。根据实测振动随温度变化的趋势、管道固有声模态分析和模态分析等，推测管道内流体的声振动激励引发管道共振。根据滞流管三通处流体的漩涡脱落频率计算和声振动频率计算，推测漩涡脱落与滞流管内流体的固有声振动频率锁定，引发声振动激励放大。综合分析计算和实测结果，确定滞流管振动超标的原因为流声固耦合振动。对管道支架进行了优化，以错开声固耦合共振频率，在三通处倒圆角削弱漩涡脱落，以降低流声耦合的声振动幅值。优化后的分支管振动会明显降低，以保证承压边界的安全。     

A fast branch,bound and remember algorithm for disassembly line balancing problem

In recent years, the interests of disassembly line have increased owing to economic reasons and the increase of environmental awareness. Effective line can provide many advantages in terms of economic aspect and it facilitates competition the companies with others. This study contributes to the relevant literature by a branch, bound and remember algorithm for disassembly line balancing problem with AND/OR precedence. The proposed exact solution method employs the memory-based dominance rule to eliminate the reduplicated sub-problems by storing all the searched sub-problems and to utilise cyclic best-first search strategy to obtain high-quality complete solutions fast. In this paper, minimising the number of stations is taken as the performance measure. The proposed methodology is tested on a set of 260 instances and compared with the mathematical model using CPLEX solver and five well-known metaheuristics. Computational results show that the proposed method is capable of obtaining the optimal solutions for all the tested instances with less than 0.1?seconds on average. Additionally, comparative study demonstrates that the proposed method is the state-of-the-art algorithm and outperforms the CPLEX solver and metaheuristics in terms of both solution quality and search speed aspects.     

Production scheduling under uncertainty of an open-pit mine using Lagrangian relaxation and branch-and-cut algorithm

ABSTRACT

The life-of-mine optimization of open pit mine production scheduling under geological uncertainty is a computationally intensive process. Production scheduling determines the optimal extraction sequence by maximizing net present value (NPV). In this paper, an algorithm is proposed to schedule an open pit mine under geological uncertainty, where instead of solving the whole problem at once, the production schedule is generated by sequentially solving sub-problems. The sub-gradient method is used to generate the upper bound solution of a Lagrangian relaxed sub-problem. If the upper bound relaxed solution is infeasible, a mixed integer programming is applied to the latter solution. The algorithm is validated by solving six problems and is compared to the linear relaxation of the original production scheduling problem. The results show that the proposed algorithm generates a solution that is very close to optimal, with less than a 3% optimality gap. An application at a copper mine, where geological uncertainty is quantified with geostatistical simulations of the related orebody, shows that all constraints are satisfied and an 11% higher NPV is generated when compared to the corresponding deterministic equivalent of the proposed approach, while a 26% higher NPV is generated compared to a common conventional industry approach.     

通风管理FPVS系统及其应用研究

应用新型数据库系统及先进算法语言，研制出通风管理ＦＰＶＳ系统。在通风网络解析方面，采用“通路法”及“节点邻接分支矩阵余子式法”，取得了很好效果。运行正常，输出结果准确，对安全生产和防止事故起到很好作用，经济效益明显。     

土层参数对支盘桩承载性状影响的有限元分析

通过改变挤扩支盘桩周围不同土层的性质,用有限元方法分析了土层弹性模量对桩承载力及荷载传递过程的影响程度,研究了支盘桩桩身轴力和桩侧摩阻力沿桩长的变化规律。结果表明,支盘桩的承力盘处于不同土层中对桩承载力和荷载传递过程的影响程度不同,其中桩端土层的承载力对桩承载力影响最大,对最上层土的影响最小。     

高层住宅电气设计中的几点体会

针对高层住宅的电气设计工作,文章结合实际及建设单位与施工单位的反馈意见进行了总结,并有针对性地提出了自己的看法和措施。     

挤扩支盘桩在工程中的应用

结合具体的工程实例，探讨了挤扩支盘桩在工程中的应用，分析了挤扩支盘桩单桩竖向承载力的计算公式，并对挤扩支盘桩的经济进行了分析，取得了很好的经济和社会效益。     

新型钻孔挤压分支桩在阜阳商厦三期工程中的施工质量控制

阐述了新型钻孔挤压分支桩在阜阳商厦三期工程中的成桩工艺及施工中的分支、孔底沉渣、钢筋笼上浮等方面对成桩质量的影响和控制。