Programmation par contraintes sur les flux de données

We study the generalization of constraint programming on variables finite domains with variable flow. On the one hand, the flow of concepts, infinite sequences and infinite words have been the subject of numerous studies, and a goal is to achieve a state of the art covering language theory, classical and temporal logics as well as many related formalisms. The reconciliation performed with temporal logics is a first step towards unification formalisms on flows and temporal logics being themselves many, we establish a classification of these will allow the extrapolation of contributions to other contexts. The second objective is to identify the elements of these formalisms that allow the processing of satisfaction problems with the techniques of constraint programming on finite domain variables. Compared to the expressiveness of temporal logic, that of our formalism is more limited. This is due to the fact that constraint programming allows only the conjunction of constraints and requires integrating the disjunction in the notion of constraint propagator. Our formalism allows a gain in conciseness and reuse of the concept of propagator. The issue of generalization to more expressive logics is left open.Nous étudions la généralisation de la programmation par contraintes sur les variables à domaines finis aux variables flux. D'une part, les concepts de flux, de séquences infinies et de mots infinis ont fait l'objet de nombreux travaux, et un objectif consiste à réaliser un état de l'art qui couvre la théorie des langages, les logiques classiques et temporelles, ainsi que les nombreux formalismes apparentés. Le rapprochement effectué avec les logiques temporelles est un premier pas vers l'unification des formalismes sur les flux, et les logiques temporelles étant elles-même nombreuses, nous établissons une classification de celles-ci qui permettra l'extrapolation des contributions à d'autres contextes. Le second objectif consiste à identifier les éléments de ces formalismes qui permettent le traitement des problèmes de satisfaction avec les techniques de la programmation par contraintes sur les variables à domaines finis. Comparée à l'expressivité des logiques temporelles, celle de notre formalisme est plus limitée. Ceci est dû au fait que la programmation par contraintes ne permet que la conjonction de contraintes, et impose d'intégrer la disjonction dans la notion de propagateur de contraintes. Notre formalisme permet un gain en concision et la réutilisation de la notion de propagateur. La question de la généralisation à des logiques plus expressives est laissée ouverte

stratégie économique pour la France en Europe ?.

Cette publication n'a pas de résumé

Quelle stratégie économique pour la France en Europe ?

Les périodes électorales sont des moments propices pour analyser la politique économique suivie et décider des inflexions nécessaires. Toutefois, l’état actuel de la construction européenne rend ce moment démocratique particulier. La politique monétaire de la zone euro a été confiée à la Banque Centrale Européenne (BCE), indépendante. Les politiques budgétaires sont décidées par les gouvernements nationaux. Cependant, elles doivent se situer dans le cadre du Pacte de stabilité. Ainsi, la France, comme ses partenaires, doit-elle présenter chaque année un programme de stabilité, décrivant la politique budgétaire qu’elle envisage de suivre pendant les quatre prochaines années ; ce programme doit suivre les Grandes Orientations de Politique Économique (GOPE) ; en particulier, il doit comporter le retour à l’équilibre des finances publiques (...)

dette publique nulle en 2020 ?.

Cette publication n'a pas de résumé

L'impact macroéconomique des réformes du secteur de santé français

Dans une première section, on testera, à l'aide d'un modèle macroéconomique conjoncturel, l'effet d'un programme " d'économies de dépenses de santé " (celui envisagé par la CNAM en 1999) et quelques variantes jugées pertinentes (ré-injection ou non des économies réalisées). Dans une seconde section, nous proposerons une réflexion à moyen terme -- à l'horizon 2004 -- sur trois scénarios alternatifs de croissance des dépenses de santé. Nous verrons que si les évolutions récentes de la dépense maladie se reproduisent sur les prochaines années, elles seront relativement bien financées par les recettes de cotisations aujourd'hui engendrées par la croissance économique de la France

L’impact macroéconomique des réformes du secteur de santé français

Dans une première section, on testera, à l’aide d’un modèle macroéconomique conjoncturel, l’effet d’un programme « d’économies de dépenses de santé » (celui envisagé par la CNAM en 1999) et quelques variantes jugées pertinentes (ré-injection ou non des économies réalisées). Dans une seconde section, nous proposerons une réflexion à moyen terme — à l’horizon 2004 — sur trois scénarios alternatifs de croissance des dépenses de santé. Nous verrons que si les évolutions récentes de la dépense maladie se reproduisent sur les prochaines années, elles seront relativement bien financées par les recettes de cotisations aujourd’hui engendrées par la croissance économique de la France

Le retour au plein emploi ?

De 1997 à 2001, le taux de chômage a diminué de presque 4 points en France, faisant du retour au plein emploi un sujet d’actualité. Nous montrons qu’une baisse supplémentaire du taux de chômage jusqu’à 5 % est possible d’ici à 2005, moyennant des hypothèses favorables mais néanmoins réalistes. La détente des taux d’intérêt permet une hausse du taux d’investissement, qui resterait toutefois inférieur à son niveau des années 1960. Cette hausse expliquerait 1,1 point de baisse du taux de chômage. Le commerce extérieur contribue positivement à la croissance et à la baisse du taux de chômage à hauteur de 0,9 point, y compris en prenant en compte un ralentissement de la demande adressée à la France. La réduction du temps de travail et une politique budgétaire neutre sont les autres principales hypothèses de notre scénario. Par ailleurs, ce retour au plein emploi nécessite la baisse du NAIRU, supérieur à 9 % selon les estimations actuelles. Nous envisageons des scénarios alternatifs de retour plus lent au plein emploi, au cas où l’ensemble des pays croîtrait moins vite, et de baisse du taux de chômage à seulement 7 % en l’absence d’une baisse du NAIRU

Le modèle France de l'OFCE:La nouvelle version : e-mod.fr

Depuis 1984, l’OFCE développe un modèle macroéconomique trimestriel sur l’économie française, utilisé pour des analyses de politique économique et des scénarios de prévision à court et moyen terme. Ce modèle a évolué, intégrant les développements récents aussi bien théoriques qu’économétriques. Il a été simplifié et réestimé à partir des données de comptabilité nationale en base 95. MOSAIQUE est ainsi devenu e-mod.fr (economic-model.france). Le modèle est construit à partir de l’hypothèse d’un fonctionnement néo-keynésien de l’économie. En période de sous-utilisation des capacités de production, la demande globale contraint l’offre et détermine à court terme l’activité. Cependant, le niveau de l’activité rétroagit sur les prix et, par ricochet, sur les comportements de demande. Nous resituons les équations de comportement dans les travaux récents de recherche, en insistant sur celui des administrations publiques. Nous décrivons aussi comment nous avons résolu quelques problèmes pratiques rencontrés par tout modélisateur : méthodes d’estimation, propriétés de long terme du modèle, autocorrélation, choix des cales

impact macroéconomique des réformes du secteur de santé français.

Cette publication n'a pas de résumé