Global ETD Search

1	Analyse et conception des systèmes temps-réel : translation d'une approche fonctionnelle à une approche orientée objet BENZINA, Adel 16 December 1997 (has links) (PDF) Les travaux développés dans ce mémoire se situent dans le cadre de l'analyse et de la conception des systèmes temps réel. Nous proposons une approche d'aide à la translation entre analyse fonctionnelle et analyse orientée objet. L'utilité d'une telle démarche ainsi que les différents travaux effectués dans ce domaine sont d'abord étudiés. Ensuite, nous exposons les différentes étapes de la démarche. Son originalité découle de l'utilisation des réseaux de Petri comme moyen de translation. D'abord, les spécifications fonctionnelles (de type SA-RT) sont décrites par réseaux de Petri. Les composantes conservatives de ces derniers sont alors utilisées pour identifier et définir les objets. Le formalisme HOOD/PNO est adopté pour la spécification des objets. L'approche proposée peut s'appuyer sur l'aspect statique des spécifications ou sur l'aspect dynamique. Il est également possible d'adopter une approche mixte. Les différentes étapes de la démarche et les approches possibles sont illustrées par des exemples significatifs. Nous étudions également les limites de la démarche proposée, ses parties automatisables et la possibilité de l'utiliser avec d'autres techniques. Par ailleurs, nous nous intéressons à la possibilité d'exploiter les résultats obtenus dans des objectifs d'évaluation des spécifications fonctionnelles. L'apport de certaines extensions temporelles des réseaux de Petri est mis en évidence. Systèmes temps réel Spécification Approches fonctionnelles Approches orientées objet Translation Migration SA-RT HOOD/PNO Réseaux de Petri
2	Démonstration fonctionnelle de la nature virale des particules sans ADN de la guêpe parasitoïde venturia canescens / Study of the domestication of a viral genome in the parasitoid wasp Venturia canescens Leobold, Matthieu 20 September 2018 (has links) Chez la guêpe parasitoïde Venturia canescens, des particules virales dépourvues d'ADN appelées VLP (pour "Virus-like Particules") sont produites spécifiquement dans les ovaires et tapissent le chorion des oeufs qui sont injectés dans la chenille hôte. Les VLP ont une fonction immunosuppressive pour l'hôte parasité et permettent ainsi la survie des oeufs du parasitoïde. Ces VLP résultent de l’intégration d’un nudivirus dans le génome de l’ancêtre de la guêpe, nudivirus qui a été ensuite domestiqué pour former des liposomes viraux capables de véhiculer dans l’hôte des protéines de virulence d'origine cellulaire. L’étude réalisée au cours de cette thèse a eu pour objet, d’une part, d'étudier les mécanismes de domestication virale qui ont conduit au virus symbiotique endogène actuel nommé VcENV (pour V. canescens endogenous nudivirus) et d’autre part, d'apporter des éléments de réponse sur le processus de morphogénèse et le mode d'action parasitaire des VLP. / Viral particles devoid of DNA called VLPs (for Virus-Like Particles) are specifically produced in the ovaries of the parasitoid wasp Venturia canescens and line the chorion of the wasp’s eggs injected into the host caterpillar. VLPs are immunosuppressive and allow parasitoid eggs survival. These VLPs result from the integration of a nudivirus into the wasp ancestor genome, nudivirus which was then domesticated to form viral liposomes capable of carrying, into the host, virulence proteins of cellular origin. The aim of the study carried out during this thesis was, first, to analyze the viral domestication mechanisms that led to the current endogenous symbiotic virus called VcENV (for V. canescens endogenous nudivirus) and secondly to provide some answers on VLPs morphogenesis process and parasitic mode of action. Polydnavirus Nudivirus Particules pseudo-virales (VLP) Endosymbiose Guêpe parasitoïde Venturia canescens Éléments viraux endogènes (EVE) Pseudogènes Domestication virale Interférence ARN PCR semi-quantitative PCR quantitative Approches fonctionnelles Relation hôte-parasite Facteurs de virulence Liposomes viraux Polydnavirus Nudivirus Virus-like particles (VLPs) Endosymbiosis Parasitoid wasp Venturia canescens Endogenous viral elements (EVE) Pseudogenes Viral domestication RNA interference Semi-quantitative PCR Quantitative PCR Functional approaches Host-parasite relationship Virulence factors Viral liposomes

Search results

Analyse et conception des systèmes temps-réel : translation d'une approche fonctionnelle à une approche orientée objet

Démonstration fonctionnelle de la nature virale des particules sans ADN de la guêpe parasitoïde venturia canescens / Study of the domestication of a viral genome in the parasitoid wasp Venturia canescens