Les rapports d’activité de l’Établissement Français du Sang (EFS) font état d’une demande croissante de produits sanguins labiles (PSL) tels les concentrés globules rouges (CGR), les plaquettes, et le plasma. Afin d’assurer la demande vitale en PSL, il est primordial d’optimiser la logistique liée aux activités de collecte du sang et de ses composants. Pour faire face à cette situation, l’EFS Auvergne-Loire mène une réflexion dans le but d’utiliser de manière plus efficiente les dispositifs de collecte en sites fixes et mobiles pour améliorer (i) la qualité de service rendue au donneur, et (ii) l’efficience de l’utilisation des ressources humaines. Dans ce contexte nous avons développé dans cette thèse des outils opérationnels pour (i) la modélisation des dispositifs de collecte, (ii) la régulation des flux de donneurs, et (iii) la planification de collectes mobiles.La méthode d'analyse des dispositifs de collecte est basée sur des techniques de simulation à événements discrets. Une modélisation préalable des flux de donneurs dans les systèmes de collecte en sites fixes et mobiles à l’aide de réseaux de Petri a été proposée. Pour la régulation de flux de donneurs, notamment pour la planification optimale des rendez-vous des donneurs et la planification de la capacité dans les systèmes de collecte au site fixe, deux approches ont été abordées: (a) Construction d'un algorithme basée sur techniques d'optimisation stochastique via simulation ; (b) Programmation mathématique: Modèle de programmation en nombres entiers non-linéaire (MINLP) basée sur réseaux de files d'attente et représentation et évaluation des systèmes à événements discrets à travers de programmation mathématique. Pour la planification de collectes mobiles. Deux types de modèles ont été développés : (a) Au niveau tactique : Modèles de programmation en nombres entiers linéaire (MIP) pour planifier les semaines de collectes pour chaque ensemble disponible sur un horizon de temps pour garantir l'autosuffisance à niveau régional des CGR. (b) Au niveau opérationnel : Modèle de programmation en nombres entiers linéaire (MIP) pour l’organisation du travail des équipes en charge de la collecte. / Activity reports of the French Blood Establishment (EFS) indicate a growing demand for Labile Blood Products (LBP) as red blood cells (RBC), platelets and plasma. To ensure the vital demand of labile blood products (LBP), it’s essential to optimize the logistics related with the collection of blood components. To deal with this situation, the EFS Auvergne-Loire carry out a reflection in order to use more efficiently the collection devices in fixed and mobile sites, to improve the quality of service offered to the donor and the efficiency of human resources. In this context we have developed in this thesis operational tools for (i) modeling of blood collection devices (ii) The regulation of flows donors (iii) Planning of bloodmobile collections.The method analysis of collection devices is based on techniques of discrete event simulation. A preliminary modeling of donors’ flow in fixed and mobile collection systems using Petri nets was conducted. For the regulation of flow of donors, i.e. the optimal capacity planning and appointment scheduling of blood collections, two approaches were considered: (a) Simulation based-optimization.(b) Mathematical Programming: Mixed integer nonlinear programming (MINLP) based on queuing networks and mathematical programming representation of discrete event systems. For planning of bloodmobile collections. Two models have been developed: (a) At the tactical level: Mixed integer linear programming (MIP) to determine the weeks in which the mobile collection must be organized in order to ensure the regional self-sufficiency of RBC. (b) At the operational level: Mixed integer linear programming (MIP) for the planning of human resources in charge of blood collections.

Na última década diversos algoritmos baseados em busca foram desenvolvidos para a geração de níveis em diferentes tipos de jogos. O espaço de busca para geração de níveis geralmente possui restrições, uma vez que a mecânica de um jogo define regras de factibilidade para os níveis. Em alguns métodos, a avaliação de factibilidade requer uma simulação com um agente inteligente que controla o jogo. Esse processo de avaliação geralmente possui ruído, causado por componentes aleatórios no simulador ou na estratégia do agente. Diversos trabalhos têm utilizado simulação como forma de avaliação de conteúdo, no entanto, nenhum deles discutiu profundamente a presença de ruído neste tipo de abordagem. Assim, esse trabalho apresenta um algoritmo genético capaz de gerar níveis factíveis que são avaliados por um agente inteligente em uma simulação ruidosa. O algoritmo foi aplicado a jogos de quebra-cabeças baseados em física com a mecânica do Angry Birds. Uma representação dos níveis em forma de indivíduos é introduzida, a qual permite que o algoritmo genético os evolua com características diferenciadas. O ruído na função de aptidão é tratado por uma nova abordagem, baseada em uma sistema de cache, que auxilia o algoritmo genético a encontrar boas soluções candidatas. Três conjuntos de experimentos foram realizados para avaliar o algoritmo. O primeiro compara o método de cache proposto com outros métodos de redução de ruído da literatura. O segundo mede a expressividade do algoritmo genético considerando as características estruturais dos níveis gerados. O último avalia os níveis gerados considerando aspectos de design (como dificuldade, imersão e diversão), os quais são medidos por meio de questionários respondidos por jogadores humanos via Internet. Os resultados mostraram que o algoritmo genético foi capaz de gerar níveis distintos que são tão imersíveis quanto níveis produzidos manualmente. Além disso, a abordagem de cache lidou apropriadamente com o ruído nos cálculos de aptidão, permitindo uma correta evolução elitista. / In the last decade several search-based algorithms have been developed for generating levels in different types of games. The search space for level generation is typically constrained once the game mechanics define feasibility rules for the levels. In some methods, evaluating level feasibility requires a simulation with an intelligent agent which plays the game. This evaluation process usually has noise, caused by random components in the simulator or in the agent strategy. Several works have used a simulation for content evaluation, however, none of them have deeply discussed the presence of noise in this kind of approach. Thus, this paper presents a genetic algorithm capable of generating feasible levels that are evaluated by an intelligent agent in a noisy simulation. The algorithm was applied to physics-based puzzle games with the Angry Birds mechanics. A level representation in the form of individuals is introduced, which allows the genetic algorithm to evolve them with distinct characteristics. The fitness function noise is handled by a new approach, based on a cache system, which helps the genetic algorithm finding good candidate solutions. Three sets of experiments were conducted to evaluate the algorithm. The first one compares the proposed cache approach with other noise reduction methods of the literature. The second one measures the expressivity of the genetic algorithm considering the structural characteristics of the levels. The last one evaluates design aspects (such as difficulty, immersion and fun) of the generated levels using questionnaires answered by human players via Internet. Results showed the genetic algorithm was capable of generating distinct levels that are as immersive as levels manually designed. Moreover, the cache approach handled properly the noise in the fitness calculations, allowing a correct elitist evolution.

<div>Adsorbent technology is widely used in many industrial applications including waste heat recovery, water purification, and atmospheric revitalization in confined habitations. Astronauts depend on adsorbent-based systems to remove metabolic carbon dioxide (CO₂) from the cabin atmosphere; as NASA prepares for the journey to Mars, engineers are redesigning the adsorbent-based system for reduced weight and optimal efficiency. These efforts hinge upon the development of accurate, predictive models, as simulations are increasingly relied upon to save cost and time over the traditional design-build-test approach. Engineers rely on simplified models to reduce computational cost and enable parametric optimizations. Amongst these simplified models is the axially dispersed plug-flow model for predicting the adsorbate concentration during flow through an adsorbent bed. This model is ubiquitously used in designing fixed-bed adsorption systems. The current work aims to improve the accuracy of the axially dispersed plug-flow model because of its wide-spread use. This dissertation identifies the critical model inputs that drive the overall uncertainty in important output quantities then systematically improves the measurement and prediction of these input parameters. Limitations of the axially dispersed plug-flow model are also discussed, and recommendations made for identifying failure of the plug-flow assumption.</div><div><br></div><div>An uncertainty and sensitivity analysis of an axially disperse plug-flow model is first presented. Upper and lower uncertainty bounds for each of the model inputs are found by comparing empirical correlations against experimental data from the literature. Model uncertainty is then investigated by independently varying each model input between its individual upper and lower uncertainty bounds then observing the relative change in predicted effluent concentration and temperature (<i>e.g.</i>, breakthrough time, bed capacity, and effluent temperature). This analysis showed that the LDF mass transfer coefficient is the largest source of uncertainty. Furthermore, the uncertainty analysis reveals that ignoring the effect of wall-channeling on apparent axial dispersion can cause significant error in the predicted breakthrough times of small-diameter beds.</div><div><br></div><div>In addition to LDF mass transfer coefficient and axial-dispersion, equilibrium isotherms are known to be strong lever arms and a potentially dominant source of model error. As such, detailed analysis of the equilibrium adsorption isotherms for zeolite 13X was conducted to improve the fidelity of CO₂ and H₂O on equilibrium isotherms compared to extant data. These two adsorbent/adsorbate pairs are of great interest as NASA plans to use zeolite 13X in the next generation atmospheric revitalization system. Equilibrium isotherms describe a sorbent’s maximum capacity at a given temperature and adsorbate (<i>e.g.</i>, CO₂ or H₂O) partial pressure. New isotherm data from NASA Ames Research Center and NASA Marshall Space Flight Center for CO₂ and H₂O adsorption on zeolite 13X are presented. These measurements were carefully collected to eliminate sources of bias in previous data from the literature, where incomplete activation resulted in a reduced capacity. Several models are fit to the new equilibrium isotherm data and recommendations of the best model fit are made. The best-fit isotherm models from this analysis are used in all subsequent modeling efforts discussed in this dissertation.</div><div><br></div><div>The last two chapters examine the limitations of the axially disperse plug-flow model for predicting breakthrough in confined geometries. When a bed of pellets is confined in a rigid container, packing heterogeneities near the wall lead to faster flow around the periphery of the bed (<i>i.e.</i>, wall channeling). Wall-channeling effects have long been considered negligible for beds which hold more than 20 pellets across; however, the present work shows that neglecting wall-channeling effects on dispersion can yield significant errors in model predictions. There is a fundamental gap in understanding the mechanisms which control wall-channeling driven dispersion. Furthermore, there is currently no way to predict wall channeling effects a priori or even to identify what systems will be impacted by it. This dissertation aims to fill this gap using both experimental measurements and simulations to identify mechanisms which cause the plug-flow assumption to fail.</div><div><br></div><div>First, experimental evidence of wall-channeling in beds, even at large bed-to-pellet diameter ratios (<i>d</i>_bed/<i>d</i>_p=48) is presented. These experiments are then used to validate a method for accurately extracting mass transfer coefficients from data affected by significant wall channeling. The relative magnitudes of wall-channeling effects are shown to be a function of the adsorption/adsorbate pair and geometric confinement (<i>i.e.</i>, bed size). Ultimately, the axially disperse plug-flow model fails to capture the physics of breakthrough when nonplug-flow conditions prevail in the bed.</div><div><br></div><div>The final chapter of this dissertation develops a two-dimensional (2-D) adsorption model to examine the interplay of wall-channeling and adsorption kinetics and the adsorbent equilibrium capacity on breakthrough in confined geometries. The 2-D model incorporates the effect of radial variations in porosity on the velocity profile and is shown to accurately capture the effect of wall-channeling on adsorption behavior. The 2-D model is validated against experimental data, and then used to investigate whether capacity or adsorption kinetics cause certain adsorbates to exhibit more significant radial variations in concentration compared than others. This work explains channeling effects can vary for different adsorbate and/or adsorbent pairs—even under otherwise identical conditions—and highlights the importance of considering adsorption kinetics in addition to the traditional <i>d</i>_bed/<i>d</i>_p criteria.</div><div><br></div><div>This dissertation investigates key gaps in our understanding of fixed-bed adsorption. It will deliver insight into how these missing pieces impact the accuracy of predictive models and provide a means for reconciling these errors. The culmination of this work will be an accurate, predictive model that assists in the simulation-based design of the next-generation atmospheric revitalization system for humans’ journey to Mars.</div>

Development of dynamic state estimation techniques and their applications in problems of identification in structural engineering have been taken up. The thrust of the study has been the identification of structural systems that exhibit nonlinear behavior, mainly in the form of constitutive and geometric nonlinearities. Methods encompassing both linearization based strategies and those involving nonlinear filtering have been explored. The applications of derivative-free locally transversal linearization (LTL) and multi-step transversal linearization (MTrL) schemes for developing newer forms of the extended Kalman filter (EKF) algorithm have been explored. Apart from the inherent advantages of these methods in avoiding gradient calculations, the study also demonstrates their superior numerical accuracy and considerably less sensitivity to the choice of step sizes. The range of numerical illustrations covers SDOF as well as MDOF oscillators with time-invariant parameters and those with discontinuous temporal variations. A new form of the sequential importance sampling (SIS) filter is developed which explores the scope of the existing SIS filters to cover nonlinear measurement equations and more general forms of noise involving multiplicative and (or) Gaussian/ non-Gaussian noises. The formulation of this method involves Ito-Taylor’s expansions of the nonlinear functions in the measurement equation and the development of the ideal ispdf while accounting for the non-Gaussian terms appearing in the governing equation. Numerical illustrations on parameter identification of a few nonlinear oscillators and a geometrically nonlinear Euler–Bernoulli beam reveal a remarkably improved performance of the proposed methods over one of the best known algorithms, i.e. the unscented particle filter. The study demonstrates the applicability of diverse range of mathematical tools including Magnus’ functional expansions, theory of SDE-s, Ito-Taylor’s expansions and simulation and characterization of the non-Gaussian random variables to the problem of nonlinear structural system identification.

Der Einsatz numerischer Simulationen zur Bearbeitung klinischer Fragestellungen ist eine innovative Vorgehensweise. Im Rahmen der vorliegenden Arbeit wurde eine Methode zur Auswertung von Ergebnissen einer Finite-Elemente-Analyse zum Stentgraftverhalten konzipiert, implementiert und im Rahmen einer deutschlandweiten Benutzerstudie getestet. Für einen Vergleich unterschiedlicher Stentgraftkonfigurationen im Kontext mit dem patientenspezifischen Gefäß wurden Stentgraftbewertungsgrößen eingeführt. Hierzu gehören die Fixierungskraft und der Kontaktstatus zwischen Stentringen und Blutgefäßbestandteilen. Für eine Bereitstellung der Ergebnisgrößen im gefäßmedizinischen Arbeitsumfeld wurde eine graphische Mensch-Maschine-Schnittstelle entwickelt. Diese ermöglicht eine quantitative und qualitative Auswertung von Stentgraftbewertungsgrößen. Hierfür wurden Module zur automatisierten Auswertung von Fixierungskräften sowie zur 2D- und 3D- Ergebnisvisualisierung implementiert. Im Rahmen der Benutzerstudie wurde die Anwendung der entwickelten Methode für die Ermittlung des Einsatzpotenzials numerischer Simulationen zur Unterstützung der Stentgraftauswahl demonstriert. Im Ergebnis wurde als wesentliches Einsatzpotenzial die Festlegung eines Mindestmaßes an Überdimensionierung, die Optimierung der Schenkellänge sowie der Ver- gleich unterschiedlicher Stentgraftdesigns ermittelt. Weiterhin konnten grundlegende Anforderungen an ein System zur Generierung und Bewertung von Stentgraftkonfigurationen im klinischen Alltag definiert werden. Zu den wesentlichen Funktionen, die der Implanteur für einen Vergleich von Stentgrafts benötigt, zählen eine Übersichtskarte zu farbkodiertem Migrationsrisiko pro Stentgraft und Landungszone, die Visualisierung des Abdichtungszustandes der Stentkomponenten sowie die Darstellung von Stentgraft- und Gefäßdeformationen im 3D-Modell.

Wasserwirtschaftliche Speichersysteme sind unverzichtbar, um weltweit die Trinkwasserversorgung, Nahrungsmittelproduktion und Energieversorgung sicherzustellen. Die multikriterielle simulationsbasierte Optimierung (MK-SBO) ist eine leistungsfähige Methodik, um für Mehrzweck-Talsperrenverbundsysteme (MZ-TVS) eine Pareto-optimale Menge an Kompromisslösungen zwischen konträren Zielen bereitzustellen. Der rechentechnische Aufwand steigt jedoch linear mit der Länge des Simulationszeitraums der Talsperrenbewirtschaftung an. Folglich begrenzen sich MK-SBO-Studien bisher auf Simulationszeiträume von wenigen Jahrzehnten. Diese Zeiträume sind i.d.R. unzureichend, um Unsicherheiten, die aus der stochastischen Natur der Zuflüsse resultieren, adäquat zu beschreiben. Bewirtschaftungsoptimierungen von MZ-TVS hinsichtlich ihrer Zuverlässigkeit, z.B. durch die Maximierung von Versorgungssicherheiten, können sich als wenig belastbar und ermittelte Steuerungsstrategien als wenig robust erweisen. Um diesen Herausforderungen zu begegnen, wird ein neues modulares Framework zur multikriteriellen simulationsbasierten Bewirtschaftungsoptimierung von MZ-TVS (Frams-BoT) entwickelt. Eine Informationserweiterung zu stochastischen Zuflussprozessen erfolgt über ein weiterentwickeltes Zeitreihenmodell mittels generierter Zeitreihen von mehreren Tausend Jahren Länge. Eine neue Methode zur Monte-Carlo-Rekombination von Zeitreihen ermöglicht dann die Nutzung dieser Informationen in der MK-SBO in wesentlich kürzeren Simulationszeiträumen. Weitere Rechenzeit wird durch Parallelisierung und eine fortgeschrittene Kodierung von Entscheidungsvariablen eingespart. Die Simulation von Zuflussdargeboten für multikriterielle Klimafolgenanalysen erfolgt durch ein prozessorientiertes Wasserhaushaltsmodell. Level-Diagramme (Blasco et al., 2008) unterstützten den komplexen Prozess der Entscheidungsfindung. Die Wirksamkeit und Flexibilität des Frameworks wurden in zwei Fallstudien gezeigt. In einer ersten Fallstudie konnten in einer Klimafolgenanalyse Versorgungssicherheiten von über 99% als ein Ziel eines multikriteriellen Optimierungsproblems maximiert werden, um die Verlässlichkeit der Bewirtschaftung eines MZ-TVS in Sachsen (Deutschland) zu steigern. Eine zweite Fallstudie befasste sich mit der Maximierung der Leistungsfähigkeit eines MZ-TVS in Äthiopien unter verschiedenen Problemformulierungen. In beiden Fallstudien erwiesen sich die erzielten Pareto-Fronten und Steuerungsstrategien gegenüber 10 000-jährigen Zeiträumen als robust. Die benötigten Rechenzeiten der MK-SBO ließen sich durch das Framework massiv senken. / Water resources systems are worldwide essential for a secure supply of potable water, food and energy production. Simulation-based multi-objective optimization (SB-MOO) is a powerful method to provide a set of Pareto-optimal compromise solutions between various contrary goals of multi-purpose multi-reservoir systems (MP-MRS). However, the computational costs increases with the length of the time period in which the reservoir management is simulated. Consequently, MK-SBO studies are currently restricted to simulation periods of several decades. These time periods are normally insufficient to describe the stochastic nature of the inflows and the consequent hydrological uncertainties. Therefore, an optimization of the reliability of management of MP-MRS, e.g. through the maximization of the security of supply, may not be resilient. Obtained management strategies may not prove robust. To address these challenges, a new modular framework for simulation-based multiobjective optimization of the reservoir management of multi-purpose multi-reservoir systems (Frams-BoT) is developed. A refined time series model provides time series of several thousand years to extend the available information about the stochastic inflow processes. Then, a new Monte-Carlo recombination method allows for the exploitation of the extended information in the SB-MOO on significantly shorter time periods. Further computational time is saved by parallelization and an advanced coding of decision variables. A processoriented water balance model is used to simulate inflows for multi-objective climate impact analysis. Level-Diagrams [Blasco et al., 2008] are used to support the complex process of decision-making. The effectiveness and flexibility of the framework is presented in two case studies. In the first case study about a MP-MRS in Germany, high securities of supply over 99% where maximized as part of a multi-objective optimization problem in order to improve the reliability of the reservoir management. A second case study addressed the maximization of the performance of a MP-MRS in Ethiopia under different formulations of the optimization problem. In both case studies, the obtained Pareto-Fronts and management strategies proved robust compared to 10 000 year time periods. The required computational times of the SB-MOO could be reduced considerably.

Na última década diversos algoritmos baseados em busca foram desenvolvidos para a geração de níveis em diferentes tipos de jogos. O espaço de busca para geração de níveis geralmente possui restrições, uma vez que a mecânica de um jogo define regras de factibilidade para os níveis. Em alguns métodos, a avaliação de factibilidade requer uma simulação com um agente inteligente que controla o jogo. Esse processo de avaliação geralmente possui ruído, causado por componentes aleatórios no simulador ou na estratégia do agente. Diversos trabalhos têm utilizado simulação como forma de avaliação de conteúdo, no entanto, nenhum deles discutiu profundamente a presença de ruído neste tipo de abordagem. Assim, esse trabalho apresenta um algoritmo genético capaz de gerar níveis factíveis que são avaliados por um agente inteligente em uma simulação ruidosa. O algoritmo foi aplicado a jogos de quebra-cabeças baseados em física com a mecânica do Angry Birds. Uma representação dos níveis em forma de indivíduos é introduzida, a qual permite que o algoritmo genético os evolua com características diferenciadas. O ruído na função de aptidão é tratado por uma nova abordagem, baseada em uma sistema de cache, que auxilia o algoritmo genético a encontrar boas soluções candidatas. Três conjuntos de experimentos foram realizados para avaliar o algoritmo. O primeiro compara o método de cache proposto com outros métodos de redução de ruído da literatura. O segundo mede a expressividade do algoritmo genético considerando as características estruturais dos níveis gerados. O último avalia os níveis gerados considerando aspectos de design (como dificuldade, imersão e diversão), os quais são medidos por meio de questionários respondidos por jogadores humanos via Internet. Os resultados mostraram que o algoritmo genético foi capaz de gerar níveis distintos que são tão imersíveis quanto níveis produzidos manualmente. Além disso, a abordagem de cache lidou apropriadamente com o ruído nos cálculos de aptidão, permitindo uma correta evolução elitista. / In the last decade several search-based algorithms have been developed for generating levels in different types of games. The search space for level generation is typically constrained once the game mechanics define feasibility rules for the levels. In some methods, evaluating level feasibility requires a simulation with an intelligent agent which plays the game. This evaluation process usually has noise, caused by random components in the simulator or in the agent strategy. Several works have used a simulation for content evaluation, however, none of them have deeply discussed the presence of noise in this kind of approach. Thus, this paper presents a genetic algorithm capable of generating feasible levels that are evaluated by an intelligent agent in a noisy simulation. The algorithm was applied to physics-based puzzle games with the Angry Birds mechanics. A level representation in the form of individuals is introduced, which allows the genetic algorithm to evolve them with distinct characteristics. The fitness function noise is handled by a new approach, based on a cache system, which helps the genetic algorithm finding good candidate solutions. Three sets of experiments were conducted to evaluate the algorithm. The first one compares the proposed cache approach with other noise reduction methods of the literature. The second one measures the expressivity of the genetic algorithm considering the structural characteristics of the levels. The last one evaluates design aspects (such as difficulty, immersion and fun) of the generated levels using questionnaires answered by human players via Internet. Results showed the genetic algorithm was capable of generating distinct levels that are as immersive as levels manually designed. Moreover, the cache approach handled properly the noise in the fitness calculations, allowing a correct elitist evolution.

Private set intersection(PSI) is a two party protocol where both parties possess a private set and at the end of the protocol, one party (client) learns the intersection while other party (server) learns nothing. Motivated by some interesting practical applications, several provably secure and efficient PSI protocols have appeared in the literature in recent past. Some of the proposed solutions are secure in the honest-but-curious (HbC) model while the others are secure in the (stronger) malicious model. Security in the latter is traditionally achieved by following the classical approach of attaching a zero knowledge proof of knowledge (ZKPoK) (and/or using the so-called cut-and-choose technique). These approaches prevent the parties from deviating from normal protocol execution, albeit with significant computational overhead and increased complexity in the security argument, which includes incase of ZKPoK, knowledge extraction through rewinding. We critically investigate a subset of the existing protocols. Our study reveals some interesting points about the so-called provable security guarantee of some of the proposed solutions. Surprisingly, we point out some gaps in the security argument of several protocols. We also discuss an attack on a protocol when executed multiple times between the same client and server. The attack, in fact, indicates some limitation in the existing security definition of PSI. On the positive side, we show how to correct the security argument for the above mentioned protocols and show that in the HbC model the security can be based on some standard computational assumption like RSA and Gap Diffie-Hellman problem. For a protocol, we give improved version of that protocol and prove security in the HbC model under standard computational assumption. For the malicious model, we construct two PSI protocols using deterministic blind signatures i.e., Boldyreva’s blind signature and Chaum’s blind signature, which do not involve ZKPoK or cut-and-choose technique. Chaum’s blind signature gives a new protocol in the RSA setting and Boldyreva’s blind signature gives protocol in gap Diffie-Hellman setting which is quite similar to an existing protocol but it is efficient and does not involve ZKPoK.

Der Einsatz numerischer Simulationen zur Bearbeitung klinischer Fragestellungen ist eine innovative Vorgehensweise. Im Rahmen der vorliegenden Arbeit wurde eine Methode zur Auswertung von Ergebnissen einer Finite-Elemente-Analyse zum Stentgraftverhalten konzipiert, implementiert und im Rahmen einer deutschlandweiten Benutzerstudie getestet. Für einen Vergleich unterschiedlicher Stentgraftkonfigurationen im Kontext mit dem patientenspezifischen Gefäß wurden Stentgraftbewertungsgrößen eingeführt. Hierzu gehören die Fixierungskraft und der Kontaktstatus zwischen Stentringen und Blutgefäßbestandteilen. Für eine Bereitstellung der Ergebnisgrößen im gefäßmedizinischen Arbeitsumfeld wurde eine graphische Mensch-Maschine-Schnittstelle entwickelt. Diese ermöglicht eine quantitative und qualitative Auswertung von Stentgraftbewertungsgrößen. Hierfür wurden Module zur automatisierten Auswertung von Fixierungskräften sowie zur 2D- und 3D- Ergebnisvisualisierung implementiert. Im Rahmen der Benutzerstudie wurde die Anwendung der entwickelten Methode für die Ermittlung des Einsatzpotenzials numerischer Simulationen zur Unterstützung der Stentgraftauswahl demonstriert. Im Ergebnis wurde als wesentliches Einsatzpotenzial die Festlegung eines Mindestmaßes an Überdimensionierung, die Optimierung der Schenkellänge sowie der Ver- gleich unterschiedlicher Stentgraftdesigns ermittelt. Weiterhin konnten grundlegende Anforderungen an ein System zur Generierung und Bewertung von Stentgraftkonfigurationen im klinischen Alltag definiert werden. Zu den wesentlichen Funktionen, die der Implanteur für einen Vergleich von Stentgrafts benötigt, zählen eine Übersichtskarte zu farbkodiertem Migrationsrisiko pro Stentgraft und Landungszone, die Visualisierung des Abdichtungszustandes der Stentkomponenten sowie die Darstellung von Stentgraft- und Gefäßdeformationen im 3D-Modell.

Wasserwirtschaftliche Speichersysteme sind unverzichtbar, um weltweit die Trinkwasserversorgung, Nahrungsmittelproduktion und Energieversorgung sicherzustellen. Die multikriterielle simulationsbasierte Optimierung (MK-SBO) ist eine leistungsfähige Methodik, um für Mehrzweck-Talsperrenverbundsysteme (MZ-TVS) eine Pareto-optimale Menge an Kompromisslösungen zwischen konträren Zielen bereitzustellen. Der rechentechnische Aufwand steigt jedoch linear mit der Länge des Simulationszeitraums der Talsperrenbewirtschaftung an. Folglich begrenzen sich MK-SBO-Studien bisher auf Simulationszeiträume von wenigen Jahrzehnten. Diese Zeiträume sind i.d.R. unzureichend, um Unsicherheiten, die aus der stochastischen Natur der Zuflüsse resultieren, adäquat zu beschreiben. Bewirtschaftungsoptimierungen von MZ-TVS hinsichtlich ihrer Zuverlässigkeit, z.B. durch die Maximierung von Versorgungssicherheiten, können sich als wenig belastbar und ermittelte Steuerungsstrategien als wenig robust erweisen. Um diesen Herausforderungen zu begegnen, wird ein neues modulares Framework zur multikriteriellen simulationsbasierten Bewirtschaftungsoptimierung von MZ-TVS (Frams-BoT) entwickelt. Eine Informationserweiterung zu stochastischen Zuflussprozessen erfolgt über ein weiterentwickeltes Zeitreihenmodell mittels generierter Zeitreihen von mehreren Tausend Jahren Länge. Eine neue Methode zur Monte-Carlo-Rekombination von Zeitreihen ermöglicht dann die Nutzung dieser Informationen in der MK-SBO in wesentlich kürzeren Simulationszeiträumen. Weitere Rechenzeit wird durch Parallelisierung und eine fortgeschrittene Kodierung von Entscheidungsvariablen eingespart. Die Simulation von Zuflussdargeboten für multikriterielle Klimafolgenanalysen erfolgt durch ein prozessorientiertes Wasserhaushaltsmodell. Level-Diagramme (Blasco et al., 2008) unterstützten den komplexen Prozess der Entscheidungsfindung. Die Wirksamkeit und Flexibilität des Frameworks wurden in zwei Fallstudien gezeigt. In einer ersten Fallstudie konnten in einer Klimafolgenanalyse Versorgungssicherheiten von über 99% als ein Ziel eines multikriteriellen Optimierungsproblems maximiert werden, um die Verlässlichkeit der Bewirtschaftung eines MZ-TVS in Sachsen (Deutschland) zu steigern. Eine zweite Fallstudie befasste sich mit der Maximierung der Leistungsfähigkeit eines MZ-TVS in Äthiopien unter verschiedenen Problemformulierungen. In beiden Fallstudien erwiesen sich die erzielten Pareto-Fronten und Steuerungsstrategien gegenüber 10 000-jährigen Zeiträumen als robust. Die benötigten Rechenzeiten der MK-SBO ließen sich durch das Framework massiv senken. / Water resources systems are worldwide essential for a secure supply of potable water, food and energy production. Simulation-based multi-objective optimization (SB-MOO) is a powerful method to provide a set of Pareto-optimal compromise solutions between various contrary goals of multi-purpose multi-reservoir systems (MP-MRS). However, the computational costs increases with the length of the time period in which the reservoir management is simulated. Consequently, MK-SBO studies are currently restricted to simulation periods of several decades. These time periods are normally insufficient to describe the stochastic nature of the inflows and the consequent hydrological uncertainties. Therefore, an optimization of the reliability of management of MP-MRS, e.g. through the maximization of the security of supply, may not be resilient. Obtained management strategies may not prove robust. To address these challenges, a new modular framework for simulation-based multiobjective optimization of the reservoir management of multi-purpose multi-reservoir systems (Frams-BoT) is developed. A refined time series model provides time series of several thousand years to extend the available information about the stochastic inflow processes. Then, a new Monte-Carlo recombination method allows for the exploitation of the extended information in the SB-MOO on significantly shorter time periods. Further computational time is saved by parallelization and an advanced coding of decision variables. A processoriented water balance model is used to simulate inflows for multi-objective climate impact analysis. Level-Diagrams [Blasco et al., 2008] are used to support the complex process of decision-making. The effectiveness and flexibility of the framework is presented in two case studies. In the first case study about a MP-MRS in Germany, high securities of supply over 99% where maximized as part of a multi-objective optimization problem in order to improve the reliability of the reservoir management. A second case study addressed the maximization of the performance of a MP-MRS in Ethiopia under different formulations of the optimization problem. In both case studies, the obtained Pareto-Fronts and management strategies proved robust compared to 10 000 year time periods. The required computational times of the SB-MOO could be reduced considerably.