A new approach on tail index estimation is proposed based on studying the in-sample evolution of appropriately chosen diverging statistics. The resulting estimators are simple to construct, and they can be generalized to address other rate estimation problems as well . Une nouvelle méthode pour l’estimation de l’index d’une queue Résumé Une nouvelle méthode est proposée pour l’estimation de l’i...

The multifrontal LU method is implemented to solve drift-diffusion models with large sparse matrices arising in the simulation and optimization of semiconductor devices. The performance of this method is compared with the LU algorithm without multifrontal scheme on different computers in the case of a realistic double heterojunction transistor. Résumé On emploie un méthode LU multifrontale pour...

On présente une approche non paramétrique de l'extraction linéaire de caractéristiques et son application à la classification de textures. Le cadre théorique de l'étude est rappelé et on donne une nouvelle présentation de l'équation de l'extracteur optimal de caractéristiques selon la distance de Patrick-Fischer [17] . Les grandes lignes de la mise en oeuvre de cette méthode sont présentées . L...

Résumé. Dans cet article, nous proposons une méthode permettant l’estimation des fiabilités 1 des sources à partir de toutes leurs fonctions de croyance stockées dans des bases de données évidentielles. Nous proposons également d’assurer le même niveau de fiabilité pour toutes ces fonctions de croyance. Les degrés de fiabilité des sources sont utilisés pour affaiblir leurs fonctions de croyance...

Résumé—Ce papier s’intéresse au problème de la diagnosticabilité des motifs de supervision dans les systèmes à événements discrets. Ces motifs permettent de prendre en compte des comportements de fautes complexes. La méthode d’analyse de diagnosticabilité s’appuie sur l’utilisation des réseaux de Petri et sur les méthodes de dépliage de manière à appréhender les problèmes d’explosion combinatoi...

We present a simple filtering procedure for stabilizing the spectral element method (SEM) for the unsteady advection-diffusion and Navier-Stokes equations. A number of example applications are presented, along with basic analysis for the advection-diffusion case. Stabilisation par filtrage pour la méthode des éléments spectraux Résumé. Nous présentons une procédure simple de filtrage pour la st...

We provide improvements on the best currently known upper and lower bounds for the exponential growth rate of meanders. The method of proof for the upper bounds is to extend the Goulden-Jackson cluster method. Limites au taux de croissance des nombres de méandres Nous fournissons des améliorations aux meilleures bornes supérieures et inférieures actuellement connues pour le taux de croissance e...

RÉSUMÉ. La méthode B est une méthode formelle utilisée pour modéliser des systèmes et prouver l’exactitude de leur conception par raffinements successifs. Mais les spécifications formelles sont difficiles à lire quand elles ne sont pas accompagnées d’une documentation. Cette lisibilité est essentielle pour une bonne compréhension de la spécification, notamment dans des phases de validation ou d...

RÉSUMÉ. De nombreux systèmes temps réel doivent conjointement satisfaire des contraintes temps réel et assurer une qualité de service. Dans cette optique, nous présentons une méthode par séparation et d’évaluation dédiée aux systèmes temps réel stricts à priorité fixe. Notre méthode est basée sur un algorithme générique qui utilise des fonctions communes indépendamment du critère de performance...

Résumé. L’analyse de flux de données traite des données massives grâce à des algorithmes en ligne qui évitent le stockage exhaustif des données. La détection de changements dans la distribution d’un flux est une question importante dont les applications potentielles sont nombreuses. Dans cet article, la détection de changement est transposée en un problème d’apprentissage supervisé. Nous avons ...