Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2013. / Submitted by Ricardo Tavares (ricardosoares@bce.unb.br) on 2013-06-12T20:55:53Z No. of bitstreams: 1 2012_GersonKazuyoshiKida.pdf: 3339648 bytes, checksum: 0158f93a3397c6396c892b1bc580100f (MD5) / Rejected by Patrícia Nunes da Silva(patricia@bce.unb.br), reason: Refazer referências e preencher informações adicionais. on 2013-06-13T19:24:59Z (GMT) / Submitted by Ricardo Tavares (ricardosoares@bce.unb.br) on 2013-06-13T20:43:39Z No. of bitstreams: 1 2012_GersonKazuyoshiKida.pdf: 3339648 bytes, checksum: 0158f93a3397c6396c892b1bc580100f (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2013-06-14T16:51:59Z (GMT) No. of bitstreams: 1 2012_GersonKazuyoshiKida.pdf: 3339648 bytes, checksum: 0158f93a3397c6396c892b1bc580100f (MD5) / Made available in DSpace on 2013-06-14T16:51:59Z (GMT). No. of bitstreams: 1 2012_GersonKazuyoshiKida.pdf: 3339648 bytes, checksum: 0158f93a3397c6396c892b1bc580100f (MD5) / Neste trabalho é proposto um simulador das lógicas de intertravamento de chaves seccionadoras e proteção dos componentes elétricos de uma subestação de energia elétrica hipotética, desenvolvido na linguagem de programação C#, utilizando-se o paradigma da orientação a objetos. O simulador foi implementado visando servir como ferramenta de auxílio no treinamento de operadores de subestações, melhorando a agilidade na solução de distúrbios e retorno a condição normal. Os resultados obtidos nos testes e manobras comprovam a funcionalidade do sistema e a viabilidade de utilização para treinamento de operadores. _________________________________________________________________________________ ABSTRACT / In this work, it is proposed an interlock switchgear and power system protection logics simulator for a hypothetical power substation, which is implemented by using the C# language programming and the paradigm of object-oriented programming. The simulator aims to support the training of power substations operators, in order to improve its ability to deal with disturbances situations and the actions that must be done to restabilish the normal condition. The obtained results demonstrate the system functionality and feasibility of use for training operators of electric power substations.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2009. / Submitted by Larissa Ferreira dos Angelos (ferreirangelos@gmail.com) on 2010-04-07T18:50:46Z No. of bitstreams: 1 2009_PauloAngeloAlvesResende.pdf: 340390 bytes, checksum: af9c1fec2af2d27b2f9d727b0e8c4b19 (MD5) / Approved for entry into archive by Daniel Ribeiro(daniel@bce.unb.br) on 2010-05-13T21:25:23Z (GMT) No. of bitstreams: 1 2009_PauloAngeloAlvesResende.pdf: 340390 bytes, checksum: af9c1fec2af2d27b2f9d727b0e8c4b19 (MD5) / Made available in DSpace on 2010-05-13T21:25:23Z (GMT). No. of bitstreams: 1 2009_PauloAngeloAlvesResende.pdf: 340390 bytes, checksum: af9c1fec2af2d27b2f9d727b0e8c4b19 (MD5) Previous issue date: 2009 / Neste trabalho estudamos o estimador da ordem de cadeias de Markov usando o critério EDC (Efficient Determination Criterion) com o termo de penalidade ótimo proposto por Dorea (2008). Realizamos uma análise comparativa das performances dos estimadores EDCopt, BIC e AIC, baseada nos resultados de simulações computacionais realizadas. _________________________________________________________________________________ ABSTRACT / In what follows we study and analyze the Markov chain order estimator EDC (Efficient Determination Criterion) with the penalty function proposed by Dorea (2008). We also carry out extensive numerical simulations based on EDC, BIC and AIC, aiming to a detailed comparison of their features as well as their relative performance.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2010. / Submitted by Allan Wanick Motta (allan_wanick@hotmail.com) on 2011-01-21T18:14:44Z No. of bitstreams: 1 2010_FlavioJoseFerroBarros.pdf: 454810 bytes, checksum: 20b7e7f5115fdc9ff34396a6f5e6cc1f (MD5) / Approved for entry into archive by Daniel Ribeiro(daniel@bce.unb.br) on 2011-01-26T00:28:37Z (GMT) No. of bitstreams: 1 2010_FlavioJoseFerroBarros.pdf: 454810 bytes, checksum: 20b7e7f5115fdc9ff34396a6f5e6cc1f (MD5) / Made available in DSpace on 2011-01-26T00:28:37Z (GMT). No. of bitstreams: 1 2010_FlavioJoseFerroBarros.pdf: 454810 bytes, checksum: 20b7e7f5115fdc9ff34396a6f5e6cc1f (MD5) / Apresenta-se uma formalização das propriedades de composicionalidade do Cálculo lambda-ex em Coq. A abordagem utilizada baseia-se na lógica nominal de acordo com o trabalho desenvolvido por [3]. Mais especificamente estendemos a formalização do lambda-cálculo contida neste trabalho de forma a incluir a operação de substituição explícita do cálculo lambda-ex. Nessa abordagem, a alpha-equivalência coincide com a igualdade pré-construída de Coq, e os princípios de recursão e indução sobre classes de lambda-termos possuem tratamento específico. Escolhemos trabalhar com o cálculo lambda-ex por ser atualmente o único cálculo que satisfaz simultaneamente todas as propriedades desejáveis para um cálculo de substituições explícitas. Ele é uma extensão do lambda-x com uma regra de reescrita para composição de substituições dependentes e uma equação para comutação de substituições independentes. O cálculo lambda-ex usa um construtor unário para a substituição explicita, mas tem o mesmo poder de expressividade de cálculos com substituições simultâneas. _________________________________________________________________________________ ABSTRACT / We present a formalization of properties of compositionality of the ex-calculus in Coq. The approach is based in the nominal logic as presented in the paper [3]. More precisely, we extended a formalization of the -calculus in such a way that it now includes the explicit substitution operation of the ex-calculus. In this approach, -equivalence of -terms coincides with the Coqt’s built-in equality, and the principles of recursion and induction over classes of -terms are treated in a specific way. We chose to work with the ex-calculus because it is currently the only calculus that simultaneously satisfies all the desirable properties for a calculus of explicit substitutions. It is an extension of the x-calculus with a rewrite rule for composition of dependent substitutions and one equation for independent substitutions. The ex-calculus has a unary constructor for the explicit substitution operation, but have the same expressive power of calculi with simultaneous substitutions.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Psicologia, 2010. / Submitted by Jaqueline Ferreira de Souza (jaquefs.braz@gmail.com) on 2011-09-09T12:06:21Z No. of bitstreams: 1 2010_TarcisioRibeiroFreireJr.pdf: 1653040 bytes, checksum: 46ea89e17f856da11681a6878fcd45ac (MD5) / Approved for entry into archive by Jaqueline Ferreira de Souza(jaquefs.braz@gmail.com) on 2011-09-09T12:06:35Z (GMT) No. of bitstreams: 1 2010_TarcisioRibeiroFreireJr.pdf: 1653040 bytes, checksum: 46ea89e17f856da11681a6878fcd45ac (MD5) / Made available in DSpace on 2011-09-09T12:06:35Z (GMT). No. of bitstreams: 1 2010_TarcisioRibeiroFreireJr.pdf: 1653040 bytes, checksum: 46ea89e17f856da11681a6878fcd45ac (MD5) / A inserção de sistemas informatizados no ambiente de trabalho proporciona uma série de facilidades e comodidades para os seus usuários, como também é responsável por novos e diferentes tipos de dificuldades. Nessa pesquisa busca-se verificar se o software CADI-JUS atende as necessidades das atividades de cadastramento/consulta de informações referentes aos imóveis e terrenos da Justiça Federal. Com base em pressupostos metodológicos da Ergonomia, o método do estudo acompanha os princípios que subsidiam a formulação da Análise Ergonômica do Trabalho - AET enriquecida por procedimentos formulados por Silvino (2004) denominado de Tecnologia de Avaliação e (Re)Concepção de Interfaces – TAI. O estudo divide-se em duas etapas. A primeira, Planejamento, corresponde à (a) análise documental; (b) entrevistas semi-estruturadas; e (c) reuniões realizadas com responsáveis pela instituição e pelo controle do aplicativo. A segunda, Análise do Aplicativo, pauta-se na realização de (d) análises intrínseca e (e) extrínseca do aplicativo. Portanto, busca-se avaliar por meio destas abordagens os fatores que condicionam o uso do software, de modo que ao término da pesquisa seja produzido um relatório diagnóstico destes fatores e, atrelado a estes, recomendações que favoreçam as necessidades de uso do aplicativo em situação de trabalho. Os resultados encontrados reafirmam que o modo pelo qual os novos sistemas informatizados são desenvolvidos favorece o surgimento de ferramentas focadas em tecnologias e que na maioria dos casos ignoram os critérios básicos de usabilidade. ___________________________________________________________________________________ ABSTRACT / The introduction of computerized systems in the workplace provides a range of facilities and amenities for its users, but also is responsible for new and different kinds of difficulties. In this research seeks to verify the software CADI-JUS support the needs of the activities of registration / consultation of information relating to building and land of the Justiça Federal. Based on methodological assumptions of ergonomics, the method of study follows the principles that underlie the formulation of Ergonomic Analysis of Work - AET enriched with procedures formulated by Silvino (2004) called the Tecnologia de Avaliação e (Re)Concepção de Interfaces - TAI. The study is divided into two stages. The first, Planning, represents the completion of (a) document analysis, (b) semi-structured interviews, and (c) meetings with authorities of the institution and the control of the application. The second, analysis of the application, staff on the achievement of (d) an intrinsic analysis, and (e) extrinsic analysis of application. Therefore, we assessed by means of these approaches the factors that influence the use of the software, so that the end of the research is produced a report and diagnosis of these factors, coupled with these recommendations that support the needs of application usage in a situation work. The results reaffirm that the way the new IT systems are developed favors the emergence of tools focused on technology and that in most cases ignore the basic criteria of usability.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Arquitetura e Urbanismo, Programa de Pós-Graduação em Arquitetura e Urbanismo, 2011. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2011-05-04T15:28:11Z No. of bitstreams: 1 2011_PaolaCaliariFerrariMartins.pdf: 21766153 bytes, checksum: c86f43b87a19bbc2afda44ecef1dff74 (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2011-05-09T22:34:18Z (GMT) No. of bitstreams: 1 2011_PaolaCaliariFerrariMartins.pdf: 21766153 bytes, checksum: c86f43b87a19bbc2afda44ecef1dff74 (MD5) / Made available in DSpace on 2011-05-09T22:34:18Z (GMT). No. of bitstreams: 1 2011_PaolaCaliariFerrariMartins.pdf: 21766153 bytes, checksum: c86f43b87a19bbc2afda44ecef1dff74 (MD5) / Este trabalho tem por objetivo verificar o grau de sucesso da interoperabilidade entre sistemas BIM (Building Information Modeling) e simuladores ambientais. Essa verificação visa também avaliar preliminarmente a contribuição dos sistemas BIM para a eficiência energética dos projetos de edificação Duas são as hipóteses deste trabalho: (1) o sucesso da interoperabilidade entre estes dois tipos de sistemas é inversamente proporcional à quantidade de retrabalho necessária para completar ou recompor o modelo e realizar a simulação após a transferência de dados entre os mesmos; (2) a interoperabilidade, quando realizada de forma integral, entre estes dois sistemas possibilita contribuir de forma positiva para a eficiência energética. O método de investigação consistiu no seguinte processo: um mesmo modelo de edificação foi desenvolvido em dois programas do tipo BIM. Posteriormente este modelo foi exportado, no esquema gbXML, para dois simuladores ambientais onde foram feitas simulações e análises da luz natural e artificial. Após esse processo o modelo de edificação foi exportado de volta para o BIM a fim de ser atualizado. Foram utilizados os sistemas BIM Graphisoft ArchiCAD 14 e Autodesk Revit Architecture 2011 e os simuladores ambientais Autodesk Ecotect Analysis 2011 e IES <VE> 6.1.1. Os resultados desse experimento mostram que não há interoperabilidade integral entre os programas estudados. Foi necessário reconfigurar o modelo após a exportação para os simuladores ambientais nos quatro casos. A exportação de volta para o programa dos sistemas BIM, após as análises e modificações no modelo, não foi obtida com sucesso, portanto foi necessário atualizar o modelo manualmente nos sistemas BIM. Os resultados mostram que, de fato, a interoperabilidade entre estes tipos de programas é significativamente incipiente. A partir destes resultados, pode ser proposta como objeto de futuras pesquisas sobre interoperabilidade a padronização de formatos para unificação de bancos de dados de todos os programas envolvidos. Assim, os elementos, materiais e comportamentos seriam reconhecidos. O formato de domínio público IFC, que utiliza essa padronização, tem sido sugerido como possível solução. ______________________________________________________________________________ ABSTRACT / The objective of this research is to verify the degree of success of the interoperability between BIM (Building Information Modeling) systems and environmental simulation software. This verification*n also aims to provide a preliminary assessment of the contribution of BIM to energy efficient design. Two hypothesis were established in this research: (1) the interoperability success is inversely proportional to the rework necessary to complete the model and carry out the simulation after the data exchange between the BIM simulation systems; (2) the interoperability between the two types of systems contributes to energy efficient design when the data exchange is integral. The research method consisted of the following: the same building model was developed in two different BIM systems. They were then exported in the format gbXML to two environmental simulation software for day light and artificial light analysis. Afterwards the models were exported back to the BIM systems for design updating. The two BIM software used were Graphisoft ArchiCAD 14 and Autodesk Revit Architecture 2011. The environmental simulators used were Autodesk Ecotect Analysis 2011 and IES <VE> 6.1.1. The results show that there was not full interoperability between the programs that were studied. It was necessary to reconfigure the building model after exportation to the environmental simulators in all four cases. The data transfer back to the BIM systems was unsuccessful and it was necessary to update the design model manually. The results show that the interoperability between those types of software is still significantly rudimentary. Future research on interoperability should focus on format standardization to make possible for construction components to be properly recognized by all programs. The open format IFC has been suggested as a possible solution.

Esta tese apresenta uma arquitetura de Sumarização Automática de Textos Consciente de Contexto que visa contribuir como fator de adaptação em dispositivos de computação móvel. O processo de sumarização proposto baseia-se em informações contextuais, especificamente localização espacial, temporalidade e perfis de usuário, em uma extensão do algoritmo de sumarização extrativa TF-ISF pela inclusão de níveis de relevância adicionais representados por Palavras-Contextuais. A necessidade de adaptação no processo de visualização de textos em dispositivos de computação móvel advém tanto do crescimento da disponibilização de informações em redes de computadores sem fio quanto das características e restrições intrínsecas da plataforma computacional móvel, bem como da baixa capacidade de armazenamento e processamento e interfaces restritas em termos de tamanho e possibilidades de interação. Como um dos possíveis fatores de adaptação sugere-se a utilização da sumarização automática de textos. Esta possibilita a seleção e apresentação das sentenças consideradas mais relevantes dos documentos originais produzindo, com isso, documentos compactos e mais apropriados para a materialização em dispositivos móveis. Entretanto, considera-se que os métodos de sumarização automática atualmente disponíveis na literatura não atendem plenamente a questão proposta porque não consideram, quando do processo de sumarização, as importantes informações contextuais fornecidas pela computação móvel. Como resultado do processo proposto de adaptação através da Sumarização Consciente de Contexto espera-se que os extratos obtidos sejam mais úteis aos usuários dos dispositivos de computação móvel pela sua maior adequação tanto ao contexto quanto ao perfil, bem como da efetiva consideração das limitações intrínsecas a estes. Esta solução visa contribuir fortemente para a disponibilização de informações adequadas e personalizadas, no momento oportuno, para o local adequado.

Resumo não disponível

A redução na escala dos semicondutores tem aumentado a suceptibilidade de componentes eletrônicos a radiação. Single event transient (SET) afeta cada vez mais os circuitos integrados. Os efeitos da radiação podem afetar as redes de relógio dos circuitos integrados. Durante o impacto de uma partícula ionizada, a carga pode ser coletada na saída do buffer da rede de relógio e provocar um clock glich, clock jitter e clock skew. Como consequência do impacto, é possivel notar erros no fluxo do controle e no fluxo de dados do sistema. A presente tese investiga a suscetibilidade ao SET nas redes de relógio dos circuitos. Nós estamos interessados nos caminhos mais sensíveis da rede e nos registros que apresentam mais probabilidade de mudar de estado (bit-flip). Alguns bit-flips tem mais probabilidade de provocar uma falha na saída do circuito, enquanto outros podem ser mascarados pela aplicação. Nesta tese propomos uma nova metodologia para identificar os nós mais sensíveis e calcular o soft error rate causado pelo SET nas redes de relógio. Nossa metodologia utiliza uma ferramenta desemvolvida para esta tese chamada EXT-CLK, a ferramenta extrai a rede de relógio dos archivos de desenho do circuito para realizar diferentes simulações de injeção de SET. Como estudo de caso foi selecionado o circuito SRAM arbiter. Centenas de simulações foram feitas com o intuito de identificar os nós mais sensíveis da rede de relógio. Os resultados mostram 17 registros do ciruito SRAM arbiter terem alto índice de suscetibilidade. A informação encontrada nos resultados poderão ajudar os desenhadores a escolher a técnica de mitigação mais apropriada para o circuito antes de ser fabricado. / Technology scaling to semiconductor has increased the radiation-induced susceptibility of electronic devices. Single Event Transient (SET) are becoming increasingly problematic for integrated circuits (ICs). Radiation effects may occur in the clock distribution networks of the ICs. During the strike of an ionizing particle, charge may be collected on the output node of the clock buffer, provoking a clock glitch, clock jitter and clock skew. As consequence of the impact, it is possible to notice errors in the control flow or data flow of the system. This work investigates the SET susceptibility in the clock distribution network of the circuit. We are interested in the most sensitive paths of the network and registers that are most likely to flip in the clock network. Some bit-flips are most likely to provoke a fault in the IC output once a failure occur in those elements. In the present work we propose a new methodology to identify the most sensitive nodes and to calculate the soft error rate due to SET in clock distribution network. This new methodology uses a tool developed in this thesis named EXT-CLK. The tool extracts the clock network from layout design files, to perform different simulations of SET injection in electrical and logic level. The SRAM arbiter circuit has been chosen as a case study. Thousands of electrical simulations have been performed in order to identify the sensitive nodes of the clock network. Results show that 17 registers of SRAM arbiter exhibit high vulnerability factor. This information can help the designers to use some mitigation techniques on those registers before the manufacturing process.

Esta Tese apresenta o SAM (Sistema Adaptativo para Multimídia), que consiste numa ferramenta de transmissão e recepção de sinais multimídia através de redes de computadores. A ferramenta pode ser utilizada para transmissões multimídia gravadas (vídeo sob demanda) ou ao vivo, como aulas a distância síncronas, shows e canais de TV. Seu maior benefício é aumentar o desempenho e a acessibilidade da transmissão, utilizando para isso um sinal codificado em camadas, onde cada camada é transmitida como um grupo multicast separado. O receptor, utilizando a ferramenta, adapta-se de acordo com a sua capacidade de rede e máquina no momento. Assim, por exemplo, um receptor com acesso via modem e outro via rede local podem assistir à transmissão na melhor qualidade possível para os mesmos. O principal foco da Tese é no algoritmo de controle de congestionamento do SAM, que foi denominado ALM (Adaptive Layered Multicast). O algoritmo ALM tem como objetivo inferir o nível de congestionamento existente na rede, determinando a quantidade de camadas que o receptor pode suportar, de forma que a quantidade de banda recebida gere um tráfego na rede que seja eqüitativo com outros tráfegos ALM concorrentes, ou outros tráfegos TCP concorrentes. Como se trata de transmissões multimídia, é desejável que a recepção do sinal seja estável, ou seja, sem muitas variações de qualidade, entretanto, o tráfego TCP concorrente é muito agressivo, dificultando a criação de um algoritmo estável. Dessa forma, desenvolveu-se dois algoritmos que formam o núcleo desta Tese: o ALMP (voltado para redes privativas), e o ALMTF (destinado a concorrer com tráfego TCP). Os elementos internos da rede, tais como os roteadores, não necessitam quaisquer modificações, e o protocolo funciona sobre a Internet atual. Para validar o método, se utilizou o software NS2 (Network Simulator), com modificações no código onde requerido. Além disso, efetuou-se uma implementação inicial para comparar os resultados das simulações com os da implementação real. Em http://www.inf.unisinos.br/~roesler/tese e também no CD anexo a esta Tese, cuja descrição encontra-se no Anexo B, podem ser encontrados todos os programas de apoio desenvolvidos para esta Tese, bem como a maior parte da bibliografia utilizada, o resultado das simulações, o código dos algoritmos no simulador e o código do algoritmo na implementação real.

Made available in DSpace on 2014-06-12T15:58:15Z (GMT). No. of bitstreams: 2 arquivo3316_1.pdf: 5730549 bytes, checksum: cff2a33fe304e845301e541fe55d0dda (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / A crescente demanda de tráfego e o dinamismo do mercado de Redes de Computadores, necessitando a cada dia mais de integração entre serviços (voz, vídeo e dados), fazem com que os ISPs (Internet Service Providers) estejam sempre em constante atualização, visando acompanhar as tendências desse mercado tecnológico, com o objetivo não só de prover uma boa qualidade nos serviços ofertados, mas também de evitar uma rápida obsolescência dos equipamentos adquiridos. Nesse contexto, a tecnologia MPLS (MultiProtocol Label Switching) é indicada para prover evolução, otimização e flexibilidade aos backbones atuais, se mostrando como uma tecnologia emergente a ser empregada nos ISPs, como uma alternativa de suporte à qualidade de serviço (QoS), engenharia de tráfego (TE) e redes virtuais privadas (VPNs), assegurando escalabilidade e segurança, ampliando o escopo de serviços agregados. A principal motivação e contribuição deste trabalho é mostrar o benefício obtido com a flexibilidade e otimização do backbone do SERPRO (Serviço Federal de Processamento de Dados), ao fazer uso da tecnologia MPLS, tornando-o muito mais inteligente, devido à sua capacidade de efetuar o roteamento dos pacotes baseado em rótulos, com isso acelerando o processo de transmissão das informações, e prover alguns serviços agregados, tais como: VPNs (Virtual Private Networks), QoS (Quality of Service), TE (Traffic Engineering) e AToM (Any Transport over MPLS). Nesse trabalho é proposto um ambiente de teste, desenvolvido para esta dissertação, com o objetivo de apresentar experimentos comprobatórios de alguns serviços utilizados pela tecnologia MPLS citados acima, e com isso fazer uma análise qualitativa dos mesmos. A aplicabilidade desse ambiente foi testada no emulador, de domínio público, Dynagen/Dynamips, sendo os resultados apresentados neste trabalho