O gênero de formigas Octostruma Forel 1912 (Formicidae: Myrmicinae) está restrito à região Neotropical; suas espécies ocorrem do México até a Argentina, são predadoras de pequenos artrópodes e podem nidificar no solo, serapilheira e em epífitas. No presente trabalho, a taxonomia do gênero é revista com base no exame de cerca de 4.000 exemplares. Reconheço 43 espécies de Octostruma, 34 espécies previamente conhecidas são consideradas válidas e redescritas e, portanto, nove são reconhecidas como novas. Além disso, indivíduos de castas e sexos ainda não registrados (machos, gines e ergatóides) são aqui descritos pela primeira vez para diferentes espécies. Novos registros de localidades expandem a distribuição geográfica conhecida para parte das espécies e informações sobre a biologia das espécies a partir de dados de rótulo e observações de campo, somados às poucas informações encontradas na literatura são compiladas neste trabalho. Uma chave de identificação para as operárias de todas as espécies do gênero é fornecida. / The ant genus Octostruma Forel 1912 (Myrmicinae: Attini) is restricted to the Neotropics; their species occur from Mexico to Argentina, are predators of small arthropods and may nest in the soil, leaf litter and epiphytes. In the present work, the taxonomy of the genus is reviewed based in the examination of about 4.000 specimens. Recognize 43 Octostruma species, 34 species previously known are considered valid and redescribed and nine are recognized as new. Moreover, castes and sex of individuals not yet recorded (males, gynes and ergatoids) are described here for the first time for different species. New records expand the distribution known for most species and information about the biology of the species from label data and field observations, added to the little information in the literature are compiled in this work. A key to the worker of all species of the genus is provided.

A construção de software é um empreendimento de alto risco. Encontra na literatura que, no ano de 2009, 68% dos projetos de TI apresentaram falhas em prazo, custo ou qualidade. O Tribunal de Contas da União ressalta que a metodologia de desenvolvimento deve ser executada pelas organizações governamentais de forma sistemática e documentada, para permitir a avaliação e a melhoria do processo, com vistas à produção de software de qualidade. Neste contexto de metodologias para minimizar falhas, identificou-se em guias de boas práticas de gestão de projetos, livros e normas que tudo começa a partir da definição do escopo, sem o qual não é possível continuar o trabalho de gestão. Sendo assim, a deficiência da definição do escopo de um projeto aponta para um Modelo de Inspeção baseado em Checklist, com a finalidade de garantir que as principais informações geradas pelo grupo de processos de planejamento da gestão de escopo de projetos de sistema de TI, sejam observadas de forma adequada e estejam refletidas nos documentos produzidos por organizações públicas, mais especificamente do âmbito do Comando da Aeronáutica (COMAER). Para tanto, o trabalho é dividido em quatro partes: (1) identificar as informações relevantes para criar uma lista de verificação, a fim de auxiliar uma organização do Comando da Aeronáutica na execução do grupo de processos de planejamento da gestão de escopo, bem como, definir um método de inspeção baseado em uma técnica de leitura para ser utilizado na aplicação prática do modelo proposto; (2) apresentar a concepção do modelo da lista de verificação, a contextualização da mesma segundo o PMBOK e uma implementação do processo de inspeção para a aplicação prática do modelo proposto; (3) aplicar o modelo proposto através de dois exemplos de desenvolvimento de software, interno e terceirizado, por organizações militares da FAB; (4) avaliar o modelo proposto comparando os resultados obtidos com os problemas identificados pelos integrantes dos projetos nos exemplos estudados, realizando uma discussão acerca das conclusões obtidas. A tese conclui que o modelo desenvolvido: pode (1) minimizar os problemas identificados nos exemplos estudados; é (2) mais completo do que o PMBOK porque é necessário pesquisar informações em outras fontes de consulta para complementar as informações contidas neste guia de conhecimento; pode (3) prevenir os impactos de problemas legais desde as fases iniciais do projeto.

A análise de alternativas, durante a exploração de conceitos, deve dar suporte à transformação de uma necessidade em uma concepção balanceada, ser capaz de compatibilizar as divergências presentes no conjunto de requisitos físicos e funcionais e avaliar os cenários operacionais em termos de inúmeros atributos. Porém, a análise de alternativas no estágio inicial do desenvolvimento de sistemas complexos é pouco estruturada e marcada por análises não detalhadas suficientemente para a avaliação das necessidades inicialmente estabelecidas. Esta tese propõe um método para o balanceamento da percepção do valor dado pelos stakeholders aos atributos de uma arquitetura durante a exploração de conceitos no início do desenvolvimento de um sistema complexo. Sendo assim, este trabalho propõe uma mudança de paradigma, mais próxima da realidade: o balanceamento da arquitetura por meio do valor dado pelos stakeholders aos atributos da arquitetura ao invés da análise direta do mérito desses. A tese está estruturada de forma a levar ao entendimento dos aspectos que norteiam a análise de alternativas dentro do desenvolvimento de um sistema espacial, cujo conteúdo refere-se ao ciclo de vida de sistemas espaciais, a análise de alternativas aplicada à fase de exploração de conceitos, envolvendo os conceitos de criação de valor. A Tese apresenta, também, uma proposição e sistematização do processo de análise de alternativas por meio do estabelecimento de um método, apoiado em ferramentas, para a avaliação do valor percebido pelos stakeholders aos atributos de um sistema de sistemas. A aplicação do método por meio de estudos de caso faz parte, também, do escopo deste trabalho. Por fim, é apresentada uma discussão sobre os resultados alcançados e as conclusões finais.

Neste trabalho apresentamos uma implementação de revisão de crenças baseada em comparação de modelos (estados) em uma ferramenta de verificação automática de sistemas de estados finitos. Dada uma fórmula (na lógica CTL) inconsistente com o modelo do sistema, revisamos esse modelo de tal maneira que essa fórmula temporal se torne verdadeira. Como temos oito operadores temporais (AG, AF, AX, AU, EG, EF, EX e EU), foram criados algoritmos especícos para cada um deles. Como o modelo do sistema deriva do seu código na linguagem SMV, a sua revisão passa obrigatoriamente por mudanças na sua descrição. A nossa implementação contempla três tipos de mudanças: acréscimo de linhas, eliminação de linhas e mudança no estado inicial, sendo que as duas primeiras provocam modicações nas transições entre os estados que compõe o modelo. Alguns testes foram aplicados para comprovar a contribuição da revisão de crenças (revisão de modelos) como ferramenta de auxílio ao usuário durante o processo de modelagem de sistemas. / In this work we present an implementation of belief revision based on comparison of models (states) in a tool for automatic verication of nite state systems. Given a formula (in the language of CTL) inconsistent with the model of the system, we revise this model in such way that the temporal formula becomes valid. As we have eight temporal operators (AG, AF, AX, AU, EG, EF, EX and EU), specic algorithms for each one of them have been created. As the model of the system is related with its code in SMV language, its revision forces changes in its description. Our implementation contemplates three types of change: addition of lines, elimination of lines and change in the initial state, where the rst two cause modications in the transitions between the states of the model. Some tests were applied to prove the contribution of the belief revision (model revision) as aid-tool to the user during the process of systems modeling.

Mais de 50% das amputações não-traumáticas em membros inferiores são atribuídas ao diabetes. Anualmente, 2 a 3% dos pacientes desenvolvem úlceras nos pés e este risco aumenta para 15% no transcurso de sua vida. Freqüentemente, úlceras nos membros inferiores precedem as amputações. Entre os casos graves hospitalizados, 85% foram causados por úlceras superficiais acompanhadas de diminuição da sensibilidade, decorrente de neuropatia diabética. O objetivo do estudo foi elaborar uma proposta assistencial sistematizada para pessoas com diabetes tipo 2, a partir de uma revisão sistemática, visando a prevenir o risco de lesão/ulceração nos pés e avaliar a efetividade dessa proposta em unidades da rede básica. Estudos primários e diretrizes clínicas foram identificados em bases eletrônicas, sites específicos e referências. Para análise dos estudos e diretrizes, utilizaram-se critérios estabelecidos. Na aplicação da proposta de assistência, 101 pessoas com diabetes tipo 2 foram recrutadas para participar do ensaio prospectivo de 12 meses; 49 pessoas participaram de sensibilização e educação intensiva durante seis semanas e, após este período, compareceram a consultas mensais de enfermagem para reforços e cuidados com os pés; outras 52 receberam cuidado convencional e participaram de orientações grupais semestrais. A avaliação semestral dos resultados primários incluiu o conhecimento sobre diabetes e cuidados com os pés e calçados, condições dermatológicas dos pés e uso de calçado apropriado. Os resultados apresentaram a identificação de 3.941 artigos, sendo selecionados apenas 10 estudos primários e nove diretrizes, os quais envolviam a organização do serviço para o cuidado da pessoa com diabetes e intervenções educativas nos pacientes. Os estudos revisados foram inconclusivos, apresentando falhas na qualidade metodológica. As intervenções preventivas se concentraram na realização de screening para identificar alterações estruturais nos pés, comprometimento da sensibilidade protetora plantar, ressaltando antecedente de úlcera, controle glicêmico e aconselhamento sobre a propriedade dos calçados. No ensaio clínico, 20 pessoas abandonaram o estudo. Os grupos foram semelhantes em idade, sexo, escolaridade, tempo de doença, co-morbidades e antecedentes de lesões nos pés. Ao final do primeiro semestre, houve melhora significativa apenas nas variáveis de conhecimento sobre diabetes (p=0,005) e comportamentos de cuidados com os pés (p<0,000). Ao término do ensaio, houve melhora nas condições dermatológicas dos pés (p<0,000) e na utilização de calçado apropriado (p=0,005), sendo mantido o conhecimento atingido previamente (p<0,000). Este trabalho mostrou a importância do monitoramento dos fatores de risco nos pés para lesão/ulceração, destacando o processo educativo entre profissionais e pacientes como medida fundamental de prevenção. Além disso, este estudo proporcionou subsídios para uma proposta efetiva de assistência sistematizada na prevenção de lesões/ulcerações nos pés, com desenvolvimento de consultas mensais e cuidados básicos com os pés entre pessoas de baixo risco / Diabetes is considered responsible for more than 50% of non-traumatic lower limb amputations. Every year, about 2-3% of patients develop foot ulcers, and this risk increases to 15% throughout their lives. Lower limb ulcers frequently precede amputations, 85% of serious hospitalizations cases were caused by superficial ulcers, accompanied by decreased sensibility due to diabetic neuropathy. This study aimed to elaborate a systematic care proposal for patients with type 2 diabetes, based on a systematic review, with a view to preventing the risk of developing foot injury/ulceration, as well as to assess the efficacy of this proposal in district basic health units. Electronic databases, specific sites and references were used to identify primary studies and clinical guidelines. Established criteria were used to analyze the studies and guidelines. In the application of the care proposal, 101 diabetes type 2 patients were recruited to participate in the 12-month prospective trial; 49 persons participated in an intensive six-week educational awareness program, after which they attended monthly appointments for reinforcement and foot care; 52 other persons received conventional care and participated in six-monthly group orientations. The six-monthly evaluation of primary results included knowledge on diabetes, foot and footwear care, dermatological foot conditions and use of appropriate footwear. The results showed that 3,941 articles were identified, of which only 10 primary studies and nine guidelines were selected, which involved service organization for diabetes patient care and educational patient interventions. The reviewed studies were inconclusive and presented methodological flaws. Preventive interventions concentrated on screening to identify structural foot alterations, protective sensibility in the sole of the foot at risk, emphasizing history of ulcers; glycemic control and advice on appropriate footwear. In the clinical trial, 20 persons abandoned the study. The groups had similar age, gender, education, co-morbidity and foot injury antecedent characteristics. At the end of the first semester, only the knowledge variables on diabetes (p= .005) and foot care behavior (p< .000) revealed a significant improvement. At the end of the trial, the improvement in these two variables was maintained (p< .000), and accompanied by an improvement in dermatological foot conditions (p< .000) and in the use of appropriate footwear (p= .005). This research demonstrated the importance of monitoring risk factors for foot injuries/ulceration and highlighted the education process between professionals and patients as a fundamental prevention measure. Moreover, this study provided supported for an efficient systematic care proposal in the prevention of foot injuries/ulcerations, including monthly appointments and basic foot care, for low-risk patients.

A crescente utilização de sistemas baseados em computação em praticamente todas as áreas da atividade humana provoca uma crescente demanda por qualidade e produtividade, tanto do ponto de vista do processo de produção como do ponto de vista dos produtos de software gerados. Nessa perspectiva, atividades agregadas sob o nome de Garantia de Qualidade de Software têm sido introduzidas ao longo de todo o processo de desenvolvimento de software. Dentre essas atividades destacam-se as atividades de Teste e Revisão, ambas com o objetivo principal de minimizar a introdução de erros durante o processo de desenvolvimento nos produtos de software gerados. A atividade de Teste constitui um dos elementos para fornecer evidências da confiabilidade do software em complemento a outras atividades, como por exemplo, o uso de revisões e de técnicas formais e rigorosas de especificação e de verificação. A atividade de Revisão, por sua vez, é um 'filtro' eficiente para o processo de engenharia de software, pois favorece a identificação e a eliminação de erros antes do passo seguinte do processo de desenvolvimento. Atualmente, pesquisas estão sendo realizadas com objetivo de determinar qual técnica, Revisão ou Teste, é mais adequada e efetiva, em determinadas circunstâncias, para descobrir determinadas classes de erros; e de forma mais ampla, como as técnicas podem ser aplicadas de forma complementar para melhoria da qualidade de software. Ainda que a atividade de teste seja indispensável no processo de desenvolvimento, investigar o aspecto complementar dessas técnicas é de grande interesse, pois em muitas situações tem-se observado que as revisões são tão ou mais efetivas quanto os testes. Nessa perspectiva, este trabalho tem como objetivo realizar um estudo comparativo, por meio da replicação de experimentos, entre Técnicas de Teste e Técnicas de Revisão no que se refere à detecção de erros em produtos de software (código fonte e documento de especificação de requisitos). Para realizar esse estudo são utilizados critérios de teste das técnicas funcional (particionamento em classes de equivalência e análise do valor limite), estrutural (todos-nós, todos-arcos, todos-usos, todos-potenciais-usos), baseada em erros (análise de mutantes), bem como, técnicas de leitura (stepwise abstraction e perspective based reading) e técnicas de inspeção (ad hoc e checklist). Além de comparar a efetividade e a eficiência das técnicas em detectar erros em produtos de software, este trabalho objetivo ainda utilizar os conhecimentos específicos relacionados a critérios de teste para reavaliar as técnicas utilizadas nos experimentos de Basili & Selby, Kamsties & Lott e Basili. / The increasing use of computer based systems in practically all human activity areas provokes higher demand for quality and productivity, from the point of view of software process as well as from the point of view of software products. In this perspective, activities aggregated under the name of Software Quality Assurance have been introduced throughout the software development process. Amongst these activities, the test and review activities are distinguished, both of them aiming at minimizing the introduction of errors during the development process. The test activity constitutes one of the elements to supply evidences of software reliability as a complement to other activities, for example, the use of review and formal, rigorous techniques for specification and verification. The review activity, in turn, is an efficient 'filter' for the process of software engineering, therefore it favors the identification of errors before the next step of the development process. Currently, researches have been carried out with the objective of determining which technique, review or test, is more appropriate and effective, in certain circumstances, to discover some classes of errors, and mostly, how the techniques can be applied in complement to each other for improvement of software quality. Even if the test activity is indispensable in the development process, investigating the complementary aspect of these techniques is of great interest, for in many situations it has been observed that reviews are as or more effective as test. In this perspective, this work aims at accomplishing a comparative study, through the replication of experiments, between Testing Techniques and Reviews concerning error detection in software products at the source code and requirement specification level. To carry out this study are used testing criteria of the techniques: functional (equivalence partitioning and boundary value analysis); structural (all-nodes, all-edges, all-uses, all-potential-uses); error based (mutation testing), as well as reading techniques (stepwise abstraction and perspective based reading) and inspection techniques (ad hoc e checklist). Besides comparing the effectiveness and efficiency of the techniques in detecting errors in software products, this work also aims at reevaluating and eventually at improving the techniques used in experiment of Basili & Selby, Kamsties & Lott and Basili.

Uma importante etapa do desenvolvimento de software é o de levantamento e análise dos requisitos. Porém, durante esta etapa podem ocorrer inconsistências que prejudicarão o andamento do projeto. Além disso, após finalizada a especificação, o cliente pode querer acrescentar ou modificar as funcionalidades do sistema. Tudo isso requer que a especificação do software seja revista, mas isso é altamente custoso, tornando necessário um processo automatizado para simplificar tal revisão. Para lidar com este problema, uma das abordagens utilizadas tem sido o processo de Revisão de Crenças, juntamente com o processo de Verificação de Modelos. O objetivo deste trabalho é utilizar o processo de revisão de crenças e verificação de modelos para avaliar especificações de um projeto procurando inconsistências, utilizando o fragmento universal da Computation Tree Logic (CTL), conhecido como ACTL, e revisá-las gerando sugestões de mudanças na especificação. A nossa proposta é traduzir para lógica clássica tanto o modelo (especificação do software) quanto a propriedade a ser revisada, e então aplicar um resolvedor SAT para verificar a satisfazibilidade da fórmula gerada. A partir da resposta do resolvedor SAT, iremos gerar sugestões válidas de mudanças para a especificação, fazendo o processo de tradução reversa da lógica clássica para o modelo original. / The objective of this work is to join the proccess of belief revision and model checking to evaluate project specifications looking for inconsistences, using the universal fragment of Computation Tree Logic (CTL), known as ACTL, and revise them generating changes suggestions in the specification. Our approach will translate the model (software specification) and the property to be revised to classical logic. Then we will apply a SAT solver to verify the generated formulas satsifability. From the SAT solver answer, we will create changes valid suggestions to the specification making the translation back from classical logic to the original model. To generate the changes suggestions, we proposed a framework based on heuristics where different approaches and decisions can be implemented, aiming a better application for each project scope. We implemented a basic heuristic as an example and used it to test the implementation to analise the proposed algorithm

REVISÃO TAXONÔMICA E ESTUDOS FILOGENÉTICOS DE Mimosa L. sect. Calothamnos Barneby (Leguminosae-Mimosoideae). Mimosa é o segundo maior gênero de Mimosoideae, depois de Acacia s.l., com cerca de 530 espécies distribuídas principalmente nos Neotrópicos e ocupando diferentes tipos de ambientes, desde florestas até desertos. Tradicionalmente o gênero foi dividido em cinco seções: Mimosa sect. Mimadenia, Mimosa sect. Batocaulon, Mimosa sect. Habbasia, Mimosa sect. Mimosa e Mimosa sect. Calothamnos, baseado principalmente na presença ou ausência de nectários extraflorais, nos tipos de tricomas e em características florais. Mimosa sect. Calothamnos é caracterizada pela ausência de nectários extraflorais, pela presença de diferentes tipos de tricomas ramificados recobrindo as estruturas vegetativas e reprodutivas (exceto cálice e androceu) e pelas flores tetrâmeras, isotêmones e com filetes geralmente amarelos (alvos ou róseos em algumas espécies). Este grupo, rico em endemismos, encontra-se distribuído principalmente nas regiões sudeste (sobretudo na Cadeia do Espinhaço em Minas Gerais) e sul do Brasil, com algumas espécies se estendendo até países limítrofes (Argentina, Bolívia, Paraguai e Uruguai), geralmente associadas à ambientes mais abertos como os Campos Rupestres ou as Estepes, mas com algumas espécies ocorrendo em Floresta Ombrófila Mista. O objetivo do presente trabalho foi realizar a revisão taxonômica e o estudo filogenético de Mimosa sect. Calothamnos a fim de responder as seguintes questões: 1) O número de espécies reconhecido para Mimosa sect. Calothamnos é subestimado? 2) Mimosa sect. Calothamnos, na forma como tradicionalmente circunscrita, é monofilética; 3) Os tricomas ramificados e os filetes amarelos seriam sinapomorfias da seção? A revisão taxonômica foi realizada a partir de levantamento bibliográfico, da análise de cerca de 2000 espécimes depositados nos principais herbários brasileiros e do exterior e em expedições de coleta. A reconstrução filogenética foi feita a partir de análises de parcimônia e bayesiana, baseadas em marcadores moleculares do cloroplasto (trnH-psbA e rps16), do núcleo (ITS) e em dados morfológicos. Algumas modificações foram propostas em relação à classificação tradicional como rearranjos infra-específicos, sinonimizações, adequações nomenclaturais e, além disso, sete lectótipos foram designados e três espécies novas foram descritas, resultando no aumento no número de espécies de 26 (34táxons) para 32 (35 táxons). Nas análises filogenéticas com os dados combinados, Mimosa sect. Calothamnos é fortemente sustentada como monofilética e apresentando como sinapomorfias morfológicas os tricomas estrelado-sésseis recobrindo a face abaxial dos folíolos, a corola e os frutos. / TAXONOMIC REVISION AND PHYLOGENETIC STUDIES OF Mimosa L. sect. Calothamnos Barneby (Leguminosae-Mimosoideae). Mimosa is the second largest genus of Mimosoideae, after Acacia s.l., with about 530 species, mainly distributed in the Neotropics in diferent types of vegetations, from forests to deserts. Traditionally, the genus was divided into five sections: Mimosa sect. Mimadenia, Mimosa sect. Batocaulon, Mimosa sect. Habbasia, Mimosa sect. Mimosa e Mimosa sect. Calothamnos, mainly based on the presence or absence of petiolar nectaries, on the kind of trichomes and on floral characteristics. Mimosa sect. Calothamnos is caracterized by the absence of petiolar nectaries, the presence of different types of branched trichomes covering vegetative and reproductive structures (except calyx and androecium) and by the tetramerous and isostemonous flowers with often yellow filaments (white or pink in some species). This group, with a high degree of endemism, is distributed mainly in the Southeastern (generally in Espinhaço Range, Minas Gerais) and South Brazilian regions, with some species extending into bordering countries, usually associated with open areas such as Campos Rupestres or Estepes, but with some species in Floresta Ombrófila Mista. The aims of the present study were to carry out a taxonomic revision and a phylogenetic approach of Mimosa sect. Calothamnos, in order to asnwer the following questions: 1) Is the number of taxa recognized in the section an overestimate?; 2) Is Mimosa sect. Calothamnos, as traditionally circunscribed, a monophyletic group? and 3) Are yellow stamen filaments and branched trichomes synapomorphic characthers of the section? The taxonomic revision was based on bibliographical survey, examination of about 2000 specimens from the Brazilian and foreign herbaria and on field expeditions. The phylogenetic reconstruction was carried out by parsinomy and bayesian analyses, based on molecular markers from cloroplast (trnH-psbA and rps16), nuclear (ITS) and morphological characters. Some modifications related to the traditional classification were proposed, such as infraspecific rearrangements, synonimizations and nomenclatural adequation. Besides this, seven lectotypes were designated and three new species were described, resulting in a larger number of the species, from 26 (34 taxons) to 32 (35 taxons). In the phylogenetics analyses based on combined data, Mimosa sect. Calothamnos is highly supported as monophyletic, with some morphological synapomorphies such as the presence of sessile stellate trichomes in the lower surface of the leaflets, corolla and fruits.

O gênero Astyanacinus foi descrito por Eigenmann (1907) para realocar Tetragonopterus moorii Boulenger (1892). No presente estudo Astyanacinus é revisado e redescrito. Com base na revisão taxonômica envolvendo 21 medidas e 13 contagens, Astyanacinus é redefinido e é composto por 7 espécies, incluindo três novas. Astyanacinus moorii e Astyanacinus multidens são reconhecidas como espécies válidas; Astyanax orthodus e Astyanax superbus são realocados em Astyanacinus; Astyanacinus goyanensis e Astyanacinus platensis são reconhecidos, respectivamente, como pertencentes aos gêneros Astyanax e Oligosarcus; três novas espécies são descritas: Astyanacinus sp n. Bolívia, Astyanacinus sp n. Peru e Astyanacinus sp n. Purus. A distribuição do gênero é extremamente expandida alcançando a Bacia do Alto Paraguai (A. moorii), Alto Madeira (A. multidens, A. sp n. Bolívia e A. sp n. Peru), Purus (A. sp n. Purus), Orinoco (Astyanax superbus) e os rios Cis-andinos Patia e Atrato (Astyanax orthodus). A análise filogenética com 47 táxons e 136 caracteres morfológicos infere o gênero como uma unidade monofilética com base no compartilhamento de seis sinapomorfias: alongamento da mandíbula, 3 dentes no dentário, margem posterior da maxila bem posterior a vertical que passa pela asa do etmóide lateral, primeiro radial proximal da nadadeira anal direcionado dorsalmente, pós-cleitros 1 e 2 próximos (espaço entre eles menor que a altura do pós-cleitro 1) e presença de chevrons. Somente A. moorii, Astyanax orthodus, Astyanax superbus, Astyanacinus sp n. Bolívia e Astyanacinus sp n. Peru foram dissecadas e incluídas na análise uma vez que nenhum material de Astyanacinus sp n. Purus e A. multidens pode ser disponibilizado para diafanização. A. multidens foi parcialmente incluída na análise filogenética com base no exame de radiografias e gerou baixa resolução no estudo das afinidades evolutivas do gênero Astyanacinus com os outros caracídeos. O gênero é obtido como grupo-irmão de Astyanax ou pode estar relacionado a um clado formado por Oligosarcus, Hollandichthys e Rachoviscus, assim a posição do gênero continua indefinida, esperando mais estudos e material adicional de A. sp n. Purus e A. multidens. De acordo com os resultados da filogenia A. sp n. Bolívia é grupo-irmão de todas as outras espécies de Astyanacinus examinadas com base, por exemplo, na posse de ganchos nas nadadeiras pélvica e anal de machos adultos maduros. Com relação à biogeografia do grupo, alguns padrões geológicos são sugeridos como responsáveis pelos eventos cladogenéticos do gênero. A distribuição de A. moorii no Alto Paraguai pode ser resultado do intercâmbio faunístico ocorrido entre as cabeceiras do Alto Paraguai e Alto Madeira através de uma suposta rota de dispersão que data de aproximadamente 10 m.a.. A existência de uma espécie Cis-Andina fornece uma idade mínima para o gênero que teria evoluído, pelo menos, antes de 12 m.a. (data da formação da Cordilheira Noroeste Andina). O padrão de distribuição de Astyanax orthodus na América Central é explicado pela emergência do Ístmo do Panamá no Plioceno (3 m.a.) que formou uma conexão terrestre entre as Américas Central e do Sul e promoveu uma rota de dispersão para a espécie. A presença de Astyanax orthodus na Bacia do Orinoco pode ser explicada como um resultado de uma conexão pretérita entre o Paleo-Amazonas-Orinoco que se separou com a formação do Arco Vaupes entre 8-5 m.a.. Adicionalmente, o presente estudo fornece o primeiro registro de ganchos nas nadadeiras de machos adultos para o gênero Astyanacinus. / The genus Astyanacinus was described by Eigenmann (1907) in order to reallocate Tetragonopterus moorii Boulenger (1892). In the present study Astyanacinus is reviewed and redescribed. Based on the taxonomic revision involving 21 morphometric measurements and 13 meristic counts, Astyanacinus is redefined and is composed by seven species, including three new forms. Astyanacinus moorii and Astyanacinus multidens are recognized as valid species; Astyanax orthodus and Astyanax superbus are re-allocated on Astyanacinus; Astyanacinus goyanensis and Astyanacinus platensis are recognized, respectively, as belonging to Astyanax and Oligosarcus; three new species are described: Astyanacinus sp n. Bolívia, Astyanacinus sp n. Peru and Astyanacinus sp n. Purus. The distribution are of the genus is extremely enlarged reaching the Upper Paraguay basin (A. moorii), Upper-Madeira Basin (A. multidens, A. sp n. Bolivia and A. sp n. Peru), Purus basin (A. sp n. Purus), Orinoco basin (Astyanax superbus) and Cis-andin Patia and Atrato basins (Astyanax orthodus). The phylogenetic analysis including 47 taxa and 136 morphological characters hypothesizes the genus as a monophyletic unit based on the sharing of six sinapomorphies: enlargement of mandible, three teeth on maxilla, posterior tip of maxilla outreaching the vertical which passes from the wing of the lateral ethmoid, first proximal radial from the anal fin dorsally directed, postcleithrum 1 and 2 near each other (space between them smaller than the greatest deep from the postcleithrum 1), presence of chevron-like marks. Only A. moorii, Astyanax orthodus, Astyanax superbus, Astyanacinus sp n. Bolívia and Astyanacinus sp n. Peru were dissected and included in the present study, since no available material from Astyanacinus sp n. Purus and A. multidens is founded. A. multidens was partially included in the phylogenetic analyses based on the exam of radiographs and causes low resolution concerning the phylogenetic relationships of Astyanacinus with other characids. The genus is hypothesized as sister-group of Astyanax or could be related with a clade composed by Oligosarcus, Hollandichthys and Rachoviscus, thus the position of the genus is still undefined, pending more studies and additional available material from A. sp n. Purus and A. multidens. According to the phylogenetic results A. sp n. Bolívia is the sister-group from the remaining Astyanacinus species examined based on the sharing of, for example, presence of bony hooks on pelvic and anal fins of adult males. Regarding the biogeography of the group, some geological patterns were hypothesized as responsible for the cladogenetic events of the genus. The distribution of A. moorii on the Upper Paraguay basin can be a result of faunistic exchanges occurred between the headwaters of the Upper Madeira and Upper Paraguay through the influence of a putative dispersal route dating about 10 m.a.. The presence of a Cis-Andin species provides a minimum age for the genus which has evolved, at least, before 12 m.a. (the date of formation of the northwest Cordillera). The distribution pattern of Astyanax orthodus on Central America is explained by the emergence of Isthmus of Panama in the Pliocene (3 m.a.) which formed the terrestrial connection between Central and South America and provides a dispersal route for the species. The presence of Astyanax orthodus in the Orinoco basin can be explained as a result of the ancient connection between Paleo-Amazonas-Orinoco which was separated with the formation of the Vaupes Arch between 8-5 m.a. Additionally, the present study provides the first record of bony hooks on pelvic and anal fins of adult males of the genus Astyanacinus.

O principal objetivo deste trabalho foi estudar a variação morfológica do grupo Bufo granulosus, procurando determinar suas unidades evolutivas. Esse grupo, como concebido até o presente, é comporto por 6 espécies (Bufo granulosus, Bufo bergi, Bufo dorbignyi, Bufo fernandezae, Bufo pygmaeus e Bufo beebei), e 10 subespécies de Bufo granulosus (merianae, nattereri, mini, major, barbouri, lutzi, mirandaribeiroi, azarai, humboldti, goeldii). A distribuição geográfica do grupo é bastante ampla e associada a formações abertas, compreendendo a América Central (Panamá) e quase todos os países da América do Sul, com exceção do Chile e do Equador. Foram analisados cerca de 8700 exemplares depositados em diversas coleções nacionais e estrangeiras de cerca de 880 localidades distintas. Caracteres apontados nas descrições das subespécies do grupo e outros, levantados no decorrer no trabalho, foram conferidos com base no estudo de séries de exemplares, comparados por localidade. Foram tomadas medidas de 23 caracteres morfométricos em 2267 indivíduos, utilizados em uma análise estatística multivariada, juntamente com 9 proporções corporais escolhidas como forma de caracterizar os táxons do grupo granulosus. Caracteres osteológicos e miológicos também foram estudados, e foi realizada uma análise das vocalizações (canto de anúncio) disponíveis para o grupo. São reconhecidas 12 espécies para o grupo granulosus: Bufo granulosus (Sudeste e Nordeste do Brasil); Bufo pygmaeus (Rio de Janeiro); Bufo azarai (Argentina, Paraguai e Mato Grosso do Sul); Bufo mirandaribeiroi (Brasil Central); Bufo major (Argentina, Bolívia, Paraguai e Amazônia, Brasil); Bufo fernandezae (Sul do Brasil, Argentina, Uruguai); Bufo dorbignyi (Sul do Brasil, Argentina, Uruguai); Bufo bergi (Argentina, Paraguai, Mato Grosso do Sul); Bufo nattereri (Roraima); Bufo humboldti (Colômbia, Venezuela, Guiana, Suriname); Bufo merianae (Amazônia, Venezuela, Guiana, Suriname); Bufo sp.n. (Panamá). / The Bufo species of the granulosus group are taxonomically reviewed in order to determine their evolutionary units. The granulosus group is composed by 6 species (Bufo granulosus, Bufo bergi, Bufo dorbignyi, Bufo fernandezae, Bufo pygmaeus and B. beebei), and 10 subspecies of Bufo granulosus (merianae, nattereri, mini, major, barbouri, lutzi, mirandaribeiroi, azarai, humboldti, goeldii). The group presents a wide geographical distribution, occurring in Central America (Panama) and in almost all the countries of South America, except for Chile and Ecuador. A total of 8700 specimens deposited in several national and foreign collections were studied representing about 880 different localities. External morphological caracters currently cited in the literature, and others, chosen at the beginning of the work, were compared within the sample series for each locality. Measurements of 23 morphometric characters were taken on 2267 specimens, and were used in an multivariate statistical analysis along with 9 body ratios chosen as a form of characterizing the taxa of the group. Osteological and miological caracters were also analyzed within the taxa, and an analysis of the vocalization (advertisement call) was performed with the available recordings for the group. Twelve species are recognized for the granulosus group, and one is new: Bufo granulosus (Southeast and Northeast Brazil); Bufo pygmaeus (Rio de Janeiro State, Brazil); Bufo azarai (Argentina, Paraguay and Mato Grosso do Sul, Brazil); Bufo mirandaribeiroi (Central Brazillian Savannas); Bufo major (Argentina, Bolivia, Paraguay and Amazonia, Brazil); Bufo fernandezae (South Brazil, Argentina, Uruguay); Bufo dorbignyi (South Brazil, Argentina, Uruguay); Bufo bergi (Argentina, Paraguay and Mato Grosso do Sul); Bufo nattereri (Roraima State, Brazil); Bufo humboldti (Colombia, Venezuela, Guyana, Surinam); Bufo merianae (Amazonia, Venezuela, Guyana, Surinam); Bufo sp. n. (Panama).