Dissertations / Theses on the topic 'Ordre Mixte'

Dans le cas d'une production à la commande (Make To Order), l'ordre de production n'est passé à l'exécution qu'après la réception d'une commande ferme. Dans le cas d'une production par anticipation (Make To Stock), les produits sont fabriqués par anticipation des demandes futures et placés dans un stock à partir duquel les demandes seront directement satisfaites. Il est assez fréquent de combiner ces deux modes fondamentaux (MTO et MTS) ; en particulier dans les secteurs industriels où l'activité de l'entreprise se partage en deux grandes activités. Une activité de base, associée à un nombre réduit de références produites régulièrement en grandes quantités (the High Volume products), et une activité complémentaire, associée à la production irrégulière en faible quantité d'un grand nombre de références différentes (the Low Volume products). Dans une telle situation, l'activité de base (HV) est généralement gérée en MTS tandis que l'activité complémentaire (LV) est gérée en MTO. L'approche la plus simple pour piloter ces flux consiste à utiliser une politique " premier arrivé premier sorti " (First-In-First-Out). Les demandes seront donc traitées selon leur ordre d'arrivée indépendamment du fait qu'ils soient HV ou LV. Une approche alternative consiste à donner une priorité aux produits LV (the PRiority policy). L'idée est de donner une réactivité maximale pour ces produits, permettant ainsi de les fabriquer à la commande tout en leur assurant encore une bonne réactivité par rapport aux clients. L'objectif de la thèse est d'étudier l'intérêt de cette deuxième approche (le mode PR), en terme de coût et aussi en terme d'impact sur le choix optimal des modes MTO et/ou MTS.

In this paper I extend the method of mixed monotony, to construct monotone sequences that converge to the unique solution of an initial value delay differential equation.
En este artículo se prueba una generalización del método de monotonía mixta, para construir sucesiones monótonas que convergen a la solución única de una ecuación diferencial de retraso con valor inicial.

Cette thèse interroge l’apprentissage du calcul de durée entre deux instants au format Heure Minute (HM) dans le système français sur l’exemple de la Guadeloupe dont le système éducatif est largement organisé selon le modèle national. En particulier, en mathématiques, les prescrits en vigueur et les manuels employés sont les mêmes qu’en France hexagonale.Compte tenu de la complexité du concept de temps, nous avons cherché, dans une première partie, à en préciser certains aspects (philosophiques, anthropologiques, physiques, sociaux) afin de mieux comprendre sa place dans l’institution scolaire française. Nous abordons la question du calcul de durée sous l’angle de la transposition didactique (Chevallard, 1985), de la théorie anthropologique du didactique (Chevallard, 1985) et du site local d’une question (Silvy & Delcroix, 2009). Les pratiques des professeurs, concernant cet enseignement, sont analysées au travers du concept de PCK (Shulman, 1987) et de ses approfondissements (Magnusson, Krajcik & Borko, 1999 ; Mangane et Kermen, 2016). Ce cadre théorique est complété d’une étude de l’évolution des programmes scolaires français de 1882 à 2016 qui montre que l’apprentissage de la soustraction en colonne de nombres complexes HM a bénéficié d’un traitement analogue à celui de la soustraction de nombres décimaux jusqu’à la réforme des mathématiques modernes des années 1970. Puis, cet apprentissage cesse d’être exigé par les programmes au profit du calcul raisonné à l’aide d’utilisation de ligne numérique (virtuelle ou dessinée). Depuis 2016, l’apprentissage de la soustraction de nombres HM est de nouveau un attendu des programmes.Dans une première enquête, nous nous sommes interrogés sur les effets des bouleversements institués par les différents programmes sur les manuels scolaires. Nous avons pu constater que les manuels scolaires français anciens présentaient différentes techniques de calcul de la soustraction de nombres HM (par complément, par emprunt ou par compensation), mais que depuis 1970, une seule technique subsiste. Cette enquête est parachevée par une étude de propositions d’enseignement d’Angleterre, dans la mesure où – dans ce pays – les systèmes d’unités à base autre que décimale sont très présents et que cela pouvait influer sur les conceptions à l’égard de l’enseignement des nombres complexes HM. Nous avons ainsi mis en évidence dans ce pays des techniques s’appuyant principalement sur les entiers relatifs.Un deuxième volet d’enquête questionne les pratiques de formation des conseillers pédagogiques du premier degré en mathématiques de Guadeloupe et d’enseignement de six professeurs du premier et du second degré relativement au calcul de durée. Dans la limite de notre enquête, de nature qualitative, il semble que les enseignants ne maitrisent que la technique présentée dans les manuels et qu’ils ne disposent plus des technologies liées à cet apprentissage.En conclusion, il nous semble avoir montré que les propositions d’enseignement et les connaissances des professeurs semblent actuellement insuffisantes pour contribuer à un apprentissage efficient de la soustraction de nombres HM. En outre, le site local de la soustraction posée HM, permet d’envisager différentes techniques et technologies sur lesquelles pourrait s’appuyer cet enseignement. Enfin, la typologie des erreurs de la soustraction de nombres complexes HM nous semble pouvoir être utilisée dans le cadre de la remédiation et de la formation des enseignants
This thesis is about the learning of elapsed time between two moments in Hour Minute (HM) format in the French system according to the example of Guadeloupe whose educational system is organized according to the national model. In mathematics, the curriculum and the school textbook used are the same as in France mainland.Considering the complexity of the concept of time, we sought, in a first part, to specify certain aspects (philosophical, anthropological, physical, social) to better understand its place in the French school system. We face the question of the calculation of duration from the view point of didactic transposition (Chevallard, 1985), the anthropological theory of didactics (Chevallard, 1985) and the local site of a (mathematical) question (Silvy & Delcroix, 2009). Teachers' practices concerning this teaching are analyzed through the concept of PCK (Shulman, 1987) and its deepening (Magnusson, Krajcik & Borko, 1999 ; Mangane & Kermen, 2016). This theory is completed by a study of the evolution of the French school curriculum from 1882 to 2016, which shows that the learning of column subtraction with complex numbers HM has the same level of treatment as the subtraction of decimals numbers until the reform of modern mathematics in the 1970s. Then this learning is no longer required by the programs and the use of reasoned calculation using digital line (virtual or drawn) is recommended. Since 2016, learning the subtraction of numbers HM appears again in the programs.In a first part of the work, we thought about the effects of the upheavals caused by the various programs on textbooks. We have seen that the old French textbooks proposed different techniques of calculating for the subtraction of HM numbers (by complement, by loan or by compensation), but since 1970, only one technique remains. This survey is completed by a study of teaching proposals from England. In fact, in this country, non-decimal unit systems are very much present so that it could influence the conceptions of teaching complex numbers HM. In this country, we have found techniques mainly based on relative numbers.A second part of the work deals with the practices of first-level educational advisers in mathematics in Guadeloupe and the teaching practices of six first- and second-degree teachers about elapsed time. In the limit of our survey, of a qualitative nature, it seems that the teacher’s only master the technique showed in the textbooks and that they don’t have the technologies of this learning.To conclude, it seems that the teaching proposals and the teachers' knowledge are now insufficient to contribute to an efficient learning of the subtraction of HM numbers. In addition, the local (mathematical) site of the subtraction allows considering various techniques and technologies on which this teaching could be based. Finally, the typology of the errors of the subtraction of HM complex numbers that we obtained could be used for the remediation and the training of the teachers

La réduction d'ordre de modèles d'un problème de contact demeure un sujet de recherche important en mécanique numérique des solides.Nous proposons une extension de l'hyper-réduction avec domaine d'intégration réduit à la mécanique du contact sans frottement s'écrivant à l'aide d'une formulation mixte.Comme la zone de contact potentiel se limite au domaine réduit, nous faisons le choix de prendre comme base réduite pour la variable duale (représentative des forces de contact) la base du modèle d'ordre plein restreinte.Nous obtenons ainsi un modèle hyper-réduit hybride avec une approximation de la variable primale par des modes empiriques et de la variable duale par les fonctions de base des éléments finis. Si nécessaire, la condition inf-sup de ce modèle peut être forcée par une approximation hybride la variable primale. Cela mène à une stratégie hybride combinant un modèle d'ordre hyper-réduit et un modèle d'ordre plein permettant l'obtention d'une meilleure approximation de la solution sur la zone de contact.Un post-traitement permettant la reconstruction des multiplicateurs de Lagrange sur l'ensemble de la zone de contact est également introduit.De manière à optimiser la sélection des snapshots, un indicateur d'erreur simple et efficace est avancé pour être couplé à un algorithme glouton
The model order reduction of mechanical problems involving contact remains an important issue in computational solid mechanics.An extension of the hyper-reduction method based on a reduced integration domain to frictionless contact problems written by a mixed formulation is proposed.As the potential contact zone is naturally reduced through the reduced domain, the dual reduced basis is chosen as the restriction of the dual full-order model basis.A hybrid hyper-reduced model combining empirical modes for primal variables with finite element approximation for dual variables is then obtained.If necessary, the inf-sup condition of this hybrid saddle point problem can be enforced by extending the hybrid approximation to the primal variables. This leads to a hybrid hyper-reduced/full-order model strategy. By this way, a better approximation on the potential contact zone is furthermore obtained.A post-treatment dedicated to the reconstruction of the contact forces on the whole domain is introduced.In order to optimize the snapshots selection, an efficient error indicator is coupled to a greedy sampling algorithm leading to a robust reduced-order model

Le secteur de communications sécurisés et portables connait une véritable révolution avec l’apparition des plateformes dites radios logiciels (Software Defined Radios, SDRs). Les performances exceptionnelles de ces systèmes sont les résultats d’une interaction assez complexe et souvent peu évidente entre le logiciel embarqué, le circuit de traitement numérique et les blocs mixtes analogiques/RF. Cette complexité limite la testabilité du produit fini. La méthodologie de test utilisée actuellement a atteint ses limites dues au cout élevé, le long temps de test et le bas degré de généralisation. De plus, les plateformes SDRs peuvent évoluer sur le terrain et elles vont supporter des standards et des scénarios qui n’ont pas été considérés pendant le la phase de conception. Donc, une stratégie de test sur le terrain (en ligne) n’est plus une caractéristique optionnelle mais une nécessité. Dans ce contexte, le but de notre recherche est d’inventer et développer une méthodologie de test capable de garantir le bon fonctionnement d’une plateforme SDR après la production et pendant sa vie. Notre objectif final est de réduire le coût du test en profitant de la reconfigurabilité de la plateforme. Pour les radios tactiques qui doivent être mises à jour sur le terrain sans équipement spécial, les stratégies Built-In Self-Test (BIST) sont, sans doute, la seule moyenne de garantir la conformité aux spécifications. Dans cette mémoire, nous introduisons une nouvelle architecture de test RF BIST qui utilise la technique de de sous-échantillonnage nonuniform à la sortie de l’émetteur (TX) d’une SDR afin d’évaluer la conformité de la masque spectrale. Notre solution s’appuie sur une implémentation autonome, est modulable et peut être appliquée pour le test sur le terrain avec des modifications minimes. Par rapport aux autres techniques de test analogiques/RF, cet approche ne dépends pas de la architecture du TX, ni d’un modèle ad-hoc, ce qui est idéale pour le test des SDRs
The advent of increasingly powerful Integrated Circuits (IC) has led to the emergence of the Software Defined Radio (SDR) concept, which brought the sector of secured mobile communications into a new era. The outstanding performance of these systems results from optimal trade-offs among advanced analog/Radio Frequency (RF) circuitry, high-speed reconfigurable digital hardware and sophisticated real-time software. The inherent sophistication of such platforms poses a challenging problem for product testing. Currently deployed industrial test strategies face rising obstacles due to the costlier RF test equipment, longer test time and lack of flexibility. Moreover, an SDR platform is field-upgradeable, which means it will support standards and scenarii not considered during the design phase. Therefore, an in-field test strategy is not anymore 'a nice to have' feature but a mandatory requirement. In this context, our research aims to invent and develop a new test methodology able to guarantee the correct functioning of the SDR platform post-fabrication and over its operational lifetime. The overall aim of our efforts is to reduce post-manufacture test cost of SDR transceivers by leveraging the reconfigurability of the platform.For tactical radio units that must be field-upgradeable without specialized equipment, Built-in Self-Test (BIST) schemes are arguably the only way to ensure continued compliance to specifications. In this study we introduce a novel RF BIST architecture which uses Periodically Nonuniform Sampling (PNS2) of the transmitter (TX) output to evaluate compliance to spectral mask specifications. Our solution supports a stand-alone implementation, is scalable across a wide set of complex specifications and can be easily applied for in-field testing with small added hardware. Compared to existing analog/RF test techniques, this approach is not limited to a given TX architecture and does not rely on an ad-hoc TX model, which makes it ideal for SDR testing

Pratiquement toutes les chambres de combustion présentent des instabilités. Par conséquent, il est nécessaire de mieux les comprendre afin de les contrôler. Une possibilité est de simuler l'écoulement réactif à l'intérieur d'une chambre de combustion grâce à la Simulation aux Grandes Echelles (SGE). Cependant la SGE est très coûteuse en terme de capacité de calcul. Une autre possibilité est de réduire la complexité du problème à une simple équation d'onde thermoacoustique (équation dite de Helmholtz), qui peut être résolue en fréquence comme un problème aux valeurs propres. Le couplage entre l'acoustique et la flamme est alors prise en compte au travers des modèles appropriés. Le principal problème de cette méthode est qu'elle repose sur l'hypothèse d'un nombre de Mach nul. Tous les phénomènes liés à l'écoulement moyen sont donc négligés. La présente thèse propose une nouvelle stratégie pour prendre en compte certains effets de l'écoulement dans un contexte à Mach nul. Dans une première partie, la manière la plus judicieuse d'imposer un élément présentant un écoulement très rapide est étudiée. La seconde partie se focalise sur le couplage entre l'acoustique et les hétérogénéités de température qui sont générées par la flamme et naturellement convectées par l'écoulement moyen. Ce phénomène est important car il est responsable du bruit indirect de combustion qui peut conduire à une instabilité thermoacoustique. Un nouveau type de condition limite (DECBC) est proposé afin de prendre en compte ce mécanisme dans un contexte de résolution de l'équation de Helmholtz à Mach nul. Dans la dernière partie, une chambre de combustion aéronautique présentant une instabilité mixte acoustique/entropique est étudiée. Le bénéfice des méthodes développées dans la présente thèse est testé et comparé à des calculs avec la SGE. Il est montré que les calculs avec un solveur de Helmholtz peuvent reproduire une instabilité de combustion complexe, et que cet outil s'avère avoir le potentiel pour prédire les instabilités afin de concevoir de nouvelles chambres de combustion.

Dans cette thèse, tout d’abord, nous faisons l’Analyse Mathématique du modèle exact du chauffage radiatif d’un corps semi-transparent $\Omega$ par une source radiative noire qui l’entoure. Il s’agit donc d’étudier le couplage d’un système d’Equations de Transfert Radiatif avec condition au bord de réflectivité indépendantes avec une équation de conduction de la chaleur non linéaire avec condition limite non linéaire de type Robin. Nous prouvons l’existence et l’unicité de la solution et nous démontrons des bornes uniformes sur la solution et les intensités radiatives dans chaque bande de longueurs d’ondes pour laquelle le corps est semi-transparent, en fonction de bornes sur les données, Deuxièmement, nous considérons le problème du contrôle optimal de la température absolue à l’intérieur du corps semi-transparent $\Omega$ en agissant sur la température absolue de la source radiative noire qui l’entoure. À cet égard, nous introduisons la fonctionnelle coût appropriée et l’ensemble des contrôles admissibles $T_{S}$, pour lesquels nous prouvons l’existence de contrôles optimaux. En introduisant l’espace des états et l’équation d’état, une condition nécessaire de premier ordre pour qu’un contrôle $T_{S}$ : t ! $T_{S}$ (t) soit optimal, est alors dérivée sous la forme d’une inéquation variationnelle en utilisant le théorème des fonctions implicites et le problème adjoint. Ensuite, nous considérons le problème de l’existence et de l’unicité d’une solution faible des équations de la thermoviscoélasticité dans une formulation mixte de type Hellinger- Reissner, la nouveauté par rapport au travail de M.E. Rognes et R. Winther (M3AS, 2010) étant ici l’apparition de la viscosité dans certains coefficients de l’équation constitutive, viscosité qui dépend dans ce contexte de la température absolue T(x, t) et donc en particulier du temps t. Enfin, nous considérons dans ce cadre le problème du contrôle optimal de la déformation du corps semi-transparent $\Omega$, en agissant sur la température absolue de la source radiative noire qui l’entoure. Nous prouvons l’existence d’un contrôle optimal et nous calculons la dérivée Fréchet de la fonctionnelle coût réduite
This thesis begins with a rigorous mathematical analysis of the radiative heating of a semi-transparent body made of glass, by a black radiative source surrounding it. This requires the study of the coupling between quasi-steady radiative transfer boundary value problems with nonhomogeneous reflectivity boundary conditions (one for each wavelength band in the semi-transparent electromagnetic spectrum of the glass) and a nonlinear heat conduction evolution equation with a nonlinear Robin boundary condition which takes into account those wavelengths for which the glass behaves like an opaque body. We prove existence and uniqueness of the solution, and give also uniform bounds on the solution i.e. on the absolute temperature distribution inside the body and on the radiative intensities. Now, we consider the temperature $T_{S}$ of the black radiative source S surrounding the semi-transparent body $\Omega$ as the control variable. We adjust the absolute temperature distribution (x, t) 7! T(x, t) inside the semi-transparent body near a desired temperature distribution Td(·, ·) during the time interval of radiative heating ]0, tf [ by acting on $T_{S}$. In this respect, we introduce the appropriate cost functional and the set of admissible controls $T_{S}$, for which we prove the existence of optimal controls. Introducing the State Space and the State Equation, a first order necessary condition for a control $T_{S}$ : t 7! $T_{S}$ (t) to be optimal is then derived in the form of a Variational Inequality by using the Implicit Function Theorem and the adjoint problem. We come now to the goal problem which is the deformation of the semi-transparent body $\Omega$ by heating it with a black radiative source surrounding it. We introduce a weak mixed formulation of this thermoviscoelasticity problem and study the existence and uniqueness of its solution, the novelty here with respect to the work of M.E. Rognes et R. Winther (M3AS, 2010) being the apparition of the viscosity in some of the coefficients of the constitutive equation, viscosity which depends on the absolute temperature T(x, t) and thus in particular on the time t. Finally, we state in this setting the related optimal control problem of the deformation of the semi-transparent body $\Omega$, by acting on the absolute temperature of the black radiative source surrounding it. We prove the existence of an optimal control and we compute the Fréchet derivative of the associated reduced cost functional

Les simulations numériques représentent un outil fondamental pour la conception et l'optimisation de procédés industriels de fabrication tels que le soudage. Malgré le développement impressionnant des méthodes numériques et des moyens de calcul utilisables, la complexité des procédés de fabrication et les nouvelles exigences des industries les plus avancées obligent à repenser les méthodes, les stratégies et les algorithmes de simulation disponibles. Dans cette thèse, de nouvelles méthodes numériques avec une approche de Réduction des Modèles sont proposées, une discipline consolidée qui a fourni des solutions étonnantes dans différentes applications, comme les procédés de fabrication avancés. Tout d'abord, différentes stratégies sont proposées pour la simulation efficace des procédés de soudage conventionnel, à cet effet, l'utilisation de Computational Vademecums est introduite. L’introduction de ces abaques numériques améliorent des méthodes telles que : les Éléments Finis Généralisés pour le calcul thermique, l'approche local-global pour le calcul mécanique et enfin, la construction directe des abaques numériques utiles pour la phase de pré-design. En second lieu, un solveur PGD efficace est présenté pour les simulations thermo-mécaniques de soudage par friction-malaxage. Cette thèse montre comment la réduction des modèles,en plus d'être une fin en soi, peut être un excellent ingrédient pour améliorer l'efficacité des méthodes numériques traditionnelles. Cela représente un grand intérêt pour l'industrie
Numerical simulations represent a fundamental tool for the design and optimization of industrial manufacturing processes such as welding. Despite the impressive development of the numerical methods and the means of calculation, the complexity of these processes and the new demands of the more advanced industries make it necessary to rethink the available methods, strategies and simulation algorithms. In this thesis, we propose new numerical methods with a Model Order Reduction approach, a consolidated discipline that has provided surprising solutions indifferent applications, such as advanced manufacturing processes. First, different strategies for the efficient simulation of conventional welding processes are proposed. To this end, the use of Computational Vademecums is introduced for the improvement of methods such as the Generalized Finite Element for thermal calculation, the local-global approach for the mechanical calculation or the direct construction of vademecums useful for predesign phases. Then, an efficient PGD solver for thermomechanical simulations for friction stir welding is presented. This thesis shows how Model Reduction, besides being an end, it can be an excellent ingredient to improve the efficiency of traditional numerical methods, with great interest for the industry

L'objet de la thèse est la modélisation de systèmes hétérogènes intégrant différents domaines de la physique et à signaux mixtes, numériques et analogiques (AMS). Une étude approfondie de différentes techniques d'extraction et de calibration de modèles comportementaux de composants analogiques à différents niveaux d'abstraction et de précision est présentée. Cette étude a mis en lumière trois approches principales qui ont été validées par la modélisation de plusieurs applications issues de divers domaines: un amplificateur faible bruit (LNA), un capteur chimique basé sur des ondes acoustiques de surface (SAW), le développement à plusieurs niveaux d'abstraction d'un capteur CMOS vidéo, et son intégration dans une plateforme industrielle. Les outils développés sont basés sur les extensions AMS du standard IEEE 1666 SystemC mais les techniques proposées sont facilement transposables à d'autres langages tels que VHDL-AMS ou Verilog-AMS utilisés en conception de dispositifs mixtes.

L’esercito italiano e la conquista della Catalogna (1808-1811) Uno studio di Military Effectiveness nell’Europa napoleonica Settori scientifico-disciplinari SPS/03 – M-STO/02 La ricerca ha lo scopo di ricostruire e valutare l’effettività militare dell’esercito italiano al servizio di Napoleone I. In primo luogo attraverso un’analisi statistica e strategica della costruzione, e del successivo impiego, dell’istituzione militare del Regno d’Italia durante gli anni della sua esistenza (1805-14); successivamente, è stato scelto un caso di studi particolarmente significativo, come la campagna di Catalogna (1808-11, nel contesto della guerra di Indipendenza spagnola), per poter valutare il contributo operazionale e tattico dei corpi inviati dal governo di Milano e la loro integrazione con l’apparato militare complessivo del Primo Impero. La tesi ha voluto rispondere alla mancanza di studi sul comportamento in guerra dell’esercito italiano e, allo stesso tempo, introdurre nella storiografia militare italiana la metodologia di studi, d’origine anglosassone e ormai di tradizione trentennale, di Military Effectiveness. La ricerca si è primariamente basata, oltre che sulla copiosa memorialistica a stampa italiana e francese, sulla documentazione d’archivio della Secrétairerie d’état impériale (Archives Nationales di Pierrefitte-sur-Seine, Parigi), del Ministère de la Guerre francese (Service historique de la Défence, di Vincennes, Parigi) e del Ministero della Guerra del Regno d’Italia (Archivio di Stato di Milano). Dal punto di vista dei risultati è stato possibile verificare come l’esercito italiano abbia rappresentato, per Bonaparte, uno strumento duttile e di facile impiego, pur in un contesto di sostanziale marginalità numerica complessiva di fronte alle altre (e cospicue) forze messe in campo da parte dell’Impero e dei suoi altri Stati satellite e alleati. Per quanto riguarda la campagna di conquista della Catalogna è stato invece possibile appurare il fondamentale contributo dato dal contingente italiano, sotto i punti di vista operazionale e tattico, per la buona riuscita dell’invasione; questo primariamente grazie alle elevate caratteristiche generali mostrate dallo stesso, ma anche per peculiarità disciplinari e organizzative che resero i corpi italiani adatti a operazioni particolarmente aggressive.
The Italian Army and the Conquest of Catalonia (1808-1811) A Study of Military Effectiveness in Napoleonic Europe Academic Fields and Disciplines SPS/03 – M-STO/02 The research has the purpose of reconstruct and evaluate the military effectiveness of the Italian Army existed under the reign of Napoleon I. Firstly through a statistic and strategic analysis of the development, and the following deployment, of the military institution of the Kingdom of Italy in the years of its existence (1805-14). Afterwards, a particularly significant case study was chosen, as the campaign of Catalonia (1808-11, in the context of the Peninsular War), in order to assess the operational and tactical contribution of the regiments sent by the Government of Milan and their integration in the overall military apparatus of the First Empire. The thesis wanted to respond to the lack of studies on the Italian army’s behavior in war and, at the same time, to introduce the methodology of the Military Effectiveness Studies (of British and American origin and, by now, enriched by a thirty-year old tradition) in the Italian historiography. The research is primarily based, besides the numerous memoirs of the Italian and French veterans, on the archive documentation of the Secrétairerie d’état impériale (Archives Nationales of Pierrefitte-sur-Seine, Paris), of the French Ministère de la Guerre (Service historique de la Défence, of Vincennes, Paris) and of the Italian Ministero della Guerra (Archivio di Stato di Milano). About the results, it has been verified how the Italian army has become a flexible and suitable instrument for Bonaparte, albeit in a context of substantial overall numerical marginality in comparison to the heterogeneous forces available to the Empire and its others satellites and allied states. Regarding the campaign of Catalonia, instead, it was possible to ascertain the fundamental contribution of the Italian regiments, in an operational and tactical perspective, for the success of the invasion. This was primarily due to the excellent general characteristics shown by the expeditionary force, but also to disciplinary and organizational peculiarities that have made the Italian corps suitable for particularly aggressive operations.

Mes travaux de recherche portent sur la théorie de la démonstration, le lambda-calcul et l'informatique théorique, dans la ligne de la correspondance de Curry-Howard entre les preuves et les programmes.

Dans ma thèse de doctorat, j'ai étudié les opérateurs de mise en mémoire pour les types de données. Ces notions, qui sont introduites par Krivine, permettent de programmer en appel par valeur tout en utilisant la stratégie de la réduction de tête pour exécuter les $\lambda$-termes. Pour cette étude, j'ai introduit avec David une extension du $\lambda$-calcul avec substitutions explicites appelée $\lambda$-calcul dirigé. Nous en avons déduit une nouvelle caractérisation des termes de mise en mémoire et obtenu des nombreux résultats très fins à leur sujet. En ce qui concerne le typage des opérateurs de mise en mémoire, Krivine a trouvé une formule du second ordre, utilisant la non-non traduction de Gödel de la logique classique dans la logique intuitionniste, qui caractérise ces opérateurs. Je me suis attaché à diverses généralisations du résultat de Krivine pour les types à quantificateur positif dans des extensions de la logique des prédicats du second ordre.

J'ai poursuivi, après ma thèse, une activité de recherche sur l'extension de la correspondance de Curry-Howard à la logique classique, au moyen des instructions de contrôle. J'ai étudié des problèmes liés aux types de données dans deux de ces systèmes : le $\lambda \mu$-calcul de Parigot et le $\lambda C$-calcul de Krivine. J'ai donné des algorithmes très simples permettant de calculer la valeur d'un entier classique dans ces deux systèmes. J'ai également caractérisé les termes dont le type est l'une des règles de l'absurde. J'ai étendu le système de Parigot pour en obtenir une version non déterministe mais où les entiers se réduisent toujours en entiers de Church. Curieusement, ce système permet de programmer la fonction ``ou parallèle''.

Je me suis intéressé aux systèmes numériques qui servent à représenter les entiers naturels au sein du $\lambda$-calcul. J'ai montré que pour un tel système, la possession d'un successeur, d'un prédécesseur et d'un test à zéro sont des propriétés indépendantes, puis qu'un système ayant ces trois fonctions possède toujours un opérateur de mise en mémoire. Dans un cadre typé, j'ai apporté une réponse négative à une conjecture de Tronci qui énonçait une réciproque du résultat précédent.

La notion de mise en mémoire ne s'applique qu'à des types de données. Une définition syntaxique a été donné par Böhm et Berarducci, et Krivine a proposé une définition sémantique de ces types. J'ai obtenu avec Farkh des résultats reliant la syntaxe et la sémantique des types de données. Nous avons proposé également des définitions des types entrée et des types sortie pour lesquelles nous avons montré diverses propriétés syntaxiques et sémantiques.

J'ai réussi à combiner la logique intuitionniste et la logique classique en une logique mixte. Dans cette logique, on distingue deux genres de variables du second ordre, suivant que l'on peut, ou non, leur appliquer le raisonnement par l'absurde. Ce cadre m'a permi de donner le type le plus général pour les opérateurs de mise en mémoire. Vu le rôle important que cette logique semble devoir jouer dans la théorie de ces opérateurs, j'en ai mené avec A. Nour une étude théorique approfondie. Le système de logique mixte propositionnelle auquelle nous avons abouti évoque les sytèmes $LC$ de Girard et $LK^{tq}$ de Danos, Joinet et Schellinx.

Je me suis intéressé avec David à l'équivalence induite par l'égalité entre les arbres de Böhm infiniment $\eta$-expansés. Avec Raffalli, je me suis également intéressé à la sémantique de la logique du second ordre.