Solving stochastic programs with integer recourse by enumeration: A framework using Gröbner basis

In this paper we present a framework for solving stochastic programs with complete integer recourse and discretely distributed right-hand side vector, using Gröbner basis methods from computational algebra to solve the numerous second-stage integer programs. Using structural properties of the expected integer recourse function, we prove that under mild conditions an optimal solution is contained in a finite set. Furthermore, we present a basic scheme to enumerate this set and suggest improvements to reduce the number of function evaluations needed.     

Mössbauer study on LiFePO4 cathode material for lithium ion batteries

Crystalline LiFePO₄ has been synthesized using solid-state, spray pyrolysis, and wet chemical methods. The crystal parameters were obtained from Rietveld’s refinement methods of the X-ray diffraction patterns. A detailed investigation of the Fe valency carried out using Mössbauer spectroscopy at room temperature indicates that Fe is predominantly present in its bivalent state.     

Mechanosynthesis of YIG and GdIG: A Structural and Mössbauer Study

We have investigated the mechanosynthesis of gadolinium and yttrium iron garnets by high-energy ball-milling of α-Fe₂O₃ and Gd₂O₃ or α-Fe₂O₃ and Y₂O₃, respectively, followed by short thermal annealings conducted at moderate temperatures. The samples were characterized by X-ray diffraction and Mössbauer spectroscopy, in order to determine the influence of the milling time and annealing conditions on the final products. For as-milled samples of each rare-earth system, the results revealed the formation of perovskite phases, in relative amounts that depend on the milling time. The formation of garnet phases was observed in as-annealed samples treated at 1000°C for 2 h or 1100°C for 3 h, i.e., at very modest annealing requirements when compared with ordinary solid-state-reaction processes performed without previous high-energy milling. Also, the occurrence was verified of a milling time for which the relative amount of garnet phases formed by annealing was maximized. This time depends on the rare-earth composing the garnet phase and on the annealing temperature.     

Mössbauer study of nanodimensional nickel ferrite – mechanochemical synthesis and catalytic properties

Iron–nickel spinel oxide NiFe₂O₄ nanoparticles have been prepared by the combination of chemical precipitation and subsequent mechanical milling. For comparison, their analogue obtained by thermal synthesis is also studied. Phase composition and structural properties of iron–nickel oxides are investigated by X-ray diffraction and Mössbauer spectroscopy. Their catalytic behavior in methanol decomposition to CO and methane is tested. An influence of the preparation method on the reduction and catalytic properties of iron–nickel samples is established.     

Magnetic order in LaEuSrCuO studied [2pt] by Fe Mössbauer spectroscopy

⁵⁷Fe M?ssbauer effect studies of La_1.65Eu_0.20Sr_0.15CuO₄ doped with 0.5 at% ⁵⁷Fe performed in the temperature region 300 K > T > 4.2 K give an onset temperature for magnetic ordering of K. This temperature practically is the same as that found in Nd doped La_2-xSr_xCuO₄. It indicates that the magnetic ordering temperature in the LTT phase of rare earth (RE) doped La_2-xSr_xCuO₄ is independent of the RE moment. The direction of the ⁵⁷Fe magnetic moment in the magnetically ordered state is within the CuO₂ plane, while it has been found to be parallel to the c-axis in Nd doped La_2-xSr_xCuO₄. Received: 23 June 1998 / Accepted: 14 July 1998     

Evolution of shapes in 59Cu

High-spin states in ⁵⁹Cu were populated using the fusion-evaporation reaction ²⁸Si + ⁴⁰Ca at a beam energy of 122 MeV. The Gammasphere Ge-detector array in conjunction with the 4π charged-particle detector array Microball allowed for the detection of γ-rays in coincidence with evaporated light particles. The resulting extensive high-spin decay scheme of ⁵⁹Cu is presented, which comprises more than 320 γ-ray transitions connecting about 150 excited states. Their spins and parities have been assigned via directional correlations of γ-rays emitted from oriented states. Average quadrupole moments of rotational bands have been determined from the analysis of residual Doppler shifts. Shell model calculations in the fp shell are invoked to study some of the low-spin states, while the experimental characteristics of the rotational bands are analyzed in the configuration-dependent cranked Nilsson-Strutinsky (CNS) approach. Received: 15 February 2002 / Accepted: 23 April 2002     

Optimale Quantisierung

Zusammenfassung. Optimale Quantisierungen oder – damit ?quivalent – minimale Summen von Momenten spielen in mehreren Zweigen der Mathematik und ihrer Anwendungen eine Rolle. Ausgehend von der Fejes Tóth'schen Ungleichung für Summen von Momenten in der euklidischen Ebene und einem zugeh?rigen Stabilit?tssatz, werden gewisse Erweiterungen auf normierte R?ume und riemannsche Mannigfaltigkeiten h?herer Dimension besprochen. Die Ergebnisse werden dann auf Probleme aus folgenden Bereichen angewendet: (i) Datenübertragung, (ii) Wahrscheinlichkeitstheorie, (iii) numerische Integration, (iv) Approximation konvexer K?rper und (v) isoperimetrische Probleme. Eingegangen am 29. Mai 2002 / Angenommen am 8. Juli 2002     

Depth profiling of latex blends of fluorinated and fluorine‐free acrylates with laser‐induced secondary mass spectrometry

We explored phase separation and self‐assembly of perfluoroalkyl segments at the surface of polymer films obtained from latices of semifluorinated acrylate copolymers and the corresponding latex blends of nonfluorinated and semifluorinated polyacrylates. With laser‐induced secondary mass spectrometry the fluorine distribution was measured after annealing above the minimum film‐forming temperature of the polymers up to a depth of several micrometers. Depth profiles of a semifluorinated acrylate homopolymer and latex blends thereof with fluorine‐free alkylacrylates with 25, 50, and 75 mol % semifluorinated acrylate as well as a copolymer comprised of alkyl acrylate and semifluorinated acrylate (50/50 mol %) were investigated. In the case of latex blends containing both semifluorinated polyacrylates and fluorine‐free or low‐fluorine polymers, self‐assembly accounted for enrichment of the perfluoroalkyl segments at the surface. Coatings exhibiting low surface energy and having a substantially reduced total fluorine content were obtained. © 2003 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 41: 360–367, 2003     

Validation and verification of social processes within agent-based computational organization models

The use of simulation modeling in computational analysis of organizations is becoming a prominent approach in social science research. However, relying on simulations to gain intuition about social phenomena has significant implications. While simulations may give rise to interesting macro-level phenomena, and sometimes even mimic empirical data, the underlying micro and macro level processes may be far from realistic. Yet, this realism may be important to infer results that are relevant to existing theories of social systems and to policy making. Therefore, it is important to assess not only predictive capability but also explanation accuracy of formal models in terms of the degree of realism reflected by the embedded processes. This paper presents a process-centric perspective for the validation and verification (V&V) of agent-based computational organization models. Following an overview of the role of V&V within the life cycle of a simulation study, emergent issues in agent-based organization model V&V are outlined. The notion of social contract that facilitates capturing micro level processes among agents is introduced to enable reasoning about the integrity and consistency of agent-based organization designs. Social contracts are shown to enable modular compositional verification of interaction dynamics among peer agents. Two types of consistency are introduced: horizontal and vertical consistency. It is argued that such local consistency analysis is necessary, but insufficient to validate emergent macro processes within multi-agent organizations. As such, new formal validation metrics are introduced to substantiate the operational validity of emergent macro-level behavior. Levent Yilmaz is Assistant Professor of Computer Science and Engineering in the College of Engineering at Auburn University and co-founder of the Auburn Modeling and Simulation Laboratory of the M&SNet. Dr. Yilmaz received his Ph.D. and M.S. degrees from Virginia Polytechnic Institute and State University (Virginia Tech). His research interests are on advancing the theory and methodology of simulation modeling, agent-directed simulation (to explore dynamics of socio-technical systems, organizations, and human/team behavior), and education in simulation modeling. Dr. Yilmaz is a member of ACM, IEEE Computer Society, Society for Computer Simulation International, and Upsilon Pi Epsilon. URL: http://www.eng.auburn.edu/~yilmaz