No presente trabalho utilizo as abordagens de genética quantitativa e integração morfológica para compreender a evolução do crânio em morcegos da Família Phyllostomidae. Esses morcegos exibem uma diversidade de especializações alimentares que não encontra precedentes dentre os demais mamíferos, havendo atualmente formas envolvidas na insetivoria, hematofagia, nectarivoria, carnivoria, omnivoria e frugivoria. Neste trabalho comparo as matrizes de correlação e covariância fenotípicas que quantificam a associação entre caracteres que descrevem o crânio entre espécies de filostomídeos, com o objetivo de investigar se há similaridade estrutural entre elas. Além disso, exploro possíveis fatores que podem afetar a sua estabilidade, como a história evolutiva (filogenia), dieta e as associações funcionais e de desenvolvimento entre os caracteres cranianos. Por fim, investigo a presença de módulos nos crânios dos filostomídeos e avalio as consequências evolutivas dos padrões e das magnitudes de integração na evolução desse grupo. A base de dados compreende 35 medidas cranianas de 2665 indivíduos, abrangendo todas a subfamílias, e representando ao todo 48 espécies e 45 gêneros. Os resultados indicam que após um período de diversificação evolutiva de aproximadamente 33.9 milhões de anos, a estrutura fenótipica de variância/covariância se manteve até certo ponto similar entre as espécies de morcegos filostomídeos. Enquanto os padrões estruturais das matrizes de correlação e covariação permaneceram relativamente similares, a magnitude geral de integração se mostrou evolutivamente mais plástica entre as espécies. Os caracteres cranianos que mais divergiram entre as matrizes estão relacionados às regiões do crânio que expressam grande variação morfológica qualitativa e estão diretamente relacionadas aos hábitos alimentares das espécies. A independência entre a distância filogenética e a similaridade estrutural das matrizes de variância/covariância indica que as mudanças e as manutenções dos padrões de covariância são, até certo ponto, dissociados da história evolutiva do grupo. Por outro lado, mudanças nas estruturas de correlação e covariância fenotípicas estão associadas à dieta do grupo. Embora dieta e filogenia estejam relacionadas, estes fatores diferem quanto a sua associação (e potencial causalidade) com a evolução tanto do fenótipo médio quanto da estrutura de correlação entre os caracteres do crânio. A dieta mostrou um ajuste melhor do que a filogenia para as matrizes de correlação, e para as matrizes de distância morfológica. Além disso, os resultados demonstram que os filostomídeos compartilham padrão de modularidade craniana relacionado à função e desenvolvimento, e os resultados corroboram a organização modular encontrada em outras linhagens de mamíferos. Em geral, as subregiões oral, nasal e a abóbada craniana aparecem como módulos dominantes nos crânios destes morcegos, e um olhar para aspectos funcionais e de história evolutiva ajudam a compreender os padrões de integração morfológica desse grupo tão diverso e intrigante. Nem todas as espécies de filostomídeos estudadas aqui apresentaram variação associada ao tamanho no primeiro componente principal da matriz de covariância. Mesmo não sendo tamanho, esse componente ainda assim age como uma restrição à evolução. Esse resultado é evidente nos valores de correlação altos e significativos entre os índices de magnitude geral de integração e o primeiro componente principal, e das correlações entre o primeiro CP e os índices de flexibilidade e restrição. Espécies que apresentaram alta magnitude geral de integração entre os caracteres do crânio possuem menor capacidade de evoluir na direção da seleção, sendo portanto mais restritas evolutivamente. Espécies de filostomídeos que apresentam asssociações mais baixas nos caracteres cranianos apresentam maior flexibilidade evolutiva, ou seja, maior capacidade em responder na direção em que a seleção está atuando / Here I use a quantitative genetics and morphological integration approaches to understand the evolution of bat skulls of the Phyllostomidae family. These bats display an unprecedented diversity in terms of dietary specialization that is unique in mammals, with insectivorous, hematophagous, nectarivorous, carnivorous, omnivorous and frugivorous species. In this thesis, I compare the covariance and correlation phenotypic matrices, which are a quantification of the relationship among skull traits, in order to investigate whether there is structural similarity between them. Furthermore, I explore possible factors that may affect its stability, such as evolutionary history (phylogeny), dietary habits and functional and developmental associations between cranial traits. Finally, I investigate the presence of modules in the skulls of phyllostomids and assess the evolutionary consequences of the patterns and magnitudes of morphological integration in the evolution of this group. The database comprises 35 cranial measurements of 2665 specimens, including all the subfamilies, representing 45 genera and 48 species. The results indicate that after an approximately 33.9 million years period of evolutionary diversification, the phenotypic variance/covariance structure remained, to some extent, similar among species of phyllostomid bats. While the patterns of covariance and correlation matrices remained relatively similar, the overall magnitude of integration presented considerable variation between species. The cranial traits that diverged the most between the matrices are related to the regions of the skull that display great qualitative morphological variation and are directly related to the dietary habits of the species. The independence between the phylogenetic distance and the structural similarity of variance/covariance matrices indicates that changes and stasis in covariance patterns are, to some extent, decoupled from the evolutionary history of the group. On the other hand, changes in the phenotypic correlation and covariance structure are associated with the dietary habits of the group. While diet and phylogeny are related, these factors differ regarding their association (and potential causality) with evolution, both concerning the average phenotype divergence, as well as the correlation structure between cranial traits. The diet showed a better adjustment than the phylogeny for correlation matrices, as well as for the morphological distance matrices. Furthermore, the results demonstrate that the phyllostomids share the same patterns of cranial modularity for functional and developmental hypothesis, and confirm the modular structure found in other lineages of mammals. Generally speaking, the oral, nasal and cranial vault subregions appear as dominant modules in the skulls of these bats, and focusing on functional and evolutionary history aspects help to better understand the patterns of morphological integration of this group that is so diverse and intriguing. Not all species of bats that were included in this study showed size variation in the first principal component of the covariance matrix. Even if this first principal component is not size related, this component still acts as an evolutionary constrain. This result is evident in the high and significant correlation values between the overall integration indexes and the first principal component, and regarding the correlation between the first PC and the flexibility and constraint indexes. Species with high overall magnitude of integration between the skull traits have less ability to evolve in the direction of the selection and, therefore, are more evolutionary constrained. Species of bats that exhibit lower associations of cranial traits show greater evolutionary flexibility, i.e., greater capacity to respond in the direction in which selection is acting

Made available in DSpace on 2014-06-12T15:55:28Z (GMT). No. of bitstreams: 2 arquivo2238_1.pdf: 2132040 bytes, checksum: 7403ada2f7f20b6592ef20ce13dad893 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Programação Orientada a Aspectos (POA) é um mecanismo de programação proposto para modularizar os requisitos transversais, visando um aumento na modularidade de software. Entretanto, recentemente alguns autores tem alegado que o uso de POA quebra a modularidade das classes. Isso acontece pois, sem o uso de interfaces apropriadas entre classes e aspectos, diversas propriedades de um design modular, como compreensibilidade, manutenabilidade e desenvolvimento em paralelo, são comprometidas na presença de aspectos. Diversas interfaces especializadas (design rules) para desacoplar classes e aspectos foram propostas visando atenuar esse problema, como XPIs e LSD. Entretanto, tais interfaces são específicas para a linguagem AspectJ, que possui problemas de reúso e modularidade de aspectos. CaesarJ, por outro lado, é uma linguagem de programação orientada a aspectos com forte suporte para reúso e modularidade de aspectos. Essa linguagem combina as construções OA pointcut e advice com avan¸cados mecanismos de modularização OO. Nesse trabalho nós exploramos algumas construções de CaesarJ com o intuito de verificar se elas podem ser utilizadas para definir Design Rules que permitam um desenvolvimento modular de código OO e OA. Além disso, nós propomos CaesarJ+, uma extensão de CaesarJ que foca no aumento de modularidade. Essa extensão introduz construções que permitem impor restrições estruturais sobre os códigos OO e OA. Um compilador para CaesarJ+, que verifica se as restrições especificadas nas Design Rules estão sendo seguidas, e transforma o código CaesarJ+ em código CaesarJ também foi desenvolvido nesse trabalho. Para avaliar CaesarJ+, nós comparamos as implementações de três estudos de caso em CaesarJ+ e CaesarJ. Nossos resultados revelam que o uso de CaesarJ+ proporciona ganho de expressividade.

[pt] Este trabalho especifica um Sistema de Simulação Radar desenvolvido na linguagem de programação C, tendo como aplicação a área militar. Visa a análise, simulação, monitoração e avaliação de sinais na interação de Sistemas Radar e Sistemas de Contra Medidas Eletrônicas (CME). A flexibilidade e a modularidade do Sistema de Simulação Radar proposto objetivam a descrição realista do comportamento de diversos radares modernos. A escolha correta da forma de onda e a definição do modelo de radar mais adequado a uma determinada aplicação são considerados fatores essenciais para a utilização eficaz do Sistema de Simulação proposto. Como abordagem preliminar à implementação do Sistema de Simulação, o presente trabalho apresenta um estudo das formas de onda de radar e de alguns radares modernos de maior interesse. / [en] A Radar Simulation System hás been developed on the C programming Language. Its application is addressed to the military fiels and deals with the analysys, simulation, monitoring, and evaluation of signals in the interaction of Radar and eletronic Counter Measure Systems (ECM). The flexibilitu and modularity of the proposed Radar Simulation System is aimed at the realistic description of the behavior of many modern radars. The choice of the radar waveform and the definition of the appropriated radar model to a specific application are considered essential factors to an effective utilization of the proposed Radar Simulation System. Radar waveforms and modern radars considered of great interest have been presented as an introductory approach to the implementation of the Radar Simulation System.

Orientador: Rogério Eduardo Garcia / Banca: Ives Pola / Banca: Reginaldo Ré / Resumo: Promover a evolução de software sem provocar qualquer degradação em sua arquitetura e projeto é um desafio para a Engenharia de Software. A divisão de código em módulos é um dos mecanismos utilizados por metodologias convencionais para tentar minimizar o grau de acopla- mento entre elementos de software e facilitar a evolução. A modularização dos interesses que compõem o sistema melhora a compreensão de código e reduz a complexidade das atividades de manutenção. Apesar dos esforços para prover a modularização de interesses em sistemas de software, alguns não são facilmente encapsulados e têm sua implementação espalhada por diversos módulos. Isso gera dependências lógicas entre um grande número de elementos de software. Tais interesses são chamados de interesses transversais. Técnicas para a identificação de interesses transversais apresentam baixa precisão nos resultados obtidos, principalmente de- vido a não conformidade dos objetivos de identificação às características da técnica escolhida. Este trabalho propõe um conjunto de diretrizes para apoiar a escolha de técnicas de identifica- ção de interesses transversais. O conjunto de diretrizes colabora para a adequação das técnicas ao seu propósito e, por consequência, para a obtenção de resultados mais significantes / Abstract: Promoting software evolution without causing any degradation in its architecture and design is a challenge for software engineering. The implementation of code into modules is one of the mechanisms used by conventional programming methodologies to try to minimize the degree of coupling between elements of software and facilitate a development and evolution. The modularization of concerns that make up the system improves the source code comprehension and reduces the complexity of maintenance activities. Despite efforts to provide the modularization of concerns in software systems, some are not easily encapsulated and have their implementation spread across several modules. This generates logical dependencies between a large number of software elements. Such concerns are called crosscutting concerns. Techniques for the identification of crosscutting concerns show low precision in the obtained results, mainly due to the nonconformity of the identification objectives to the characteristics of the chosen technique. This work proposes a set of guidelines to support the choice of techniques for identifying crosscutting concerns. The set of guidelines helps to adequate the techniques to their purpose and, consequently, to obtain meaningful results / Mestre

Sistemas morfológicos quantitativos são descritos por medidas contínuas. A relação genética entre essas características dos indivíduos é representada pela matriz de covariância genética aditiva, a matriz G. Entender a evolução da matriz G, portanto, é de suma importância para compreender os padrões de diversificação encontrados na natureza. Neste trabalho estudamos modelos computacionais para a evolução de traços contínuos em populações naturais, sujeitas a variados tipos de seleção e condições internas, focando no problema da evolução dos padrões de integração e modularidade nessas populações. Testamos dois modelos com diferentes combinações de parâmetros em sua capacidade de reproduzir e elucidar padrões naturais. Seleção direcional correlacionada se mostrou uma força importante na criação desses padrões de covariação e a seleção estabilizadora correlacionada se mostrou fundamental para a manutenção desses padrões / Quantitative morphological systems are described by continuous measurements. The genetic relation between these characteristics of the individuals is represented by the genetic additive co-variance matrix, the G matrix. Understanding the evolution of the G matrix is, therefore, of paramount importance for proper interpretation of the patterns of diversification we observe in nature. In this work we study computational models for the evolution of quantitative traits in natural populations, subject to different natural selection and internal conditions, focusing on the problem of the evolution of the pattern of morphological integration and modularity. We test two models with different sets of parameters in their ability to reproduce and elucidate natural patterns. Directional correlated selection was necessary for the shaping of the patterns of morphological integration, and correlated stabilizing selection was fundamental to the maintenance of these patterns

O problema de agrupamento de dados em grafos consiste em encontrar clusters de nós em um dado grafo, ou seja, encontrar subgrafos com alta conectividade. Esse problema pode receber outras nomenclaturas, algumas delas são: problema de particionamento de grafos e problema de detecção de comunidades. Para modelar esse problema, existem diversas formulações matemáticas, cada qual com suas vantagens e desvantagens. A maioria dessas formulações tem como desvantagem a necessidade da definição prévia do número de grupos que se deseja obter. Entretanto, esse tipo de informação não está contida em dados para agrupamento, ou seja, em dados não rotulados. Esse foi um dos motivos da popularização nas últimas décadas da medida conhecida como modularidade, que tem sido maximizada para encontrar partições em grafos. Essa formulação, além de não exigir a definição prévia do número de clusters, se destaca pela qualidade das partições que ela fornece. Nesta Tese, metaheurísticas Greedy Randomized Search Procedures para dois modelos existentes para agrupamento em grafos foram propostas: uma para o problema de maximização da modularidade e a outra para o problema de maximização da similaridade intra-cluster. Os resultados obtidos por essas metaheurísticas foram melhores quando comparadas àqueles de outras heurísticas encontradas na literatura. Entretanto, o custo computacional foi alto, principalmente o da metaheurística para o modelo de maximização da modularidade. Com o passar dos anos, estudos revelaram que a formulação que maximiza a modularidade das partições possui algumas limitações. A fim de promover uma alternativa à altura do modelo de maximização da modularidade, esta Tese propõe novas formulações matemáticas de agrupamento em grafos com e sem pesos que visam encontrar partições cujos clusters apresentem alta conectividade. Além disso, as formulações propostas são capazes de prover partições sem a necessidade de definição prévia do número de clusters. Testes com centenas de grafos com pesos comprovaram a eficiência dos modelos propostos. Comparando as partições provenientes de todos os modelos estudados nesta Tese, foram observados melhores resultados em uma das novas formulações propostas, que encontrou partições bastante satisfatórias, superiores às outras existentes, até mesmo para a de maximização de modularidade. Os resultados apresentaram alta correlação com a classificação real dos dados simulados e reais, sendo esses últimos, em sua maioria, de origem biológica / Graph clustering aims at identifying highly connected groups or clusters of nodes of a graph. This problem can assume others nomenclatures, such as: graph partitioning problem and community detection problem. There are many mathematical formulations to model this problem, each one with advantages and disadvantages. Most of these formulations have the disadvantage of requiring the definition of the number of clusters in the final partition. Nevertheless, this type of information is not found in graphs for clustering, i.e., whose data are unlabeled. This is one of the reasons for the popularization in the last decades of the measure known as modularity, which is being maximized to find graph partitions. This formulation does not require the definition of the number of clusters of the partitions to be produced, and produces high quality partitions. In this Thesis, Greedy Randomized Search Procedures metaheuristics for two existing graph clustering mathematical formulations are proposed: one for the maximization of the partition modularity and the other for the maximization of the intra-cluster similarity. The results obtained by these proposed metaheuristics outperformed the results from other heuristics found in the literature. However, their computational cost was high, mainly for the metaheuristic for the maximization of modularity model. Along the years, researches revealed that the formulation that maximizes the modularity of the partitions has some limitations. In order to promote a good alternative for the maximization of the partition modularity model, this Thesis proposed new mathematical formulations for graph clustering for weighted and unweighted graphs, aiming at finding partitions with high connectivity clusters. Furthermore, the proposed formulations are able to provide partitions without a previous definition of the true number of clusters. Computational tests with hundreds of weighted graphs confirmed the efficiency of the proposed models. Comparing the partitions from all studied formulations in this Thesis, it was possible to observe that the proposed formulations presented better results, even better than the maximization of partition modularity. These results are characterized by satisfactory partitions with high correlation with the true classification for the simulated and real data (mostly biological)

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / The theory-ladenness of perception thesis claims that the perception of different subjects might differ depending on prior knowledge, concepts and theories they hold. Oftentimes this thesis is associated with relativistic views, and therefore rejected. One of the strategies introduced to avoid the theory-ladenness of perception consists in affirming a strong version of the modularity of mind thesis, put forth by Fodor (1983). According to this thesis, some of the processing stages of perception would be performed by informationally encapsuled modules. This dissertation contains two independent papers, the first of which questions the empirical and theoretical plausibility of informational encapsulation of the perceptual modules. The second paper puts forth arguments for an enactivist view of the mind, in which the thesis of the theory-ladenness of perception is not thought to be problematic, but an essential element. This latter paper draws mainly on Noë (2004, 2009, 2012), and defends a version of the thesis of the theory-ladenness of perception grounded in the practice and the abilities of perceiving organisms in the physical environments in which they find themselves and with which they interact. / A tese da impregnação teórica da percepção afirma que a percepção de sujeitos diferentes pode diferir em função dos conhecimentos, conceitos e teorias prévias de que dispõem. Frequentemente, essa tese é associada a posições relativistas e, por isso, rejeitada. Uma das estratégias apresentadas para evitar a impregnação teórica da percepção consiste em afirmar uma versão forte da tese da modularidade da mente, proposta por Fodor (1983). De acordo com essa tese, alguns estágios do processamento perceptual seriam realizados em módulos informacionalmente encapsulados. Esta dissertação compreende dois artigos independentes, o primeiro dos quais questiona a plausibilidade empírica e teórica do encapsulamento informacional dos módulos perceptuais. O segundo artigo apresenta argumentos favoráveis a uma concepção enativista da mente, na qual a tese da impregnação teórica não é tida como problemática, mas como um componente essencial. Esse segundo artigo baseia-se principalmente nos trabalhos de Noë (2004, 2009, 2012), e defendemos uma versão da tese da impregnação teórica da percepção que tem como fundamento a prática e as habilidades dos organismos nos ambientes físicos nos quais se encontram e com os quais interagem.

Submitted by CÉSAR COUTINHO RAMOS null (cesar.ramos@volkswagen.com.br) on 2016-05-17T16:05:53Z No. of bitstreams: 1 CesarCoutinhRamos-MestradoProfissionalizante.pdf: 2191241 bytes, checksum: 312d1b09db67ad58815b0cf71365dc9e (MD5) / Approved for entry into archive by Ana Paula Grisoto (grisotoana@reitoria.unesp.br) on 2016-05-19T19:18:04Z (GMT) No. of bitstreams: 1 ramos_cc_me_guara.pdf: 2191241 bytes, checksum: 312d1b09db67ad58815b0cf71365dc9e (MD5) / Made available in DSpace on 2016-05-19T19:18:04Z (GMT). No. of bitstreams: 1 ramos_cc_me_guara.pdf: 2191241 bytes, checksum: 312d1b09db67ad58815b0cf71365dc9e (MD5) Previous issue date: 2016-03-19 / Este trabalho compara qualitativamente sete métodos de modularização, com o objetivo de escolher e aplicar aqueles que melhor se adaptam ao projeto piloto de modularização de uma suspensão traseira a ar para caminhões e ônibus. Dentre os métodos estudados, os métodos MFD (Modular Function Deployment) e DSM (Design Structure Matrix) foram escolhidos, basicamente em função de possuírem: aplicação prática, repetibilidade dos resultados, softwares disponíveis e facilidade de organização dos dados. O método DSM serviu de base para gerar os primeiros possíveis módulos e simplificar o problema dos inicias 44 componentes para 26, simplesmente com uma visão funcional e técnica. O MFD foi utilizado principalmente para estruturar o processo de modularização e atender aos requisitos dos clientes e estratégias do negócio. Os resultados apresentados pelos dois métodos foram analisados de forma detalhada e indicaram a formação de sete módulos, que foram obtidos tanto diretamente dos métodos DSM e MFD, quanto da combinação de ambos. Ficou evidente, através dos resultados alcançados, que a utilização conjunta desses dois métodos, juntamente com a análise criteriosa dos resultados no desenvolvimento do produto aumentou consideravelmente a eficiência do processo de modularização. / This work presents and compares qualitatively seven modularization methods, in order to choose and apply those that best suits for a rear air suspension modularization pilot project for trucks and buses. Among the methods studied, the MFD (Modular Function Deployment) and DSM (Design Structure Matrix) methods were mainly chosen on the basis that they present: practical application, repeatability, software availability and ease data organization. The DSM method was the basis to generate the first possible modules and simplify the problem from the initial 44 to 26 components, only with a functional and technical approach. The MFD was mainly used to structure the modularization process and meet the customer requirements and business strategies. The results shown by the two methods were analyzed in detail and resulted in the generation of seven modules, which were obtained either directly from DSM and MFD methods, or from the combination of both. It became evident, by the results achieved, that the combined use of these two methods, along with a careful analysis of the results on product development, greatly increased the modularization process efficiency.

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-11-01T21:17:49Z No. of bitstreams: 1 FabioFernandesPenha_DISSERT.pdf: 4488288 bytes, checksum: ce0cffc3a8dfa247b84cbd463115a11f (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-11-07T21:46:59Z (GMT) No. of bitstreams: 1 FabioFernandesPenha_DISSERT.pdf: 4488288 bytes, checksum: ce0cffc3a8dfa247b84cbd463115a11f (MD5) / Made available in DSpace on 2017-11-07T21:46:59Z (GMT). No. of bitstreams: 1 FabioFernandesPenha_DISSERT.pdf: 4488288 bytes, checksum: ce0cffc3a8dfa247b84cbd463115a11f (MD5) Previous issue date: 2017-07-28 / A sociedade moderna, progressivamente, proporciona ambientes sociot?cnicos com sistemas complexos. Esses sistemas s?o complexos por conta do grande n?mero de partes que interagem de modo n?o simples, dada as propriedades dessas partes e das leis que regem essas intera??es. Al?m dessa circunst?ncia, trabalhos da Engenharia de Software refor?am que o universo das informa??es necess?rias para realizar uma modelagem ? mais amplo, e envolve mais dimens?es das j? consolidadas: est?tica e din?mica. Assim, surge o framework iStar com uma ontologia delineada para capturar e representar informa??es intencionais e sociais do ambiente analisado em dois modelos gr?ficos: Depend?ncia Estrat?gica (SD - Strategic Dependency ) e Racioc?nio Estrat?gico (SR - Strategic Rationale ). Entretanto, esse mesmo framework n?o oferece alternativas para melhorar a compreens?o dos seus modelos gr?ficos, quando esses representam um grande n?mero de partes desses ambientes, ou seja, sistemas complexos. Diante disso, o objetivo desta disserta??o foi oferecer uma alternativa ao framework iStar para lidar com a complexidade proporcionada pelos sistemas complexos, desta forma, influenciar positivamente a compreens?o e o aprendizado dos modelos iStar. Com esse fim, foi desenvolvida uma nota??o textual para compreender as informa??es sociais atrav?s de uma estrutura interdependente. Na avalia- ??o desenvolvida, observou-se a relev?ncia dessa nota??o textual para os modelos gr?ficos da seguinte forma: (i) uma alternativa complementar para leitura dos modelos gr?ficos, como tamb?m, (ii) a import?ncia da constru??o desses modelos a partir de composi??es de estruturas interdependentes. / A modern society, progressively, provides increasingly sociotechnical environments through of complex systems. This complexity is to due to the large number of parties interacting in a non-simple way, given the properties of these parts and the laws governing these interactions. In addition to this circumstance, the Software Engineering reinforces that the universe of information needed to perform a broader modeling, and involves more dimensions of already consolidated: static and dynamic. Thus, the iStar framework emerges with an ontology capable of capturing and represent intentional and social information of the environment analyzed in two graphic models: Strategic Dependency (SD) and Strategic Reasoning (SR). However, this same framework does not offer alternatives to improve the understanding of its graphic models, when these represent a large number of parts of these environments. Therefore, the objective of this dissertation was to offer an alternative to the iStar framework to deal with the complexity provided by the complex systems, in order to positively influence the understanding and learning of the iStar models. To this end, a textual notation has been developed to understand social information through an interdependent structure. In the developed evaluation, it was observed the relevance of this textual notation for the graphic models as follows: (i) a complementary alternative for reading of the graphic models, as well as (ii) the importance of building these models from interdependent structures.

O problema de agrupamento de dados em grafos consiste em encontrar clusters de nós em um dado grafo, ou seja, encontrar subgrafos com alta conectividade. Esse problema pode receber outras nomenclaturas, algumas delas são: problema de particionamento de grafos e problema de detecção de comunidades. Para modelar esse problema, existem diversas formulações matemáticas, cada qual com suas vantagens e desvantagens. A maioria dessas formulações tem como desvantagem a necessidade da definição prévia do número de grupos que se deseja obter. Entretanto, esse tipo de informação não está contida em dados para agrupamento, ou seja, em dados não rotulados. Esse foi um dos motivos da popularização nas últimas décadas da medida conhecida como modularidade, que tem sido maximizada para encontrar partições em grafos. Essa formulação, além de não exigir a definição prévia do número de clusters, se destaca pela qualidade das partições que ela fornece. Nesta Tese, metaheurísticas Greedy Randomized Search Procedures para dois modelos existentes para agrupamento em grafos foram propostas: uma para o problema de maximização da modularidade e a outra para o problema de maximização da similaridade intra-cluster. Os resultados obtidos por essas metaheurísticas foram melhores quando comparadas àqueles de outras heurísticas encontradas na literatura. Entretanto, o custo computacional foi alto, principalmente o da metaheurística para o modelo de maximização da modularidade. Com o passar dos anos, estudos revelaram que a formulação que maximiza a modularidade das partições possui algumas limitações. A fim de promover uma alternativa à altura do modelo de maximização da modularidade, esta Tese propõe novas formulações matemáticas de agrupamento em grafos com e sem pesos que visam encontrar partições cujos clusters apresentem alta conectividade. Além disso, as formulações propostas são capazes de prover partições sem a necessidade de definição prévia do número de clusters. Testes com centenas de grafos com pesos comprovaram a eficiência dos modelos propostos. Comparando as partições provenientes de todos os modelos estudados nesta Tese, foram observados melhores resultados em uma das novas formulações propostas, que encontrou partições bastante satisfatórias, superiores às outras existentes, até mesmo para a de maximização de modularidade. Os resultados apresentaram alta correlação com a classificação real dos dados simulados e reais, sendo esses últimos, em sua maioria, de origem biológica / Graph clustering aims at identifying highly connected groups or clusters of nodes of a graph. This problem can assume others nomenclatures, such as: graph partitioning problem and community detection problem. There are many mathematical formulations to model this problem, each one with advantages and disadvantages. Most of these formulations have the disadvantage of requiring the definition of the number of clusters in the final partition. Nevertheless, this type of information is not found in graphs for clustering, i.e., whose data are unlabeled. This is one of the reasons for the popularization in the last decades of the measure known as modularity, which is being maximized to find graph partitions. This formulation does not require the definition of the number of clusters of the partitions to be produced, and produces high quality partitions. In this Thesis, Greedy Randomized Search Procedures metaheuristics for two existing graph clustering mathematical formulations are proposed: one for the maximization of the partition modularity and the other for the maximization of the intra-cluster similarity. The results obtained by these proposed metaheuristics outperformed the results from other heuristics found in the literature. However, their computational cost was high, mainly for the metaheuristic for the maximization of modularity model. Along the years, researches revealed that the formulation that maximizes the modularity of the partitions has some limitations. In order to promote a good alternative for the maximization of the partition modularity model, this Thesis proposed new mathematical formulations for graph clustering for weighted and unweighted graphs, aiming at finding partitions with high connectivity clusters. Furthermore, the proposed formulations are able to provide partitions without a previous definition of the true number of clusters. Computational tests with hundreds of weighted graphs confirmed the efficiency of the proposed models. Comparing the partitions from all studied formulations in this Thesis, it was possible to observe that the proposed formulations presented better results, even better than the maximization of partition modularity. These results are characterized by satisfactory partitions with high correlation with the true classification for the simulated and real data (mostly biological)