Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-19T20:14:56Z (GMT). No. of bitstreams: 1 194903.pdf: 1001190 bytes, checksum: bb2fcf93abe7a7a7e789171760ced445 (MD5)

Made available in DSpace on 2016-01-13T13:27:45Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-07-08. Added 1 bitstream(s) on 2016-01-13T13:31:37Z : No. of bitstreams: 1 000855574.pdf: 806510 bytes, checksum: 5165b6086fbf8e4db7aeff948269d0e3 (MD5) / Neste trabalho são apresentadas algumas de nições básicas da Teoria de Conjuntos Fuzzy e alguns exemplos teóricos que, na maioria dos textos, são deixados como exercí- cio para o leitor. Dessa forma, pretende-se que o texto que mais didático e completo, podendo ser aproveitado para cursos introdutórios da teoria. Algumas aplicações, voltadas para a área de Geologia, também são apresentadas. Destacamos a proposta de modelagem realizada utilizando-se informações geofísicas [1] e um sistema baseado em regras fuzzy para o estudo de locais na região de Rio Claro (São Paulo - Brasil) que são mais propícios para se perfurar poços com boas vazões / This work presents some basic de nitions of fuzzy set theory and some theoretical examples that in most of the texts are left as an exercise for the reader. Thus, it is intended that the text is more didactic, complete and can be used to introductory courses theory . Some applications, focused on the Geology eld, are also presented. Highlight the proposed modeling performed using geophysical [1] and a system based on fuzzy rules for study sites in Rio Claro region (São Paulo - Brazil) that are more conducive to drill wells with good flow

Made available in DSpace on 2014-06-11T19:25:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-02-24Bitstream added on 2014-06-13T20:13:58Z : No. of bitstreams: 1 rodrigues_ap_me_mar.pdf: 615560 bytes, checksum: 6ad248ede2e9a91f3297ec680b6f9138 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O objetivo deste trabalho é, em um primeiro momento, fazer um estudo detalhado sobre quantificadores, os quais são estudados desde Aristóteles [384-322 a. C.]. Apresentamos algumas concepções sobre quantificadores generalizados, a saber, a concepção de Mostowski (1957), criada com o intuito de formalizar alguns conceitos matemáticos, e a concepção de Barwise e Cooper (1981), desenvolvida para tentar aproximar a lógica da linguagem natural. Com este estudo, concluímos que não há uma definição geral de quantificadores e, por isso, trabalhos como o de Sette, Carnielli e Veloso (1999), no qual introduziram a Lógica do Ultrafiltro, são importantes. A Lógica do Ultrafiltro estende a lógica clássica de primeira ordem por meio do acréscimo de um novo quantificador, o qual é chamado de quantificador ‘quase sempre’. Assim, em um segundo momento, formalizamos algebricamente este novo quantificador introduzido pela Lógica do Ultrafiltro. Introduzimos a lógica proposicional do ‘quase sempre’, que estende o cálculo proposicional clássico pela adição de um novo operador, em um sistema hilbertiano, e depois em um sistema de cálculo de sequentes / The objective of this paper is, in a first moment, to do a detailed study on quantifiers, which are studied since Aristotle [384-322 BC]. We show some conceptions of the generalized quantifiers, namely, the conception of Mostowski (1957), created with the purpose of to formalize some mathematical concepts, and the one of Barwise and Cooper (1981), developed to try an approach to the logical nature of language. From this study we concluded that there is no an absolute definition of quantifiers and so the several presentations like the paper of Sette, Carnielli and Veloso (1999), on which it is introduced the Ultrafilter Logic, are important. The Ultrafilter Logic extends the first order classical logic by the addition of a new quantifier called ‘almost always’. Thus, in a second moment, we formalize algebraically this new quantifier introduced in the Ultrafilter Logic. We introduce the ‘almost always’ propositional logic, which extends the classical propositional calculus by the addition of a new operator, in a Hilbert system and in a sequent calculus system

Made available in DSpace on 2014-06-11T19:31:42Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-02-28Bitstream added on 2014-06-13T19:42:13Z : No. of bitstreams: 1 guimaraes_ma_dr_bauru.pdf: 784486 bytes, checksum: 39d2cfb7dc1d5f5c58613bd8954f992c (MD5) / O objetivo desta pesquisa foi o de verificar em que extensão Licenciados em Ciências Biológicas eram capazes de criar argumentos para defender suas posições em relação as pesquisas com células-tronco humanas e também investiguei suas concepções a respeito do início da vida humana, digna de proteção e respeito. Para isso utilizei o grupo focal como estratégia para constituição dos dados que foram analisados tendo como referência o layout argumentativo de Toulmin. Como resultado verifique que, de maneira geral os estudantes são capazes de construir argumentos, entendidos como uma alegação e sua justificativa e que a vida do embrião congelado é diferente da vida do embrião implantado no útero: o primeiro, por ainda não ter sistema nervoso, pode ser usado como matéria-prima para pesquisa, enquanto o segundo é digno de respeito desde a concepção. Portanto, a vida se inicia quando o embrião alcança o útero. Sob o referencial da teoria da Atividade e da Aprendizagem Situada, constatei que a atividade coletiva foi um fator determinante para o desenvolvimento da argumentação. Concluo argumentando que a Aprendizagem Situada pode ser um importante referencial para a formação de professores de ciências e de sua identidade / In this research intended to understand the ways preservice science teacher conceptulize the begining of human life, in the sense that it is worthy of respect and protection, and if they are able to develop arguments to support their claims. To reach this aim i used group as a method of data collection. The data was analyzed from a framework adapted from Toulmin's argumentation layout. As a result I found that the preservice teachers are able to develop arguments to support their conclusions and that they differentiate the life of the frozen embryo in a test tube from the life of the embryo in a womb. The former is merely a raw material for biomedical research while the later is a ife worthy of respect from conception. So the life begins when the embryo reaches the womb. Under the framework of Activity Theory and Situated Learning. I noticed that the interaction in a collective activity was decisive one to promote the argumentation. I conclude arguing that Situated Learning can be a significant framework for teacher education and construction of identity

Orientador : Prof. Dr. Cesar Antonio Serbena / Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Jurídicas, Programa de Pós-Graduação em Direito. Defesa: Curitiba, 04/04/2016 / Inclui referências : f. 125-128 / Resumo: A lógica deôntica consolidou-se como modelo formal correspondente à função prescritiva da linguagem sobre a base técnica e conceitual da lógica modal alética. Essa derivação, conquanto tenha tornado o sistema-padrão de lógica deôntica (Standard Deontic Logic - SDL) completo e correto, gerou resultados contraintutivos que limitaram sua capacidade de análise da linguagem normativa. Em especial, a opção por atribuir uma matriz exclusivamente proposicional à lógica deôntica, oriunda em grande medida da intensa influência que os sistemas modais exerceram sobre a constituição sintática e semântica dos sistemas deônticos, eliminou uma importante característica já presente no sistema original de Georg Henrik von Wright, o propositor moderno da lógica normativa: a possibilidade de representar formalmente prescrições em termos de agentes e ações (dever-fazer) e não apenas em termos de estados de coisas cuja atualização se pretende (dever-ser). Através da apresentação de alguns sistemas vinculados a esta primeira tradição, também denominada Lógica Deôntica da Ação, e do aparato filosófico correlato, notadamente de alguns dos modelos propostos por von Wright e pelo lógico Héctor- Neri Castañeda, o trabalho pretende sugerir caminhos possíveis para o desenvolvimento de uma lógica deôntica sobre bases agenciais, bem como avaliar o modo como tal opção teórica, nas diferentes vertentes apresentadas, responde aos problemas conceituais mais destacados dos sistemas formais normativos. Palavras-chave: Lógica deôntica, lógica modal, semântica, ação, norma, dever-ser, dever-fazer. / Abstract: Deontic logic has established itself as a formal model of ordinary language's prescriptive function upon the technical and conceptual basis of alethic modal logic. Although this derivation had rendered the standard system of deontic logic (SDL) complete and sound, it also gendered counterintuitive results, reducing its analytical sharpness in the scrutiny of normative language. Particularly, opting to assign an exclusively propositional matrix to deontic logic due to the major influence that modal systems exerted over the syntactical and semantical constitution of deontic systems resulted in the elimination of an important feature already present in Georg Henrik von Wright's (the modern proponent of the logic of norms) original system: the formal possibility of depicting norms in terms of agents and actions (ought-to-do), and not only in terms of willingly realizable states of affairs (ought-to-be). Through the introduction of some systems pertaining to the former tradition, also known as Deontic Logic of Action, and the related philosophical aparatus (namely, models proposed by von Wright and the logician Héctor-Neri Castañeda), this work intends to suggest possible ways of developing deontic logic on agential basis, as well as to evaluate how this theoretical option, in the different aspects exhibited, answer to the highlighted conceptual problems of formal normative systems. Keywords: Deontic logic, modal logic, semantics, action, prescription, ought-to-be, ought-to-do.

Made available in DSpace on 2014-11-10T11:09:49Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-02-28Bitstream added on 2014-11-10T11:58:00Z : No. of bitstreams: 1 000794270.pdf: 1454507 bytes, checksum: 21c1e569f66804233a47b876585652ce (MD5) / O presente trabalho propõe duas novas metodologias de desenvolvimento: uma na área de medicina, no diagnóstico de hérnia inguinal utilizando a lógica fuzzy e outra, na área da agronomia, para estimação da produção de trigo utilizando o modelo de inferência adaptativo neuro fuzzy. Na primeira foi desenvolvido um aplicativo para dispositivos móveis, smartphones e tablets, auxiliando a tomada de decisão no diagnóstico de pacientes com suspeita de hérnia na região inguinal. Para isso, utilizou-se a linguagem JAVA juntamente com a biblioteca lógica fuzzy, denominada jfuzzylogic, e o sistema operacional Android para o desenvolvimento da aplicação. Para validar o aplicativo, utilizou-se a coleta de dados, via questionário, envolvendo 30 pacientes entrevistados em consulta médica. Como resultado, observou-se que o diagnóstico realizado pela equipe médica e o diagnóstico com o auxílio do aplicativo móvel, mostraram-se equivalentes nos casos dos pacientes acometidos com hérnia da região inguinal. Este software será disponibilizado gratuitamente, via web, para os profissionais da área da saúde. Já na segunda, investigou-se a habilidade de se desenvolver um modelo de inferência adaptativo neuro fuzzy para estimação da produtividade de trigo (Triticum aestivum) em função da adubação nitrogenada, com base em dados experimentais de cultivares de trigo, avaliada durante dois anos, em Selvíria-MS. Através dos dados de entrada e saída, o sistema de inferência neuro fuzzy adaptativo apreende e posteriormente pode estimar um novo valor de produção de trigo baseada em doses diferenciadas de nitrogênio. Os resultados mostraram que o sistema neuro fuzzy é viável para desenvolver um modelo de predição para estimar a produtividade de trigo em função da dose de nitrogênio. A produção estimada através do sitema neuro fuzzy proporcionou um erro RMSE (Raiz Quadrada do Erro Médio ... / This work proposes two new application methods: one in the area of biomedical engineering in the diagnosis of inguinal hernias using fuzzy logic and another in the area of agriculture to estimate the wheat productivity using an adaptive neuro fuzzy inference system. The first was an application developed for mobile devices, smartphones and tablets, to assist decision making in the diagnosis of patients with suspected inguinal hernia. It was used the Java language together with the fuzzy logic library, denominated jfuzzylogic and the Android operating system for the application development. To validate the application it was used data obtained via questionnaire, involving 30 patients interviewed in medical consultation. As a result, it was observed that the diagnosis made by the medical team and diagnosis with the aid of the mobile application, were equivalent in cases of affected patients with hernia in the inguinal region. This software is available free of charge via the web, for professionals in the health field. In the second application method, it was investigated the ability to develop an adaptive neuro fuzzy inference system for estimating the productivity of wheat (Triticum aestivum) in relation to the nitrogen fertilization, based on experimental data of wheat cultivars during two years, in Selvíria-MS. Through the data input and output, the system of adaptive neuro fuzzy inference learns and subsequently can estimate a new value of wheat production based on different doses of nitrogen. The results showed that the neuro fuzzy system is feasible to develop a prediction model to estimate the productivity of wheat in relation to nitrogen rates. The RMSE (Root Mean Square Error) error of the estimated wheat productivity using the neuro fuzzy system was smaller than that obtained with the quadratic regression method, that is usually used in this kind of estimated, and also the relation between ...

Dissertação (Mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2012. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2012-05-07T13:36:46Z No. of bitstreams: 1 2012_IvanPatricioMorenoMarcos.pdf: 5735898 bytes, checksum: c90af623c7a90ef968c61ec1936e98b0 (MD5) / Approved for entry into archive by Jaqueline Ferreira de Souza(jaquefs.braz@gmail.com) on 2012-05-14T11:27:45Z (GMT) No. of bitstreams: 1 2012_IvanPatricioMorenoMarcos.pdf: 5735898 bytes, checksum: c90af623c7a90ef968c61ec1936e98b0 (MD5) / Made available in DSpace on 2012-05-14T11:27:45Z (GMT). No. of bitstreams: 1 2012_IvanPatricioMorenoMarcos.pdf: 5735898 bytes, checksum: c90af623c7a90ef968c61ec1936e98b0 (MD5) / O alto desempenho requerido nas grandes usinas hidrelétricas no Brasil, com o objetivo de gerar um serviço de alta qualidade, tem suscitado, principalmente na área de manutenção de processos, conhecer e integrar nos seus sistemas, novas técnicas modernas de monitoramento de condição, diagnóstico e prognóstico para avaliação contínua de parâmetros chaves do estado de funcionamento de máquinas com o objetivo de detectar eventuais falhas ou defeitos e gerar um conjunto de ações de manutenção preditiva para incrementar a produtividade do processo. O presente trabalho se propõe a apresentar uma solução viável nesse contexto e tem como objetivo desenvolver uma metodologia para a concepção de um sistema de monitoramento de condição inteligente baseado em regras de produção usando funções de pertinência fuzzy visando melhorar a confiabilidade dos estados de máquinas para incrementar sua disponibilidade e produtividade. Para a implementação computacional da metodologia, criou-se um conjunto de regras de produção fuzzy na interface ECLIPSE usando a biblioteca FuzzyJess. Finalmente, um estudo de caso, de forma não integrada à base de conhecimento do SIMPREBAL (Sistema Inteligente de Manutenção Preditiva de Balbina), foi realizado com o histórico de dados das grandezas físicas monitoradas pelo SIMPREBAL na usina hidrelétrica de Balbina para avaliar o desempenho da nova base de regras fuzzy e sua futura integração na base de conhecimento do SIMPREBAL. Os resultados deste estudo sugerem que a base de regras fuzzy proposta, além de poder ser integrada no SIMPREBAL, possui um grande potencial na detecção do correto estado funcionamento de máquinas com o intuito de avaliar melhor as tendências em diagnóstico e prognóstico de possíveis falhas ou defeitos. ______________________________________________________________________________ ABSTRACT / The high performance needed in the large hydroelectric power plants from Brazil, demand knowing and integrating on their systems, principally on the process maintenance area, new modern techniques of condition monitoring, diagnostic and prognostic for continuous assessment of key performance parameters related to running state of machines with the aim of detecting possible failures or faults and generating a set of predictive maintenance actions to increase the productivity of the process. This work presents a feasible solution on that context and it has as main objective to develop a methodology for the conception of an intelligent condition monitoring system based on production rules by using fuzzy membership functions aiming to improve the reliability of the running states of machines for increase their availability and production. For the computational implementation of the methodology, we built a set of fuzzy production rules in the ECLIPSE interface by using FuzzyJess package. Finally, a study case, non-integrated to the knowledge base of SIMPREBAL (Balbina’s Predictive Maintenance Intelligent System), was executed with the reading log of the monitored physical variables by SIMPREBAL on the Balbina’s hydroelectric power plant to assess the performance of the new fuzzy rule base and its future integration on the knowledge base of SIMPREBAL. The results of this study suggest that the new fuzzy rule base, is not only able to integrate to SIMPREBAL, but also possess a great potential on the detection of correct running state of machines with the objective to assess better their trends on diagnosis and prognosis of failures or faults. ______________________________________________________________________________ RESUMEN / El alto desempeño requerido en centrales hidroeléctricas del Brasil, con el objetivo de generar un servicio de alta calidad, ha originado, en el área de manutención de procesos, conocer e integrar en sus sistemas, nuevas técnicas modernas de monitoramiento de condición, diagnóstico y pronóstico para evaluar continuamente parámetros claves del estado de funcionamiento de máquinas con el objetivo de detectar eventuales fallas o defectos e generar un conjunto de acciones de manutención predictiva para aumentar la productividad del proceso. El presente trabajo se propone a presentar una solución viable en ese contexto e tiene como objetivo desenvolver una metodología para la concepción de un sistema de monitoramiento de condición inteligente basado en reglas de producción usando funciones de membrecía fuzzy apuntando a mejorar la confiabilidad de los estados de funcionamiento de máquinas para incrementar su disponibilidad y productividad. Para la implementación computacional de la metodología, se construyó un conjunto de reglas de producción fuzzy en la interface ECLIPSE usando la biblioteca FuzzyJess. Finalmente, un estudio de caso, de forma no integrada a la base de conocimiento del SIMPREBAL (Sistema Inteligente de Manutención Predictiva de Balbina), fue realizada con el histórico de datos de las variables físicas monitoreadas por el SIMPREBAL en la fábrica hidroeléctrica de Balbina con el objetivo de evaluar el desempeño de la nueva base de reglas fuzzy y su futura integración en la base de reglas del SIMPREBAL. Los resultados de este estudio sugieren que la base de reglas fuzzy, además de poder integrarse al SIMPREBAL, posee un gran potencial en la detección del correcto estado de funcionamiento de máquinas con el objetivo de evaluar mejor las tendencias en diagnóstico e pronóstico de fallas posibles.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2017. / Submitted by Raquel Almeida (raquel.df13@gmail.com) on 2017-10-27T18:48:30Z No. of bitstreams: 1 2017_TiagoRomeirodeJesus.pdf: 8561559 bytes, checksum: 6ac0cb37c4b510941803dc783f1457d4 (MD5) / Approved for entry into archive by Raquel Viana (raquelviana@bce.unb.br) on 2018-01-05T21:01:13Z (GMT) No. of bitstreams: 1 2017_TiagoRomeirodeJesus.pdf: 8561559 bytes, checksum: 6ac0cb37c4b510941803dc783f1457d4 (MD5) / Made available in DSpace on 2018-01-05T21:01:13Z (GMT). No. of bitstreams: 1 2017_TiagoRomeirodeJesus.pdf: 8561559 bytes, checksum: 6ac0cb37c4b510941803dc783f1457d4 (MD5) Previous issue date: 2018-01-05 / Este trabalho apresenta um sistema de auxílio à locomoção de deficientes visuais em ambientes fechados em formato de óculos, denominado Bleye (blind people eyes) onde são utilizados sensores de medição de distância para o desenvolvimento de um controlador fuzzy para desvio de obstáculos, chamado FLOA (fuzzy logic-based obstacle avoidance). Inicialmente o sistema foi desenvolvido usando código estruturado, para servir como referência e, posteriormente, foi explorado o paralelismo intrínseco dos algoritmos envolvidos usando arquiteturas de hardware mapeadas em dispositivos FPGAs (Field Programmable Gate Array) utilizando representação numérica em ponto flutuante. Um ambiente de co-simulação usando o MatlabR e o QuestasimR foi utilizado para realizar comparações numéricas com um código desenvolvido em texto estruturado que serviu como modelo de referência. A regularidade das arquiteturas em hardware desenvolvidas para o FLOA permitiu a criação de um gerador automático de código VHDL (Very high speed integrated circuits Hardware Description Language) a partir de um modelo de alto nível de controladores fuzzy Takagi-Sugeno genéricos. Com essa ferramenta de geração de código VHDL, denominada fis2hdl, foi possível comparar o impacto no consumo de recursos em relação: (a) tamanho da palavra, (b) número de entradas e (c) número de saídas. Os testes realizados com a implementação das arquiteturas de hardware propostas mostram que: (a) o sistema possui um tempo de execução de 17.5 _s, em contraste com implementações em software usando um Desktop Intel core i7 operando a 2.4 GHz e um Arduino Mega operando a 16 MHz, os quais tem um que teve um tempo de execução de 1 ms e 752 ms, respectivamente; (b) a escolha da representação numérica de 27 bits se mostrou eficiente em relação ao consumo de recursos. No pior cenário foram consumidos 8256 LUTs, 2759 FFs e 10 DSPs atingindo uma precisão de 4.89_105 se comparado com uma implementação de 64 bits e uma frequência de operação de 50 MHz; (c) No pior caso o consumo estimado de energia foi de 189 mW, sendo 92 mW de potência dinâmica. Os resultados mostram que o sistema Bleye/FLOA é eficaz quanto ao tempo de execução e o menor consumo de recursos quando comparados com uma solução de 64 bits. Finalmente, uma analise de escalabilidade realizada com auxílio da ferramenta fis2hdl permitiu verificar que o consumo de recursos de hardware aumenta mais significativamente com a variação do número de entradas do sistema, pois este parâmetro afeta diretamente o número de elementos da base de regras. / This work presents a locomotion aid system for the visually impaired in indoor environments, called Bleye (blind people eyes), where distance measuring sensors were used to develop a fuzzy system for obstacle avoidance, called FLOA (fuzzy logic-based obstacle avoidance). Initially the system was developed using structured code to serve as a reference, and later the intrinsic parallelism of the involved algorithms was explored using hardware architectures mapped on FPGAs (Field Programmable Gate Arrays) and custom floating-point numerical representations. A co-simulation environment using MatlabR and QuestasimR was used to perform numerical comparisons against the code developed in structured text that served as reference model. The regularity of the proposed hardware architectures for the FLOA allowed the creation of an automatic VHDL (Very high speed integrated circuits Hardware Description Language) code generator, called fis2hdl, from a high-level representation of generic Takagi-Sugeno fuzzy controllers. This generator tool enables to compare the impact on resource consumption in relation to: (a) word size, (b) number of inputs and (c) number of outputs. The tests performed with the implementation of the proposed hardware architectures show that: (a) the system has a execution time of 17:5_s, in contrast to software implementations based on an Desktop Intel core i7 operating at 2.4 GHz and an Arduino Mega at 16 MHZ, which achieved an execution time of 1 ms and 752 ms, respectively; (b) the choice of the 27-bit numerical representation was efficient in relation to resources consumption. In the worst case scenario, 8256 LUTs, 2759 FFs and 10 DSPs were consumed achieving an accuracy of 4.89_105 compared to a 64-bit implementation and an operational frequency of 50 MHz; (c) In the worst case, the estimated energy consumption was 189 mW (92 mW of dynamic power). The results show that the Bleye/FLOA system is efficient in terms of runtime and resource consumption if compared to a 64-bit solution. Finally, a scalability analysis was performed using the fis2hdl tool, verifying that the number of inputs notably affects the increment on the hardware resources consumption since this parameter increases the number of elements of the rule base.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2016. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2017-03-07T17:05:45Z No. of bitstreams: 1 2016_LindebergPessoaLeite.pdf: 1876384 bytes, checksum: ebc1a91384451f2c55d1ca1c44894d45 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-03-28T16:58:06Z (GMT) No. of bitstreams: 1 2016_LindebergPessoaLeite.pdf: 1876384 bytes, checksum: ebc1a91384451f2c55d1ca1c44894d45 (MD5) / Made available in DSpace on 2017-03-28T16:58:06Z (GMT). No. of bitstreams: 1 2016_LindebergPessoaLeite.pdf: 1876384 bytes, checksum: ebc1a91384451f2c55d1ca1c44894d45 (MD5) / A ameaça de variantes de malware aumenta continuamente. Várias abordagens para agrupamento de malware já foram aplicadas para entender melhor como caracterizar suas famílias. Destas, a análise comportamental pode usar tanto métodos de aprendizado supervisionado como não supervisionado. Nesse último caso, a análise é comumente baseada em lógica convencional, em que um dado exemplar deve pertencer a apenas uma família. Neste trabalho, propõe-se uma abordagem de agrupamento comportamental por lógica fuzzy, que atribui um grau de relevância à cada exemplar e permite que este pertença a mais de uma família. Essa abordagem possibilita verificar outros comportamentos das amostras, não visualizados na lógica convencional. Compara-se o algoritmo escolhido — Fuzzy C-Means (FCM) — com o algoritmo K-Means para analisar similaridades e mostrar os benefícios do FCM na análise comportamental de malware. Nos resultados obtidos, verificou-se, nos casos em que há clusters sem rótulos, que o FCM apresentou vantagens na atribuição de um nome ao grupo devido à sua matriz de pertinência. Enquanto que no K-Means quatro clusters permaneceram sem rótulo, no caso do FCM, repetindo o processo, conseguiu-se atribuir rótulos a todos os clusters. Ademais, verificaram-se as semelhanças e divergências na aplicação de ambos os métodos e mensurou-se o tempo de execução dos experimentos. Por fim, conclui-se que outro benefício da aplicação de lógica fuzzy em relação ao método de lógica crisp reside no fato de que os programas maliciosos não se limitam apenas a um comportamento específico de uma dada família, ou seja, podem pertencer a várias delas ao mesmo tempo. Desse modo, a lógica fuzzy modela, de forma mais fidedigna, o real comportamento malicioso exibido durante uma infecção. / The threat of malware variants continuously increases. Several approaches have been applied to malware clustering for a better understanding on how to characterize families. Among them, behavioral analysis is one that can use supervised or unsupervised learning methods. This type of analysis is mainly based on conventional (crisp) logic, in which a particular sample must belong only to one malware family. In this work, we propose a behavioral clustering approach using fuzzy logic, which assigns a relevance degree to each sample and consequently enables it to be part of more than one family. This approach enables to check other behaviors of the samples, not visualized in conventional logic. We compare the chosen fuzzy logic algorithm — Fuzzy C-Means (FCM) — with K-Means so as to analyze their similarities and show the advantages of FCM for malware behavioral analysis. In the results, which there are clusters without labels, the FCM presented advantages in assigning a name to the group due to its relevance degree. While in the K-Means four clusters remained unlabeled, in the case of FCM, repeating the process, it was possible to assign labels to all clusters. In addition, the similarities and divergences of the methods were examined and their execution time of experiments were measured. Finally, it is concluded that another benefit of the application of fuzzy logic in relation to crisp logic method lies in the fact that malicious programs are not limited to a specific behavior of a given family, i.e, may be part of more than one family at the same time. Thus, fuzzy logic presents more reliably the actual malicious behavior reveal during an infection.

Tese (doutorado)—Universidade de Brasília, Faculdade de Ciência da Informação, Programa de Pós-Graduação em Ciência da Informação, 2015. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2016-01-25T15:17:04Z No. of bitstreams: 1 2015_LauroCesarAraujo.pdf: 14597557 bytes, checksum: d2a60d9b4cea4d03cede2f2768669396 (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2016-01-25T16:01:48Z (GMT) No. of bitstreams: 1 2015_LauroCesarAraujo.pdf: 14597557 bytes, checksum: d2a60d9b4cea4d03cede2f2768669396 (MD5) / Made available in DSpace on 2016-01-25T16:01:48Z (GMT). No. of bitstreams: 1 2015_LauroCesarAraujo.pdf: 14597557 bytes, checksum: d2a60d9b4cea4d03cede2f2768669396 (MD5) / Esta pesquisa propõe a arquitetura da informação de uma linguagem formal textual para representar discursos sobre entidades ontológicas e obter deduções a respeito de ontologias de domínio. Por meio do paradigma de metamodelagem, a linguagem permite tratamento de ontologias heterogêneas que podem ser descritas como instâncias de uma ou mais ontologias de fundamentação. A linguagem suporta comportamentos clássicos e modais sustentados por noções de prova baseadas no paradigma de Programação em Lógica (Modal). O arcabouço modal desenvolvido possibilita que diferentes interpretações modais sejam introduzidas às especificações das ontologias, e contempla especialmente sistemas baseados em lógicas de múltiplos agentes. Uma sistematização do fragmento endurante da Unified Foundational Ontology (UFO) é realizada com objetivo de compor parte do marco teórico que fundamenta a proposta e de servir de exemplo de instanciação do arcabouço desenvolvido. Como resultados complementares, destacam-se: uma sistematização de um conjunto ampliado de regras para produção de modelos conceituais e um glossário detalhado de termos e conceitos da UFO-A; protótipos funcionais que implementam os sistemas elaborados; traduções das teorias descritas no arcabouço proposto para linguagens visuais, como extensões da representação gráfica da OntoUML; e discussões a respeito da integração de Arquitetura da Informação, Modelagem Conceitual e Programação em Lógica (Modal) no contexto social aplicado. / This research proposes the information architecture of a textual formal language to represent and reason about ontological entities based on foundational ontologies. Through metamodeling, the language is able to deal with heterogeneous ontologies that can be described as instances of one or more foundational ontology. The language provides classic and modal inference mechanisms supported by proof notions based on the (Modal) Logic Programming paradigm. The modalities introduced by the modal framework allow a wide range of interpretations, including multi-agent systems. A systematization of the endurant fragment of the Unified Foundational Ontology (UFO) is produced in order to compose part of the theoretical framework underlying the proposal, and to serve as an example instantiating the developed framework. As complementary results we highlight: a systematization of an extended set of rules for conceptual modeling and a detailed glossary of terms and concepts of UFO-A; functional prototypes implementing the developed systems; translations of the theories described as instances of the framework to diagramatic representations, as extensions of the OntoUML visual language; and discussions regarding the integration of Information Architecture, Conceptual Modeling and Logic Programming within Applied Social Science.