[pt] A presente tese defende uma teoria deflacionista de descrições definidas singulares. De acordo com essa teoria, um proferimento de uma frase da forma o F é G expressará simplesmente a proposição geral que pelo menos um F é G. A tese discorre sobre as teorias de descrições definidas de Russell e de Donnellan, com o propósito de mostrar que teorias unitárias (e quantificacionais) de descrições definidas são preferíveis a teorias da ambiguidade. A tese examina os principais argumentos em favor da interpretação semântica do uso referencial e conclui que eles são insatisfatórios. Apoiando-se em considerações gricianas, a tese também defende que teorias deflacionistas de descrições definidas são preferíveis a teorias inflacionistas e que a implicação de unicidade associada a descrições definidas é, em geral, de natureza pragmática. Em particular, a tese defende que há uma versão da teoria deflacionista que é superior àquelas propostas por Szabó e por Ludlow e Segal. A tese conclui que descrições definidas são expressões de quantificação que, pace Russell, não codificam unicidade. / [en] The present thesis puts forward a deflationist theory of singular definite descriptions. According to this theory, an utterance of the F is G only expresses the proposition that at least one F is G. The thesis examines Russells theory of definite descriptions and Donnellans distinction between referential and attributive uses of definite descriptions and argues that Donnellan’s distinction is not at odds with a Russellian (i. e., unitarian and quantificational) approach to definite descriptions. Based on methodological considerations, the thesis claims that it is not necessary to postulate a distintic semantic interpretation for the referential use of definite descriptions and that these are best seen as a kind of pragmatic phenomena. However similar considerations suggest that the implication of uniqueness associated with some uses definite descriptions is not – in general - semantic either. Definite descriptions are quantificational expressions but there are no independent reasons for holding that uniqueness is part of their semantic content. Therefore an utterance of the F is G can be used to communicate that that there is at most one F despite the fact that this is not part of the proposition the utterance expresses.

Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-08-17T21:14:25Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Johnathan Dezan Vago.pdf: 4844509 bytes, checksum: 27de42d20ff1e85817256e9256d170ab (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-08-22T22:59:00Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Johnathan Dezan Vago.pdf: 4844509 bytes, checksum: 27de42d20ff1e85817256e9256d170ab (MD5) / Made available in DSpace on 2018-08-22T22:59:00Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Johnathan Dezan Vago.pdf: 4844509 bytes, checksum: 27de42d20ff1e85817256e9256d170ab (MD5) Previous issue date: 2017-06-09 / A virtualização de servidores possibilitou que vários serviços fossem disponibilizados a partir de um mesmo equipamento, resultando na diminuição de custos e facilitando a operacionalização de uma infraestrutura de tecnologia de informação. Porém, a infraestrutura de rede, que provê o acesso aos serviços de rede, não evoluiu no mesmo ritmo e passou a ser um ponto crítico na transmissão do tráfego de Internet. Recentemente, o advento das redes definidas por software (Software Defined Networking, SDN) permitiu ao administrador de rede criar, gerenciar e entregar serviços de rede aos clientes a partir de uma interface única. Uma das vantagens proporcionadas em uma rede SDN é a centralização da gerência dos ativos de rede no controlador, o que permite a implementação de políticas a partir de um único ponto. O controlador, entretanto, torna-se um ponto vulnerável e crítico na rede, uma vez que a implementação de tais regras está diretamente ligada a sua disponibilidade. Este trabalho propõe uma estratégia para o estabelecimento de fluxos em uma rede SDN/OpenFlow de modo a diminuir a carga direcionada ao controlador, resultante do envio de consultas feitas por seus clientes. As consultas são essenciais para a aplicação das regras estabelecidas no controlador, que deve estar disponível e responder estas consultas no menor tempo possível. A estratégia proposta neste trabalho foi aplicada em um cenário emulado e em um cenário real em produção criado a partir da infraestrutura de rede de quatro campi de Institutos Federais de Educação no Brasil. Nos dois cenários, o comportamento do controlador foi comparado utilizando clientes OpenFlow tradicionais e clientes OpenFlow modificados com a estratégia proposta. Testes realizados em ambos os cenários constataram que o tempo que o controlador necessita para processar uma mensagem assíncrona packet-in e a carga direcionada ao controlador são menores quando as mensagens foram enviadas utilizando a estratégia proposta neste trabalho. / The virtualization of servers has permitted that several services being available in the same equipment, which contributed to decrease the cost and allow operationalization of infrastructure of Information Technology. Nonetheless, the network infrastructure, which provides the access to the network services, did not developed at the same rate. Recently, the appearance of the Software Defined Networking (SDN), allowed the network administrator to create, manager and deliver network services to the clients from a single interface. One of the advantages provided in an SDN network is the centralization of the management of network assets in the controller, which allows the implementation of policies from a single point. The controller, however, became critical and vulnerable in the network, since the implementation of those policies is straight connect to its availability. This work purposes a strategy to establish flux in a network SDN/OpenFlow in order to decrease the load sent to the controller that are results from the client’s queries. The queries are essentials for the applying of the rules set up in the controller; it must be available and answer those queries in the shortest time possible. The strategy, that this work purposes, was performed in an emulated scenario and real scenario created from the network infrastructure of four campus of Federal Institutes of Education (Instituto Federal de Educação – IFE) in Brazil. In these twos scenarios, the behavior of the controller was compared using traditional OpenFlow clients and modified OpenFlow clients by the proposed strategy. The results from tests performed, in both scenarios, showed that the time needed by the controller to process an asynchronous packet-in message and of the load directed to it, is shorter when the messages were sent using the proposed methodology.

Made available in DSpace on 2018-08-02T00:01:09Z (GMT). No. of bitstreams: 1 tese_8238_Dissertac?a?o - Oficial - Ana Carolina Eller.pdf: 6033912 bytes, checksum: 77955cf03532f9ba5a93ffa3a0fbb089 (MD5) Previous issue date: 2016-04-15 / As redes de computadores se tornaram parte essencial da infraestrutura de nossa sociedade, no entanto, o projeto inicial das redes tradicionais não poderia atender os requisitos de todas essas aplicações, pois muitas não foram sequer imaginadas. Como resultado, tem-se um ambiente de redes com pouco suporte e flexibilidade para anteder às novas exigências. Nesse contexto, surgiu, então, um conceito promissor de redes programáveis denominado Redes Definidas por Software (SDN Software Defined Network). SDN separa o plano de controle do plano de dados permitindo aos desenvolvedores programar a rede de acordo com as necessidades de suas aplicações. Além disso, tornou possível a implementação e testes em ambientes reais, inovações tecnológicas para o ambiente de redes sem, para isso, depender dos fabricantes de equipamentos. Este trabalho propõe a utilização de NetFPGAs como ferramenta de encaminhamento em SDN, controlada por um controlador OpenFlow a fim de diminuir o caminho percorrido por um pacote de sua origem ao seu destino. Além disso, propõese utilizar a NetFPGA com OpenFlow para uma implementação de múltiplos caminhos com balanceamento de cargas. Será avaliada, ainda, a influência de tabelas de fluxos na comutação de pacotes comparando um protocolo que utiliza tabelas para encaminhamento (OpenFlow) com um que não utiliza tabelas para este fim (KeyFlow).

Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-10-05T22:20:02Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO David Carlos Pereira da Cunha.pdf: 2336318 bytes, checksum: 8596e5b5d5b6704df1e637e2b5b20268 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-11-14T21:10:45Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO David Carlos Pereira da Cunha.pdf: 2336318 bytes, checksum: 8596e5b5d5b6704df1e637e2b5b20268 (MD5) / Made available in DSpace on 2018-11-14T21:10:45Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO David Carlos Pereira da Cunha.pdf: 2336318 bytes, checksum: 8596e5b5d5b6704df1e637e2b5b20268 (MD5) Previous issue date: 2017-07-12 / Um estudo especializado recente sobre tendências para 2021 mostra que o tráfego de vídeo (ao vivo e sob demanda) na internet deve ultrapassar 80% do tráfego global IP e é esperado um crescimento da qualidade dos vídeos devido ao aumento dos conteúdos em resoluções em ultra alta definição (4K ou 8K). Comportamento semelhante foi previsto para o cenário corporativo, que chegará a 70%. Motivados por essa tendência, também observamos, em especial nas instituições de ensino, que nem sempre o consumo principal é conteúdo educacional. A concorrência de tráfego, algo comum nos sistemas multimídia, pode trazer prejuízo ao desempenho das aplicações educacionais. Nesse cenário, o grande desafio é, ao mesmo tempo, incentivar a utilização das aplicações institucionais e suportar o tráfego gerado por plataformas como Youtube, Hangouts, Vimeo e Facebook live. O aumento da demanda e dos requisitos dos novos serviços críticos como vídeo monitoramento, telemedicina, videoconferência, VoIP e streaming, já não é suportado. E essas instituições têm concentrado esforços na melhoria das redes de acesso e aumento de largura de banda, o que ainda é complexo e custoso. A arquitetura tradicional das redes dificulta a distinção e priorização de serviços, além disso, outras necessidades surgem, como: controle de fluxo, processamento e controle de qualidade. As Software-defined Network (SDN) apresentam um novo paradigma de redes, fornecendo controle centralizado e programável para tomada decisões de controle sob o tráfego. O objetivo desta pesquisa é propor uma solução baseada em SDN para melhorar a QoS e QoE no tráfego multimídia educacional. Nos propusemos a estudar problemas relevantes e que são vivenciados em infraestruturas, principalmente de instituições de ensino federal. Uma consequência esperada é proporcionar uma melhoria qualitativa do conteúdo de vídeo disponibilizado, aumentando a presença institucional de aplicações avançadas como a telemedicina, monitoramento de campi e de sensores, videoconferências para EaD e streaming em tempo real. Desta forma, vislumbrando o crescimento do tráfego de vídeo na UFPE, o nosso ambiente precisa avaliar as soluções de Quality of Service (QoS) e Quality of Experience (QoE) com atenção especial para a modalidade Educação a Distância (EaD). Propusemos uma solução para classificação de tráfego priorização de serviços e como prova de conceito, construímos um ambiente experimental e avaliamos a eficácia em termos das métricas de vazão, jitter, PSNR, VQM e SSIM para tráfego de vídeo em tempo real. Os resultados obtidos indicaram melhorias de até 49% em relação à perda de quadros, 85% em relação à variação de atraso e vazão mínima garantida e estável quando da adoção da proposta num cenário de alto congestionamento. / A recent expert study on trends for 2021 shows that video traffic (live and on demand) on the Internet should exceed 80% of the global IP traffic and video quality growth is expected due to increased content in Ultra HD resolutions (4K). Similar behavior was predicted for the corporate scenario that will reach 70%. Motivated by this tendency, we also observe, especially in educational institutions, that the main consumption is not always educational content. Traffic competition, which is common in multimedia systems, can adversely affect the performance of educational applications. In this scenario, the challenge is at the same time to encourage the use of institutional applications and support the traffic generated by platforms such as Youtube, Hangouts, Vimeo and Facebook live. The increased demand and requirements of critical new services such as video monitoring, telemedicine, videoconferencing, VoIP and streaming are no longer supported. And these institutions have concentrated on improving access networks and increasing bandwidth, which is still complex and costly. The traditional architecture of the networks makes it difficult to distinguish and prioritize services; in addition, other needs arise, such as: flow control, processing and quality control. Software-defined networks (SDN) present a new network paradigm, providing centralized and programmable control for making control decisions under traffic. The purpose of this research is to propose an SDN based solution to improve QoS and QoE in educational multimedia traffic. We set out to study relevant problems that are experienced in infrastructures, mainly from federal educational institutions. An expected consequence is to provide a qualitative improvement of the video content made available, increasing the institutional presence of advanced applications such as telemedicine, monitoring of campuses and sensors, videoconferences for EaD and real time streaming. Thus, with a view to the growth of video traffic in UFPE, our environment needs to evaluate QoS and QoE solutions with special attention to the E-learning. We proposed a solution for traffic classification ande prioritization of services and as proof of concept, we built an experimental environment and evaluated the effectiveness of throughput, jitter, PSNR, VQM and SSIM metrics for real-time video traffic. The results obtained indicated improvements of up to 49% in relation to the frame loss, 85% in relation to the delay variation and minimum throughput guaranteed and stable when adopting the proposal in a scenario of high congestion.

Submitted by Paula Quirino (paula.quirino@ufpe.br) on 2015-03-04T18:58:57Z No. of bitstreams: 1 Dissertaçao de OLLYVER, L. O TRATAMENTO DOS TERMOS SINGULARES EM FREGE E RUSSELL.pdf: 442594 bytes, checksum: 45583ff22b7217b2bb0173608e298f83 (MD5) / Made available in DSpace on 2015-03-04T18:58:57Z (GMT). No. of bitstreams: 1 Dissertaçao de OLLYVER, L. O TRATAMENTO DOS TERMOS SINGULARES EM FREGE E RUSSELL.pdf: 442594 bytes, checksum: 45583ff22b7217b2bb0173608e298f83 (MD5) Previous issue date: 2013 / O objetivo deste trabalho é colocar numa balança através da analise das teorias de Frege e Russell quanto a maneira como eles propõem uma teoria da referência para os termos singulares. A leitura destes trabalhos é realizada a partir dos puzzles lógicos. Verificando quais destas podem nos oferecer uma teoria mais sólida sobre a referência destes termos. Usamos como método a apresentação dos puzzles lógicos e posteriormente como as posições mencionadas lidam com eles. É utilizado como critério de avaliação destas teorias qual delas é capaz de responder melhor a cada um dos puzzles apresentados. Será abordado também as críticas destas posições também serão levadas em consideração antes de concluirmos algo a favor de uma ou outra posição.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência Da Computação, 2015. / O gerenciamento de desempenho de aplicações é frequentemente dificultado pela presença de middleboxes, por sua variedade e capacidade de alterar o tráfego que os atravessa. Com o advento das Redes Definidas por Software (do Inglês, Software-Defined Networking, SDN), surgem novas possibilidades para o gerenciamento de desempenho a partir da programabilidade dos dispositivos e do controle centralizado do tráfego. Este trabalho propõe uma arquitetura que objetiva mitigar os desafios impostos pelos middleboxes ao monitoramento de desempenho em SDN. Em particular, é apresentado e validado um protótipo que identifica o tempo de resposta, a disponibilidade e informações de conexões de aplicações na presença de quatro middleboxes: um balanceador de carga, um firewall, um sistema de prevenção de intrusões (do Inglês, Intrusion Prevention System, IPS) e um sistema de tradução de endereços de rede (do Inglês, Network Address Translation, NAT). Para os três primeiros middleboxes, foram desenvolvidas Interfaces de Programação de Aplicações (do Inglês, Application Programming Interfaces, APIs) específicas. / Application Performance management is frequently hampered by the presence of middleboxes, because of their variety and capacity of modifying the traffic that traverses them. With the advent of Software-Defined Networking (SDN), new possibilities for performance management arise from the programmability of devices and the centralized control of traffic. This work proposes an architecture that aims at mitigating the challenges posed by middleboxes in performance monitoring in SDN. In particular, it is presented and validated a prototype that identifies the response time, the availability and connection information of applications in the presence of four middleboxes: a load balancer, a firewall, an Intrusion Prevention System (IPS) and a Network Address Translation (NAT) system. For the first three middleboxes, specific Application Programming Interfaces (APIs) were developed.

Submitted by Diogo Barreiros (diogo.barreiros@ufba.br) on 2017-06-02T16:07:58Z No. of bitstreams: 1 Dissertação_Cleber_Final.pdf: 7551475 bytes, checksum: 81ec53d1cfbee023ecc28745db6472a1 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-06T14:17:04Z (GMT) No. of bitstreams: 1 Dissertação_Cleber_Final.pdf: 7551475 bytes, checksum: 81ec53d1cfbee023ecc28745db6472a1 (MD5) / Made available in DSpace on 2017-06-06T14:17:04Z (GMT). No. of bitstreams: 1 Dissertação_Cleber_Final.pdf: 7551475 bytes, checksum: 81ec53d1cfbee023ecc28745db6472a1 (MD5) / Os grandes centros de dados atuais tipicamente adotam redund^ancia de servidores e equipamentos de comunica c~ao para aumento de sua con abilidade e disponibilidade. Infraestrutura altamente redundante, contudo, consiste num dos desa os da area devido ao alto consumo de energia. Esta disserta c~ao apresenta a BEEP, uma estrat egia energeticamente e ciente para redes de centro de dados de nidas por software, baseadas na topologia Fat-Tree. Nossa estrat egia, implementada atrav es de uma rede OpenFlow faz uso de m ultiplos caminhos, atrav es do MultiPath TCP { MPTCP e da vis~ao global oferecida por controladores de uma rede de nida por software, para equilibrar e ci^encia energ etica, n vel de redund^ancia dos equipamentos e ganho de desempenho no atendimento as demandas de tr afego. Para alcan car este equil brio, a BEEP procura fazer com que o tr afego de comunica c~ao seja enviado o mais r apido poss vel, utilizando-se da maior quantidade poss vel de caminhos distintos existentes entre a origem o destino de uma comunica c~ao. Desta forma, as interfaces dos comutadores permanecem em estado ocioso na maior parte do tempo e, assim, o consumo energ etico e reduzido. Resultados experimentais em variantes da topologia Fat-Tree demonstraram ganhos de e ci^encia energ etica com a estrat egia na ordem de 21% a 47%, em compara c~ao a outras estrat egias (ECO-RP e GreenCloud), al em de melhoria na utiliza c~ao da largura de banda dispon vel, conforme haja mais caminhos alternativos dispon veis em todos os cen arios avaliados. Al em de construir a BEEP, as demais contribui c~oes trazidas por esta disserta c~ao s~ao: i) o desenvolvimento de um ambiente de prototipa c~ao de aplica c~oes de TCP de m ultiplos caminhos em redes de nidas por software, capaz de mensurar e validar novas propostas para economia de energia baseada em elementos de uma rede de centro de dados; e ii) uma avalia c~ao experimental do TCP de m ultiplos caminhos implementado atrav es de redes de nidas por software para redes de centro de dados.

No description available.

Orientador: Ana Carolina Lorena / Dissertação (mestrado) - Universidade Federal do ABC. Programa de Pós-Graduação em Engenharia da Informação, 2014

Submitted by LÍGIA RODRIGUES PRETE (ligiaprete@gmail.com) on 2017-02-09T18:51:10Z No. of bitstreams: 1 ligia_rodrigues_prete.pdf: 7338300 bytes, checksum: 749589aef86e7cc89e556975ee3c0763 (MD5) / Approved for entry into archive by LUIZA DE MENEZES ROMANETTO (luizamenezes@reitoria.unesp.br) on 2017-02-14T17:42:37Z (GMT) No. of bitstreams: 1 prete_lr_dr_ilha.pdf: 7338300 bytes, checksum: 749589aef86e7cc89e556975ee3c0763 (MD5) / Made available in DSpace on 2017-02-14T17:42:37Z (GMT). No. of bitstreams: 1 prete_lr_dr_ilha.pdf: 7338300 bytes, checksum: 749589aef86e7cc89e556975ee3c0763 (MD5) Previous issue date: 2016-12-13 / O consumo de energia no setor de Tecnologia da Informação e Comunicação (TIC) tem crescido exponencialmente nos últimos anos, em virtude da quantidade crescente de equipamentos para armazenamento e processamento de dados. O paradigma de Redes Definidas por Software (do inglês, Software-Defined Networking - SDN) e a arquitetura OpenFlow estão permitindo uma nova gama de aplicações e serviços para redes. A presente tese apresenta um estudo que aplica tecnologias SDN em um ambiente virtualizado com a federação GENI (Global Environment for Network Innovation). Neste trabalho foi desenvolvido um módulo no controlador Floodlight intitulado como Módulo Economia de Energia que emprega um algoritmo denominado MiNet (Mínima Rede) para a construção da Árvore de Extensão Mínima (do inglês, Minimum Spanning Tree - MST) sobre os componentes de comutação em redes. Este estudo apresenta três simulações em duas topologias de rede Fat Tree, sendo, uma com dez (FatTree10) e outra com vinte switches (FatTree20). Na primeira simulação foi realizada sem o módulo com a configuração padrão do controlador Floodlight para servir de comparação com os resultados de desempenho obtidos nas outras duas simulações. Já a segunda, com o Módulo Economia de Energia incluído no controlador, foi avaliada quanto aos custos iniciais nas ligações entre os switches. Na terceira, os custos nas ligações dos switches foram alterados para evidenciar que o Módulo Economia de Energia é capaz de recalcular uma nova Árvore de Extensão Mínima sobre os custos fornecidos e assim adaptar-se à rede para uma nova situação de atualização. Por meio de simulações realizadas, considerando somente as ligações entre os switches, sendo, quarenta portas Ethernet para a topologia menor e oitenta portas Ethernet para a topologia ampla, de acordo com os resultados alcançados, o módulo incorporado no Floodlight reduziu o consumo de energia final em 35% para a topologia FatTree10 e 32,5% na topologia FatTree20. / Energy consumption in the Information and Communication Technology (ICT) sector has grown exponentially recently, due to the increasing amount of equipment for data storage and processing. The paradigm of Software-Defined Networking (SDN) and OpenFlow architecture are enabling a new range of applications and services for networks. This thesis presents a study that applies SDN technologies in a virtualized environment with the GENI federation (Global Environment for Network Innovation). This paper developed a module in Floodlight controller titled Energy Saving Module employing an algorithm called MiNet (Minimum Network) for the construction of the Minimum Spanning Tree (MST) on the switching components in networks. This study presents three simulations in two network topologies Fat Tree, as it follows, a ten one (FatTree10) and another with twenty switches (FatTree20). In the first simulation, it was performed without the module with the default configuration of Floodlight controller to serve as a comparison with the performance results in the other two simulations. The second, with Module Energy Saver included in the controller, it evaluated the initial costs on the links between switches. In the third, the costs in the connections of the switches were changed to high light that the Energy Savings Module is able to recalculate a new Minimum Spanning Tree on the provided costs and thus adapt the network to a new update situation. Through the performed simulations, considering only the links between switches, as it is, forty Ethernet ports for smaller topology and eighty Ethernet ports for wide topology, according to the achieved results, the embedded module Floodlight reduced the final energy consumption to 35% FatTree10 topology and 32.5% FatTree20 topology.