The thesis studies classes of Boolean formulae for which the well-known satisfiability problem is solvable in polynomially bounded time. It focusses on classes based on unit resolution; it describe classes of unit refutation complete formulae, unit propagation complete formulae and focuses on the class of SLUR formulae. It presents properties of SLUR formulae as well as the recently obtained results. The main result is the coNP-completness of membership testing. Finally, several hierarchies are built over the SLUR class and their properties and mutual relations are studied. Powered by TCPDF (www.tcpdf.org)

En abordant les nombres spéciaux comme les sommes harmoniques ou les polyzêtassous leur aspect combinatoire, nous introduisons d’abord la définition d’un produitentre mots, dit produit de quasi-mélange q-déformé, une généralisation des produits demélange et de quasi-mélange, ce qui nous permet de construire des structures complètesd’algèbre de Hopf en dualité. En même temps, nous construisons des bases en dualité,contenant des bases de transcendance associées aux mots de Lyndon, et des formules explicitessur lesquelles les sommes harmoniques, les polyzêtas ou les polylogarithmes sontindexés et représentés par la factorisation de la série génératrice noncommutative diagonale.De cette façon, nous déterminons des développements asymptotiques des sommesharmoniques, indexées par ces bases, grâce à leur série génératrice et à la formule d’EulerMaclaurin. Nous établissons également une équation de liaison sur les polyzêtas, quiapparaissent comme les parties finies des développements asymptotiques des sommesharmoniques et des polylogarithmes, reliant entre elles deux structures algébriques. Enidentifiant les coordonnées locales de cette équation, nous trouvons des relations polynomialeshomogènes, en poids, entre les polyzêtas. Pour accompagner cette étude théorique,nous proposons des algorithmes et un package en Maple afin de calculer des bases, lastructure des polyzêtas et des développements asymptotiques des sommes harmoniques. / Approaching special numbers as harmonic sums or polyzetas (multiple zetavalues) in the spirit of combinatorics, we first focus on the study of algebraic structureson words by introducing the definition of a product on words, called q-stuffle product, acommon generalisation of shuffle and quasi-shuffle products, which allows us to completelyconstruct Hopf algebras in duality. Simutaneously, we establish recurrent formulas inorder to compute bases in duality, containing transcendence bases tied to Lyndon wordson which harmonic sums, the polyzetas and polylogarithms are indexed. We use them torepresent the factorization of a diagonal noncommutative generating series. In this respect,we determine asymptotic expansions of harmonic sums thanks to their generatingseries and to Euler Maclaurin formula. We also establish a bridge equation of polyzetas,which appear as fini parts in asymptotic expansions of harmonic sums and of polylogarithms,linking two algebraic structures. Through identification of local coordinates of thisequation, we can deduce homogenous, in weight, polynomial relations among polyzetasindexed on the bases.We also give algorithms and a package in Maple which, in practice,allowed us to find results and examples within this thesis.

Le premier chapitre de cette thèse introduit les différentes notions que nous utiliserons et présente les travaux qui constituent ce mémoire.Dans le deuxième chapitre de cette thèse nous donnons une construction ainsi que les principales propriétés de l'intégrale stochastique par rapport au mBm harmonisable. Y sont également établies des formules d'Itô et une formule de Tanaka pour l'intégrale stochastique par rapport à ce mBm..Dans le troisième chapitre nous donnons une nouvelle définition, à la fois plus simple et plus générale, du mouvement brownien multifractionnaire. Nous montrons ensuite que le mBm apparaît naturellement comme limite de suite de somme de mouvement brownien fractionnaire (fBm) d’indices de Hurst différents.Nous appliquons alors cette idée pour tenter de construire une intégrale stochastique par rapport au mouvement brownien multifractionnaire à partir d’intégrales par rapport au fBm. Cela fait nous appliquons cette définition d’intégrale par rapport au mBm pour une méthode d’intégration donnée aux deux méthodes que sont le calcul de Malliavin et la théorie du bruit blanc.Dans ce dernier cas nous comparons alors l’intégrale ainsi construite à celle obtenue au chapitre 2. Le quatrième et dernier chapitre est une application du calcul stochastique développé dans les chapitres précédents. Nous y proposons un modèle à volatilité multifractionnaire où le processus de volatilité est dirigée par un mBm. L’intérêt résidant dans le fait que l’on peut ainsi prendre en compte à la fois la dépendance à long terme des accroissements de la volatilité mais aussi le fait que la trajectoire de ces accroissements varie au cours du temps.Utilisant alors la théorie de la quantification fonctionnelle pour, entre autres, approximer la solution de certaines des équations différentielles stochastiques, nous parvenons à calculer le prix d’option à départ forward et implicitons ainsi une nappe de volatilité que l’on représente graphiquement pour différentes maturités. / The aim of this PhD Thesis was to build and develop a stochastic calculus (in particular a stochastic integral) with respect to multifractional Brownian motion (mBm). Since the choice of the theory and the tools to use was not fixed a priori, we chose the White Noise theory which generalizes, in the case of fractional Brownian motion (fBm) , the Malliavin calculus. The first chapter of this thesis presents several notions we will use in the sequel.In the second chapter we present a construction as well as the main properties of stochastic integral with respect to harmonizable mBm.We also give Ito formulas and a Tanaka formula with respect to this mBm. In the third chapter we give a new definition, simplier and generalier of multifractional Brownian motion. We then show that mBm appears naturally as a limit of a sequence of fractional Brownian motions of different Hurst index.We then use this idea to build an integral with respect to mBm as a limit of sum of integrals with respect ot fBm. This being done we particularize this definition to the case of Malliavin calculus and White Noise theory. In this last case we compare the integral hence defined to the one we got in chapter 2. The fourth and last chapter propose a multifractional stochastic volatility model where the process of volatility is driven by a mBm. The interest lies in the fact that we can hence take into account, in the same time, the long range dependence of increments of volatility process and the fact that regularity vary along the time.Using the functional quantization theory in order to, among other things, approximate the solution of stochastic differential equations, we can compute the price of forward start options and then get and plot the implied volatility nappe that we graphically represent.

Soit F ∈ Z[X1, . . . ,Xn] une forme décomposable, c’est-à-dire un polynôme homogène de degré d qui peut être factorisé en formes linéaires sur C. Notons NF (m) le nombre de solutions entières à l’inégalité |F(x)| ≤ m et VF (m) le volume de l’ensemble {x ∈ Rn :|F(x)| ≤ m}. En 2001, Thunder [19] a prouvé une conjecture de W.M. Schmidt, énonçant que, sous des conditions de finitude appropriées, on a NF (m) << m n/d où la constante implicite ne dépend que de n et d. En outre, il a montré une formule asymptotique NF (m) = m n/d V (F) + OF (m n/(d+n−2)) où, cependant, la constante implicite dépend de F. Dans des articles ultérieurs, la préoccupation de Thunder était d’obtenir une formule asymptotique similaire, mais avec la borne supérieure du terme d’erreur |NF (m) −m n/dV (F)| ne dépendant que de n et d. Dans [20] et [22], il a réussi à prouver que si gcd(n, d) = 1, la constante implicite dans le terme d’erreur peut en effet être fonction uniquement de n et d. L’objectif principal de cette thèse est d’étendre les résultats de Thunder au cadre p-adique. `A savoir, nous sommes intéressés par les solutions à l’inégalité |F(x)| · |F(x)|p1 . . . |F(x)|pr ≤ m en x = (x1, x2, . . . ,xn) ∈ Zn avec gcd(x1, x2, . . . ,xn, p1 · · · pr) = 1. (5.4.9) où p1, . . . , pr sont des nombres premiers distincts et |·|p désigne la valeur absolue p-adique habituelle. Le chapitre 1 est consacré au cadre p-adique de ce problème et aux preuves des lemmes auxiliaires. Le chapitre 2 est consacré à l’extension des résultats de Thunder de [19]. Dans le chapitre 3, nous montrons l’effectivité de la condition sous laquelle le nombre de solutions de (5.4.9) est fini. Le chapitre 4 et le chapitre 5 généralisent les résultats de Thunder dans [20], [21] et [22]. / Let F ∈ Z[X1, . . . ,Xn] be a decomposable form, that is, a homogeneous polynomial of degree d which can be factored into linear forms over C. Denote by NF (m) the number of integer solutions to the inequality |F(x)| ≤ m and by VF (m) the volume of the set{x ∈ Rn : |F(x)| ≤ m}. In 2001, Thunder [19] proved a conjecture of W.M. Schmidt, stating that, under suitable finiteness conditions, one has NF (m) << mn/d where the implicit constant depends only on n and d. Further, he showed an asymptotic formula NF (m) = mn/dV (F) + OF (mn/(d+n−2)) where, however, the implicit constant depends on F. In subsequent papers, Thunder’s concern was to obtain a similar asymptotic formula, but with the upper bound of the error term |NF (m)−mn/dV (F)| depending only on n and d. In [20] and [22], hemanaged to prove that if gcd(n, d) = 1, the implicit constant in the error term can indeed be made depending only on n and d.The main objective of this thesis is to extend Thunder’s results to the p-adic setting. Namely, we are interested in solutions to the inequality |F(x)| · |F(x)|p1 . . . |F(x)|pr ≤ m in x = (x1, x2, . . . ,xn) ∈ Zn with gcd(x1, x2, . . . ,xn, p1 · · · pr) = 1. (5.4.3)where p1, . . . , pr are distinct primes and | · |p denotes the usual p-adic absolute value.Chapter 1 is devoted to the p-adic set-up of this problem and to the proofs of the auxiliary lemmas. Chapter 2 is devoted to extending Thunder’s results from [19]. In chapter 3, we show the effectivity of the condition under which the number of solutions of (5.4.3) is finite. Chapter 4 and chapter 5 generalize Thunder’s results from [20], [21] and [22].

This thesis focuses on the development of pension formula and its detailed analysis for the 1996 -- 2012 time period. The theoretical part describes pension system in general and places the Czech pension system within the systems of other OECD members. In the practical part I analyze specific criteria of the formula and I estimate the impact of these criteria on the size of pension, and which of the criteria add to the solidariy of the pension system.

The diploma thesis focuses on the topic of the future regulatory regime of the insurance and reinsurance market of the European Union called Solvency II. Currently the most discussed issue without a final structure is an extensive set of legislative and technical changes not only in the area of solvency treatment. Primarily, the work focuses on the standard formula calculation of capital requirements that reflect the solvency position of companies on the market. The first part deals with the theoretical description of the calculating methods of the required capital levels under current and future rules on the basis of available official documents. Further the general overview of the Solvency II is presented, a more detailed description of the valuation techniques of balance sheet items for the purposes of Solvency II, dealing with company's own funds and possible ways to optimize the asset portfolio are also included. Some theoretical descriptions of computational procedures applied on a fictitious life insurance company are presented in the second, more practical part of the diploma thesis.

Dans cette thèse, on introduit la notion de revêtement potentiellement inséparable et on se propose de développer une théorie de la ramification pour ces derniers. Le langage utilisé est celui des schémas en groupoïdes. Après avoir établi quelques résultats préliminaires au chapitre 1, on prouve au chapitre 2 un théorème de quotient d'un schéma en groupoïdes par un sous-groupoïde. Au chapitre 3, on utilise ces résultats pour entreprendre l'étude générale du formalisme des revêtements inséparables. Enfin, au chapitre 4, on spécialise au cas des revêtements sous un schéma en groupes diagonalisable et on étudie en détail la structure de ces derniers. En particulier, on exprime le lieu Gorenstein de ces morphismes en fonction des constantes de structure du revêtement et on prouve dans ce cadre une formule analogue à la formule de Riemann-Hurwitz des revêtements ramifiés classiques. / In this thesis, we introduce the notion of inseparable coverings and we try to develop a ramification theory for such objects. We make use of the groupoid scheme formalism. In section 1, we establish preliminary results on scheme epimorphisms. We use these results in the next section to prove a quotient theorem for groupoid schemes.Then in section 3 we introduce the general formalism of inseparable coverings.Finally, in the last section we consider in greater details inseparable coverings given by the action of a diagonalizable group scheme. We compute the Gorenstein locus of these morphisms and we prove a formula analogous to the classical Riemann-Hurwitz formula.

This master thesis represents a step forward in vehicle dynamics of TU Brno Racing Formula Student team from Brno University of Technology monoposts. A detailed research focused on light automotive wheels. Its main part is to design and make a composite wheel for a formula monopost Dragon 9. The wheel design was formed from the rules side, car packaging, forces acting and limits of composite parts production. There’s a collection of CAD documentation of wheel designs, moulds and connected fixtures. The designed moulds for hollow carbon fiber wheels were manufactured. The technology in making of composite wheels is described in detail. Also, the ways of testing the wheel before a straight use on a race car were designed. There are several wheel prototypes made as an outcome of this thesis. The wheel design is reviewed in terms of functionality and manufacturing side of things.

Design of braking system for Formula Student vehicle. Braking system is one of the most important control system in every vehicle, even more in race car application. Only perfectly working braking system is capable bring the best results. In this diploma thesis are list of used parts with basic force calculation, design of pedal assembly in accordance with the rules of Formula Student, options for measuring and dataloging from ride for next development.

The main subject of this diploma thesis is computation of race car aerodynamics. It describes composition method of CFD model with utilization of 3D scanner ATOS and CAD software Pro Engineer. During creating this diploma thesis were found influences of additional aerodynamics components of racing car on globally axle loads.