WorldCat Identities

Habet, Djamal (1975-....).

Overview
Works: 9 works in 11 publications in 2 languages and 15 library holdings
Roles: Other, Author, Contributor, Thesis advisor, Opponent
Publication Timeline
.
Most widely held works by Djamal Habet
Bounding the optimum for the problem of scheduling the photographs of an Agile Earth Observing Satellite by Djamal Habet( )

1 edition published in 2008 in English and held by 2 WorldCat member libraries worldwide

Max-résolution et apprentissage pour la résolution du problème de satisfiabilité maximum by André Abramé( Book )

2 editions published in 2015 in French and held by 2 WorldCat member libraries worldwide

Cette thèse porte sur la résolution du problème d'optimisation Maximum Satisfiability (Max-SAT). Nous y étudions en particulier les mécanismes liés à la détection et à la transformation des sous-ensembles inconsistants par la règle de la max-résolution. Dans le contexte des solveurs de type séparation et évaluation, nous présentons plusieurs contributions liées au calcul de la borne inférieure. Cela va du schéma d'application de la propagation unitaire utilisé pour détecter les sous-ensembles inconsistants à l'extension des critères d'apprentissage et à l'évaluation de l'impact des transformations par max-résolution sur l'efficacité des solveurs. Nos contributions ont permis l'élaboration d'un nouvel outil de résolution compétitif avec les meilleurs solveurs de l'état de l'art. Elles permettent également de mieux comprendre le fonctionnement des méthodes de type séparation et évaluation et apportent des éléments théoriques pouvant expliquer l'efficacité et les limites des solveurs existants. Cela ouvre de nouvelles perspectives d'amélioration, en particulier sur l'augmentation de l'apprentissage et la prise en compte de la structure interne des instances. Nous présentons également un exemple d'utilisation de la règle de la max-résolution dans un algorithme de recherche local
Coopération entre recherches locales et exhaustives pour l'optimisation combinatoire by Djamal Habet( Book )

2 editions published in 2004 in French and held by 2 WorldCat member libraries worldwide

Optimization algorithms for two knapsack problems by Zequn Wei( )

1 edition published in 2021 in English and held by 2 WorldCat member libraries worldwide

Cette thèse considère deux problèmes de sac à dos généralisés : le problème de sac à dos ensemble-union (SUKP) et le problème de sac à dos à contraintes disjonctives (DCKP). Ces deux problèmes sont un modèle utile pour formuler de nombreuses applications pratiques. Étant donné qu'ils appartiennent à la famille des problèmes NP- difficiles, il est difficile de les résoudre dans le cas général. Cette thèse est consacrée à l'avancement de l'état de l'art pour résoudre ces problèmes pertinents. Plus précisément,nous introduisons un algorithme de recherche locale en deux phases itéré, un algorithme de recherche tabou basé sur le noyau, un algorithme de recherche tabou basé sur une solution à redémarrages répétés pour résoudre le SUKP et un algorithme mémétique basé sur une recherche de seuil pour résoudre le DCKP. Des études expérimentales réalisées sur un large éventail d'instances de référence indiquent que toutes les approches proposées concurrencent favorablement les algorithmes de référence. En outre, les expériences supplémentaires montrent les rôles des ingrédients clés de nos algorithmes, y compris la stratégie d'échappement des optima locaux basée sur la fréquence, l'heuristique de recherche du noyau, la technique de recherche tabou basée sur la solution pour le SUKP et le méthode de recherche de seuil dédié pour le DCKP
Improving configuration checking for satisfiable random k-SAT instances by André Abramé( )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

Etude des Mécanismes de Transformation de Modèles CSP/SAT by Cláudia Andréa Vasconcellos Gaete( )

1 edition published in 2020 in English and held by 2 WorldCat member libraries worldwide

La plupart des problèmes combinatoires peuvent être formulés comme des CSP (Constraint Satisfaction Problems). Un CSP est défini par des variables et des contraintes entre ces variables. Résoudre un CSP consiste à trouver une affectation des variables qui satisfasse les contraintes. L'une des principales forces des CSP est la déclarativité : les variables peuvent être de plusieurs types ainsi que les contraintes. D'un autre côté, le problème de satisfiabilité en logique propositionnelle (SAT) est réduit, en terme de déclarativité, à des variables booléennes et des formules propositionnelles. Cependant, les solveurs SAT sont maintenant capables de manipuler d'énormes instances.Il semble donc intéressant de 1) coder les CSP en SAT afin de bénéficier de l'expressivité et de la déclarativité des CSP et de la puissance des solveurs SAT, et 2) introduire plus de sémantique du problème initial dans SAT.Cette thèse analyse les encodages CSP vers SAT afin de mieux comprendre les facteurs clés qui déterminent leurs caractéristiques ainsi que leur impact sur la résolution. Une première étude analyse l'impact des variables venant du modèle CSP sur l'heuristique de branchement des solveurs SAT. Une étude sur la manière de transférer de l'information sémantique du modèle CSP au modèle SAT est aussi réalisée. Un travail est aussi réalisé sur l'intégration dans le modèle SAT d'un propagateur CSP pour l'addition. Pour finir, nous proposons l'encodage Abacus, un nouvel encodage SAT qui établit un bon compromis entre la taille des instances générées et l'efficacité de la résolution
Heuristic Algorithms for Graph Coloring Problems by Wen Sun( )

1 edition published in 2018 in English and held by 1 WorldCat member library worldwide

Cette thèse concerne quatre problèmes de coloration de graphes NPdifficiles, à savoir le problème de coloration (GCP), le problème de coloration équitable (ECP), le problème de coloration des sommets pondérés et le problème de sous-graphe critique (k-VCS). Ces problèmes sont largement étudiés dans la littérature, non seulement pour leur difficulté théorique, mais aussi pour leurs applications réelles dans de nombreux domaines. Étant donné qu'ils appartiennent à la classe de problèmes NP-difficiles, il est difficile de les résoudre dans le cas général de manière exacte. Pour cette raison, cette thèse est consacrée au développement d'approches heuristiques pour aborder ces problèmes complexes. Plus précisément, nous développons un algorithme mémétique de réduction (RMA) pour la coloration des graphes, un algorithme de recherche réalisable et irréalisable (FISA) pour la coloration équitable et un réalisable et irréalisable (AFISA) pour le problème de coloration des sommets pondérés et un algorithme de suppression basé sur le retour en arrière (IBR) pour le problème k-VCS. Tous les algorithmes ont été expérimentalement évalués et comparés aux méthodes de l'état de l'art
Approches pour la vérification et la validation des modèles de production : application à une usine de fabrication de semi-conducteurs by Abdelhak Khemiri( )

1 edition published in 2020 in French and held by 1 WorldCat member library worldwide

Today, business processes have a central place in organizations and the question of their reliability has attracted increasing attention from both industry and the scientific community. Indeed, an error or malfunction in production models can seriously weaken companies. This risk is amplified by the growing importance of process automation and computerization. Thus, this thesis focuses on issues related to the verification and validation of processes and production models of a manufacturing plant. To meet these needs, two approaches have been proposed in this thesis. The first one aims at improving the informational model of production processes through an approach based on machine learning to discover the rules that correspond to the right configuration of the informational model. An industrialization phase is carried out in a semiconductor manufacturing plant and the results obtained are presented. The second contribution concerns the impact of data in the functional perspective of a business process, which limits the use of traditional verification methods. Thus, we propose an approach that combines discrete-event simulation and model-checking. Simulation allows taking advantage of experts' knowledge in order to identify a subset of states where a given property is more likely to be unsatisfied, allowing model-checking to focus on this subset. The approach is tested and validated on a network on-chip model
 
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.00 (from 0.00 for Coopérati ... to 0.00 for Coopérati ...)

Languages