No description available.

No description available.

Le but de cette thèse est d'étudier la somme et le zéro dans deux principaux cadres : les isomorphismes de types et la normalisation de lambda-termes. Les isomorphismes de type avaient déjà été étudiés dans le cadre du lambda-calcul simplement typé avec paires surjectives mais sans somme. Pour aborder le cas avec somme et zéro, j'ai commencé par restreindre l'étude au cas des isomorphismes linéaires, dans le cadre de la logique linéaire, ce qui a conduit à une caractérisation remarquablement simple de ces isomorphismes, obtenue grâce à une méthode syntaxique sur les réseaux de preuve. Le cadre plus général de la logique intuitionniste correspond au problème ouvert de la caractérisation des isomorphismes dans les catégories bi-cartésiennes fermées. J'ai pu apporter une contribution à cette étude en montrant qu'il n'y a pas d'axiomatisation finie de ces isomorphismes. Pour cela, j'ai tiré partie de travaux en théorie des nombres portant sur un problème énoncé par Alfred Tarski et connu sous le nom du « problème des égalités du lycée ». Pendant tout ce travail sur les isomorphismes de types, s'est posé le problème de trouver une forme canonique pour représenter les lambda-termes, que ce soit dans le but de nier l'existence d'un isomorphisme par une étude de cas sur la forme du terme, ou pour vérifier leur existence dans le cas des fonctions très complexes que j'étais amené à manipuler. Cette réflexion a abouti à poser une définition « extensionnelle » de forme normale pour le lambda-calcul avec somme et zéro, obtenue par des méthodes catégoriques grâce aux relations logiques de Grothendieck, apportant ainsi une nouvelle avancée dans l'étude de la question réputée difficile de la normalisation de ce lambda-calcul. Enfin je montrerai comment il est possible d'obtenir une version « intentionnelle » de ce résultat en utilisant la normalisation par évaluation. J'ai pu ainsi donner une adaptation de la technique d' évaluation partielle dirigée par les types pour qu'elle produise un résultat dans cette forme normale, ce qui en réduit considérablement la taille et diminue aussi beaucoup le temps de normalisation dans le cas des isomorphismes de types considérés auparavant.

The Boneh-Boyen signature scheme is a short signature scheme which is provably secure in the standard model under the q-Strong Diffie-Hellman (SDH) assumption. The primary objective of this thesis is to examine the relationship between the Boneh-Boyen signature scheme and SDH. The secondary objective is to survey surrounding topics such as the generic group model, related signature schemes, intractability assumptions, and the relationship to identity-based encryption (IBE) schemes. Along these lines, we analyze the plausibility of the SDH assumption using the generic bilinear group model. We present the security proofs for the Boneh-Boyen signature scheme, with the addition of a small improvement in one of the probability bounds. Our main contribution is to give the reduction in the reverse direction; that is, to show that if the SDH problem can be solved then the Boneh-Boyen signature scheme can be forged. This contribution represents the first known proof of equivalence between the SDH problem and Boneh-Boyen signatures. We also discuss the algorithm of Cheon for solving the SDH problem. We analyze the implications of Cheon's algorithm for the security of the Boneh-Boyen signature scheme, accompanied by a brief discussion on how to counter the attack.

The Boneh-Boyen signature scheme is a short signature scheme which is provably secure in the standard model under the q-Strong Diffie-Hellman (SDH) assumption. The primary objective of this thesis is to examine the relationship between the Boneh-Boyen signature scheme and SDH. The secondary objective is to survey surrounding topics such as the generic group model, related signature schemes, intractability assumptions, and the relationship to identity-based encryption (IBE) schemes. Along these lines, we analyze the plausibility of the SDH assumption using the generic bilinear group model. We present the security proofs for the Boneh-Boyen signature scheme, with the addition of a small improvement in one of the probability bounds. Our main contribution is to give the reduction in the reverse direction; that is, to show that if the SDH problem can be solved then the Boneh-Boyen signature scheme can be forged. This contribution represents the first known proof of equivalence between the SDH problem and Boneh-Boyen signatures. We also discuss the algorithm of Cheon for solving the SDH problem. We analyze the implications of Cheon's algorithm for the security of the Boneh-Boyen signature scheme, accompanied by a brief discussion on how to counter the attack.

In der vorliegenden Arbeit wird bei tiefen Temperaturen die bimolekulare Reaktion C2H2+ + H2 -- C2H3+ + H in einem HF 22-Pol-Ionenspeicher untersucht. %weist eine Aktivierungsenergie von ca. 50 meV auf. Dreikörper- und Strahlungsratenkoeffizienten der Assoziationsreaktion C2H2+ + H2 -- C2H4+ werden bestimmt, sowie ihre Temperaturabhängigkeit. Durch Anregung der infrarot-aktiven antisymmetrischen C--H-Streckschwingung nu3 des C2H2+-Ions wird die Aktivierungsenergie der bimolekularen Reaktion überwunden. Zunächst wird ein Nd:YAG-Laser gepumpter Farbstofflaser mit Differenzfrequenzmischung und dann ein schmalbandiger cw-betriebener Bleisalzdiodenlaser zur Induzierung der Reaktion eingesetzt. Der Nachweis des Produkts C2H3+ dient als Hinweis auf den Anregungszustand der C2H2+-Ionen ( chemical probing) und somit lassen sich die P-, Q- und R-Zweige der Normalschwingung nu3 von C2H2+ aufzeichnen. Die empfindliche untergrundfreie Spektroskopie der Prim¨arionen wird demonstriert. Die hohe spektrale Auflösung des Experiments ermöglicht die Schwingungs-, Rotations-, Feinstruktur- und Kernspinszustandspezifische Anregung der C2H2+-Ionen. %Die Ergebnisse der vorliegenden Arbeit zeigen Rotationseffekte. Es wird gezeigt, dass eine grössere Rotationsquantenzahl des C2H2+-Ions zur Behinderung der Reaktion führt. Mit der Messung der C2H3+-Ionenzahl als Funktion der Speicherzeit und der H2-Dichte werden die Ratenkoeffizienten der laserinduzierten Reaktion und der Reaktion schwingungsangeregter Primärionen bestimmt. Es wird vermutet, dass die Energie nicht unmittelbar in der Reaktionskoordinate vorhanden ist, sondern einen Sto¨skomplex \mbox{\glqq erhitzt\grqq}. Die von einer Barriere im Eingangskanal behinderte Komplexbildung kann die vorgestellten Ergebnisse erklären. Der Ratenkoeffizient der stossinduzierten Schwingungsrelaxation wird ermittelt. Die experimentelle Bestimmung des Einstein-Koeffizienten der spontanen Emission ermöglicht es, die Lebensdauer des angeregten Zustandes sowie das Dipolmatrixelement und die Schwingungsintensität von nu3 abzuschätzen.

Cette thèse est consacrée à l'étude du problème de la cyclicité dans certains espaces de fonctions analytiques sur le disque unité. Nous nous intéressons aux espaces de type Bergman et aux espaces de type Korenblum. Dans la première partie, nous étudions les fonctions cycliques dans les espaces de type Korenblum en utilisant la notion des prémesures. Cette notion a été introduite et développée par B. Korenblum au début des années 1970s. En particulier, nous donnons une réponse positive à une conjecture énoncée par C. Deninger. Dans la deuxième partie, nous utilisons la méthode de la résolvante pour étudier la cyclicité des fonctions intérieures singulières associées aux mesures de Dirac dans les espaces de type Bergman à poids.

Um der Mikrowellenerwärmung als Single- oder Hybridanwendung im industriellen Ofenbau ein weiteres Anwendungsspektrum zu eröffnen, wird dem Anlagenkonstrukteur im Rahmen dieser Arbeit eine Aufstellung von Entwicklungsprioritäten und Konstruktionshinweisen übergeben. Für eine energieeffiziente Ausnutzung des technologischen Potenzials wird hierbei nicht - wie in der Vergangenheit - die Feldstärkenverteilung, sondern das Reflexionsverhalten in den Vordergrund gestellt. Durch die Entwicklung und den Aufbau eines Messplatzes zur Bestimmung temperaturspezifischer Dielektrizitätsparameter konnte die Realitätsnähe der Simulation für die anwendungsorientierte Applikatorentwicklung gesteigert werden. Die Anwendbarkeit der Auslegungskriterien wird im Rahmen der Projektierung und des Aufbaus einer Beispielanlage zur Entbinderung von keramischen Grünkörpern und bei der Entwicklung zahlreicher mikrowellenspezifischer Anlagenbauteile verifiziert.

This dissertation deals with selected areas within capital budgeting theory and practice. The first part is focused on possibilities how to improve traditional financial metrics as net present value and internal rate of return by using graphical tools for their interpretation. The main practical problem can be considered not the methodology itself, but the inability to predict future cash flows correctly. The special attention is paid to depreciation in connection with Czech accounting and tax legislation and its influence on capital decisions. The second part of the dissertation concentrates on real option analysis. The crucial difference between net present value and real options analysis is in how these methods deal with the risk. Mathematical approach is used to derive how the volatility and other parameters affect the theoretical value of an investment determined by real option. The more volatile the future cash flows are the higher theoretical value of the real option should be. Nevertheless, there are some exceptions that are analysed in this paper. In final chapter, total cost of ownership and real option analysis are used to evaluate option to switch from on-premise IT solution to cloud computing.

Um der Mikrowellenerwärmung als Single- oder Hybridanwendung im industriellen Ofenbau ein weiteres Anwendungsspektrum zu eröffnen, wird dem Anlagenkonstrukteur im Rahmen dieser Arbeit eine Aufstellung von Entwicklungsprioritäten und Konstruktionshinweisen übergeben. Für eine energieeffiziente Ausnutzung des technologischen Potenzials wird hierbei nicht - wie in der Vergangenheit - die Feldstärkenverteilung, sondern das Reflexionsverhalten in den Vordergrund gestellt. Durch die Entwicklung und den Aufbau eines Messplatzes zur Bestimmung temperaturspezifischer Dielektrizitätsparameter konnte die Realitätsnähe der Simulation für die anwendungsorientierte Applikatorentwicklung gesteigert werden. Die Anwendbarkeit der Auslegungskriterien wird im Rahmen der Projektierung und des Aufbaus einer Beispielanlage zur Entbinderung von keramischen Grünkörpern und bei der Entwicklung zahlreicher mikrowellenspezifischer Anlagenbauteile verifiziert.