312 research outputs found
L’avenir energetique de l’algerie: quelles seront les perspectives de consommation, de production et d’exportation du petrole et du gaz a l’horizon 2020-2030 ?
En Algérie, les hydrocarbures occupent une place très importante dans le développement économique du pays. L’accroissement de la rente pétrolière, suite à l’augmentation conjointe des volumes produits et du cours des hydrocarbures, a permis une croissance moyenne du PIB de 4% par an entre 2001 et 2007. Avec des hypothèses de taux de croissance économique de 3% et 5% et un taux de croissance démographique de 1,6% par an, pour la période 2007-2030, le taux de croissance de la demande énergétique serait compris entre 2,8% et 4,3% par an pour la période de projection; le marché algérien absorberait, en énergie primaire, 61,5 millions de tonnes équivalent pétrole (Mtep) en 2020 et 91,54 Mtep en 2030 contre 52 Mtep en 2020 et 66,45 Mtep en 2030 (scénario faible).MOTS CLEFS: Croissance économique, concept de co-intégration et effet de causalité, perspectives énergétiques
Vers une Génération Efficace d’Analyses de Sûreté de Fonctionnement dans le Cadre du Déploiement de l’ISO 26262
Cars embed a steadily increasing number of Electric and Electronic Systems. The ISO 26262 standard dis-cusses at length the requirements that these systems must follow in order to guaranty their functional safety.One of the means at hand to ensure the automotive systems safety is to perform safety analyses. During these analyses, practitioners perform FTA and FMEDA in order to evaluate the “trust” that we have in a system. As big quantities of data are handled in those analyses, it would be of great help for them to have the possibility to efficiently generate a part of them and check their consistency.This manuscript is the result of a thesis led on this subject. It focuses on the formalization of the data handled during the safety analyses in order to propose an efficient methodology for their generation. It presents the different works done, from the proposition of formal models for the safety related element behavior representation to the design and implementation of a process for consistent FMEDA generation based on Fault tree patterns.La complexité et la criticité des systèmes électroniques embarqués automobiles est en augmentation constante. Un nouveau standard concernant la sûreté de fonctionnement automobile (ISO 26262) permet d'établir un cadre et de définir des exigences sur les systèmes concernés afin de garantir leur sécurité.Un des moyens permettant de vérifier la sûreté de ces systèmes consiste à effectuer des analyses dites de sureté de fonctionnement. Au cours de ces analyses, les praticiens effectuent des analyses de type FTA et FMEDA afin d’évaluer robustesse et la sûreté de ces systèmes. Lors de ces analyses, les praticiens manipulent une masse de données de plus en plus conséquente ; Ce qui a créé le besoin d’avoir un moyen de générer une partie de ces données efficacement et de vérifier leur cohérence.Dans ce manuscrit, nous détaillons les travaux que nous avons effectués sur ce sujet, en nous concentrant principalement sur la formalisation des données manipulées durant les analyses de sûreté de fonctionnement afin de proposer une méthode efficace pour leur génération. Nous y présentons les différents travaux réalisés, de la proposition de modèles formels pour la représentation du comportement dysfonctionnel « d’élément lié à la sûreté » à la conception et mise en œuvre d'un processus pour la génération de FMEDA cohérentes à partir d’arbres de défaillances
Large deviations theorems in nonparametric regression on functional data
In this paper we prove large deviations principles for the Nadaraya-Watson
estimator of the regression of a real-valued variable with a functional
covariate. Under suitable conditions, we show pointwise and uniform large
deviations theorems with good rate functions
Towards a semantic quality based approach for business process models improvement
Business process (BP) modeling aims at a better understanding of processes, allowing deciders to improve them. We propose to support this modeling with an approach encompassing methods and tools for BP models quality measurement and improvement. In this paper we focus on semantic quality. The latter is evaluated by aligning BP model concepts with domain knowledge. The alignment is conducted thanks to meta-models. We also define validation rules for checking the completeness of BP models. A medical case study illustrates the main steps of our approach.<br /
- …