A Status Report on Conflict Analysis in Mixed Integer Nonlinear Programming

Mixed integer nonlinear programs (MINLPs) are arguably among the hardest optimization problems, with a wide range of applications. MINLP solvers that are based on linear relaxations and spatial branching work similar as mixed integer programming (MIP) solvers in the sense that they are based on a branch-and-cut algorithm, enhanced by various heuristics, domain propagation, and presolving techniques. However, the analysis of infeasible subproblems, which is an important component of most major MIP solvers, has been hardly studied in the context of MINLPs. There are two main approaches for infeasibility analysis in MIP solvers: conflict graph analysis, which originates from artificial intelligence and constraint programming, and dual ray analysis. The main contribution of this short paper is twofold. Firstly, we present the first computational study regarding the impact of dual ray analysis on convex and nonconvex MINLPs. In that context, we introduce a modified generation of infeasibility proofs that incorporates linearization cuts that are only locally valid. Secondly, we describe an extension of conflict analysis that works directly with the nonlinear relaxation of convex MINLPs instead of considering a linear relaxation. This is work-in-progress, and this short paper is meant to present first theoretical considerations without a computational study for that part

A mobile assisted coverage hole patching scheme based on particle swarm optimization for WSNs

Wireless sensor networks (WSNs) have drawn much research attention in recent years due to the superior performance in multiple applications, such as military and industrial monitoring, smart home, disaster restoration etc. In such applications, massive sensor nodes are randomly deployed and they remain static after the deployment, to fully cover the target sensing area. This will usually cause coverage redundancy or coverage hole problem. In order to effectively deploy sensors to cover whole area, we present a novel node deployment algorithm based on mobile sensors. First, sensor nodes are randomly deployed in target area, and they remain static or switch to the sleep mode after deployment. Second, we partition the network into grids and calculate the coverage rate of each grid. We select grids with lower coverage rate as candidate grids. Finally, we awake mobile sensors from sleep mode to fix coverage hole, particle swarm optimization (PSO) algorithm is used to calculate moving position of mobile sensors. Simulation results show that our algorithm can effectively improve the coverage rate of WSNs

High Performance Multicell Series Inverter-Fed Induction Motor Drive

This document is the Accepted Manuscript version of the following article: M. Khodja, D. Rahiel, M. B. Benabdallah, H. Merabet Boulouiha, A. Allali, A. Chaker, and M. Denai, ‘High-performance multicell series inverter-fed induction motor drive’, Electrical Engineering, Vol. 99 (3): 1121-1137, September 2017. The final publication is available at Springer via DOI: https://doi.org/10.1007/s00202-016-0472-4.The multilevel voltage-source inverter (VSI) topology of the series multicell converter developed in recent years has led to improved converter performance in terms of power density and efficiency. This converter reduces the voltage constraints between all cells, which results in a lower transmission losses, high switching frequencies and the improvement of the output voltage waveforms. This paper proposes an improved topology of the series multicell inverter which minimizes harmonics, reduces torque ripples and losses in a variable-speed induction motor drive. The flying capacitor multilevel inverter topology based on the classical and modified phase shift pulse width modulation (PSPWM, MPSPWM) techniques are applied in this paper to minimize harmonic distortion at the inverter output. Simulation results are presented for a 2-kW induction motor drive and the results obtained demonstrate reduced harmonics, improved transient responses and reference tracking performance of the voltage in the induction motor and consequently reduced torque ripplesPeer reviewe

The grapevine uncharacterized intrinsic protein 1 (VvXIP1) is regulated by drought stress and transports glycerol, hydrogen peroxide, heavy metals but not water

A MIP (Major Intrinsic Protein) subfamily called Uncharacterized Intrinsic Proteins (XIP) was recently described in several fungi and eudicot plants. In this work, we cloned a XIP from grapevine, VvXIP1, and agrobacterium-mediated transformation studies in Nicotiana benthamiana revealed that the encoded aquaporin shows a preferential localization at the endoplasmic reticulum membrane. Stopped-flow spectrometry in vesicles from the aqy-null yeast strain YSH1172 overexpressing VvXIP1 showed that VvXIP1 is unable to transport water but is permeable to glycerol. Functional studies with the ROS sensitive probe CM-H(2)DCFDA in intact transformed yeasts showed that VvXIP1 is also able to permeate hydrogen peroxide (H2O2). Drop test growth assays showed that besides glycerol and H2O2, VvXIP1 also transports boric acid, copper, arsenic and nickel. Furthermore, we found that VvXIP1 transcripts were abundant in grapevine leaves from field grown plants and strongly repressed after the imposition of severe water-deficit conditions in potted vines. The observed downregulation of VvXIP1 expression in cultured grape cells in response to ABA and salt, together with the increased sensitivity to osmotic stress displayed by the aqy-null yeast overexpressing VvXIP1, corroborates the role of VvXIP1 in osmotic regulation besides its involvement in H2O2 transport and metal homeostasis.This work was supported by European Union Funds (FEDER/COMPETE Operational Competitiveness Programme) and Portuguese national Funds (FCT-Portuguese Foundation for Science and Technology): KBBE-2012-6-3117 "Inovinne", FCOMP-01-0124-FEDER-022692 and PTDC/AGR-ALI/100636/2008. HN (SFRH/BD/74257/2010) and APM (SFRH/BD/65046/2009) were supported by PhD grants from FCT. The Interuniversity Attraction Poles Programme-Belgian Science Policy (IAP7/29) and the Belgian French community ARC11/16-036 project.info:eu-repo/semantics/publishedVersio

Compressed collagen and decellularized tissue: novel components in a pipeline approach for the study of cancer metastasis

Metastasis is a complex process which is difficult to study and model. Experimental ingenuity is therefore essential when seeking to elucidate the biological mechanisms involved. Typically, in vitro models of metastasis have been overly simplistic, lacking the characteristic elements of the tumour microenvironment, whereas in vivo models are expensive, requiring specialist resources. Here we propose a pipeline approach for the study of cell migration and colonization, two critical steps in the metastatic cascade.We used a range of extracellular matrix derived contexts to facilitate a progressive approach to the observation and quantification of cell behaviour in 2D, 3D and at border zones between dimensions. At the simplest level, cells were set onto collagen-coated plastic or encapsulated within a collagen matrix. To enhance this, a collagen compression technique provided a stiffened, denser substrate which could be used as a 2D surface or to encapsulate cells. Decellularized tissue from the chorioallantoic membrane of the developing chicken embryo was used to provide a more structured, biologically relevant extracellular matrix-based context in which cell behaviour could then be compared with its in vivo counterpart.Cell behaviour could be observed and quantified within each context using standard laboratory techniques of microscopy and immunostaining, affording the opportunity for comparison and contrast of behaviour across the whole range of contexts. In particular, the temporal constraints of the in vivo CAM were removed when cells were cultured on the decellularized CAM, allowing for much longer-term cell colonization and cell-cell interaction.Together the assays within this pipeline provide the opportunity for the study of cell behaviour in a replicable way across multiple environments. The assays can be set up and analysed using easily available resources and standard laboratory equipment. We believe this offers the potential for the detailed study of cell migration and colonization of tissue, essential steps in the metastatic cascade. Also, we propose that the pipeline could be used in the wider arena of cell culture in general with the increasingly more complex contexts allowing cell behaviours and interactions to be explored in a stepwise fashion in an integrated way

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal

Performance of the CMS Cathode Strip Chambers with Cosmic Rays

The Cathode Strip Chambers (CSCs) constitute the primary muon tracking device in the CMS endcaps. Their performance has been evaluated using data taken during a cosmic ray run in fall 2008. Measured noise levels are low, with the number of noisy channels well below 1%. Coordinate resolution was measured for all types of chambers, and fall in the range 47 microns to 243 microns. The efficiencies for local charged track triggers, for hit and for segments reconstruction were measured, and are above 99%. The timing resolution per layer is approximately 5 ns

Multi-objective optimization of genome-scale metabolic models: the case of ethanol production

Ethanol is among the largest fermentation product used worldwide, accounting for more than 90% of all biofuel produced in the last decade. However current production methods of ethanol are unable to meet the requirements of increasing global demand, because of low yields on glucose sources. In this work, we present an in silico multi-objective optimization and analyses of eight genome-scale metabolic networks for the overproduction of ethanol within the engineered cell. We introduce MOME (multi-objective metabolic engineering) algorithm, that models both gene knockouts and enzymes up and down regulation using the Redirector framework. In a multi-step approach, MOME tackles the multi-objective optimization of biomass and ethanol production in the engineered strain; and performs genetic design and clustering analyses on the optimization results. We find in silico E. coli Pareto optimal strains with a knockout cost of 14 characterized by an ethanol production up to 19.74mmolgDW−1h−1 (+832.88% with respect to wild-type) and biomass production of 0.02h−1 (−98.06% ). The analyses on E. coli highlighted a single knockout strategy producing 16.49mmolgDW−1h−1 (+679.29% ) ethanol, with biomass equals to 0.23h−1 (−77.45% ). We also discuss results obtained by applying MOME to metabolic models of: (i) S. aureus; (ii) S. enterica; (iii) Y. pestis; (iv) S. cerevisiae; (v) C. reinhardtii; (vi) Y. lipolytica. We finally present a set of simulations in which constrains over essential genes and minimum allowable biomass were included. A bound over the maximum allowable biomass was also added, along with other settings representing rich media compositions. In the same conditions the maximum improvement in ethanol production is +195.24%

Redox activities and ROS, NO and phenylpropanoids production by axenically cultured intact olive seedling roots after interaction with a mycorrhizal or a pathogenic fungus

Las raíces de las plántulas de olivo, en cultivo axénico, fueron colocadas alternativamente en contacto con Rhizophagus irregulares (micorrícicos) o con hongos Verticillim dahliae (patógenos). También se incluyeron tratamientos MeJA. Las raíces intactas (generación de anión superóxido, superóxido dismutasa y actividades de peroxidasa) se midieron en las actividades in vivo del apoplasto. Todos nuestros resultados mostraron que las actividades redox apoplásticas de raíces de las plántulas intactas en contacto con el hongo micorriza compatible fueron claramente atenuados en comparación con el hongo patógeno o tratado con MeJA, incluso en las primeras etapas usadas en el tratamiento. Los fenoles totales, flavonoides y glucósidos fenilpropanoides, también fueron cuantificados. Las raíces en contacto con el hongo micorriza no mejoraron la biosíntesis de compuestos fenólicos con respecto a los controles, mientras que los de contacto con el patógeno mejoraron de forma significativa la biosíntesis de todas las fracciones fenólicas medidas. Las especies reactivas del oxígeno y la acumulación de óxido nítrico en las raíces fueron examinadas por microscopía de fluorescencia. Todos ellas presentaron una acumulación mucho mayor en las raíces en contacto con el patógeno que con el hongo micorriza. En total, estos resultados indican que las raíces de las plántulas intactas de olivo, claramente diferenciadas entre micorrizas y hongos patógenos, atenuan las reacciones de defensa contra la primera para facilitar su creación, mientras que induce una reacción de defensa fuerte y sostenida contra el segundo. Ambas especies reactivas de oxígeno y nitrógeno parecían estar involucrados en estas respuestas desde los primeros momentos de contacto. Sin embargo, se necesitan más investigaciones para aclarar la diafonía propuesta entre ellos y sus respectivas funciones en estas respuestas ya que las imágenes de fluorescencia de las raíces revelaron que las especies reactivas del oxígeno se acumulan principalmente en el apoplasto (congruente con las actividades redox medidas en este compartimento), mientras el óxido nítrico se almacena principalmente en el citosol.Roots of intact olive seedlings, axenically cultured, were alternatively placed in contact with Rhizophagus irregularis (mycorrhizal) or Verticillim dahliae (pathogenic) fungi. MeJA treatments were also included. In vivo redox activities in the apoplast of the intact roots (anion superoxide generation, superoxide dismutase and peroxidase activities) were measured. All our results showed that apoplastic redox activities of intact seedling roots in contact with the compatible mycorrhizal fungus were clearly attenuated in comparison with the pathogenic fungus or treated with MeJA, even at the early stages of treatment used. Total phenolics, flavonoids and phenylpropanoid glycosides were also quantified. Roots in contact with the mycorrhizal fungus did not enhance the biosynthesis of phenolic compounds with respect to controls, while those in contact with the pathogenic one significantly enhanced the biosynthesis of all phenolic fractions measured. Reactive oxygen species and nitric oxid accumulation in roots were examined by fluorescence microscopy. All of them presented much higher accumulation in roots in contact with the pathogenic than with the mycorrhizal fungus. Altogether these results indicate that intact olive seedling roots clearly differentiated between mycorrhizal and pathogenic fungi, attenuating defense reactions against the first to facilitate its establishment, while inducing a strong and sustained defense reaction against the second. Both reactive oxygen and nitrogen species seemed to be involved in these responses from the first moments of contact. However, further investigations are required to clarify the proposed crosstalk between them and their respective roles in these responses since fluorescence images of roots revealed that reactive oxygen species were mainly accumulated in the apoplast (congruently with the measured redox activities in this compartment) while nitric oxid was mainly stored in the cytosol.-- Ministerio de Ciencia e Innovación. Proyecto CGL2009-12406 -- Junta de Extremadura. Proyecto PRI09A023peerReviewe