Binary integer programming formulations for scheduling in market-driven foundries

This paper describes the development and solution of binary integer formulations for production scheduling problems in market-driven foundries. This industrial sector is comprised of small and mid-sized companies with little or no automation, working with diversified production, involving several different metal alloy specifications in small tailor-made product lots. The characteristics and constraints involved in a typical production environment at these industries challenge the formulation of mathematical programming models that can be computationally solved when considering real applications. However, despite the interest on the part of these industries in counting on effective methods for production scheduling, there are few studies available on the subject. The computational tests prove the robustness and feasibility of proposed models in situations analogous to those found in production scheduling at the analyzed industrial sector. (C) 2010 Elsevier Ltd. All rights reserved.

Model-Driven requirements engineering process aided by ontologies and natural controlled languages

Researches in Requirements Engineering have been growing in the latest few years. Researchers are concerned with a set of open issues such as: communication between several user profiles involved in software engineering; scope definition; volatility and traceability issues. To cope with these issues a set of works are concentrated in (i) defining processes to collect client s specifications in order to solve scope issues; (ii) defining models to represent requirements to address communication and traceability issues; and (iii) working on mechanisms and processes to be applied to requirements modeling in order to facilitate requirements evolution and maintenance, addressing volatility and traceability issues. We propose an iterative Model-Driven process to solve these issues, based on a double layered CIM to communicate requirements related knowledge to a wider amount of stakeholders. We also present a tool to help requirements engineer through the RE process. Finally we present a case study to illustrate the process and tool s benefits and usage

Modeling the spatial and temporal heterogeneity of deforestation-driven carbon emissions: the INPE-EM framework applied to the Brazilian Amazon

We present a generic spatially explicit modeling framework to estimate carbon emissions from deforestation (INPE-EM). The framework incorporates the temporal dynamics related to the deforestation process and accounts for the biophysical and socioeconomic heterogeneity of the region under study. We build an emission model for the Brazilian Amazon combining annual maps of new clearings, four maps of biomass, and a set of alternative parameters based on the recent literature. The most important results are as follows: (a) Using different biomass maps leads to large differences in estimates of emission; for the entire region of the Brazilian Amazon in the last decade, emission estimates of primary forest deforestation range from 0.21 to 0.26 similar to Pg similar to C similar to yr-1. (b) Secondary vegetation growth presents a small impact on emission balance because of the short duration of secondary vegetation. In average, the balance is only 5% smaller than the primary forest deforestation emissions. (c) Deforestation rates decreased significantly in the Brazilian Amazon in recent years, from 27 similar to Mkm2 in 2004 to 7 similar to Mkm2 in 2010. INPE-EM process-based estimates reflect this decrease even though the agricultural frontier is moving to areas of higher biomass. The decrease is slower than a non-process instantaneous model would estimate as it considers residual emissions (slash, wood products, and secondary vegetation). The average balance, considering all biomass, decreases from 0.28 in 2004 to 0.15 similar to Pg similar to C similar to yr-1 in 2009; the non-process model estimates a decrease from 0.33 to 0.10 similar to Pg similar to C similar to yr-1. We conclude that the INPE-EM is a powerful tool for representing deforestation-driven carbon emissions. Biomass estimates are still the largest source of uncertainty in the effective use of this type of model for informing mechanisms such as REDD+. The results also indicate that efforts to reduce emissions should focus not only on controlling primary forest deforestation but also on creating incentives for the restoration of secondary forests.

Quantitative aspects of entanglement in the driven Jaynes-Cummings model

Adopting the framework of the Jaynes-Cummings model with an external quantum field, we obtain exact analytical expressions of the normally ordered moments for any kind of cavity and driving fields. Such analytical results are expressed in the integral form, with their integrands having a commom term that describes the product of the Glauber-Sudarshan quasiprobability distribution functions for each field, and a kernel responsible for the entanglement. Considering a specific initial state of the tripartite system, the normally ordered moments are then applied to investigate not only the squeezing effect and the nonlocal correlation measure based on the total variance of a pair of Einstein-Podolsky-Rosen type operators for continuous variable systems, but also the Shchukin-Vogel criterion. This kind of numerical investigation constitutes the first quantitative characterization of the entanglement properties for the driven Jaynes-Cummings model.

On the control of a non-ideal engineering system: A friction-driven oscillating system with limited power supply

In this work a switching feedback controller for stick-slip compensation of a 2-DOF mass-spring-belt system which interacts with an energy source of limited power supply (non-ideal case) is developed. The system presents an oscillatory behavior due to the stick-slip friction. As the system equilibrium for a conventional feedback controller is not the origin, a switching control law combining a state feedback term and a discontinuous term is proposed to regulate the position of the mass. The problem of tracking a desired periodic trajectory is also considered. The feedback system is robust with respect to the friction force that is assumed to be within known upper and lower bounds.

Effects of oscillatory behavior of the dipole function on the dissociation dynamics of the classical driven Morse oscillator

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Suppressing Fermi acceleration in two-dimensional driven billiards

We consider a dissipative oval-like shaped billiard with a periodically moving boundary. The dissipation considered is proportional to a power of the velocity V of the particle. The three specific types of power laws used are: (i) F proportional to-V; (ii) F proportional to-V-2 and (iii) F proportional to-V-delta with 1 < delta < 2. In the course of the dynamics of the particle, if a large initial velocity is considered, case (i) shows that the decay of the particle's velocity is a linear function of the number of collisions with the boundary. For case (ii), an exponential decay is observed, and for 1 < delta < 2, an powerlike decay is observed. Scaling laws were used to characterize a phase transition from limited to unlimited energy gain for cases (ii) and (iii). The critical exponents obtained for the phase transition in the case (ii) are the same as those obtained for the dissipative bouncer model. Therefore near this phase transition, these two rather different models belong to the same class of universality. For all types of dissipation, the results obtained allow us to conclude that suppression of the unlimited energy growth is indeed observed.

Decay of energy and suppression of Fermi acceleration in a dissipative driven stadium-like billiard

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Partial urethral obstruction of rabbit urinary bladder: stereological evidence that the increase in muscle content is mostly driven by changes in number, rather than size, of smooth muscle cells

The effects of partial urethral obstruction on the detrusor muscle of rabbit urinary bladder were investigated using stereological sampling and estimation tools. Twelve female Norfolk rabbits (2.5-3.0 kg body weight) were divided into four groups: 3, 7 and 12 weeks after surgical intervention to produce a standard partial obstruction and unobstructed controls. Following removal, bladder axes (craniocaudal, dorsoventral and laterolateral) and organ weights were recorded. Bladders were prepared for light microscopy by multistage random sampling procedures. Stereological methods were used to estimate the volume of muscle and the packing density and total number of myocyte nuclei in each bladder. We also estimated mean myocyte volume and the mean cross-sectional area and length of myocytes. Group comparisons were made by one-way analysis of variance. Changes in bladder axes were mainly laterolateral and craniocaudal. Mean bladder weight increased roughly six-fold by 3 weeks and 17-fold by 12 weeks and was accompanied, on average, by 12- and 33-fold increases in total muscle volume. These variables did not differ at 3 and 7 weeks post-obstruction. Increases in muscle content were not accompanied by changes in packing densities but were associated with increases in the total numbers of myocyte nuclei (13-fold by 3 weeks, 28-fold by 12 weeks). Mean myocyte volume did not vary significantly between groups but cells in obstructed groups were shorter and wider. These findings support the notion that partial outflow obstruction leads to an increase in the number, but not mean volume, of myocytes. If due solely to myocyte mitosis, the total of 43 x 10(8) cells found at 12 weeks could be generated by the original complement of 15 x 10(7) cells if an average of only 2.1 x 10(6) new cells was produced every hour. In reality, even this modest proliferation rate is unlikely to be achieved because myocyte proliferation rates are very low and it is possible that new myocytes can arise by differentiation of mesenchymal or other precursor cells.

Stepping-motor-driven constant-shear-rate rotating viscometer

Despite the frequent use of stepping motors in robotics, automation, and a variety of precision instruments, they can hardly be found in rotational viscometers. This paper proposes the use of a stepping motor to drive a conventional constant-shear-rate laboratory rotational viscometer to avoid the use of velocity sensor and gearbox and, thus, simplify the instrument design. To investigate this driving technique, a commercial rotating viscometer has been adapted to be driven by a bipolar stepping motor, which is controlled via a personal computer. Special circuitry has been added to microstep the stepping motor at selectable step sizes and to condition the torque signal. Tests have been carried out using the prototype to produce flow curves for two standard Newtonian fluids (920 and 12 560 mPa (.) s, both at 25 degrees C). The flow curves have been obtained by employing several distinct microstep sizes within the shear rate range of 50-500 s(-1). The results indicate the feasibility of the proposed driving technique.

Closed loop stability of measure-driven impulsive control systems

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)