Inconsistent-tolerant base revision through Argument Theory Change

Reasoning and change over inconsistent knowledge bases (KBs) is of utmost relevance in areas like medicine and law. Argumentation may bring the possibility to cope with both problems. Firstly, by constructing an argumentation framework (AF) from the inconsistent KB, we can decide whether to accept or reject a certain claim through the interplay among arguments and counterarguments. Secondly, by handling dynamics of arguments of the AF, we might deal with the dynamics of knowledge of the underlying inconsistent KB. Dynamics of arguments has recently attracted attention and although some approaches have been proposed, a full axiomatization within the theory of belief revision was still missing. A revision arises when we want the argumentation semantics to accept an argument. Argument Theory Change (ATC) encloses the revision operators that modify the AF by analyzing dialectical trees-arguments as nodes and attacks as edges-as the adopted argumentation semantics. In this article, we present a simple approach to ATC based on propositional KBs. This allows to manage change of inconsistent KBs by relying upon classical belief revision, although contrary to it, consistency restoration of the KB is avoided. Subsequently, a set of rationality postulates adapted to argumentation is given, and finally, the proposed model of change is related to the postulates through the corresponding representation theorem. Though we focus on propositional logic, the results can be easily extended to more expressive formalisms such as first-order logic and description logics, to handle evolution of ontologies.

Average control of Markov decision processes with Feller transition probabilities and general action spaces

This paper studies the average control problem of discrete-time Markov Decision Processes (MDPs for short) with general state space, Feller transition probabilities, and possibly non-compact control constraint sets A(x). Two hypotheses are considered: either the cost function c is strictly unbounded or the multifunctions A(r)(x) = {a is an element of A(x) : c(x, a) <= r} are upper-semicontinuous and compact-valued for each real r. For these two cases we provide new results for the existence of a solution to the average-cost optimality equality and inequality using the vanishing discount approach. We also study the convergence of the policy iteration approach under these conditions. It should be pointed out that we do not make any assumptions regarding the convergence and the continuity of the limit function generated by the sequence of relative difference of the alpha-discounted value functions and the Poisson equations as often encountered in the literature. (C) 2012 Elsevier Inc. All rights reserved.

Periodic solutions of abstract neutral functional differential equations

We characterize the existence of periodic solutions of some abstract neutral functional differential equations with finite and infinite delay when the underlying space is a UMD space. (C) 2011 Elsevier Inc. All rights reserved.

Existence of Solutions for Abstract Non-Autonomous Neutral Differential Equations

In this paper we discuss the existence of mild and classical solutions for a class of abstract non-autonomous neutral functional differential equations. An application to partial neutral differential equations is considered.

Characterisation of young stellar clusters

Aims. Several embedded clusters are found in the Galaxy. Depending on the formation scenario, most of them can evolve to unbounded groups that are dissolved within 10 Myr to 20 Myr. A systematic study of young stellar clusters that show distinct characteristics provides interesting information on the evolutionary phases during the pre-main sequence. To identify and to understand these phases we performed a comparative study of 21 young stellar clusters. Methods. Near-infrared data from 2MASS were used to determine the structural and fundamental parameters based on surface stellar density maps, radial density profile, and colour-magnitude diagrams. The cluster members were selected according to their membership probability, which is based on the statistical comparison with the cluster proper motion. Additional members were selected on the basis of a decontamination procedure that was adopted to distinguish field stars found in the direction of the cluster area. Results. We obtained age and mass distributions by comparing pre-main sequence models with the position of cluster members in the colour-magnitude diagram. The mean age of our sample is similar to 5 Myr, where 57% of the objects is found in the 4-10 Myr range of age, while 43% is <4 Myr old. Their low E(B - V) indicate that the members are not suffering high extinction (AV <1 mag), which means they are more likely young stellar groups than embedded clusters. Relations between structural and fundamental parameters were used to verify differences and similarities that could be found among the clusters. The parameters of most of the objects show the same trends or correlations. Comparisons with other young clusters show similar relations among mass, radius, and density. Our sample tends to have larger radius and lower volumetric density than embedded clusters. These differences are compatible with the mean age of our sample, which we consider intermediate between the embedded and the exposed phases of the stellar clusters evolution.

Semilinear functional difference equations with infinite delay

We obtain boundedness and asymptotic behavior of solutions for semilinear functional difference equations with infinite delay. Applications to Volterra difference equations with infinite delay are shown. (C) 2011 Elsevier Ltd. All rights reserved.

O lugar dos sujeitos e a questão da hipossuficiência na promoção da saúde

Este artigo discute a noção da hipossuficiência do sujeito presente em textos que focam a promoção da saúde. Apresenta os resultados de uma pesquisa de doutorado na qual foram analisadas cinco teses de doutorado e quatro dissertações de mestrado sobre a promoção da saúde. A partir dos referenciais de análise em torno das noções de dinâmica social, das racionalidades empregadas e das visões sobre o projeto da modernidade presentes no material pesquisado, pode-se interpretar as etiologias para a produção da noção de hipossuficiência do sujeito e, consequentemente, o lugar que essa produção reserva a ele. Verificou-se uma ocorrência significativa dessa noção de hipossuficiência e sua aproximação ao cientificismo.

Justiça, razão comunicativa e emancipação social: Filosofia do Direito e Teoria da Justiça a partir do pensamento de Jürgen Habermas

Este artigo trata da interelação entre justiça, razão comunicativa e emancipação social. Ao referir-se à justiça e à injustiça, retorna a um tema de fundamental importância para a história da Filosofia do Direito, sem com isto assumir os riscos das teorias metafísicas da justiça. É a partir da teoria do discurso, de Jürgen Habermas, que as condições e os pressupostos para o desenvolvimento de uma noção de justiça pós-metafísica se torna possível. Investigar a tarefa da Filosofia do Direito, e o desafio do conceito de justiça, são tarefas desdobradas nos estudos e debates envolvidos neste texto.

DIREITO E MORAL NAS PÓS-MODERNIDADE: ANÁLISE INTERDISCIPLINAR DO FILME “A PELE QUE HABITO”

A proposta deste artigo é fazer um estudo pós-moderno da relação existente entre direito e moral. Nesta análise, supera-se a visão racionalista da moralidade moderna vista como um código moral único, como um conjunto de preceitos harmoniosamente coerentes ao qual todos nós deveríamos obedecer e que legitimaria as normas jurídicas de forma racional. Através de uma perspectiva interdisciplinar, como meio de expansão da reflexão crítica, analisaremos o filme A pele que habito dirigido por Pedro Almodóvar

La filosofia di Hans-Georg Gadamer e il problema del disagio della modernità. Ermeneutica, estetica, etica e politica

L’ermeneutica filosofica di Hans-Georg Gadamer – indubbiamente uno dei capisaldi del pensiero novecentesco – rappresenta una filosofia molto composita, sfaccettata e articolata, per così dire formata da una molteplicità di dimensioni diverse che si intrecciano l’una con l’altra. Ciò risulta evidente già da un semplice sguardo alla composizione interna della sua opera principale, Wahrheit und Methode (1960), nella quale si presenta una teoria del comprendere che prende in esame tre differenti dimensioni dell’esperienza umana – arte, storia e linguaggio – ovviamente concepite come fondamentalmente correlate tra loro. Ma questo quadro d’insieme si complica notevolmente non appena si prendano in esame perlomeno alcuni dei numerosi contributi che Gadamer ha scritto e pubblicato prima e dopo il suo opus magnum: contributi che testimoniano l’importante presenza nel suo pensiero di altre tematiche. Di tale complessità, però, non sempre gli interpreti di Gadamer hanno tenuto pienamente conto, visto che una gran parte dei contributi esegetici sul suo pensiero risultano essenzialmente incentrati sul capolavoro del 1960 (ed in particolare sui problemi della legittimazione delle Geisteswissenschaften), dedicando invece minore attenzione agli altri percorsi che egli ha seguito e, in particolare, alla dimensione propriamente etica e politica della sua filosofia ermeneutica. Inoltre, mi sembra che non sempre si sia prestata la giusta attenzione alla fondamentale unitarietà – da non confondere con una presunta “sistematicità”, da Gadamer esplicitamente respinta – che a dispetto dell’indubbia molteplicità ed eterogeneità del pensiero gadameriano comunque vige al suo interno. La mia tesi, dunque, è che estetica e scienze umane, filosofia del linguaggio e filosofia morale, dialogo con i Greci e confronto critico col pensiero moderno, considerazioni su problematiche antropologiche e riflessioni sulla nostra attualità sociopolitica e tecnoscientifica, rappresentino le diverse dimensioni di un solo pensiero, le quali in qualche modo vengono a convergere verso un unico centro. Un centro “unificante” che, a mio avviso, va individuato in quello che potremmo chiamare il disagio della modernità. In altre parole, mi sembra cioè che tutta la riflessione filosofica di Gadamer, in fondo, scaturisca dalla presa d’atto di una situazione di crisi o disagio nella quale si troverebbero oggi il nostro mondo e la nostra civiltà. Una crisi che, data la sua profondità e complessità, si è per così dire “ramificata” in molteplici direzioni, andando ad investire svariati ambiti dell’esistenza umana. Ambiti che pertanto vengono analizzati e indagati da Gadamer con occhio critico, cercando di far emergere i principali nodi problematici e, alla luce di ciò, di avanzare proposte alternative, rimedi, “correttivi” e possibili soluzioni. A partire da una tale comprensione di fondo, la mia ricerca si articola allora in tre grandi sezioni dedicate rispettivamente alla pars destruens dell’ermeneutica gadameriana (prima e seconda sezione) ed alla sua pars costruens (terza sezione). Nella prima sezione – intitolata Una fenomenologia della modernità: i molteplici sintomi della crisi – dopo aver evidenziato come buona parte della filosofia del Novecento sia stata dominata dall’idea di una crisi in cui verserebbe attualmente la civiltà occidentale, e come anche l’ermeneutica di Gadamer possa essere fatta rientrare in questo discorso filosofico di fondo, cerco di illustrare uno per volta quelli che, agli occhi del filosofo di Verità e metodo, rappresentano i principali sintomi della crisi attuale. Tali sintomi includono: le patologie socioeconomiche del nostro mondo “amministrato” e burocratizzato; l’indiscriminata espansione planetaria dello stile di vita occidentale a danno di altre culture; la crisi dei valori e delle certezze, con la concomitante diffusione di relativismo, scetticismo e nichilismo; la crescente incapacità a relazionarsi in maniera adeguata e significativa all’arte, alla poesia e alla cultura, sempre più degradate a mero entertainment; infine, le problematiche legate alla diffusione di armi di distruzione di massa, alla concreta possibilità di una catastrofe ecologica ed alle inquietanti prospettive dischiuse da alcune recenti scoperte scientifiche (soprattutto nell’ambito della genetica). Una volta delineato il profilo generale che Gadamer fornisce della nostra epoca, nella seconda sezione – intitolata Una diagnosi del disagio della modernità: il dilagare della razionalità strumentale tecnico-scientifica – cerco di mostrare come alla base di tutti questi fenomeni egli scorga fondamentalmente un’unica radice, coincidente peraltro a suo giudizio con l’origine stessa della modernità. Ossia, la nascita della scienza moderna ed il suo intrinseco legame con la tecnica e con una specifica forma di razionalità che Gadamer – facendo evidentemente riferimento a categorie interpretative elaborate da Max Weber, Martin Heidegger e dalla Scuola di Francoforte – definisce anche «razionalità strumentale» o «pensiero calcolante». A partire da una tale visione di fondo, cerco quindi di fornire un’analisi della concezione gadameriana della tecnoscienza, evidenziando al contempo alcuni aspetti, e cioè: primo, come l’ermeneutica filosofica di Gadamer non vada interpretata come una filosofia unilateralmente antiscientifica, bensì piuttosto come una filosofia antiscientista (il che naturalmente è qualcosa di ben diverso); secondo, come la sua ricostruzione della crisi della modernità non sfoci mai in una critica “totalizzante” della ragione, né in una filosofia della storia pessimistico-negativa incentrata sull’idea di un corso ineluttabile degli eventi guidato da una razionalità “irrazionale” e contaminata dalla brama di potere e di dominio; terzo, infine, come la filosofia di Gadamer – a dispetto delle inveterate interpretazioni che sono solite scorgervi un pensiero tradizionalista, autoritario e radicalmente anti-illuminista – non intenda affatto respingere l’illuminismo scientifico moderno tout court, né rinnegarne le più importanti conquiste, ma più semplicemente “correggerne” alcune tendenze e recuperare una nozione più ampia e comprensiva di ragione, in grado di render conto anche di quegli aspetti dell’esperienza umana che, agli occhi di una razionalità “limitata” come quella scientista, non possono che apparire come meri residui di irrazionalità. Dopo aver così esaminato nelle prime due sezioni quella che possiamo definire la pars destruens della filosofia di Gadamer, nella terza ed ultima sezione – intitolata Una terapia per la crisi della modernità: la riscoperta dell’esperienza e del sapere pratico – passo quindi ad esaminare la sua pars costruens, consistente a mio giudizio in un recupero critico di quello che egli chiama «un altro tipo di sapere». Ossia, in un tentativo di riabilitazione di tutte quelle forme pre- ed extra-scientifiche di sapere e di esperienza che Gadamer considera costitutive della «dimensione ermeneutica» dell’esistenza umana. La mia analisi della concezione gadameriana del Verstehen e dell’Erfahrung – in quanto forme di un «sapere pratico (praktisches Wissen)» differente in linea di principio da quello teorico e tecnico – conduce quindi ad un’interpretazione complessiva dell’ermeneutica filosofica come vera e propria filosofia pratica. Cioè, come uno sforzo di chiarificazione filosofica di quel sapere prescientifico, intersoggettivo e “di senso comune” effettivamente vigente nella sfera della nostra Lebenswelt e della nostra esistenza pratica. Ciò, infine, conduce anche inevitabilmente ad un’accentuazione dei risvolti etico-politici dell’ermeneutica di Gadamer. In particolare, cerco di esaminare la concezione gadameriana dell’etica – tenendo conto dei suoi rapporti con le dottrine morali di Platone, Aristotele, Kant e Hegel – e di delineare alla fine un profilo della sua ermeneutica filosofica come filosofia del dialogo, della solidarietà e della libertà.

3-D Boundary element-finite element method for the dynamic analysis of piled buildings.

[EN]A boundary element-finite element model is presented for the three-dimensional dynamic analysis of piled buildings in the frequency domain. Piles are modelled as compressible Euler-Bernoulli beams founded on a linear, isotropic, viscoelastic, zoned-homogeneous, unbounded layered soil, while multi-storey buildings are assumed to be comprised of vertical compressible piers and rigid slabs.

Il conflitto tra ragione e passioni nel pensiero morale, economico e politico di Bernard Mandeville

Effects of the conflict between reason and passion in Bernard Mandeville’s moral, economic and political thought My PhD dissertation focuses on Bernard Mandeville (1670-1732), a Dutch philosopher who moved to London in his late twenties. The aspect of Mandeville’s thought I take into account in my research is the conflicting relation between reason and passions, and the consequences that Mandeville’s view of this conflict has in the development of his theory of human nature which, I argue, is what grounds his moral, economic and, above all, political theory. According to Mandeville, reason is fundamentally weak. Passions influence with more strength human actions, and, eventually, are the ones which motivate them. The role of reason is merely instrumental, restricted to finding appropriate means in order to reach the desired ends, which are capricious and inconstant, since they all come from unstable passions. Reason cannot take decisions meant to act in the long term, pursuing an object which has not a selfish and temporary nature. There is no possibility, thus, that men’s actions aim just to achieve a good and just society, without their interests being directly involved. The basically selfish root of every desire leads Mandeville to claim that there is neither benevolence nor altruism which guides human behaviour. Hence he expresses a judgement on the moral character of human beings, always busy with their self-satisfaction, and hardly ever considering what would be good on a wider perspective, including other people’s sake. The anthropological features ascribed to men by Mandeville, are those which lead him to prefer a political system where governors are not supposed to have particular abilities, either from an intellectual or from a moral point of view, and peace and order are preserved by the bureaucratic machine, which is meant to work with the least effort on the part of the politicians, and no big harm can be done even by corrupted or wicked governors. This system is adopted with an eye at remedying human deficiencies: Mandeville takes into primary account, when he thinks of how to build a peaceful and functioning society, that everyone is concerned with his selfish interest, and that the rationality of a single politician, or of a group of them belonging to a same generation, cannot find a good “solution” to govern men able to last over the long period, and to work in different ages. This implies a refusal of the Hobbesian theory of the pactum subjectionis, which has the character of a rational and definitive choice, and leads Mandeville to consider the order which arises spontaneously, without any plan or rational intervention.

Dall'involucro all'invaso. Lo spazio a pianta centrale nell'opera architettonica di Adalberto Libera

An archetype selected over the centuries Adalberto Libera wrote little, showing more inclination to use the project as the only means of verification. This study uses a survey of the project for purely compositional space in relation to the reason that most other returns with continuity and consistency throughout his work. "The fruit of a type selected over centuries", in the words of Libera, is one of the most widely used and repeated spatial archetypes present in the history of architecture, given its nature as defined by a few consolidated elements and precisely defined with characters of geometric precision and absoluteness, the central space is provided, over the course of evolution of architecture, and its construction aspects as well as symbolic, for various uses, from historical period in which it was to coincide with sacred space for excellence, to others in which it lends itself to many different expressive possibilities of a more "secular". The central space was created on assumptions of a constructive character, and the same exact reason has determined the structural changes over the centuries, calling from time to time with advances in technology, the maximum extent possible and the different applications, which almost always have coincided with the reason for the monumental space. But it’s in the Roman world that the reason for the central space is defined from the start of a series of achievements that fix the character in perpetuity. The Pantheon was seen maximum results and, simultaneously, the archetype indispensable, to the point that it becomes difficult to sustain a discussion of the central space that excludes. But the reason the space station has complied, in ancient Rome, just as exemplary, monuments, public spaces or buildings with very different implications. The same Renaissance, on which Wittkower's proving itself once and for all, the nature and interpretation of sacred space station, and thus the symbolic significance of that invaded underlying interpretations related to Humanism, fixing the space-themed drawing it with the study and direct observation by the four-sixteenth-century masters, the ruins that in those years of renewed interest in the classical world, the first big pieces of excavation of ancient Rome brought to light with great surprise of all. Not a case, the choice to investigate the architectural work of Libera through the grounds of the central space. Investigating its projects and achievements, it turns out as the reason invoked particularly evident from the earliest to latest work, crossing-free period of the war which for many authors in different ways, the distinction between one stage and another, or the final miss. The theme and the occasion for Libera always distinct, it is precisely the key through which to investigate her work, to come to discover that the first-in this case the central plan-is the constant underlying all his work, and the second reason that the quota with or at the same time, we will return different each time and always the same Libera, formed on the major works remained from ancient times, and on this building method, means consciously, that the characters of architectural works, if valid, pass the time, and survive the use and function contingent. As for the facts by which to formalize it, they themselves are purely contingent, and therefore available to be transferred from one work to another, from one project to another, using also the loan. Using the same two words-at-issue and it becomes clear now how the theme of this study is the method of Libera and opportunity to the study of the central space in his work. But there is one aspect that, with respect to space a central plan evolves with the progress of the work of Libera on the archetype, and it is the reason behind all the way, just because an area built entirely on reason centric. It 'just the "center" of space that, ultimately, tells us the real progression and the knowledge that over the years has matured and changed in Libera. In the first phase, heavily laden with symbolic superstructure, even if used in a "bribe" from Free-always ill-disposed to sacrifice the idea of architecture to a phantom-center space is just the figure that identifies the icon represents space itself: the cross, the flame or the statue are different representations of the same idea of center built around an icon. The second part of the work of clearing the space station, changed the size of the orders but the demands of patronage, grows and expands the image space centric, celebratory nature that takes and becomes, in a different way, this same symbol . You see, one in all, as the project of "Civiltà Italiana" or symbolic arch are examples of this different attitude. And at the same point of view, you will understand how the two projects formulated on the reuse of the Mausoleum of Augustus is the key to its passage from first to second phase: the Ara Pacis in the second project, making itself the center of the composition "breaks" the pattern of symbolic figure in the center, because it is itself an architecture. And, in doing so, the transition takes place where the building itself-the central space-to become the center of that space that itself creates and determines, by extending the potential and the expressiveness of the enclosure (or cover) that defines the basin centered. In this second series of projects, which will be the apex and the point of "crisis" in the Palazzo dei Congressi all'E42 received and is no longer so, the symbol at the very geometry of space, but space itself and 'action' will be determined within this; action leading a movement, in the case of the Arco simbolico and the "Civiltà Italiana" or, more frequently, or celebration, as in the great Sala dei Recevimenti all’E42, which, in the first project proposal, is represented as a large area populated by people in suits, at a reception, in fact. In other words, in this second phase, the architecture is no longer a mere container, but it represents the shape of space, representing that which "contains". In the next step-determining the knowledge from which mature in their transition to post-war-is one step that radically changes the way centric space, although formally and compositionally Libera continues the work on the same elements, compounds and relationships in a different way . In this last phase Freedom, center, puts the man in human beings, in the two previous phases, and in a latent, were already at the center of the composition, even if relegated to the role of spectators in the first period, or of supporting actors in the second, now the heart of space. And it’s, as we shall see, the very form of being together in the form of "assembly", in its different shades (up to that sacred) to determine the shape of space, and how to relate the parts that combine to form it. The reconstruction of the birth, evolution and development of the central space of the ground in Libera, was born on the study of the monuments of ancient Rome, intersected on fifty years of recent history, honed on the constancy of a method and practice of a lifetime, becomes itself, Therefore, a project, employing the same mechanisms adopted by Libera; the decomposition and recomposition, research synthesis and unity of form, are in fact the structure of this research work. The road taken by Libera is a lesson in clarity and rationality, above all, and this work would uncover at least a fragment.

La diagnosi genetica preimpianto: argomenti favorevoli e contrari alla sua legittimità

Questa tesi ricostruisce la storia della giurisprudenza italiana che ha riguardato la legittimità o meno dell’impiego della diagnosi genetica preimpianto nell’ambito della procreazione medicalmente assistita, dall’emanazione della legge 40 del 2004 a tutt’oggi. Ed in particolare questa tesi si prefigge due obiettivi: uno, individuare ed illustrare le tipologie di argomenti utilizzati dal giurista-interprete per giudicare della legittimità o meno della pratica della diagnosi preimpianto degli embrioni prodotti, mediante le tecniche relative alla procreazione assistita; l’altro obiettivo, mostrare sia lo scontro fra i differenti argomenti, sia le ragioni per le quali prevalgono gli argomenti usati per legittimare la pratica della diagnosi preimpianto. Per raggiungere questi obiettivi, e per mostrare in maniera fenomenologica come avviene l’interpretazione giuridica in materia di diagnosi preimpianto, si è fatto principalmente riferimento alla visione che ha della detta interpretazione la prospettiva ermeneutica (concepita originariamente sul piano teoretico, quale ermeneutica filosofica, da H.G. Gadamer; divulgata ed approfondita sul piano giusfilosofico e della teoria dell’interpretazione giudica in Italia, fra gli altri, da F. Viola e G. Zaccaria). Così, in considerazione dei vari argomenti utilizzati per valutare la legittimità o meno della pratica della diagnosi preimpianto, i motivi per i quali in ultimo il giurista-interprete per giudicare ragionevolmente, deve ritenere legittima la pratica della diagnosi preimpianto sono i seguenti. I principi superiori dell’ordinamento e talune direttive giuridiche fondamentali dell’ordinamento, elaborate della giurisprudenza, le quali costituiscono la concretizzazione di detti principi e di una serie di disposizioni normative fondamentali per disciplinare il fenomeno procreativo, depongono per la legittimità della diagnosi preimpianto. Le tipologie degli argomenti impiegati per avallare la legittimità della diagnosi preimpianto attengono al tradizionale repertorio argomentativo a cui attinge il giurista, mentre la stessa cosa non si può dire per gli argomenti usati per negare la legittimità della diagnosi. Talune tipologie di argomenti utilizzate per negare la legittimità della diagnosi preimpianto costituiscono delle fallacie logiche, per esempio l’argomento del pendio scivoloso, e soprattutto le tipologie degli argomenti utilizzati per sostenere la legittimità della diagnosi preimpianto sono per lo più caratterizzate dalla ragionevolezza ed applicate per lo più opportunamente. Poi, si può osservare che: determinati argomenti, associati dal giurista-interprete ai principi i quali depongono per l’illegittimità della diagnosi preimpianto, facendo leva sulla categoria della possibilità, ed equiparando attualità e possibilità, privilegiano l’immaginazione alla realtà e portano a risultati interpretativi non razionalmente fondati; mentre gli argomenti associati dal giurista-interprete ai principi i quali depongono per la legittimità della diagnosi preimpianto, facendo leva sulla categoria della attualità, e tenendo ben distinte attualità e possibilità, privilegiano l’osservazione della realtà e portano a risultati razionalmente fondati.

Die Faktorisierungsmethode für die elektrische Impedanztomographie im Halbraum

In der vorliegenden Arbeit wird die Faktorisierungsmethode zur Erkennung von Inhomogenitäten der Leitfähigkeit in der elektrischen Impedanztomographie auf unbeschränkten Gebieten - speziell der Halbebene bzw. dem Halbraum - untersucht. Als Lösungsräume für das direkte Problem, d.h. die Bestimmung des elektrischen Potentials zu vorgegebener Leitfähigkeit und zu vorgegebenem Randstrom, führen wir gewichtete Sobolev-Räume ein. In diesen wird die Existenz von schwachen Lösungen des direkten Problems gezeigt und die Gültigkeit einer Integraldarstellung für die Lösung der Laplace-Gleichung, die man bei homogener Leitfähigkeit erhält, bewiesen. Mittels der Faktorisierungsmethode geben wir eine explizite Charakterisierung von Einschlüssen an, die gegenüber dem Hintergrund eine sprunghaft erhöhte oder erniedrigte Leitfähigkeit haben. Damit ist zugleich für diese Klasse von Leitfähigkeiten die eindeutige Rekonstruierbarkeit der Einschlüsse bei Kenntnis der lokalen Neumann-Dirichlet-Abbildung gezeigt. Die mittels der Faktorisierungsmethode erhaltene Charakterisierung der Einschlüsse haben wir in ein numerisches Verfahren umgesetzt und sowohl im zwei- als auch im dreidimensionalen Fall mit simulierten, teilweise gestörten Daten getestet. Im Gegensatz zu anderen bekannten Rekonstruktionsverfahren benötigt das hier vorgestellte keine Vorabinformation über Anzahl und Form der Einschlüsse und hat als nicht-iteratives Verfahren einen vergleichsweise geringen Rechenaufwand.