Optimal single machine scheduling of products with components and changeover cost

We consider the problem of scheduling products with components on a single machine, where changeovers incur fixed costs. The objective is to minimize the weighted sum of total flow time and changeover cost. We provide properties of optimal solutions and develop an explicit characterization of optimal sequences, while showing that this characterization has recurrent properties. Our structural results have interesting implications for practitioners, primarily that the structure of optimal sequences is robust to changes in demand.     

A feasible theory of truth over combinatory algebra

We define an applicative theory of truth _TPT${\mathsf{T}}_{\mathsf{PT}}$ which proves totality exactly for the polynomial time computable functions. _TPT${\mathsf{T}}_{\mathsf{PT}}$ has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system _TPT${\mathsf{T}}_{\mathsf{PT}}$ has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic.     

Design and verify: a new scheme for generating cutting-planes

A cutting-plane procedure for integer programming (IP) problems usually involves invoking a black-box procedure (such as the Gomory–Chvátal procedure) to compute a cutting-plane. In this paper, we describe an alternative paradigm of using the same cutting-plane black-box. This involves two steps. In the first step, we design an inequality $cx \le d$ where $c$ and $d$ are integral, independent of the cutting-plane black-box. In the second step, we verify that the designed inequality is a valid inequality by verifying that the set $P \cap \{x\in \mathbb R ^n \mid cx \ge d + 1\} \cap \mathbb Z ^n$ is empty using cutting-planes from the black-box. Here $P$ is the feasible region of the linear-programming relaxation of the IP. We refer to the closure of all cutting-planes that can be verified to be valid using a specific cutting-plane black-box as the verification closure of the considered cutting-plane black-box. This paper undertakes a systematic study of properties of verification closures of various cutting-plane black-box procedures.     

Monte Carlo simulation of osmotic equilibria

We present a Metropolis Monte Carlo simulation algorithm for the Tpπ-ensemble, where T is the temperature, p is the overall external pressure, and π is the osmotic pressure across the membrane. The algorithm, which can be applied to small molecules or sorption of small molecules in polymer networks, is tested for the case of Lennard-Jones interactions.     

Tuning the electronic coupling in a low-bandgap donor-acceptor copolymer via the placement of side-chains

We present a spectroscopic and theoretical investigation of the effect of the presence and position of hexyl side-chains in the novel low-bandgap alternating donor-acceptor copolymer poly[bis-N,N-(4-octylphenyl)-bis-N,N-phenyl-1,4-phenylenediamine-alt-5,5'-4',7',-di-2-thienyl-2',1',3'-benzothiadiazole] (T8TBT). We use electronic absorption and Raman spectroscopic measurements supported by calculations of chain conformation, electronic transitions, and Raman modes. Using these tools, we find that sterically demanding side-chain configurations induce twisting in the electronic acceptor unit and reduce the electronic interaction with the donor. This leads to a blue-shifted and weakened (partial) charge-transfer absorption band together with a higher photoluminescence efficiency. On the other hand, sterically relaxed side-chain configurations promote coupling between donor and acceptor units and exhibit enhanced absorption at the expense of luminescence efficiency. The possibility of tuning the donor-acceptor character of conjugated polymers by varying the placement of side-chains has very important ramifications for light emitting diode, Laser, display, and photovoltaic device optimization.     

A Kinetic Study of Free-Radical Styrene-Acrylonitrile Copolymerization by Differential Scanning Calorimeter

Abstract

The isothermal free-radical copolymerization of styrene and acrylonitrile was examined in the temperature range of 333-373 °K. Initial rate studies of styrene homopolymerization were conducted and agreed favorably with values in the literature. Initial rate studies for acrylonitrile solution polymerization in DMF were also performed. Initiator decomposition rate constants measured in the presence of AN and styrene monomer are reported for AIBN, BP, and DTBP. Rate functions for the full spectrum of comonomer compositions initiated by AIBN and benzoyl peroxide are reported. Several copolymerization kinetic models were tested and found to be inadequate. Conversion histories were found to be consistent with observed initial rates and follow a simple pseudohomopolymerization kinetic model. Autoacceleration was observed and found to increase in severity with increased AN feed compositions and decreased reaction temperatures.     

Small but Smart: Sensitive Microgel Capsules

Microgel capsules are micrometer‐sized particles that consist of a cross‐linked and swollen polymer network complexed with additives. These capsules can be actuated by external stimulation if they are formed from sensitive or supramolecular polymer networks. To make this truly useful, it is crucial to control the microgel size, shape, and loading; this can be achieved by droplet‐based microfluidic templating.     

Reversed-Phase Retention of Nucleic Acid Components

Abstract

Hydrogels in solutions can reversibly swell and collapse with small changes in the process conditions. In this paper we focus on using this characteristic as a purification device. The gels prove to be effective and gentle substitutes for ultrafiltration membranes for the purification of sensitive products such as biomaterials.     

Polynitro Containing Energetic Materials based on Carbonyldiisocyanate and 2, 2‐Dinitropropane‐1, 3‐diol

New polynitro compounds containing a carbonyl biscarbamate moiety derived from the precursor carbonyldiisocyanate were synthesized. In addition, 2, 2‐dinitropropane‐1, 3‐diyl bis(2, 2,2‐trinitroethylcarbamate) and 2, 2‐dinitropropane‐1, 3‐diyl bis(2, 2,2‐trinitroethyl) dicarbonate, were synthesized using 2, 2‐dinitropropane‐1, 3‐diol as starting material. The compounds were characterized by using the analytical methods, single‐crystal X‐ray diffraction, vibrational spectroscopy (IR and Raman), multinuclear NMR spectroscopy, elemental analysis, and mass spectrometry. The thermal behavior was investigated with DSC measurements. The suitability of the compounds as potential oxidizers in energetic formulations was determined. The heats of formation of the compounds were calculated with GAUSSIAN 09. The detonation parameters such as the detonation pressure, velocity, energy, and temperature were computed using the EXPLO5 code. For a secure handling of the materials, the sensitivity towards impact, friction, and electrical discharge was tested using the BAM drop hammer, BAM friction tester as well as a small‐scale electrical discharge device, respectively.