Dissertations / Theses on the topic 'MODAPTS'

Mestrado em Engenharia e Gestão Industrial<br>Este trabalho baseia-se sobretudo nas áreas de Métodos e Tempos Pré-Determinados e Simulação. Através dos seus conceitos e metodologias pretende-se otimizar a linha de montagem de bombas de óleo de débito variável de forma a responder a um aumento de capacidade e reduzir custos associados. Durante o desenvolvimento deste trabalho foi realizado um estudo aprofundado e meticuloso à linha de montagem de bombas de óleo onde foram contabilizadas todas as atividades efetuadas pelos operadores. Foram utilizadas como ferramentas de apoio o Software SYSTEMPS para elaborar estudos de tempos e o Software Arena® para testar o funcionamento da linha de montagem com a implementação dos novos meios. Através deste estudo foram propostas algumas soluções tendo-se verificado melhorias significativas. O custo de mão-de-obra por peça foi reduzido em 2% e foi possível atingir a cadência de linha desejada isto é 44 Cmin (Centésimos de minuto).<br>This work is mainly based on the areas of methods and pre-determined time and simulation. Through its concepts and methodologies it is intended to optimize the oil pump assembly line of variable speed in order to respond to an increase in capacity and reduce associated costs During the development of this work, an in-depth and meticulous study was carried out on the oil pump assembly line where all the activities carried out by the operators were accounted for. SYSTEMPS Software was used as a support tool to prepare time studies and Arena® Software to test the assembly line operation with the implementation of new means. Through this study, some solutions were proposed, with significant improvements. The cost of labor per piece was reduced by 2% and it was possible to reach the desired line rate of 44 Cmin (Hundredth of a minute).

<p>The subject of this dissertation is Norwegian modal verbs, modal auxiliaries or, if one prefers, simply modals. The term modals will be employed in this dissertation, since this term, unlike the other two, is not inherently encumbered with theoretical assumptions about the categorical status of these linguistic elements.</p>

Según el punto de vista predominante en la filosofía sobre la modalidad durante la mayor parte del siglo XX cualquier noción de necesidad que pueda tener sentido es dependiente de nuestros sistemas lingüísticos de representación. Así, la distinción modal tradicional, de carácter ontológico o metafísico, entre propiedades esenciales y propiedades accidentales sólo sería admisible en la medida en que pueda verse como un antecedente, más o menos afortunado, de distinciones lingüísticas basadas en el concepto de analiticidad o de verdad en virtud del significado. Bajo esa doctrina se produce, por lo tanto, una suerte de asimilación entre la dicotomía metafísica necesario/contingente y la dicotomía semántica analítico/sintético; o debería decirse quizá, una reducción de la primera a la segunda.<br/><br/>La diferencia entre ambas dicotomías modales se corresponde aproximadamente con la diferente fuerza modal que detectara Kripke entre verdades necesarias y verdades <i>a priori</i>, tal y como las clasificó en "Naming and Necessary". El aspecto más relevante de dicha obra es su critica a la confusión de ambas nociones modales, es decir, su distinción entre lo necesario y lo <i>a priori</i>. La distinción kripkeana entre las dos modalidades es justamente el objeto principal de esta investigación. Dicha distinción contribuye en buena medida a clarificar uno de los problemas más debatidos en la literatura filosófica sobre lo modal, y del cual me ocupo con detenimiento: el de las condiciones de identidad de objetos correspondientes a distintas circunstancias posibles, es decir, el problema de la <i>identidad transmundana</i>, como se le conoce cuando se habla en términos de mundos posibles: ¿qué determina que el objeto "x" y el objeto "y", pertenecientes a mundos posibles distintos, sean o no el mismo objeto? La noción de mundo posible apta para dar cuenta de la necesidad y la noción de mundo posible apta para dar cuenta de la analiticidad o de la <i>aprioridad</i> difieren en aspectos muy sustanciales. El propósito primordial de este trabajo es describir algunos de esos aspectos.<br/><br/>Los objetivos y resultados de la tesis se distribuyen a lo largo de sus capítulos del siguiente modo. El origen histórico de las discusiones más relevantes sobre los fundamentos de la modalidad ha tenido lugar en estrecha conexión con el desarrollo de sistemas de lógica modal cuantificada. He juzgado apropiado comenzar la investigación analizando, en el capítulo 1, las críticas que durante los años 40 y 50 dirigió Quine a la lógica modal cuantificada. Según Quine la violación del principio de sustituibilidad en contextos modales hace ilegítima la cuantificación desde fuera del operador modal de variables que aparezcan bajo el alcance de dicho operador. Examino con detalle diferentes versiones de esa objeción.<br/><br/>La única forma de dar sentido a ese tipo de cuantificación sería, afirma Quine, comprometerse con una doctrina insostenible: el esencialismo aristotélico. Una vía de reivindicación de la lógica modal seguida por algunos lógicos y filósofos como Marcus o T. Parsons ha consistido en rechazar esa afirmación alegando que un sistema de lógica modal no tiene por qué contar entre sus teoremas con sentencias esencialistas. Quine ha clarificado que el compromiso con el esencialismo denunciado por él no procede de los <i>teoremas</i> de la lógica modal cuantificada pero sí de las <i>verdades</i> presupuestas de algún modo al usar el lenguaje de dicha lógica. Recurriendo a una analogía entre la lógica modal cuantificada y la lógica clásica de primer orden, ofrezco una interpretación y defensa de la postura que se deja entrever en esa clarificación de Quine.<br/><br/>Paralelamente a esas controversias, Kripke, tras haber sido uno de los primeros en proporcionar una semántica de mundos posibles para la lógica modal, propugnaba en "Naming and Necessary" una concepción de la necesidad que no rehusaba el esencialismo ya que éste parecía derivarse de sus análisis sobre la referencia de los nombres propios y de los términos de género natural. Tales análisis dependían de una diferenciación crucial entre lo necesario y lo <i>a priori</i>. En el capítulo 2 expongo y asumo lo esencial de esas ideas, enfatizando cómo la confusión entre verdades necesarias y verdades <i>a priori</i> ha fomentado el antiesencialismo. Además, presento como correlativas de la distinción necesidad/aprioritud las distinciones entre condiciones de verdad y significado, y entre propiedad y concepto. Por lo que respecta a esta última distinción. postulada también en diversos escritos de Putnam, Dretske o Kim, sugiero ver a las propiedades como funciones que asignan a mundos posibles subconjuntos de sus dominios, y a los conceptos (predicativos) como capacidades cognoscitivas para detectar propiedades mediante vías o <i>modos de presentación</i> específicos. Entre los resultados propios que aparecen en este capítulo se encuentra una propuesta sobre la relación entre las propiedades <i>naturales</i> o causalmente eficaces (que denomino <i>universales</i>) y el resto de propiedades: estas últimas <i>supervienen fuertemente</i> sobre propiedades y relaciones <i>naturales</i>, de acuerdo con una definición específica de <i>superveniencia fuerte</i> en la que apelo a la noción de mundo (metafísicamente) posible.<br/><br/>En el capítulo 3 menciono una concepción sobre la identidad de los objetos materiales, compartida por Quine y D. Lewis, contrastándola con la teoría <i>substancíalista</i> defendida por Wiggins en "Sameness and Substance" que, a mi parecer, es preferible. La concepción Quine-Lewis conlleva, por ejemplo, un criterio de individuación de objetos: la región espaciotemporal ocupada por un objeto determina la identidad del mismo. Y conlleva también la identificación de los objetos con fusiones mereológicas de cualesquiera partes suyas.<br/><br/>Muestro la afinidad de tales tesis con el rechazo del esencialismo. Contra la segunda de ellas presento un argumento propio en el que pongo de manifiesto diferencias intuitivamente reconocibles entre objetos macroscópicos típicos y fusiones mereológicas, y que conciernen a la vaguedad y a la modalidad.<br/><br/>El resto de ese capítulo trata de la identidad transmundana. Suscribo un principio defendido por Forbes en "The Metaphysics of Modality" (que denomino <i>principio de fundamentación de la identidad transmundana</i>) de acuerdo con el cual las relaciones de. identidad y diversidad a través de mundos posibles han de basarse en algo; y explico por qué dicho principio, que puede entenderse como la negación del <i>haecceitismo</i>, no contradice ciertas consideraciones de Kripke en favor de la <i>estipulación</i> del contenido de los mundos posibles. Discuto además un problemático argumento de Kripke en favor de la necesidad del origen material de las mesas (cuyas dificultades han sido señaladas por N. Salmón), del que proporciono una reconstrucción inspirada por Forbes usando como premisa implícita el principio de fundamentación de la identidad transmundana.<br/><br/>El capitulo 4 contiene las ideas principales sobre fundamentos de la modalidad<br/>metafísica. Tal y como se sugiere en algún pasaje de "Naming and Necessary", las intuiciones paradigmáticas de lo que es una posibilidad metafísica alternativa para un objeto del mundo real conciernen a posibilidades que <i>se ramifican</i> del mundo real (es decir, que comparten con el mundo real un pasado temporal común). Ese punto de vista queda recogido y concretado por Forbes al proponer la que denomino <i>Tesís Ramifícacionista</i>: cualesquiera mundos posibles con objetos en común son mundos que se ramifican entre sí. (Una versión más fuerte de esa tesis establecería que cualesquiera mundos posibles se ramifican entre sí).<br/><br/>A la noción de ramificación subyace la de proceso causal, modelado o encauzado de acuerdo con leyes causales: de tal manera que las posibilidades abiertas al futuro desarrollo de un proceso causal de un mundo posible "w" (las ramificaciones) corresponden exactamente a las posibilidades <i>permitidas</i> por las leyes que rigen en "w". Por consiguiente, mundos posibles que comparten objetos, dado que se ramificarán entre sí, compartirán también las leyes. Y si todos los mundos se ramifican entre sí entonces las leyes son necesarias.<br/><br/>La necesidad de las leyes es también consecuencia de la teoría de Shoemaker y de Swoyer según la cual los universales se individualizan por los poderes causales que confieren a sus ejemplificaciones o, visto de otro modo, por el lugar que ocupan en la red de interconexiones nómicas integrada por todos los universales (nómicamente relacionados por las leyes causales). En defensa de dicha teoría y de dicha consecuencia presento una serie de réplicas a diversas objeciones al respecto que ha formulado Armstrong.<br/><br/>En el capítulo 5 me ocupo de la analiticidad, desde la perspectiva que guía este trabajo: el contraste entre las dos distinciones modales: necesario/contingente y analítico/sintético (o <i>a priori / a posteriori</i>). Asumo la noción tradicional de verdad analítica, que propongo caracterizar vagamente como verdad cognoscible meramente a partir del conocimiento de su significado (la formulación más habitual, verdad en virtud del significado, presenta ciertas dificultades). Otra caracterización, que conlleva elucidar la modalidad analítica usando la modalidad metafísica. Es ésta: es analíticamente posible que "p" si y sólo si hay un mundo (metafísicamente) posible en que un individuo cree racionalmente que "p".<br/><br/>Ambas formulaciones ponen de manifiesto que el concepto de analiticidad está esencialmente vinculado con conceptos epistemológicos como los de conocimiento o creencia. Supuestos esos vínculos entre semántica y filosofía de la psicología, un modo de abordar la analiticidad es abordar los constituyentes de los contenidos de las actitudes proposicionales, es decir, los <i>conceptos</i>. Presento la teoría sobre conceptos de Peacocke, cuya tesis central es que los conceptos se individualizan por las condiciones requeridas para poseerlos. Si ignoramos una matización que sería necesario introducir en dicha tesis (exigida por el <i>holismo</i> en las relaciones entre algunos conceptos), podemos ilustrar así 1a necesidad kripkeana <i>a posteriori</i>: la meramente <i>aparente</i> contingencia de enunciados como "agua=H2O" (es decir, su carácter <i>a posteriori</i>) consistiría en la <i>genuina</i> posibilidad de que alguien poseyera el concepto <i>agua</i> pero no poseyera el concepto <i>H2O</i> o viceversa.<br><i>In this Doctoral Dissertation the Kripkean distinction between two modal dichotomies (the metaphysical necessary/contingent dichotomy and the epistemological "a priori/a posteriori" dichotomy) is used to clarify a number of topics related with essentialism, possible worlds and transworld identity. These are some of the main thesis sustained:<br/><br/>(1) Quine's claim that quantified modal logic is committed to essentialism is made plausible by stressing the difference between necessary truths and theorems of modal logic.<br/><br/>(2) Quine and D. Lewis share a view on identity conditions for material objects according to which (i) if "a" and "b" occupy the same spatio-temporal area then "a" ="b", and (ii) macroscopic objects are identical to mereological sums of their parts. An alternative theory defended by Wiggins lacks some important difficulties (involving vagueness and modality) that the Quine-Lewis view has.<br/><br/>(3) The branching conception of modality (suggested by Kripke and explicitely slated by Forbes) provides grounds for transworld identity: if "u" and "v" are possible worlds with objects in common, then "u" and "v" have some initial segment of their courses of history in common; so transworld identity is partly grounded in transtemporal identity.<br/><br/>(4) The branching view is close to the claim that laws are necessary, which is also a consequence of Shoemaker's theory of properties: these are individuated by the causal powers they bestow on their instances.<br/><br/>(5) Every genuine properly strongly supervenes on natural properties and relations (according to a technical definition of that notion of supervenience).<br/><br/>(6) I suggest this elucidation of the relation between (metaphysical) necessity and analyicity: it is analytically possible that "p" if and only if it is metaphysically possible for someone rationally to believe that "p". </i>

O presente estudo objetivou caracterizar a logística de transporte do Estado do Tocantins, para a distribuição do etanol levando em consideração o modal rodoviário e ferroviário. Para atender a este objetivo, esta pesquisa quanto aos fins foi do tipo descritiva. O procedimento de coleta de dados foi dividido em duas etapas: a primeira etapa consistiu na realização de pesquisa bibliográfica e documental, que deram apoio ao desenvolvimento do referencial teórico e análise dos resultados do trabalho. Na segunda etapa deste trabalho foi realizada a pesquisa de campo, onde foram aplicados questionários junto a profissionais especializados na área e feitas entrevistas a gestores públicos. No que se refere à análise dos dados e interpretação dos resultados realizou-se uma abordagem qualitativa. Os resultados apresentaram enfoque regional, compreendendo a caracterização da logística do modal rodoviário e ferroviário e a caracterização da logística de transporte das regiões potenciais identificadas por Collicchio (2008). Descrevendo os principais parâmetros referentes à produção agroindustrial da cana-de-açúcar e os parâmetros referentes à logística de transporte de etanol. Concluiu-se que o modal rodoviário é o mais utilizado para a movimentação da logística do setor agrícola em estudo, no entanto, o sistema ferroviário depois de concluído será um importante modal para o transporte de etanol no Tocantins. A caracterização da logística se mostrou importante instrumento para conhecer a região em estudo e para identificar quais os fatores que interferem na logística local, possibilitando ações de melhoria. Espera-se que os estudos na área da logística do setor sucroalcooleiro para produção de etanol ainda possam viabilizar muitas melhorias ao sistema como um todo, minimizando os custos logísticos e contribuindo para o desenvolvimento do setor.<br>The present study aimed to characterize the transport logistics of the State of Tocantins, for the distribution of ethanol taking into account the modals road and rail. To meet this goal, this research as the purpose was descriptive. The procedure for data collection was divided into two stages: the first stage consisted of literature and documents, which have supported the development of the theoretical analysis and the results of the work. In the second stage of this work was carried out field research where questionnaires were administered with professionals specialized in the area and made interviews with public managers. As regards the analysis of data and interpretation of the results was carried out a qualitative approach. The results showed regional focus, including the characterization of logistics modal road and rail and the characterization of the transport logistics of the potential regions identified by Collicchio (2008). Describing the main parameters for agroindustrial production of cane sugar and the parameters related to the logistics of transporting ethanol. It was concluded that road transport is the most used for handling the logistics of the agricultural sector in the study, however, the rail system will be completed after a major modal to transport ethanol in Tocantins. The characterization of the logistics proved important tool to explore the region under study and to identify the factors that affect the local logistics, enabling improvement actions. It is hoped that studies in logistics sector sugarcane for ethanol production may still facilitate many improvements to the system as a whole, minimizing logistics costs and contributing to the development of the sector.

El marc algebraic en què es situa aquesta memòria és l'introduït per Brown i Suzko a [BS], marc que gira entorn la definició de lògica abstracta; una lògica abstracta “L” és una parella (A,C) formada per una àlgebra abstracta “A” i un sistema clausura “C” sobre A, conjunt suport d' “A”. La noció clàssica de lògica corn un conjunt de fórmules ben formades sobre les quals es té un conjunt d'axiomes i unes regles d'inferència queda així com un cas particular, prenent com “A” el conjunt de fórmules ben formades i com “C” la família de subconjunts d' “A” que contenen els axiomes i són tancats per les regles de deducció, Els elements de “C” s'anomenen tancats, si bé A. Monteiro i els seus seguidors els anomenen sistemes deductius. La noció de lògica abstracta té l'encert de tractar la part algebraica, “A”, i la part lògica, “C”, d'una lògica com un únic objecte matemàtic, i a més obre un ampli camp investigador en intentar relacionar classes de lògiques abstractes amb classes d'àlgebres. El primer treball en aquesta línia és l'estudi de la relació entre lògiques clàssiques (abstractes) i àlgebres de Boole fet per Bloom i Browm a [BSB], i a ell han seguit una llarga llista d'estudis del mateix tipus d'entre els quals cal destacar, per la seva influència sobre aquesta memòria, els realitzats per J.M. Font i V. Verdú sobre la lògica dels reticles distributius, les lògiques de De Morgan i les lògiques modals S4 i S5. L'objectiu de la present memòria, que també va en aquesta línia, és la definició i l'estudi, el més complet possible en aquesta perspectiva, d'una classe de lògiques que he anomenat lògiques modals tetravalents (LMTs). Les LMTs són un tipus de lògiques modals (amb operador modal “M”) sobre lògiques de De Morgan (i per tant tetravalorades) que mantenen una estreta relació amb la varietat de les àlgebres modals tetravalents (AMTs). La memòria està dividida en cinc capítols; el primer està dedicat a introduir la notació que es farà servir i les nocions preliminars tant d'àlgebra universal com de lògiques abstractes. Recullo sense demostració tots aquells resultats que faré servir i que apareixen en diversos articles de la bibliografia, només incloc les demostracions en algun cas on no les he trobades explicitades. En el segon capítol introdueixo la definició de AMT i enuncio les principals propietats d'aquestes àlgebres. En el tercer capítol introdueixo la noció de LQMT (no necessàriament finitària) i de LMT (finitària) generalitzant les propietats de la proposició 2.30, taI com abans he exposat. En el capítol quart estudio les lògiques sobre una àlgebra abstracta “A” projectivament generades per famílies d’homomorfismes de de la lògica formada per M(4-m) i el sistema clausura de tots els filtres. En el cinquè i últim capítol estudio les LMTs des d'una perspectiva més lògica (en contraposició a la perspectiva algebraica dels capítols anteriors).<br>The aim of this paper is to define and study some kind of abstract logics (we have named them tetravalent modal logics (TMLs)) which are related to the tetravalent modal algebras (TMAs). We have study the TMA from a logic perspective and we introduce the TMLs as the generalization of the logic or all filters on a TML to algebras or suitable type. With the techniques of modern algebraic logic we study the properties or TMLs and their relationship with the M(4-m) algebra, generator of the TMAs variety. This relationship will allow us lo give a semantic definition or TML; indeed, on an algebra or a suitable type, the TMLs are obtained generating projectively by suitable families of homomorphisms from the logic formed by M(4-m) and all its fillers. On the sentential algebra we define a deductive system, in the sense or Blok and Pigozzi, closely connected with the TMLs. We study the matrices, the generalized matrices and the models. We conclude proving that the TMLs are not algebraizables; thus, their study isn't a part of the general theory of Blok's and Pigozzi's aIgebraizables logics.

Étude de la modélisation de l'information incomplète. Dans ce but, sont employées des logiques modales, où "peut être p" signifie que "p" est consistant avec les informations présentes dans la base de données. Une première partie traite de la logique standard. Dans la seconde partie sont etudiées les logiques multivaluées.

Les eaux modales Subantarctiques (SAMW) sont formées dans la profonde couche de mélange au nord du front Subantarctique (SAF) dans l'Océan Austral. Elles influencent le climat à des échelles décennales et inter-annuelles et jouent un rôle fondamental dans la ventilation de la thermocline de l'Océan Austral. Nous étudions la formation des SAMW en nous fondant sur les récents flotteurs profilants ARGO et sur les dériveurs de surface GDP. Ces jeux de données fournissent une très bonne couverture spatio-temporelle des processus à l'oeuvre dans les couches supérieures de l'Océan Austral. Depuis le lancement du programme international ARGO, le nombre de profils hydrographiques a augmenté de façon considérable dans l'Océan Austral. Une analyse de ces données a montré que les flux air-mer et les flux d'Ekman sont les forçages dominants dans la formation des SAMW. Nous avons trouvé une transition rapide, autour de 70°E, des couches de mélange peu profondes en amont vers des couches de mélange très profondes en aval. Cette transition est associée à un changement de signe de la diffusion tourbillonnaire horizontale dans les couches de surface, et à l'extension méridionale de l'ACC lorsqu'il passe autour du plateau de Kerguelen. Ces effets sont directement liés à la bathymétrie et laissent place à une région de formation des SAMW au Sud-Ouest de l'Australie.<br /><br />La formation des SAMW est intimement liée à la dynamique océanique Australe et à la position des principaux fronts polaires. Une deuxième étude concerne la circulation de l'ACC et la variabilité frontale. Dans cette étude, nous avons tiré parti de la complémentarité des données in situ et altimétriques afin de suivre l'évolution des deux principaux fronts de l'ACC pendant la période 1993-2005. Nous avons comparé leurs mouvements avec les deux principaux modes de variabilité atmosphérique de l'Hémisphère Sud, le mode annulaire Austral (SAM) et l'Oscillation Australe El-Niño (ENSO). La position moyenne des fronts est déterminée avant tout par les fonds océaniques. Cependant, nous avons trouvé que dans les régions à fond plat, les fronts forment de grands méandres dus à l'activité tourbillonnaire et aux forçages atmosphériques.<br /><br />En parallèle, nous avons développé une nouvelle estimation de la distribution circumpolaire de la diffusion dans l'Océan Austral. La diffusion n'a presque jamais été étudiée à partir de données in situ dans cet océan. Nous avons calculé une estimation du coefficient de diffusion tourbillonnaire à partir d'une analyse statistique de dix années de trajectoires de dériveurs de surface. Nous avons cartographié ce coefficient dans l'Océan Austral, puis nous l'avons paramétré à partir de données altimétriques pour pouvoir en étudier l'évolution inter-annuelle et en faciliter l'utilisation dans le futur. Cette étude montre que l'Océan Austral est fortement diffusif au nord de l'ACC, et particulièrement près des courants de bord Ouest, c'est à dire dans la Rétroflexion des Aiguilles, dans la région du plateau de Campbell, et dans le courant de Brésil-Malouines. <br /><br />Ces résultats nous ont menés à une analyse circumpolaire de la formation des SAMW, et à une meilleure conception du lien entre la dynamique océanique Australe et la formation des SAMW. La croissance constante des données hydrologiques du programme ARGO dans l'Océan Austral nous a également permis de mieux représenter la répartition des régions de formation des SAMW. Nous avons trouvé que la diffusion tourbillonnaire joue un rôle majeur dans les budgets de chaleur locaux. Au Sud des courants de bord Ouest, et au nord du SAF, la diffusion tourbillonnaire apporte de la chaleur, équilibrant et même dominant les refroidissements hivernaux dus aux flux d'Ekman et aux flux air-mer. Elle réduit en particulier la déstabilisation de la couche de mélange au nord du SAF dans l'Ouest du bassin Indien, en aval de la Rétroflexion des Aiguilles, et dans l'Ouest du bassin Pacifique, en aval du Plateau de Campbell.

Le changement de croyances vise à trouver des moyens adéquats pour faire évoluer les croyances d'un agent lorsqu'il est confronté à de nouvelles informations. Dans la plupart des travaux sur la révision de croyances, l'ensemble de croyances d'un agent est composé de croyances au sujet de l'environnement (le monde) et est représenté par un ensemble de formules de la logique classique. Dans de nombreuses applications, un agent n'est pas seul dans l'environnement, mais le partage avec d'autres agents, qui ont aussi des croyances. Ainsi les croyances sur les croyances des autres agents constituent un élément d'information important pour l'agent, afin d'être en mesure de prendre les meilleures décisions et d'effectuer les meilleures actions. L'utilisation de croyances sur les croyances des autres agents est par exemple cruciale dans la théorie des jeux. Dans cette thèse, nous étudions dans un premier temps les opérateurs de contraction propositionnelle correspondant aux opérateurs de révision de Katsuno et Mendelzon. Nous étudions ensuite une connexion entre les logiques épistémiques et la théorie du changement de croyances, proche de l'approche AGM. Nous nous sommes intéressés à l'utilisation des opérateurs qui modifient les croyances des agents dans les modèles KD45n standard. Cette tâche est plus compliquée que dans le cadre AGM standard, car, dans un contexte multi-agents, les nouvelles informations peuvent prendre différentes formes. Par exemple, chaque nouvelle information peut être observée/transmise/disponible à tous les agents ou seulement à certains d’entre eux<br>Belief change is about finding appropriate ways to evolve an agent's beliefs when confronted with new pieces of information. In most works on belief revision, the set of beliefs of an agent is composed of beliefs about the environment (the world) and is represented by a set of formulas of classical logic. In many applications, an agent is not alone in the environment, but sharing with other agents, which also have beliefs. Thus beliefs about the beliefs of other agents are an important piece of information for the agent in order to be able to make the best decisions and perform the best actions. The use of beliefs about the beliefs of other agents is, for exampel, crucial in game theory. In this thesis, we first study the operators of propositional contraction corresponding to the revision operators proposed by Katsuno and Mendelzon. Then, we study a connection between epistemic logics and belief change theory, close to the AGM approach. We are interested in the use of operators that modify agent beliefs in standard KD45n models. This task is more complicated than in the standard AGM framework because, in a multi-agent context, new information can take different forms. For example, each new information can be observed/transmitted/available to all agents or only some of them

Thesis: Ph. D. in Linguistics, Massachusetts Institute of Technology, Department of Linguistics and Philosophy, 2016.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 223-235).<br>In this thesis, I examine two related constructions, Imperatives and Greek Root Subjunctives. I argue that Imperatives and Root Subjunctives should be studied in parallel, as this comparison reveals their individual properties better. The first puzzle that I address is the known ambiguity of these constructions between a possibility and a necessity reading. I provide evidence in favor of an existential analysis of these constructions and I argue that the necessity reading can be derived as an Implicature by exhaustifying over focus alternatives. This also allows us to better understand the prosodic differences between Imperatives and Root Subjunctives which convey permission on the one hand, and Imperatives and Root Subjunctives which convey command/request on the other hand. Furthermore, by treating Imperatives on a par with other Root constructions we can reformulate the question regarding the core characteristics of these constructions. We observe that both Imperatives and Root subjunctives have a covert bouletic modal operator with performative character. The fact that these constructions share these properties not only in Greek but also cross-linguistically is the second puzzle that we want to explain. I argue that we can account for these commonalities, if we analyse the Imperative as another subvariety of Subjunctive mood. Under this view, Imperatives and Root Subjunctives are treated as moodPs with a [+SUBJ] feature which will require the insertion of a modal operator with certain properties on top of the mood phrase. Further issues regarding the differences between the two constructions concerning their syntax and semantics are addressed showing that despite their similarities the two constructions should not be treated as identical. Finally, we discuss some deviating patterns which look like exceptions but in fact they provide further evidence for the present analysis.<br>by Despina Oikonomou.<br>Ph. D. in Linguistics

Orientador: Carlos Alberto Lungarzo<br>Tese (doutorado)-Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas<br>Made available in DSpace on 2018-07-13T21:33:33Z (GMT). No. of bitstreams: 1 Guerzoni_JoseAlexandreDurry_D.pdf: 16832642 bytes, checksum: cf21f16c851f949466f36f0fcbc0dc58 (MD5) Previous issue date: 1989<br>Resumo: Não informado<br>Abstract: Not informed.<br>Doutorado<br>Doutor em Lógica e Filosofia da Ciência

En esta tesis se ha desarrollado un método de representación modal tridimensional para la obtención del espectro de modos de cavidades inhomogéneas. El método se fundamenta en el hecho de que los modos de una cavidad inhomogénea son solución de una ecuación de valores propios, cuyo operador es autoadjunto. Con ello, la solución de un problema auxiliar sencillo puede proporcionar una base ortogonal para representar matricialmente las ecuaciones diferenciales de otros problemas de mayor complejidad. De esta forma, el problema se reduce a la solución de un sistema algebraico de valores propios.El método propuesto permite calcular los modos de sistemas inhomogéneos con distribuciones arbitrarias del índice de refracción. Estos sistemas pueden ser abiertos o cerrados, incluso pueden incluir medios absorbentes cuyos índices de refracción sean complejos.La validez del método se ha comprobado analizando diferentes sistemas, tanto en el rango óptico (láminas de cristal fotónico) como en el de las microondas (cavidades inhomogéneas), y comparando los resultados obtenidos con los publicados anteriormente por diferentes autores. Esto ha servido para tratar las cuestiones prácticas que surgen en la implementación del método, como son el efecto de una frontera artificial en el estudio de sistemas abiertos y el efecto del número finito de modos de la base auxiliar. El método desarrollado se caracteriza por su generalidad y una alta versatilidad para tratar problemas no convencionales, lo que se ha aprovechado para estudiar láminas de cristal fotónico en las que las paredes de los surcos están inclinadas, sistema que no puede ser simulado &#8213;o es prácticamente inviable su análisis&#8213; mediante otras técnicas más convencionales.En una segunda parte, se ha particularizado el método modal tridimensional al caso bidimensional y reobteniendo el método modal de las bases biortogonales desarrollado con anterioridad en la Universitat de València. Este método modal bidimensional se ha empleado para estudiar algunas guías que soportan los llamados modos complejos, cuyas constantes de propagación presentan una parte imaginaria aunque no hayan pérdidas en los materiales. Con este método se han obtenido, también, los modos de estructuras guiadoras complejas como son las fibras de Bragg, identificando diferentes diseños para los que la dispersión de la velocidad de grupo de estas fibras posee un comportamiento acromático o apocromático, con dispersión positiva, negativa o nula, en diferentes ventanas de longitudes de ondas.Finalmente, se ha abordado el estudio de las propiedades de transmisión y reflexión de dispositivos inhomogéneos con guías de entrada y salida también inhomogéneas. Para ello, se ha combinado adecuadamente los métodos de representación modal tridimensional y bidimensional con el desarrollo de una nueva técnica para la determinación de los parámetros de scattering de los dispositivos. Como aplicación inmediata de esta técnica, se han analizado, por un lado, el comportamiento de algunos filtros y adaptadores basados en guías NRD de microondas, y por otro, la respuesta de filtros ópticos y microcavidades construidos con láminas de cristal fotónico unidimensionales de tamaño finito y con defectos.<br>In this doctoral thesis a novel modal method has been formulated to analyse three dimensional dielectric systems. The vector wave equation which determines the resonant frequencies and fields is written in terms of a linear operator, whose eigenvectors satisfy a orthonormality relation. The key of the method is to obtain a matrix representation of the wave equation in a basis that is defined by the modes of an auxiliary system. The method has been applied to study optical devices (photonic crystal waveguides) and microwave cavities. The accuracy of the method is demonstrated by comparing the obtained results with other results available in the literature.In a second part, the technique has been particularised to analyse translation invariant systems reobtaining the biorthogonal-basis method. This method has been used to model the complex wave propagation in inhomogeneously filled waveguides and the group velocity dispersion properties of a novel type of Bragg fibres. Finally, a computationally efficient technique has been developed for the full-wave characterisation of inhomogeneously dielectric-filled cavities connected to inhomogeneously dielectric loaded waveguides. The multimode scattering matrix of the cavity is computed throughout an efficient implementation of the orthonormal-basis method for the calculation of the cavity modes. Moreover, the biorthogonal-basis method is employed for the analysis of the waveguides connected to the cavity. Non-radiative dielectric guide components and microstructured optoelectronic devices generated with photonic crystal waveguides have been analysed using the present technique.

Cette recherche (en comprehension et en production) porte surl'evolution de l'utilisation des expressions modales "pouvoir" et "devoir" chez des sujets francophones (enfants de 6 a 13 ans et adultes). 1- une organisation lineaire des significations epistemiques et deontiques (en termes de "forces relatives") se construit progressivement : une operation de desassertion ou de desengagement permet un fonctionnement bipolaire chez les sujets de 6 a 8 ans ; a 9 ans, apparait une operation introduisant des degres sur le desengagement et permet une organisation lineaire a trois termes, sans evolution notable jusqu'a l'age adulte. 2- pour comprendre des enonces modalises, les enfants de plus de 9 ans accordent de l'importance a deux types de rapports inter-sujets : les actes de langage et les attitudes propositionnelles. 3- la polysemie des verbes modaux s'organise autour de la notion de possibilite, "schema de sens" consistant en une operation de decrochage par rapport a l'assertion ("pouvoir") ou de selection portant sur l'un des possibles ("devoir"), operations qui s'articulent vers 9 ans; de ces schemas, se developpent des "effets de sens" en fonction des contextes linguistiques (au moins des 6 ans quant aux types de proces) et situationnels (a partir de 9 ans quant a la distinction : possibles discontinus, denombrables illimites)<br>This study focuses on the evolution in the use of modal expressions by french subjects (6 to 13-year-old children and adults) with particular attention given to how french children understand and produce the modal verbs "pouvoir" and "devoir". 1- a linear organisation of epistemic and deontic meanings is progressively built : an operation of disassertion or discommitment allows for a dipolar functioning among 6 to 8-year-old children ; at age 9, an operation introducing a factor of degree in discommintment appears and allows for a three term-scale with little evolution until adulthood. 2- with 9 to 13-year-old children, the comprehension of modal sentences involves two important types of relationship between subjects : speech acts and propositionnal attitudes. 3- the polysemy of modal verbs is organized around the notion of possibility, a "meaning pattern" wich appears as a distancing from the assertion ("pouvoir") or as a selection relating to one of the possibilities ("devoir") ; these operations are articulated at abut age 9 ; "meaning effects" are constructed from these patterns as a function of linguistical contexts (as of age 6 at least concerning types of verbs), of situational contexts (from age 9 for the distinction : discon

Apresentamos alguns aspectos da teoria de funções modais, que é o correlato modal da teoria de funções de verdade. Enquanto as fórmulas da lógica proposicional clássica expressam funções de verdade, as fórmulas da lógica proposicional modal (S5) expressam funções modais. Generalizamos alguns dos teoremas da teoria de funções de verdade para o caso modal; em particular, exibimos provas da completude funcional de alguns conjuntos de funções modais e definimos uma (nova) noção de reduto vero-funcional de funções modais, bem como a composição de funções modais em termos destes redutos.<br>We present some aspects of the theory of modal functions, which is the modal correlate of the theory of truth-functions. While the formulas of classical propositional logic express truth-functions, the formulas of modal propositional logic (S5) express modal functions. We generalize some theorems of the theory of truth-functions to the modal case; in particular, we show the functional completeness of some sets of modal functions and define a (new) notion of truth-functional reduct of modal functions, as well as the composition of modal functions in terms of such reducts.

Neste trabalho, estudamos algumas formas de combinar sistemas de Lógica Modal, analisando quando a combinação preserva propriedades como correção, completude e decidibilidade. Estendemos um estudo já realizado sobre combinações de sistemas de Lógica Modal Normal para sistemas de Lógica Modal Não-normal. O principal resultado deste trabalho é a preservação de completude da aplicação externa de um sistema de Lógica Modal Não-normal M em um sistema lógico L. Outro resultado importante é um exemplo de interação forte na combinação independente, ou fusão, de dois sistemas de Lógica Modal Não-normal.<br>In this work, we study a few ways of combining Modal Logic systems, analysing when the combination preserves properties like soundness, completeness and decidability. We extend a study of the combination of Normal Modal Logic systems to Non-normal Modal Logic systems. The main result of this work is the completeness preservation in the external application of a Non-normal Modal Logic system M to a logic system L. Another important result is an example of strong interations arising in the fusion of two Non-normal Modal Logic system.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Comunicação e Expressão. Programa de Pós-Graduação em Estudos da Tradução<br>Made available in DSpace on 2012-10-23T18:19:44Z (GMT). No. of bitstreams: 1 256035.pdf: 726495 bytes, checksum: 72e57f58c36239d7a18d4da2b2aa3e16 (MD5)<br>Sua diversidade e a freqüência com que aparecem fazem das partículas modais da língua alemã um importante aspecto comunicativo a ser analisado tanto pela lingüística como pelos estudos tradutórios, como é o caso deste trabalho, cuja proposta é demonstrar que não se deve traduzir essa partícula somente porque ela está presente como item lexical no texto-fonte. É preciso antes considerar a função desse elemento em um contexto maior, por meio do estudo das marcas de conversação # já que figura como peculiaridade da linguagem oral #, da análise de características culturais envolvidas e dos meios específicos que modificam o núcleo do texto e contribuem para o desenrolar do ato discursivo. Como conseqüência, procura-se ceder uma contribuição à pesquisa contrastiva das partículas modais em relação ao português, embora a ênfase seja dada nas questões tradutológicas, em suas possibilidades e em sua relevância de tradução. Sob o prisma da teoria funcionalista, a proposta do trabalho é realizar a tradução comentada de trechos em dois contos de épocas distintas da literatura alemã: o conto do pós-guerra, de Wolfgang Borchert, versus o conto contemporâneo de Ingo Schulze. The diversity and frequency of the use of modal particles in the German language characterize these elements as being a very important aspect of communication for both the linguistic analysis and translation studies. The proposal is to not necessarily translate a modal particle just because it#s present as a lexical item in the source text. It#s necessary to consider the function of this element in a major context by studying the conversational markers # as it is a peculiarity of spoken language -, analysing the respective cultural characteristics and the specific means which modify the text core and contribute to the development of the conversation. As a consequence, this is meant to be a contribution to the contrastive study of the modal particles with regard to the Portuguese language, although emphasis is given to translational questions, their possibilities and their relevance for the translation. Under the prism of the functionalist translation theory, the proposal of this study is to realize a commented translation of extracts of two stories from distinctive periods of the German literature: the post-war story of Wolfgang Borchert versus the contemporary story of Ingo Schulze.

En esta investigación se proponen como objetivos generales definir y desarrollar el método de análisis multisistémico que permita examinar las relaciones que se establecen entre diferentes sistemas del código oral, y examinar cómo se establecen estas correlaciones durante la emisión en habla espontánea de partículas modales del alemán o combinaciones de partículas modales. Este trabajo se ha estructurado en cuatro bloques. El primer bloque está dedicado a la exposición del marco teórico; el segundo se centra en la metodología que se va a seguir; en el tercero, se explica la forma en que se realiza el análisis de los datos y se presentan y se discuten los resultados obtenidos; en el cuarto y último bloque se exponen las conclusiones y se proponen futuras investigaciones. En el marco teórico se tratan de forma general algunas cuestiones sobre la comunicación humana (capítulo 2) y, teniendo en cuenta las características de esta investigación, se centrará la atención, en primer lugar, en examinar el fenómeno de las partículas modales del alemán (capítulo 3), ya que en ellas se focaliza la realización de esta investigación; en segundo lugar, se presenta el estado de la cuestión sobre comunicación no verbal (capítulo 4) y específicamente los estudios que tienen que ver con este trabajo; y, por último, en el capítulo 5 se describe el método de análisis melódico del habla (Cantero, 2002) porque es el método analítico del componente verbal que por su rigor y objetividad se ha considerado óptimo para la realización de los análisis melódicos. En el segundo bloque temático se exponen, en primer lugar, los objetivos (capítulo 6) que se han propuesto en esta investigación, centrados en la evaluación del método de análisis multisistémico y su aplicación para examinar la coestructuración que se establece entre los sistemas analizados durante la emisión de partículas modales del alemán. En el capítulo 7 se justifica la opción metodológica propuesta y se describen las fases analíticas de que consta. El siguiente capítulo (capítulo 8) está dedicado al establecimiento y descripción del corpus constituido por 406 enunciados obtenidos a partir de emisiones de habla espontánea. El capítulo continúa con la explicación del procedimiento utilizado para la digitalización de los enunciados seleccionados, así como también de las características de los informantes. Por último, se presentan los archivos de audio y de vídeo utilizados para realizar los análisis correspondientes. En el tercer bloque temático se explican los procedimientos analíticos realizados con el corpus de datos, así como la exposición de los resultados obtenidos y su discusión. En los capítulos 9 y 10 se presentan los procedimientos e instrumentos utilizados para efectuar el análisis intrasistémico del componente melódico y del kinésico; se determinan tanto las marcas melódicas como las marcas kinésicas que posibilitan el examen de las correlaciones melódicokinésicas y las partículas modales del alemán. Por último, se exponen los resultados obtenidos y la discusión a partir del análisis intersistémico de los datos audiovisuales seleccionados. En el último bloque se exponen las conclusiones a las que se ha llegado en base a los objetivos planteados, así como también diferentes propuestas para futuras investigaciones. Los resultados de la investigación constatan que, mediante la aplicación del método de análisis multisistémico propuesto, ha sido posible establecer correlaciones a nivel intersistémico entre marcas melódicas, kinésicas y partículas modales del alemán a partir de la estructura jerárquica de los componentes de cada sistema analizado.<br>The general aims proposed in this research are, on the one hand, to develop the Multi-system Analysis method and to examine the relationships between different systems of the oral code. On the other hand, I consider how these relationships are set when German modal particles are uttered in spontaneous spoken speech. In the first section is presented the theoretical framework and some issues about human communication are discussed (chapter 2). German modal particles are firstly considered in chapter 3 because this research focuses on them; then, the state of the art of Nonverbal Communication is presented (chapter 4) and specially those works concerning the topic of this research; finally, in chapter 5 the Melodic Analysis of Speech method (Cantero, 2002) is described. In the second section, the objectives of the research are formulated (chapter 6). They focus on to evaluate the Multi-system Analysis method and its application to study the co-structuring between the analysed systems and German modal particles. In chapter 7, the proposed analysis method is justified and its analytical stages are described. Chapter 8 has to do with the corpus description, which consists of 406 spontaneous speech utterances. It continues with showing how the selected utterances are recorded as well as how the subjects are selected. Finally, audio and video files are presented. The third section deals with pitch and kinesic procedures followed, technical tools used as well as the discussion of the results. Chapter 9 and 10 present procedures and technical tools used to do intra-system analysis of pitch and kinesic data; then, pitch and kinesic marks have been set to correlate pitch-kinesic marks and German modal particles. The section ends discussing the results obtained considering the inter-system point of view of the audiovisual data analysis. The last section presents the concluding remarks as well as several suggestions for future research. The results of this investigation state that it has been possible to achieve inter-system correlations between pitch marks, kinesic marks and German modal particles using the Multisystem Analysis method proposed, taking into account the hierarchical structure of the components in each analysed system.

Avec une formation initiale en sciences de l'informatique et une spécialisation image, mes activités de recherche actuelles concernent le traitement et l'analyse de l'information et de l'image pour des applications en médecine, plus particulièrement l'oncologie et la radiothérapie. Plus spécifiquement, je m'intéresse à la segmentation et la classification automatique pour la définition des contours d'organes et de tumeurs, au filtrage du bruit et à la déconvolution pour l'amélioration qualitative et quantitative, et plus récemment, aux modèles multi observation pour la prise en compte des images multi modales, et la fusion d'informations pour l'aide à la décision dans la prise en charge des patients. Je poursuis ces thématiques spécifiquement dans le cadre de l'utilisation de l'imagerie TEP/TDM (Tomographie par Emission de Positons et scanner X) en oncologie et radiothérapie. Mes activités de recherche ont pris place dans le contexte de l'équipe " imagerie multi modale quantitative pour le diagnostic et la thérapie " du laboratoire INSERM U650 de traitement de l'information médicale (LaTIM). Ce contexte a garantit un travail l'équipe pluridisciplinaire, en collaboration notamment avec des radiothérapeutes, des médecins nucléaires, des physiciens, des ingénieurs, des mathématiciens et des informaticiens. En tant que doctorant, ma principale contribution a été le développement d'une méthode originale de segmentation d'image adaptée à la définition des volumes fonctionnels des tumeurs sur les images TEP. Lors de mon post-doctorat, j'ai poursuivi la validation de la précision, de la robustesse et de la reproductibilité de cette approche dans le cadre d'un projet ANR pour lequel j'ai reçu un financement de deux ans et demi. J'ai également étudié au cours de ces deux dernières années l'impact d'une telle méthode dans de nombreuses applications, telles que la dosimétrie en planification de traitement en radiothérapie, et la prise en charge des patients en oncologie. Au cours de ces six dernières années, j'ai été de plus en plus impliqué dans des travaux de recherche connexes menés par d'autres doctorants et post-doctorants. Ces travaux incluent la fusion d'images TEP pour le suivi temporel quantitatif, les simulations réalistes et l'évaluation dosimétrique, la caractérisation de l'hétérogénéité intra tumorale des traceurs TEP par analyse de texture, et la réduction des effets de volume partiel et du bruit en imagerie d'émission. J'ai assumé la responsabilité de co-encadrant de plusieurs stagiaires et doctorants de l'équipe sous la direction du directeur de recherche D. Visvikis. Cette responsabilité inclus des réunions hebdomadaires et des discussions régulières avec les étudiants, l'aide à la mise en place des expériences et protocoles de validation, à l'analyse des résultats, la correction de rapports de stage, d'articles et de manuscrits de thèse, ainsi que réfléchir à des solutions aux problèmes tant théoriques que techniques. Je travaille actuellement en tant que chercheur associé au département de recherche en imagerie et radiothérapie de Maastricht (MAASTRO) aux Pays-bas. Au cours des prochaines années, mon projet de recherche sera dédié au développement d'un contexte flexible et robuste permettant la modélisation et l'analyse semi-automatique d'ensemble d'images médicales multi modales, multi résolutions et multi temporelles, telles que TEP/TDM, TEMP/TDM, TEP/IRM, multi IRM ou TEP avec différents traceurs, ainsi que des acquisitions dynamiques. Ce développement permettra de déduire de nouveaux modèles prédictifs et des outils de décision adaptés à diverses applications cliniques tels que les cancers de l'oesophage, rectal, pulmonaire ou ORL, par la fusion de toute l'information disponible (imagerie, génétique, phéntypes et rapports cliniques). Ce projet se construira en partie sur les travaux préliminaires réalisés avec des doctorants venant de soutenir et en passe de terminer leur thèse, et sur les thèses de deux nouvelles doctorantes que j'encadrerai à partir d'octobre 2011 et courant 2012, recrutées sur des financements que j'ai contribué à obtenir en 2010-2011.

Dans cette these, nous nous etudions l'utilisation des systemes par tableaux pour les logiques modales dans le cadre de problemes lies aux contraintes d'integrite dans lesbases de donnees. Dans une premiere partie, nous utilisons un systeme par tableaux, traitant differentes logiques modales du premier ordre (lmpo), dans le cadre d'une methode permettant de tester la preservation de contraintes d'integrite dynamiques dans des bases de donnees orientees objet. Nous associons a ce systeme une strategie de recherche de preuve que nous prouvons correcte et complete dans sa version non bornee, ceci nous permet d'implanter un demonstrateur automatique detheoremes pour les lmpo k, k4, d, t et s4. Ce demonstrateur est re-utilisable pour d'autres applications necessitant de prouver la validite de formules des lmpo (verification de logiciel,systeme multi-agents, etc. ). Dans une seconde partie, nous etudions l'utilisation de la logique multi-modale hybride (lmmh) en tant que formalisme d'expression de schema et de contraintes pour les donnees semi-structurees. D'une part, nous prouvons que la lmmh permet de capturer directement la notion de donnees semi-structurees et donc de contraintes sur ces donnees. D'autre part, nous proposons une extention des dtd permettant le typage des references et nous montrons que cette nouvelle notion de schemapeut etre formalisee en termes de formules de la lmmh exactement comme une contrainte. En associant un systeme par tableaux pour la lmmh a cette approche, il est alors possible de traiter beaucoup de problemes classiques de bases de donnees (implication de contraintes, inclusion de schemas, satisfaisabilite de contraintes, etc. )<br>In this thesis, we use tableaux system for modal logics in order to solve databases problems related to integrity constraints. In first part, we use a tableaux system for first order modal logics in the context of a method testing integrity constraints preservation in an object oriented database. We develop a proof search strategy and we prove that it is sound and complete in its unbounded version. This leads to the implementation of a theorem prover for first order modal logics k, k4, d, t and s4. The prover can also be used for other applications where the test of validity of first order modal logics is needed (software verification, multi-agents systems, etc. ). In second part, we study hybrid multi-modal logic (hmml) as a formalism to express schemas and integrity constraints for semi-structured data. On the one hand we prove that hmml captures the notion of semi-structured data and constraints on it. On the other hand we generalize the notion of schema, by proposing a definition of schema where references are "well typed" (contrary to what happens with dtds), and we prove that this new notion can be formalized by sentences of hmml exactly like a constraint is. When a tableaux system for the hmml is added to this approach, some classical database problems can be treated (constraints implication, schemas inclusion, constraints satisfiability, etc. )

Tese (doutorado)—Universidade de Brasília, Instituto de Letras, Departamento de Linguística, Português e Línguas Clássicas, Programa de Pós-Graduação em Linguística, 2015.<br>Submitted by Leandro Henrique Silva Pinheiro (pinheiroleandro2@gmail.com) on 2015-11-26T19:05:14Z No. of bitstreams: 1 2015_BrunaElisadaCostaMoreira.pdf: 1608321 bytes, checksum: 0b07a484a222ab24b5c3a2e18b26a44d (MD5)<br>Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2015-11-26T20:36:17Z (GMT) No. of bitstreams: 1 2015_BrunaElisadaCostaMoreira.pdf: 1608321 bytes, checksum: 0b07a484a222ab24b5c3a2e18b26a44d (MD5)<br>Made available in DSpace on 2015-11-26T20:36:17Z (GMT). No. of bitstreams: 1 2015_BrunaElisadaCostaMoreira.pdf: 1608321 bytes, checksum: 0b07a484a222ab24b5c3a2e18b26a44d (MD5)<br>Esta tese examina as propriedades sintáticas e semânticas de uma classe de adjetivos de caráter modal no português brasileiro (PB) formada com o sufixo -vel (e.g., quebrável, amável). A tese foca na relação entre esses adjetivos e as passivas, as médias e as sentenças genéricas, bem como no domínio de modalidade que o sufixo expressa (i.e., possibilidade ou subjetividade). O Capítulo 2 isola as principias propriedades que os adjetivos modais em -vel compartilham com as estruturas supracitadas, provê uma descrição dos dados, discute a preferência do sufixo por bases verbais e introduz exemplos de adjetivos recentemente cunhados no PB. O Capítulo 3 apresenta a comparação entre teorias prévias sobre os adjetivos modais e as passivas adjetivas, tanto de uma perspectiva lexicalista (em termos de regras lexicais) quanto sintática (em termos de altura de concatenação), e avalia as suas previsões e desafios. Esse capítulo também introduz o modelo teórico de Ramchand (2008a) para a decomposição do significado verbal (iniciação, processo, resultado) e explora as suas implicações para a análise da formação de adjetivos deverbais em -vel. O Capítulo 4 é destinado ao estudo da modalidade. Com base em trabalhos prévios sobre a modalidade dinâmica (Von Wright, 1951; Brennan, 1993), que diz respeito ao estudo dos predicados de habilidade e disposição, o sufixo -vel é analizado como um modal disposicional relativizado a certas propriedades. A leitura de possibilidade (e.g., quebrável) é correlacionada a dinamicidade e envolve as propriedades de um argumento do tipo resultado. A leitura subjetiva (e.g., amável) é correlacionada a estatividade e envolve as propriedades de um complemento remático. O Capítulo 5 desenvolve a proposta de que os adjetivos modais são uniformemente derivados de uma operação passiva, como definida por Bruening (2013, 2014). As consequências dessa proposta são exploradas também no âmbito das passivas adjetivas no PB. Diversos testes sintáticos são reavaliados para ambas as classes de adjetivos e mostram que estas permitem a realização by-phrases e modificação adverbial, contra análises prévias. Essencialmente, esta tese defende a ideia de que adjetivos modais em -vel envolvem o processo de modalização de diferentes estruturas de natureza verbal, que consistem em estruturas mais ricas, que codificam [init, proc, res] ou [init, proc] (i.e., eventualidades dinâmicas) ou estruturas mais simples, que codificam simplesmente [init] (i.e., eventualidades estativas). Em última instância, esta tese provê evidências para uma visão sintática da estrutura argumental, no espírito de Hale & Keyser (1993) e Ramchand (2008a).<br>This dissertation examines the syntactic and semantic properties of a class of modal adjectives in Brazilian Portuguese (BP) ending in -vel (e.g., quebrável ‘breakable’, amável ‘lovable’). I focus on the relationship between these adjectives and passives, middles, and generic sentences, and also on the range of modality that -vel expresses (i.e., possibility or subjectivity). In Chapter 2, I isolate the main properties that modal adjectives in -vel share with the aforementioned constructions, provide a description of the data, discuss the preference for verbal bases and present examples of newly coined adjectives in BP. In Chapter 3, I compare existing theories of modal adjectives and adjectival passives, both from a lexicalist perspective (in terms of lexical rules) and a syntactic perspective (in terms of height of attachment), and evaluate their predictions and challenges. In this chapter, I also present Ramchand’s (2008a) framework for verb decomposition (initiation, process, result) and discuss its implications for the formation of deverbal adjectives ending in -vel. In Chapter 4, I focus on modality. Based on previous work on dynamic modality (Von Wright, 1951; Brennan, 1993), which is concerned with abilities and dispositions, the suffix -vel is analyzed as a dispositional modal relativized to bundles of property expressions. The possibility reading is correlated with dinamicity and involves the properties of a resultee argument. The subjective reading (“worthy of”) is correlated with stativity and involves properties of a rhematic complement, which co-describes a state. In Chapter 5, I propose that modal adjectives are uniformly derived from a passive operation, as defined by Bruening (2013, 2014). I also explore the consequences of this analysis for adjectival passives in BP. I reevaluate syntactic tests with modal adjectives in -vel and adjectival passives and show that both constructions allow by-phrases and adverbial modification in BP, contra previous analyses. Essentially, I propose that modal adjectives ending in -vel involve the modalization of different verbal structures, which consist of richer structures that encode [init, proc, res] or [init, proc] (i.e., dynamic eventualities) or simpler structures that encode [init] (i.e., stative eventualities). Ultimately, this dissertation provides evidence for a syntactic view of argument structure, in the spirit of Hale & Keyser (1993) and Ramchand (2008a).

Submitted by Caroline Xavier (caroline.xavier@pucrs.br) on 2017-06-30T14:02:37Z No. of bitstreams: 1 TES_LUCAS_ROISENBERG_RODRIGUES_COMPLETO.pdf: 1055406 bytes, checksum: b266631da80107e3aedc75f66bf03679 (MD5)<br>Made available in DSpace on 2017-06-30T14:02:37Z (GMT). No. of bitstreams: 1 TES_LUCAS_ROISENBERG_RODRIGUES_COMPLETO.pdf: 1055406 bytes, checksum: b266631da80107e3aedc75f66bf03679 (MD5) Previous issue date: 2017-03-13<br>This thesis is about some theories, here called modal epistemologies, that attempt to explain and/or analyze knowledge by means of counterfactuals principles or conditions, that is, principles that talk about what would be the case in non-actual circumstances. Initially, I explain the tracking theory, proposed by Robert Nozick, that employ two counterfactuals conditionals, the sensitivity and adherence principles, to analyze knowledge and solve difficult epistemological problems, such as the skeptical problem. After explaining tracking theory, I present multiple objections to Nozick, which were here divided in four main kinds: restrictive, permissive, violations of epistemic closure and problems regarding Nozick?s conception of methods. I claim that the objections here presented strongly suggests that Nozick?s theory cannot be correct. I also explain the main competitor with tracking: safety theory. The two main proponents of safety are Ernest Sosa and Duncan Pritchard, and I study each author within a separate section. Concerning Pritchard, I claim that he cannot explain knowledge and ignorance attributions in lottery examples. I also try to show that some replys to safety?s objectors, such as the Halloween's party counterexample, originally made by Juan Comesa?a, are not correct, and that the main response?s available against Comesa?a?s objection are not very promising.<br>Nesta tese, trato de um conjunto de teorias, aqui denominadas de epistemologias modais, que buscam explicar e/ou analisar o conhecimento a partir de condi??es ou princ?pios contrafactuais, isto ?, princ?pios que dizem respeito ao que aconteceria em situa??es ou circunst?ncias n?o atuais. Inicialmente, explico a teoria do rastreamento, proposta por Robert Nozick, que utiliza dois condicionais contrafactuais, os princ?pios da sensibilidade e ader?ncia, para analisar o conhecimento e tentar solucionar dif?ceis problemas epistemol?gicos, notadamente o problema do ceticismo. Ap?s explicar a proposta de Nozick, exponho diversas obje??es ? sua teoria, que foram aqui divididas em quatro tipos: restritivas, permissivas, viola??es do princ?pio de fecho epist?mico e relativas ao modo como Nozick entende o conceito de m?todo. Pretendo mostrar que o conjunto das obje??es aqui apresentadas sugere fortemente que a teoria de Nozick n?o ? correta. Ap?s tratar da teoria do rastreamento, apresento a principal sucessora e epistemologia modal concorrente da teoria de Nozick: a teoria da seguran?a. Os dois principais defensores da condi??o de seguran?a s?o Ernest Sosa e Duncan Pritchard, e dedico uma se??o a cada um dos autores. No que diz respeito a Duncan Pritchard, alego que sua teoria n?o consegue explicar adequadamente nossas atribui??es de ignor?ncia e conhecimento em certas situa??es lot?ricas. Tamb?m procuro mostrar que certas obje??es, tais como o contraexemplo da festa de Halloween, proposto originalmente por Juan Comesa?a, n?o foram adequadamente respondidas pelos defensores da seguran?a, e que as principais respostas dispon?veis a essas obje??es n?o s?o promissoras.

En informatique, les logiques formelles ont une place centrale dans la représentation et le traitement des connaissances. Elles sont utilisées pour la modélisation et la vérification de systèmes informatiques et de leurs propriétés ainsi que pour la formalisation de différents types de raisonnement. Dans ce contexte il existe un large spectre de logiques non-classiques parmi lesquelles les logiques modales jouent un rôle important. Alors que les logiques modales classiques ont été largement étudiées, nous nous focalisons dans cette thèse sur les logiques modales intuitionnistes et aussi hybrides floues en abordant un certain nombre de questions principalement du point de vue de la théorie de la démonstration. Nous proposons pour ces logiques de nouveaux systèmes de preuve, notamment suivant les formalismes de déduction naturelle et de calcul des séquents, qui sont fondés sur de nouvelles structures multi-contextuelles généralisant la structure standard de séquent. Ainsi dans le cadre des logiques modales intuitionnistes formées à partir des combinaisons des axiomes T, B, 4 et 5, nous définissons des systèmes de preuve sans labels ayant de bonnes propriétés comme par exemple celle de la sous-formule. En outre, nous proposons des procédures de décision simples à partir de nos nouveaux calculs des séquents. Nous étudions également la première version intuitionniste de la logique hybride IHL et nous proposons son premier calcul des séquents à partir duquel nous donnons la première démonstration de sa décidabilité. Enfin, nous introduisons une nouvelle famille de logiques hybrides floues fondées sur les logiques modales de Gödel. Nous proposons pour ces logiques des procédures de décision avec génération de contre-modèles en utilisant un ensemble de règles de preuve fondées sur une structure multi-contextuelle adaptée.

En informatique, les logiques formelles ont une place centrale dans la représentation et le traitement des connaissances. Elles sont utilisées pour la modélisation et la vérification de systèmes informatiques et de leurs propriétés ainsi que pour la formalisation de différents types de raisonnement. Dans ce contexte il existe un large spectre de logiques non-classiques parmi lesquelles les logiques modales jouent un rôle important. Alors que les logiques modales classiques ont été largement étudiées, nous nous focalisons dans cette thèse sur les logiques modales intuitionnistes et aussi hybrides floues en abordant un certain nombre de questions principalement du point de vue de la théorie de la démonstration. Nous proposons pour ces logiques de nouveaux systèmes de preuve, notamment suivant les formalismes de déduction naturelle et de calcul des séquents, qui sont fondés sur de nouvelles structures multi-contextuelles généralisant la structure standard de séquent<br>In computer science, formal logics are central for studying the representation and the treatment of knowledge. Indeed, they are widely used for modeling and verifying computer systems and their properties and also for formalizing different kinds of reasoning. In this context there exist many non-classical logics and among them modal logics play a key role. As classical modal logics have been deeply studied, we focus in this thesis on the intuitionistic modal logics and also on fuzzy hybrid logics by studying some important questions mainly from the viewpoint of proof theory . We define for these logics new proof systems, following natural deduction and sequent calculus formalisms, that are based on new multi-contextual structures generalizing the standard sequent structure

Le développement de nouveaux formalismes logiques est au cœur de nombreuses problématiques de méthodes formelles. Ces formalismes doivent répondre à la fois à des impératifs de modélisation (ils doivent permettre de décrire certains systèmes) et de calcul (ils doivent fournir des méthodes de calcul correctes et complètes). Dans ce contexte, nous nous intéressons aux logiques de ressources, en particulier les logiques BI et BBI qui traitent du partage et de la séparation de ressources et qui ont conduit aux diverses logiques de séparation dont les applications à la vérification de programmes se sont développées fortement ces dernières années. Nous proposons dans cette thèse d’étudier, à partir des logiques BI et BBI, des logiques de séparation modales et épistémiques en se focalisant sur leurs capacités de modélisation et leur expressivité mais aussi les nouveaux calculs de preuve pour ces logiques. Une première étude a porté sur la modélisation de propriétés dynamiques de ressources au travers d’une nouvelle logique LTBI, qui est une logique de séparation temporelle, fondée sur la logique BI et des modalités temporelles. Cette logique offre notamment des perspectives intéressantes de modélisation temporelle branchante, permettant par exemple de caractériser les processus multi-thread. Une étude complémentaire a porté sur la modélisation de l’accès par des agents à des propriétés sous conditions de posséder certaines ressources, au travers d’une nouvelle logique ERL, qui est une logique de séparation épistémique, fondée sur la logique BBI et des modalités épistémiques. Cette logique permet de nombreuses modélisations de systèmes de contrôle d’accès. En vue d’étendre l’expressivité de telles logiques de séparation, comme la logique BBI et ses variantes, une étude sur l’internalisation des symboles de ressources dans la syntaxe de la logique a été développée au travers des nouvelles logiques HRL et HBBI (version hybride de BBI). L’internalisation permet à la fois d’étendre l’expressivité des logiques et d’axiomatiser la logique BBI et certaines de ses variantes. Outre la conception de ces logiques, l’étude de leur sémantique et aussi de leurs capacités de modélisation, une partie de cette thèse a été consacrée à la définition de calculs de preuve, ici de tableaux, pour ces nouvelles logiques ainsi qu’à leurs preuves de correction et de complétude<br>The design of new logical formalisms is at the heart of several problems in formal methods. Those formalisms must respond to requirements both concerning modelling (they must be able to describe certain systems) and computing (they must provide complete and sound calculus methods). In this context, we look at resource logics, and in particular BI and BBI logics, that deal with the separation and sharing of resources and have led to several separation logics whose applications to software verification have been widely developped recently. We propose in this thesis, starting from BI and BBI logics, to study some modal and epistemic separation logics by focusing on their modelling capacities and their expresiveness, as well as on the new proof calculi for those logics. A first study deals with the modelling of dynamic resource properties through new logic LTBI, which is a temporal separation logic, based on BI logic and temporal modalities. This logic notably offers interesting perspectives in temporal branching modelling, allowing for instance to characterize multi-thread processes. A complementary study concerns the modelling of access by agents to properties under the conditions of posessing some resources, through a new logic ERL, which is an epistemic separation logic, based on BBI logic and epistemic modalities. This logic allows many modellings of access control systems. In order to extend the expressivity of such separation logics, like BBI logic and its variants, a study on the internalization of resources symbols in the logic’s syntax has been developed through the new logics HRL and HBBI (hybrid version of BBI). Internalization allows both the extension of the expressivity of logics and the axiomatisation of BBI logic and some of its variants. In addition to the conception of those logics, the study of their semantics and their modelling capacities, a part of this thesis is dedicated to the definition of proof calculs, here tableaux calculus, for those new logics, as well as their proof of soundness and completeness

Main accomplishment of this master’s thesis is to make a module for verification of the function binary and analog inputs (analog inputs only for current loop between 0-20mA) on data logger MODAS DataPoint. Hardware testing device will be made on development kit STM32F3-Discovery from STMicroelecronics Company. Device generates testing signals for confirmation of the function MODAS DataPoint device. Testing device communicates with MODAS DataPoint device via Ethernet, communication between PC application and hardware of the testing device is realized by USB interface in DFU mode. Solution included PC application, where you can connect to the tester device and tested Modas DP device. Furtheremore, the test starts here and application inform user about during a test, processed measured data and generate output protocols.

Esse trabalho apresenta uma validação do sistema de análise modal experimental disponível no Instituto de Aeronáutica e Espaço. A análise modal experimental é uma técnica consagrada para investigação do comportamento dinâmico estrutural, caracterizado pelos parâmetros de freqüência natural, fatores de amortecimento e formas de vibração, associados a cada modo natural da estrutura investigada. Na condução de ensaios modais, sistemas constituídos por cadeias de excitação e de medição são empregados, envolvendo o uso de vibradores, transdutores de força, condicionadores de sinais, filtros, sample-holds, conversores analógico-digitais e uma unidade de aquisição e processamento digital dos sinais. Neste trabalho, cadeias de excitação e de medição são avaliadas e validadas experimentalmente através de dois casos estudados. O primeiro caso adotado foi a análise de uma placa quadrada, em alumínio, de comportamento amplamente conhecido, excitada por meio de um vibrador alimentado com um sinal aleatório, e tendo como sistema de medição de dados um vibrômetro a laser por varredura de imagem. O segundo caso adotado foi o ensaio modal de uma maquete de vigas conceitualmente representativa do Veículo Lançador de Satélites - VLS, levando em consideração três configurações distintas: a primeira configuração, utilizando um único vibrador como fonte de excitação; a segunda configuração adotando uma dupla excitação da maquete cujos vibradores foram posicionados num mesmo plano e, por fim, a última configuração analisada, cuja excitação da maquete utilizou dois vibradores situados em planos ortogonais, o que possibilitou a análise mais detalhada da estrutura, em função da complexidade do comportamento apresentado pelo sistema em estudo.

Made available in DSpace on 2014-06-11T19:34:59Z (GMT). No. of bitstreams: 0 Previous issue date: 2004-09Bitstream added on 2014-06-13T21:06:53Z : No. of bitstreams: 1 barros_e_dr_guara.pdf: 1499137 bytes, checksum: 5a94296d58a74230125376ce4552f941 (MD5)<br>Universidade Estadual Paulista (UNESP)<br>Na presença de não linearidades, a resposta forçada de estruturas exibe diversos fenômenos físicos que não podem ser descritos através de modelos lineares. Estes fenômenos incluem ressonâncias sub-harmônicas, ressonâncias super-harmônicas, jumps , movimentos quasi-periódicos, movimentos de período múltiplo, caos e interações modais. Recentes estudos experimentais indicam que um novo tipo de interação modal pode ocorrer através de mecanismos não ressonantes, decorrente da transferência de energia de modos de alta freqüência e baixa amplitude para modos de baixa freqüência e alta amplitude. Neste trabalho, interações modais não ressonantes são investigadas na resposta planar não linear de vigas cantilever flexíveis sujeitas a excitações externas e paramétricas. As equações diferenciais e as condições de contorno associadas que governam o movimento flexional-flexional não linear de uma viga assumida inextensível, metálica e isotrópica, são apresentadas. O estudo experimental conduzido revelou que a transferência de energia entre modos de alta freqüência para modos de baixa freqüência ocorre via modulação, sendo função do valor da amplitude de excitação e da proximidade entre os valores da freqüência de modulação e da freqüência dos modos ativados. O estudo revelou também que a ativação de modos de baixa freqüência pode ocorrer sob uma variedade de condições de entrada. Em adição, outros fenômenos dinâmicos não lineares classificados como rotas para o movimento caótico são também observados. Em determinadas condições, movimentos quasi-periódicos com amplitudes moduladas caoticamente e moduladas periodicamente são exibidos. Um movimento de resposta de período dois é também observado.<br>Interesting physical phenomena occur in the forced response of structures in the presence of nonlinearities, which cannot be explained by linear models. These phenomena include subharmonic resonances, superharmonic resonances, jumps, period-multiplying motions, quasiperiodic motions, chaos and modal interactions. Recent studies suggest that another type of modal interaction may occur through nonresonant mechanisms, due to the energy transfer from the low-amplitude highfrequency modes to high-amplitude low-frequency modes. In this work, nonresonant modal interactions in the nonlinear planar motions of flexible cantilever beams subjected to transverse and parametric harmonic excitations are investigated. The governing equations of the nonlinear bending-bending motions and the associated boundary conditions for an isotropic metallic inextensional beam are presented. An experimental study revealed that the transfer of energy from high-frequency to lowfrequency modes occurs via modulation and is found to be function of the excitation amplitude and the closeness of the modulation frequency to the frequencies of the low modes activated. The experimental study also revealed that the energy transfer from high-frequency modes to low-frequency modes occurs for a variety of conditions. In addition, others nonlinear dynamic phenomenas routes to the chaotic motions, are also observed. Under certain conditions, quasiperiodic motion with periodically and chaotically modulated amplitudes are exhibited. Period-doubling motion is also observed.

Resumo: Na presença de não linearidades, a resposta forçada de estruturas exibe diversos fenômenos físicos que não podem ser descritos através de modelos lineares. Estes fenômenos incluem ressonâncias sub-harmônicas, ressonâncias super-harmônicas, “jumps”, movimentos quasi-periódicos, movimentos de período múltiplo, caos e interações modais. Recentes estudos experimentais indicam que um novo tipo de interação modal pode ocorrer através de mecanismos não ressonantes, decorrente da transferência de energia de modos de alta freqüência e baixa amplitude para modos de baixa freqüência e alta amplitude. Neste trabalho, interações modais não ressonantes são investigadas na resposta planar não linear de vigas cantilever flexíveis sujeitas a excitações externas e paramétricas. As equações diferenciais e as condições de contorno associadas que governam o movimento flexional-flexional não linear de uma viga assumida inextensível, metálica e isotrópica, são apresentadas. O estudo experimental conduzido revelou que a transferência de energia entre modos de alta freqüência para modos de baixa freqüência ocorre via modulação, sendo função do valor da amplitude de excitação e da proximidade entre os valores da freqüência de modulação e da freqüência dos modos ativados. O estudo revelou também que a ativação de modos de baixa freqüência pode ocorrer sob uma variedade de condições de entrada. Em adição, outros fenômenos dinâmicos não lineares classificados como rotas para o movimento caótico são também observados. Em determinadas condições, movimentos quasi-periódicos com amplitudes moduladas caoticamente e moduladas periodicamente são exibidos. Um movimento de resposta de período dois é também observado.<br>Abstract: Interesting physical phenomena occur in the forced response of structures in the presence of nonlinearities, which cannot be explained by linear models. These phenomena include subharmonic resonances, superharmonic resonances, jumps, period-multiplying motions, quasiperiodic motions, chaos and modal interactions. Recent studies suggest that another type of modal interaction may occur through nonresonant mechanisms, due to the energy transfer from the low-amplitude highfrequency modes to high-amplitude low-frequency modes. In this work, nonresonant modal interactions in the nonlinear planar motions of flexible cantilever beams subjected to transverse and parametric harmonic excitations are investigated. The governing equations of the nonlinear bending-bending motions and the associated boundary conditions for an isotropic metallic inextensional beam are presented. An experimental study revealed that the transfer of energy from high-frequency to lowfrequency modes occurs via modulation and is found to be function of the excitation amplitude and the closeness of the modulation frequency to the frequencies of the low modes activated. The experimental study also revealed that the energy transfer from high-frequency modes to low-frequency modes occurs for a variety of conditions. In addition, others nonlinear dynamic phenomenas routes to the chaotic motions, are also observed. Under certain conditions, quasiperiodic motion with periodically and chaotically modulated amplitudes are exhibited. Period-doubling motion is also observed.<br>Orientador: Fernando de Azevedo Silva<br>Coorientador: Mauro Hugo Mathias<br>Banca: Othon Cabo Winter<br>Banca: Victor Orlando Gamarra Rosado<br>Banca: José Juliano de Lima Júnior<br>Banca: Olivério Moreira de Macedo Silva<br>Doutor

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Mecânica, Florianópolis, 2011<br>Made available in DSpace on 2012-10-25T17:27:34Z (GMT). No. of bitstreams: 1 296725.pdf: 45785865 bytes, checksum: 0f6e457e0c88b709936ffce422390ae7 (MD5)<br>A confecção de um sistema mecânico está sempre sujeita às imperfeições e incertezas oriundas do seu processo de fabricação que podem eventualmente estabelecer diferenças significativas entre o desempenho desejado inicialmente em projeto e aquele efetivamente apresentado pelo sistema real. Como conseqüência deste fato, uma variação aleatória das respostas dinâmicas é certamente esperada ao longo de um ensemble composto de sistemas similares, dificultando de forma considerável as análises de engenharia nas regiões de médias e altas frequências. Assim, com o objetivo de garantir que os requisitos de projeto e certificação sejam devidamente cumpridos, um engenheiro projetista deve considerar os principais efeitos decorrentes destas incertezas na elaboração dos seus modelos matemáticos. Neste sentido, intensos esforços têm sido realizados pela comunidade acadêmica para o desenvolvimento de metodologias eficazes e otimizadas para a descrição estatística das respostas oriundas de sistemas randômicos (i.e. sistemas com propriedades não-determinísticas). Atualmente, a Análise Estatística de Energia (SEA) é uma das principais metodologias para análise vibroacústica nas regiões de médias e altas frequências, visto que seus resultados predizem o comportamento médio esperado de um ensemble composto de sistemas similares, como por exemplo: carros que saem de uma linha de montagem ou aviões produzidos em série. Recentemente, as formulações analíticas de SEA foram estendidas para predizer a variância da resposta energética. Nestas formulações, as estatísticas dos parâmetros modais (freqüências naturais e formas modais) foram descritas pelas estatísticas dos auto-valores e auto-vetores de uma matriz do tipo GOE (Gaussian Orthogonal Ensemble) oriunda da Teoria da Matriz Randômica. Diversos trabalhos experimentais e numéricos têm confirmado um estabelecimento satisfatório da estatística GOE para as frequências naturais de sistemas suficientemente randômicos. Entretanto, alguns desvios significativos em relação ao modelo GOE têm sido identificados para as formas modais correspondentes afetando sensivelmente o desempenho das predições da variância de SEA. Neste trabalho de doutorado, as estatísticas dos parâmetros modais de sistemas randômicos foram sistematicamente investigadas com o auxílio dos resultados dos observadores estatísticos oriundos da Teoria da Matriz Randômica. Duas classes de problemas foram analisadas: ondas longitudinais em barras e ondas de flexão em placas. Para as estatísticas de cada um dos parâmetros modais, os níveis de concordância com o modelo GOE (ou de Poisson) foram prontamente avaliados. Além disso, os valores da média e da variância relativa da densidade de energia cinética foram calculados e comparados com as predições analíticas de SEA baseadas nos modelos GOE e de Poisson. Os possíveis impactos, ou degradações, no desempenho das predições da variância de SEA baseadas no modelo GOE foram investigados para os casos em que as estatísticas dos parâmetros modais não concordam plenamente com a estatística descrita pelo modelo GOE. Dentre as principais contribuições deste trabalho de doutorado destacam-se o estabelecimento de métricas eficientes para a verificação do nível de concordância de cada um dos parâmetros modais com as estatísticas descritas pelos modelos GOE e de Poisson, bem como a obtenção de uma melhor compreensão das relações existentes entre as estatísticas do modelo GOE (ou de Poisson) e as estatísticas esperadas para os parâmetros modais de sistemas vibroacústicos de engenharia.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Florianópolis, 1977.<br>Made available in DSpace on 2013-12-05T18:53:00Z (GMT). No. of bitstreams: 1 321470.pdf: 2595617 bytes, checksum: c30fc2149f3b6efbd0b1877aadf500a4 (MD5)

Comportement dynamique des batiments. La forme modale et les techniques de reduction du modele. Transformation de cette forme lorsque le modele du batiment est simplifie, en une expression analytique simple; cette propriete est utilisee pour rechercher une correlation entre un nombre restreint de parametres descriptifs d'un batiment dont un parametre continu d'inertie et ses besoins de chauffage

Magíster en Ciencias de la Ingeniería, Mención Ingeniería Sísmica. Ingeniero Civil<br>Este estudio presenta la implementación de una metodología desarrollada recientemente y que asegura la identificación de parámetros modales (frecuencia, amortiguamiento y forma modal), bajo el concepto de funciones de transmisibilidad. Esta técnica está concebida para ser implementada en un contexto tipo OMA (Output Modal Analysis), esto significa que no hay necesidad de determinar el input asociado a un sistema, permitiendo así realizar estimaciones durante el régimen operacional de una estructura. La principal ventaja de este método yace en la ausencia de suposiciones respecto a la naturaleza de la excitación, lo cual es un factor común en la mayoría de los métodos tipo OMA, donde regularmente se asume la solicitación como un proceso estocástico de ruido blanco. Para llevar a cabo este trabajo se analizaron los diversos aportes realizados hasta la fecha, de tal forma de generar una metodología clara y eficiente para la detección de parámetros modales. Esto involucra tanto a las funciones de transmisibilidad, así como los estimadores paramétricos que pueden ser empleados sobre dichas funciones para extraer la información modal. Considerando los diversos experimentos realizados en cada uno de los estudios relativos al concepto de transmisibilidad, se intentó extrapolar el uso del método a una estructura de tipo civil, y por lo tanto de gran envergadura, contrariamente a lo desarrollado en la mayoría de los estudios previos, donde se ha aplicado la metodología a estructuras/componentes menores relacionados a la industria automotriz, así como aeroespacial. Para poder realizar lo anterior, se utilizaron los registros de aceleraciones existentes del monitoreo continuo del edificio Torre Central, ubicado en las dependencias de facultad de Ingeniería de la Universidad de Chile. Tomando en cuenta el requisito principal del método, el cual corresponde a identificar más de una condición de carga presente en la estructura, se estudió la factibilidad de considerar el conjunto de respuestas frente a solicitaciones sísmicas, uso diurno y nocturno, resultando lo suficientemente distintas en su distribución espacial, y por lo tanto útiles, para llevar a cabo el proceso de identificación de manera satisfactoria. Los resultados muestran que el uso de funciones de transmisibilidad sólo permite conocer de manera confiable valores frecuencias naturales amortiguadas y las formas modales respectivas. La combinación de escenarios de carga con distinto nivel de excitación impide asegurar invarianza en el tiempo para sistemas cuyo nivel de amortiguamiento dependa del nivel de respuesta que éstos experimenten.

Dans le domaine de la modélisation du raisonnement, plusieurs approches se basent sur les logiques modales qui permettent de formaliser le raisonnement sur des éléments non factuels, comme la croyance, le savoir ou encore la nécessité. Une extension pondérées de ces logiques modales permet de moduler les éléments non factuels qu'elle décrit. En particulier, nous nous intéressons à l'extension pondérée des logiques modales qui permet de formaliser des croyances graduelles : nous traitons des aspects sémantiques et axiomatiques ainsi que des aspects syntaxiques liés à la manipulations de telles croyances modulées. Ainsi, les travaux de cette thèse sont organisés en trois parties. Nous proposons, d'une part, une sémantique proportionnelle qui étend la sémantique de Kripke classiquement utilisée pour les logiques modales ; ainsi qu'une étude des axiomes modaux dans le contexte de cette sémantique des modalités pondérées. D'autre part, nous proposons un modèle ensembliste flou pour représenter et manipuler des degrés de croyances. Enfin, nous mettons en œuvre ces modèles théoriques dans deux applications : un outil de vérification de formules modales pondérées et un joueur artificiel pour le jeu coopératif Hanabi dont la prise de décision repose sur un raisonnement sur ses propres croyances<br>In the field of reasoning models, many approaches are based on modal logics, which allow to formalise the non-factual reasoning, as belief, knowledge or necessity reasoning. A weighted extension for these modal logics aims at modulating the considered non-factual elements. In particular, we examine the weighted extension of modal logics for graded beliefs: we study their semantical and axiomatical issues related to manipulating such modulated beliefs. Therefore, this thesis works are organised in three parts. We first propose a proportional semantics which extends the Kripke semantics, classically used for modal logics. We also study modal axioms regarding the proposed semantics. Then, we propose a fuzzy set model for representing and manipulating belief degrees. We finally use these two formal models in two different applications: a model checking tool for weighted modal formulae and an artifical player for a cooperative game called Hanabi in which decision making is based on graded belief reasoning

La Décomposition Modale Empirique (EMD pour « Empirical Mode Decomposition ») est un outil récent de traitement du signal dévolu à l'analyse de signaux non stationnaires et/ou non linéaires. L'EMD produit pour tout signal une décomposition multi-échelles pilotée par les données. Les composantes obtenues sont des formes d'onde oscillantes potentiellement non harmoniques dont les caractéristiques, forme, amplitude et fréquence peuvent varier au cours du temps. L'EMD étant une méthode encore jeune, elle n'est définie que par la sortie d'un algorithme inhabituel, comportant de multiples degrés de liberté et sans fondement théorique solide. Nous nous intéressons dans un premier temps à l'algorithme de l'EMD. Nous étudions d'une part les questions soulevées par les choix de ses degrés de liberté afin d'en établir une implantation. Nous proposons d'autre part des variantes modifiant légèrement ses propriétés et une extension permettant de traiter des signaux à deux composantes. Dans un deuxième temps, nous nous penchons sur les performances de l'EMD. L'algorithme étant initialement décrit dans un contexte de temps continu, mais systématiquement appliqué à des signaux échantillonnés, nous étudions la problématique des effets d'échantillonnage sur la décomposition. Ces effets sont modélisés dans le cas simple d'un signal sinusoïdal et une borne de leur influence est obtenue pour des signaux quelconques. Enfin nous étudions le mécanisme de la décomposition à travers deux situations complémentaires, la décomposition d'une somme de sinusoïdes et celle d'un bruit large bande. Le premier cas permet de mettre en évidence un modèle simple expliquant le comportement de l'EMD dans une très grande majorité des cas de sommes de sinusoïdes. Ce modèle reste valide pour des sinusoïdes faiblement modulées en amplitude et en fréquence ainsi que dans certains cas de sommes d'ondes non harmoniques périodiques. La décomposition de bruits large bande met quant à elle en évidence un comportement moyen de l'EMD proche de celui d'un banc de filtres auto-similaire, analogue à ceux correspondant aux transformées en ondelettes discrètes. Les propriétés du banc de filtres équivalent sont étudiées en détail en fonction des paramètres clés de l'algorithme de l'EMD. Le lien est également établi entre ce comportement en banc de filtres et le modèle développé dans le cas des sommes de sinusoïdes.

L'objectif de cette thèse est l'étude du comportement vibratoire de la table d'harmonie du piano dans le domaine des moyennes fréquences. Le premier chapitre est consacré à la table dont on présente le rôle, la structure et les matériaux. Les principaux résultats publiés sont regroupés sous forme d'une synthèse bibliographique. Dans un second chapitre, nous présentons une nouvelle méthode d'analyse modale dite haute résolution, permettant de s'affranchir des limitations naturelles de l'analyse de Fourier en termes de résolution spectrale. Celle-ci est validée par comparaison des analyses modales partielles expérimentales et théoriques de plaques minces en aluminium pour des recouvrements modaux compris entre 30% et 70%. Grâce à cette nouvelle méthode, l'identification modale, complète ou partielle, d'une table de piano droit est donnée dans les moyennes fréquences [300-2500 Hz]. L'obtention de l'amortissement moyen propre à la table en épicéa constitue un résultat nouveau dans ce domaine de fréquences. Par ailleurs, l'observation de la densité modale permet de préciser la validité du remplacement de la table raidie par une plaque homogène jusqu'à 1.1 kHz environ. Au-dessus de cette fréquence, la table se comporte comme une juxtaposition de guides d'ondes. L'observation des déformées modales pour ces fréquences, obtenues par un modèle en éléments finis, confirme la localisation des ondes entre les raidisseurs. Le phénomène de coïncidence acoustique se trouve alors profondément modifié par rapport à celui ayant cours pour les plaques minces. L'objectif du dernier chapitre est de proposer une description synthétique d'une table d'harmonie basée sur un petit nombre de descripteurs globaux : densité modale, amortissement moyen, espacement inter-raidisseurs. La validité d'un modèle de plaque homogène équivalente est étudiée et le remplacement de la structure par une plaque en matériau composite est envisagé. La description synthétique permet par exemple d'évaluer les variations de la mobilité au chevalet et du rayonnement dans l'aigu entraînée par une modification de structure (espacement inter-raidisseurs, épaisseur moyenne).

Le développement de systèmes de mesures et de suivi non-invasifs, fiables, robustes et utilisablesen autonomie est de première importance pour le confort et l’implication de la personne prise en charge dansson parcours de santé. En collaboration avec la société IDS SA, ce travail a été initié et motivé par la volontéde développer des méthodes de traitement et d’analyse dédiées à l’exploration fonctionnelle de mesures phy-siologiques non-invasives d’une part, et le développement de solutions pour la santé et l’autonomie, d’autre part.Les aspects fondamentaux de ce travail doctoral ont pour objectifs la mise au point et la validation de méthodesde décomposition modale pour : (1) l’extraction et la reconstruction des composantes cardiaques d’un signalpléthysmographique et (2) l’estimation d’un indice de complexité témoignant de modifications de stratégiesde contrôle postural. Il est attendu que ces méthodes soient : (1) locales pour gérer les non-stationnarités, (2)lisibles pour permettre l’identification des composantes et (3) adaptatives au sens d’un paramétrage a minima.`A cette fin, la connaissance du contexte physiologique et des modèles spectraux attenants sont employés toutautant comme un guide dans le choix et l’utilisation qu’une grille de lecture dans l’exploitation des méthodesengagées.Dans la première partie de ce travail, à travers le développement d’un banc de test sur signaux simulés, nousavons démontré la supériorité d’une variante de la décomposition modale empirique en comparaison à sa formeoriginale. Par la suite, nous avons établi l’utilisabilité, avec des hypothèses a minima, d’une représentationmodale récente, la transformée par Synchrosqueezing (SQT).Dans la seconde partie de ce travail, nous avons mis au point un indice de complexité en échelles basé sur la SQTet dont le fenêtrage temporel est entièrement déterminé par la dynamique spectrale de la représentation. Aupréalable, nous avons mis en place un protocole expérimental pour identifier les limites des méthodes existanteset légitimer une approche spectrale de l’entropie. Notre indice a été validé sur signaux simulés et testé sur si-gnaux réels où il a pu mettre en évidence le phénomène de repondération sensorielle à la suite d’une perturbation.Les aspects appliqués de ce travail doctoral, quant à eux, s’articulent autour du développement de solutionsdédiées : (1) à la prévention du risque de chute et (2) au suivi des activités de la vie quotidienne.Dans cette dernière partie, nous nous sommes intéressés : (1) à l’évaluation des troubles latéralisés de l’équilibre,(2) à l’évaluation de la prise en charge en charge de troubles posturaux, (3) à la conception et la validationd’un outil de mesure et de rééducation des capacités de contrôle postural intégré dans un smartphone, et (4) àla détection de dérives comportementales par le développement d’un indice de persévération et son applicationau suivi du rythme nycthéméral des activités de la vie quotidienne<br>L'auteur n'a pas fourni de résumé en anglais

Les Eaux Modales du gyre subpolaire de l’Atlantique Nord sont des éléments importants de la circulation de surface océanique. Jusqu’à présent, le cycle de vie de ces masses d’eau n’a été décrit qu’à partir d’observations collectées et moyennées sur plusieurs décennies. Ces descriptions n’abordent pas les échelles de temps de ce cycle et lissent les signaux de variabilité. Cette thèse aborde donc ces deux aspects grâce à l’analyse des champs du modèle ORCAQ25-G70 qui complète l’analyse des observations. L’analyse lagrangienne des champs ORCAO25-G70 permet de mettre en évidence le rôle prépondérant du courant Nord Atlantique dans le cycle de vie des Eaux Modales. Les échelles de temps du cycle de vie sont très courtes. Les Eaux Modales se forment sous l’effet des flux atmosphériques et du mélange et sont rapidement advectées par le courant Nord Atlantique vers les zones de convection profonde. Si les flux atmosphériques sont le moteur de la formation des Eaux Modales, la variabilité de leurs propriétés et de leur répartition spatiale est dirigée par l’advection. La variabilité liée à l’advection s’accompagne de variations de l’intensité des courants alimentant le gyre subpolaire. Ces variations sont associées à la variabilité des contributions subpolaires et subtropicales à l’alimentation des Eaux Modales responsable des grands changements de propriétés observés lors des dernières décennies, Les processus décrits parle modèle étant proches des observations, on estime, via un bilan de chaleur, que le réseau Argo doit permettre de décrire avec précision la formation et la variabilité des Eaux Modales subpolaires sur des échelles de cinq à dix ans<br>The subpolar mode waters of the North Atlantic ocean play a key role in the general oceanic surface circulation. Their life cycle bas only been described from an average of observations collected during several decades. This description avoids the real time scale of the life cycle of the mode waters and smooths their variability. This thesis work deals with these two parameters by analysing both the ORCA025-G70 model fields and the observations. The lagrangian analysis of the ORCAO25-G70 fields highlights the key role of the North Atlantic current in the life cycle of the mode waters. The time scales of this cycle are very short. The surface atmospheric fluxes and the mixing are the formation processes of the mode waters. These ones are rapidly advected by the North Atlantic Current toward the areas of deep convection. If the mode water formation is driven by the atmospheric fluxes, the mode Water variability le driven by the advection. This variability is linked to the variable intensity of the main branches of the North Atlantic current in the subpolar gyre. These variations are linked to the variable influence of the subpolar and subtropical contributions to the mode water feeding. This relative influence is responsible for the great changes in the subpolar mode water properties observed in the past decades. The processes describes by the model are close to the observations. Therefore, we consider from a heat budget calculation that the Argo array should be able to provide a precise description of the mode water formation and variability on a pentadal to decadal time scale

L’objectif de cette thèse est l’étude du comportement vibratoire de la table d’harmonie du piano dans le domaine des moyennes fréquences. Le premier chapitre est consacré à la table dont on présente le rôle, la structure et les matériaux. Les principaux résultats publiés sont regroupés sous forme d’une synthèse bibliographique. Dans un second chapitre, nous présentons une nouvelle méthode d’analyse modale dite haute résolution, permettant de s’affranchir des limitations naturelles de l’analyse de Fourier en termes de résolution spectrale. Celle-ci est validée par comparaison des analyses modales partielles expérimentales et théoriques de plaques minces en aluminium pour des recouvrements modaux compris entre 30% et 70%. Grâce à cette nouvelle méthode, l’identification modale, complète ou partielle, d’une table de piano droit est donnée dans les moyennes fréquences [300-2500 Hz]. L’obtention de l’amortissement moyen propre à la table en épicéa constitue un résultat nouveau dans ce domaine de fréquences. Par ailleurs, l’observation de la densité modale permet de préciser la validité du remplacement de la table raidie par une plaque homogène jusqu’à 1. 1 kHz environ. Au-dessus de cette fréquence, la table se comporte comme une juxtaposition de guides d’ondes. L’observation des déformées modales pour ces fréquences, obtenues par un modèle en éléments finis, confirme la localisation des ondes entre les raidisseurs. Le phénomène de coïncidence acoustique se trouve alors profondément modifié par rapport à celui ayant cours pour les plaques minces. L’objectif du dernier chapitre est de proposer une description synthétique d’une table d’harmonie basée sur un petit nombre de descripteurs globaux : densité modale, amortissement moyen, espacement inter-raidisseurs. La validité d’un modèle de plaque homogène équivalente est étudiée et le remplacement de la structure par une plaque en matériau composite est envisagé. La description synthétique permet par exemple d’évaluer les variations de la mobilité au chevalet et du rayonnement dans l’aigu entraînée par une modification de structure (espacement inter-raidisseurs, épaisseur moyenne)<br>The vibratory behaviour of the piano soundboard in the mid-frequency domain is studied in this PhD thesis. The first chapter is devoted to the board itself: its role, structure and materials. An exhaustive bibliographical study is presented and the main published results are given and synthesised. The second chapter introduces a new modal analysis technique based on a high-resolution analysis algorithm. The technique resolves cases where the Fourier transform performs poorly due to its natural T f limitation. This new method is assessed by comparing experimental and theoretical partial modal analyses of aluminium thin plates up to a modal overlap of 70%. The modal identification of an upright piano soundboard is partly achieved with this method in the mid-frequency domain [300- 2500 Hz]. The estimation of the mean loss-factors of the spruce board in this frequency domain is a new result. The frequency dependency of the observed modal density of the ribbed-board below 1. 1 kHz contributes to define an equivalent homogeneous plate. Above 1. 1 kHz, the soundboard behaves like a set of waveguides. The modal shapes obtained through a finite-element model confirm the localisation of the waves between the ribs. On such a structure, the acoustical coincidence phenomenon is deeply modified in comparison to the one occurring in thin plates. The purpose of the last chapter is to propose a synthetic description of a piano soundboard based on a small number of global descriptors: overall dimensions, aspect ratio, mass, modal density, mean loss factor, average distance between two consecutive ribs. The validity of an equivalent homogeneous plate model is studied and the replacement of the structure by a plate in composite material is considered. The synthetic description can be used to predict the changes of the driving-point mobility (at bridge) and of the sound radiation in the treble range resulting from structural modifications (changes in material, geometry, average ribs spacing, etc. )

L'objet de cette these est l'etude des logiques modales et intuitionnistes, dont les structures algebriques, contrairement a la logique classique, sont encore mal connues. Ces deux familles de logique sont particulierement utilisees aujourd'hui en informatique, en theorie de la programmation et en intelligence artificielle. Les logiques modales et les logiques intuitionnistes ont des liens etroits que nous rappelons et utilisons dans cette etude. Cette these comprend trois parties. La premiere partie donne une presentation uniforme de ces structures logiques, sous les aspects syntaxiques puis semantiques avec la notion centrale des modeles de kripke. La deuxieme partie developpe les procedures de decision connues, avec une etude particuliere du cas intuitionniste. La derniere partie presente les resultats nouveaux obtenus en partie a l'aide des outils de reecriture: ceci fournit essentiellement de nouvelles procedures de decision et des caracterisations de formes canoniques dans un formalisme uniforme

L'analyse porte su 14 particules modales pouvant figurer dans les enonces imperatifs et ou d'autres injonctions ("aber, auch, blob, doch, eben, einfach, halt, ja, mal, nur, ruhig, schon, vielleicht, wohl"). Au depart de notre approche se trouve la critique des analyses purement communicatives qui ont pour consequence de "fractionner" une particule en plusieurs variantes fonctionnelles. Dans le but d'operer une stricte separation entre semantique et pragmatique, nous faisons la distinction entre le sens global de l'enonce d'une part (sens propositionnel et sens positionnels, dont celui de la particule modale) et la fonction illocutoire de l'enonce d'autre part (que nous decrivons a l'aide d'une constellation de facteurs situationnels au niveau local de la conversation) et enfin sa fonction interactionnelle et strategique 'en tenant compte de l'ensemble de la conversation). Nous decrivons pour chaque particule un sens positionnel invariable qui est a la base des differentes fonctions et nuances communicatives. Les variantes possibles et les restrictions que nous recensons sont considerees comme resultant du sens positionnel de la particule modale<br>The thesis deals with 14 modal particles occurring in imperative sentences and or other forms of requests in german ("aber, auch, blob, doch, eben, einfach, halt, ja, mal, nur, ruhig, schon, vielleicht, wohl"). Criticizing some purely communicative approaches that split particles into several contextual variants we propose to seperate methodologically the semantic and pragmatic level of analysis. Hence, we distinghish between sentence meaning (propositional meaning and attitudinal meanings including the attitudinal meaning of the particle), illocutionary function of the corresponding utterance (based on and described according to the specific constellation of situative parameters of local interactional management) and strategic function (including parameters of the global interactional management). A semantic description of attitudinal meaning has been given to each particle. This invariant meaning underlies the various illocutionary functions and communicative nuances conveyed by modal particles

El análisis de la dispersión electromagnética, tanto en sistemas guiados (problemas cerrados) como en espacio libre (problemas abiertos), constituye un tema que ha despertado tradicionalmente un enorme interés en la literatura; y que incluso hoy en día, debido a sus diversas y múltiples aplicaciones, continúa siendo objeto de nuevas investigaciones por parte de la comunidad científica internacional. Así por ejemplo numerosas estructuras pasivas de microondas implementadas en guía, tales como filtros paso banda para comunicaciones, filtros de banda eliminada para aplicaciones de calentamiento por microondas, transductores ortomodales, o incluso giradores de polarización, basan su funcionamiento en fenómenos de dispersión generados en el interior de dichos dispositivos;mientras el comportamiento de un gran número de elementos radiantes en espacio libre, entre los que se encuentran las antenas reflectoras o los sistemas multireflectores, se debe a la dispersión electromagnética que producen en estos casos dichas estructuras. A su vez, la determinación de la sección recta radar (RCS) de blancos, el análisis de estructuras semicerradas como las antenas bocina, e incluso el estudio de modelos de programación en entornos urbanos para su aplicación en comunicaciones móviles, constituyen problemas de dispersión. todas estas aplicaciones requieren pues de una caracterización precisa, al tiempo que eficiente, de los diferentes problemas de dispersión electromagnética que surgen en cada caso; debiendo emplear para ello el método que resulte más adecuado.<br>Boria Esbert, VE. (1997). Análisis de problemas electromagnéticos mediante métodos modales y matrices generalizadas, y aplicaciones [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/5424<br>Palancia

Orientador: Katia Lucchesi Cavalca<br>Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica<br>Made available in DSpace on 2018-07-24T03:24:11Z (GMT). No. of bitstreams: 1 Bannwart_FlaviodeCampos_M.pdf: 6074724 bytes, checksum: 342f02fb1c2918f1295d3bd180dd7b5f (MD5) Previous issue date: 1998<br>Resumo: o comportamento dinâmico da fundação de turbogrupos pode afetar significativamente a resposta em freqüência de algumas máquinas rotativas. Assim, no intuito de se avaliar corretamente o comportamento vibratório do sistema dinâmico como um todo, é importante considerar as forças atuantes entre o rotor e a fundação. Nesse sentido, há muitas técnicas matemáticas baseadas na estimativa da matriz de impedância mecânica da fundação. Cada termo dessa matriz pode ser escrito como uma função dos seus parâmetros modais e da velocidade de rotação do rotor. No entanto, a medição da resposta em freqüência de uma fundação isolada, excitada por uma força conhecida, freqüentemente não é disponível. Entretanto, há algumas técnicas de modelagem que independem dessa disponibilidade, e permitem a identificação dos parâmetros modais da fundação: freqüências naturais, fatores de amortecimento e massas modais. Dois métodos de identificação são descritos, baseados em funções de minimização, sendo que um deles é mais aprofundadamente aplicado. Tais funções lidam com comparações entre as respostas em freqüência nos pontos de conexão (mancais hidrodinâmicos) entre rotor e fundação, obtidas pelos deslocamentos absolutos e relativos medidos, e pelos seus respectivos valores analíticos, calculados através de modelagem matemática. Minimizando-se as funções objetivo que relacionam os dados, são determinados os parâmetros modais em questão. Para se efetuar a função de minimização citada, são tomados dois métodos numéricos de procura sistemática de parâmetros modais. Ambos são apresentados e aplicados<br>Abstract: The dynamic behaviour of a turbomachinery foundation can significantly affect the frequency response of some rotating machines. So, in order to correctly evaluate the vibrational behaviour of the whole dynamicsystem, it is important to consider the forces acting between machine and foundation. On this way, there are many mathematical techniques based on the evaluation of the foundation mechanicalimpedance matrix. Each term of this matrix can be described as a function of the foundation modal parameters and the machine ratational speed. Nevertheless, the measurement of the only foundation frequency response due to a known exciting force is often not available. Fortunately, there are some modelling techniques that supply such needs, allowing the foundation modal parameters identification: natural frequencies, damping factors and modal masses. Two methods for these case-studies identification are considered here. Both deal with minimizationfunctions and are described, but just one is more accurately applied. These functions are based on a comparison between the frequency responses at the connecting points Goumalbearings) between rator and foundation, obtained by the measurement of the absolute and relative displacements, and by the respective analytical ones, calculated by mathematical modelling. Minimizing objective functions that relate these data, the foundation modal parameters are determined. In order to perform the mentioned minimization function, two modal parameters systematical searching numerical methods ofinterest are taken. Both are explainedand applied here<br>Mestrado<br>Mecanica dos Sólidos e Projeto Mecanico<br>Mestre em Engenharia Mecânica

O método de Ibrahim no Domínio do Tempo (ITD) é considerado um dos métodos clássicos de identificação de parâmetros modais de estruturas. As maiores vantagens da sua aplicação residem na identificação de modos muito próximos com boa precisão, em uma faixa relativamente larga de freqüências, além do número reduzido de equipamentos requeridos para a realização de ensaios experimentais. Neste trabalho foi realizada uma aplicação do método ITD no processo de identificação das freqüências naturais, dos fatores de amortecimento e dos modos de vibrar de uma placa quadrada de alumínio, engastada em um dos lados e livre nos demais. Este modelo experimental apresenta alta densidade modal e a análise foi realizada em uma faixa de freqüências de 0 a 1600 Hz através de um ensaio de impacto. Para produzir um conjunto consistente de resultados é necessário utilizar um modelo sobredeterminado para o sistema em estudo. O resultado desta análise, porém, apresenta modos computacionais que devem ser eliminados. Para tanto, foram utilizados dois índices de confiança para qualificar os resultados, sendo estes o Fator de Confiança Modal (MCF) e a Colinearidade de Fase Modal Ponderada (MPCW). Os modos que apresentaram melhores índices de confiança são considerados o resultado final do processo de identificação.<br>The Ibrahim Time Domain (ITD) method is considered one of the classical modal parameter identification techniques. The greatest advantages of the ITD application consist of the precise identification of closely spaced modes within a wide range of frequencies and the small amount of equipment required to accomplish experimental testing. In this work, the ITD method was applied in the process of identification of natural frequencies, damping factors and mode shapes of a cantilever aluminium plate. High modal density was detected on the experimental model and the analysis was performed on a frequency range from 0 to 1600 Hz by means of impulse testing. However, an oversized model of the test structure must be used, so that a consistent set of results can be achieved. The results, nevertheless, present computational modes that must be removed from the model. Two confidence factors were used to qualify the results, namely the Modal Confidence Factor (MCF) and the Modal Phase Collinearity - Weighted (MPCW). The modes that presented higher confidence factor values were considered as the final result of the identification process.