Le nombre de degrés de liberté à contrôler dans un système d'optique adaptative (OA) passe de quelques centaines pour les grands télescopes actuels à plusieurs milliers prévus sur les futurs télescopes de 30 à 100 mètres de diamètre. La méthode de commande de cette OA doit être repensée à la fois pour être en adéquation avec les nouveaux critères de performance et pour pouvoir estimer un si grand nombre de paramètres en temps réel. Je montre d'abord qu'il est possible d'améliorer l'estimation de la déformation de la surface d'onde, d'un facteur 2 sur la variance de l'erreur, en tenant compte de connaissances a priori sur la statistique de la turbulence atmosphérique et ce, tout en utilisant un algorithme rapide adapté aux grands systèmes. Ensuite, l'optimisation d'un critère en boucle fermée me conduit à une commande optimale par modèle interne, applicable en temps réel sur un télescope hectométrique grâce à l'algorithme rapide cité précédemment. La robustesse de cette nouvelle méthode de commande a enfin été éprouvée sur un simulateur complet d'OA et ses performances ont été comparées à d'autres approches.

<p>The paper contains comment, clarification and criticism, even constructive criticism, of some theses that have been put forward by Laurence Bonjour in his In Defense of Pure Reason.</p><p>It presents a concept of experience that deals with the relation between cognizer and object of experience that has a great similarity to that of Bonjour. Through analysis it is shown that the concept of a priori entails that Bonjour has two concepts of a priori, a narrow and a broad one. The narrow one is, in my own words: According to moderate rationalism a proposition p is a priori justified if and only if you apprehend that p must be true in every possible world. This doesn’t mean that Bonjour doesn’t believe in an epistemological, metaphysical and semantic realm. The broad one does not mention anything about possible worlds.</p><p>Casullo in his A priori justification rejects Bonjour’s argument against Quine’s coherentism. A defense is put forward with the concept ‘an ideal of science for apparent rational insights’. The concept of axiomatic system and foundationalism is used. If we assume that the colour proposition ‘nothing can be red all over and green all over at the same time’ has the meaning that we, in this very moment, are representing a property in the world, thus we have an argument of superposition for the correctness of the proposition. The ground for this argumentation relies on the identification of colours with superposing electromagnetic waves.</p>

The solution of a single optimization problem often requires computationally-demanding evaluations; this is especially true in optimal design of engineering components and systems described by partial differential equations. We present a technique for the rapid and reliable optimization of systems characterized by linear-functional outputs of partial differential equations with affine parameter dependence. The critical ingredients of the method are: (i) reduced-basis techniques for dimension reduction in computational requirements; (ii) an "off-line/on-line" computational decomposition for the rapid calculation of outputs of interest and respective sensitivities in the limit of many queries; (iii) a posteriori error bounds for rigorous uncertainty and feasibility control; (iv) Interior Point Methods (IPMs) for efficient solution of the optimization problem; and (v) a trust-region Sequential Quadratic Programming (SQP) interpretation of IPMs for treatment of possibly non-convex costs and constraints. / Singapore-MIT Alliance (SMA)

The paper contains comment, clarification and criticism, even constructive criticism, of some theses that have been put forward by Laurence Bonjour in his In Defense of Pure Reason. It presents a concept of experience that deals with the relation between cognizer and object of experience that has a great similarity to that of Bonjour. Through analysis it is shown that the concept of a priori entails that Bonjour has two concepts of a priori, a narrow and a broad one. The narrow one is, in my own words: According to moderate rationalism a proposition p is a priori justified if and only if you apprehend that p must be true in every possible world. This doesn’t mean that Bonjour doesn’t believe in an epistemological, metaphysical and semantic realm. The broad one does not mention anything about possible worlds. Casullo in his A priori justification rejects Bonjour’s argument against Quine’s coherentism. A defense is put forward with the concept ‘an ideal of science for apparent rational insights’. The concept of axiomatic system and foundationalism is used. If we assume that the colour proposition ‘nothing can be red all over and green all over at the same time’ has the meaning that we, in this very moment, are representing a property in the world, thus we have an argument of superposition for the correctness of the proposition. The ground for this argumentation relies on the identification of colours with superposing electromagnetic waves.

To simulate real world problems modeled by differential equations, it is often not sufficient to  consider and tackle a single equation. Rather, complex phenomena are modeled by several partial dierential equations that are coupled to each other. For example, a heart beat involve electric activity, mechanics of the movement of the walls and valves, as well as blood fow - a true multiphysics problem. There may also be ordinary differential equations modeling the reactions on a cellular level, and these may act on a much finer scale in both space and time. Determining efficient and accurate simulation tools for such multiscalar multiphysics problems is a challenge. The five scientific papers constituting this thesis investigate and present solutions to issues regarding accurate and efficient simulation using adaptive finite element methods. These include handling local accuracy through submodeling, analyzing error propagation in time-dependent  multiphysics problems, developing efficient algorithms for adaptivity in time and space, and deriving error analysis for coupled PDE-ODE systems. In all these examples, the error is analyzed and controlled using the framework of dual-weighted residuals, and the spatial meshes are handled using octree based data structures. However, few realistic geometries fit such grid and to address this issue a discontinuous Galerkin Nitsche method is presented and analyzed.

On considère l'équation de convection-diffusion-réaction instationnaire. On s'intéresse à la dérivation d'estimations d'erreur a posteriori pour la discrétisation de cette équation par la méthode des volumes finis centrés par mailles en espace et un schéma d'Euler implicite en temps. Les estimations, qui sont établies dans la norme d'énergie, bornent l'erreur entre la solution exacte et une solution post-traitée à l'aide de reconstructions H(div, Ω)-conformes du flux diffusif et du flux convectif, et d'une reconstruction H_0^1(Ω)-conforme du potentiel. On propose un algorithme adaptatif qui permet d'atteindre une précision relative fixée par l'utilisateur en raffinant les maillages adaptativement et en équilibrant les contributions en espace et en temps de l'erreur. On présente également des essais numériques. Enfin, on dérive une estimation d'erreur a posteriori dans la norme d'énergie augmentée d'une norme duale de la dérivée en temps et de la partie antisymétrique de l'opérateur différentiel. Cette nouvelle estimation est robuste dans des régimes dominés par la convection et des bornes inférieures locales en temps et globales en espace sont également obtenues.

Kant is famous for his use of transcendental arguments in the transcendental deduction. This thesis examines how such a transcendental argument is used within Kant’s methodological framework. Following the work of Henrich and Walker, the paper asks whether transcendental arguments in the Critique of Pure Reason are compatible with Kant’s methodology in general. We find that these arguments and Kant’s methodology are compatible, and that transcendental arguments are indeed very weak arguments by Walker’s standards. However, the entire transcendental deduction should be understood as a deduction writing that uses transcendental arguments particularly effectively according to Kant’s own methodological standards.

This research is concerned with the self-adaptive numerical solution of the neutral particle radiation transport problem. Radiation transport is an extremely challenging computational problem since the governing equation is seven-dimensional (3 in space, 2 in direction, 1 in energy, and 1 in time) with a high degree of coupling between these variables. If not careful, this relatively large number of independent variables when discretized can potentially lead to sets of linear equations of intractable size. Though parallel computing has allowed the solution of very large problems, available computational resources will always be finite due to the fact that ever more sophisticated multiphysics models are being demanded by industry. There is thus the pressing requirement to optimize the discretizations so as to minimize the effort and maximize the accuracy. One way to achieve this goal is through adaptive phase-space refinement. Unfortunately, the quality of discretization (and its solution) is, in general, not known a priori; accurate error estimates can only be attained via the a posteriori error analysis. In particular, in the context of the finite element method, the a posteriori error analysis provides a rigorous error bound. The main difficulty in applying a well-established a posteriori error analysis and subsequent adaptive refinement in the context of radiation transport is the strong coupling between spatial and angular variables. This research attempts to address this issue within the context of the second-order, even-parity form of the transport equation discretized with the finite-element spherical harmonics method. The objective of this thesis is to develop a posteriori error analysis in a coupled space-angle framework and an efficient adaptive algorithm. Moreover, the mesh refinement strategy which is tuned for minimizing the error in the target engineering output has been developed by employing the dual argument of the problem. This numerical framework has been implemented in the general-purpose neutral particle code EVENT for assessment.

Many real-life applications such as the shape optimization of technological devices, the identification of parameters in environmental processes and flow control problems lead to optimization problems governed by systems of convection diusion partial dierential equations (PDEs). When convection dominates diusion, the solutions of these PDEs typically exhibit layers on small regions where the solution has large gradients. Hence, it requires special numerical techniques, which take into account the structure of the convection. The integration of discretization and optimization is important for the overall eciency of the solution process. Discontinuous Galerkin (DG) methods became recently as an alternative to the finite dierence, finite volume and continuous finite element methods for solving wave dominated problems like convection diusion equations since they possess higher accuracy. This thesis will focus on analysis and application of DG methods for linear-quadratic convection dominated optimal control problems. Because of the inconsistencies of the standard stabilized methods such as streamline upwind Petrov Galerkin (SUPG) on convection diusion optimal control problems, the discretize-then-optimize and the optimize-then-discretize do not commute. However, the upwind symmetric interior penalty Galerkin (SIPG) method leads to the same discrete optimality systems. The other DG methods such as nonsymmetric interior penalty Galerkin (NIPG) and incomplete interior penalty Galerkin (IIPG) method also yield the same discrete optimality systems when penalization constant is taken large enough. We will study a posteriori error estimates of the upwind SIPG method for the distributed unconstrained and control constrained optimal control problems. In convection dominated optimal control problems with boundary and/or interior layers, the oscillations are propagated downwind and upwind direction in the interior domain, due the opposite sign of convection terms in state and adjoint equations. Hence, we will use residual based a posteriori error estimators to reduce these oscillations around the boundary and/or interior layers. Finally, theoretical analysis will be confirmed by several numerical examples with and without control constraints

In the dissertation we discuss the rectangular elements, Adini's elements and $p-$order Lagrange elements, which were constructed in the rectangular finite spaces. The special rectangular partitions enable the finite element solutions $u_h$ more efficient in interpolation of the true solution for Elliptic equation $u_I$. The convergence rates of $|u_h-u_I|_1$ are one or two orders higher than the optimal convergence rates. For post-processings we construct higher order interpolation operation $Pi_p$ to reach superconvergence $|u-Pi_p u_h|_1$. To our best knowledge, we at the first time provided the a posteriori interpolant formulas of Adini's elements and biquadratic Lagrange elements to obtain the global superconvergence, and at the first time reported the numerical verification for supercloseness $O(h^4)-O(h^5) $, global superconvergence $O(h^5)$ in $H^1$-norm and the high rates $O(h^6|ln h|)$ in the infinity norm for Poisson's equation(i.e., $-Delta u = f$). Since the finite element methods is fail to deal with the singularity problems, in the dissertation, the combinations of the Ritz-Galerkin method and the finite element methods are used for the singularity problem, i.e., Motz's problem. To couple two methods along their common boundary, we adopt the simplified hybrid, penalty, and penalty plus hybrid techniques. The analysis are made in the dissertation to derive the almost best global superconvergence $O(h^{p+2-delta})$ in $H^1$-norm, $0<delta << 1$, for the combination using $p(geq 2)$-rectangles in the smooth subdomain, and the best global superconvergence $O(h^{3.5})$ in $H^1$-norm for combinations of Adini's elements in the smooth subdomain. The numerical experiments have been carried out for the combinations of the Ritz-Galerkin method and Adini's elements, to verify the theoretical superconvergence derived.