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.

An efficient Hopfield network to solve economic dispatch problems with transmission system representation

Economic dispatch (ED) problems have recently been solved by artificial neural network approaches. Systems based on artificial neural networks have high computational rates due to the use of a massive number of simple processing elements and the high degree of connectivity between these elements. The ability of neural networks to realize some complex non-linear function makes them attractive for system optimization. All ED models solved by neural approaches described in the literature fail to represent the transmission system. Therefore, such procedures may calculate dispatch policies, which do not take into account important active power constraints. Another drawback pointed out in the literature is that some of the neural approaches fail to converge efficiently toward feasible equilibrium points. A modified Hopfield approach designed to solve ED problems with transmission system representation is presented in this paper. The transmission system is represented through linear load flow equations and constraints on active power flows. The internal parameters of such modified Hopfield networks are computed using the valid-subspace technique. These parameters guarantee the network convergence to feasible equilibrium points, which represent the solution for the ED problem. Simulation results and a sensitivity analysis involving IEEE 14-bus test system are presented to illustrate efficiency of the proposed approach. (C) 2004 Elsevier Ltd. All rights reserved.

Framework for analysis and representation of external systems for online reactive-optimisation studies

The paper proposes a framework for the analysis and representation of external systems for online optimisation studies. The basis for this framework is the equivalent OPF (EOPF), an optimisation model obtained by partitioning of the OPF model. The EOPF is mathematically redefined in the paper to accommodate the concept of a buffer zone. The resulting model is more useful for online optimisation, since external information obtained through intercontrol-centre exchange contracts can be used to improve internal control calculation. Numerical results obtained with original studies involving the boundary-matching procedure have provided a conceptual basis for the definition of a buffer zone for optimisation studies with the EOPF. In the proposed framework, the accuracy of the external representation in optimisation studies is evaluated by comparing the controls obtained by an EOPF procedure with those obtained by the reference-optimisation procedure defined in this paper. The framework is then used to evaluate the accuracy of equivalent optimisation studies involving the IEEE 118-bus test system and the Brazilian South Southeast 810-bus system. The results show that the incorporation of a buffer zone improves the external system representation for all optimisation studies performed.

Allocation of protective devices in distribution circuits using nonlinear programming models and genetic algorithms

The optimized allocation of protective devices in strategic points of the circuit improves the quality of the energy supply and the system reliability index. This paper presents a nonlinear integer programming (NLIP) model with binary variables, to deal with the problem of protective device allocation in the main feeder and all branches of an overhead distribution circuit, to improve the reliability index and to provide customers with service of high quality and reliability. The constraints considered in the problem take into account technical and economical limitations, such as coordination problems of serial protective devices, available equipment, the importance of the feeder and the circuit topology. The use of genetic algorithms (GAs) is proposed to solve this problem, using a binary representation that does (1) or does not (0) show allocation of protective devices (reclosers, sectionalizers and fuses) in predefined points of the circuit. Results are presented for a real circuit (134 busses), with the possibility of protective device allocation in 29 points. Also the ability of the algorithm in finding good solutions while improving significantly the indicators of reliability is shown. (C) 2003 Elsevier B.V. All rights reserved.

Alternative proposal for Modal Representation of a Non-transposed Three-Phase Transmission Line with a Vertical Symmetry Plane

The objective of this paper is to show an alternative representation in time domain of a non-transposed three-phase transmission line decomposed in its exact modes by using two transformation matrices. The first matrix is Clarke's matrix that is real, frequency independent, easily represented in computational transient programs (EMTP) and separates the line into quasi-modes a, b and zero. After that, Quasi-modes a and zero are decomposed into their exact modes by using a modal transformation matrix whose elements can be synthesized in time domain through standard curve-fitting techniques. The main advantage of this alternative representation is to reduce the processing time because a frequency dependent modal transformation matrix of a three-phase line has nine elements to be represented in time domain while a modal transformation matrix of a two-phase line has only four elements. This paper shows modal decomposition process and eigenvectors of a non-transposed three-phase line with a vertical symmetry plane whose nominal voltage is 440 kV and line length is 500 km.

Um algoritmo genético especializado aplicado ao planejamento da expansão do sistema de transmissão com alocação de dispositivos de compensação série

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Evolution of representation of the hands in plastic arts

A interação entre arte e ciência foi intensa durante o Renascimento, sofrendo declínio nos anos posteriores com retomada significativa no século XX, principalmente com o uso de técnicas de identificação, datação de obras de arte e o desenvolvimento de novos materiais. O relacionamento entre artes plásticas e Cirurgia da Mão mantêm-se intenso , sendo freqüente o uso de reproduções artísticas da mão nas ilustrações de textos científicos. Objetivando compreender o papel da mão nas artes plásticas, reproduções de obras de artes (esculturas e pinturas) representativas de vários estilos ou períodos da história da arte foram analisadas com enfoque no estudo das mãos. Detalhes anatômicos, relacionamento com outras estruturas do corpo humano, papel na composição e aspectos simbólicos das mãos foram estudados no contexto histórico e artístico de obras de arte do período paleolítico (pré-história) até o século XX. A representação da mão nas artes plásticas está diretamente relacionada ao estilo ou período da obra e à capacidade individual de interpretação e execução do artista.

Stress Analysis in Simulation Models With or Without Implant Threads Representation

Purpose: This study aimed to evaluate the influence of implants with or without threads representation on the outcome of a two-dimensional finite element (FE) analysis. Materials and Methods: Two-dimensional FE models that reproduced a frontal section of edentulous mandibular posterior bone were constructed using a standard crown/implant/screw system representation. To evaluate the effect of implant threads, two models were created: a model in which the implant threads were accurately simulated (precise model) and a model in which implants with a smooth surface (press-fit implant) were used (simplified model). An evaluation was performed on ANSYS software, in which a load of 133 N was applied at a 30-degree angulation and 2 mm off-axis from the long axis of the implant on the models, The Von Mises stresses were measured. Results: The precise model (1.45 MPa) showed higher maximum stress values than the simplified model (1.2 MPa). Whereas in the cortical bone, the stress values differed by about 36% (292.95 MPa for the precise model and 401.14 MPa for the simplified model), in trabecular bone (19.35 MPa and 20.35 MPa, respectively), the stress distribution and stress values were similar. Stress concentrations occurred around the implant neck and the implant apex. Conclusions: Considering implant and cortical bone analysis, remarkable differences in stress values were found between the models. Although the models showed different absolute stress values, the stress distribution was similar. INT J ORAL MAXILLOFAC IMPLANTS 2009;24:1040-1044

Multiobjective 0-1 integer programming for the use of sugarcane residual biomass in energy cogeneration

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

CP trajectory diagram - a tool for a pictorial representation of CP and matter effects in neutrino oscillations

We introduce a CP trajectory diagram in bi-probability space as a powerful tool for a pictorial representation of the genuine CP and the matter effects in neutrino oscillations. The existence of correlated ambiguity in the B is uncovered. The principles of tuning the beam energy for a determination of CP-violating phase delta and the sign of Deltam(13)(2) given baseline distance are proposed to resolve the ambiguity and to maximize the CP-odd effect. We finally point out, quite contrary to what is usually believed, that the ambiguity may be resolved with similar to 50% chance in the super-JHF experiment despite its relatively short baseline of 300 km. (C) 2003 Elsevier B.V. B.V. All rights reserved.

Infrared degrees of freedom of Yang-Mills theory in the Schrodinger representation

We set up a new calculational framework for the Yang-Mills vacuum transition amplitude in the Schrodinger representation. After integrating out hard-mode contributions perturbatively and performing a gauge-invariant gradient expansion of the ensuing soft-mode action, a manageable saddle-point expansion for the vacuum overlap can be formulated. In combination with the squeezed approximation to the vacuum wave functional this allows for an essentially analytical treatment of physical amplitudes. Moreover, it leads to the identification of dominant and gauge-invariant classes of gauge field orbits which play the role of gluonic infrared (IR) degrees of freedom. The latter emerge as a diverse set of saddle-point solutions and are represented by unitary matrix fields. We discuss their scale stability, the associated virial theorem and other general properties including topological quantum numbers and action bounds. We then find important saddle-point solutions (most of them solitons) explicitly and examine their physical impact. While some are related to tunneling solutions of the classical Yang-Mills equation, i.e. to instantons and merons, others appear to play unprecedented roles. A remarkable new class of IR degrees of freedom consists of Faddeev-Niemi type link and knot solutions, potentially related to glueballs.

A new approach to integrable theories in any dimension

The zero curvature representation for two-dimensional integrable models is generalized to spacetimes of dimension d + 1 by the introduction of a d-form connection. The new generalized zero curvature conditions can be used to represent the equations of motion of some relativistic invariant field theories of physical interest in 2 + 1 dimensions (BF theories, Chern-Simons, 2 + 1 gravity and the CP1 model) and 3 + 1 dimensions (self-dual Yang-Mills theory and the Bogomolny equations). Our approach leads to new methods of constructing conserved currents and solutions. In a submodel of the 2 + 1-dimensional CP1 model, we explicitly construct an infinite number of previously unknown non-trivial conserved currents. For each positive integer spin representation of sl(2) we construct 2j + 1 conserved currents leading to 2j + 1 Lorentz scalar charges. (C) 1998 Elsevier B.V. B.V.

CP and T trajectory diagrams for a unified graphical representation of neutrino oscillations

Recently the CP trajectory diagram was introduced to demonstrate the difference between the intrinsic CP violating effects to those induced by matter for neutrino oscillation. In this Letter we introduce the T trajectory diagram. In these diagrams the probability for a given oscillation process is plotted versus the probability for the CP- or the T-conjugate processes, which forms an ellipse as the CP- or T-violating phase is varied. Since the CP- and the T-conjugate processes are related by CPT symmetry, even in the presence of matter, these two trajectory diagrams are closely related with each other and form a unified description of neutrino oscillations in matter. (C) 2002 Published by Elsevier B.V. B.V.

Gauging U(1) symmetries and the number of right-handed neutrinos

In this Letter we consider that assuming: (a) that the only left-handed neutral fermions are the active neutrinos, (b) that B - L is a gauge symmetry, and (c) that the L assignment is restricted to the integer numbers, the anomaly cancellation imply that at least three right-handed neutrinos must be added to the minimal representation content of the electroweak standard model. However, two types of models arise: (i) the usual one where each of the three identical right-handed neutrinos has total lepton number L = 1: (ii) and the other one in which two of them carry L = 4 while the third one carries L = -5. (C) 2009 Elsevier B.V. All rights reserved.

Husserl on Geometry and Spatial Representation

Husserl left many unpublished drafts explaining (or trying to) his views on spatial representation and geometry, such as, particularly, those collected in the second part of Studien zur Arithmetik und Geometrie (Hua XXI), but no completely articulate work on the subject. In this paper, I put forward an interpretation of what those views might have been. Husserl, I claim, distinguished among different conceptions of space, the space of perception (constituted from sensorial data by intentionally motivated psychic functions), that of physical geometry (or idealized perceptual space), the space of the mathematical science of physical nature (in which science, not only raw perception has a word) and the abstract spaces of mathematics (free creations of the mathematical mind), each of them with its peculiar geometrical structure. Perceptual space is proto-Euclidean and the space of physical geometry Euclidean, but mathematical physics, Husserl allowed, may find it convenient to represent physical space with a non-Euclidean structure. Mathematical spaces, on their turn, can be endowed, he thinks, with any geometry mathematicians may find interesting. Many other related questions are addressed here, in particular those concerning the a priori or a posteriori character of the many geometric features of perceptual space (bearing in mind that there are at least two different notions of a priori in Husserl, which we may call the conceptual and the transcendental a priori). I conclude with an overview of Weyl's ideas on the matter, since his philosophical conceptions are often traceable back to his former master, Husserl.