Efficient certification of feasibility and objective value of linear programs and its applications

The use of linear programming in various areas has increased with the significant improvement of specialized solvers. Linear programs are used as such to model practical problems, or as subroutines in algorithms such as formal proofs or branch-and-cut frameworks. In many situations a certified answer is needed, for example the guarantee that the linear program is feasible or infeasible, or a provably safe bound on its objective value. Most of the available solvers work with floating-point arithmetic and are thus subject to its shortcomings such as rounding errors or underflow, therefore they can deliver incorrect answers. While adequate for some applications, this is unacceptable for critical applications like flight controlling or nuclear plant management due to the potential catastrophic consequences. We propose a method that gives a certified answer whether a linear program is feasible or infeasible, or returns unknown'. The advantage of our method is that it is reasonably fast and rarely answers unknown'. It works by computing a safe solution that is in some way the best possible in the relative interior of the feasible set. To certify the relative interior, we employ exact arithmetic, whose use is nevertheless limited in general to critical places, allowing us to rnremain computationally efficient. Moreover, when certain conditions are fulfilled, our method is able to deliver a provable bound on the objective value of the linear program. We test our algorithm on typical benchmark sets and obtain higher rates of success compared to previous approaches for this problem, while keeping the running times acceptably small. The computed objective value bounds are in most of the cases very close to the known exact objective values. We prove the usability of the method we developed by additionally employing a variant of it in a different scenario, namely to improve the results of a Satisfiability Modulo Theories solver. Our method is used as a black box in the nodes of a branch-and-bound tree to implement conflict learning based on the certificate of infeasibility for linear programs consisting of subsets of linear constraints. The generated conflict clauses are in general small and give good rnprospects for reducing the search space. Compared to other methods we obtain significant improvements in the running time, especially on the large instances.

Szenarien zur zukünftigen Stromversorgung, kostenoptimierte Variationen zur Versorgung Europas und seiner Nachbarn mit Strom aus erneuerbaren Energien

Sowohl die Ressourcenproblematik als auch die drohenden Ausmaße der Klimaänderung lassen einen Umstieg auf andere Energiequellen langfristig unausweichlich erscheinen und mittelfristig als dringend geboten. Unabhängig von der Frage, auf welchem Niveau sich der Energiebedarf stabilisieren lässt, bleibt dabei zu klären, welche Möglichkeiten sich aus technischer und wirtschaftlicher Sicht in Zukunft zur Deckung unseres Energiebedarfs anbieten. Eine aussichtsreiche Option besteht in der Nutzung regenerativer Energien in ihrer ganzen Vielfalt. Die Arbeit "Szenarien zur zukünftigen Stromversorgung, kostenoptimierte Variationen zur Versorgung Europas und seiner Nachbarn mit Strom aus erneuerbaren Energien" konzentriert sich mit der Stromversorgung auf einen Teilaspekt der Energieversorgung, der zunehmend an Wichtigkeit gewinnt und als ein Schlüssel zur nachhaltigen Energieversorgung interpretiert werden kann. Die Stromversorgung ist heute weltweit für etwa die Hälfte des anthropogenen CO2-Ausstoßes verantwortlich. In dieser Arbeit wurden anhand verschiedener Szenarien Möglichkeiten einer weitgehend CO2–neutralen Stromversorgung für Europa und seine nähere Umgebung untersucht, wobei das Szenariogebiet etwa 1,1 Mrd. Einwohner und einen Stromverbrauch von knapp 4000 TWh/a umfasst. Dabei wurde untersucht, wie die Stromversorgung aufgebaut sein sollte, damit sie möglichst kostengünstig verwirklicht werden kann. Diese Frage wurde beispielsweise für Szenarien untersucht, in denen ausschließlich heute marktverfügbare Techniken berücksichtigt wurden. Auch der Einfluss der Nutzung einiger neuer Technologien, die bisher noch in Entwicklung sind, auf die optimale Gestaltung der Stromversorgung, wurde anhand einiger Beispiele untersucht. Die Konzeption der zukünftigen Stromversorgung sollte dabei nach Möglichkeit objektiven Kriterien gehorchen, die auch die Vergleichbarkeit verschiedener Versorgungsansätze gewährleisten. Dafür wurde ein Optimierungsansatz gewählt, mit dessen Hilfe sowohl bei der Konfiguration als auch beim rechnerischen Betrieb des Stromversorgungssystems weitgehend auf subjektive Entscheidungsprozesse verzichtet werden kann. Die Optimierung hatte zum Ziel, für die definierte möglichst realitätsnahe Versorgungsaufgabe den idealen Kraftwerks- und Leitungspark zu bestimmen, der eine kostenoptimale Stromversorgung gewährleistet. Als Erzeugungsoptionen werden dabei u.a. die Nutzung Regenerativer Energien durch Wasserkraftwerke, Windenergiekonverter, Fallwindkraftwerke, Biomassekraftwerke sowie solare und geothermische Kraftwerke berücksichtigt. Abhängig von den gewählten Randbedingungen ergaben sich dabei unterschiedliche Szenarien. Das Ziel der Arbeit war, mit Hilfe unterschiedlicher Szenarien eine breite Basis als Entscheidungsgrundlage für zukünftige politische Weichenstellungen zu schaffen. Die Szenarien zeigen Optionen für eine zukünftige Gestaltung der Stromversorgung auf, machen Auswirkungen verschiedener – auch politischer – Rahmenbedingungen deutlich und stellen so die geforderte Entscheidungsgrundlage bereit. Als Grundlage für die Erstellung der Szenarien mussten die verschiedenen Potentiale erneuerbarer Energien in hoher zeitlicher und räumlicher Auflösung ermittelt werden, mit denen es erstmals möglich war, die Fragen einer großräumigen regenerativen Stromversorgung ohne ungesicherte Annahmen anhand einer verlässlichen Datengrundlage anzugehen. Auch die Charakteristika der verschiedensten Energiewandlungs- und Transportsysteme mussten studiert werden und sind wie deren Kosten und die verschiedenen Potentiale in der vorliegenden Arbeit ausführlich diskutiert. Als Ausgangsszenario und Bezugspunkt dient ein konservatives Grundszenario. Hierbei handelt es sich um ein Szenario für eine Stromversorgung unter ausschließlicher Nutzung erneuerbarer Energien, die wiederum ausschließlich auf heute bereits entwickelte Technologien zurückgreift und dabei für alle Komponenten die heutigen Kosten zugrundelegt. Dieses Grundszenario ist dementsprechend auch als eine Art konservative Worst-Case-Abschätzung für unsere Zukunftsoptionen bei der regenerativen Stromversorgung zu verstehen. Als Ergebnis der Optimierung basiert die Stromversorgung beim Grundszenario zum größten Teil auf der Stromproduktion aus Windkraft. Biomasse und schon heute bestehende Wasserkraft übernehmen den überwiegenden Teil der Backup-Aufgaben innerhalb des – mit leistungsstarker HGÜ (Hochspannungs–Gleichstrom–Übertragung) verknüpften – Stromversorgungsgebiets. Die Stromgestehungskosten liegen mit 4,65 €ct / kWh sehr nahe am heute Üblichen. Sie liegen niedriger als die heutigen Preisen an der Strombörse. In allen Szenarien – außer relativ teuren, restriktiv ”dezentralen” unter Ausschluss großräumig länderübergreifenden Stromtransports – spielt der Stromtransport eine wichtige Rolle. Er wird genutzt, um Ausgleichseffekte bei der dargebotsabhängigen Stromproduktion aus erneuerbaren Quellen zu realisieren, gute kostengünstige Potentiale nutzbar zu machen und um die Speicherwasserkraft sowie die dezentral genutzte Biomasse mit ihrer Speicherfähigkeit für großräumige Backup-Aufgaben zu erschließen. Damit erweist sich der Stromtransport als einer der Schlüssel zu einer kostengünstigen Stromversorgung. Dies wiederum kann als Handlungsempfehlung bei politischen Weichenstellungen interpretiert werden, die demnach gezielt auf internationale Kooperation im Bereich der Nutzung erneuerbarer Energien setzen und insbesondere den großräumigen Stromtransport mit einbeziehen sollten. Die Szenarien stellen detaillierte und verlässliche Grundlagen für wichtige politische und technologische Zukunftsentscheidungen zur Verfügung. Sie zeigen, dass bei internationaler Kooperation selbst bei konservativen Annahmen eine rein regenerative Stromversorgung möglich ist, die wirtschaftlich ohne Probleme zu realisieren wäre und verweisen den Handlungsbedarf in den Bereich der Politik. Eine wesentliche Aufgabe der Politik läge darin, die internationale Kooperation zu organisieren und Instrumente für eine Umgestaltung der Stromversorgung zu entwickeln. Dabei kann davon ausgegangen werden, dass nicht nur ein sinnvoller Weg zu einer CO2–neutralen Stromversorgung beschritten würde, sondern sich darüber hinaus ausgezeichnete Entwicklungsperspektiven für die ärmeren Nachbarstaaten der EU und Europas eröffnen.

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.

Las rocas intrusivas y brechas del área de Los Molinos, Fuerteventura (Islas Canarias)

La presente tesis doctoral se centra en el estudio de las rocas intrusivas (plutónicas y filonianas) y brechas que afloran en el área de Los Molinos, localizada en la zona centro-occidental de la isla de Fuerteventura (Islas Canarias). Esta intrusión es de especial interés puesto que se localiza en la teórica zona de solape que habría existido entre los dos edificios volcánicos miocenos de mayor tamaño en Fuerteventura: el Edificio Volcánico Central y el Edificio Volcánico Norte, de modo que constituye un buen objetivo para determinar si cada edificio contaba con un sistema de alimentación independiente o si existe una situación más compleja a este respecto. En primer lugar se ha estudiado la estructura interna de la intrusión de Los Molinos, formada por distintas facies de gabros, de las cuales se han obtenido sus características petrográficas, mineralógicas y geoquímicas y se han determinado sus condiciones de presión y temperatura de cristalización, su edad y el tipo de fuente mantélica de la que proceden. Para ello se han realizado análisis químicos insitu mediante microsonda de electrones y láser ICP-MS, junto con análisis de roca total y de geoquímica isotópica. Los resultados obtenidos muestran que las diferentes facies de gabros que afloran en la intrusión están relacionadas genéticamente y que las facies más evolucionadas, leucogabros y venas félsicas, proceden de las facies menos diferenciadas, melanogabros y gabros olivínicos, mediante un proceso de cristalización fraccionada y acumulación. Las condiciones de presión y temperatura halladas indican que el proceso de cristalización tuvo lugar a altas temperaturas (1100-900 oC) y relativamente bajas presiones (3-1 Kb), en condiciones de moderada fO2. La edad de cristalización se determinó por el método U-Pb in-situ en apatito mediante láser ICP-MS, obteniéndose una edad media de cristalización de 17.4 ± 1.9 Ma para la intrusión de Los Molinos. Las relaciones isotópicas de Sr, Nd y Pb muestran que la fuente de la que proceden los magmas que dieron lugar a esta intrusión, es una mezcla entre los componentes mantélicos HIMU y DM con contribuciones menores del componente EMI...

Nichtüberlappende Gebietszerlegungsmethoden für lineare und quasilineare (monotone und nichtmonotone) Probleme

In dieser Arbeit werden nichtüberlappende Gebietszerlegungsmethoden einerseits hinsichtlich der zu lösenden Problemklassen verallgemeinert und andererseits in bisher nicht untersuchten Kontexten betrachtet. Dabei stehen funktionalanalytische Untersuchungen zur Wohldefiniertheit, eindeutigen Lösbarkeit und Konvergenz im Vordergrund. Im ersten Teil werden lineare elliptische Dirichlet-Randwertprobleme behandelt, wobei neben Problemen mit dominantem Hauptteil auch solche mit singulärer Störung desselben, wie konvektions- oder reaktionsdominante Probleme zugelassen sind. Der zweite Teil befasst sich mit (gleichmäßig) monotonen koerziven quasilinearen elliptischen Dirichlet-Randwertproblemen. In beiden Fällen wird das Lipschitz-Gebiet in endlich viele Lipschitz-Teilgebiete zerlegt, wobei insbesondere Kreuzungspunkte und Teilgebiete ohne Außenrand zugelassen sind. Anschließend werden Transmissionsprobleme mit frei wählbaren $L^{\infty}$-Parameterfunktionen hergeleitet, wobei die Konormalenableitungen als Funktionale auf geeigneten Funktionenräumen über den Teilrändern ($H_{00}^{1/2}(\Gamma)$) interpretiert werden. Die iterative Lösung dieser Transmissionsprobleme mit einem Ansatz von Deng führt auf eine Substrukturierungsmethode mit Robin-artigen Transmissionsbedingungen, bei der eine Auswertung der Konormalenableitungen aufgrund einer geschickten Aufdatierung der Robin-Daten nicht notwendig ist (insbesondere ist die bekannte Robin-Robin-Methode von Lions als Spezialfall enthalten). Die Konvergenz bezüglich einer partitionierten $H^1$-Norm wird für beide Problemklassen gezeigt. Dabei werden keine über $H^1$ hinausgehende Regularitätsforderungen an die Lösungen gestellt und die Gebiete müssen keine zusätzlichen Glattheitsvoraussetzungen erfüllen. Im letzten Kapitel werden nichtmonotone koerzive quasilineare Probleme untersucht, wobei das Zugrunde liegende Gebiet nur in zwei Lipschitz-Teilgebiete zerlegt sein soll. Das zugehörige nichtlineare Transmissionsproblem wird durch Kirchhoff-Transformation in lineare Teilprobleme mit nichtlinearen Kopplungsbedingungen überführt. Ein optimierungsbasierter Lösungsansatz, welcher einen geeigneten Abstand der rücktransformierten Dirichlet-Daten der linearen Teilprobleme auf den Teilrändern minimiert, führt auf ein optimales Kontrollproblem. Die dabei entstehenden regularisierten freien Minimierungsprobleme werden mit Hilfe eines Gradientenverfahrens unter minimalen Glattheitsforderungen an die Nichtlinearitäten gelöst. Unter zusätzlichen Glattheitsvoraussetzungen an die Nichtlinearitäten und weiteren technischen Voraussetzungen an die Lösung des quasilinearen Ausgangsproblems, kann zudem die quadratische Konvergenz des Newton-Verfahrens gesichert werden.

Química láser: Transferencia de energía

El propósito general de este proyecto es el de desarrollar investigaciones experimentales y teóricas en la dinámica de las reacciones químicas, de importancia en los procesos atmosféricos (baja temperatura) y de combustión (alta temperatura), con especial énfasis en los aspectos relativos a la relajación colisional de la energía, en especies simples y en moléculas de van der Waals. Con este propósito se estudiarán las reacciones físicas y químicas de especies excitadas, en tiempo real, en función del grado de excitación y de la presión y naturaleza de los gases desactivantes. En particular, se tratará de correlacionar la cantidad de energía transferida por colisión con parámetros moleculares, basándose en la dinámica de estos procesos. Los objetivos parciales pueden clasificarse de la siguiente manera: 1) Cálculos teóricos de la relajación colisional de moléculas diatómicas excitadas vibracionalmente, con gases colisionantes mono y diatómicos. 2) Cálculos teóricos de la relajación colisional de moléculas poliatómicas, excitadas vibracionalmente, con gases monoatómicos, en función del grado de excitación rotacional. 3) Cálculos teóricos de la relajación colisional de moléculas de van der Waals, excitadas vibracionalmente, con gases monoatómicos. 4) Generación de radicales libres del tip CFxCly, con x+y=3, por descomposición multifotónica IR de precursores adecuados y estudio de sus reacciones con diversos sustratos. Por ejemplo, se estudiará la reacción de radicales CF3 con NO2. 5) Estudio de la relajación colisional de moléculas excitadas vibracionalmente por mediciones de la intensidad de fluorescencia IR, resuelta en el tiempo. 6) Instalación y puesta en funcionamiento de un aparato de haces moleculares. 7) Generación y estudio de los procesos de relajación y reactividades de moléculas de van der Waals.

Optimización telémetro láser

Durante el año 1995 se encaró el proyecto "Telémetro Láser aplicable a robótica" en el ámbito de la Universidad Tecnológica Nacional-Facultad Regional Córdoba. Este proyecto pretendía demostrar la factibilidad de utilizar fuentes láser y dispositivos de acoplamiento de carga (CCD) lineales para realizar mediciones de distancia por triangulación óptica. De acuerdo a lo propuesto, este prototipo está constituido por un "iluminador" láser (láser de HeNe), un sistema óptico (cámara fotográfica); el sistema detector consiste en un CCD controlado por un microcontrolador. Las salidas son un display donde se lee la distancia y una salida adicional vía RS 232. Luego de haber concretado el desarrollo del prototipo donde se demuestra la factibilidad del proyecto y del funcionamiento del telémetro láser, la presente propuesta consiste en realizar una optimización del mismo donde se desarrollarán y aplicarán nuevas tecnologías, a los efectos de concretar un telémetro láser aplicable a robótica. Objetivos Específicos En el presente proyecto se propone un medidor de distancias láser compacto que permita medir distancias entre unos centímetros y algunos metros. En particular, se pretende incorporarlo al proyecto "Plataforma autoguiada" presentado por el Grupo GIII de la UTN, como un sensor adicional ya que la medición exacta y confiable de la distancia es esencial para el desplazamiento inteligente del mismo. El dispositivo permitirá además otras aplicaciones aparte de la robótica. Fundamentalmente, en aquellas donde se deseen medir distancias pequeñas, sin contacto y con precisión. Se prevé una posible aplicación para la industria como "calibres sin contacto".

Química láser: Transferencia de energía

El propósito general de este proyecto es el de desarrollar investigaciones experimentales y teóricas en la dinámica de las reacciones químicas, de importancia en los procesos atmosféricos (baja temperatura) y de combustión (alta temperatura), con especial énfasis en los aspectos relativos a la relajación colisional de la energía, en especies simples y en moléculas de van der Waals. Con este propósito se estudiarán las reacciones físicas y químicas de especies excitadas, en tiempo real, en función del grado de excitación y de la presión y naturaleza de los gases desactivantes. En particular, se tratará de correlacionar la cantidad de energía transferida por colisión con parámetros moleculares, basándose en la dinámica de estos procesos. Los objetivos parciales pueden clasificarse de la siguiente manera: 1) Cálculos teóricos de la relajación colisional de moléculas diatómicas excitadas vibracionalmente, con gases colisionantes mono y diatómicos. 2) Cálculos teóricos de la relajación colisional de moléculas poliatómicas, excitadas vibracionalmente, con gases monoatómicos, en función del grado de excitación rotacional. 3) Cálculos teóricos de la relajación colisional de moléculas de van der Waals, excitadas vibracionalmente, con gases monoatómicos. 4) Generación de radicales libres del tip CFxCly, con x+y=3, por descomposición multifotónica IR de precursores adecuados y estudio de sus reacciones con diversos sustratos. Por ejemplo, se estudiará la reacción de radicales CF3 con NO2. 5) Estudio de la relajación colisional de moléculas excitadas vibracionalmente por mediciones de la intensidad de fluorescencia IR, resuelta en el tiempo. 6) Instalación y puesta en funcionamiento de un aparato de haces moleculares. 7) Generación y estudio de los procesos de relajación y reactividades de moléculas de van der Waals.

Evaluación del efecto del láser y magnetoterapia en miopatía experimental valorando biomarcadores de estrés oxidativo, histomorfometría y actividad enzimática mitocondrial. Evaluation of the effect of laser and magnetic therapy in experimental myopathy assessing oxidative stress biomarkers, histomorphometry and mitochondrial enzyme activity

El láser de baja y media energía y la magnetoterapia son utilizados en desórdenes osteomioarticulares por sus efectos analgésico, antiinflamatorio y trófico, entre los más destacados. Sin embargo, son insuficientes las investigaciones sobre su mecanismo de acción y antecedentes científicos que avalen sus efectos. Es por ello, que la determinación de acontecimientos celulares y moleculares que ocurren durante la interacción de estos tipos de energía con el sistema muscular, sería relevante para el conocimiento y optimización de tales terapias en las ciencias biomédicas. En las miopatías inflamatorias idiopáticas, se encuentra afectada la estructura, morfología y bioquímica del tejido muscular. La energía que éste requiere para el normal funcionamiento es generada en la mitocondria. Esta organela también es la responsable de la generación de especies oxidantes provocando estrés oxidativo y el inicio de los procesos de apoptosis. Por lo antes dicho, consideramos que la determinación de los biomarcadores inflamatorios asociados a estrés oxidativo, realizando el análisis histomorfométrico ultraestructural y valorando la actividad de los complejos enzimáticos mitocondriales, permitiría una evaluación de la acción terapéutica del láser y la magnetoterapia en un modelo experimental de miopatía. Para ello se propone evaluar el efecto de la magnetoterapia y del láser de baja energía (He-Ne y As.Ga) en miopatía experimental determinando indicadores inflamatorios asociados a estrés oxidativo, análisis histomorfométrico y valoración de la actividad enzimática mitocondrial. Específicamente: -Determinar indicadores inflamatorios y de estrés oxidativo: Oxido Nítrico, Grupos carbonilos, L-citrulina, Fibrinógeno, Superóxido dismutasa, Glutation peroxidasa y Catalasa por espectrofotometría. -Identificar los cambios anatomopatológicos del músculo esquelético por microscopía óptica (MO): cuantificación del infiltrado inflamatorio; MO de alta resolución (MOAR) y por microscopía electrónica: histomorfometría de la ultraestructura miofibrilar y mitocondrial. -Valorar las actividades enzimáticas de la citrato sintasa y de los complejos: I (NADH-ubiquinona reductasa), II (succinato-ubiquinona-reductasa) III (ubiquinona-citocromo c-reductasa) y IV (citocromo c-oxidasa); en mitocondrias de tejido muscular por espectrofotometría. -Evaluar la actividad apoptótica en las fibras musculares de los diferentes grupos por ténica de T.U.N.E.L. Las mediciones mitocondriales (por ME) y de infiltrado inflamatorio (por MO) se realizarán en un total de 5 fotos de aumentos similares en forma aleatoria por grupo estudiado (n=10). Los cambios estructurales observados se analizarán en el programa Axiovision 4.8, para cuantificar el área total ocupada, número total y grado de alteración de las mitocondrias y el porcentaje de infiltrado inflamatorio determinando el grado de inflamación. Los resultados de los datos cuantitativos se analizarán aplicando ANAVA (test de Fisher para comparaciones múltiples); y para los datos categóricos se utilizará Chi cuadrado (test de Pearson), estableciéndose un nivel de significación de p < 0.05 para todos los casos. Importancia del Proyecto: La salud y el bienestar del hombre son los logros perseguidos por las ciencias de la salud. La obtención de terapias curativas o paliativas con un mínimo de efectos colaterales para el enfermo se incluye en estos logros. Por esto y todo lo anteriormente expuesto es que consideramos de gran importancia poder esclarecer desde las ciencias básicas los efectos celulares y moleculares en modelos experimentales la acción de la terapia con láser y magnetoterapia para una aplicación clínica con base científica en todas las áreas de las Ciencias Médicas. In the idiopathic inflammatory myopathies, is affected the structure, morphology and biochemistry of muscle tissue. The mitochondria is responsible for the generation of oxidizing species leading to oxidative stress and the beginning of the process of apoptosis. As said before, we consider the determination of inflammatory biomarkers related to oxidative stress, by ultrastructural morphometric analysis and assessing the activity of mitochondrial enzyme complexes, permit an evaluation of the therapeutic action of laser and magnetic therapy in an experimental model myopathy. We propose to evaluate the effect of the treatment identifying indicators in experimental inflammatory myopathy associated with oxidative stress, histomorphometric analysis and assessment of mitochondrial enzyme activity. Specifically -determining: Nitric oxide, carbonyl groups, L-citrulline, fibrinogen, superoxide dismutase, glutathione peroxidase and catalase by spectrophotometry. -Identify the pathological changes in skeletal muscle by optical microscopy (OM): quantification of the inflammatory infiltrate, OM high resolution (MOAR) and electron microscopy, histomorphometry of myofibrillar and mitochondrial ultrastructure. -Evaluate the enzymatic activity of citrate synthase and complexes: I, II, III and IV in mitochondria muscle tissue by spectrophotometry. -Evaluate apoptotic activity in muscle fibers by TUNEL technique of Mitochondrial measurements and inflammatory infiltration (by OM) was performed in a total of 5 photos of similar increases in random by the study group (n = 10). The structural changes observed are discussed in the program Axiovision 4.8, to quantify number, degree of alteration of mitochondria and the percentage of inflammatory infiltrate determining the degree of inflammation. The results of the quantitative data were analyzed using ANOVA (Fisher test), and categorical data with Chi-square (Pearson test), establishing a significance level of p <0.05.

Lösbarkeit und Finite-Elemente-Approximation eines mathematischen Modells für die Strömung in Magnetfluiddichtungen

Navier-Stokes-Gleichungen, Gleitrandbedingung, Konvektions-Diffusions-Gleichung, Finite-Elemente-Methode, Mehrgitterverfahren, Fehlerabschätzung, Iterative Entkopplung

Analytische Verfahren zur Untersuchung von Quantenspinsystemen : rotationsinvariante Greenfunktionsmethode und lineare Spinwellentheorie

Heisenberg model, quantum spin, kagome lattice, Green's function method, spin wave theory

Lineare versus zirkuläre Gastrojejunostomie bei Roux-en-Y-Magenbypass : Einfluss auf die perioperative Morbidität und die Gewichtsreduktion ; Analyse der Daten der Qualitätssicherungsstudie für operative Therapie der Adipositas 2005 - 2010

Magdeburg, Univ., Med. Fak., Diss., 2014

Erzeugung von interaktiven Grafiken im Rahmen der Web 2.0 Programmierung

[s.c.]

Mathematische Grundlagen der robusten Implementierung von Vektoroperationen

Eine Vektoroperation ist die Berechnung von Vektoren. Zum Beispiel Addition, Subtraktion und skalares Produkt. Die Vektoroperation wird meistens für die Berechnung von Signalen, z.B. Faltung verwendet. Ein Programm ist für die Operationen entworfen worden. Mit welchen Methoden kann eine Vektoroperation mit vielen Elementen einfach sein und wie kann die Robustheit des Programms stabil sein? Diese Probleme sollen in dieser Arbeit untersucht und gelöst werden. Hierfür wurde die sichere Programmiersprache SPARK2014 gewählt, um die Robustheit des Programms realisieren zu können. Und das wichtigste Werkzeug, die Vor- und Nachbedingung von SPARK2014, wurde verwendet. Für das Programm ist ein mathematisches Konzept wichtig, es ist die Basis der dynamischen Programmierung. Am Anfang wurden mögliche Vor- und Nachbedingungen geschrieben. Anschließend durch mathematische Kenntnisse ,Notwendig und Hinreichende Bedingung‘ wurden die repräsentativen Vorbedingungen gewählt und die Reihenfolge der Vorgehensweise festgelegt. Danach wurde die Methode durch mathematische Kenntnisse nachgewiesen. Zum Schluss wurden die entworfenen Vor- und Nachbedingungen durch die mathematischen Beispiele getestet.

Programmierung der Antestate für das Praktikum Elektrische Maschinen in Moodle

Durch die Antestate für das Praktikum in Moodle können Studenten ihre Kenntnisse von elektrischen Maschinen erkennen und vertiefen. Nur wenn Studenten die Antestate bestanden haben, können sie am Praktikum teilnehmen und das entsprechende Praktikum wird anerkannt. In diesem Dall sollten sich die Studenten auf dieses Praktikum ausreichend vorbereiten.