Full list

• Zan, Madina Micheline

  2012 — Modélisation du comportement d'investissement des producteurs en présence de multiples sources d'incertitudes : application à la production d'oeufs

  Abstract

  "Des modes de production respectueux de l'environnement et du bien-être animal sont de plus en plus au centre des préoccupations des consommateurs d'oeufs de table québécois. La tendance actuelle dans la filière québécoise de la production d'oeufs est donc à l'adoption de production dans des cages offrant plus d'espaces aux poules, à des élevages sans cages (poules en liberté), à la production biologique, ... Selon les systèmes de logement adoptés par les producteurs, ou selon leur choix d'adopter la production biologique ou non, ceux-ci devront faire face à des risques liés à la biosécurité, à la qualité des oeufs, et …  Read more

• Zhioua, Abir

  2012 — Analyse de diverses distances en vérification formelle probabiliste

  Abstract

  Dans ce mémoire nous nous intéressons à une branche de la vérification qui consiste à comparer une spécification (fonctionnement idéal) à son implémentation (système réel). Tous les deux sont sous forme de systèmes probabilistes, c’est-à-dire des systèmes dont le comportement est incertain mais quantifié par des distributions de probabilité. Il y a plusieurs méthodes disponibles pour comparer les systèmes : la bisimulation, la simulation, l’équivalence de traces, ou bien les distances qui s’adaptent au comportement probabiliste auquel nous nous intéressons. En effet, plutôt que de dire si oui ou non les deux systèmes à comparer sont « équivalents » une …  Read more