A hybrid method for large-scale short-term scheduling of make-and-pack production processes

Due to the ongoing trend towards increased product variety, fast-moving consumer goods such as food and beverages, pharmaceuticals, and chemicals are typically manufactured through so-called make-and-pack processes. These processes consist of a make stage, a pack stage, and intermediate storage facilities that decouple these two stages. In operations scheduling, complex technological constraints must be considered, e.g., non-identical parallel processing units, sequence-dependent changeovers, batch splitting, no-wait restrictions, material transfer times, minimum storage times, and finite storage capacity. The short-term scheduling problem is to compute a production schedule such that a given demand for products is fulfilled, all technological constraints are met, and the production makespan is minimised. A production schedule typically comprises 500–1500 operations. Due to the problem size and complexity of the technological constraints, the performance of known mixed-integer linear programming (MILP) formulations and heuristic approaches is often insufficient. We present a hybrid method consisting of three phases. First, the set of operations is divided into several subsets. Second, these subsets are iteratively scheduled using a generic and flexible MILP formulation. Third, a novel critical path-based improvement procedure is applied to the resulting schedule. We develop several strategies for the integration of the MILP model into this heuristic framework. Using these strategies, high-quality feasible solutions to large-scale instances can be obtained within reasonable CPU times using standard optimisation software. We have applied the proposed hybrid method to a set of industrial problem instances and found that the method outperforms state-of-the-art methods.

A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT 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 has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.

Geological and hydrological histories of the Argyre province, Mars

The geologic history of the multi-ringed Argyre impact basin and surroundings has been reconstructed on the basis of geologic mapping and relative-age dating of rock materials and structures. The impact formed a primary basin, rim materials, and a complex basement structural fabric including faults and valleys that are radial and concentric about the primary basin, as well as structurally-controlled local basins. Since its formation, the basin has been a regional catchment for volatiles and sedimentary materials as well as a dominant influence on the flow of surface ice, debris flows, and groundwater through and over its basement structures. The basin is interpreted to have been occupied by lakes, including a possible Mediterranean-sized sea that formed in the aftermath of the Argyre impact event The hypothesized lakes froze and diminished through time, though liquid water may have remained beneath the ice cover and sedimentation may have continued for some time. At its deepest, the main Argyre lake may have taken more than a hundred thousand years to freeze to the bottom even absent any heat source besides the Sun, but with impact-induced hydrothermal heat, geothermal heat flow due to long-lived radioactivities in early martian history, and concentration of solutes in sub-ice brine, liquid water may have persisted beneath thick ice for many millions of years. Existence of an ice-covered sea perhaps was long enough for life to originate and evolve with gradually colder and more hypersaline conditions. The Argyre rock materials, diverse in origin and emplacement mechanisms, have been modified by impact, magmatic, eolian, fluvial, lacustrine, glacial, periglacial, alluvial, colluvial, and tectonic processes. Post-impact adjustment of part of the impact-generated basement structural fabric such as concentric faults is apparent. Distinct basin-stratigraphic units are interpreted to be linked to large-scale geologic activity far from the basin, including growth of the Tharsis magmatic-tectonic complex and the growth into southern middle latitudes of south polar ice sheets. Along with the migration of surface and sub-surface volatiles towards the central part of the primaiy basin, the substantial difference in elevation with respect to the surrounding highlands and Tharsis and the Thaumasia highlands result in the trapping of atmospheric volatiles within the basin in the form of fog and regional or local precipitation, even today. In addition, the impact event caused long-term (millions of years) hydrothermal activity, as well as deep-seated basement structures that have tapped the internal heat of Mars, as conduits, for far greater time, possibly even today. This possibility is raised by the observation of putative open-system pingos and nearby gullies that occur in linear depressions with accompanying systems of faults and fractures. Long-term water and heat energy enrichment, complemented by the interaction of the nutrient-enriched primordial crustal and mantle materials favorable to life excavated to the surface and near-surface environs through the Argyre impact event, has not only resulted in distinct geomorphology, but also makes the Argyre basin a potential site of exceptional astrobiological significance. (C) 2015 Elsevier Inc. All rights reserved.

DETERMINING THE GENOTYPE-PHENOTYPE CONNECTION IN SYNTHETIC INDUCIBLE GENE EXPRESSION SYSTEMS

Introduction Gene expression is an important process whereby the genotype controls an individual cell’s phenotype. However, even genetically identical cells display a variety of phenotypes, which may be attributed to differences in their environment. Yet, even after controlling for these two factors, individual phenotypes still diverge due to noisy gene expression. Synthetic gene expression systems allow investigators to isolate, control, and measure the effects of noise on cell phenotypes. I used mathematical and computational methods to design, study, and predict the behavior of synthetic gene expression systems in S. cerevisiae, which were affected by noise. Methods I created probabilistic biochemical reaction models from known behaviors of the tetR and rtTA genes, gene products, and their gene architectures. I then simplified these models to account for essential behaviors of gene expression systems. Finally, I used these models to predict behaviors of modified gene expression systems, which were experimentally verified. Results Cell growth, which is often ignored when formulating chemical kinetics models, was essential for understanding gene expression behavior. Models incorporating growth effects were used to explain unexpected reductions in gene expression noise, design a set of gene expression systems with “linear” dose-responses, and quantify the speed with which cells explored their fitness landscapes due to noisy gene expression. Conclusions Models incorporating noisy gene expression and cell division were necessary to design, understand, and predict the behaviors of synthetic gene expression systems. The methods and models developed here will allow investigators to more efficiently design new gene expression systems, and infer gene expression properties of TetR based systems.

Determination of polybrominated diphenyl ethers in water samples from Mendoza River Basin by HS-SPME-GC-MS/MS

Polybrominated diphenyl ethers (PBDEs) are considered persistent organic pollutants because of their ubiquity, persistence and bioaccumulation. Its harmful effects on human health and the environment, has led to its inclusion of the Stockholm Convention. Little information is found about PBDEs in abiotic systems of the South America in open literature. This paper reports the presence and concentration level of four PBDEs congeners in Mendoza River, Argentina. The selected PBDEs were: 2,2',4,4'-tetrabromodiphenyl ether (BDE-47), 2,2',4,4',5-pentabromodiphenyl ether (BDE-99), 2,2',4,4',6-pentabromodiphenyl ether (BDE- 100) and 2,2',4,4',5,5'-hexabromodiphenyl ether (BDE-153). The analytical methodology used was head space-solid phase micro extraction combined with gas chromatographymass spectrometry (HS-SPME-GC-MS/MS). Several variables, including pH, salting out, extraction technique type and extraction time were studied and optimized over the relative response the target analytes. The precision of HS-SPME-GC-MS/MS evaluated over five replicate, leading RSDs values <13%, detection limits (S/N=3) ranging from 0.03 pg ml-1 to 0.12 pg ml-1 and the calibration graph was linear with r2=0.9959. BDE-47 and BDE-100 were the predominant congeners found in the analyzed samples. Their concentrations ranged from not detected to 1.9 pg ml-1 and to 0.5 pg ml-1, respectively.