A novel two-stage Lagrangian decomposition approach for refinery production scheduling with operational transitions in mode switching

To address large scale industrial processes,a novel Lagrangian scheme is proposed to decompose a refinery scheduling problem with operational transitions in mode switching into a production subproblem and a blending and delivery subproblem.To accelerate the convergence of Lagrange multipliers,some auxiliary constraints are added in the blending and delivery subproblem.A speed-up scheme is presented to increase the efficiency for solving the production subproblem.An initialization scheme of Lagrange multipliers and a heuristic algorithm to find feasible solutions are designed.Computational results on three cases with different lengths of time horizons and different numbers of orders show that the proposed Lagrangian scheme is effective and efficient.

Focusing with the decomposition of the time reversal operator method in noisy environments

This paper presents a detailed analysis of the effects of noise (reverberation) on the focusing performance of de-composition of the time reversal operator (DORT) in a noise-limited case and in a reverberation-limited case, respectively. Quantitative results obtained from simulations and experiments are presented. The results show the DORT method can be effi-ciently applied to target detection with enough source level to yield significant backscatter. For a target placed on the bottom, the influence of the reverberation on the focusing performance is slight. However, distinguishing between a target and constant backscattering returning from strong local clutter on the bottom (false alarms) needs further research.

Efficient hybrid method for time reversal superresolution imaging

An efficient hybrid time reversal（TR） imaging method based on signal subspace and noise subspace is proposed for electromagnetic superresolution detecting and imaging. First, the locations of targets are estimated by the transmitting-mode decomposition of the TR operator（DORT） method employing the signal subspace. Then, the TR multiple signal classification（TR-MUSIC）method employing the noise subspace is used in the estimated target area to get the superresolution imaging of targets. Two examples with homogeneous and inhomogeneous background mediums are considered, respectively. The results show that the proposed hybrid method has advantages in CPU time and memory cost because of the combination of rough and fine imaging.

Spectral Decomposition of Weighted Shift Operators

The reseearch on the relation between weighted shift operators on Hilbert spaces and other important class of operators attracted the attention of some mathematicians. For example, the relation between weighted shift operators and subnormal operators has been thoroughly studied by J. Stampfli, R. Gellar and D. A. Herrero, etc. (see reference [1]) But the decomposability of weighted shift operators has not yet attracted enough attention up to now. We made initial research

Recursive Decomposition of Software Process

Based on the theory of the structure of the computable mathematical function, the operator of the software process, algo- rithm structure and architecture are defined mathematically in this paper. With the expression of combinational functions, the mathematical definition of the decomposition of operator and its operation is discussed. Finally, the mathematical formula of the decomposition of operator-operator recursive decomposition formula is established. While focusing on solvable problems, the concept of the computing prototype tree and its formula proposed in this paper has generality.

STABILITY FOR IMPOSING ABSORBING BOUNDARY CONDITIONS IN THE FINITE ELEMENT SIMULATION OF ACOUSTIC WAVE PROPAGATION＊

It is well-known that artificial boundary conditions are crucial for the efficient and accurate computations of wavefields on unbounded domains. In this paper, we investigate stability analysis for the wave equation coupled with the first and the second order absorbing boundary conditions. The computational scheme is also developed. The approach allows the absorbing boundary conditions to be naturally imposed, which makes it easier for us to construct high order schemes for the absorbing boundary conditions. A thirdorder Lagrange finite element method with mass lumping is applied to obtain the spatial discretization of the wave equation. The resulting scheme is stable and is very efficient since no matrix inversion is needed at each time step. Moreover, we have shown both abstract and explicit conditional stability results for the fully-discrete schemes. The results are helpful for designing computational parameters in computations. Numerical computations are illustrated to show the efficiency and accuracy of our method. In particular, essentially no boundary reflection is seen at the artificial boundaries.