A utilização de várias ferramentas de injeção de falhas em um mesmo experimento de testes fornece mais subsídios para os resultados alcançados, tornando a atividade mais efetiva e menos sujeita a erros de interpretação. Neste sentido, as cargas de falhas possuem um importante papel, visto que elas compõem a principal entrada a ser fornecida nestas ferramentas. No entanto, os mecanismos oferecidos, nas ferramentas de injeção de falhas existentes, para esta especificação de cargas de falhas, possuem um baixo grau de usabilidade e expressividade. Por este motivo, o presente trabalho aborda uma metodologia, na qual cenários detalhados de testes, que envolvam experimentos com injeção de falhas, possam ser especificados de maneira simples, homogênea e padronizada. Para isso, é proposta a criação de um ambiente para a especificação destas cargas de falhas, denominado como jFaultload. Este ambiente, por sua vez, utiliza-se de um subconjunto da linguagem Java para a especificação destas cargas de falhas, ficando responsável ainda pela tradução, desta carga em Java, para os respectivos formatos de carga referentes a cada injetor de falhas utilizado em um dado experimento. Para efeito de exemplo e validação do ambiente proposto, as ferramentas FIRMAMENT, MENDOSUS e FAIL/FCI são integradas neste ambiente, tornando assim o cenário de testes amplamente detalhado. O serviço a ser testado, visando a demonstração da usabilidade e expressividade da solução proposta, foi uma sessão de video streaming, utilizando-se para isso do protocolo RTP, onde uma campanha de testes foi realizada com o injetor FIRMAMENT. / Use of two or more fault injection tools in a test campaign enriches the scenario obtained from a test execution. Faultloads represent the main input for these tools but their specification mechanisms lack usability and expressiveness. This thesis presents a full test scenario featuring the use of jFaultload, which applies Java for the specification of faultloads and translates them to specific formats that are appropriate to each available fault injector. FIRMAMENT, MENDOSUS and FAIL/FCI, fault injectors for communication systems, were integrated in the environment and complete the test scenario. The service under test used to demonstrate the usability and expressiveness of our solution is a video streaming session using RTP Protocol, which a test campaign was executed through the FIRMAMENT fault injector.

A utilização de várias ferramentas de injeção de falhas em um mesmo experimento de testes fornece mais subsídios para os resultados alcançados, tornando a atividade mais efetiva e menos sujeita a erros de interpretação. Neste sentido, as cargas de falhas possuem um importante papel, visto que elas compõem a principal entrada a ser fornecida nestas ferramentas. No entanto, os mecanismos oferecidos, nas ferramentas de injeção de falhas existentes, para esta especificação de cargas de falhas, possuem um baixo grau de usabilidade e expressividade. Por este motivo, o presente trabalho aborda uma metodologia, na qual cenários detalhados de testes, que envolvam experimentos com injeção de falhas, possam ser especificados de maneira simples, homogênea e padronizada. Para isso, é proposta a criação de um ambiente para a especificação destas cargas de falhas, denominado como jFaultload. Este ambiente, por sua vez, utiliza-se de um subconjunto da linguagem Java para a especificação destas cargas de falhas, ficando responsável ainda pela tradução, desta carga em Java, para os respectivos formatos de carga referentes a cada injetor de falhas utilizado em um dado experimento. Para efeito de exemplo e validação do ambiente proposto, as ferramentas FIRMAMENT, MENDOSUS e FAIL/FCI são integradas neste ambiente, tornando assim o cenário de testes amplamente detalhado. O serviço a ser testado, visando a demonstração da usabilidade e expressividade da solução proposta, foi uma sessão de video streaming, utilizando-se para isso do protocolo RTP, onde uma campanha de testes foi realizada com o injetor FIRMAMENT. / Use of two or more fault injection tools in a test campaign enriches the scenario obtained from a test execution. Faultloads represent the main input for these tools but their specification mechanisms lack usability and expressiveness. This thesis presents a full test scenario featuring the use of jFaultload, which applies Java for the specification of faultloads and translates them to specific formats that are appropriate to each available fault injector. FIRMAMENT, MENDOSUS and FAIL/FCI, fault injectors for communication systems, were integrated in the environment and complete the test scenario. The service under test used to demonstrate the usability and expressiveness of our solution is a video streaming session using RTP Protocol, which a test campaign was executed through the FIRMAMENT fault injector.

We present the first dynamic algorithm that maintains a clique tree representation of a chordal graph and supports the following operations: (1) query whether deleting or inserting an arbitrary edge preserves chordality, (2) delete or insert an arbitrary edge, provided it preserves chordality. We give two implementations. In the first, each operation runs in O( n) time, where n is the number of vertices. In the second, an insertion query runs in O(log² n) time, an insertion in O(n) time, a deletion query in O(n) time, and a deletion in O(n log n) time. We also introduce the clique-separator graph representation of a chordal graph, which provides significantly more information about the graph's structure than the well-known clique tree representation. We present fundamental properties of the clique-separator graph and additional properties when the input graph is interval. We then introduce the train tree representation of interval graphs and use it to decide whether there is a certain linear ordering of the graph's maximal cliques. This yields a fully dynamic algorithm to recognize interval graphs in O(n log n) time per edge insertion or deletion. The clique-separator graph may lead to dynamic algorithms for every proper subclass of chordal graphs, and the train tree may lead to fast dynamic algorithms for problems on interval graphs. / Graduate

Submitted by Maria Medeiros (maria.dilva1@ufcg.edu.br) on 2018-07-10T12:32:58Z No. of bitstreams: 1 PÉRICLES VITÓRIO SERAFIM FILHO - DISSERTAÇÃO (PPGCEMat) 2015.pdf: 2732272 bytes, checksum: f9246e9f76ba0abd4b6bbc275b9d09c4 (MD5) / Made available in DSpace on 2018-07-10T12:32:58Z (GMT). No. of bitstreams: 1 PÉRICLES VITÓRIO SERAFIM FILHO - DISSERTAÇÃO (PPGCEMat) 2015.pdf: 2732272 bytes, checksum: f9246e9f76ba0abd4b6bbc275b9d09c4 (MD5) Previous issue date: 2015-08-31 / Os implantes mamários caracterizam-se como dispositivos médicos que são usados para aumentar o tamanho dos seios ou para reconstruir a mama após mastectomia ou corrigir uma anomalia congênita. Sabe-se que desvio no processo produtivo de implantes mamários e o tempo de uso podem reduzir as propriedades do produto final e favorecer risco de agravos à saúde da população. Desta forma, este trabalho objetivou avaliar as propriedades físicas, químicas, biológicas e mecânicas de próteses mamárias de silicone explantadas. Os parâmetros de avaliação basearam-se na norma NBR 14 760 – 2001. Foram analisadas nove amostras de próteses mamárias de silicone texturizadas, com diferentes tempos de uso e os ensaios foram realizados em triplicata. Os ensaios de caracterização utilizados foram Microscopia Óptica - MO, Espectroscopia na Região do Infravermelho com Transformada de Fourier (FTIR), Coesividade do Gel, Ensaio Mecânico (Resistência a Tração) e Citotoxicidade. No ensaio de MO verificou-se padrões diversos de texturizações para as próteses, mas não foram observadas alterações significativas que comprometesse a qualidade das próteses mamárias, bem como nos espectros de FTIR. Baseado nos resultado obtidos no ensaio de coesividade do gel pode-se afirmar que apenas a amostra C não se encontra em conformidade com a norma International Standard ISO 14607. Nos resultados do Ensaio Mecânico, as amostras A, B, F, G e H encontraram-se em não conformidade com a norma. Os testes de citotoxicidade mostraram que as próteses analisadas estão em conformidade com a norma. Desta forma conclui-se que as amostras A, B, C, F, G e H estão fora dos parâmetros exigidos pelas normas vigentes e que o tempo de uso destas pode ter influenciado nestes resultados, sugerindo-se a continuidade de estudos considerando essa variável. / Breast implants are characterized as medical devices that are used to increase the size of breasts or to reconstruct the breast after mastectomy or to correct a congenital anomaly. It is known that deviations in the production process of breast implants and the use of time can reduce the properties of the final product and favor risk of harm to health. Thus, this study aimed to evaluate the physical, chemical, biological and mechanical properties of silicone breast implants explanted. The evaluation criteria were based on NBR 14 760 - 2001 were analyzed nine samples of textured silicone breast implants with different operating times and the assays were performed in triplicate. Characterization tests used were Microscopy Optica - MO, Infrared Spectroscopy in the Region Fourier Transform (FTIR), cohesiveness gel, Mechanical Test (Tensile Strength) and cytotoxicity. In the MO of study there are several standards for texturing the prosthesis, but no significant changes were observed that could compromise the quality of breast implants, as well as in FTIR spectra. Based on the results obtained in the gel assay cohesiveness, it can be stated that only sample C is not in accordance with International Standard ISO 14607.Nos results of mechanical testing, samples A, B, F, G and H found in noncompliance with the standard. Cytotoxicity tests showed that the prostheses are analyzed in accordance with the standard. Thus it is concluded that the samples A, B, C, F, G and H are out of the parameters required by current standards and that the time of use these may have influenced these results, suggesting continuing studies considering this variable .

L'objectif de cette thèse est l'étude d'un descripteur d'images adapté à une grande variété d'applications. Nous cherchons à obtenir un descripteur robuste et discriminant, facile à adapter et peu coûteux en calcul et en mémoire.Nous définissons un nouveau descripteur, composé de valeurs du Laplacien à différentes échelles et de valeurs d'une transformée de Fourier radiale, calculées à partir d'une pyramide Gaussienne. Ce descripteur capture une information de forme multi-échelle autour d'un point de l'image. L'expérimentation a montré que malgré une taille mémoire réduite les performances en robustesse et en pouvoir discriminant de ce descripteur sont à la heuteur de l'état de l'art.Nous avons expérimenté ce descripteur avec trois types de tâches différentes.Le premier type de tâche est la mise en correspondance de points-clés avec des images transformées par rotation, changement d'échelle, floutage, codage JPEG, changement de point de vue, ou changement d'éclairage. Nous montrons que la performance de notre descripteur est au niveau des meilleurs descripteurs connus dans l'état de l'art. Le deuxième type de tâche est la détection de formes. Nous avons utilisé le descripteur pour la création de deux détecteurs de personnes, construits avec Adaboost. Comparé à un détecteur semblable construit avec des histogrammes de gradients (HOG) nos détecteurs sont très compétitifs tout en utilisant des descripteurs sensiblement plus compacts. Le dernier type de tâche est la détection de symétries de réflexion dans des images "du monde réel". Nous proposons une technique de détection d'axes potentiels de symétries en miroir. Avec cette tâche nous montrons que notre descripteur peut être genéralisé à des situations complexes. L'expérimentation montre que cette méthode est robuste et discriminante, tout en conservant un faible coût en calcul et en mémoire. / In this thesis we explore a new image description method composed of a multi-scale vector of Laplacians of Gaussians, the Laplacian Profile, and a Radial Fourier Transform. This method captures shape information with different proportions around a point in the image. A Gaussian pyramid of scaled images is used for the extraction of the descriptor vectors. The aim of this new method is to provide image description that can be suitable for diverse applications. Adjustability as well as low computational and memory needs are as important as robustness and discrimination power. We created a method with the ability to capture the image signal efficiently with descriptor vectors of particularly small length compared to the state of the art. Experiments show that despite its small vector length, the new descriptor shows reasonable robustness and discrimination power that are competitive to the state of the art performance.We test our proposed image description method on three different visual tasks. The first task is keypoint matching for images that have undergone image transformations like rotation, scaling, blurring, JPEG compression, changes in viewpoint and changes in light. We show that against other methods from the state of the art, the proposed descriptor performs equivalently with a very small vector length. The second task is on pattern detection. We use the proposed descriptor to create two different Adaboost based detectors for people detection in images. Compared to a similar detector using Histograms of Oriented Gradients (HOG), the detectors with the proposed method show competitive performance using significantly smaller descriptor vectors. The last task is on reflection symmetry detection in real world images. We introduce a technique that exploits the proposed descriptor for detecting possible symmetry axes for the two reflecting parts of a mirror symmetric pattern. This technique introduces constraints and ideas of how to collect more efficiently the information that is important to identify reflection symmetry in images. With this task we show that the proposed descriptor can be generalized for rather complicated applications. The set of the experiments confirms the qualities of the proposed method of being easily adjustable and requires relatively low computational and storage requirements while remaining robust and discriminative.

CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / Sistemas de recuperaÃÃo de imagens baseada em conteÃdo (do termo em inglÃs, Content-Based Image Retrieval - CBIR) que operam em bases com grande volume de dados constituem um problema relevante e desafiador em diferentes Ãreas do conhecimento, a saber, medicina, biologia, computaÃÃo, catalogaÃÃo em geral, etc. A indexaÃÃo das imagens nestas bases pode ser realizada atravÃs de conteÃdo visual como cor, textura e forma, sendo esta Ãltima caracterÃstica a traduÃÃo visual dos objetos em uma cena. Tarefas automatizadas em inspeÃÃo industrial, registro de marca, biometria e descriÃÃo de imagens utilizam atributos da forma, como os cantos, na geraÃÃo de descritores para representaÃÃo, anÃlise e reconhecimento da mesma, possibilitando ainda que estes descritores se adequem ao uso em sistemas de recuperaÃÃo. Esta tese aborda o problema da extraÃÃo de caracterÃsticas de formas planares binÃrias a partir de cantos, na proposta de um detector multiescala de cantos e sua aplicaÃÃo em um sistema CBIR. O mÃtodo de detecÃÃo de cantos proposto combina uma funÃÃo de angulaÃÃo do contorno da forma, a sua decomposiÃÃo nÃo decimada por transformada wavelet ChapÃu Mexicano e a correlaÃÃo espacial entre as escalas do sinal de angulaÃÃo decomposto. A partir dos resultados de detecÃÃo de cantos, foi realizado um experimento com o sistema CBIR proposto, em que informaÃÃes locais e globais extraÃdas dos cantos detectados da forma foram combinadas à tÃcnica DeformaÃÃo Espacial DinÃmica (do termo em inglÃs, Dynamic Space Warping), para fins de anÃlise de similaridade formas com tamanhos distintos. Ainda com este experimento foi traÃada uma estratÃgia de busca e ajuste dos parÃmetros multiescala de detectores de cantos, segundo a maximizaÃÃo de uma funÃÃo de custo. Na avaliaÃÃo de desempenho da metodologia proposta, e outras tÃcnicas de detecÃÃo de cantos, foram empregadas as medidas PrecisÃo e RevocaÃÃo. Estas medidas atestaram o bom desempenho da metodologia proposta na detecÃÃo de cantos verdadeiros das formas, em uma base pÃblica de imagens cujas verdades terrestres estÃo disponÃveis. Para a avaliaÃÃo do experimento de recuperaÃÃo de imagens, utilizamos a taxa Bullâs eye em trÃs bases pÃblicas. Os valores alcanÃados desta taxa mostraram que o experimento proposto foi bem sucedido na descriÃÃo e recuperaÃÃo das formas, dentre os demais mÃtodos avaliados. / Content-based image retrieval (CBIR) applied to large scale datasets is a relevant and challenging problem present in medicine, biology, computer science, general cataloging etc. Image indexing can be done using visual information such as colors, textures and shapes (the visual translation of objects in a scene). Automated tasks in industrial inspection, trademark registration, biostatistics and image description use shape attributes, e.g. corners, to generate descriptors for representation, analysis and recognition; allowing those descriptors to be used in image retrieval systems. This thesis explores the problem of extracting information from binary planar shapes from corners, by proposing a multiscale corner detector and its use in a CBIR system. The proposed corner detection method combines an angulation function of the shape contour, its non-decimated decomposition using the Mexican hat wavelet and the spatial correlation among scales of the decomposed angulation signal. Using the information provided by our corner detection algorithm, we made experiments with the proposed CBIR. Local and global information extracted from the corners detected on shapes was used in a Dynamic Space Warping technique in order to analyze the similarity among shapes of different sizes. We also devised a strategy for searching and refining the multiscale parameters of the corner detector by maximizing an objective function. For performance evaluation of the proposed methodology and other techniques, we employed the Precision and Recall measures. These measures proved the good performance of our method in detecting true corners on shapes from a public image dataset with ground truth information. To assess the image retrieval experiments, we used the Bullâs eye score in three public databases. Our experiments showed our method performed well when compared to the existing approaches in the literature.

Made available in DSpace on 2015-04-22T22:00:45Z (GMT). No. of bitstreams: 1 Hillermann Ferreira Osmidio Lima.pdf: 1820292 bytes, checksum: 0434ed2f2545deea32acce6f4ff7b7c3 (MD5) Previous issue date: 2012-12-18 / This dissertation presents an implementation in VHDL of the MTP-2 layer of SS7, Low part, together with a Programmable Switching Matrix, to reach, as more generic as possible, a modular, portable (reusable) and scalable solution to be used in various technologies and telecommunications equipments with different architectures and capabilities. As parallel contributions, this work includes: the development of a methodology for implementing digital circuits in VHDL based on a visual description using flowcharts; the proposing of a technique for generating random vectors using the MATLAB software for simulation and validation of digital circuits using hardware description language, allowing the detection of fault conditions that would hardly be evaluated with manually generated vectors. As a result, this work generated practical use artifact, presenting a substantial increase capacity on treatment of SS7 links in telecommunications equipments, when compared with previous related works. / Esta dissertação apresenta uma implementação em VHDL da camada MTP-2 da SS7, parte Low, em conjunto com uma Matriz de Comutação Programável de modo a constituir, da forma mais genérica possível, uma solução modular, portável (reutilizável) e escalável para poder ser usada em várias tecnologias e em equipamentos de telecomunicações com diferentes arquiteturas e capacidades. Como contribuições paralelas do trabalho destacam-se: o desenvolvimento de uma metodologia para implementação em VHDL de circuitos digitais a partir de uma descrição visual com o uso de fluxogramas; a proposta de uma técnica de geração de vetores de forma aleatória usando o software MATLAB para simulação e validação de circuitos digitais usando linguagem de descrição de hardware, permitindo a detecção de condições de falha que dificilmente seriam avaliadas com vetores gerados de forma manual. Como resultado, este trabalho gerou artefato de utilização prática, apresentando um considerável aumento na capacidade de tratamento de Enlaces SS7 de equipamentos de telecomunicações, quando comparado com trabalhos realizados anteriormente.

A finalidade da pesquisa é estudar a écfrase, identificada como descrição na retórica latina, e a evidência, com a qual geralmente é confundida A écfrase contribui para provocar o efeito de visualização do discurso verbal, portanto, o estudo das teorias antigas que aproximam o meio verbal do visual serve como base para sua compreensão. Há certa profusão de nomes para o processo ecfrástico, gerando confusão ao se tentar estabelecer os limites e diferenças de cada procedimento. O processo imaginativo, teorizado por Aristóteles como fantasia, é parte fundamental para compreender como se manifesta a evidência (ou ainda enargia). Além da teoria, analisamos a aplicação dos conceitos estudados a partir de alguns exemplos do gênero épico e historiográfico, realizando também a tradução de tais textos. / The purpose of this paper is to study the ecfrase, known as description in Latin Rhetoric, which is normally confused with the evidence. The ecfrase contributes to cause a visualizations effect of the verbal speech. Therefore, the study of ancient theories approaches the verbal language to the visual, and works as basis for its comprehension. There is profusion of names to the ecfrastic process, creating confusion when we try to establish the limits and differences of each procedure. The imaginative process, theorized by Aristotle as phantasia, is a fundamental part to understand how the evidence (or enargia) works. Beyond the theory, we analyze the application of the concepts from some examples of epic and historiographic genres, also translating these texts.

Este trabalho tem como objetivo descrever a fonologia da língua Hakitía, língua esta de origem românica falada pela comunidade judaicomarroquina no norte do Brasil. A pesquisa objetiva descrever e documentar esse idioma e quais de seus elementos ainda resistem; e assim, compreender o que acontece com uma língua que tem, praticamente, 516 anos de existência. Esta geração é a última que existe em se tratando dos falantes. Faz-se uma breve contextualização histórica da hakitía, voltando-se à sua origem na Espanha, com a expulsão dos judeus, em 1492, pelos reis Isabel de Castela e Fernando de Aragão, suas várias rotas de exílio, dentre elas, o Marrocos, no norte da África, e, a partir daí até Eretz Amazônia. A pesquisa tem como base metodológica pressupostos gerais da linguística estruturalista, no que se refere à sua descrição. / This study aims at describing the phonology of the Hakitia language, a language of Romanic origin, spoken by the Jewish Maroccan community living in the North of Brazil. This research aims at describing and documenting such language and which of its elements still remains, with the purpose of understanding what has occurred with a language that is, virtually, 516 years old. As far as speaking is concerned, this generation of Hakitian speakers is the last one we know about. We present a brief historical background of the Hakitia language since its origin in Spain until the expulsion of the Jews from this country by the kings Ferdinand and Isabella the Catholic. We examine also their several routes of exile, among which Marrocco in Northern Africa and from there to Amazon Eretz. The methodological underpinnings used to describe this research came from the general assumptions of structural linguistics.

No sudeste e sul do Brasil, os peixes da família Sciaenidae estão entre os peixes mais pescados sobre a plataforma continental interna. O conhecimento da ocorrência tanto espacial quanto temporal dos indivíduos na fase de transformação, que se estabelecem no local onde se desenvolverão, torna-se informação fundamental para o entendimento do ciclo de vida das espécies e, por extensão, para ações de preservação e de manejo de recurso. Porém, descrições das espécies de Sciaenidae na fase de transformação são escassas, impedindo a identificação desses peixes. Neste trabalho são estudadas 22 espécies das 28 de Sciaenidae do sudeste e sul do Brasil no estágio de desenvolvimento de transformação com base em material acumulado nas instituições que mantém coleções de peixe. Séries de crescimento de 16 dessas espécies foram morfologicamente descritas e ilustradas, bem como elaborada uma chave de identificação das espécies que ocorrem na área. A ocorrência espacial e temporal das amostras foram mapeadas, sendo estimada a época de nascimento e confrontada com a literatura sobre crescimento e reprodução. Foi observado que a maioria das espécies se restringe a estuários e baías, em águas rasas, havendo indícios de predomínio da época de nascimento (e portanto, de desova) no verão. / In the southeast and south of Brazil, the Sciaenidae are among the most caught fishes on the shallow waters of the continental shelf. Spacial and temporal occurrence knowledge of individuals at the transformation stage is a fundamental information for understanding the life cycle of the species and, by extension, for preservation and management action. Morphological descriptions of Sciaenidae fishes at that developmental stage are scarce, preventing their taxonomic identification. In this work 22 species from the 28 of Sciaenidae in the southeast and south of Brazil are studied on the transformation stage based on material from the institutions that maintain collections of fish. Series of growth of 16 of these species were morphologically described and illustrated, as well as draft a key to identify the species that occur in the area. The spacial and temporal distribution of the samples were mapped, being estimated the time of birth and faced with the literature on growth and reproduction. It was observed that most species are strict to shallow waters of estuaries and bays, with evidence of the predominance of the time of birth (and therefore spawning) in the summer.