Symbolic Simulation of Dataflow Synchronous Programs with Timers

International audienceThe synchronous language Lustre and its descendants have long been used to program and model discrete controllers. Recent work shows how to mix discrete and continuous elements in a Lustre-like language called Zélus. The resulting hybrid programs are deterministic and can be simulated with a numerical solver. In this article, we focus on a subset of hybrid programs where continuous behaviors are expressed using timers, nondeterministic guards, and invariants, as in Timed Safety Automata. We propose a source-to-source compilation pass to generate discrete code that, coupled with standard operations on Difference-Bound Matrices, produces symbolic traces that each represent a set of concrete traces

Effect of desiccation during cold storage on planting stock quality and field performance in forest species

Des plants de chêne pédonculé (Quercus robur L.), de chêne rouge d'Amérique (Quercus rubra L.) et de pin laricio de Corse (Pinus nigra ssp laricio var Corsicana) ont été arrachés au 18 novembre, au 27 janvier et au 10 mars. Ils ont été conservés au froid pendant 0, 2 ou 4 semaines, en conditions desséchantes (sac de jute, 2 øC, 85 % HR). Un traitement supplémentaire était constitué par des plants conservés durant 4 semaines en sac plastique fermé. La capacité de croissance racinaire (RGP), la perte relative en électrolytes (REL) ainsi que des variables relatives à l'état hydrique des plants ont été mesurées. Parallèlement, les plants ont été installés en plantation. RGP et la survie des plants arrachés en novembre étaient plus faibles que celles des plants arrachés en janvier ou mars. La conservation au froid pendant quatre semaines en sac plastique fermé n'a altéré les variables d'état hydrique pour aucune des trois espèces, mais a réduit la survie des pins. La conservation en sac de jute a conduit à un dessèchement de toutes les parties du plant, sauf les bourgeons du pin. Pour le pin, RGP et la survie après plantation ont diminué avec la durée du dessèchement. Pour les chênes, et notamment pour le chêne pédonculé, le dessèchement a réduit RGP, la survie et la croissance. Pour les chênes, une moindre survie et de fortes descentes de cime étaient associées à une teneur en eau des racines fines faible au moment de la plantation et à des faibles valeurs de RGP. Pour le pin aucun prédicteur fiable de la survie ou de la croissance n'a été trouv

Effets du dessèchement au cours de la conservation au froid sur la qualité et la reprise après plantation de plants d'espèces forestières

International audienceDes plants de chêne pédonculé (Quercus robur L.), de chêne rouge d'Amérique (Quercus rubra L.) et de pin laricio de Corse (Pinus nigra ssp laricio var Corsicana) ont été arrachés au 18 novembre, au 27 janvier et au 10 mars. Ils ont été conservés au froid pendant 0, 2 ou 4 semaines, en conditions desséchantes (sac de jute, 2 øC, 85 % HR). Un traitement supplémentaire était constitué par des plants conservés durant 4 semaines en sac plastique fermé. La capacité de croissance racinaire (RGP), la perte relative en électrolytes (REL) ainsi que des variables relatives à l'état hydrique des plants ont été mesurées. Parallèlement, les plants ont été installés en plantation. RGP et la survie des plants arrachés en novembre étaient plus faibles que celles des plants arrachés en janvier ou mars. La conservation au froid pendant quatre semaines en sac plastique fermé n'a altéré les variables d'état hydrique pour aucune des trois espèces, mais a réduit la survie des pins. La conservation en sac de jute a conduit à un dessèchement de toutes les parties du plant, sauf les bourgeons du pin. Pour le pin, RGP et la survie après plantation ont diminué avec la durée du dessèchement. Pour les chênes, et notamment pour le chêne pédonculé, le dessèchement a réduit RGP, la survie et la croissance. Pour les chênes, une moindre survie et de fortes descentes de cime étaient associées à une teneur en eau des racines fines faible au moment de la plantation et à des faibles valeurs de RGP. Pour le pin aucun prédicteur fiable de la survie ou de la croissance n'a été trouv

Effect of a strong cold storage induced desiccation on metabolic solutes, stock quality and regrowth, in seedlings of two oak species

[Departement_IRSTEA]GT [TR1_IRSTEA]SET / BIOFORBare-root seedlings of pedunculate oak (Quercus robur L.) and northern red oak (Quercus rubra L.) were lifted in January and stored at 1.8°C, at 82% relative humidity, until their fresh weight declined by 33%. Root growth potential (RGP), fine root electrolyte leakage (REL), fine root water content (RWC), shoot tip water content (SWC), starch and metabolic solute contents in root and shoot, were measured just after lifting and after treatment. Survival of treated seedlings was also assessed in a field trial. RWC, SWC, REL, RGP were dramatically affected by desiccation during cold storage. In both species, root soluble carbohydrate level, inositol level and isocitrate level increased, whereas root starch level and shoot soluble carbohydrate level decreased. In northern red oak, treated seedlings had higher root contents of soluble carbohydrates, inositol and proline than in pedunculate oak. Moreover, treatment induced proline accumulation only in northern red oak roots. These differences could explain why field survival of treated seedlings was significantly better in northern red oak than in pedunculate oak

Cold hardiness and transplant response of Juglans nigra seedlings subjected to alternative storage regimes

$\bullet$ Effects of overwinter storage regimes on seedling cold hardiness and physiological vigor are relatively unexplored, particularly for temperate deciduous forest tree species. $\bullet$ We evaluated influence of storage duration (0, 66, 119, or 175 d) on electrolyte leakage of stem and root collar tissues following exposure to a series of freeze-test temperatures in black walnut (Juglans nigra L.) seedlings sampled from cold (3 °C) or freezer (–2 °C) storage. Seedlings were subsequently transplanted into a controlled growth chamber environment for two months. $\bullet$ Regardless of storage temperature, mean LT$_{50}$ was lowest for seedlings stored for 66 d ($\leq$ –34 °C) and increased dramatically after 119 d ($\geq$ –13 °C). $\bullet$ Root collar tissue had lower LT$_{50}$ than stem tissue after 119 d for cold-stored seedlings, reflecting importance of evaluative tissue type. Days to bud break shortened with increasing storage duration up to 119 d and stabilized thereafter for both storage regimes. Root growth potential was maximized after 119 d of storage, and subsequently declined for cold-stored seedlings. Height growth increased following storage, regardless of duration. $\bullet$ To promote stress resistance and transplant growth response, we recommend that black walnut seedlings from this genetic source be outplanted after approximately 66–119 d of storage.Endurcissement au froid et réponse des semis de Juglans nigra transplantés après exposition à différentes modalités de stockage. $\bullet$ Les effets de différentes modalités de stockage hivernal sur la résistance au froid des semis et sur leur vigueur physiologique ont été relativement inexplorés, en particulier pour les arbres forestiers décidus tempérés. $\bullet$ Nous avons évalué l'influence de la durée de stockage (0, 66, 119 ou 175 jours) sur la perte d'électrolyte de la tige et des tissus du collet racinaire exposés à une série de tests (témoin 4 %C, –10 °C, –20 °C, –40 °C) de température de congélation de semis de noyer noir (Juglans nigra L.), après stockage au froid (3 °C) ou au gel (–2 °C). Les semis étaient ensuite transplantés dans une chambre climatisée pour une durée de deux mois. Indépendamment de la température de stockage, la moyenne de LT50 (température létale correspondant à un endommagement de 50 % des plants) a été plus basse pour les semis stockés pendant 66 jours ($\leq$ –34 °C) et s'est accrue de façon spectaculaire après 119 jours ($\geq$ –13 °C). $\bullet$ Les tissus du collet racinaire avaient un plus bas LT50 que les tissus de la tige, après 119 jours pour les semis stockés au froid, reflétant l'importance du type de tissu pour l'évaluation. Le nombre de jours jusqu'au débourrement a été raccourci avec l'accroissement de la durée de stockage jusqu'à 119 jours et s'est stabilisé par la suite pour les deux modalités de stockage. Le potentiel de croissance racinaire a été maximisé après 119 jours de stockage et a décliné par la suite, pour les semis stockés au froid. La croissance en hauteur s'est accrue à la suite du stockage, indépendamment de sa durée. $\bullet$ Pour promouvoir une résistance élevée au stress et une forte reprise de croissance des semis transplantés, nous recommandons que les semis de noyer noir de cette source génétique soient plantés après approximativement 66 à 119 jours de stockage