Optimized scheduling in real-time environments with column generation

Im Bereich sicherheitsrelevanter eingebetteter Systeme stellt sich der Designprozess von Anwendungen als sehr komplex dar. Entsprechend einer gegebenen Hardwarearchitektur lassen sich Steuergeräte aufrüsten, um alle bestehenden Prozesse und Signale pünktlich auszuführen. Die zeitlichen Anforderungen sind strikt und müssen in jeder periodischen Wiederkehr der Prozesse erfüllt sein, da die Sicherstellung der parallelen Ausführung von größter Bedeutung ist. Existierende Ansätze können schnell Designalternativen berechnen, aber sie gewährleisten nicht, dass die Kosten für die nötigen Hardwareänderungen minimal sind. Wir stellen einen Ansatz vor, der kostenminimale Lösungen für das Problem berechnet, die alle zeitlichen Bedingungen erfüllen. Unser Algorithmus verwendet Lineare Programmierung mit Spaltengenerierung, eingebettet in eine Baumstruktur, um untere und obere Schranken während des Optimierungsprozesses bereitzustellen. Die komplexen Randbedingungen zur Gewährleistung der periodischen Ausführung verlagern sich durch eine Zerlegung des Hauptproblems in unabhängige Unterprobleme, die als ganzzahlige lineare Programme formuliert sind. Sowohl die Analysen zur Prozessausführung als auch die Methoden zur Signalübertragung werden untersucht und linearisierte Darstellungen angegeben. Des Weiteren präsentieren wir eine neue Formulierung für die Ausführung mit fixierten Prioritäten, die zusätzlich Prozessantwortzeiten im schlimmsten anzunehmenden Fall berechnet, welche für Szenarien nötig sind, in denen zeitliche Bedingungen an Teilmengen von Prozessen und Signalen gegeben sind. Wir weisen die Anwendbarkeit unserer Methoden durch die Analyse von Instanzen nach, welche Prozessstrukturen aus realen Anwendungen enthalten. Unsere Ergebnisse zeigen, dass untere Schranken schnell berechnet werden können, um die Optimalität von heuristischen Lösungen zu beweisen. Wenn wir optimale Lösungen mit Antwortzeiten liefern, stellt sich unsere neue Formulierung in der Laufzeitanalyse vorteilhaft gegenüber anderen Ansätzen dar. Die besten Resultate werden mit einem hybriden Ansatz erzielt, der heuristische Startlösungen, eine Vorverarbeitung und eine heuristische mit einer kurzen nachfolgenden exakten Berechnungsphase verbindet.

Effects of metal-induced oxidative stress on endothelial cells in vitro

Aseptic loosening of metal implants is mainly attributed to the formation of metal degradation products. These include particulate debris and corrosion products, such as metal ions (anodic half-reaction) and ROS (cathodic half-reaction). While numerous clinical studies describe various adverse effects of metal degradation products, detailed knowledge of metal-induced cellular reactions, which might be important for possible therapeutic intervention, is not comprehensive. Since endothelial cells are involved in inflammation and angiogenesis, two processes which are critical for wound healing and integration of metal implants, the effects of different metal alloys and their degradation products on these cells were investigated. Endothelial cells on Ti6Al4V alloy showed signs of oxidative stress, which was similar to the response of endothelial cells to cathodic partial reaction of corrosion induced directly on Ti6Al4V surfaces. Furthermore, oxidative stress on Ti6Al4V alloy reduced the pro-inflammatory stimulation of endothelial cells by TNF-α and LPS. Oxidative stress and other stress-related responses were observed in endothelial cells in contact with Co28Cr6Mo alloy. Importantly, these features could be reduced by coating Co28Cr6Mo with a TiO2 layer, thus favouring the use of such surface modification in the development of medical devices for orthopaedic surgery. The reaction of endothelial cells to Co28Cr6Mo alloy was partially similar to the effects exerted by Co2+, which is known to be released from metal implants. Co2+ also induced ROS formation and DNA damage in endothelial cells. This correlated with p53 and p21 up-regulation, indicating the possibility of cell cycle arrest. Since CoCl2 is used as an hypoxia-mimicking agent, HIF-1α-dependence of cellular responses to Co2+ was studied in comparison to anoxia-induced effects. Although important HIF-1α-dependent genes were identified, a more detailed analysis of microarray data will be required to provide additional information about the mechanisms of Co2+ action. All these reactions of endothelial cells to metal degradation products might play their role in the complex processes taking place in the body following metal device implantation. In the worst case this can lead to aseptic loosening of the implant and requirement for revision surgery. Knowledge of molecular mechanisms of metal-induced responses will hopefully provide the possibility to interfere with undesirable processes at the implant/tissue interface, thus extending the life-time of the implant and the overall success of metal implant applications.

New developments in state-specific multireference coupled-cluster theory

Coupled-cluster theory in its single-reference formulation represents one of the most successful approaches in quantum chemistry for the description of atoms and molecules. To extend the applicability of single-reference coupled-cluster theory to systems with degenerate or near-degenerate electronic configurations, multireference coupled-cluster methods have been suggested. One of the most promising formulations of multireference coupled cluster theory is the state-specific variant suggested by Mukherjee and co-workers (Mk-MRCC). Unlike other multireference coupled-cluster approaches, Mk-MRCC is a size-extensive theory and results obtained so far indicate that it has the potential to develop to a standard tool for high-accuracy quantum-chemical treatments. This work deals with developments to overcome the limitations in the applicability of the Mk-MRCC method. Therefore, an efficient Mk-MRCC algorithm has been implemented in the CFOUR program package to perform energy calculations within the singles and doubles (Mk-MRCCSD) and singles, doubles, and triples (Mk-MRCCSDT) approximations. This implementation exploits the special structure of the Mk-MRCC working equations that allows to adapt existing efficient single-reference coupled-cluster codes. The algorithm has the correct computational scaling of d*N^6 for Mk-MRCCSD and d*N^8 for Mk-MRCCSDT, where N denotes the system size and d the number of reference determinants. For the determination of molecular properties as the equilibrium geometry, the theory of analytic first derivatives of the energy for the Mk-MRCC method has been developed using a Lagrange formalism. The Mk-MRCC gradients within the CCSD and CCSDT approximation have been implemented and their applicability has been demonstrated for various compounds such as 2,6-pyridyne, the 2,6-pyridyne cation, m-benzyne, ozone and cyclobutadiene. The development of analytic gradients for Mk-MRCC offers the possibility of routinely locating minima and transition states on the potential energy surface. It can be considered as a key step towards routine investigation of multireference systems and calculation of their properties. As the full inclusion of triple excitations in Mk-MRCC energy calculations is computational demanding, a parallel implementation is presented in order to circumvent limitations due to the required execution time. The proposed scheme is based on the adaption of a highly efficient serial Mk-MRCCSDT code by parallelizing the time-determining steps. A first application to 2,6-pyridyne is presented to demonstrate the efficiency of the current implementation.