Decomposition and reformulation of integer linear programming problems

This thesis deals with an investigation of Decomposition and Reformulation to solve Integer Linear Programming Problems. This method is often a very successful approach computationally, producing high-quality solutions for well-structured combinatorial optimization problems like vehicle routing, cutting stock, p-median and generalized assignment . However, until now the method has always been tailored to the specific problem under investigation. The principal innovation of this thesis is to develop a new framework able to apply this concept to a generic MIP problem. The new approach is thus capable of auto-decomposition and autoreformulation of the input problem applicable as a resolving black box algorithm and works as a complement and alternative to the normal resolving techniques. The idea of Decomposing and Reformulating (usually called in literature Dantzig and Wolfe Decomposition DWD) is, given a MIP, to convexify one (or more) subset(s) of constraints (slaves) and working on the partially convexified polyhedron(s) obtained. For a given MIP several decompositions can be defined depending from what sets of constraints we want to convexify. In this thesis we mainly reformulate MIPs using two sets of variables: the original variables and the extended variables (representing the exponential extreme points). The master constraints consist of the original constraints not included in any slaves plus the convexity constraint(s) and the linking constraints(ensuring that each original variable can be viewed as linear combination of extreme points of the slaves). The solution procedure consists of iteratively solving the reformulated MIP (master) and checking (pricing) if a variable of reduced costs exists, and in which case adding it to the master and solving it again (columns generation), or otherwise stopping the procedure. The advantage of using DWD is that the reformulated relaxation gives bounds stronger than the original LP relaxation, in addition it can be incorporated in a Branch and bound scheme (Branch and Price) in order to solve the problem to optimality. If the computational time for the pricing problem is reasonable this leads in practice to a stronger speed up in the solution time, specially when the convex hull of the slaves is easy to compute, usually because of its special structure.

Fiber beam-columns models with flexure-shear interaction for nonlinear analysis of reinforced concrete structures

The aim of this study was to develop a model capable to capture the different contributions which characterize the nonlinear behaviour of reinforced concrete structures. In particular, especially for non slender structures, the contribution to the nonlinear deformation due to bending may be not sufficient to determine the structural response. Two different models characterized by a fibre beam-column element are here proposed. These models can reproduce the flexure-shear interaction in the nonlinear range, with the purpose to improve the analysis in shear-critical structures. The first element discussed is based on flexibility formulation which is associated with the Modified Compression Field Theory as material constitutive law. The other model described in this thesis is based on a three-field variational formulation which is associated with a 3D generalized plastic-damage model as constitutive relationship. The first model proposed in this thesis was developed trying to combine a fibre beamcolumn element based on the flexibility formulation with the MCFT theory as constitutive relationship. The flexibility formulation, in fact, seems to be particularly effective for analysis in the nonlinear field. Just the coupling between the fibre element to model the structure and the shear panel to model the individual fibres allows to describe the nonlinear response associated to flexure and shear, and especially their interaction in the nonlinear field. The model was implemented in an original matlab® computer code, for describing the response of generic structures. The simulations carried out allowed to verify the field of working of the model. Comparisons with available experimental results related to reinforced concrete shears wall were performed in order to validate the model. These results are characterized by the peculiarity of distinguishing the different contributions due to flexure and shear separately. The presented simulations were carried out, in particular, for monotonic loading. The model was tested also through numerical comparisons with other computer programs. Finally it was applied for performing a numerical study on the influence of the nonlinear shear response for non slender reinforced concrete (RC) members. Another approach to the problem has been studied during a period of research at the University of California Berkeley. The beam formulation follows the assumptions of the Timoshenko shear beam theory for the displacement field, and uses a three-field variational formulation in the derivation of the element response. A generalized plasticity model is implemented for structural steel and a 3D plastic-damage model is used for the simulation of concrete. The transverse normal stress is used to satisfy the transverse equilibrium equations of at each control section, this criterion is also used for the condensation of degrees of freedom from the 3D constitutive material to a beam element. In this thesis is presented the beam formulation and the constitutive relationships, different analysis and comparisons are still carrying out between the two model presented.

A Phase Space Box-counting based Method for Arrhythmia Prediction from Electrocardiogram Time Series

Arrhythmia is one kind of cardiovascular diseases that give rise to the number of deaths and potentially yields immedicable danger. Arrhythmia is a life threatening condition originating from disorganized propagation of electrical signals in heart resulting in desynchronization among different chambers of the heart. Fundamentally, the synchronization process means that the phase relationship of electrical activities between the chambers remains coherent, maintaining a constant phase difference over time. If desynchronization occurs due to arrhythmia, the coherent phase relationship breaks down resulting in chaotic rhythm affecting the regular pumping mechanism of heart. This phenomenon was explored by using the phase space reconstruction technique which is a standard analysis technique of time series data generated from nonlinear dynamical system. In this project a novel index is presented for predicting the onset of ventricular arrhythmias. Analysis of continuously captured long-term ECG data recordings was conducted up to the onset of arrhythmia by the phase space reconstruction method, obtaining 2-dimensional images, analysed by the box counting method. The method was tested using the ECG data set of three different kinds including normal (NR), Ventricular Tachycardia (VT), Ventricular Fibrillation (VF), extracted from the Physionet ECG database. Statistical measures like mean (μ), standard deviation (σ) and coefficient of variation (σ/μ) for the box-counting in phase space diagrams are derived for a sliding window of 10 beats of ECG signal. From the results of these statistical analyses, a threshold was derived as an upper bound of Coefficient of Variation (CV) for box-counting of ECG phase portraits which is capable of reliably predicting the impeding arrhythmia long before its actual occurrence. As future work of research, it was planned to validate this prediction tool over a wider population of patients affected by different kind of arrhythmia, like atrial fibrillation, bundle and brunch block, and set different thresholds for them, in order to confirm its clinical applicability.

Cis- und trans-Regulation bei Drosophila-T-Box-Genen

Die räumliche und zeitliche Organisation von Genexpression ist für die Entwicklung und das Funktionieren eines jeden Lebewesens von immenser Bedeutung. Dazu laufen eine Vielzahl von Regulationsprozessen auf unterschiedlichen Ebenen ab. In dieser Arbeit wurden im ersten Teil Untersuchungen zur Genregulation des Drosophila optomotor-blind Genes und zur Funktion des Omb Proteins durchgeführt. Eine Mutante, der ein großer Teil der upstream regulatory region (URR) fehlt wurde erzeugt, aus einer Vielzahl von Linien isoliert und molekular charakterisiert. Die biologischen Auswirkungen dieser Deletion werden in Shen et al. (2008) beschrieben. Plasmide zur Erzeugung transgener Fliegen, mit deren Hilfe eine bereits von Sivasankaran et al. (2000) durchgeführte Enhancer-reporter-Analyse vervollständigt werden sollte, wurden hergestellt. Die bereits bekannte Inversion In(1)ombH31 wurde molekular kartiert. Eine Reihe von Konstrukten mit Punktmutationen in der Omb T-Domäne wurden generiert, die unter anderem über deren Funktion hinsichtlich DNA-Protein Interaktion und einer potentiellen Metallionenbindefähigkeit (ATCUN) hin Aufschluss geben sollen. Des Weiteren wurde eine Reihe von P-Element-Deletionslinien auf den Verlust eines alternativen omb Transkriptionsstartpunktes hin untersucht, mit dem Ziel eine vollständige Protein-Nullmutante zur Verfügung zu haben. Der zweite Abschnitt dieser Arbeit befasste sich mit der Erzeugung von Dpp-GFP-Fusionskonstrukten, mit deren Hilfe weitere Erkenntnisse über den Dpp-Langstreckentransport erhofft werden. Es wurde außerdem damit begonnen bei einem weitern Drosophila T-Box Transkriptionsfaktor, Optomotor-blind related gene-1 (Org-1), eine Reihe von Varianten mit homopolymeren polyAlanin und polyGlutamin Expansionen unterschiedlicher Länge herzustellen. Durch Experimente mit diesen Konstrukten soll Aufschluss darüber gewonnen werden, ob Glutamin-Expansionen, wie in der Literatur vorgeschlagen, aktivierend und Alanin-Expansionen in Transkriptionsfaktoren vielleicht reprimierend auf Genaktivität wirken. Letztlich wurden in dieser Arbeit im Rahmen des DROSDEL Projektes (Ryder et al., 2004, 2007) Deletionen in der distalen Hälfte des Chromosomenarms 3R hergestellt. Der DROSDEL Deletionskit, der durch eine Kooperation europäischer Labore entstand stellt der Drosophila Forschung einen umfassenden Satz molekular basengenau definierter Defizienzen zur Verfügung.

Suche nach Zielgenen des T-Box-Transkriptionsfaktors Optomotor-blind aus Drosophila melanogaster

Zusammenfassung:rnrnDas Ziel der Arbeit bestand darin mehr über die Funktion des T-Box Transkriptionsfaktors Omb zu erfahren. Dm omb ist der nächste Verwandte zu Hs Tbx2/3, die wegen ihrer Rolle bei verschiedenen Krebsarten für die Entwicklung neuer Therapien bedeutsam sind. rnIn drei, von Herrn Pflugfelder hergestellten, omb Allelen l(1)omb282, l(1)omb12, l(1)omb15 wurden neue Mutationen kartiert. Dabei handelt es sich um zwei missense-Mutationen und eine Stopmutation. Sie betreffen Aminosäurereste, die in allen T-Box Proteinen konserviert sind und daher vermutlich lebenswichtige Proteinabschnitte betreffen. In EMSA Versuchen konnte gezeigt werden, dass die missense-Mutationen die DNA-Bindung des Omb-T Proteins verhindern.rnFür die Suche nach Omb Zielgenen wurden Gene und phylogenetisch konservierte TBE-Genabschnitte auf ihre Regulation durch Omb getestet. Dabei wurde das Expressionsmuster von Genen mitels in situ und das Muster von enhancer getriebener β-Gal Expression histochemisch oder durch Immunfärbung von wildtypischen und l(1)omb15 Larven des dritten Stadiums verglichen. rnUpstream der mirr Transkriptionseinheit wurde ein cis-regulatorisches TBE-Fragment identifiziert, das ein Aktivitätsmuster in Flügelimaginalscheiben zeigte, welches dem von Mirr nahe kommt. Sowohl ein Omb Verlust als auch die Mutation der TBE Sequenz führten zu einer ähnlichen ektopischen Aktivierung des Fragments, was auf eine Abhängigkeit von Omb hinweist. rnIn der intronischen Sequenz von inv wurde ebenfalls ein TBE-Fragment entdeckt, das eine β-Gal-Aktivität in Flügelscheiben des späten L3 Stadiums anterior der A/P Grenze zeigte. Diese Expression könnte sich mit der späten für en/inv beschriebenen Expression (Blair, 1992) decken. Immunfärbungen bestätigten, dass der Verlust dieser Aktivität in omb0 tatsächlich durch den Verlust von Omb hervorgerufen wird und nicht durch eine Entwicklungsverzögerung der Larven verursacht wird.rnSchließlich wurde durch die Reparatur von TBX Expressionsvektoren eine Konstruktreihe (Legler, 2010) fertiggestellt, mit deren Hilfe die Auswirkungen einer Überexpression auf die Zellmotilität in Drosophila untersucht werden kann. Das soll helfen den Einfluss von TBX Proteinen auf die Invasivität von Krebszellen zu verstehen.rn

Masonry columns confined by composite materials: Experimental investigation

This study wants to analyze the effectiveness of different reinforcement typologies for masonry columns, in particular Fiber-Reinforced Polymer (FRP) and FRCM. The behavior of 10 solid – brick columns that are externally wrapped by FRP sheets and 2 unreinforced columns are presented in this study. The specimens are subjected to axial load until failure occurs. Three different confinement schemes were experimentally analyzed in order to evaluate and compare the effectiveness of the proposed strengthening techniques: 1) Grid carbon FRP (CFRP_G); 2) Grid glass FRP (GFRP_G); 3) Uniaxial carbon FRP (CFRP_U). Two different configurations of the reinforcing system were investigated: FRP sheets are applied as external reinforcement along the perimeter of the masonry columns in the form of continuous and discontinuous wrap, respectively. The results, compared with those for un-reinforced columns, indicate an increases in ultimate load, stiffness and ductility.

Identification of target genes of the T-box proteins in Drosophila melanogaster

In a prior bioinformatic analysis by Hüyseyin Binbas, potential Tbx targets sequences in wing-related genes have been identified. Guided by this information, enhancer trap/reporter lacZ insertions were characterized by X-gal staining first in wildtype and then in l(1)omb imaginal discs.rnIn several lines I observed an increase in reporter expression in a l(1)omb mutant background. Since Omb is assumed to function predominantly as a transcriptional repressor, this may indicate direct regulation. Repression by Omb was observed e.g. for brk and tkv. These genes are negatively regulated by Dpp, while omb is induced by Dpp. Omb which mediates the effects of Dpp on proliferation could, thus, also mediate the Dpp effect on patterning of the wing disc. However, brk and tkv were not completely derepressed in l(1)omb indicating that Dpp represses these genes also by an Omb-independent mechanism.rnMore frequently I observed loss of reporter expression in an l(1)omb mutant background. In these cases, regulation by Omb presumably is indirect. For example, STAT92E-lacZ expression in the wildtype eye was symmetrically expressed at the dorsal and ventral margins. In l(1)omb, ventral expression was selectively lost. Loss of omb is known to cause ventral overproliferation of the eye by activation of the Jak/STAT pathway. STAT92E expression is negatively regulated by Jak/STAT signaling suggesting that loss of omb activates Jak/STAT further upstream in the pathway.rnRegional overproliferation of eye and wing in the l(1)omb mutant background proved a complicating issue in the search for Omb targets. This effect made it difficult to decide whether an expanded reporter expression pattern was due to tissue expansion or reporter gene derepression. For instance hth-lacZ appeared to expand along the ventral eye disc margin in l(1)omb. Without addtional experiments it cannot be concluded whether this is due to de-repression or to activation in association with the proliferative state. Parallel to my experiments, evidence accumulated in our laboratory that loss of omb may attenuate Wg and Hegehog signaling. Since these diffusible proteins are the main patterning molecules in the wing imaginal disc, with dpp being downstream of Hh, many of the observed effects could be secondary to reduced Wg and Hh activity. Examples are ab-lacZ, Dll-lacZ and vgBE-lacZ (reduced expression on the dorso-ventral boundary) and inv-lacZ (late larval expression in the anterior wing disc compartment is lost) or sal-lacZ. Epistasis experiment will be required to clarifiy these issues.rnFurthermore, loss of omb appeared to induce cell fate changes. It was reported previously that in an omb null mutant, the dorsal determinant apterous (ap) is ectopically expressed in the ventral compartment (an effect I did not observe with the strongly hypomorphic l(1)omb15, indicating strong dose dependence). Ventral repression of ap is maintained by epigenetic mechanisms. The patchy and variable nature of ectopic expression of ap or grn-1.1-lacZ points to an effect of omb on epigenetic stability.rnIn the second part of my thesis, an analysis of Omb expression in the Drosophila embryonic ventral nervous system was performed. Omb was found co-expressed with Eve in the medial aCC and RP2 motorneurons as well as the fpCC interneuron and the mediolateral CQ neurons. Additionally, Omb was detected in the Eg positive NB7-3 GW serotonergic motoneuron and the N2-4 neurons. Omb was not found in Repo positive glial cells. During embryonic stage 14, Omb showed some coepression with Dpn or Pros. At the embryonic stage 16, Omb was expressed in minor subset of Mid and Wg positive cells.

A Morphological Box for Handling Temporal Data in B2C Systems

User interfaces are key properties of Business-to-Consumer (B2C) systems, and Web-based reservation systems are an important class of B2C systems. In this paper we show that these systems use a surprisingly broad spectrum of different approaches to handling temporal data in their Web inter faces. Based on these observations and on a literature analysis we develop a Morphological Box to present the main options for handling temporal data and give examples. The results indicate that the present state of developing and maintaining B2C systems has not been much influenced by modern Web Engi neering concepts and that there is considerable potential for improvement.

Paleoenvironment and Paleoecology of a Late Paleocene High-Latitude Terrestrial Succession, Arkose Ridge Formation at Box Canyon, Southern Talkeetna Mountains, Alaska

Paleogene sedimentary rocks of the Arkose Ridge Formation (Talkeetna Mountains, Alaska) preserve a record of a fluvial-lacustrine depositional environment and its forested ecosystem in an active basin among the convergent margin tectonic processes that shaped southern Alaska. An -800 m measured succession at Box Canyon indicates braid-plain deposition with predominantly gravelly deposits low in the exposure to sandy and muddy facies associations below an overlying lava flow sequence. U-Pb geochronology on zircons from a tuff and a sandstone within the measured section, as well as an Ar/Ar date from the overlying lava constrain the age of the sedimentary succession to between similar to 59 Ma and 48 Ma Fossil plant remains occur throughout the Arkose Ridge Formation as poorly-preserved coalified woody debris and fragmentary leaf impressions. At Box Canyon, however, a thin la-custrine depositional lens of rhythmically laminated mudrocks yielded fish fossils and a well-preserved floral assemblage including foliage and reproductive organs representing conifers, sphenopsids, monocots, and dicots. Leaf physiognomic methods to estimate paleoclimate were applied to the dicot leaf collection and indicate warm temperate paleotemperatures (-11-15 +/- -4 degrees C MAT) and elevated paleoprecipitation (-120 cm/yr MAP) estimates as compared to modem conditions; results that are parallel with previously published estimates from the partly coeval Chickaloon Formation deposited in more distal depositional environments in the same basin. The low abundance of leaf herbivory in the Box Canyon dicot assemblage (-9% of leaves damaged) is also similar to the results from assemblages in the meander-plain depositional systems of the Chickaloon. This new suite of data informs models of the tectonostratigraphic evolution of southern Alaska and the developing understanding of terrestrial paleoecology and paleoclimate at high latitudes during the Late Paleocene-Early Eocene greenhouse climate phase. (c) 2014 Elsevier B.V. All rights reserved.