Spelling suggestions: "subject:"symbolique"" "subject:"symboliques""
1 |
Exécution symbolique pour le test de conformité et le test de raffinement / Symbolic execution for conformance testing and refinement testingTouil, Assia 06 December 2006 (has links)
Les travaux présentés dans cette thèse se situent dans le cadre du domaine du test des systèmes réactifs. Nous avons appliqué la technique d'analyse de l'exécution symbolique pour le test de conformité et le test de raffinement. Les systèmes étudiés sont modélisés par des IOSTS. Pour vérifier la conformité entre une implantation et sa spécification d'origine, nous avons proposé un algorithme d'exécution symbolique de la spécification. Quatre verdicts sont émis : PASS, FAIL, INCONC et WeakPASS. Nous nous sommes aussi intéressés aux moyens pour vérifier qu'une spécification concrète raffine correctement une spécification abstraite. Nous avons proposé un algorithme de vérification qui sélectionne des traces observables à partir de la spécification abstraite et sont exécutées sur le système concret. Notre algorithme mène à un verdict statuant sur la correction de la relation de raffinement. / The work presented in this thesis are situated in testing reactives systems framework. We applied symbolic execution analysis technique for conformance testing and refinement testing. The studied systems are modelled by IOSTS. To check the conformance between an implemantation and its specification, we proposed an algorithm of generation of test case starting from test purposes extracted from the symbolic execution tree of the specification. Four verdicts are emitted~: PASS, FAIL, INCONC, and WeakPass. We were as interested in the means to check as a concrete specification refines an abstract specification and are executed on the concrete system. This selection is based on the techniques of symbolic execution. Our algorithm leads to a verdict to give a decision on the correction for the relation of refinement.
|
2 |
Description symbolique d’une arborescence vasculaire : application au réseau vasculaire cérébral / Symbolic description of vascular tree-like structures : application to the brain vascular treeVerscheure, Leslie 19 October 2010 (has links)
Cette thèse s’intéresse à la description symbolique d’arborescences vasculaires issues d’images 3D multimodales. Ce travail vise à fournir un cadre méthodologique global pour l’analyse de telles structures et plus particulièrement pour l’arbre vasculaire cérébral. Le domaine d’application clinique visé est la neurochirurgie, notamment pour la planification du geste du praticien. Notre principale contribution est le développement d’une méthode de squelettisation 3D, adaptée aux formes tubulaires et judicieuse pour la description symbolique. Nous proposons de baser la méthode de squelettisation sur la construction de l’arbre de des plus courts chemins de Dijkstra. Ainsi, nous extrayons la branche principale qui correspond à la branche la plus longue de l’arbre de Dijkstra, puis, nous détectons de manière itérative chaque branche annexe en conservant les branches de l’arbre de longueur supérieure à un seuil fixé. Puisque notre squelettisation se réalise de manière itérative, nous possédons les informations locales à chacune des branches. De cette manière, la description symbolique est facilitée et consiste alors en un partitionnement du squelette permettant la collecte de ces informations. Les algorithmes ont été implémentés sous la plateforme logicielle du laboratoire, ArtiMed, et évalués sur données simulées et cliniques. L’évaluation des méthodes de squelettisation et de description symbolique a fait l’objet de l’élaboration d’un plan d’expérience spécifique consistant en une comparaison des résultats sur une série de 18 rotations du volume initial. / This thesis describes the methodology and the evaluation of a symbolic description method applied on vascular trees from multimodal 3D images. This work aims to supply a global methodological framework for the analysis of such structures and, more particularly, for the cerebral vascular tree. The clinical application field is neurosurgery and particularly neurosurgery planning. Our method is based on the application of the minimum cost-spanning tree using Dijkstra’s algorithm and seems well appropriate to tubular objects. We skeletonize the structure in two stages: first, we extract the main branch which corresponds to the longest branch of the Dijkstra’s tree, then, we detect iteratively every secondary branch by keeping the branches of the tree which length is superior to a fixed threshold. Since our skeletonization works in an iterative way, we possess local information for each branch. In this way, the symbolic description is facilitated and consists in a partitioning of the skeleton to collect the descriptive characteristics. Algorithms were implemented on the laboratory software platform (ArtiMED) developed in Borland C++ and estimated on digital and clinical data. The evaluation scheme adopts a specific experiment approach consisting in a comparison of the results of a series of 18 rotations of the initial volume.
|
3 |
The logic of sequences : a generalization of "Principia mathematica /Quine, Willard Van Orman, January 1990 (has links)
Th. Ph. D.--Harvard University, 1932.
|
4 |
Interaktives Story-telling : zur historischen Entwicklung und konzeptionellen Strukturierung interaktiver Geschichten /Bhatty, Michael, January 1999 (has links)
Texte remanié de: Diss.--Osnabrück Universität, 1999. / Glossaire. Bibliogr. p. 213-235.
|
5 |
Mathematical reasoning with diagrams : from intuition to automation /Jamnik, Mateja, January 1900 (has links)
Diss. Ph. D.--University of Edinburgh, 1999. / Bibliogr. p. 190-198. Index.
|
6 |
Stratégies autorégulatrices d'enfants à déficience intellectuelle et tout-venant en contexte de jeu symboliqueVieillevoye, Sandrine 30 November 2007 (has links)
Le questionnement général de notre thèse porte sur le développement des stratégies autorégulatrices et hétérorégulatrices chez les enfants à déficience intellectuelle comparativement aux enfants tout-venant. Ce développement est envisagé dans un contexte original, celui du jeu symbolique. Notre échantillon est constitué de 80 enfants, 40 enfants à déficience intellectuelle et 40 enfants tout-venant, appariés sur base de leur âge mental, compris entre 3 et 6 ans. Une évaluation développementale a tout d'abord été réalisée (concernant les dimensions cognitives, langagières et de niveau de jeu symbolique individuel); ensuite, en dyades de pairs, les enfants ont participé à 4 scénarios de jeu symbolique, sur base de 4 types de matériel différents, en référence à 4 thèmes (dînette, docteur, transport, créativité). Selon nos résultats, le niveau de jeu symbolique (individuel et dyadique) des enfants à déficience intellectuelle ne diffère pas de celui des enfants tout-venant. En ce qui concerne le processus d'autorégulation, les enfants à déficience intellectuelle présentent certaines difficultés spécifiques comparativement aux enfants tout-venant concernant les stratégies d'identification de l'objectif, d'attention conjointe et de régulation de comportement. Nos résultats sont en faveur de déficits spécifiques de certaines stratégies autorégulatrices chez les enfants à déficience intellectuelle. Il semble que des capacités autorégulatrices soient préservées chez les enfants à déficience intellectuelle et puissent leur permettre d’atteindre un certain niveau d’autorégulation dans un contexte donné.En ce qui concerne le processus d'hétérorégulation, nos résultats indiquent que les enfants à déficience intellectuelle développement moins de stratégies efficaces que les enfants tout-venant. Enfin, nous avons observé chez les enfants à déficience intellectuelle un déficit en langage, celui-ci peut avoir des conséquences importantes. Au sein du jeu symbolique, il va ralentir le développement d’un jeu coopératif. Il va entraver le développement des stratégies d’autorégulation socio-communicatives, que sont l’attention conjointe et la régulation de comportement. Au niveau de l’hétérorégulation, il a un impact sur le développement de chacune des stratégies. La période préscolaire semble être particulièrement cruciale pour le développement des différentes capacités que nous avons étudiées : l’autorégulation, l’hétérorégulation, le jeu symbolique. Mais il semble que ces compétences n’évoluent pas de manière indépendante, elles vont se soutenir l’une l’autre au cours du développement. Nous pensons que ces différentes capacités influent les unes sur les autres, ceci de manière potentiellement variable selon les contextes. Elles sont également tributaires de facteurs communs (comme par exemple le langage, les ressources cognitives, les aptitudes sociales). Chez les enfants à déficience intellectuelle, les différentes difficultées observées vont s'alimenter entre elles. Pour terminer, nous dégageons les perspectives de recherche et les implications de notre thèse.
|
7 |
La symbolique du corps dans l'oeuvre romanesque d'Olympe Bhêly-Quenum / The Symbolism of the Body in the Olympe Bhêly-Quenum's romantic workMve, Franck-Bernard 08 October 2009 (has links)
Indisponible / Unavailable
|
8 |
Stratégies autorégulatrices d'enfants à déficience intellectuelle et tout-venant en contexte de jeu symboliqueVieillevoye, Sandrine 30 November 2007 (has links)
Le questionnement général de notre thèse porte sur le développement des stratégies autorégulatrices et hétérorégulatrices chez les enfants à déficience intellectuelle comparativement aux enfants tout-venant. Ce développement est envisagé dans un contexte original, celui du jeu symbolique. Notre échantillon est constitué de 80 enfants, 40 enfants à déficience intellectuelle et 40 enfants tout-venant, appariés sur base de leur âge mental, compris entre 3 et 6 ans. Une évaluation développementale a tout d'abord été réalisée (concernant les dimensions cognitives, langagières et de niveau de jeu symbolique individuel); ensuite, en dyades de pairs, les enfants ont participé à 4 scénarios de jeu symbolique, sur base de 4 types de matériel différents, en référence à 4 thèmes (dînette, docteur, transport, créativité). Selon nos résultats, le niveau de jeu symbolique (individuel et dyadique) des enfants à déficience intellectuelle ne diffère pas de celui des enfants tout-venant. En ce qui concerne le processus d'autorégulation, les enfants à déficience intellectuelle présentent certaines difficultés spécifiques comparativement aux enfants tout-venant concernant les stratégies d'identification de l'objectif, d'attention conjointe et de régulation de comportement. Nos résultats sont en faveur de déficits spécifiques de certaines stratégies autorégulatrices chez les enfants à déficience intellectuelle. Il semble que des capacités autorégulatrices soient préservées chez les enfants à déficience intellectuelle et puissent leur permettre d’atteindre un certain niveau d’autorégulation dans un contexte donné.En ce qui concerne le processus d'hétérorégulation, nos résultats indiquent que les enfants à déficience intellectuelle développement moins de stratégies efficaces que les enfants tout-venant. Enfin, nous avons observé chez les enfants à déficience intellectuelle un déficit en langage, celui-ci peut avoir des conséquences importantes. Au sein du jeu symbolique, il va ralentir le développement d’un jeu coopératif. Il va entraver le développement des stratégies d’autorégulation socio-communicatives, que sont l’attention conjointe et la régulation de comportement. Au niveau de l’hétérorégulation, il a un impact sur le développement de chacune des stratégies. La période préscolaire semble être particulièrement cruciale pour le développement des différentes capacités que nous avons étudiées : l’autorégulation, l’hétérorégulation, le jeu symbolique. Mais il semble que ces compétences n’évoluent pas de manière indépendante, elles vont se soutenir l’une l’autre au cours du développement. Nous pensons que ces différentes capacités influent les unes sur les autres, ceci de manière potentiellement variable selon les contextes. Elles sont également tributaires de facteurs communs (comme par exemple le langage, les ressources cognitives, les aptitudes sociales). Chez les enfants à déficience intellectuelle, les différentes difficultées observées vont s'alimenter entre elles. Pour terminer, nous dégageons les perspectives de recherche et les implications de notre thèse.
|
9 |
Linear logic based calculi for object Petri nets /Farwer, Berndt. January 1900 (has links)
Diss.--Informatik--Universität Hamburg, 1999. / Bibliogr. p. 175-184. Index.
|
10 |
Parametrisierte ET-Logik : eine Theorie der Erweiterung abstrakter Logiken um die Konzepte Wahrheit, Referenz und klassische Negation /Zeitz, Philip. January 1900 (has links)
Diss.--Mathematik--Berlin--Technische Universität, 1999. / Notes bibliogr. Bibliogr. p. 139-142. Index.
|
Page generated in 0.0551 seconds