• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 225
  • 51
  • 15
  • 6
  • 6
  • 6
  • 6
  • 6
  • 2
  • 1
  • 1
  • Tagged with
  • 297
  • 91
  • 87
  • 85
  • 59
  • 58
  • 51
  • 48
  • 47
  • 44
  • 44
  • 35
  • 33
  • 28
  • 25
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
211

Controle de sistemas eletro-hidr?ulicos via lineariza??o por realimenta??o com compensa??o inteligente de incertezas

Azevedo, George Oliveira de Ara?jo 25 November 2016 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-04-04T18:57:08Z No. of bitstreams: 1 GeorgeOliveiraDeAraujoAzevedo_DISSERT.pdf: 13409798 bytes, checksum: 2b80da129a9eaf742197ec7d854bc74b (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-04-12T22:17:49Z (GMT) No. of bitstreams: 1 GeorgeOliveiraDeAraujoAzevedo_DISSERT.pdf: 13409798 bytes, checksum: 2b80da129a9eaf742197ec7d854bc74b (MD5) / Made available in DSpace on 2017-04-12T22:17:49Z (GMT). No. of bitstreams: 1 GeorgeOliveiraDeAraujoAzevedo_DISSERT.pdf: 13409798 bytes, checksum: 2b80da129a9eaf742197ec7d854bc74b (MD5) Previous issue date: 2016-11-25 / Com o surgimento de t?cnicas de controle que utilizam estrat?gias n?o lineares combinadas com algoritmos da intelig?ncia artificial, tem sido poss?vel em diversas ?rea da engenharia o controle eficaz de sistemas n?o lineares, mesmo na presen?a de elevado grau de incertezas. A l?gica difusa (fuzzy) se destaca dentre as t?cnicas de intelig?ncia artificial tanto pela facilidade de sua implementa??o quanto pela semelhan?a entre o seu processo de infer?ncia e o racioc?nio humano. Outra vantagem reside no fato da l?gica difusa n?o necessitar de conhecimento pr?vio do modelo do sistema, quando aplicada ao controle de sistemas din?micos. No que tange ?s estrat?gias de controle n?o linear, a principal limita??o da t?cnica de lineariza??o por realimenta??o, por exemplo, est? na necessidade do conhecimento do modelo do sistema. Os sistemas eletro-hidr?ulicos, por sua vez, possuem modelo n?o linear de dif?cil controle pelas t?cnicas tradicionais e s?o utilizados em diversas ?reas da engenharia, como por exemplo nos setores industrial e aeroespacial. Desta forma, mostra-se extremamente importante que seu controle seja realizado de maneira eficiente, tanto por quest?es de economia quanto de seguran?a. Partindo das dificuldades apresentadas ao tentar controlar esse tipo de sistema, s?o apresentadas propostas de utiliza??o da t?cnica de controle de lineariza??o por realimenta??o em conjunto com a l?gica difusa para compensar a n?o linearidade de zona morta e demais incertezas inerentes a este tipo de sistema. Para avaliar o desempenho das estrat?gias de controle propostas s?o realizadas simula??es num?ricas utilizando um modelo n?o linear simplificado desse sistema e tamb?m s?o desenvolvidos testes experimentais em um atuador eletro-hidr?ulico de bancada.
212

Otimiza??o de alternativas de explota??o de um campo petrol?fero submetido ? inje??o de ?gua utilizando o algoritmo NSGA-II

Silva, Francisca de F?tima do Nascimento 06 March 2017 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-07-17T13:14:38Z No. of bitstreams: 1 FranciscaDeFatimaDoNascimentoSilva_TESE.pdf: 4413362 bytes, checksum: e0033cfcbd51c0cdcb5f93d10f64d5d3 (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-07-19T11:55:55Z (GMT) No. of bitstreams: 1 FranciscaDeFatimaDoNascimentoSilva_TESE.pdf: 4413362 bytes, checksum: e0033cfcbd51c0cdcb5f93d10f64d5d3 (MD5) / Made available in DSpace on 2017-07-19T11:55:56Z (GMT). No. of bitstreams: 1 FranciscaDeFatimaDoNascimentoSilva_TESE.pdf: 4413362 bytes, checksum: e0033cfcbd51c0cdcb5f93d10f64d5d3 (MD5) Previous issue date: 2017-03-06 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / O desenvolvimento de um campo petrol?fero pode ser entendido como o conjunto de a??es necess?rias para colocar o campo em produ??o: perfura??es, sistemas de inje??o, plataformas, etc. A forma como ser? feito este desenvolvimento define uma ou mais alternativas. Assim, definir alternativas de desenvolvimento de um campo petrol?fero ? uma das tarefas mais importantes na ?rea de reservat?rios, dado que estas defini??es afetam o comportamento do reservat?rio, decis?es futuras, an?lises econ?micas e, consequentemente, a atratividade resultante dos projetos definidos. Este trabalho apresenta a implementa??o de um sistema otimizador multiobjetivo baseado no algoritmo gen?tico NSGA-II (Non-Dominated Sorting Genetic Algorithm), que oferece uma ferramenta de suporte ? decis?o e automatiza a busca de alternativas para o desenvolvimento de campos petrol?feros submetidos ao processo de inje??o de ?gua. Cada alternativa refere-se ? forma como um campo petrol?fero, conhecido e delimitado, ? colocado em produ??o, isto ?, diz respeito ? determina??o do n?mero e a disposi??o dos po?os produtores e injetores no campo. A aplica??o do algoritmo consiste em encontrar as configura??es de produ??o que, em longo prazo, forne?am o maior Valor Presente L?quido (VPL), obtido a partir do custo de investimento inicial, do pre?o do petr?leo, da produ??o de ?leo e dos custos de opera??o pagos durante o tempo de produ??o, ou seja, a condi??o operacional mais vi?vel economicamente, reduzindo o tempo do processo de tomada de decis?o. Com os resultados apresentados foi poss?vel observar que em v?rios casos as aplica??es das linhas de a??o possibilitaram aumentos significativos no VPL e no Fator de Recupera??o ao final do projeto. Considerando o Caso_36 de dimens?o de malha de 300m, o Fator de Recupera??o aumentou de 45,66% para 50,24%, um aumento de quase 5 pontos percentuais no volume de ?leo recuperado. Diante do exposto, observa-se que as interven??es operacionais de alterar (aumentar ou diminuir) a vaz?o de inje??o de ?gua inicial ou mudar o layout de malha no campo melhoram a rentabilidade, reduzindo os custos com a inje??o de ?gua, tratamento e descarte da ?gua produzida, aumentando o tempo de viabilidade do projeto. Por outro lado, ? importante destacar tamb?m que, em alguns casos, ao aplicar as linhas de a??o, o Fator de recupera??o final ? menor, mas ainda sim as redu??es dos custos operacionais viabilizam a opera??o. / The development of an oil field can be understood as the set of actions necessary to put the field into production: drilling, injection systems, platforms, etc. This development the way will be made defines an alternative. Set a development of an oil field alternative is one of the most important tasks in the reservoir area, given that this definition affects the reservoir behavior, future decisions, economic analysis and consequently the resulting attractiveness of the defined project. This paper presents the implementation of a system based on genetic algorithm multiobjective optimizer NSGA-II (Non-Dominated Sorting Genetic Algorithm), which offers a decision support tool and automates the search for alternatives to the development of the oilfield submitted to water injection process. Each alternative refers to how an oil field, known and defined, is put into production, that is, with respect to the determination of number and the disposition of producers wells and injectors in the field. The implementation of the algorithm is to find the production settings, in the long run, which provide the highest net present value (NPV), obtained from the initial investment cost, the price of oil, oil production and operation costs paid during the production time, considering the operational conditions economically viable, reducing operating costs and the time in the decision-making process. With the obtained results it was possible to observe that in many cases the application of the lines of action enabled relevant rise on the net present value (NPV) and also in the Recovery Factor, both seen in the end of the project. Considering the Case_36 of the mesh that has 300m, the Recovery Factor increased from 45,66% to 50,24%, a rise of almost 5 percentage points on the volume of oil recovered. In the light of what was presented, it may be perceived that the operations that alter (ascending or descending) the flow of water injection or that change the mesh?s layout on the field improve the profitability, reducing costs from the water injection, treatment and disposal of the produced water, increasing the duration of viability of the project. However, it is important to highlight that, in some cases, applying the lines of action, the final recovery factor is lower, but still the reductions of the operational costs will make the operation viable.
213

A quinta via de Tomás de Aquino

Ribeiro, Rodrigo Marinho Santos January 2017 (has links)
Este trabalho apresenta o argumento que Tomás de Aquino (1225-1274) oferece como a quinta das vias para demonstrar a existência de Deus na Suma de Teologia. O foco desta apresentação não é explorar o contexto histórico em que o argumento se originou, nem examinar as fontes gregas, latinas e islâmicas sobre as quais Tomás teria se baseado, mas sim analisar a possibilidade de sustentá-lo de modo atemporal como um argumento plausível a favor da existência de Deus. Minha intenção é oferecer boas razões em seu favor e rebater as objeções mais notórias em contrário, apontando os limites explicativos do argumento e oferecendo sugestões para fortalecê-lo. Inicio distinguindo diferentes tipos de teleologia e de argumentos teleológicos pela existência de Deus, comparando a quinta via com os demais argumentos teleológicos de Tomás e com o argumento de William Paley pelo projeto inteligente (Intelligent Design). Em seguida, passo à análise da própria via, mostrando evidências das inclinações e tendências a fins a que Tomás faz referência e tratando das teses metafísicas que defende a partir da observação destas inclinações. Também ofereço respostas às objeções que pretendem que esta teleologia seja redutível a leis de natureza ou ao acaso. No último capítulo, considero a segunda parte da quinta via, que afirma que tais inclinações em direção a fins dependem em última instância de uma inteligência ordenadora que seria Deus. Analisando, ao fim, em que medida procedem as objeções de que esta conclusão não passa de um antropomorfismo injustificado e de que Tomás vai além do que lhe permite a conclusão ao considerar que esta inteligência é Deus. / This work presents the argument Thomas Aquinas (1225-1274) offers as the fifth of his ways to demonstrate the existence of God in the Summa Theologiae. The main point of this presentation is not to explore the historical context in which the argument was written, neither to examine the Greek, Latin and Islamic sources upon which Thomas could have based himself, but rather to analyze the possibility of sustaining it timelessly as a plausible argument in favor of God’s existence. My purpose is to offer good reasons in its favor and to rebut the most notorious objections against it, pointing out the explanatory limits of the argument, and providing suggestions to strengthen it. I start by distinguishing different sorts of teleology and of teleological arguments for the existence of God, then I compare the Fifth Way with others teleological arguments formulated by Thomas and with the argument of William Paley for the “intelligent design” hypothesis . I also analyze the way itself, pointing out evidences for the inclinations and tendencies towards ends that Thomas refers to, also dealing with the metaphysical theses that Thomas defends based on the observation of these inclinations. Moreover, I offer answers to objections that intend to reduce teleology to laws of nature or to chance. In the last chapter, I consider the second part of Fifth Way, which affirms that those inclinations towards ends ultimately depend on an ordering intelligence that would be God. Lastly, I examine to what extent are valid the objections that claim this conclusion is simply an unjustified anthropomorphism and that Thomas goes beyond what his conclusion allows him when he takes this intelligence to be God.
214

The use of the smartphone as a tool for the search of information in the undergraduate students of Education of a Metropolitan Lima’s university / El uso del smartphone como herramienta para la búsqueda de información en los estudiantes de pregrado de educación de una universidad de Lima Metropolitana / Uso do smartphone como uma ferramenta para encontrar informações sobre estudantes de graduação da faculdade de educação em uma universidade privada em Lima Metropolitano

Figueroa Portilla, Carlos Saussure 10 April 2018 (has links)
The mobile devices like the tablet and the smartphone, especially this latter, forits portability and easy access to internet, has allowed its use to a massive public,within which are the university students.In this article are shown the results of a quantitative research about how is donethe information search through the educational use of the smartphone by theincoming students of the 2015-I cycle of the education faculty in a MetropolitanLima’s university, who all of them own a smartphone. / Los dispositivos móviles como la tablet y el smartphone, sobre todo este últimopor su portabilidad y fácil acceso a internet, han extendido su uso a un públicomasivo, dentro del cual se encuentran los estudiantes universitarios.En el presente artículo se muestran los resultados de una investigacióncuantitativa acerca de cómo se realiza la búsqueda de información a través del usoeducativo del smartphone por parte de los estudiantes ingresantes del ciclo 2015-Ide la Facultad de Educación de una universidad de Lima Metropolitana, de loscuales todos poseen un smartphone.A fin de obtener la información para el presente estudio, se aplicó una encuestaal grupo señalado. A continuación se presenta la síntesis de los resultados, asícomo las conclusiones respectivas. / Dispositivos móveis como a tablet e o smartphone, especialmente o último porsua portabilidade e fácil acesso à internet, têm alargado sua utilização para umaaudiência de massa, como são os estudantes universitários.Neste artigo são apresentados os resultados de uma pesquisa quantitativa sobrecomo encontrar informações através do uso educacional do smartphone por alunosdo Ciclo 2015-I da Faculdade de Educação de uma universidade em Lima, todosos que têm um smartphone.A fim de obter a informação para este estudo, foi aplicada uma pesquisaao grupo indicado. Após são apresentadas a síntese dos resultados e também asrespectivas conclusões.
215

Perspectiva econômica e modelo de negócio da tecnologia de telecomunicação nas redes de distribuição de energia elétrica no Brasil / Smart Grid Economic Perspective and Business Model in Brazi

Agostinho Celso Pascalicchio 29 April 2011 (has links)
Este trabalho tem por objetivo avaliar a perspectiva econômica e modelo de negócio da tecnologia de telecomunicação nas redes de distribuição de energia elétrica. Essa integração entre a tecnologia de telecomunicação e a rede de distribuição constitui um sistema conhecido como rede inteligente ou smart grid. Neste estudo são analisados os modelos de rede inteligentes mais significativos do mundo, os quais ainda se encontram em fase inicial. Na análise da implantação da rede inteligente em diversos países, observa-se a existência de diferentes motivações. Por exemplo, no caso norte-americano, trata-se dos esforços do setor de energia em garantir a confiabilidade no abastecimento. Na Europa, há um grande comprometimento com a redução de carbono e gases causadores do efeito estufa. No Brasil, busca-se uma estratégia para melhorar aspectos técnicos da distribuição, diminuir as perdas técnicas, eliminar ou reduzir o roubo de energia e ajustar a oferta de energia com o crescimento urbano e industrial, aprimorando a regulamentação sobre o setor. Além da ausência de padrões de telecomunicação, que se constitui em restrição para todos os projetos de smart grid, o Brasil apresenta grandes entraves para a implantação da rede inteligente, como as tarifas elevadas para os consumidores, as dificuldades para um despacho ótimo das unidades geradoras, o elevado volume de perdas no sistema elétrico, o baixo consumo de eletricidade em termos per capita, o elevado número de medidores a serem substituídos e as diferentes características das concessionárias. Com o objetivo de eliminar ou reduzir esses entraves, propõe-se neste estudo um modelo de negócio que determina, como mais significativos, os investimentos em tecnologia da comunicação e em medidores bidirecionais. O modelo proposto avalia uma série de benefícios, dentre os quais destacam-se a redução das perdas comerciais e a redução das ligações informais. Adicionalmente, o modelo pode colaborar na modernização da rede de distribuição e para o crescimento do Produto Interno Bruto com menores investimentos em geração e transmissão e, portanto, com responsabilidade ambiental. / This thesis aims at evaluating the economic perspective and business model of the telecommunications technology in the electric power distribution system. The integration between the telecommunications systems and the distribution electric grid constitutes a new system known as intelligrid or \"smart grid\". The analysis of the most important smart grid models in the world, which are still in initial stage, shows that different countries have different motivations for the smart grid deployment. For example, the deployment motivations in USA are mostly related to efforts of the power sector to ensure reliability of the energy supply. In Europe there is a big commitment to reduce carbon and greenhouse gases. In Brazil a strategy is being sought to improve the electric power distribution grid, reduce technical losses, eliminate or reduce the theft of electricity, and match energy supply to urban and industrial growth, improving regulation of the power sector. In addition to the lack of telecommunications standards, which is a constraint for all smart grid projects, in Brazil there are high barriers to the smart grid deployment, such as high tariffs to consumers, difficulties for an optimal dispatch of generating units, a high volume of losses in the electrical system, a low per capita electricity consumption, a large number of meters to be replaced, and the different profiles of the electric power distribution companies. Aiming at eliminating or reducing such barriers, a business model framework is proposed, which determines investments in communications technology and in two-way meters as the most significant ones. The proposed model evaluates a number of benefits, among which the most important are the reduction of commercial losses and the reduction of informal connections to the mains. Additionally, the model can assist in upgrading the power distribution system and the growth of GDP with lower investments in generation and transmission, and, therefore, with environmental responsibility.
216

Controle aeroelástico por lógica difusa de uma asa flexível não-linear com atuadores piezelétricos incorporados / Aeroelastic control by fuzzy logic of a nonlinear flexible wing with embedded piezoelectric actuators

Édson Mulero Gruppioni 29 July 2008 (has links)
As estruturas aeronáuticas estão sujeitas a uma variedade de fenômenos aeroelásticos que podem comprometer o desempenho das aeronaves. Com o desenvolvimento de novos materiais, essas estruturas têm se tornado mais leves e flexíveis, e portanto mais sujeitas a problemas aeroelásticos, tais como flutter e buffeting. Pesquisadores têm trabalhado em soluções alternativas para resolver esses problemas aeroelásticos indesejáveis. Uma dessas soluções envolve o conceito de estruturas inteligentes, que são aquelas que apresentam atuadores e sensores incorporados, integrado com sistema de controle e processamento de sinal, possibilitando a adaptação do sistema estrutural a mudanças nas condições operacionais. Modelos matemáticos que incorporam elementos atuadores e sensores são de grande importância nas fases preliminares de análise de estruturas aeronáuticas inteligentes. Neste contexto, métodos de modelagem são necessários para capturar a ação da dinâmica estrutural e de carga aerodinâmica. O presente trabalho apresenta o estudo de um controlador difuso ativo para resposta aeroelástica de uma asa inteligente com atuadores piezelétricos incorporados. Características não-lineares da resposta aeroelástica são analisadas para condições críticas de flutter. É utilizado o método de elementos finitos para o modelo estrutural não-linear e o método de malha de vórtices para o modelo aerodinâmico não-estacionário. / Aeronautical structures are submitted to a variety of aeroelastic phenomena that may compromise its performance. With this development of new materials, aeronautical structures have become lighter, more flexible, and more subjected to aeroelastic problems, such as flutter and buffeting. Researchers have been working on alternatives to solve these undesired aeroelastic problems, as the recent concept of smart or intelligent structures. Smart structures are those that present embedded sensors and actuators, integrated with control systems and signal processing, to enable the adaptation of the structural system to changes in the operational conditions. Mathematical models that incorporate actuator elements or sensors are of great importance in preliminary phases of analysis of smart aeronautical structures. In this context, modeling methods are necessary to capture dynamic-structural behavior and unsteady aerodynamic loading. The present work is the study of an active fuzzy controller for aeroelastic response of a smart wing with embedded piezoelectric actuators. Nonlinear characteristics of aeroelastic responses are analyzed for critical flutter conditions. The finite elements method for the nonlinear structural model and vortex-lattice method for the unsteady aerodynamic model has been used.
217

Estratégias pedagógicas para um Ambiente Multi-agente Probabilístico Inteligente de Aprendizagem - AMPLIA

Seixas, Louise Marguerite Jeanty de January 2005 (has links)
Este trabalho pretende avaliar se é possível elaborar estratégias pedagógicas com base em modelos de níveis de tomada de consciência e utilizá-las, por meio de agentes inteligentes, em um ambiente de aprendizagem. O ambiente utilizado foi o AMPLIA - Ambiente Multi-agente Probabilístico Inteligente de Aprendizagem, desenvolvido inicialmente como um recurso auxiliar para a educação médica: neste ambiente, o aluno constrói uma representação gráfica de sua hipótese diagnóstica, por meio de uma rede bayesiana. O AMPLIA é formado por três agentes inteligentes, o primeiro é o Agente de Domínio, responsável pela avaliação da rede bayesiana do aluno. Os projetos dos outros dois agentes inteligentes do AMPLIA são apresentados nesta tese: o Agente Aprendiz, que faz inferências probabilísticas sobre as ações do aluno, a fim de construir um modelo do aluno baseado em seu nível de tomada de consciência, e o Agente Mediador, que utiliza um Diagrama de influência, para selecionar a estratégia pedagógica com maior probabilidade de utilidade. Por meio de uma revisão dos estudos de Piaget sobre a equilibração das estruturas cognitivas e sobre a tomada de consciência, foi construída a base teórica para a definição e organização das estratégias. Essas foram organizadas em classes, de acordo com o principal problema detectado na rede do aluno e com a confiança declarada pelo aluno, e em táticas, de acordo com o nível de autonomia, inferido pelo Agente Aprendiz. Foram realizados experimentos práticos acompanhados por instrumentos de avaliação e por observações virtuais on line, com o objetivo de detectar variações nos estados de confiança, de autonomia e de competência. Também foram pesquisados indícios de estados de desequilibração e de condutas de regulação e equilibração durante os ciclos de interação do aluno com o AMPLIA. Os resultados obtidos permitiram concluir que há evidências de que, ao longo do processo, há ciclos em que o aluno realiza ações sem uma tomada de consciência. Estes estados são identificados, probabilisticamente, pelo agente inteligente, que então seleciona uma estratégia mais voltada para um feedback negativo, isto é, uma correção. Quando o agente infere uma mudança neste estado, seleciona outra estratégia, com um feedback positivo e com maior utilidade para dar início a um processo de negociação pedagógica, isto é, uma tentativa de maximizar a confiança do aluno em si mesmo e no AMPLIA, assim como maximizar a confiança do AMPLIA no aluno. Os trabalhos futuros apontam para a ampliação do modelo do aluno, por meio da incorporação de um maior número de variáveis, e para a necessidade de aprofundamento dos estudos sobre a declaração de confiança, do ponto de vista psicológico. As principais contribuições relatadas são na definição e construção de um modelo de aluno, com utilização de redes bayesianas, no projeto de um agente pedagógico como mediador num processo de negociação pedagógica, e na definição e seleção de estratégias pedagógicas para o AMPLIA.
218

Diagnóstico de falhas baseado em autômatos temporizados : aplicação em um sistema modular de manufatura / Fault diagnosis by timed automata : application on modular production system

Santana Júnior, Wellington Alves 31 August 2016 (has links)
The problem of fault diagnosis has been widely discussed by the academic community using the theory of Discrete Event Systems. However, the application of this theory to real systems is a field where there is a lot to be explored. The problem proposed in this work is to diagnose permanent or intermittent failures in devices (sensors and actuators) belonging to stations of a didactic flexible manufacturing system, called Modular Production System - MPS, produced by Festo company. The objective will be achieved through a modeling and simulation that allow for future implementation in the system. Three methods will be presented on fault diagnosis written in UPPAAL software language which is based on the timed safety automata formalism, as proposed by ALUR and DILL (1994) and HENZINGER et al (1994). The first method is an implementation of TRIPAKIS (2002) diagnoser. The other two methods developed in this research are inspired by TRIPAKIS (2002) and are diagnosable by definitions presented in TRIPAKIS (2002) and I-diagnosability presented in Sampath et al. (1995). The strategies for fault detection include the use of a network of timed safety automata, composed of the automaton that describes the process behavior and the diagnosers automata for each type of failure. The diagnosers detect failures from the observation of delays of certain transitions in the automaton G (process) and isolate them through observations of the sensors states. Fault indicators events serve to announce failures and synchronize the automaton G with the diagnosers. / O problema do diagnóstico de falhas, utilizando a teoria de Sistemas a Eventos Discretos, tem sido largamente abordado pela comunidade acadêmica. Entretanto, a aplicação desta teoria a sistemas reais é um campo onde há muito a ser explorado. O problema proposto, neste trabalho, é o de diagnosticar falhas permanentes ou intermitentes de dispositivos (sensores e atuadores) pertencentes a estações de um sistema flexível de manufatura didático, denominado Sistema Modular de Produção - MPS, fabricado pela empresa Festo. Este objetivo será alcançado por meio de uma modelagem e simulação que permitam uma futura implementação no sistema. Serão apresentados três métodos para diagnóstico de falhas escritos na linguagem do software UPPAAL que se baseia no formalismo autômatos seguros temporizados, conforme proposto por ALUR e DILL (1994) e HENZINGER et al (1994). O primeiro método é uma implementação do diagnosticador proposto em TRIPAKIS (2002). Os outros dois métodos, elaborados nesta pesquisa, são inspirados no diagnosticador TRIPAKIS (2002) e são diagnosticáveis pelos critérios apresentados em TRIPAKIS (2002) e Idiagnosticabilidade conforme SAMPATH et al. (1995). As estratégias para detecção de falhas incluem a utilização de uma rede de autômatos seguros temporizados, composta pelo autômato que descreve o comportamento do processo e por autômatos diagnosticadores para cada tipo de falha. Os diagnosticadores detectam as falhas a partir da observação de atrasos de determinadas transições do autômato G (processo) e as isolam por meio de observações dos estados dos sensores. Eventos indicadores de falhas servem para anunciar falhas e sincronizar o autômato G com os diagnosticadores.
219

Uma investigação sobre o processo migrátorio para a plataforma de computação em nuvem no Brasil

SILVA, Hilson Barbosa da 22 January 2016 (has links)
Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-10-31T12:50:59Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) UMA INVESTIGAÇÃO SOBRE O PROCESSO MIGRATÓRIO PARA A PLATAFORMA DE COMPUTAÇÃO EM NUVEM NO BRASIL.pdf: 2425763 bytes, checksum: 20f3a5ca31db4bf99450bc873fe1b9d3 (MD5) / Made available in DSpace on 2016-10-31T12:50:59Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) UMA INVESTIGAÇÃO SOBRE O PROCESSO MIGRATÓRIO PARA A PLATAFORMA DE COMPUTAÇÃO EM NUVEM NO BRASIL.pdf: 2425763 bytes, checksum: 20f3a5ca31db4bf99450bc873fe1b9d3 (MD5) Previous issue date: 2016-01-22 / Contexto: A Computação em Nuvem apresenta um novo conceito de terceirização na contratação de serviço, esses avanços vêm sendo vistos como uma nova possibilidade para a redução nos volumes dos investimentos em TIC, proporcionados pela maior flexibilidade nos serviços ofertados sob demanda, tendo na redução de custo seu apelo mais forte. Mesmo sabendo dos benefícios do investimento em nuvem, presume-se que algumas empresas são receosas na contratação de serviços e/ou infraestruturas de TIC da computação em nuvem. Essa realidade, apresentada na pesquisa da Tech Supply, especializada em Inteligência Tecnológica para Auditoria e Integridade Corporativa e TI, segundo a qual 43% das empresas brasileiras não se sentem seguras para migrar os seus sistemas para nuvem. Objetivo: Nesse contexto geral, apresentam-se dois objetivos: investigar os indícios pelos quais algumas empresas podem estar propensas a contratarem ou não os serviços de Computação em Nuvem no Brasil. Adicionalmente, identificar i e e j de sua satisfação ou insatisfação em relação aos serviços de nuvem contratados no Brasil. Método: Para este estudo, definiu-se o tipo de pesquisa realizada como exploratória de natureza descritiva e explicativa, com ênfase na abordagem quantitativa. Quanto ao procedimento técnico, aplicou-se um levantamento através de um Survey, utilizando-se o instrumento de um questionário com 14 (quatorze) itens. Referente à coleta dessas informações, disponibilizou-se através de um formulário WEB (Online). E, por fim, quanto ao tipo de análise aplicada aos resultados, utilizou-se o aprendizado automático para extração dos resultados. Com o uso de aprendizado automático, faz-se necessário o estabelecimento de algumas definições em relação aos métodos de aprendizagem a serem aplicados, como tarefa de classificação por árvore de decisão com algoritmo de classificação J48, método de aprendizagem por indução. Para o modo de treinamento, aplicou-se o não incremental. Na hierarquia do aprendizado, utilizou-se o aprendizado supervisionado e para o paradigma de aprendizado, usou-se o simbólico. Definiram-se também as variáveis classificadoras para cada linha de investigação: “SIM” en c n “NÃO”, para as empresas que não usam; e “SATISFEITO” ou “INSATISFEITO” c n e , para as empresas que já usam. Resultado: Descobriu-se que as características das empresas que estão propensas a contratar a nuvem são garantia de entrega e qualidade dos serviços. Em contrapartida, as empresas que não estão propensas a contratar os serviços da nuvem têm como características o baixo faturamento e poucos colaboradores associados à confiabilidade e segurança da informação. Para a outra linha de investigação, em relação à satisfação, os motivos são o preço da nuvem associado aos modelos de Infraestrutura e Software como Serviço. Por outro lado, para as empresas que estão insatisfeitas, os motivos são segurança da informação, disponibilidade dos serviços associados à redução de custo. / Context: Cloud computing presents a new concept of outsourcing at hiring services, these advances have been seen as a new possibility for reduction at volume of investments in ICT, provided for greater flexibility in offered on-demand services, with cost reduction its strongest appeal. Even though the c d in e en benefi i ‟ assumed that some companies are afraid for contracting services and / or cloud c ing ICT inf c e. Thi e i y e en ed in he Tech S y‟ e e ch specializing in Technology Intelligence for Audit and Corporate Integrity and IT, according to which 43% of Brazilian companies do not feel safe to migrate their cloud systems. Objective: In general, there are two objectives: to investigate the evidence by which some companies may be prone to hire or not the Computing Cloud services in Brazil. In addition, identify the reasons for those that already use their satisfaction or dissatisfaction with the cloud services contracted in Brazil. Method: For this study, the type of research conducted was defined as exploratory of descriptive and explanatory nature, with an emphasis on quantitative approach. As for the technical procedure, was applied a survey through a Survey, using the instrument of a questionnaire with 14 (fourteen) items. Concerning the collection of this information, it made available through a web form (Online). Finally, the type of analysis applied to the results, we used the automatic learning for extracting results. With the use of automatic learning, it is necessary to establish some definitions regarding learning methods to applied as a classification task by decision tree classification algorithm J48¹, learning method for induction. For the training mode, applied to the non-incremental. In the learning hierarchy, we used supervised learning and the learning paradigm, was used the symbolic. The classification variables was defined for each research line: "YES" likely to hire or "NO" for companies that do not use; and "SATISFIED" or "DISSATISFIED" with the cloud, for companies that already use. Result: It found that the characteristics of companies that are likely to hire the cloud are delivery assurance and service quality. Conversely, companies that are not likely to hire cloud services characterized by low turnover and few employees associated with the reliability and information security. For another line of research in relation to satisfaction, the reasons are the price associated with cloud models Infrastructure and Software as a Service. On the other hand, for companies that are dissatisfied, the reasons are information security, availability of services associated with cost reduction.
220

A Invenção da cidade inteligente Rio: uma análise do Centro de Operações Rio pela lente das mobilidades (2010-2016)

Freitas, João Alcantara de 28 March 2018 (has links)
Submitted by João Freitas (joaofreitas@id.uff.br) on 2018-06-22T00:52:42Z No. of bitstreams: 1 FREITAS, J. A invenção da Cidade Inteligente Rio.pdf: 4498294 bytes, checksum: e566ded7b0eb228beaf7bd9c34ecb7e0 (MD5) / Approved for entry into archive by Diego Andrade (diego.andrade@fgv.br) on 2018-07-20T19:18:03Z (GMT) No. of bitstreams: 1 FREITAS, J. A invenção da Cidade Inteligente Rio.pdf: 4498294 bytes, checksum: e566ded7b0eb228beaf7bd9c34ecb7e0 (MD5) / Made available in DSpace on 2018-07-24T20:17:01Z (GMT). No. of bitstreams: 1 FREITAS, J. A invenção da Cidade Inteligente Rio.pdf: 4498294 bytes, checksum: e566ded7b0eb228beaf7bd9c34ecb7e0 (MD5) Previous issue date: 2018-03-28 / In April 2010, Rio de Janeiro experienced one of its most recent tragedies: the heavy rains that hit the city and the lack of preparation to deal with emergency situations resulted in the death of more than 300 people. At the same time, the city was preparing to host mega events such as Rio + 20, World Youth Day, the World Cup and the Olympic Games, and a series of multinational companies were seeking to develop partnerships with the City Hall to take advantage of the Rio’s overexposure. With the support of IBM, was inaugurated at the end of 2010 the Rio Operations Center (COR): a control room that monitors all the city's cameras and brings together under one roof representatives from about 30 municipal agencies and security forces. Initially, the COR's goal was to create a protocol for action and shorten the response time for emergencies. Notwithstanding this function, the center became very important in the management of urban mobilities and in preparing the city for mega-events. Although other cities in the world use control rooms to assist urban management, this multi-thematic model was very disruptive and, in a way, qualified Rio de Janeiro as a smart city. The objective of this dissertation is to understand, through the lenses of the New Mobility Paradigm, the invention process (WAGNER, 2010) of Rio de Janeiro as an intelligent city. I treat it as an invention, since, analyzing the evolution of the debate about smart cities over the last decades, I point out that more important than the use of a certain technology has been the narrative that is told from it. The cut of the research is delimited between 2010, when the COR begins to be thought, and 2016, last year of mandate of Eduardo Paes. I propose in this dissertation a multidimensional analysis, recognizing the importance of understanding what COR represents locally and globally. In this sense, the New Mobility Paradigm (SHELLER and URRY, 2016) is fundamental for the development of this research, since it allows a much more comprehensive analysis of complex relational systems of infrastructure and social interaction at multiple scales. In addition, mobilities crosses the present research, as object, at least in three different forms: policies mobilities, urban mobilities and the mobilities of the mega-events. The empirical referential is constructed from eight semi-structured interviews, with: people who worked on the creation or development of COR, including former Mayor Eduardo Paes; an IBM employee who integrated the team that developed the project; an employee of the SEPTA control center (Pennsylvania Southeastern Transit Control Room); and an anthropologist who researches smart cities. Besides the interviews, I was able to make two visits to the COR and one to the SEPTA control center. The research reveals how Rio de Janeiro became "smart" from the development of COR, and how this is fully linked to the context of the mega-events that the city hosted between 2007 and 2016. I also point out how Rio may be foreshadowing a model that in the near future will be spread by other cities. / Em abril de 2010, o Rio de Janeiro passou por uma das suas maiores tragédias recentes: as fortes chuvas que atingiram a cidade e o despreparo da prefeitura para lidar com situações de emergência resultaram na morte de mais de 300 pessoas. Simultaneamente, a cidade estava se preparando para sediar megaeventos como a Rio+20, a Jornada Mundial da Juventude, a Copa do Mundo e os Jogos Olimpícos e uma série de empresas multinacionais buscavam desenvolver parcerias com a Prefeitura, de forma a aproveitar a superexposição do Rio. Com o apoio da IBM, foi inaugurado no fim de 2010 o Centro de Operações Rio (COR): uma sala de controle que monitora todas as câmeras da prefeitura e reúne sob o mesmo teto representantes de cerca de 30 agências municipais, concessionárias que atuam na cidade e forças de segurança. Inicialmente, o objetivo do COR era criar um protocolo de ação e diminuir o tempo de respostas para eventuais emergências. Não obstante a esta função, o centro passou a ser muito importante na gestão das mobilidades urbanas e na preparação da cidade para os megaeventos. Ainda que outras cidades no mundo utilizem salas de controle para auxiliar à gestão urbana, este modelo multitemático se mostrou bastante disruptivo e, de certa forma, qualificou o Rio de Janeiro como smart city. O objetivo da presente tese é entender, por meio das lentes do Paradigma das Novas Mobilidades, o processo de invenção (WAGNER, 2010) do Rio de Janeiro como cidade inteligente. Trato como invenção, pois, analisando a evolução do debate sobre smart cities ao longo das últimas décadas, aponto que mais importante do que o uso de determinada tecnologia tem sido a narrativa que é contada a partir dela. O recorte da pesquisa é delimitado entre 2010, quando o COR começa a ser pensado, e 2016, último ano de mandato de Eduardo Paes. Proponho nesta tese uma análise multidimensional, reconhecendo a importância de entender o que o COR representa local e globalmente. Neste sentido, o Paradigma das Novas Mobilidades (SHELLER e URRY, 2016) se mostra fundamental para o desenvolvimento desta investigação, pois possibilita uma análise muito mais abrangente de sistemas relacionais complexos de infraestrutura e interação social em múltiplas escalas. Além disso, as mobilidades atravessam a presente pesquisa, enquanto objeto, de pelo menos três diferentes formas: mobilidade de políticas, mobilidades urbanas e as mobilidades dos megaeventos. O referencial empírico é construído a partir de oito entrevistas semiestruturadas, com: pessoas que trabalharam na criação ou no desenvolvimento do COR, incluindo o ex-prefeito Eduardo Paes; um funcionário da IBM que integrou a equipe que desenvolveu o projeto; um funcionário do SEPTA control center (sala de controle de Trânsito do Sudeste da Pensilvânia); e um antropólogo que pesquisa smart cities. Além das entrevistas, pude realizar duas visitas ao COR e uma ao SEPTA control center. A pesquisa revela como o Rio de Janeiro se tornou “inteligente” a partir do desenvolvimento do COR, e como isto tem total ligação com o contexto dos megaeventos que a cidade sediou entre 2007 e 2016. Aponto ainda indícios de como o Rio pode estar prefigurando um modelo que em um futuro próximo se difundirá em outras cidades.

Page generated in 0.1108 seconds