Reproduction de : Thèse doctorat : Automatique : Metz : 2003. / Titre provenant de l'écran-titre. Notes bibliographiques.

Thèse doctorat : Informatique : Rennes 1 : 2007. / Bibliogr. p. 183-187.

Titre de l'écran-titre (visionné le 21 mars 2024) / L'ordonnancement en milieu agroalimentaire est complexe. En effet, les planificateurs doivent prendre en compte de nombreuses contraintes comme les allergènes, la disponibilité des ingrédients et de la main-d'oeuvre. Ceci devient rapidement une tâche complexe, surtout quand les horaires de production doivent être refaits à la moindre perturbation (nouvelle commande, retard dans l'arrivée des matières premières, etc.). C'est pourquoi il est naturel de faciliter la tâche de ceux-ci grâce à des outils d'aide à la décision comme des modèles d'optimisation. Les problèmes d'ordonnancement de la production sont étudiés depuis longtemps dans la littérature scientifique. Plus récemment, Ku et Beck ont démontré le potentiel du paradigme de la programmation par contraintes sur le problème d'ordonnancement d'atelier (Job-shop Scheduling Problem). Ceci et le fait que très peu d'articles combinent l'utilisation de la programmation par contraintes aux problèmes d'ordonnancement dans le milieu agroalimentaire ont motivé ces travaux de recherche. Dans ce mémoire, l'utilisation de la programmation par contraintes sur des problèmes d'ordonnancement tirés de l'entreprise Biscuits Leclerc a été étudiée. Également, d'autres techniques d'optimisation comme la recherche locale à voisinage large ont été utilisées. Les contributions de la recherche sont autant au niveau scientifique en remplissant un trou existant dans la littérature qu'au niveau industriel en résolvant un problème auquel fait face Biscuits Leclerc quotidiennement. / The scheduling in the food industry is complex. Indeed, planners must take into account many constraints such as the presence of allergens, the availability of ingredients, and employees. This quickly becomes a complex task, especially when production schedules have to be redone at the slightest disruption (new orders, delays in the arrival of raw materials, etc.). This is why it is natural to make their task easier with the help of decision support tools such as optimization models. Production scheduling problems have been studied for a long time in the scientific literature. More recently, Ku and Beck demonstrated the potential of the constraint programming paradigm on the Job-shop Scheduling Problem. This and the fact that very few articles combine the use of constraint programming with scheduling problems in the food industry have motivated the current research work. In this master thesis, the use of constraint programming on scheduling problems taken from the company Biscuits Leclerc have been studied. Also, other optimization techniques such as Large Neighborhood Search were used. The contributions of the research are as much at the scientific level by filling an existing gap in the literature as at the industrial level by solving a problem that Biscuits Leclerc faces in their everyday life.

Du fait de la miniaturisation grandissante des circuits électroniques, la conception de système sur puce actuelle, se heurte au problème des latences sur les fils d'interconnexions traversant tout le circuit. Un système sur puce est un ensemble de blocs de calculs (les composants IP) qui s'échangent des données. Alors que la communication à l'intérieur de ces blocs de calculs peut toujours se faire de manière synchrone, c'est à dire s'abstraire comme une action instantanée, la communication d'un bloc de calculs à un autre prend un temps qui n'est pas négligeable. Il s'écoule plusieurs cycles d'horloge entre l'émission d'une donnée sur un fil d'interconnexion et sa réception. La théorie du Latency Insensitive Design créée par Luca Carloni et Alberto Sangiovanni-Vincentelli permet entre autre de résoudre ce problème en implantant un protocole de communication basé sur la segmentation des fils d'interconnexions et sur le principe de rétroaction en cas d'embouteillage. Dans un premier temps, nous avons donné un fondement théorique à cette théorie en la rapprochant formellement d'une modélisation par Marked/Event graph (Sous ensemble sans conflit des Réseaux de Pétri) et avec des places de capacité ; ce qui génère naturellement le protocole de contrôle de flux. Cette modélisation nous amène à la problématique principale de cet ouvrage: comment, et sous quelles conditions, peut on minimiser la taille des ressources de mémorisation utilisées comme tampons intermédiaires au long de ces fils d'interconnexions? Car leur nombre et leur position peuvent se révéler critique à l'implantation matérielle. Nous allons ensuite étudier cette question sous une hypothèse naturelle de déterminisme, ce qui permet d'obtenir des régimes de fonctionnement périodiques et réguliers. Le but de cette thèse est de modifier le protocole mis en place dans la théorie du Latency Insensitive Design en prenant en compte cette hypothèse. L'étude des systèmes déterministes et des résultats existant nous a permis une première phase de modification appelée: égalisation. L'étape suivante consiste à ordonnancer statiquement ces systèmes. Pour cela, nous avons choisi de représenter explicitement l'ordonnancement de chacun des éléments du système comme un mot binaire périodique où les "1" représentent les instants d'activités et les "0" d'inactivités tel que M. Pouzet et al. l'ont introduit dans le "N-synchronous Kahn network". Une étude approfondie des différentes classes de mots binaires existants (mot de Sturm, de Christoffel, de Lyndon ou encore mécaniques) a précédé leur association à la théorie du Latency Insensitive Design et au processus d'égalisation pour obtenir des systèmes déterministes ordonnancés statiquement.

Thèse doctorat : Traitement du signal et télécommunications : Rennes 1 : 2007. / Bibliogr. p. 129-134.

Reproduction de : Thèse de doctorat : informatique : Grenoble, INPG : 1988. / Titre provenant de l'écran-titre. Bibliogr. p. 171-175.

Thèse de doctorat : Informatique : Tours : 2008. / Titre provenant de l'écran-titre.

Reproduction de : Thèse de doctorat : Informatique : Lille 1 : 2005. / N° d'ordre (Lille 1) : 3633. Résumé en français et en anglais. Titre provenant de la page de titre du document numérisé. Bibliogr. p. [185]-199.

Thesis (doctoral) - Universität, Darmstadt. / Includes bibliographical references.

Thesis (doctoral) - Universität, Darmstadt. / Includes bibliographical references.