Num mercado com crescente competição como o atual, é mister que as empresas façam mais por seus clientes, ou seja, que em essência lhes entreguem mais valor. Para empresas industriais em particular, uma das ações mais comuns é a integração de serviços aos produtos existentes, a fim de oferecer uma solução que atenda às necessidades do cliente. A servitização, termo cunhado para denominar esse modelo de negócios, demanda uma transição organizacional, afinal prestar serviços é diferente de fabricar produtos. Não obstante argumentos em favor, nem sempre a servitização é bem sucedida. Nesta pesquisa, foram examinados os efeitos organizacionais da servitização no mercado editorial brasileiro, mais precisamente no segmento de livros didáticos. O foco recaiu sobre as editoras que criam, produzem e comercializam os livros, bem como sua relação com um de seus maiores clientes: as escolas particulares de ensino fundamental e médio. Usualmente vistas como produtoras de um bem manufaturado o livro e historicamente estruturadas segundo a tradição taylorista, essas editoras têm se reformado na direção de uma organização voltada à criação de conteúdo didático e prestação de serviços às escolas e professores. O presente trabalho teve como objetivo descrever e explicar como têm ocorrido as mudanças organizacionais decorrentes da servitização. Por meio de um estudo de caso múltiplo, coletaram-se evidências empíricas dos obstáculos e/ou facilitadores nesse caminho. Os resultados mostraram evidências de mudanças organizacionais devido à servitização, com destaque para a introdução de novas estruturas organizacionais e políticas de recursos humanos, que possibilitaram um relacionamento mais próximo dos clientes e de suas necessidades. Contudo, ainda há trabalho a fazer, como enfrentar os desafios da crescente digitalização dos conteúdos didáticos e o uso da Internet na distribuição de conteúdos e no relacionamento com os clientes. / In a marketplace with growing competition, it is mandatory that companies do more for their clients, i.e. that they ultimately deliver more value. For manufacturers in particular, one of the most common actions is the integration of services to the existing products, in order to offer a solution that meets customer needs. Servitization, a term coined to describe this business model, demands an organizational transition, given that providing services is different from manufacturing tangible goods. Despite the arguments for servitization, it is not always successful. The research investigated the organizational effects of servitization in the Brazilian publishing industry, specifically the textbook publishing segment. The focus was on publishers who create, produce and market the books, as well as their relationship with one of their major clients: the private Primary and Secondary Education Schools. Usually seen as manufacturers of a tangible good the textbook and historically structured according to the taylorist tradition, these publishers have reformed themselves towards an organization focused on the creation of didactic content and the provision of services to schools and instructors. The present research aimed to describe and explain how organizational changes occurred, due to servitization. A multiple case study was carried out, and empirical evidence was gathered, including the problems and successes on that matter. Results showed evidence of organizational changes due to servitization. Major examples include the introduction of new organizational structures and new human resources policies that enabled a closer relationship with customers and their needs. However there is still work to do, such as facing the challenges of growing digitalization of didactic content, as well as the use of Internet for content distribution and as a means of relationship with customers.

A reutilização de conhecimento é uma tarefa chave para qualquer sistema computacional. Entretanto, o reúso indiscriminado desse conhecimento pode gerar resultados conflitantes com o objetivo de uso do conhecimento, levando sistemas a se comportarem de maneira imprevisível. Neste trabalho estudamos as consequências do reúso de conhecimento em ontologias baseadas em lógicas de descrição. Focamos principalmente nos problemas que podem ser causados pela fusão de ontologias. Investigamos e comparamos a capacidade das ferramentas de desenvolvimento de ontologias atuais de lidarem com esses problemas e como a teoria se desenvolveu para resolver os mesmos problemas. Realizamos a construção de um arcabouço lógico e de software, organizado na forma de um processo, que tem como objetivo auxiliar o projetista de ontologias a resolver conflitos advindos da fusão. O processo agrupa tarefas descritas normalmente na literatura em separado. Acreditamos que a união dessas abordagens leva a uma melhor solução de conflitos. Durante o desenvolvimento deste trabalho, concentramos nossos esforços principalmente no desenvolvimento de algoritmos para a construção de sub-ontologias maximais, onde os conflitos não ocorram, bem como a ordenação desses conjuntos segundo critérios comuns discutidos na literatura. Tais estratégias foram implementadas em software e testadas utilizando dados gerados automaticamente e dados reais. / Knowledge reuse is a key task during any system development. Nevertheless, careless knowledge reuse may generate conflicting outcomes regarding the system goal, leading such systems to unpredictable behaviour. With that in mind, during this research we studied the consequences of knowledge reuse in ontologies based on description logics. We focused mainly on conflicts arising from ontology merging. We investigated and compared the features developed for this purpose on ontology development tools and how the theory field proposed to deal with the same issues. We developed both a logical and a software framework grouped into a process that aims to help the ontology designer solve conflicts arising from ontology merging. The process groups common tasks that are normally described separately. We believe that the unification of these approaches should result in a better solution for the merging conflicts. We concentrated our efforts during this work on building algorithms for building maximal sub-ontologies where such conflicts are non-existent as well as means for ordering such sets according to a few relevance criteria commonly described at the literature. Such algorithms were implemented and tested against automatically generated and real data.

A queda do interesse por parte de novos universitários, para cursos de ciência da computação em várias universidades do mundo [55, 68], é um sinal para começarmos a pensar se um dos motivos dessa queda tem relação com a forma pela qual o ensino de computação está sendo conduzido. Nessa linha, perguntamos se existem maneiras de tornar o ensino de computação mais interativo e motivante para os alunos da nova geração, os quais cresceram no meio de uma das categorias mais complexas de software existentes hoje: os jogos de computador [10]. Esses softwares ficam cada vez mais interativos, complexos e ricos em detalhe com o passar do tempo. Conforme será exposto, por meio do estudo de algumas iniciativas de pesquisadores nesse sentido, o ensino de ciência da computação pode se tornar mais interessante e rico com a utilização de jogos de computador como recurso didático, para capturar a atenção dessa nova geração de estudantes. Com base nesse resultado, vamos focar nossa contribuição no ensino de lógica em cadeiras de Inteligência Artificial (IA), uma área de concentração da Ciência da Computação. Apresentamos uma ferramenta que chamamos de Odin, para construir e visualizar especificações executáveis de IA, por meio da linguagem PROLOG, em ambientes tridimensionais de jogos de computador. Entendemos que essa ferramenta pode ser utilizada como um recurso didático em cursos de lógica para alunos em nível de graduação. Como principal benefício, o aluno tem a possibilidade de explorar, observar e interagir com os resultados de seu trabalho. Essa possibilidade de visualização é o que parece reter a atenção do aluno, de acordo com pesquisadores na área. Disponibilizamos dois cenários de uso: O labirinto e o Mundo de Wumpus, dois cenários que juntos podem ser utilizados para cobrir uma boa parte da carga didática de um curso de lógica para graduação. Outros cenários podem ser desenvolvidos posteriormente por meio de extensão do framework composto por classes C++. A ferramenta foi utilizada em duas cadeiras de inteligência artificial no Instituto de Matemática e Estatística, da Universidade de são Paulo. Consideramos que a recepção da ferramenta por parte dos alunos foi positiva. / The interest in Computer Science related courses is dropping considerably as reported by various universities around the world. Among the factors that are causing this scenario to take place, one could certainly be the way Computer Science courses are being taught. With that in mind, we have asked if there are ways to teach Computer Science in a more engaging and interactive manner, so as to appeal to the new generation of students that grew in constant touch with one of the most complex and sophisticated categories of existing software, the interactive 3D computer games. This category of software is growing more intricate, complex and rich in detail day by day. And students seem to love it. The literature review presented in the course of this work will show that the use of computer games in teaching, especially in computer science courses, can be an effective way of providing an engaging, interactive and visually rich learning environment for students of the new generation. With this basis, our key contributions focus on the teaching of logic in Artificial Intelligence(AI) related courses, an important area within the Computer Science Curriculum. We propose a tool called Odin, for building executable specifications of AI, using the PROLOG language, in the form of interactive 3D computer games. We understand that this tool can be used as a didactic resource for undergraduate logic courses. The main benefit is that it enables the student to explore, observe and interact with the result of his own designs, which is what seems to capture the students attention, according to researchers in the field. We provide two scenarios: the labyrinth problem and the Wumpus World problem. Scenarios that combined can cover a large part of an undergraduate logic course Syllabus. The tool is extensible so that more scenarios can be added, by extending the framework composed of C++ classes. The tool was used in two graduate AI courses, in the Statistic and Mathematics Institute of the University of S~ao Paulo. We consider that the reception of the tool by the students was positive.

As atividades humanas geram um conjunto de impactos negativos que afetam os ecossistemas aquáticos das bacias hidrográficas em geral. Essa deterioração dos corpos dágua está relacionada também ao crescimento e à diversificação das atividades agrícolas, assim como ao aumento da urbanização. Diante do exposto, o objetivo desta pesquisa foi avaliar a integração das ferramentas de suporte à decisão, predição da cobertura do solo e análise multicritérios, na dinâmica de áreas de conservação ambiental da Bacia Hidrográfica da Represa do Lobo (Itirapina, SP). Para isso, foi realizada a classificação supervisionada de imagens de satélites para a obtenção da cobertura do solo para os anos 2008, 2013 e 2018. Por meio de modelagem obteve-se a cobertura do solo para o ano 2028. Por fim, aplicou-se a avaliação multicritérios (padronização; hierarquização e geração de pesos; e ponderação) para a elaboração de cenários contendo os níveis de conservação para os anos 2008, 2018 e 2028. Os níveis de conservação para a data atual também foram obtidos em campo por meio de aplicação de um protocolo da diversidade de habitats nas estações seca e chuvosa. Os resultados demonstraram que houveram mudanças significativas durante o período analisado, mas principalmente nas classes relacionadas às perturbações antrópicas. O padrão espacial da bacia demonstrou que a área antropizada, a pastagem e o reflorestamento são as classes dominantes. A vegetação natural foi identificada em fragmentos nas áreas de nascentes do rio Itaqueri e ribeirão do Lobo, o que pode afetar de forma drástica esses corpos hídricos. Os maiores valores de conservação ambiental foram obtidos nas áreas de proteção ambiental e proteção permanente. No entanto, as áreas onde estão localizadas as nascentes do rio Itaqueri e ribeirão do Lobo resultaram principalmente em valores baixos e médios de conservação ambiental. Foram obtidos valores baixos em áreas no entorno da represa, devido as atividades de turismo e lazer. Diante do exposto, a integração das metodologias se mostrou satisfatória para a avaliação da dinâmica de áreas de conservação ambiental e os respectivos resultados podem auxiliar em um planejamento estratégico para a gestão adequada voltada à sustentabilidade dos recursos naturais da região. / In addition to the permanent protection areas, it is necessary that the entire watershed ecosystem is balanced, however, human activities generate a set of negative impacts that affect aquatic ecosystems. This deterioration of the water bodies is also related to the growth and diversification of agricultural activities, as well as to the increase of urbanization. In view of the above, the objective of this research was to evaluate the integration of decision support tools, soil cover prediction and multicriteria analysis, in the dynamics of environmental conservation areas in Lobo Reservoir Basin Basin (Itirapina, SP). For this, the supervised classification of satellite images allowed to obtain the soil cover for the years 2008, 2013 and 2018. The soil cover for the year 2028 was obtained by modeling. Finally, the multicriteria evaluation was apllied (standardization, hierarchy and weight generation and weighting) for the elaboration of conservation levels scenarios for the years 2008, 2018 and 2028. Conservation levels for the current date were also obtained in the field by means of application of a habitat diversity protocol in dry and rainy seasons. The results showed that there were significant changes during the analyzed period, but mainly in the classes related to anthropic disturbances. The spatial pattern of the basin has shown that the anthropic area, pasture and reforestation are the dominant classes. The natural vegetation was identified in fragments in the springs of the Itaqueri and Lobo rivers, which can drastically affect these water bodies. The highest environmental conservation values were found where the environmental protection areas and riparian forest are located. However, the areas where the springs of the Itaqueri and Lobo rivers are located have mainly resulted in low and medium values. Low values were obtained in areas around the reservoir, due to tourism and recreation activities. Thus, the integration of the methodologies was satisfactory for the dynamics evaluation of environmental conservation areas and the respective results can help in a strategic planning for the proper management directed to the sustainability of the natural resources of the region.

Este trabalho apresenta um método para obtenção e simplificação de uma base de regras nebulosas. O método proposto para a extração de regras nebulosas é oriundo da combinação eficiente de diferentes técnicas relatadas independentemente na literatura. Inicialmente, são gerados agrupamentos de entrada e agrupamentos de saída correspondentes. Em seguida são definidas, de forma recursiva, regras nebulosas para classificação de padrões. Cada regra é associada a uma hipercaixa que define a região de existência de uma classe e/ou inibe a classificação do dado nos casos em que duas ou mais hipercaixas se superpõem (situação onde um ou mais dados podem pertencer a mais de uma região) evitando assim que sejam geradas regras conflitantes. Então, é discutido um mecanismo de redução do conjunto de regras com base nas superposições de classes, para a simplificação do conjunto de regras gerado, onde serão gerados os graus de pertinência para os dados de entrada. O método é ilustrado através de um exemplo no qual são determinadas regras para um controlador nebuloso para um sistema de controle de atitude utilizando atuadores com restrições de tempo de chaveamento e atrasos.

O monitoramento da saúde estrutural vem se tornando uma ferramenta cada vez mais utilizada nas áreas civil, aeroespacial e militar. Os sistemas de detecção de danos utilizam métodos de identificação de falhas ou danos através de sensores acoplados à estrutura. Com a evolução dos sistemas de detecção e a geração de dados confiáveis sobre a localização e extensão dos danos ofereceram-se condições de desenvolver métodos de estimativa da vida residual do elemento monitorado. Do ponto de vista operacional, as informações sobre vida residual são de grande valia, pois com esta abordagem é possível oferecer manutenção baseada na condição, ou seja, atuar nas falhas de acordo com a necessidade, diminuindo a incerteza quanto ao estado da estrutura, proporcionando maior segurança e tornando o processo mais economicamente vantajoso. As técnicas de detecção de dano podem oferecer informações sobre localização e extensão do dano, através de transdutores que monitoram o elemento, porém podem não ser suficientes para definir a criticidade do mesmo. Combinando dados do dano juntamente com dados de projeto pode-se gerar informações de ordem qualitativa que podem ser utilizadas para apoio à tomada de decisão. Neste trabalho é analisada a lógica Fuzzy como método de inserção de informações de criticidade nas leituras de sistemas de detecção.

Esta pesquisa tem por objetivo investigar o estado da arte referente à Inteligência Artificial, através da utilização de lógica Fuzzy, endereçando-a ao domínio de conhecimento do grupo de pesquisadores da Universidade de São Paulo (USP), que atuam no Instituto do Coração (InCor) e criaram um novo biomarcador de diagnóstico de insuficiência cardíaca, baseado em acetona exalada. Com o desenvolvimento e implementação de um modelo computacional de Fuzzy, utilizando uma base de dados do InCor com 109 pacientes, através de inferência difusa, é possível propiciar uma análise mais refinada e com maior sensibilidade do diagnóstico de Insuficiência Cardíaca (IC) a partir dos dois biomarcadores da doença, a acetona exalada (recentemente descrita) e o Peptídeo Natriurético do tipo B (BNP). O resultado da correlação dos dois biomarcadores mostra ao profissional médico o diagnóstico de IC na forma linguística e pode ajudar na elaboração de uma melhor terapia no tratamento dos pacientes.

O trabalho apresentado é composto por duas grandes partes, que tratam, respectivamente, 1) do modo como Henri Poincaré concebe o conhecimento científico e 2) do contexto histórico, da polêmica e das soluções relativas aos paradoxos da Teoria dos Conjuntos propostas por Poincaré e por Bertrand Russell. A primeira parte do texto possui sete capítulos, sendo que, dentre eles, os três primeiros têm a finalidade de esclarecer os princípios dos quais parte Poincaré, que constituem, de maneira geral, as suas bases epistemológicas. Os capítulos 04 a 07 abordam como esses princípios repercutem em cada um dos ramos do conhecimento citados pelo autor em Ciência e Hipótese. A segunda parte do texto, composta por três capítulos, se inicia com o capítulo que trata do contexto histórico no qual se dá a polêmica em tela. O capítulo nono trata do advento da Nova Lógica e, finalmente, o décimo capítulo aborda as tentativas de solução do problema. / This work has two sections. The first of them shows how Henri Poincaré thinks the principles of the scientific knowledge. The second section presents the historic context, the polemic and the solutions concerning the Set Theory’s Paradoxes, according to the ideas purposed by Henri Poincaré and Bertrand Russell. The text’s first part brings three chapters about the principles on Poincaré’s Epistemology, and other four chapters that show how these principles take consistence in each branch of science as presented by the author in Science and Hypothesis. The second section begins explicating the historic context between 1880 and 1905, when the paradoxes on Set Theory are introduced. The two least chapters treat on the advent of the New Mathematical Logic and the researching in order to find the solution of the problems correlated with the Set Theory’s Paradoxes.

Texture is one of the most primitive characteristics of objects. Digital images represent this property as local intensity variations in the image. Consequently, texture is an attribute that is innately present in virtually every digital image; mathematically describing this information leads to a myriad of different applications, from food qualities processing up to medical image analysis. It comes as no surprise that texture has been one of the most researched topics in the computer vision community, and it continues to receive a great deal of attention. One of the most classic approaches to model texture is the statistically-based co-occurrence matrix method. The present dissertation work revolves around a clever variation of the co- occurrence matrix that incorporates rotation-invariance, a very desirable property for texture classification. This variation is taken from previous work in the literature and is used to propose a robust fuzzy orthoimage classifier. Moreover, the original rotation- invariant approach is modified though a generalization and benchmarked with one of the most widely-used texture description methods in the recent literature: the Local Binary Patterns approach. The results indicate that Fuzzy Logic is a powerful tool to build texture-based classifiers that have to deal with diversely-sourced image samples; the results also indicate that the generalization proposal, which originates the here named CCM and RCM texture description methods, offers a significant performance boost that is comparable, and even better than Local Binary Patterns approach when comparing accuracy scores. / A textura é uma das características mais básicas dos objetos. As imagens digitais representam esta propriedade como variações de intensidade locais na imagem. Consequentemente, a textura é um atributo que se encontra presente de forma inerente em praticamente todas as imagens digitais; descrever matematicamente esta informação produz uma série de inúmeras aplicações, desde processamento da qualidade dos alimentos até análise de imagens médicas. Não é surpreendente que a pesquisa em textura seja um dos tópicos mais pesquisados pela comunidade de visão por computador, e ainda continua recebendo muita atenção. Um dos modelos mais clássicos para modelar textura é o método estatístico da matriz de co- ocorrência. Esta dissertação gira em torno a uma modificação inteligente da matriz de co-ocorrência que inclui invariância à rotação, uma característica muito desejável para a classificação de texturas. Esta variação toma-se de um trabalho na literatura e é utilizada para propor um classificador nebuloso de imagens aéreas. Além disso, a definição matemática original é modificada através da generalização dos descritores e se realiza um estudo comparativo com um dos métodos de descrição de textura mais usados na literatura recente: o método Local Binary Patterns. Os resultados indicam que a Lógica Nebulosa é uma ferramenta poderosa para construir classificadores baseados em textura que precisem trabalhar com amostras tomadas de diversas fontes; os resultados também indicam que a proposta de generalização, que leva o nome de método CCM e RCM, oferece um incremento significativo no desempenho que é comparável, inclusive superior, ao método Local Binary Patterns, quando comparadas as taxas de acerto para ambos os métodos.

Se presenta el diseño e implementación de un vehículo submarino operado remotamente con un sistema de estabilización automático. El vehículo submarino o ROV, por sus siglas en inglés (Remotly Operated Vehicle), tiene tres grados de libertad que le permiten realizar el movimiento arriba-abajo, adelante-atrás y el giro izquierda-derecha. El sistema de estabilización permite que el ROV se mantenga enfocado a un objetivo predeterminado y pueda seguirlo gracias a técnicas de visión por computadora que determinan la distancia y orientación del objetivo y, a un controlador de lógica difusa que gobierna un sistema de propulsión a chorro direccionado por un sistema de transmisión. / Tesis