Setup operations are significant in some production environments. It is mandatory that their production plans consider some features, as setup state conservation across periods through setup carryover and crossover. The modelling of setup crossover allows more flexible decisions and is essential for problems with long setup times. This paper proposes two models for the capacitated lot-sizing problem with backlogging and setup carryover and crossover. The first is in line with other models from the literature, whereas the second considers a disaggregated setup variable, which tracks the starting and completion times of the setup operation. This innovative approach permits a more compact formulation. Computational results show that the proposed models have outperformed other state-of-the-art formulation. 相似文献
We present a convergence analysis of the spectral Lagrange-Galerkinmethod for mixed periodic/non-periodic convection-diffusionproblems. The scheme is unconditionally stable, independentof the diffusion coefficient, even in the case when numericalquadrature is used. The theoretical predictions are illustratedby a series of numerical experiments. For the periodic case,our results present a significant improvement on those givenby Süli & Ware (1991) SIAM J. Numer.Anal.28, 423-445). 相似文献
A framework to analyze the propagation of measurement noise through backprojection reconstruction algorithms in electrical impedance tomography (EIT) is presented. Two measurement noise sources were considered: noise in the current drivers and in the voltage detectors. The influence of the acquisition system architecture (serial/semi-parallel) is also discussed. Three variants of backprojection reconstruction are studied: basic (unweighted), weighted and exponential backprojection. The results of error propagation theory have been compared with those obtained from simulated and experimental data. This comparison shows that the approach provides a good estimate of the reconstruction error variance. It is argued that the reconstruction error in EIT images obtained via backprojection can be approximately modeled as a spatially nonstationary Gaussian distribution. This methodology allows us to develop a spatial characterization of the reconstruction error in EIT images. 相似文献
This paper investigates model-order reduction methods for geometrically nonlinear structures. The parametrisation method of invariant manifolds is used and adapted to the case of mechanical systems in oscillatory form expressed in the physical basis, so that the technique is directly applicable to mechanical problems discretised by the finite element method. Two nonlinear mappings, respectively related to displacement and velocity, are introduced, and the link between the two is made explicit at arbitrary order of expansion, under the assumption that the damping matrix is diagonalised by the conservative linear eigenvectors. The same development is performed on the reduced-order dynamics which is computed at generic order following different styles of parametrisation. More specifically, three different styles are introduced and commented: the graph style, the complex normal form style and the real normal form style. These developments allow making better connections with earlier works using these parametrisation methods. The technique is then applied to three different examples. A clamped-clamped arch with increasing curvature is first used to show an example of a system with a softening behaviour turning to hardening at larger amplitudes, which can be replicated with a single mode reduction. Secondly, the case of a cantilever beam is investigated. It is shown that invariant manifold of the first mode shows a folding point at large amplitudes. This exemplifies the failure of the graph style due to the folding point on a real structure, whereas the normal form style is able to pass over the folding. Finally, a MEMS (Micro Electro Mechanical System) micromirror undergoing large rotations is used to show the importance of using high-order expansions on an industrial example.
Three-dimensional (3-D) imaging of the heart is a rapidly developing area of research in medical imaging. Advances in hardware and methods for fast spatio-temporal cardiac imaging are extending the frontiers of clinical diagnosis and research on cardiovascular diseases. In the last few years, many approaches have been proposed to analyze images and extract parameters of cardiac shape and function from a variety of cardiac imaging modalities. In particular, techniques based on spatio-temporal geometric models have received considerable attention. This paper surveys the literature of two decades of research on cardiac modeling. The contribution of the paper is three-fold: 1) to serve as a tutorial of the field for both clinicians and technologists, 2) to provide an extensive account of modeling techniques in a comprehensive and systematic manner, and 3) to critically review these approaches in terms of their performance and degree of clinical evaluation with respect to the final goal of cardiac functional analysis. From this review it is concluded that whereas 3-D model-based approaches have the capability to improve the diagnostic value of cardiac images, issues as robustness, 3-D interaction, computational complexity and clinical validation still require significant attention. 相似文献