Made available in DSpace on 2014-12-17T15:47:46Z (GMT). No. of bitstreams: 1 KatianeRL.pdf: 489064 bytes, checksum: 41384102e2da87fcb34b32c311dab535 (MD5) Previous issue date: 2004-04-16 / Na computa??o cient?fica ? necess?rio que os dados sejam o mais precisos e exatos poss?vel, por?m a imprecis?o dos dados de entrada desse tipo de computa??o pode estar associada ?s medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os c?lculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computa??o cient?fica s?o: erros de truncamentos, que surgem em dados infinitos e que muitas vezes s?o truncados", ou interrompidos; erros de arredondamento que s?o respons?veis pela imprecis?o de c?lculos em seq??ncias finitas de opera??es aritm?ticas. Diante desse tipo de problema Moore, na d?cada de 60, introduziu a matem?tica intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados cont?nuos,possibilitando, inclusive prever o tamanho m?ximo do erro. A matem?tica intervalar ? uma sa?da para essa quest?o, j? que permite um controle e an?lise de erros de maneira autom?tica. Por?m, as propriedades alg?bricas dos intervalos n?o s?o as mesmas dos n?meros reais, apesar dos n?meros reais serem vistos como intervalos degenerados, e as propriedades alg?bricas dos intervalos degenerados serem exatamente as dos n?meros reais. Partindo disso, e pensando nas t?cnicas de especifica??o alg?brica, precisa-se de uma linguagem capaz de implementar uma no??o auxiliar de equival?ncia introduzida por Santiago [6] que ``simule" as propriedades alg?bricas dos n?meros reais nos intervalos. A linguagem de especifica??o CASL, Common Algebraic Specification Language, [1] ? uma linguagem de especifica??o alg?brica para a descri??o de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esfor?o conjunto de grandes expoentes da ?rea de especifica??es alg?bricas no sentido de criar um padr?o para a ?rea. A disserta??o proposta apresenta uma especifica??o em CASL do tipo intervalo, munido da aritm?tica de Moore, afim de que ele venha a estender os sistemas que manipulem dados cont?nuos, sendo poss?vel n?o s? o controle e a an?lise dos erros de aproxima??o, como tamb?m a verifica??o alg?brica de propriedades do tipo de sistema aqui mencionado. A especifica??o de intervalos apresentada aqui foi feita apartir das especifica??es dos n?meros racionais proposta por Mossakowaski em 2001 [3] e introduz a no??o de igualdade local proposta por Santiago [6, 5, 4]

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-27T17:11:40Z No. of bitstreams: 1 133673.pdf: 3470290 bytes, checksum: 6623610e1129ecaebd9023baa80a18cc (MD5) / Made available in DSpace on 2018-03-27T17:11:40Z (GMT). No. of bitstreams: 1 133673.pdf: 3470290 bytes, checksum: 6623610e1129ecaebd9023baa80a18cc (MD5) Previous issue date: 1973-10 / Descreve a arquitetura de um pequeno computador realizado com base num processador monolítico e sua simulação. Primeiramente estabelece-se os circuitos externos ao processador necessários ao seu funcionamento. Em seguida mostra-se um simulador que executa instruções dadas em sua forma binária. O usuário pode definir dentro do simulador a organização da memória, dos periféricos e do sistema de interrupção. Finalmente descreve-se a implementação do computador. / Describes an architecture for a small computer using a microprocessor as its central processing unit. In the first part of the work it is established the necessary external logic circuits for the microprocessor. The second part presents a simulator that executes instructions given in binary form. The user may define the memory, peripherals and interrupt system organization inside the simulator. Finally it is described the implementation of the computer.

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-02-05T13:07:49Z No. of bitstreams: 1 Dissertação - Petrina Kimura.pdf: 6170367 bytes, checksum: efa4d4fa978c23e41b25ae1b997e5e53 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-02-05T13:08:16Z (GMT) No. of bitstreams: 1 Dissertação - Petrina Kimura.pdf: 6170367 bytes, checksum: efa4d4fa978c23e41b25ae1b997e5e53 (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-02-05T13:08:47Z (GMT) No. of bitstreams: 1 Dissertação - Petrina Kimura.pdf: 6170367 bytes, checksum: efa4d4fa978c23e41b25ae1b997e5e53 (MD5) / Made available in DSpace on 2016-02-05T13:08:47Z (GMT). No. of bitstreams: 1 Dissertação - Petrina Kimura.pdf: 6170367 bytes, checksum: efa4d4fa978c23e41b25ae1b997e5e53 (MD5) Previous issue date: 2011-05-02 / FAPEAM - Fundação de Amparo à Pesquisa do Estado do Amazonas / Advances in multimedia technology led to a large increase in the number of images digital, in consequence, also grew? ä need for m? ethods and more ef fective cient and to store and retrieve this count? udo multimedia ?? edia. Most m? Proposed ethods alcan in literature? Çam high n ?? íveis of and insufficiency and effi c? CFIA (the top 70% accuracy) however most of them perform experiments using small images bases (less 10,000 images), previously classi fied in good ned categories, thus facilitating search task and consequently increasing ní ?? ble accuracy of the evaluated descriptors. On the other hand, when these m? Ethods are evaluated in large paste? Heterogeneous tions, Ni vel ?? accuracy? and relatively low. Thinking about this problem, this dissertation? Tion proposes the descriptor Location Color Pixel Classi cation (LCPC), an m? Ethod based on local analysis to search from large pictures basis. The proposed approach extracts character ?? color ísticas, classifi ing the pixels as border or inside using the same classi scheme is? tion of m? ethod Border / Interior Pixel Classication (BIC), by? are a simple partitioning scheme, but too much and cient and effi cient to incorporate spatial information about the contents? Udo visual image. Experiments were conducted using three bases of images, including one with more than 100,000 images collected from the Web. The results show that the proposed approach? And much higher when compared with other visual descriptors presented previously in literature, with gains in average accuracy of 51% till is 105% / Os avanços em tecnologia multimídia ocasionou um grande crescimento da quantidade de imagens digitais, em consequência disso, cresceu também a necessidade de métodos mais eficazes e eficientes para armazenar e recuperar esse conteúdo multimídia. A maioria dos métodos propostos na literatura alcançam altos níveis de eficiência e eficácia (a cima de 70% de precisão), entretanto grande parte delas executam experimentos usando bases de imagens pequenas (menos de 10.000 imagens), previamente classificadas em categorias bem de nidas, facilitando assim a tarefa de busca e, consequentemente aumentando os níveis de precisão dos descritores avaliados. Por outro lado, quando esses métodos são avaliados em grandes coleções heterogêneas, o nível de precisão e relativamente baixo. Pensando nesse problema, esta dissertação propõe o descritor Local Color Pixel Classication (LCPC), um método baseado em análise local para busca em grandes bases de imagens. A abordagem proposta extrai características de cor, classificando os pixels como borda ou interior, usando o mesmo esquema de classificação do método Border/Interior Pixel Classication (BIC), através de um esquema de particionamento simples, mas muito eficiente e eficaz para incorporar informações espaciais sobre o conteúdo visual da imagem. Experimentos foram conduzidos usando três bases de imagens, incluindo uma com mais de 100.000 imagens coletadas da Web. Os resultados obtidos mostram que a abordagem proposta e bastante superior quando comparado com outros descritores visuais previamente apresentados na literatura, com ganhos em precisão média de 51% até 105%

Made available in DSpace on 2016-08-17T14:52:51Z (GMT). No. of bitstreams: 1 Samyr Beliche Vale.pdf: 1271783 bytes, checksum: 3556a7f5490acfc5fdf7431663fba9fc (MD5) Previous issue date: 2004-03-10 / This paper presents a methodology for integrating business applications with Web services through the creation of meta-models in MDA. This methodology covers steps for the integration process and presents an architecture based on semantic middlware to integrate legacy applications. / Este trabalho apresenta uma metodologia para integração de aplicações empresariais com web services através da criação de meta-modelos em MDA. Esta metodologia abrange fases para o processo de integração e apresenta uma arquitetura baseada em middlware semântico para integrar aplicações legadas.

Made available in DSpace on 2016-08-17T14:53:02Z (GMT). No. of bitstreams: 1 Johnneth de Sene Fonseca.pdf: 2018093 bytes, checksum: 11dbbd37120eed762761ac62a54985ab (MD5) Previous issue date: 2009-02-16 / The constant evolution of technologies used in mobile devices has increased its capabilities with respect to its storage, processing and transmission of data, including more of one kind of technology transfer in a single device, and also access Internet more efficiently. These factors have a greater number of applications and services may be provided therein. With this came the need to find a model for developing services and making them available more quickly and efficient, and that data is transmitted more securely. One of the best options currently existing are the SOAS (Services Oriented Architecture) a development model in great evidence today. The aim of this dissertation is present a framework that allows the development of SOA in the mobile environment, giving the developer all the tools necessary for provision of services in this type of environment. A tool for the use of security mechanism for the Framework is also proposed. / A constante evolução das tecnologias utilizadas em dispositivos móveis permitiu o aumento das suas capacidades no que diz respeito ao seu armazenamento, processamento e transmissão de dados, inclusive com mais de um tipo de tecnologia de transmissão em um mesmo dispositivo, e também do acesso a internet de forma mais eficiente. Estes fatores permitiram que um maior número de aplicações e serviços possam ser disponibilizados neles. Com isso surgiu a necessidade de se encontrar um modelo de desenvolvimento de serviços para os dispositivos móveis e sua disponibilização de forma mais rápida e eficiente, além de que os dados sejam transmitidos de forma segura. Uma das melhores opções existentes atualmente são os SOAs (Arquitetura Orientada a Serviços), um modelo de desenvolvimento em grande evidência atualmente. Esta dissertação visa apresentar um Framework que permite o desenvolvimento de SOA no ambiente móvel, dando ao desenvolvedor todas as ferramentas necessárias para provisão de serviços neste tipo de ambiente. Também é proposta uma ferramenta para o uso de mecanismo de segurança pelo Framework.

Submitted by Maria Cristina (library@lncc.br) on 2015-10-08T18:10:26Z No. of bitstreams: 1 Thesis-Marizasref.pdf: 1838629 bytes, checksum: 81244e774352de8e5f009f3192c6d25e (MD5) / Approved for entry into archive by Maria Cristina (library@lncc.br) on 2015-10-08T18:10:39Z (GMT) No. of bitstreams: 1 Thesis-Marizasref.pdf: 1838629 bytes, checksum: 81244e774352de8e5f009f3192c6d25e (MD5) / Made available in DSpace on 2015-10-08T18:10:48Z (GMT). No. of bitstreams: 1 Thesis-Marizasref.pdf: 1838629 bytes, checksum: 81244e774352de8e5f009f3192c6d25e (MD5) Previous issue date: 2015-05-08 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / High Performance Distributed Computing is essential to improve scientific progress in many areas of science and to efficiently deploy a number of complex scientific applications. These applications have different characteristics that require distinct computational resources too. However, it is very difficult for many research groups to evaluate these HPDC infrastructures and arrive at the best configuration to run their scientific applications. Usually, optimal configurations are searched by executing one of the existing benchmark suites, widely used for performance evaluation. Benchmarks are good for comparisons between computational architectures, but they are not the best approach for evaluating if an architecture is adequate for a set of scientific applications. In this work we propose a systematic methodology for performance evaluation. The focus of our methodology begins on scientific application characteristics, and then considers how these characteristics interact with the problem size, with the programming language and finally with a specific computational architecture. The computational experiments and a case study developed highlight this model of evaluation and indicate that optimal performance can be found when we evaluate a combination of application class, program language, problem size and architecture model. / A Computação Massivamente Paralela e Distribuída é fundamental para alavancar o progresso científico em inúmeras áreas da ciência. Porém, cada domínio de investigação tem aplicações com diferentes requisitos computacionais, os quais dependem da definição adequada desses sistemas de alto desempenho para se obter a eficácia e eficiência na resolução dos seus problemas. Assim, o pesquisador se depara com decisões complexas sobre a escolha da melhor infraestrutura para a execução do seu conjunto de aplicações científicas. Além disso, os métodos tradicionais de avaliação de desempenho por meio da execução de benchmarks possuem inúmeras limitações. Com o objetivo de superar essas dificuldades e limitações é que este trabalho apresenta uma metodologia que orienta pesquisadores e técnicos na aquisição e manutenção de equipamentos de computação de alto desempenho, voltados aos requisitos das suas aplicações. Foram investigados os comportamentos e requisitos computacionais exigidos para diferentes aplicações e sua combinação com arquiteturas, modelos de programação, tamanhos de problema e as relações com o desempenho. O conhecimento obtido viabilizou o desenvolvimento da metodologia, que foi avaliada por meio de um estudo de caso, no qual suas contribuições foram mensuradas.

Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2013-01-31T19:20:25Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_MedidasCaracterizcaoCrosstalk.pdf: 2130898 bytes, checksum: fefbf7aec981ced586091231873c1a8e (MD5) / Approved for entry into archive by Ana Rosa Silva(arosa@ufpa.br) on 2013-02-05T14:41:01Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_MedidasCaracterizcaoCrosstalk.pdf: 2130898 bytes, checksum: fefbf7aec981ced586091231873c1a8e (MD5) / Made available in DSpace on 2013-02-05T14:41:02Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_MedidasCaracterizcaoCrosstalk.pdf: 2130898 bytes, checksum: fefbf7aec981ced586091231873c1a8e (MD5) Previous issue date: 2009-09 / O presente trabalho apresenta testes e experimentos laboratoriais para medição de crosstalk e ruído impulsivo em sistemas DSL, os quais são de grande importância para o aperfeiçoamento e evolução deste tipo de tecnologia. O estudo do crosstalk voltou-se a uma campanha de medições em cabos telefônicos reais de curto comprimento e operando em altas frequências. Os resultados destas medidas foram utilizados no cálculo da capacidade de transmissão de sistemas DSL operando neste cenário ainda pouco explorado. O estudo do ruído impulsivo foi focado no desenvolvimento de um sistema digitalizador de sinais de linha telefônica possibilitando a medição real deste tipo de fenômeno. / The current work presents tests and laboratory experiments to measure crosstalk and impulsive noise in DSL systems, which are of great importance for the improvement and development of this technology. The crosstalk study was focused in a measurements campaign of short-length cables operating at extremely high frequencies. The results were used in the transmission rates calculation of DSL systems operating in this type of unexplored scenario. The impulsive noise study focused on the development of a telephone line digitizing system allowing real measurements of the noise.

Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2011-11-05T18:15:18Z No. of bitstreams: 2 license_rdf: 23631 bytes, checksum: 0ebfb63a28ea1d6f51b802c66ebf651c (MD5) Dis_Benevaldo_Gonçalves_2010_PPGEE.pdf: 2368248 bytes, checksum: 969852b36f83b8f8b756d016862a55b2 (MD5) / Made available in DSpace on 2011-11-05T18:15:18Z (GMT). No. of bitstreams: 2 license_rdf: 23631 bytes, checksum: 0ebfb63a28ea1d6f51b802c66ebf651c (MD5) Dis_Benevaldo_Gonçalves_2010_PPGEE.pdf: 2368248 bytes, checksum: 969852b36f83b8f8b756d016862a55b2 (MD5) Previous issue date: 2010 / Este trabalho ressalta a importância de monitorar e diagnosticar a qualidade de energia elétrica sob a ótica das distorções harmônicas presente nas instalações elétricas em sistema trifásico de baixa tensão através de uma proposta metodológica para analisar e diagnosticar o nível dos distúrbios harmônico avaliando o indicador total de distorção harmônica (THD), apoiado por um sistema especialista baseado em um sistema de inferência Fuzzy. / This work emphasizes the importance of monitoring and diagnosing the quality of electric power from the viewpoint of harmonic distortion present in the electrical installation in low voltage three-phase system using a methodology to analyze and diagnose the level of harmonic disturbances evaluating the overall indicator of distortion Harmonic (THD), supported by an expert system based on a Fuzzy inference system. / ITEGAM - Instituto de Tecnologia e Educação Galileo da Amazônia

Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2014-08-06T11:56:33Z No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Teste_funcional_sistematico_estendido_uma_contribuicao_na_aplicacao_de_criterios_de_teste_caixa_preta.pdf: 6570768 bytes, checksum: 986a111f01281c84429d66513d0a3a54 (MD5) / Made available in DSpace on 2014-08-06T11:56:33Z (GMT). No. of bitstreams: 2 license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Teste_funcional_sistematico_estendido_uma_contribuicao_na_aplicacao_de_criterios_de_teste_caixa_preta.pdf: 6570768 bytes, checksum: 986a111f01281c84429d66513d0a3a54 (MD5) Previous issue date: 2011-04-19 / Building software involves a process composed of activities and methods. Even following these activities and using the proposed methods the resultant product may have some deviation with respect to its functional and nonfunctional requirements, not corresponding to the expected features. To minimize such problems, the test activity aims to ensure both the construction of the correct product and its correct construction. Since testing is considered a costly activity, research are conducted aiming at to make it feasible. This work ts in this context, in order improve the selection of test cases, thus increasing the quality of software products and the performance of testing guideline. It is interesting to note that, testing guideline is a fundamental artifact of the testing process and consists of test cases that, by de nition, execute a particular functionality of the program or check the suitability of the product over its speci ed requirements. Since the quality of the selected test cases have a great impact on the quality of the nal product, this work introduces the Extended Systematic Functional Test (ESFT) as a way to systematize the development and selection of test cases based on functional testing. A web system and a testing guideline used in certi cation were assessed using the ESFT in order to demonstrate the applicability and possible contributions of its use in terms of defect detection. The results are promising since the systematization, increases the number of selected test data, improves the detection of defects, and allow to justify why a particular test data is selected based on functional criteria. / A construção de um software envolve um processo composto de atividades e métodos. Mesmo seguindo tais atividades e utilizando os métodos propostos, um produto infiel aos requisitos funcionais e não funcionais pode ser gerado, não correspondendo as funcionalidades esperadas. Para amenizar tais problemas, a atividade de teste visa a assegurar tanto a construção do produto correto quanto a sua correta construção. Por ser uma atividade considerada onerosa, pesquisas para reduzir os custos da aplicação dos testes são realizadas. Este trabalho se enquadra nesse contexto, objetivando melhorar a seleção de casos de testes, aumentando assim, a qualidade de produtos de software e o desempenho de roteiros de teste. E interessante ressaltar que, roteiro de teste e um artefato fundamental do processo de testes e e constituído por casos de testes que, por definição, executam uma funcionalidade particular do programa ou verificam a adequação do produto em relação aos requisitos especificados. Uma vez que a qualidade dos casos de testes selecionados impacta fortemente na qualidade do produto final, este trabalho apresenta o Teste Funcional Sistemático Estendido(TFSE) como forma de sistematizar a elaboração e seleção de casos de testes, adotando critérios da técnica de teste funcional para essa finalidade. Um sistema web e um roteiro de teste utilizado em certificações foram avaliados utilizando o TFSE visando a demonstrar a aplicabilidade do mesmo e as possíveis contribuições de sua utilização em termos de detecção de defeitos. Os resultados obtidos são promissores uma vez que a sistematização, aumenta o numero de dados de teste selecionados, melhora a capacidade de detecção dos defeitos, e permitir justificar o por quê da seleção de determinado dado de teste com base em critérios funcionais.

Em um ambiente virtualizado, a distribuição de recursos de processamento entre as máquinas virtuais deve ser baseada nos aspectos requeridos pela carga de trabalho executando dentro de cada instância. Entretanto, a imprevisibilidade destas cargas de trabalho, em conjunto com a estratégia de compartilhamento equitativo adotada pelo escalonador no hipervisor, impactam a qualidade de serviço percebida por máquinas virtuais orientadas a eventos de entrada e saída de rede e processamento. Esta dissertação conduz um estudo para estimar a variação da qualidade de serviço percebida por esta classe de máquinas virtuais em cenários de consolidação de servidor. Posteriormente, é proposto um modelo de escalonadores coexistentes, que fundamenta-se no agrupamento de máquinas virtuais com cargas de trabalho similares. A validação deste modelo demonstra que o agrupamento oportuno de máquinas virtuais diminui a variação da qualidade de serviço ocasionada pela concorrência por recursos de processamento, atingindo níveis semelhantes aos cenários sem concorrência. / In a virtualized environment, time slice allocation should be based on virtual machines workloads requirements. However, the unpredictability of these workloads, combined with fair share nature of scheduling strategies, may impact the perceived quality of service of network I/O and CPU intensives virtual machines under server consolidation. This dissertation presents an in-depth analysis of quality of service variation under several scenarios, in order to assess this impact. Furthermore, a coexisting schedulers model, which aims to cluster virtual machines with similar workloads, is proposed as the main contribution of this research. The model validation argues that proper clustering based workload reduces the quality of service variation under server consolidation. In fact, the perceived quality of service under this model resemble a near native scenario.