La sécurité des services informatiques d'aujourd'hui dépend significativement de la bonne configuration des systèmes qui sont de plus en plus distribués. Au même temps, la gestion des configurations de sécurité est encore fortement basée sur des activités humaines, qui sont coûteuses et sujettes à erreurs. Au cours de la dernière décennie, il a été reporté à plusieurs reprises qu'une partie significative des incidents de sécurité et des pertes de données a été causée par des configurations incorrectes des systèmes. Pour résoudre ce problème, plusieurs techniques ont été proposées pour automatiser les tâches de gestion des configurations. Beaucoup d'entre elles mettent l'accent sur les phases de planification et de mise en œuvre, où les exigences et les politiques de sécurité abstraites sont conçues, harmonisées et transformées dans des configurations concrètes. Ces techniques nécessitent souvent d'opérer sur des politiques formelles ou très structurées qui se prêtent à un raisonnement automatisé, mais qui sont rarement disponibles dans la pratique. Cependant, moins d'attention a été consacrée aux phases de gestion de suivi et de changement des configurations, qui complètent les étapes précédentes en détectant et en corrigeant les erreurs afin d'assurer que les changements de configuration n'exposent pas le système à des menaces de sécurité. Les objectifs et les contributions de cette thèse se concentrent sur ce deuxième point de vue, de façon pragmatique sur la base des configurations de sécurité concrètes. En particulier, nous proposons trois contributions visant à analyser et à vérifier des configurations de sécurité / The security of nowadays IT services significantly depends on the correct configuration of increasingly distributed information systems. At the same time, the management of security configurations is still heavily centered on human activities, which are costly and prone to error. Over the last decade it has been repeatedly reported that a significant share of security incidents and data breaches are caused by inaccurate systems configuration. To tackle this problem, several techniques have been proposed to increase the automation in configuration management tasks. Many of them focus on planning and implementation, i.e., the phases where abstract security requirements and policies are elicited, harmonized, de-conflicted and transformed into concrete configurations. As such, these techniques often require formal or highly structured input policies amenable to automated reasoning, which are rarely available in practice. In contrast, less attention has been dedicated to the monitoring and change management phases, which complement the above steps by detecting and remediating configuration errors and by ensuring that configuration changes do not expose the system to security threats. The objectives and contributions of this thesis take the latter perspective and, as such, they pragmatically work on the basis of concrete security configurations. In particular, we propose three contributions that move from more concrete syntax-based configuration analysis towards increasingly abstract semantic reasoning

Toute l’œuvre d’Albert Cohen se centre autour de la mise en scène de fictions identitaires de la judéité. Le romancier avait pour projet d’écrire une vaste « geste des Juifs » à travers les aventures de Solal. Mais ce dessein, affiché délibérément pour les romans, semble en réalité dépasser leur cadre et proposer une immense fresque, autobiographique, romanesque, poétique comme théâtrale, où les aventures de la judéité s’exhibent comme l’actant principal et le ferment majeur d’une esthétique originale. La judéité se vit à la fois en tant qu’expérience singulière et en tant qu’aventure collective. Elle est ainsi un puissant moteur romanesque fondant une mythologie qui lui reste propre. Construite à l’aune d’une filiation homérique, la geste de la judéité propose, plus qu’une épopée à la manière des gestes traditionnelles, une traversée de l’existence juive au sein du monde occidental. Cette judéité, d’autant plus problématique qu’elle est sans cesse déniée et réaffirmée par une réquisition absolue de tout l’être juif, qu’elle se dit dans un rapport ambigu devant des origines inappropriables car lacunaires, représente une véritable dynamique de l’écriture tout autant que l’expression incertaine et contradictoire d’une pensée éthique et existentielle. Et la raison principale de ce mouvement puise dans la volonté de faire advenir un devenir-humain, par le biais de la Loi juive, qui modifiera le monde. Aussi, le Messie, figure obsédante et fascinante, hante l’imaginaire de Cohen, s’infiltrant partout, travaillant en sourdine le personnage de Solal et imposant sa facture singulière à l’être juif dans l’œuvre du romancier. Le messianisme chez Cohen est toujours pluriel et polymorphe. Il informe essentiellement des fictions de la judéité : la littérature se chargera de les décliner. / Albert Cohen’s oeuvre revolves around the staging of Jewish identity. Though the novels only were meant as illustrations of Cohen’s desire to write a vast “epic of the Jews” through Solal’s adventures, it would seem that all his works, be they autobiographical, poetic or dramatic, are in actual fact informed by this desire. So central is Jewish identity, experienced both individually and collectively, to Cohen’s thought and creative process that it appears to be the core of his idiosyncratic aesthetics, and that his writing is based on the myths it creates. However indebted they might be to Homer’s works, the novels are nevertheless less a proper epic than the story of Jewish life in the Western world and offer a complex image of Jewish identity. The latter is constantly both denied and reaffirmed and its origins are forever presented as uncertain. This complexity and uncertainty permeates not only Cohen’s writing, but his ethical and existential thought. What is expressed is the desire for the advent of humanity through the Jewish Law, which will change the world. The fascinating, all pervasive figure of the Messiah is thus obsessively present in Cohen’s creative imagination and defines Solal as well as all the Jewish characters in the novels. Cohen’s complex and protean Messianism informs the staging of Jewish identity that will then take various literary forms.

Esta tese estuda a obra do escritor Thomas Bernhard, especialmente a partir de dois de seus romances, a saber Holzfällen. Eine Erregung (1984) e Auslöschung. Ein Zerfall. (1986). Pela mediação entre forma literária e forma social, pretende-se desvendar dinâmicas históricas inscritas na forma literária elaborada pelo escritor austríaco. Por um lado, o autor busca \"politizar a estética\" por meio de uma estética da provocação formal, com o que cita diretamente a sociedade e quebra as fronteiras bem delimitadas entre ficção e realidade. Por outro lado, dadas as condições históricas específicas da Áustria após a Segunda Guerra, e apoiando-se na formulação adorniana da arte como historiografia inconsciente de nosso tempo, Bernhard cria uma obra que procura ler a contrapelo (Benjamin) e atualizar esta rica tradição num momento propício, culminando em sua obra dos anos 80. / The present dissertation is a study of the work of Thomas Bernhard, based mainly in two of his novels, Holzfällen. Eine Erregung (1984), and Auslöschung. Ein Zerfall (1986). The intention is to uncover the historical dynamics inscribed in the literary form developed by the Austrian author through the mediation between literary and social form. On the one hand, Bernhard seeks to \"politicize the esthetics\", making use of an esthetics of formal provocation that makes direct references to real people of the Austrian society, effacing the sharp distinction between fiction and reality. On the other hand, in the specific context of the historical condition of Austria after the Second World War and based on Adorno\'s concept of art as the unconscious historiography of our time, Bernhard writings seek to renew this rich tradition in a way that is opposed to the traditionally accepted one (Benjamin) and to bring it up-to-date in a propicious context. The higher point of this achievement is the work he produced during the decade of 1980.

A Sonata per pianoforte, composta em 2001, é o trabalho para piano solo de maior fôlego de Luciano Berio. A peça condensa diversas estratégias composicionais características de Berio e se apresenta, assim, como uma espécie de relicário da escritura desse compositor. Nesse trabalho comentaremos, a partir da Sonata, três importantes estratégias composicionais de Luciano Berio: a noção de reescritura, a noção de gesto e a noção de processo. Como veremos, essas três noções são atravessadas pela idéia de obra aberta e estarão presentes durante todo seu percurso composicional, consolidando-se como aspectos fundamentais para a construção de sua poética. / The Sonata per pianoforte, composed in 2001, is the Luciano Berio\'s solo piano work of greatest scope. The piece brings together several of Berios\'s characteristic compositional strategies and thus presents itself as a sort of a reliquary of his musical resources. In this work, we will comment, from the Sonata, three Luciano Berio\'s important compositional strategies: the notion of rewriting (réécriture), the notion of gesture and the notion of process. As we will see, these three notions are crossed by the idea of open work and will be present throughout his compositional pathway, establishing themselves as fundamental aspects for the construction of his poetry.

Si la littérature centre-américaine est peu étudiée, la poésie contemporaine des femmes de l’Isthme l’est moins encore. Nous avons donc souhaité participer au développement de ce champ de recherche, en étudiant l’œuvre lyrique de six écrivaines d’Amérique centrale. Dans ce corpus, publié de 1948 à nos jours, la réinvention des mythes – par l’appropriation, l’actualisation et/ou le détournement – nous a semblé particulièrement significative. Pour l’aborder, nous suivons tout d’abord le fil de la vie des poétesses sur la trame de l’Histoire contemporaine de l’Isthme et de sa littérature. Puis, nous tentons de caractériser les différents types de mythes qui peuplent leurs recueils – mythes ancestraux (amérindiens, grecs et bibliques) et mythes « nouveaux-nés », fruits de représentations stéréotypées et souvent idéalisées (l’Eternel féminin ou le « macho »). Par l’analyse textuelle et une approche théorique basée sur la réécriture et la mythocritique, nous étudions le traitement de ces motifs et figures mythiques selon leur provenance et leur valeur prescriptive envers les femmes. Nous observons ensuite de quelle manière la réinvention des mythes s’inscrit dans la poétisation du cycle de la vie, de la création (Genèse du Monde, de l’humain, de l’enfant, du poème) à la mort. Enfin, nous analysons comment, à travers le prisme du mythe, le statut de la femme et de l’homme sont redéfinis – notamment en brisant l’alternative femme exemplaire (Pénélope, l’ange du foyer) / femme fatale ou « perdue » (Eve, Médée, la prostituée), en valorisant l’héroïsme au féminin et à travers de nouveaux mythes (la femme sauvage) – pour aboutir à une réinvention des relations homme/femme. / The literature of Central America – and in particular the contemporary works of the female poets in this region – is a little-studied subject. We therefore wished to help develop this field of research by examining the lyrical work of six women writers from Central America. In this corpus, published from 1948 to the present day, the reinvention of myths is, to our minds, especially significant. In order to tackle this subject, we shall first unravel the threads of these poets’ lives from the fabric of the contemporary history and literature of Central America. We shall then attempt to characterise the types of myths found in their poems – age-old tales (Amerindian, Greek and Biblical) as well as « newborn » myths that are the fruit of stereotyped and images (the Archetypal Female or the « macho » male). Through textual analysis and a theoretical approach based on rewriting and myth criticism, we shall study the way these myths are dealt with according to where they come from and their advisory value regarding women. We shall then consider the way in which the reinvention of myths is part of the poetic depiction of the life cycle from creation (the genesis of the world, of human life; the birth of a child, of a poem) to death. Finally, we shall analyse how the status of women and men is redefined through the prismatic distortion of the myth – by breaking down the dichotomy between the commendable woman (Penelope, the angel in the house) and the femme fatale or « fallen woman » (Eve, Medea, the prostitute), or praising female heroism through new myths (such as the wild woman) – with a view to breaking new ground in male-female relationships.

Comment les traditions orales kanak pourraient-elles agir au-delà de leurs frontières habituelles et influencer les processus de construction identitaire dans la société néo-calédonienne contemporaine ? Notre travail explore les interactions entre la tradition orale kanak et la tradition écrite néocalédonienne, en examinant les textes de réécriture, ces lieux de rencontre entre traditions qui constituent un espace de patrimoine commun. Cette thèse retrace les chemins d’une histoire, Le Chef et le lézard (dont on trouve de multiples versions dans les différentes traditions orales kanak), dans la tradition écrite. Sont élucidés les contextes historiques, politiques et littéraires des processus de production de versions de l’histoire, afin de mettre en évidence les forces en oeuvre, et d’éclairer la manière dont les représentations qui y figurent pourraient participer aux processus de construction identitaire. Les outils conceptuels employés sont la « réécriture », la « vā » (l’espace relationnel océanien d’échange et de rencontre),ainsi que la littérature comme « outil de renforcement communautaire ». La contribution originale qu'apporte notre travail consiste en démontrant le degré et l’étendue de l’intégration d'une histoire kanak dans le polysystème littéraire néo-calédonien ; en soulignant le rôle actif joué par des acteurs kanak dans les processus de réécriture ; en créant une métaphore étendue géographique du paysage littéraire néo-calédonien ; en témoignant de la richesse des traditions orales et écrites de Kanaky/Nouvelle-Calédonie ; et en constituant une passerelle entre les chercheurs/lecteurs non-francophones et la littérature néo-calédonienne. / How might Kanak oral traditions move beyond their usual boundaries and influence identity construction processes in contemporary New Caledonian society? This thesis explores the interactions between Kanak oral tradition and New Caledonian written tradition, by examining the (re)writings that are places of encounter between these traditions, and thus constitute a space of shared heritage. This study traces the pathways taken by a story, Le Chef et le lézard, (a number of versions of which are found in different Kanak oral traditions), as it moves into and within written tradition. The historical, political, and literary contexts of the (re)writing processes that produce versions of Le Chef et le lézard are elucidated, to demonstrate the forces at work and shed light on how the representations that figure in the (re)writings might participate in identity construction processes. The conceptual tools used in the study include: rewriting; vā (the relational space of exchange and encounter found throughout Oceania); and literature as a means of building community. The original contribution of this thesis has been to demonstrate the degree and the extent of the integration of a Kanak story into the New Caledonian literary polysystem; to highlight the active role played by Kanak actors in the rewriting process; to develop anextended geographic metaphor for the New Caledonian literary landscape; to bear witness to the richness of oral and written traditions in Kanaky/Nouvelle-Calédonie; and to create a bridge between non-Francophone researchers/readers and New Caledonian literature (oral and written).

Les parallélismes entre Jude et 2-Pierre esquissent une trame presque parfaite, en réponse au problème posé par ceux qui « renient le Maître ». Une étude synoptique systématique la met en évidence ; pour autant, chaque lettre possède sa propre architecture ; confronter ces deux démarches, moyennant une méthodologie spécifique, permet d’établir que 2-Pierre dépend de Jude. D’une lettre à l’autre, un autre problème s’est fait jour : quid de la (seconde) parousie de Christ ? « Pierre » opère un puissant travail de réécriture et, conjointement, élabore une théologie originale de l’inspiration. Si les deux textes ont choisi la forme épistolaire « catholique », et testamentaire pour 2-Pierre, Jude suit un modèle oraculaire, quand 2-Pierre adopte le genre « disputation speech ». La mise en intrigue des rapports entre les deux lettres permet d’esquisser des trajectoires théologiques. En réponse au second problème, 2-Pierre propose des principes herméneutiques originaux ; c’est sans doute un écrit à visée anti-millénariste, un témoin privilégié et un acteur important du processus de proto-canonisation en cours. Pour cela, il s’appuie sur une « christologie haute ». / Parallelisms between Jude and 2-Peter outline an almost perfect framework, to reply to the problem of those who “deny the Master”. A framework seen through a systematical synoptic study ; however, each epistle possesses its own architecture ; confronting these two steps allows to establish that 2-Peter depends on Jude. From one letter to the other, a second problem appears : what can be said of the (second) Parousia of Christ ? “Peter” demonstrates a great deal of rewriting, and, jointly, elaborates an original theology of inspiration. If the two texts chose the “catholic” epistolary form, and 2-Peter a testamentary one, Jude follows an oracular pattern, while 2-Peter assume the “disputation speech” genre. The plotting of the relation between the two letters alows us to sketch theological trajectories. In particular, in response to the second problem, 2-Peter puts forward original hermeneutical principles ; it is probably an anti-millenarist work, a privileged testimony and an important actor of the current proto-canonisation process. For that very reason, 2-Peter leans on a “high christology”.

Nous explorons différents aspects des entrepôts de données et d’OLAP, le point commun de nos recherches étant le modèle fonctionnel pour l'analyse de données. Notre objectif principal est d'utiliser ce modèle dans l'étude de trois aspects différents, mais liés:- l'optimisation de requêtes par réécriture et la gestion du cache,- la visualisation du résultat d'une requête OLAP,- le mapping d'un schéma relationnel en BCNF vers un schéma fonctionnel. L'optimisation de requêtes et la gestion de cache sont des problèmes cruciaux dans l'évaluation de requêtes en général, et les entrepôts de données en particulier; et la réécriture de requêtes est une des techniques de base pour l'optimisation de requêtes. Nous établissons des conditions d'implication de requêtes analytiques, en utilisant le pré-ordre partiel sur l'ensemble de requêtes, et nous définissons un algorithme sain et complet de réécriture ainsi que une stratégie de gestion de cache optimisée, tous les deux basés sur le modèle fonctionnel.Le deuxième aspect important que nous explorons dans cette thèse est celui de la visualisation du résultat. Nous démontrons l'importance pour la visualisation de reproduire des propriétés essentielles de données qui sont les dépendances fonctionnelles. Nous montrons que la connexion, existante entre les données et leur visualisation, est précisément la connexion entre leurs représentations fonctionnelles. Nous dérivons alors un cadre technique, ayant pour objectif d'établir une telle connexion pour un ensemble de données et un ensemble de visualisations. En plus d'analyse du processus de visualisation, nous utilisons le modèle fonctionnel comme un guide pour la visualisation interactive, et définissons ce qu'on appelle la visualisation paramétrique. Le troisième aspect important de notre travail est l'expérimentation des résultats obtenus dans cette thèse. Les résultats de cette thèse peuvent être utilisés afin d’analyser les données contenues dans une table en Boyce-Codd Normal Form (BCNF), étant donné que le schéma de la table peut être transformé aisément en un schéma fonctionnel. Nous présentons une telle transformation (mapping) dans cette thèse. Une fois le schéma relationnel transformé en un schéma fonctionnel, nous pouvons profiter des résultats sur l'optimisation et la visualisation de requêtes. Nous avons utilisé cette transformation dans l’implémentation de deux prototypes dans le cadre de deux projets différents. / In this thesis, we explore different aspects of Data Warehousing and OLAP, the common point of our proposals being the functional model for data analysis. Our main objective is to use that model in studying three different, but related aspects:- query optimization through rewriting and cache management,- query result visualization,- mapping of a relational BCNF schema to a functional schema.Query optimization and cache management is a crucial issue in query processing in general, and in data warehousing in particular; and query rewriting is one of the basic techniques for query optimization. We establish derivability conditions for analytic functional queries, using a partial pre-order over the set of queries. Then we provide a sound and complete rewriting algorithm, as well as an optimized cache management strategy, both based on the underlying functional model.A second important aspect that we explore in the thesis is that of query result visualization. We show the importance for the visualization to reflect such essential features of the dataset as functional dependencies. We show that the connection existing between data and visualization is precisely the connection between their functional representations. We then define a framework, whose objective is to establish such a connection for a given dataset and a set of visualizations. In addition to the analysis of the visualization process, we use the functional data model as a guide for interactive visualization, and define what we call a parametric visualization. A third important aspect of our work is experimentation with the results obtained in the thesis. In order to be able to analyze the data contained in a Boyce-Codd Normal Form (BCNF) table, one can use the results obtained in this thesis, provided that the schema of the table can be mapped to a functional schema. We present such a mapping in this thesis. Once the relational schema has been transformed into a functional schema, we can take advantage of the query optimization and result visualization results presented in the thesis. We have used this transformation in the implementation of two prototypes in the context of two different projects.

Une des étapes les plus cruciales dans le processus d’analyse des performances d’une application est la détection des goulets d’étranglement. Un goulet étant tout évènement qui contribue à l’allongement temps d’exécution, la détection de ses causes est importante pour les développeurs d’applications afin de comprendre les défauts de conception et de génération de code. Cependant, la détection de goulets devient un art difficile. Dans le passé, des techniques qui reposaient sur le comptage du nombre d’évènements, arrivaient facilement à trouver les goulets. Maintenant, la complexité accrue des micro-architectures modernes et l’introduction de plusieurs niveaux de parallélisme ont rendu ces techniques beaucoup moins efficaces. Par conséquent, il y a un réel besoin de réflexion sur de nouvelles approches.Notre travail porte sur le développement d’outils d’évaluation de performance des boucles de calculs issues d’applications scientifiques. Nous travaillons sur Decan, un outil d’analyse de performance qui présente une approche intéressante et prometteuse appelée l’Analyse Décrémentale. Decan repose sur l’idée d’effectuer des changements contrôlés sur les boucles du programme et de comparer la version obtenue (appelée variante) avec la version originale, permettant ainsi de détecter la présence ou pas de goulets d’étranglement.Tout d’abord, nous avons enrichi Decan avec de nouvelles variantes, que nous avons conçues, testées et validées. Ces variantes sont, par la suite, intégrées dans une analyse de performance poussée appelée l’Analyse Différentielle. Nous avons intégré l’outil et l’analyse dans une méthodologie d’analyse de performance plus globale appelée Pamda.Nous décrirons aussi les différents apports à l’outil Decan. Sont particulièrement détaillées les techniques de préservation des structures de contrôle du programme,ainsi que l’ajout du support pour les programmes parallèles.Finalement, nous effectuons une étude statistique qui permet de vérifier la possibilité d’utiliser des compteurs d’évènements, autres que le temps d’exécution, comme métriques de comparaison entre les variantes Decan / A crucial step in the process of application performance analysis is the accurate detection of program bottlenecks. A bottleneck is any event which contributes to extend the execution time. Determining their cause is important for application developpers as it enable them to detect code design and generation flaws.Bottleneck detection is becoming a difficult art. Techniques such as event counts,which succeeded to find bottlenecks easily in the past, became less efficient because of the increasing complexity of modern micro-processors, and because of the introduction of parallelism at several levels. Consequently, a real need for new analysis approaches is present in order to face these challenges.Our work focuses on performance analysis and bottleneck detection of computeintensive loops in scientific applications. We work on Decan, a performance analysis and bottleneck detection tool, which offers an interesting and promising approach called Decremental Analysis. The tool, which operates at binary level, is based on the idea of performing controlled modifications on the instructions of a loop, and comparing the new version (called variant) to the original one. The goal is to assess the cost of specific events, and thus the existence or not of bottlenecks.Our first contribution, consists of extending Decan with new variants that we designed, tested and validated. Based on these variants, we developed analysis methods which we used to characterize hot loops and find their bottlenecks. Welater, integrated the tool into a performance analysis methodology (Pamda) which coordinates several analysis tools in order to achieve a more efficient application performance analysis.Second, we introduce several improvements on the Decan tool. Techniquesdeveloped to preserve the control flow of the modified programs, allowed to use thetool on real applications instead of extracted kernels. Support for parallel programs(thread and process based) was also added. Finally, our tool primarily relying on execution time as the main concern for its analysis process, we study the opportunity of also using other hardware generated events, through a study of their stability, precision and overhead

Cette thèse est consacrée au développement d’un noyau du logiciel MEMSALab de modélisation parcalcul symbolique qui sera utilisé pour la génération automatique de modèles asymptotiques pourdes matrices de micro et nano-systèmes. Contrairement à des logiciels traditionnels réalisant des simulationsnumériques utilisant des modèles prédéfinis, le principe de fonctionnement de MEMSALabest de construire des modèles asymptotiques qui transforment des équations aux dérivées partiellesen tenant compte de leurs caractéristiques. Une méthode appelée ”par extension-combinaison” pourla modélisation asymptotique, qui permet la construction de modèle de façon incrémentale de sorteque les caractéristiques désirées soient incluses étape par étape est tout d’abord proposé pour lemodèle d’homogénéisation dérivation. Il repose sur une combinaison de méthodes asymptotiquesissues de la théorie des équations aux dérivés partielles et de techniques de réécriture issues del’informatique. Cette méthode concentre sur la dérivation de modèle pour les familles de PDEs aulieu de chacune d’entre elles. Un modèle d’homogénéisation de l’électro thermoélastique équationdéfinie dans un domaine mince multicouche est dérivé par utiliser la méthode mathématique danscette approche. Pour finir, un outil d’optimisation a été développé en combinant SIMBAD, une boite `aoutils logicielle pour l’optimisation et développée en interne, et COMSOL-MATLAB. Il a ´ et ´e appliquépour étudier la conception optimale d’une classe de sondes de microscopie atomique thermique et apermis d’ établir des règles générale pour leurs conception / This thesis is dedicated to develop a kernel of a symbolic asymptotic modeling software packageMEMSALab which will be used for automatic generation of asymptotic models for arrays of micro andnanosystems. Unlike traditional software packages aimed at numerical simulations by using pre-builtmodels, the purpose of MEMSALab is to derive asymptotic models for input equations by taking intoaccount their own features. An approach called ”by extension-combination” for the asymptotic modelingwhich allows an incremental model construction is firstly proposed for the homogenization modelderivation. It relies on a combination of the asymptotic method used in the field of partial differentialequations with term rewriting techniques coming from computer science. This approach focuses onthe model derivation for family of PDEs instead of each of them. An homogenization model of theelectrothermoelastic equation defined in a multi-layered thin domain has been derived by applyingthe mathematical method used in this approach. At last, an optimization tool has been developed bycombining a house-made optimization software package SIMBAD and COMSOL-MATLAB simulationand it has been applied for optimization of a SThM probe.