Academic literature on the topic 'MODAPTS'

The Modular Arrangement of Predetermined Time Standard (MODAPTS) is a medote for analyzing performance in performing work by monitoring the operator's movement in the workplace. MODAPTS will record the movement of each carrier in the workplace. This research will reveal a number of common features of MODAPTS and its applications in the packing process at the cement plant in particular to reduce the waste of working time that causes the production target is not achieved. This Cement Packing process becomes the chosen workplace because it requires manual work where there is continual movement of the body. The suggested improvement is in the form of determining movement activities, terminal activities, and Auxiliary Activities for each operator based on the standard time and the normal time available. Based on the results of this study obtained innovative solution that can be used as a safe, easy, and efficient working procedure resulting in increased work productivity.

MODAPTS of Industrial Engineering (IE) work measurement was used for formulating welding hours. It was analyzed the program, operations and motion of production process on the arc welding production site. According to the theory of similar manufacturing principle, the auxiliary operation of the arc welding was divided into standard operation, typical operation and special operation. Their working hours were respectively analyzed and estimated. Arc welding operation time was treated as a set of the basic time and auxiliary operation sequence time. It is more scientific, rationalization and standardization for the welding hours, and improves the efficiency of formulating welding hours. A using example was given.

Purpose The purpose of this paper is to present a precise comparison between a pre-determined time rules and the evaluation performed with the help of a manual chronometer using data from a line assembly in an automotive industry besieged in the state of Paraná, Brazil. Nowadays, it is possible to verify several tools of measurement of task times, some taking less time and causing less wear of the evaluator than others, but not being in accordance with the real conditions of the workers of a certain industry. Design/methodology/approach The developed paper has its methodology based on two methods of time analysis, one of them being an adaptation of the MODular Arrangement of Predeterminated Time Standard (MODAPTS) method – called MODAPTS 2. This method is used by the industry in analyzed in this work and the other through the use of simple manual timing, through the digital timer, of the stages developed in a workstation. Findings The study shows that for each operation analyzed, thus presenting a situation of minimum waste, it becomes possible to judge which reasons exist for the operator during manual timekeeping not to reach the optimum times generated by the system of pre-determined times and movements (PMTSs) questioned. Research limitations/implications This study is conducted on an automotive enterprise in a period of confidentiality, which means that only a single workstation is able to be studied. This means that the comparison obtained between the time measurements methods used, and the evaluation of the MODAPTS is carried out with the best possible movements and gestures, disregarding then that the wastes can still be postulated to the whole assembly line. Originality/value With the automation in industry, where assemble tasks are usually developed manually, it is believed possible to discard the option of measuring task times in its classic and manual form, using a timer, yet during this process, there will be variables that may not be considered by pre-determined measurements methodologies. The work developed by this paper presents different variables that are not examined by the methods of PMTS, not frequently seen in the literature, as well as the difference that occurs between the measurement of times with stopwatch and the use of PMTS, which, in its original form, disregards the wastes that the operator has in their movements.

The operational knowledge of skilled technicians gained from years of experience is invaluable for an enterprise. Possession of such knowledge will facilitate an enterprise sharing technician’s know-how and training of new employees effectively. However, until now there is rare efficient quantitative method to obtain this kind of tacit knowledge. In this paper we propose a concept of engineering-oriented operational empirical knowledge (OEK) to describe this kind of knowledge and design a framework to acquire OEK from skilled technician’s operations. The framework integrates motion analysis, motion elicitation, and intent analysis. The modular arrangement of predetermined time standards (MODAPTS) is used to divide the technician’s operational process into basic motion elements; and the variable precision rough set (VPRS) algorithm is used to extract the technician’s OEK content, which combined with the technician’s intent elicited via interview; the completed OEK is obtained. At the end of our study, an engineering case is used to validate the feasibility of the proposed method, which shows that satisfactory results have been reached for the study.

Se propone que cada frase Inglés no contiene sólo el tiempo (pasado y no pasado), sino también de aspecto (perfectivo y imperfectivo). Mientras que otros idiomas pueden marcar aspecto formal, en Inglés es con frecuencia una categoría encubierta y puede dar lugar a ambigüedades, sobre todo en el lenguaje escrito. La interacción de aspecto y el tiempo con los diferentes modales se muestra en un esfuerzo para describir la forma en que los diferentes modales se han de interpretar semánticamente. It is proposed that every English sentence contains not only time (past and non-past) but also aspect (perfective and imperfective). Whereas other languages may mark aspect formally, in English it is frequently a covert category and may give rise to ambiguities, especially in the written language. The interaction of aspect and time with the different modals is shown in an effort to describe the way the different modals are to be interpreted semantically.

One of the companies engaged in aluminum smelting product ion has problems, namely the occurrence of high variations in the removal of new anodes to the old anodes which are influenced by the operator's working method because of unnecessary movements and movements beyond the Anode Changing mechanism set by the company has become a habit of the operator itself, so the time needed to replace the anode is getting longer. This problem causes the company to suffer losses due t o the product ion process that runs not in accordance with established procedures. So, the company needs to calculate the losses incurred due to variations in anode replacement and see how the operator's working method when changing the anode that causes these variations and also has an influence on the anode replacement cycle time. The method used for this problem is Taguchi Loss Function which is used to calculate the losses suffered by the company and improve work methods using the Modular Arrangement of Predermined Time Standards (MODAPTS) method to calculate the processing time. The results obtained using this method are losses experienced by the company in Block 1 amounting to Rp 19,733,263, while the total losses in Block 2 amount to Rp 35,919,435. While for the operator's working method, the operator's work movements are analyzed which are not in accordance with the economic principles of the movement . Comparison of the standard time of actual and proposed work methods is 774.847 seconds and 648.2 seconds with a time difference of 126,647 seconds faster and there are no movements that should not be done so that the operator can use the time to adjust the anode height as well as possible according to the standards determined by the company.

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

Truncated conical shell is an important structure that has been widely applied in many engineering fields. The present paper studies the internal dynamic properties of a truncated rotary conical shell with considerations of intercoupling the high and low order modals by utilizing Harmonic Balance Method. To disclosure the detailed intercoupling characteristics of high order modal and low order modal of the system, a truncated shallow shell is studied and the internal response properties of the system is investigated by using the Multiple Scale Method. Abundant dynamic characteristics are found in the research of this paper. It is found in the research of the paper that the high-order modals of rotating conical shells have significant effects to the amplitude and frequency of the shells.