Influence du procédé de dépulpage de la drupe de Coffea arabica L. sur la fermentation

Au cours du traitement de postrécolte du café Arabica, l'eau utilisée a une influence directe sur les paramètres physico-chimiques, microbiologiques et biochimiques de la fermentation. Elle intervient lors du dépulpage et du transport des drupes dépulpées jusqu'à la cuve de fermentation, solubilise alors les sucres simples du mucilage, ralentit la croissance microbienne et en conséquence l'acidification du milieu fermentaire. Le dépulpage et le transport du café avec ou sans eau ne modifient pas la composition biochimique du café vert. Par ailleurs, les propriétés organoleptiques à la tasse ont été jugées identiques. Les technologies moins polluantes, dépulpage et transport sans eau des drupes dépulpées, permettent aux producteurs de contrôler la durée et l'acidité produite. En revanche, il est nécessaire de réduire le temps de fermentation car le pH devient plus rapidement acide. Des durées prolongées pourraient provoquer des surfermentations et développer des mauvais goûts. (Résumé d'auteur

Imagerie par matrice de mueller de milieux multi-diffusants en vue d'applications au génie bio-médical

L'objet de cet article concerne la conception, la mise en oeuvre et l'exploitation d'un système d'imagerie basé sur l'étude de la modification de la polarisation lors de l'interaction lumière-matière. Il est possible de caractériser les milieux multi-diffusants par leurs propriétés optiques au travers du formalisme de Stokes-Mûller. Notre dispositif utilise cette représentation ; il permet une approche expérimentale globale. Avec des protocoles spécifiques on envisage la création d'images dont le contraste utiliserait les propriétés de dépolarisation, de biréfringence, de diatténuation ... des milieux présentant un intérêt diagnostic. Avec un capteur ponctuel, on a pu constater les conséquences des effets d'un rayonnement ionisant sur du collagène. L'imagerie en mode 2D est en cours de développement ; les premiers résultats sont encourageants

Canonical finite state machines for distributed systems

There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multiple ports/interfaces a multi-port FSM is used and in testing, a tester is placed at each port. If the testers cannot communicate with one another directly and there is no global clock then we are testing in the distributed test architecture. It is known that the use of the distributed test architecture can affect the power of testing and recent work has characterised this in terms of local s-equivalence: in the distributed test architecture we can distinguish two FSMs, such as an implementation and a specification, if and only if they are not locally s-equivalent. However, there may be many FSMs that are locally s-equivalent to a given FSM and the nature of these FSMs has not been explored. This paper examines the set of FSMs that are locally s-equivalent to a given FSM M. It shows that there is a unique smallest FSM χmin(M) and a unique largest FSM χmax(M) that are locally s-equivalent to M. Here smallest and largest refer to the set of traces defined by an FSM and thus to its semantics. We also show that for a given FSM M the set of FSMs that are locally s-equivalent to M defines a bounded lattice. Finally, we define an FSM that, amongst all FSMs locally s-equivalent to M, has fewest states. We thus give three alternative canonical FSMs that are locally s-equivalent to an FSM M: one that defines the smallest set of traces, one that defines the largest set of traces, and one with fewest states. All three provide valuable information and the first two can be produced in time that is polynomial in terms of the number of states of M. We prove that the problem of finding an s-equivalent FSM with fewest states is NP-hard in general but can be solved in polynomial time for the special case where there are two ports