This research develops an equipment failure prognostics model to predict the equipment’s chance of survival, using LAD. LAD benefits from not relying on any statistical theory, which enables it to overcome the problems concerning the statistical properties of the datasets. Its main advantage is its straightforward process and self-explanatory results. Herein, our main objective is to develop models to calculate equipment’s survival probability at a certain future moment, using LAD. We employ the LAD’s pattern generation procedure. Then, we introduce a guideline to employ generated patterns to estimate the equipment’s survival probability. The models are applied on a condition monitoring dataset. Performance analysis reveals that they provide comprehensible results that are greatly beneficial to maintenance practitioners. Results are compared with PHM’s results. The comparison reveals that the LAD models compare favorably to the PHM. Since they are at their beginning phase, some future directions are presented to improve their performances.

The word 'myth' appears frequently in contemporary theological and exegetical writing. Unfortunately, it is used with a variety of meanings by different authors, and this gives rise to the layman’s general misunderstanding of what is really a technical term. This thesis is an essay in the clarification of the notion of myth, through the use of the techniques of logical analysis of language. / Thesis / Bachelor of Divinity (BD)

Cette thèse porte sur des problèmes d'exploration de données avec le point de vue de la recherche opérationnelle. L'exploration de données consiste en l'apprentissage de nouvelles connaissances à partir d'observations contenues dans une base de données. La nature des problèmes rencontrés dans ce domaine est proche de celle des problèmes de la recherche opérationnelle: grandes instances, objectifs complexes et difficulté algorithmique. L'exploration de données peut aussi se modéliser comme un problème d'optimisation avec un objectif partiellement connu. Cette thèse se divise en deux parties. La première est une introduction à l'exploration de données. Elle présente l'Analyse Combinatoire de Données (ACD), une méthode d'exploration de données issue de l'optimisation discrète. Cette méthode est appliquée à des données médicales originales et une extension aux problèmes d'analyse de temps de survie est proposée. L'analyse de temps de survie consiste à modéliser le temps avant un événement (typiquement un décès ou une rechute). Les heuristiques proposées utilisent des techniques classiques de recherche opérationnelle telles que la programmation linéaire en nombres entiers, la décomposition de problème, des algorithmes gloutons. La seconde partie est plus théorique et s'intéresse à deux problèmes combinatoires rencontrés dans le domaine de l'exploration de données. Le premier est un problème de partitionnement de graphes en sous-graphes denses pour l'apprentissage non supervisé. Nous montrons la complexité algorithmique de ce problème et nous proposons un algorithme polynomial basé sur la programmation dynamique lorsque le graphe est un arbre. Cet algorithme repose sur des résultats de la théorie des couplages. Le second problème est une généralisation des problèmes de couverture par les tests pour la sélection d'attributs. Les lignes d'une matrice sont coloriées en deux couleurs. L'objectif est de trouver un sous-ensemble minimum de colonnes tel que toute paire de lignes avec des couleurs différentes restent distinctes lorsque la matrice est restreinte au sous-ensemble de colonnes. Nous montrons des résultats de complexité ainsi que des bornes serrées sur la taille des solutions optimales pour différentes structures de matrices. / This thesis focuses on some data mining problems with an operations research point of view. Data mining is the process of learning new knowledge from large datasets. The problems in this field are close to the ones encountered in operations research: Large instances, complex objectives and algorithmic difficulty. Moreover, learning knowledge from a dataset can be viewed as a particular optimization problem with a partially known objective function. This thesis is divided into two main parts. The first part starts with an introduction to data mining. Then it presents a specific method from the field of discrete optimization known as Logical Analysis of Data (LAD). In this part, an original medical application and an extension of LAD to survival analysis are presented. Survival analysis is the modeling of time to event (typically death or failure). The proposed heuristics are derived from classical operations research methods such as integer programming, problem decomposition and greedy algorithms. The second part is more theoretical and focuses on two combinatorial problems encountered while solving practical data mining problems. The first one is a problem of graph partition into dense subgraphs for unsupervised learning. We emphasize the algorithmic complexity of this problem, and give a polynomial algorithm based on dynamic programming when the graph is a tree. This algorithm relies on famous combinatorial optimization results in matching theory. The second problem is a generalization of test cover for feature selection. The rows of a binary matrix are bicolored. The objective is to find a minimum subset of columns such that any pair of rows with different colors are still distinct when the matrix is restricted to the subset of columns. We give complexity results and tight bounds on the size of the optimal solutions for various matrix structures.

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2016-03-17T14:31:15Z No. of bitstreams: 2 Dissertação - Paulo Júnio de Oliveira - 2015.pdf: 1566271 bytes, checksum: a8c1caa1354936dd420024e5bc704cb9 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-03-17T14:33:55Z (GMT) No. of bitstreams: 2 Dissertação - Paulo Júnio de Oliveira - 2015.pdf: 1566271 bytes, checksum: a8c1caa1354936dd420024e5bc704cb9 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2016-03-17T14:33:55Z (GMT). No. of bitstreams: 2 Dissertação - Paulo Júnio de Oliveira - 2015.pdf: 1566271 bytes, checksum: a8c1caa1354936dd420024e5bc704cb9 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2015-11-10 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The aim of this dissertation is to discuss the problem of infinite divisibility of bodies, a problem which was already discussed in the classic period by Aristotle and his analysis of Zeno’s paradoxes. Our working hypothesis is that in the Tractatus-Logico-Philosophicus Wittgenstein has offered a reformulation of this very problem when he discusses the process of analysis of propositions. One of the central thesis in the Tractatus is that all ordinary proposition can be completely analyzed and that this process of analysis has to be finite. Based on that, we argue that it necessarily follows that the elements present in the state of affairs described by the proposition cannot be further divided since the analysis of the proposition which describes such a state is necessarily finite. / O objetivo deste trabalho é discutir o problema da divisibilidade infinita de “corpos”, um problema que era discutido já no período clássico por Aristóteles e sua análise dos paradoxos de Zenão. Nossa hipótese de trabalho é a de que no Tractatus-Logico-Philosophicus Wittgenstein teria apresentado uma possível reformulação desse problema ao tratar da análise de proposições. Uma das teses centrais no Tractatus é a de que toda a proposição tem uma análise lógica completa e esse processo de análise tem de ter um fim. Baseado nisso, nós argumentamos que segue-se necessariamente que os elementos presentes no estado de coisas descritos pela proposição não podem prosseguir sendo subdivididos, uma vez que o processo de análise da proposição que descreve tal estado de coisas é necessariamente finito.

Submitted by Maria Creuza Silva (mariakreuza@yahoo.com.br) on 2014-10-02T18:05:28Z No. of bitstreams: 1 DISS MP ALBERTO YOSHIARA 2013.pdf: 1451930 bytes, checksum: 72e91cdb1691cfa6c0f526d8e72f40f7 (MD5) / Approved for entry into archive by Maria Creuza Silva (mariakreuza@yahoo.com.br) on 2014-10-02T19:00:10Z (GMT) No. of bitstreams: 1 DISS MP ALBERTO YOSHIARA 2013.pdf: 1451930 bytes, checksum: 72e91cdb1691cfa6c0f526d8e72f40f7 (MD5) / Made available in DSpace on 2014-10-02T19:00:10Z (GMT). No. of bitstreams: 1 DISS MP ALBERTO YOSHIARA 2013.pdf: 1451930 bytes, checksum: 72e91cdb1691cfa6c0f526d8e72f40f7 (MD5) / A Política Nacional de Atenção Integral à Saúde do Homem (PNAISH) é, desde sua institucionalização, uma intervenção que se propõe original e inovadora, refletindo a necessidade dos homens com base em indicadores de morbimortalidade em piores condições quando comparados às mulheres, questão atribuída às especificidades socioculturais e de gênero. Efetiva-se operacionalmente a proposta, com a publicação do Plano de Ação Nacional 2009-2011 instituindo a lógica de trabalho e estratégias pactuadas a serem seguidas na implementação dos Planos de Ação de estados e municípios. Longe de um discurso isento de críticas, a proposta traz consigo também os debates e pressupostos críticos constituídos nos movimentos sociais, questões sobre a necessidade de saúde, medicalização como padrão de uso e acesso aos serviços, e as representações constitutivas do cuidado e a educação em saúde. Neste contexto é que o estudo propôs-se a avaliar a plausibilidade lógica da PANSH 2009-2011 e sua proposta de operacionalização frente a PNAISH e às necessidades de Saúde dos Homens, bem como o conhecimento acumulado sobre os temas relacionados ao acesso, acolhimento e fatores socioculturais e gênero associados, no Brasil e em parte do mundo. Para tanto, propôs-se a utilização da análise lógica do Plano em questão, segundo a abordagem de BROUSSELLE e CHAMPAGNE (2011) partindo-se de uma investigação descritiva e qualitativa de documentos, literatura científica, informações e a modelização da intervenção proposta nacionalmente. Aferiu-se assim as dificuldades e lacunas do desenho da planificação quanto a problemática central do acesso de Homens ao serviço de saúde, o que sugere também uma baixa capacidade de assegurar os efeitos pretendidos, dificuldade de aplicações em municípios e estados, bem como as possíveis barreiras, dificuldades ou entraves que poderão ser encontradas por estes na elaboração de seus Planos Municipais e Estaduais. Assim, é que se julga fundamental a realização de avaliações sobre a política e seu mérito, bem como aos planos de ação e a reflexão sobre as estratégias adotadas para cumprimento dos objetivos.

<p>In what is supposed to have been a radical break with neo-Hegelian idealism, Bertrand Russell, alongside G.E Moore, advocated the analysis of propositions by their decomposition into constituent concepts and relations. Russell regarded this as a breakthrough for the analysis of the propositions of mathematics. However, it would seem that the decompositional-analytic approach is singularly unhelpful as a technique for the clarification of the concepts of mathematics. The aim of this thesis will be to clarify Russell’s early conception of the analysis of mathematical propositions and concepts in the light of the philosophical doctrines to which his conception of analysis answered, and the demands imposed by existing mathematics on Russell’s logicist program. Chapter 1 is concerned with the conception of analysis which emerged, rather gradually, out of Russell’s break with idealism and with the philosophical commitments thereby entrenched. Chapter 2 is concerned with Russell’s considered treatment of the significance of relations for analysis and the overturning of his “doctrine of internal relations” in his work on Leibniz. Chapter 3 is concerned with Russell’s discovery of Peano and the manner in which it informed the conception of analysis underlying Russell’s articulation of logicism for arithmetic and geometry in PoM. Chapter 4 is concerned with the philosophical and logical differences between Russell’s and Frege’s approaches to logical analysis in the logicist definition of number. Chapter 5 is concerned with connecting Russell’s attempt to secure a theory of denoting, crucial to mathematical definition, to his decompositional conception of the analysis of propositions.</p> / Doctor of Philosophy (PhD)

Para satisfazer o explosivo aumento na demanda de tráfego de voz e dados, as redes ópticas baseadas em WDM e GMPLS estão sendo desenvolvidas. A suíte de protocolos GMPLS é atualmente considerada como um plano de controle para as redes ópticas e é composta por protocolos de sinalização e de roteamento, como também do protocolo de gerenciamento de enlace (LMP). O LMP é um importante protocolo que interfere na atribuição de rótulos (comprimentos de onda) e é necessário fazer sua análise lógica para verificar se o mesmo está livre de erros de progresso. Para esta finalidade, o método denominado alcançabilidade justa foi utilizado. Verificada a corretude do LMP, o estudo foca o subproblema de atribuição de comprimento de onda do RWA nas redes GMPLS-WDM por ser um dos principais problemas que causam o baixo desempenho destas redes. O cenário estudado é das redes GMPLS-WDM que operam em um ambiente RWA dinâmico com restrição de continuidade de comprimento de onda. O problema RWA é examinado bem como as várias heurísticas de atribuição de comprimento de onda apresentadas na literatura. Com o objetivo de melhorar o desempenho das redes GMPLS-WDM com restrição de continuidade de comprimento de onda, propõe-se um algoritmo de atribuição de rótulos que utiliza os conceitos conjunto de rótulos e SRLG já implementados pelo GMPLS. O algoritmo proposto melhora a eficiência no uso de recursos nas redes em questão. O desempenho é verificado através da métricas de probabilidade de bloqueio de conexão, desempenho este próximo do ótimo e demonstrado através de simulações. / To satisfy the explosive increasing demands of voice and data traffic, optical networks based on WDM and GMPLS are being developed. The GMPLS´ suite of protocols is currently being considered as the control plane for optical networks and it is compounded of signaling and routing protocols, and also the link management protocol (LMP). The LMP is an important protocol that interferes with label (wavelength) assignment and it is necessary to logically analyse this protocol in order to verify if it is free from progress errors. For this purpose, the method called fair reachability has been used. Verified the LMP is correctable, the study focuses on the RWA wavelength assignment problem in GMPLS-WDM networks because it is one of the main problems which causes the low performance of these networks. The studied scene is GMPLS-WDM networks operating under a dynamic RWA environment with wavelength continuity constraint. The RWA problem is examined and also the various wavelength-assignment heuristics proposed in the literature. With the goal to improve the performance of the GMPLS-WDM networks with wavelength continuity constraint, it is proposed a label assignment algorithm, which uses the concepts of label set and SRLG, already implemented by GMPLS. The proposed algorithm provides an improvement in efficiency of resource use. The performance is verified by using the blocking probability metric, and it is very close to the optimum and demonstrated through simulations.

Para satisfazer o explosivo aumento na demanda de tráfego de voz e dados, as redes ópticas baseadas em WDM e GMPLS estão sendo desenvolvidas. A suíte de protocolos GMPLS é atualmente considerada como um plano de controle para as redes ópticas e é composta por protocolos de sinalização e de roteamento, como também do protocolo de gerenciamento de enlace (LMP). O LMP é um importante protocolo que interfere na atribuição de rótulos (comprimentos de onda) e é necessário fazer sua análise lógica para verificar se o mesmo está livre de erros de progresso. Para esta finalidade, o método denominado alcançabilidade justa foi utilizado. Verificada a corretude do LMP, o estudo foca o subproblema de atribuição de comprimento de onda do RWA nas redes GMPLS-WDM por ser um dos principais problemas que causam o baixo desempenho destas redes. O cenário estudado é das redes GMPLS-WDM que operam em um ambiente RWA dinâmico com restrição de continuidade de comprimento de onda. O problema RWA é examinado bem como as várias heurísticas de atribuição de comprimento de onda apresentadas na literatura. Com o objetivo de melhorar o desempenho das redes GMPLS-WDM com restrição de continuidade de comprimento de onda, propõe-se um algoritmo de atribuição de rótulos que utiliza os conceitos conjunto de rótulos e SRLG já implementados pelo GMPLS. O algoritmo proposto melhora a eficiência no uso de recursos nas redes em questão. O desempenho é verificado através da métricas de probabilidade de bloqueio de conexão, desempenho este próximo do ótimo e demonstrado através de simulações. / To satisfy the explosive increasing demands of voice and data traffic, optical networks based on WDM and GMPLS are being developed. The GMPLS´ suite of protocols is currently being considered as the control plane for optical networks and it is compounded of signaling and routing protocols, and also the link management protocol (LMP). The LMP is an important protocol that interferes with label (wavelength) assignment and it is necessary to logically analyse this protocol in order to verify if it is free from progress errors. For this purpose, the method called fair reachability has been used. Verified the LMP is correctable, the study focuses on the RWA wavelength assignment problem in GMPLS-WDM networks because it is one of the main problems which causes the low performance of these networks. The studied scene is GMPLS-WDM networks operating under a dynamic RWA environment with wavelength continuity constraint. The RWA problem is examined and also the various wavelength-assignment heuristics proposed in the literature. With the goal to improve the performance of the GMPLS-WDM networks with wavelength continuity constraint, it is proposed a label assignment algorithm, which uses the concepts of label set and SRLG, already implemented by GMPLS. The proposed algorithm provides an improvement in efficiency of resource use. The performance is verified by using the blocking probability metric, and it is very close to the optimum and demonstrated through simulations.

Cette recherche s’inscrit dans le cadre de travaux en ergonomie cognitive et s’intéresse à l’entrée dans le métier d’enseignants néo-titulaires du second degré en contexte d’éducation prioritaire. En mobilisant la théorie sémio-logique du cours d’action (Theureau, 2004), elle s’attache à décrire la dynamique de construction de leur activité professionnelle à travers une variété de contextes (en classe et hors classe). L’étude a été menée durant une année scolaire en collaboration avec cinq enseignants néo-titulaires de quatre disciplines scolaires exerçant au sein d’un collège d’éducation prioritaire de l’académie de Créteil. Plusieurs catégories de données ont été recueillies en fonction des contextes: a) des données d'enregistrements audio et vidéo de leur activité en classe, b) des données d'autoconfrontation sur la base de ces enregistrements, c) des données relatives à l'écriture d'un journal de bord, d) des données d'entretiens de remise en situation sur la base de ces traces écrites. L’analyse des contenus de signification mobilisés par les enseignants a permis d’accéder à la compréhension de leur activité située et de repérer quelques traits de leurs « mondes propres » évoluant au cours du temps (révélant leurs préoccupations, leurs attentes, leurs connaissances, leurs émotions). Les résultats révèlent comment l’activité professionnelle des enseignants se construit de manière fluctuante selon des phases alternatives de confort / inconfort, de stabilité et d’instabilité, d’économie de soi et de recherche d’une plus grande efficience dans l’exercice de leur métier. Les changements de relation dynamique avec leurs propres situations scolaires se traduisent par la construction d’équilibres provisoires et transitoires et par des conversions importantes dans leurs façons de percevoir et d’appréhender les évènements face à divers contextes professionnels. Les modélisations synthétiques des trajectoires professionnelles des enseignants montrent ainsi de nombreuses oscillations dans le processus d’acculturation professionnelle. / This study is concerned with the field of cognitive ergonomics and looks at teacher career initiation in the context of priority education: activities, experiences and career trajectories. Drawing on the semio-logical framework for the analysis of course of experience (Theureau, 2004), this study seeks to describe the dynamics of professional engagement in a variety of contexts (in an out of the classroom).The study was carried out over one school year with five beginner teachers from four subject areas in a priority education secondary school in the Créteil local authority. Different types of data were collected and analyzed: a) audio and video recordings of classroom activity, b) self-confrontation data pertaining to these recordings, c) data from reflective logs, d) data from interviews re-assessing situations pertaining to the information from logs. The analysis of key content mobilized by the teachers led to an understanding of their situated activity and enabled the identification of features relating to their “own worlds” progressing over time (concerning their concerns, their expectations, their knowledge, their emotions). Results show how the professional activity of the teachers is built up in various stages according to alternate phases of ease / difficulty, stability and instability, self-preservation and a quest for greater efficiency in their professional activities. Dynamic changes in the relations with their own classroom situations are reflected in the construction of temporary and transitory moments of stability and in marked changes in their ways of perceiving and apprehending events in different professional contexts. Synthetic modeling of the teachers’ career trajectories shows a number of fluctuations in the process of professional acculturation.

Une théorie empiriste de la connaissance affirme que le langage est doté de la capacité à « représenter » quelque chose d'autre que le langage lui-même. A la fin du XVIIe siècle, en effet, Locke et ses successeurs ont analysé empiriquement ce à quoi nos idées ressemblent et que les mots représentent mentalement. Autour des années trente, Schlick et ses camarades du Cercle de Vienne se servent des acquis linguistico-logiques de Frege, Russell et Wittgenstein pour analyser logiquement les propositions scientifiques, leur correspondance avec les états de choses qu'elles représentent. Avec eux, la philosophie analytique devra dorénavant ramener les problèmes de la connaissance au niveau de l'expérience langagière. C'est là que réside le caractère radical et réductionniste d'une démarche empiriste : les empiristes classiques ont fixé dans la perception la genèse chronologique de nos idées et nos pensées ; à leur tour, les Viennois déterminent le sens d'une proposition en la traduisant en propositions élémentaires, dites « Protokollsätze », qui renvoient directement au donné empirique. A la même période, Carnap se démarque des autres empiristes logiques en posant les problèmes du langage de la science en termes de reconstruction rationnelle des concepts et, cela, en introduisant de nouveaux concepts à partir de ceux déjà connus comme concepts de base phénoméniste (dans l'Aufbau en 1928) ou physicaliste (au cours des années trente). Tel est son réductionnisme logique qu'il renforce par la syntaxe logique. L'analyse logique ne porte pas sur le donné mais sur la proposition, et en particulier sur les propriétés formelles et des relations purement logiques qu'entretiennent les propositions dans un système. Carnap tente de libéraliser la démarche empiriste en assouplissant le critère de scientificité et, conformément à son « Principe de Tolérance », en adjoignant à l'ancrage empirique des questions de conventions pour la structure des propositions scientifiques. Il modère la critique viennoise de la métaphysique en attribuant à la philosophie, devenue « la logique de la science », la tâche de méthodes et formes adéquates pour la construction du langage de la science. / An empiricist theory of knowledge argues that language has the capacity to represent something other than itself. Beginning from the end of the 17th century, Locke and his successors analysed empirically what our ideas are reflections of and what words represent in the mind. At the beginning of the 1930s, Schlick and his Vienna Circle colleagues exploited the logico-linguistic advances of Frege, Russell and Wittgenstein in the logical analysis of scientific propositions, i.e. their correspondence with the states of affairs they represent. Following their example, analytic philosophy would henceforth reduce problems of knowledge to the level of linguistic experience. This is where the radical and reductionist character of the empiricist perspective is to be found: the classical empiricists identified the chronological genesis of our ideas and thoughts in perception; the Vienna Circle philosophers in their turn determine the meaning of a proposition by translating it into elementary propositions or Protokollsätze, which reflect directly an empirical “given”. During the same period, Carnap distances himself from his fellow empiricists by formulating the formulating the problems of scientific language in terms of the rational reconstruction of concepts by introducing new concepts based on those already identified as fundamental from a phenomenalist (the Aufbau, 1928) or physicalist (during the 1930s) perspective. This is the logical reductionism that Carnap reinforces through logical syntax. For him, logical analysis is less concerned with the given than with the proposition, and in particular with the formal properties and purely logical relations between propositions within a system. Carnap attempts in this way to “liberalize” empiricism, both by rendering more flexible and open its claim to be scientific and, in conformity to his “Tolerance Principle”, in adding questions of conventions to the empirical grounding of scientific propositions. In attributing to philosophy, understood as “the logic of science”, the task of elaborating forms and methods adequate to the construction of the language of science, he thus moderates the Viennese critique of metaphysics.