大变量逻辑函数最佳覆盖问题研究

逻辑函数的最佳覆盖，一直是逻辑综合领域的关键环节。尤其是大变量逻辑函数最佳覆盖，对复杂的逻辑综合更为重要，但也更加困难。本文在对逻辑覆盖算法研究的基础上，提出了适合大变量逻辑函数最佳覆盖的Beister改进算法。经过大量算题的测试表明，改进的列覆盖算法在时间复杂度和选择效果方面均优于Beister算法。     

水中爆炸加载金属套管胀形的研究

本文运用爆炸动力学对水中爆炸加载金属套管胀形进行了力学分析，得出了井上与井下的药量关系。具有一定的实用价值。     

A computational study of LP-based heuristic algorithms for two-dimensional guillotine cutting stock problems

In this paper we develop and compare several heuristic methods for solving the general two-dimensional cutting stock problem. We follow the Gilmore-Gomory column generation scheme in which at each iteration a new cutting pattern is obtained as the solution of a subproblem on one stock sheet. For solving this subproblem, in addition to classical dynamic programming, we have developed three heuristic procedures of increasing complexity, based on GRASP and Tabu Search techniques, producing solutions differing in quality and in time requirements. In order to obtain integer solutions from the fractional solutions of the Gilmore-Gomory process, we compare three rounding procedures, rounding up, truncated branch and bound and the solution of a residual problem. We have coded and tested all the combinations of algorithms and rounding procedures. The computational results obtained on a set of randomly generated test problems show their relative efficiency and allow the potential user to choose from among them, according to the available computing time. Rceived: January 9, 2001 / Accepted: December 10, 2001     

A branch-and-price algorithm to solve the molten iron allocation problem in iron and steel industry

The molten iron allocation problem (MIAP) is to allocate molten iron from blast furnaces to steel-making furnaces. The allocation needs to observe the release times of the molten iron defined by the draining plan of the blast furnaces and the transport time between the iron-making and steel-making stages. Time window constraints for processing the molten iron must be satisfied to avoid freezing. The objective is to find a schedule with minimum total weighted completion time. This objective reflects the practical consideration of improving steel-making efficiency and reducing operation cost caused by the need for reheating. Such a problem can be viewed as a parallel machine scheduling problem with time windows which is known to be NP-hard. In this paper, we first formulate the molten iron allocation problem as an integer programming model and then reformulate it as a set partitioning model by applying the Dantzig–Wolfe decomposition. We solve the problem using a column generation-based branch-and-price algorithm. Since the subproblem of column generation is still NP-hard, we propose a state-space relaxation-based dynamic programming algorithm for the subproblem. Computational experiments demonstrate that the proposed algorithm is capable of solving problems with up to 100 jobs to optimality within a reasonable computation time.     

Characteristics of the reactive distillation column with a novel internal

A new catalyst loading method, in which catalyst particles are packed in a reactor with a novel internal, has been studied by measuring pressure drop, RTD, liquid holdup and mass transfer. It can be inferred from experimental results that the internal changes the conventional gas and liquid counter-current flow into a new cross-current flow, so the problems of excessive pressure drop and “flooding” are avoided. When pressure drop, liquid holdup, RTD and mass transfer coefficient are similar, the catalyst loading fraction of the new method is much higher than that of conventional methods. Furthermore, the reactive distillation reactor with the novel internal has advantages such as simple structure, low operating cost, and convenience for installation and removal of the catalyst.     

有机锡类农药——三唑锡液相色谱分析

用高效液相色谱分析农药三唑锡,采用强阳离子交换柱,甲醇、水、冰醋酸作流动相以及紫外检测器。结果表明,此法分离效果好,准确度和精密度高,可用于三唑锡生产控制及原药、各种制剂(粉剂、胶悬剂)产品分析。     

塔式起重机载重滑轮组的稳定性研究

对塔式起重机载重滑轮组的稳定性进行了深入讨论并推出了各参数之间的关系式以及My对稳定性的影响。另外,还提供了具体的实验数据。     

板式精馏塔的塔板效率

塔板效率包括:点效率、莫夫里效率和全塔效率,它们的值主要受流体多相流动时的动力学体系特性的影响;点效率可由双膜理论推出,莫夫里效率和全塔效率存在一定的内在关系。     

Simulation and analysis of extractive distillation process in a valve tray column using the rate based model

Valve trays are becoming popular in the chemical process industries owing to their flexibility to handle a wide range of vapor throughputs. Using the rigorous rate based model, the importance of the non-equilibrium approach is demonstrated for a typical extractive distillation process in a Glitsch V-1 valve tray column. Simulation results based on an in-house developed code indicated that the rate based model predictions for a valve tray column operation showed significant differences relative to the equilibrium model. Even small errors in product purities translated into nonoptimal feed stage locations and inaccurate number of stages required. The counter-intuitive effect of high reflux ratio on separation is explained.     

机械松衬尿素合成塔衬里的修复

机械松衬尿素合成塔衬里的修复白玲，唐联生，向均，江伟（成都化肥厂）关键词尿素合成塔，衬里，检修成都化肥厂尿素合成塔如图１所示，外筒采用多层１５ＭｎＶｇＣ板包扎而成，总厚度８８ｍｍ，衬里是机械松衬６ｍｍ厚０Ｃｒ１７Ｍｎ１３Ｍｏ２Ｎ钢板，现在已使用１０年...