• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 143
  • 35
  • 6
  • 4
  • 1
  • 1
  • Tagged with
  • 197
  • 100
  • 27
  • 26
  • 20
  • 19
  • 17
  • 17
  • 17
  • 17
  • 16
  • 16
  • 15
  • 15
  • 14
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
181

L'énergie entre les opportunités de développement et les risques de la dégradation de la qualité de l'environnement : cas du gouvernorat de Sfax (Tunisie) / The energy between development opportunities and risks of the deteriorating quality of the environment : the case of Sfax (Tunisia)

Ben Hamida, Rania 05 November 2014 (has links)
Cette thèse répond à un double objectif, elle s’est concentrée d’une part sur le rôle joué par l’énergie dans le développement industrielle et économique des pays et d’autres parts sur les retombées de son usage sur l’environnement et l’état de santé des individus. Nous avons élaboré et exploité une base de données relative à la région de Sfax, qui a été utilisée pour l’analyse empirique adaptée à chaque axe de recherche. Le cheminement suivi pour argumenter cette thèse nous a amené à constituer trois chapitres. Au niveau du premier chapitre, nous avons particulièrement apprécié le rôle que l’énergie a préoccupé dans le développement économique des nations. Suite à notre analyse empirique, deux résultats principaux sont annoncés, d’abord, la présence d’un effet de long terme entre la consommation de l’énergie et le développement économique dans la région de Sfax impliquant ainsi sa dépendance économique à l’énergie, ensuite, l’existence d’une relation de causalité unidirectionnelle partant de la consommation de l’énergie vers la croissance économique. Dans un deuxième chapitre, nous nous sommes intéressés à étudier l’impact de la consommation de l’énergie sur la détérioration de la qualité de l’environnement. Deux points sont mis en valeur. Premièrement, une corrélation est détectée entre la consommation de l’énergie et les polluants suivants : PM10, SO2 et NO2. Deuxièmement, la présence de l’O3 troposphérique dans l’air n’est pas subordonnée à la consommation de l’énergie mais plutôt aux réactions photochimiques impliquant le NO2 et l’oxygène sous l’effet des rayons solaires ultra-violets. Finalement, les facteurs météorologiques et surtout la température (T) et l’humidité relative (HR) agissent sur la dispersion des polluants et leur accumulation autour de leurs sources d’émissions. Le dernier chapitre s’est focalisé sur l’analyse de l’impact sanitaire de la pollution atmosphérique. Adapté au contexte de la région de Sfax, trois constats principaux sont détectés. Tout d’abord, les maladies cardiovasculaires sont affectées par les émissions de S02 tandis que les maladies respiratoires sont influencées par les émissions de SO2 et O3. Ensuite, une corrélation est justifiée entre l’O3 te le NO2 qui confirme la réaction chimique de piégeage de l’ozone déjà indiquée. Enfin, nous avons déduit que la vitesse de vent (VV) impacte la distribution des polluants principalement le NO2, le SO2 et les PM10. La température (T) affecte à son tour les admissions hospitalières pour motif cardiovasculaire. / This thesis has a dual purpose; it focused on the one hand on the role of energy in the industrial and economic development of the country and on the other hand on the impact of its use on the environment and health status of individuals. We developed and operated a database on the Sfax region, which has been used for empirical analysis suited to each area of ​​research. The path followed to argue this thesis has led us to establish three chapters.At the first chapter, we particularly appreciated the role of energy in economic development of nations. Following our empirical analysis, two main results are announced, first, the presence of a long-term effect between energy consumption and economic development in the region of Sfax implying its economic dependence on energy. Then the existence of unidirectional causal relationship starting from energy consumption to economic growth. In the second chapter, we are interested in studying the impact of energy consumption on the deterioration of the environment quality. Two points are emphasized, first, a correlation is found between energy consumption and the following pollutants: PM10, SO2 and NO2. Secondly, the presence of tropospheric ozone (O3) in the air is not conditional on the energy consumption but rather to photochemical reactions involving NO2 and oxygen under the influence of solar ultraviolet radiation. Finally, weather factors, especially temperature (T) and relative humidity (RH) affect the dispersion of pollutants and their accumulation around their emission sources. The last chapter is focused on the analysis of the health impact of air pollution. Adapted to the region of Sfax, three main findings are detected. First, cardiovascular diseases are affected by S02 emissions and while respiratory diseases are influenced by emissions of SO2 and O3. Then, a correlation is justified between O3 NO2, confirming the chemical reaction of ozone scavenging already indicated. Finally, we concluded that the wind speed (VV) affects the distribution of pollutants mainly NO2, SO2 and PM10. Temperature (T) in turn affects hospital admissions for cardiovascular reasons.
182

Etude aéroacoustique de la détente d'un écoulement haute pression à travers des plaques perforées / Aeroacoustic study of the expansion of a high pressure flow though perforated plates

Laffay, Paul 10 July 2019 (has links)
Le bruit généré par la détente d'un écoulement sous pression à travers des plaques multi-perforées ou des diaphragmes est étudié expérimentalement. Cette analyse est menée sur deux configurations géométriques distinctes dans lesquelles la plaque perforée est placée à la sortie d'un conduit cylindrique (configuration de jet libre) ou à l'intérieur de celui-ci (configuration de jet confiné).Dans un premier temps, une étude paramétrique acoustique est effectuée pour ces deux configurations en variant les caractéristiques géométriques des plaques perforées et les points de fonctionnement dans des régimes subsoniques et supersoniques. Les différentes sources de rayonnement pouvant apparaitre sur de tels systèmes de détente, sont alors identifiées. Par ailleurs, les effets acoustiques de chacun des paramètres géométriques sont mis en lumière, offrant ainsi une aide à la conception silencieuse de tels systèmes. Dans un second temps, l'intérêt est porté sur l'analyse de la composante à large bande dominante: le bruit de mélange. Cette étude est menée sur la configuration de jet libre et s'appuie sur des visualisations strioscopiques ainsi que sur des mesures de vélocimétrie par image de particules couplées à des acquisitions acoustiques en champ lointain. Dans le cas des diaphragmes, les différents résultats mettent en évidence des mécanismes sources du bruit de mélange similaires à ceux observés dans la littérature pour les jets isolés issus de tuyères. Le rayonnement à l'aval, dominant, est généré par l'interaction de grosses structures turbulentes cohérentes à la fin du cône potentiel du jet, tandis que dans les autres directions, le bruit est généré par la turbulence de petite échelle dans les couches de cisaillement du jet.Pour les plaques multi-perforées, des mécanismes comparables sont également identifiés. Néanmoins, selon la géométrie de ces plaques, deux zones sources distinctes du rayonnement aval sont identifiées favorisant l'apparition de deux bosses dans les spectres en champ lointain. Dans le cas de perforations éloignées, la bosse à plus haute fréquence domine le spectre aval et l'interaction des grosses structures turbulentes se produit au niveau de la fin du cône potentiel des jets. Lorsque les perforations sont en revanche proches, c'est la bosse à basse fréquence qui domine et l'interaction des grosses structures turbulentes cohérentes semble se produire près de la fin du cône potentiel du gros jet équivalent formé à l'aval à partir du mélange de l'ensemble des jets issus des perforations. Dans les autres directions, l'espacement des perforations joue également un rôle important sur le rayonnement acoustique, du fait d'une interaction plus ou moins rapide des jets entre eux. Cela a alors pour effet de modifier les zones de cisaillement et en conséquence le rayonnement acoustique de la même manière que dans la direction aval. / The noise generated by the expansion of a pressurized flow through multi-perforated plates or diaphragms is experimentally investigated. The analysis is conducted on two distinct geometrical configurations in which the perforated plate is placed at the outlet of (free jet configuration) or inside (ducted jet configuration) a cylindrical duct.Firstly, an acoustic parametric study is carried out on these two configurations for various perforated plate geometries and for a number of operating points ranging from subsonic to supersonic. The different acoustic sources that can arise from such systems are thus identified. Furthermore, the effect of each geometrical parameter onto the radiated sound field is highlighted, thus providing guidelines for the silent design of such pressure release devices.In a second step, the focus is on the dominant broadband component, that is, the mixing noise. This part of the study is dedicated to the free jet configuration and is based on Schlieren imaging, as well as on Particle Image Velocimetry measurements, both coupled far-field sound measurements.In the diaphragm cases, the aerodynamic results show that the source mechanisms are similar to those reported in the literature about isolated jets from conventional nozzles. The downstream radiation is generated by the interaction of large coherent structures at the end of the jet potential core, while in the other directions it is generated by the small-scale turbulence from the shear layer.For multi-perforated plates, comparable mechanisms are also observed. However, depending on the plate geometry, two distinct source regions contributing to the downstream radiation are identified. They explain the presence of two broadband humps in the far-field spectra. In the case of widely spaced perforations, the higher frequency hump in the downstream spectrum increases and the interaction of the large turbulent structures occurs mainly at the end of the potential core of the small jets issuing the perforations. Conversely, when these perforations are close to each other, the small jets rapidly merge into a single larger one that has a longer potential core. As a result, larger coherent structures interact downstream of the small jet mixing region and therefore, a low-frequency hump dominates the downstream spectrum. In the other directions, the perforation spacing has also a significant impact on the acoustic radiation, due to a more or less rapid interaction of the jets. Consequently, the turbulence, as well as the shear zones of the various mixing layers, are modified. The geometric parameters thus have similar effects on the cross-stream as on the downstream radiation.
183

Optimization tools for non-asymptotic statistics in exponential families

Le Priol, Rémi 04 1900 (has links)
Les familles exponentielles sont une classe de modèles omniprésente en statistique. D'une part, elle peut modéliser n'importe quel type de données. En fait la plupart des distributions communes en font partie : Gaussiennes, variables catégoriques, Poisson, Gamma, Wishart, Dirichlet. D'autre part elle est à la base des modèles linéaires généralisés (GLM), une classe de modèles fondamentale en apprentissage automatique. Enfin les mathématiques qui les sous-tendent sont souvent magnifiques, grâce à leur lien avec la dualité convexe et la transformée de Laplace. L'auteur de cette thèse a fréquemment été motivé par cette beauté. Dans cette thèse, nous faisons trois contributions à l'intersection de l'optimisation et des statistiques, qui tournent toutes autour de la famille exponentielle. La première contribution adapte et améliore un algorithme d'optimisation à variance réduite appelé ascension des coordonnées duales stochastique (SDCA), pour entraîner une classe particulière de GLM appelée champ aléatoire conditionnel (CRF). Les CRF sont un des piliers de la prédiction structurée. Les CRF étaient connus pour être difficiles à entraîner jusqu'à la découverte des technique d'optimisation à variance réduite. Notre version améliorée de SDCA obtient des performances favorables comparées à l'état de l'art antérieur et actuel. La deuxième contribution s'intéresse à la découverte causale. Les familles exponentielles sont fréquemment utilisées dans les modèles graphiques, et en particulier dans les modèles graphique causaux. Cette contribution mène l'enquête sur une conjecture spécifique qui a attiré l'attention dans de précédents travaux : les modèles causaux s'adaptent plus rapidement aux perturbations de l'environnement. Nos résultats, obtenus à partir de théorèmes d'optimisation, soutiennent cette hypothèse sous certaines conditions. Mais sous d'autre conditions, nos résultats contredisent cette hypothèse. Cela appelle à une précision de cette hypothèse, ou à une sophistication de notre notion de modèle causal. La troisième contribution s'intéresse à une propriété fondamentale des familles exponentielles. L'une des propriétés les plus séduisantes des familles exponentielles est la forme close de l'estimateur du maximum de vraisemblance (MLE), ou maximum a posteriori (MAP) pour un choix naturel de prior conjugué. Ces deux estimateurs sont utilisés presque partout, souvent sans même y penser. (Combien de fois calcule-t-on une moyenne et une variance pour des données en cloche sans penser au modèle Gaussien sous-jacent ?) Pourtant la littérature actuelle manque de résultats sur la convergence de ces modèles pour des tailles d'échantillons finis, lorsque l'on mesure la qualité de ces modèles avec la divergence de Kullback-Leibler (KL). Pourtant cette divergence est la mesure de différence standard en théorie de l'information. En établissant un parallèle avec l'optimisation, nous faisons quelques pas vers un tel résultat, et nous relevons quelques directions pouvant mener à des progrès, tant en statistiques qu'en optimisation. Ces trois contributions mettent des outil d'optimisation au service des statistiques dans les familles exponentielles : améliorer la vitesse d'apprentissage de GLM de prédiction structurée, caractériser la vitesse d'adaptation de modèles causaux, estimer la vitesse d'apprentissage de modèles omniprésents. En traçant des ponts entre statistiques et optimisation, cette thèse fait progresser notre maîtrise de méthodes fondamentales d'apprentissage automatique. / Exponential families are a ubiquitous class of models in statistics. On the one hand, they can model any data type. Actually, the most common distributions are exponential families: Gaussians, categorical, Poisson, Gamma, Wishart, or Dirichlet. On the other hand, they sit at the core of generalized linear models (GLM), a foundational class of models in machine learning. They are also supported by beautiful mathematics thanks to their connection with convex duality and the Laplace transform. This beauty is definitely responsible for the existence of this thesis. In this manuscript, we make three contributions at the intersection of optimization and statistics, all revolving around exponential families. The first contribution adapts and improves a variance reduction optimization algorithm called stochastic dual coordinate ascent (SDCA) to train a particular class of GLM called conditional random fields (CRF). CRF are one of the cornerstones of structured prediction. CRF were notoriously hard to train until the advent of variance reduction techniques, and our improved version of SDCA performs favorably compared to the previous state-of-the-art. The second contribution focuses on causal discovery. Exponential families are widely used in graphical models, and in particular in causal graphical models. This contribution investigates a specific conjecture that gained some traction in previous work: causal models adapt faster to perturbations of the environment. Using results from optimization, we find strong support for this assumption when the perturbation is coming from an intervention on a cause, and support against this assumption when perturbation is coming from an intervention on an effect. These pieces of evidence are calling for a refinement of the conjecture. The third contribution addresses a fundamental property of exponential families. One of the most appealing properties of exponential families is its closed-form maximum likelihood estimate (MLE) and maximum a posteriori (MAP) for a natural choice of conjugate prior. These two estimators are used almost everywhere, often unknowingly -- how often are mean and variance computed for bell-shaped data without thinking about the Gaussian model they underly? Nevertheless, literature to date lacks results on the finite sample convergence property of the information (Kulback-Leibler) divergence between these estimators and the true distribution. Drawing on a parallel with optimization, we take some steps towards such a result, and we highlight directions for progress both in statistics and optimization. These three contributions are all using tools from optimization at the service of statistics in exponential families: improving upon an algorithm to learn GLM, characterizing the adaptation speed of causal models, and estimating the learning speed of ubiquitous models. By tying together optimization and statistics, this thesis is taking a step towards a better understanding of the fundamentals of machine learning.
184

Domain adaptation in reinforcement learning via causal representation learning

Côté-Turcotte, Léa 07 1900 (has links)
Les progrès récents en apprentissage par renforcement ont été substantiels, mais ils dépendent souvent de l'accès à l'état. Un état est un ensemble d'informations qui fournit une description concise et complète de l'environnement, englobant tous les détails pertinents nécessaires pour que l'agent puisse prendre des décisions éclairées. Cependant, de telles données détaillées sont rarement disponibles dans les situations réelles. Les images offrent une forme de données plus réaliste et accessible, mais leur complexité pose d'importants défis dans le développement de politiques robustes et efficaces. Les méthodes d'apprentissage de représentation se sont révélées prometteuses pour améliorer l'efficacité des politiques basées sur les données de pixels. Néanmoins, les politiques peinent toujours à généraliser à de nouveaux domaines, rendant l'application de l'apprentissage par renforcement basé sur les pixels impraticable pour des scénarios du monde réel. Cela souligne le besoin urgent de s'attaquer à l'adaptation de domaine dans l'apprentissage par renforcement basé sur les pixels. Cette thèse examine le potentiel de l'apprentissage de représentation causale pour améliorer l'adaptation de domaine dans l'apprentissage par renforcement. L'idée sous-jacente est que pour que les agents s'adaptent efficacement à de nouveaux domaines, ils doivent être capables d'extraire des informations de haut niveau à partir de données brutes et de comprendre les dynamiques causales qui régulent l'environnement. Pour étudier cela, nous évaluons quatre algorithmes distincts d'apprentissage de représentation causale, chacun conçu pour capturer un niveau de structure plus détaillé dans l'espace latent, évaluant leur impact sur la performance d'adaptation de domaine. Le processus implique d'abord d'apprendre une représentation causale puis de former l'agent d'apprentissage par renforcement sur cette représentation. La performance d'adaptation de domaine de ces agents est évaluée dans deux environnements de conduite autonome : CarRacing et CARLA. Nos résultats soutiennent que l'apprentissage d'une représentation latente améliore nettement l'efficacité et la robustesse dans l'apprentissage par renforcement basé sur les pixels. De plus, ils indiquent qu'apprendre une structure causale dans l'espace latent contribue à une meilleure performance d'adaptation de domaine. Cependant, la promesse de la représentation causale pour améliorer l'adaptation de domaine est tempérée par leurs demandes computationnelles substantielles. De plus, lorsque des observations de plusieurs domaines sont disponibles, cette approche ne dépasse pas l'efficacité des méthodes plus simples. Nous avons également trouvé que les agents entraînés sur des représentations qui conservent toutes les informations de l'espace latent ont tendance à surpasser les autres, suggérant que les représentations dissociées sont préférables aux représentations invariantes. / Recent advancements in reinforcement learning have been substantial, but they often depend on access to the state. A state is a set of information that provides a concise and complete description of the environment, encompassing all relevant details necessary for the agent to make informed decisions. However, such detailed data is rarely available in real-world settings. Images present a more realistic and accessible data form, but their complexity introduces considerable challenges in developing robust and efficient policies. Representation learning methods have shown promise in enhancing the efficiency of policies based on pixel data. Nonetheless, policies continue to struggle to generalize to new domains, making the application of pixel-based reinforcement learning impractical for real-world scenarios. This highlights the urgent need to address domain adaptation in pixel-based reinforcement learning. This thesis investigates the potential of causal representation learning in improving domain adaptation in reinforcement learning. The underlying premise is that for reinforcement learning agents to adapt to new domains effectively, they must be able to extract high-level information from raw data and comprehend the causal dynamics that regulate the environment. We evaluate four distinct causal representation learning algorithms, each aimed at uncovering a more intricate level of structure within the latent space, to assess their impact on domain adaptation performance. This involves first learning a causal representation, followed by training the reinforcement learning agent on this representation. The domain adaptation performance of these agents is evaluated within two autonomous driving environments: CarRacing and CARLA. Our results support that learning a latent representation enhances efficiency and robustness in pixel-based RL. Moreover, it indicates that understanding complex causal structures in the latent space leads to improved domain adaptation performance. However, the promise of advanced causal representation in augmenting domain adaptation is tempered by its substantial computational demands. Additionally, when observations from multiple domains are available, this approach does not exceed the effectiveness of simpler methods. We also found that agents trained on representations that retain all information tend to outperform others, suggesting that disentangled representations are preferable to invariant representations.
185

Pour un statut fondateur de la victime psychologique en droit de la responsabilité civile / For a founding status of a psychological victim in civil liability law

Quistrebert, Yohann 05 March 2018 (has links)
Le retentissement psychologique d’événements sources de responsabilité, quels qu’ils soient – acte de terrorisme, perte d’un être cher, harcèlement moral… – est spécifique du fait de ses caractères protéiforme et invisible. Tout d’abord, le premier d’entre eux tient au fait qu’en matière psychologique tant les atteintes que les souffrances en résultant sont diverses. Ainsi, d’un point de vue lésionnel, certains événements vont s’avérer plus traumatisants que d’autres, principalement ceux au cours desquels le sujet a été confronté à sa propre mort. Concernant la souffrance, un sujet peut tout aussi bien souffrir émotionnellement d’une altération de sa propre intégrité – par exemple physique avec le diagnostic d’une pathologie grave – que d’un tort affectant celle d’un proche (e.g. décès, handicap). Un retentissement qualifié d’invisible ensuite, puisqu’il apparaît bien plus aisé d’identifier une atteinte à l’intégrité physique qu’une atteinte à l’intégrité psychique. De plus, certaines atteintes psychologiques sont totalement insaisissables en raison de leur caractère éminemment diffus. L’objet de cette démonstration est donc de savoir comment le droit de la responsabilité civile va appréhender la victime de ce retentissement psychologique. Sa prise en charge ne pourra être que particulière du fait de l’interaction inévitable entre les sphères juridique et psychologique.Afin de le découvrir sera proposée, dans un premier temps, une conceptualisation de la victime psychologique se fondant sur la réalité psychopathologique. Deux grandes distinctions nourrissent cette réflexion. L’une est de nature juridique ; il s’agit de la distinction du dommage et du préjudice. L’autre est d’origine psychopathologique ; elle oppose le choc émotionnel au traumatisme psychique. Leur entrecroisement permettra d’élaborer différents cas de manifestation de la souffrance psychologique et de dessiner les contours de la qualité de victime. Dans un second temps, au titre de l’indemnisation de la victime psychologique, tant l’appréciation que l’évaluation de ses préjudices seront examinées. Les répercussions du traumatisme psychique voire du choc émotionnel vont parfois être si importantes que l’indemnisation ne pourra se cantonner à la seule souffrance éprouvée. Des conséquences de nature différente, par exemple patrimoniales, devront être prises en considération. À cette fin, une typologie des préjudices de la victime sous analyse mérite d’être mise en place. Des règles d’indemnisation distinctes seront érigées en fonction du préjudice subi. Un préjudice présumé, notamment à partir d’un dommage, ne pourra logiquement être compensé de la même façon que des préjudices non présumables, c’est-à-dire soumis à expertise. En somme, le système d’indemnisation à instaurer se devra d’être en phase avec le système de révélation de la souffrance qui aura été précédemment établi.Ainsi, cette étude se propose de construire un réel statut fondateur de la victime psychologique. Une fois cette notion cardinale intégralement conceptualisée, un régime d’indemnisation s’en inférant sera rationnellement avancé. / The psychological impact of the events, which are the source of responsibility, be they acts of terrorism, loss of a loved one, psychological harassment, is specific to characteristics both protean and invisible. The first among them is due to the fact that in psychological matter injuries and the resulting suffering are both varied. As such, from the injury point of view, certain events will prove to be more traumatizing than others. Principally those during which the subject has been faced with his own death. Concerning suffering, a subject can as well emotionally suffer a change in his own integrity – for example the physical one with a diagnosis of a serious illness – that of a sort damage which affects that of a loved one (e.g. death or handicap). Then, the impact is considered invisible. It appears much more simple indeed, to identify harm to physical integrity as a harm to psychic integrity. More so, certain psychological harms are totally imperceptible by reason of their eminently diffuse characteristic. The object of this demonstration is therefore to know how civil liability law will comprehend the victim of such a psychological impact. Its comprehension will be particular given the inevitable interaction between the judicial and psychological spheres.In order to better understand this, we will first propose a conceptualization of the psychological victim that blends into psychopathological reality. Two major distinctions feed this thought. One is legal nature, which relates to the distinction between prejudice and harm. The other is psychopathological in nature which opposes emotional shock and psychic trauma. Their intertwining allows us to elaborate different cases of manifestation of psychological suffering and define the contours of the qualities of the victim. Secondly, regarding compensation for a psychological victim, both the appreciation and the evaluation of these prejudices will be examined. The repercussions of psychic trauma, or even emotional shock can sometimes be so grave that compensation cannot restrict itself only to the experienced suffering. Consequences of different natures, for example patrimonial ones, must be taken into consideration. To this end, a division of the prejudices of the psychological victim should be put in place. Distinct rules of compensation will be established based on the prejudice endured. A prejudice presumed, originating notably from a harm, cannot logically be compensated in the same fashion as non-presumable prejudices that require a forensic assessment. In short, the system of compensation must be in phase with the system of disclosure of suffering that has been previously established. As a result, this study proposes to construct a true founding status of a psychological victim. Once this principal notion has been completely conceptualized, we can use it to create a rational compensation scheme.
186

La santé publique globalisée

Lapaige, Véronique January 2007 (has links)
Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.
187

La santé publique globalisée

Lapaige, Véronique January 2007 (has links)
Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal
188

Modélisation à haut niveau d'abstraction pour les systèmes embarqués

Moy, Matthieu 13 March 2014 (has links) (PDF)
Les systèmes embarqués modernes ont atteint un niveau de complexité qui fait qu'il n'est plus possible d'attendre les premiers prototypes physiques pour valider les décisions sur l'intégration des composants matériels et logiciels. Il est donc nécessaire d'utiliser des modèles, tôt dans le flot de conception. Les travaux présentés dans ce document contribuent à l'état de l'art dans plusieurs domaines. Nous présentons dans un premier temps de nouvelles techniques de vérification de programmes écrits dans des langages généralistes comme C, C++ ou Java. Dans un second temps, nous utilisons des outils de vérification formelle sur des modèles écrits en SystemC au niveau transaction (TLM). Plusieurs approches sont présentées, la plupart d'entre elles utilisent des techniques de compilations spécifiques à SystemC pour transformer le programme SystemC en un format utilisable par les outils. La seconde partie du document s'intéresse aux propriétés non-fonctionnelles des modèles~: performances temporelles, consommation électrique et température. Dans le contexte de la modélisation TLM, nous proposons plusieurs techniques pour enrichir des modèles fonctionnels avec des informations non-fonctionnelles. Enfin, nous présentons les contributions faites à l'analyse de performance modulaire (MPA) avec le calcul temps-réel (RTC). Nous proposons plusieurs connections entre ces modèles analytiques et des formalismes plus expressifs comme les automates temporisés et le langage de programmation Lustre. Ces connexion posent le problème théorique de la causalité, qui est formellement défini et résolu avec un algorithme nouveau dit de " fermeture causale ".
189

Le mode d'être des objets intentionnels : une étude du rôle constituant de l'intellect chez Thierry de Freiberg / On the mode of being of intentional objects : the constitutive function of the intellect by Dietrich of Freiberg (1250-1310)

Decaix, Véronique 18 March 2013 (has links)
Cette thèse traite de la doctrine catégorielle, de l’ontologie et de la théorie de la connaissance de Dietrich de Freiberg dans le De origine rerum praedicamentalium. L’enjeu principal est d’étudier la fonction constitutive que l’intellect opère sur catégories et sur l’étant en tant que tel. La première partie replace le traité dans le contexte historique des débats à l’université de Paris à la fin du XIIIe siècle touchant au statut des catégories et à la manière d’ordonner les genres réels de l’étant. Elle confronte la dérivation essentielle des prédicaments chez Dietrich aux modèles de systématisation élaborées par ses prédécesseurs, tels qu’Albert le Grand, Thomas d’Aquin, Henri de Gand. La deuxième partie s’attache aux objets constitués par l’intellect : l’Un comme principe du nombre et de la division, la relation et le temps. La dernière partie enquête la modalité sur laquelle l’intellect opère cette activité sur l’étant et montre en définitive que le sujet de la métaphysique, l’être quiditatif des étants, se situe à la croisée de la logique et du réel / This thesis deals with Dietrich of Freiberg’s doctrine of categories, ontology and theory of knowledge, as present in the treatise De origine rerum praedicamentalium. The primary aim is to examine the constitutive function the intellect exercises on the categories and being as being. The first part of this thesis replaces the treatise in the historical background of the late 13th century debates from the University of Paris regarding the nature of categories and the manner of organizing the real genera of being. It compares Dietrich’s deduction of the categories with the systematization of some of his predecessors such as Albert the Great, Thomas Aquinas and Henry of Ghent. The second part of the thesis deals with the objects caused by the intellect: the One as principle of number and division, relation and time. The last part investigates the manner in which the intellect exercises its constitutive power on being and demonstrates in the final analysis that the subject of metaphysics, the quiditative being of things, is placed at the intersection of logic and reality
190

La participation a l'infraction internationale. / The participation in the international crime

Duffourc, Marie 12 December 2013 (has links)
Qu’elle soit extranationale, transnationale ou internationale par nature, l’infraction internationale est toujours construite de la même manière : elle naît de la réunion d’un élément matériel et d’un élément moral, incluant parfois un élément contextuel. Cette constance structurelle dominant la diversité définitionnelle milite en faveur d’une unification des formes de la participation associées à ces infractions internationales : la spécificité de la participation à l’infraction internationale résiderait donc dans la spécificité, non des formes de la première, mais de la définition de la seconde. D’ailleurs, il n’existe que deux grands systèmes de participation applicables à l’infraction internationale : celui des juridictions pénales nationales et celui des juridictions pénales internationales. De leur comparaison, pourrait naître un système unique de participation à l’infraction internationale, permettant de mieux appréhender la criminalité collective en attribuant aux participants intellectuels une place plus juste au sein de la participation. En effet, après quelques adaptations nécessaires, il pourrait être fait appel au critère mixte du contrôle sur l’infraction internationale, développé récemment par la Cour pénale internationale, pour distinguer les formes principales des formes secondaires de la participation à l’infraction internationale. Ainsi, seraient des participants principaux les agents qui, avec l’état d’esprit idoine, prennent le contrôle de l’infraction internationale (coauteurs et auteurs intellectuels), tandis que seraient des participants secondaires les agents qui ne prennent pas un tel contrôle (complices par aide ou assistance et subordonnants). / Can it be extranational, transnational or international by nature, the international crime is always the same : it needs the reunion of a material element and a moral element, sometimes including a contextual element. This structural constancy, which dominates the definitional diversity, inclines us to campaign for the unification of the participation forms associated to the whole international crimes. In other words, the specifity of the participation in the international crime would be less due to the specifity of the first one’s forms than to the specifity of the second one’s definition. Now, there are only two grand systems of participation in the international crime : the one applied by the national criminal jurisdictions and the one applied by the international criminal jurisdictions. From the comparison of these two systems, it is possible to imagine a unique system of participation in the international crime, permitting a better understanding of the collective criminality by attributing a righter role to the intellectual participants within the participation. More precisely, and after a few necessary adaptations, control over the international crime, which is a mixed criterion recently developed by the International Criminal Court, could be used to distinguish the main forms from the secondary forms of participation in the international crime. Thus, main participants might be those who, with the suitable state of mind, take control over the international crime (co-perpetrators and intellectual perpetrators) while secondary participants might be those who don’t take such a control (accomplices by aid and assistance and “subordinators”).

Page generated in 0.0559 seconds