• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 76
  • 1
  • Tagged with
  • 78
  • 78
  • 70
  • 54
  • 38
  • 37
  • 34
  • 34
  • 33
  • 25
  • 20
  • 18
  • 17
  • 17
  • 16
  • 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.
41

Controle inteligente de vibra??es utilizando amortecedor magneto reol?gico

Tanaka, Marcelo Costa 27 June 2017 (has links)
Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-08-10T11:35:30Z No. of bitstreams: 1 MarceloCostaTanaka_TESE.pdf: 3454444 bytes, checksum: edf6af9352bd8f01fdb4c2c515311b0d (MD5) / Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-08-10T16:14:19Z (GMT) No. of bitstreams: 1 MarceloCostaTanaka_TESE.pdf: 3454444 bytes, checksum: edf6af9352bd8f01fdb4c2c515311b0d (MD5) / Made available in DSpace on 2017-08-10T16:14:19Z (GMT). No. of bitstreams: 1 MarceloCostaTanaka_TESE.pdf: 3454444 bytes, checksum: edf6af9352bd8f01fdb4c2c515311b0d (MD5) Previous issue date: 2017-06-27 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (CAPES) / Amortecedores que utilizam fluido magneto reol?gico s?o amplamente utilizados em aplica??es industriais, tais como no controle de vibra??es de m?quinas ferramentas e em constru??es sujeitas a abalos s?smicos, na ind?stria automobil?stica em suspens?es ativa ou semiativa, bem como sistemas de embreagens e freios, e na ?rea de biomec?nica em pr?teses inteligentes e interfaces h?pticas na qual simulam o sensoriamento t?til. Eles apresentam diversas caracter?sticas desej?veis como alta controlabilidade de for?a, baixo consumo energ?tico, estabilidade, ampla faixa operacional de temperatura, tempo de resposta r?pido e tamanho compacto. No entanto, o controle preciso desse dispositivo, devido ? sua inerente caracter?stica n?o linear, n?o pode ser facilmente obtido com os controladores lineares convencionais e at? mesmo por controladores mais robustos na aus?ncia de uma perfeita modelagem do seu comportamento din?mico. Hoje em dia, gra?as ao desenvolvimento da Teoria da Estabilidade, proposta pelo matem?tico russo Lyapunov, e com os avan?os da tecnologia computacional, as t?cnicas de controle n?o linear v?m sendo cada vez mais utilizadas. Quest?es ecol?gicas, social e econ?micas t?m levado a ind?stria automobil?stica a uma crescente demanda por metodologias e tecnologias eficientes no controle de vibra??es em suspens?es semiativas. Desta forma, este trabalho descreve o desenvolvimento de um controlador n?o linear, baseado no m?todo de controle por modos deslizantes com a inclus?o de uma estrat?gia de compensa??o utilizando a l?gica fuzzy, implementada matematicamente na din?mica do modelo de um sistema de amortecimento de um quarto de ve?culo, utilizando amortecedor magneto reol?gico. Resultados num?ricos s?o apresentados para demonstrar o desempenho do sistema de controle. / Magnetorheological (MR) dampers are widely used in industrial applications such as vibration control of machine tools and structures subject to seismic earthquakes; active or semi-active suspensions in the automotive industry, as well as clutch and brake systems; and in the biomechanics area with intelligent protheses and haptic interfaces wich simulate the tactile sensing. MR dampers feature several desirable features such as high power controllability, low power consumption, stability, wide operational temperature range, fast response time and compact size. However, the precise control of this device can not be easily obtained with conventional linear controllers even by more robust controllers in the absence of a perfect modeling of their dynamic behavior due to its inherent nonlinear characteristic. Nowadays, thanks to the development of stability theory, proposed by the Russian mathematician Lyapunov, and with advances in computational technology, nonlinear control techniques have been increasingly used. Ecological, social and economic issues have led the automotive industry to a growing demand for efficient methodologies and technologies in the control of vibrations in semiative suspensions. In this way, this work describes the development of a nonlinear controller based on the sliding mode control method with the inclusion of a fuzzy compensation scheme, mathematically implemented in the dynamics of the model of a one-quarter vehicle damping system using magnetoreological damper.
42

L?gica matem?tica e estrat?gias para a solu??o de problemas matem?ticos / Mathematical logic and strategies for solving mathematical problems

Silva, Pablo Vieira Carvalho 30 June 2016 (has links)
Submitted by Celso Magalhaes (celsomagalhaes@ufrrj.br) on 2017-05-31T17:28:56Z No. of bitstreams: 1 2016 - Pablo Vieira Carvalho Silva.pdf: 1591495 bytes, checksum: 23e5c1de4092f3df312f440079012ae0 (MD5) / Made available in DSpace on 2017-05-31T17:28:56Z (GMT). No. of bitstreams: 1 2016 - Pablo Vieira Carvalho Silva.pdf: 1591495 bytes, checksum: 23e5c1de4092f3df312f440079012ae0 (MD5) Previous issue date: 2016-06-30 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior - CAPES / The mathematical logic has been removed and forgotten from the curriculum minimum of basic education for some time, despite the clear benefit that it can add to the student?s cognitive not only in mathematics study but also in his day by day decision-making. This study aims to rescue the discussion of its importance to the study in the basic levels, not doing it by traditional ways, but through problem solving techniques also using the Polya phases. Joining to this work, there are activities that were applied to a first year group of high school at a public school in Rio de Janeiro. / A l?gica matem?tica h? algum tempo foi retirada e esquecida do curr?culo m?nimo do ensino b?sico da educa??o brasileira, mesmo diante dos claros benef?cios que a mesma pode acrescentar ao cognitivo do educando n?o s? no estudo da matem?tica como em tomadas de decis?es do seu dia a dia. Este trabalho tem por finalidade resgatar a discuss?o de sua import?ncia para o estudo nas s?ries b?sicas, n?o o fazendo por vias tradicionais, mas sim atrav?s de t?cnicas de resolu??o de problemas utilizando tamb?m para isso as fases de Polya. Junto deste trabalho, apresentamos atividades aplicadas ao primeiro ano do ensino m?dio de uma escola estadual do Rio de Janeiro
43

Justifica??o democr?tica da atividade jurisdicional : o contributo da l?gica jur?dica de Cha?m Perelman

Costa, Gerson Godinho da 31 March 2008 (has links)
Made available in DSpace on 2015-04-14T14:33:22Z (GMT). No. of bitstreams: 1 402181.pdf: 139470 bytes, checksum: 913725ce4e67712066f240b7ddf9299c (MD5) Previous issue date: 2008-03-31 / O presente trabalho tem por objetivo estudar a legitimidade da atividade jurisdicional, a partir da obra L?gica Jur?dica de Cha?m Perelman, observando a linha de pesquisa Hermen?utica, Justi?a e Estado Constitucional. A abordagem est? relacionada ?s decis?es judiciais sobre casos concretos, n?o ao controle de constitucionalidade em abstrato. No primeiro cap?tulo s?o apresentados os elementos do chamado Modelo Tradicional, especificamente o Estado de Direito, a separa??o de poderes, a democracia e o positivismo. No segundo, esses elementos s?o submetidos a questionamento e colocados em confronto com a realidade atual, visando adequ?-los a esta mesma realidade. O terceiro cap?tulo trata dos problemas do Direito positivo, relacionados ?s lacunas, ?s antinomias e ? equivocidade dos termos jur?dicos, bem como ? possibilidade de decis?es indiscutivelmente injustas. No quarto ? examinada a hermen?utica filos?fica e seus profundos desdobramentos no fen?meno jur?dico. No quinto ? analisado o conceito dial?tico de ci?ncia, inicialmente apresentado por Arist?teles e desenvolvido por Perelman. Finalmente, o sexto cap?tulo apresenta dois exemplos um de Direito Penal, outro de Direito Civil resultados da constru??o moderna do Direito, com a finalidade de demonstrar que a atividade judicial baseada em regras, princ?pios e valores do ordenamento, e desde que assegurados os direitos fundamentais e a dial?tica processual na busca de consensos, encontra respaldo democr?tico.
44

An?lise de atenua??o de sinal em ambientes indoor usando l?gica nebulosa / Analysis of signal attenuation for Indoor Environments using Fuzzy Logic

Gonz?lez, Rina Graciela Rond?n 18 December 2009 (has links)
Made available in DSpace on 2016-04-04T18:31:30Z (GMT). No. of bitstreams: 1 RINA GRACIELA RONDON GONZALEZ.pdf: 1534454 bytes, checksum: 58f56e565eb9e4082c5b978ceee457f4 (MD5) Previous issue date: 2009-12-18 / Due to the increasing demand for services related to wireless networks, such as video, voice and video conferencing and to the concern of telecommunications companies to meet this demand efficiently, the planning of a wireless link becomes very important. Since the propagation of a signal over a wireless network is not driven, it can suffer attenuation caused by obstacles in the medium during its transfer from the transmitting equipment to the receiver, varying the signal strength of the transmission in each area covered. For this reason, in order to plan a wireless network, the characteristics of the environment and infrastructure through which the signal will travel, needs to be taken into account, so it is possible to get the real value of the received power at each required point. Furthermore, since the prediction of the signal?s attenuation in different places, taking into account the impact caused by each mentioned factor in its degradation, can be considered a complex process, it is necessary to use a model that not only considers the characteristics of the medium but also relates these factors in a simple manner allowing to measure the signal?s attenuation caused by the barriers founded in the environment. The Shadowing Signal Propagation model allows the characterization of the attenuation caused by the environment through the ? parameter present in this model. On the other hand, the Fuzzy Logic provides a form of approximate reasoning that allows the treatment of problems with incomplete, vague and imprecise information. Also, it offers a simple way to obtain a possible solution for a problem using the heuristic knowledge about a particular situation. In this way, the Fuzzy Logic can be an useful tool for calculating the ? parameter of the Shadowing Signal Propagation model, making possible to obtain ? values that characterize the attenuation of the environment in study. In this context, this work focuses on the analysis of signal?s attenuation in indoor environments using fuzzy logic. / Devido ? crescente demanda dos servi?os sobre redes sem fio, como v?deo, voz e v?deo confer?ncia e ? preocupa??o das companhias de telecomunica??es em atender esta demanda de forma eficiente, torna-se de fundamental import?ncia o planejamento de um enlace sem fio. Dado que a propaga??o de um sinal em uma rede sem fio n?o ? guiada, esta pode sofrer atenua??o causada pelos obst?culos encontrados no meio durante o seu percurso desde o equipamento transmissor at? o receptor, variando a pot?ncia do sinal da transmiss?o em cada ambiente percorrido. Por este motivo, para fazer o planejamento da rede ? necess?rio que sejam consideradas as caracter?sticas do ambiente e infra-estrutura por onde o sinal vai trafegar de modo que seja poss?vel obter o valor real da pot?ncia recebida em cada ponto do trajeto. Uma vez que a predi??o da atenua??o do sinal em diferentes ambientes, contemplando o impacto relacionado a cada fator que contribui com sua degrada??o, constitui-se em processo bastante complexo, existe a necessidade de utiliza??o de um modelo que al?m de contemplar as caracter?sticas do meio possa relacionar os fatores acima mencionados de uma forma simples de modo a permitir a determina??o da atenua??o do sinal causada pelas barreiras localizadas no meio. O Modelo de Propaga??o do Sinal de Shadowing permite caracterizar a atenua??o gerada pelo meio, atrav?s do par?metro ? presente na equa??o deste modelo. Por outro lado, a L?gica Nebulosa apresenta uma forma de racioc?nio aproximado que permite o tratamento de problemas com informa??es incompletas, vagas e imprecisas. Tamb?m, oferece uma forma simples de inferir uma poss?vel solu??o para um problema usando o conhecimento heur?stico sobre determinada situa??o. Neste sentido, a L?gica Nebulosa resulta em uma ferramenta ?til para o c?lculo do par?metro ? do Modelo de Propaga??o do Sinal de Shadowing posibilitando a obten??o de valores de ? que caracterizem com maior especifica??o a atenua??o do ambiente em estudo. Neste contexto, o presente trabalho trata da an?lise da atenua??o do sinal em ambientes indoor usando l?gica nebulosa.
45

Uma proposta de modelo de controlador para computa??o em nuvem utilizando m?quina de estados nebulosos / A proposal for a cloud computing controller based on a fuzzy finite-state machine

Santos, Marcos Jesus dos 18 December 2012 (has links)
Made available in DSpace on 2016-04-04T18:31:34Z (GMT). No. of bitstreams: 1 Marcos Jesus dos Santos.pdf: 4921814 bytes, checksum: c8f0f107e2ca014d40151c8d1191abe2 (MD5) Previous issue date: 2012-12-18 / Over the last years, Cloud Computing has brought about a paradigm shift regarding the deployment of computing services for corporations, small business and even end-users. This model of resource utilization has originated a whole new set of business options and business opportunities yet to be explored. The Hybrid Cloud model, which refers to the situation when the cloud is built using both internal and external resources, or by the combination of resources provided by more than one provider, presents a new challenge for the network management tools. The main difficult is on an efficient resource allocation that allows the network management to follow the system performance in real-time. In this work, it is proposed a Fuzzy Logic controller based on a Fuzzy Finite-State Machine as a tool to manage Hybrid Cloud deployments. This Fuzzy Finite-State Machine operates as in accordance with the service level agreements (SLA) and the quality of experience of the user. By comparing the results obtained by using the proposed controller with typical controllers based on Boolean Logic, savings ranging from 3% to up to 50% where achieved, depending on the number of servers and the demand. The prior use of Fuzzy Finite-State Machines to manage Cloud Computing systems has not been found in the literature until the present proposal. / A utiliza??o de sistemas de Computa??o em Nuvem tem se tornado quase que obrigat?ria na disponibiliza??o de solu??es e servi?os, seja para pequenas ou grandes corpora??es, ou mesmo para usu?rios finais. Tal modelo de consumo de recursos abre toda uma gama de oportunidades de neg?cio que est? sendo cada vez mais explorada. Em especial, o uso de Nuvens H?bridas, nas quais os recursos da pr?pria organiza??o usu?ria s?o combinados com recursos de provedores externos, representa um novo desafio para as ferramentas de gerenciamento. Estas ferramentas devem permitir a aloca??o dos recursos de forma eficiente e possibilitar ao gestor a visualiza??o do estado do sistema em tempo real. Com tal cen?rio em vista, neste trabalho apresenta-se e investiga-se um modelo de controlador para Computa??o em Nuvem baseado em uma m?quina de estados nebulosos. Esta m?quina de estados opera de acordo com crit?rios definidos nos contratos de n?vel de acordo (service level agreement SLA) e com a qualidade de experi?ncia do usu?rio (quality of experience QoE). Comparando-se o desempenho desta ferramenta com o de um controlador t?pico, baseado em ?lgebra Booleana, obteve-se uma economia entre 3% at? 50% de recursos, isto para um sistema operando com servidor ?nico, dependendo das solicita??es de demanda. Finalmente, observa-se que, at? o presente momento, a abordagem desenvolvida neste trabalho ? in?dita na literatura.
46

An?lise matricial nebulosa de indicadores para apoio a tomada de decis?o na governan?a corporativa de TIC

Siqueira, Ana Raquel Calais 06 December 2013 (has links)
Made available in DSpace on 2016-04-04T18:31:38Z (GMT). No. of bitstreams: 1 Ana_Raquel_Calais_Siqueira.pdf: 3864098 bytes, checksum: fc1d0dc108a87c6e39814a0d062d8d7e (MD5) Previous issue date: 2013-12-06 / Decision making in organizational settings has an implicit risk, since there is a degree of uncertainty about the future, in different areas like economic, governmental, customer and employee behavior, among others. Ergo, increasingly objective and clear tools like systems, processes, standards, practices, etc., must be available, supporting the business decision maker in their complex task. In this context, and given that ITC is the ground to maintain organization s operations in a structured way, the study of Governance Models for ITC is needed to retain and improve its internal controls. However, observing the different perspectives involving investment decision in ITC projects, we can realize how that model s information can be misused, neglected or misrepresented. Therefore, the Fuzzy Logic, that works with imprecision, uncertainty and partial truth, makes possible to translate and treat various scenarios, in order that computers, which deals with the absolute precision, can list and organize the information, supporting the decision making process. This paper proposes a new exempt method for fuzzy analysis, based upon mathematical operations between arrays, which allow the development of simpler and faster computational algorithms, thus increasing its utilization and enabling its codification in any computer language. Three real scenarios were used to verify its feasibility and results validation. Three real case studies were used to verify the method?s feasibility and to validate their results: Support for decision making in ICT corporate governance, analysis and study of the wireline exploration in Brazilian market and support decision making on the offensive element of a wireless network. The achieved results were satisfactory in all three case studies, showing that the method is general and good. / A tomada de decis?o em ambientes organizacionais possui um risco impl?cito, uma vez que existe um grau de incerteza quanto ao futuro, nos diversos ?mbitos: econ?mico, governamental, comportamental dos clientes e funcion?rios, etc. Da? a import?ncia de apoiar o tomador de decis?es empresariais em sua complexa tarefa com ferramentas (sistemas, processos, padr?es, pr?ticas, etc.) cada vez mais objetivas e claras. Neste contexto, e tendo em vista que a Tecnologia da Informa??o e Comunica??o (TIC) ? a base de sustenta??o para que as organiza??es mantenham suas opera??es de forma estruturada, o estudo dos modelos de governan?a em TIC ? necess?rio para manter e melhorar seus controles internos. Por?m, ao observar as diferentes perspectivas que envolvem o processo decis?rio para investimento em projetos de TIC, pode-se identificar a maneira como as informa??es daqueles modelos podem ser mal utilizadas, negligenciadas ou deturpadas. Assim, a L?gica Nebulosa que trabalha com a imprecis?o, incerteza ou verdade parcial torna poss?vel traduzir e tratar diversos cen?rios, de modo que os computadores, que s? conhecem a precis?o absoluta, possam relacionar e organizar as informa??es, apoiando o processo de tomada de decis?o. Este trabalho prop?e um novo m?todo generalista para An?lise Nebulosa, baseado em opera??es entre matrizes matem?ticas, que permite o desenvolvimento de rotinas computacionais mais simples e r?pidas, ampliando consequentemente sua utiliza??o e permitindo sua codifica??o em qualquer linguagem computacional. Para verifica??o de sua viabilidade e valida??o de seus resultados foram utilizados tr?s estudos de caso reais: Apoio ? tomada de decis?o na Governan?a corporativa de TIC, An?lise e estudo da prospec??o da Telefonia Fixa no Brasil e Apoio ? Tomada de Decis?o sobre o elemento ofensivo em uma rede Wireless. O resultado foi satisfat?rio nos tr?s estudos de caso, provando que o m?todo ? generalista e satisfat?rio.
47

Implementa??o de sistemas baseados em regras nebulosas por m?todo matricial em dispositivos embarcados

Ganselli, Tiago Trevisani 11 December 2014 (has links)
Made available in DSpace on 2016-04-04T18:31:41Z (GMT). No. of bitstreams: 1 Tiago Trevisani Ganselli.pdf: 2054440 bytes, checksum: 19be2b4fac5342b6227e8ce56bfbc1f2 (MD5) Previous issue date: 2014-12-11 / It is known that the need for devices with higher processing capacities and low power consumption is increasing, making algorithm optimization necessary to allow the maximum utilization of the application s resources. In this work, the Matrix Method was implemented in embedded systems to solve Fuzzy calculations, allowing the decision-making process to be included in several applications. Code was developed for Scilab, Arduino, and the embedded Linux distribution OpenWRT, being tested in real devices through the comparison with the original Matrix Method algorithm implementation and the case study of the MAC anomaly in IEEE 802.11 networks. Results show that the Matrix Method is compatible for use in embedded systems, and the analysis and specific configuration of each application are necessary for the best performance to be achieved. Conclusion shows that the balance between the decision-making and the result precision is essential to lower resource consumption to the maximum. It is expected that other studies make use of the created algorithms, assisting the decision-making process in embedded systems for the countless emerging applications. / Com a crescente necessidade de dispositivos com maior capacidade de processamento e menor consumo energ?tico faz-se necess?rio o uso de algoritmos otimizados, permitindo o m?ximo aproveitamento dos recursos dispon?veis na aplica??o. Neste trabalho foi realizada a implementa??o do M?todo Matricial para execu??o de c?lculos usando L?gica Nebulosa em dispositivos embarcados, tornando poss?vel a tomada de decis?o local nas mais diversas aplica??es. Foram desenvolvidos c?digos para o Scilab, Arduino e para a distribui??o de Linux embarcado OpenWRT, que foram testados em dispositivos reais atrav?s da compara??o com o c?digo original do M?todo Matricial e com o estudo de caso da Anomalia da MAC em redes IEEE 802.11. Os resultados obtidos indicam que o M?todo Matricial ? compat?vel com o uso em sistemas embarcados, sendo necess?ria a an?lise e configura??o espec?fica de cada aplica??o para que o melhor desempenho seja alcan?ado. Concluiu-se que o balanceamento entre a tomada de decis?o e a precis?o do resultado ? essencial para realizar o c?lculo com o menor consumo de recursos poss?vel. Espera-se que outros trabalhos fa?am uso dos algoritmos criados, a fim de auxiliar na tomada de decis?o em dispositivos embarcados nas in?meras aplica??es emergentes.
48

Proposta de um algoritmo de roteamento baseado em l?gica difusa para RSSF em ambientes fechados

Le?o, Lucas Augusto de Araujo Marques 12 May 2015 (has links)
Made available in DSpace on 2016-04-04T18:31:42Z (GMT). No. of bitstreams: 1 LUCAS AUGUSTO DE ARAUJO MARQUES LEAO.pdf: 1843994 bytes, checksum: 99d00d63745d6c077be1b0e0f8b0d518 (MD5) Previous issue date: 2015-05-12 / Wireless Sensor Networks (WNS) have been applied as monitoring solution for building management systems. The sensors are responsible for monitoring environment aspects such as temperature, lighting and energy consumption. However, the sensors are exposed to adverse conditions and frequent environment changes, which can dramatically affect communication and data flow. Thus, this work proposes a routing algorithm based on fuzzy logic to identify the best routes in an indoor wireless sensor network. The evaluated parameters are presented (RSSI, Standard Deviation and Packet Error Rate) along with the cost definition process for each route, the best route identification sequence and the results obtained in simulation and experimentation. The proposed solution mixes WSN routing techniques along with fuzzy logic to characterize and define the link cost. The developed algorithm was faced with a routing solution based on RSSI. The experiments demonstrate that the solution allows the selection of higher quality links, reducing the probability of packet loss in comparison to the algorithm based on RSSI. / As Redes de Sensores Sem Fio (RSSF) t?m sido uma solu??o amplamente utilizada no contexto de sistemas de gerenciamento de edifica??es. Os sensores s?o respons?veis por monitorar diversos aspectos do ambiente, como temperatura, ilumina??o e consumo de energia. Entretanto, os sensores est?o expostos a condi??es adversas e mudan?as constantes do ambiente, que podem afetar de maneira definitiva a comunica??o e flu?ncia dos dados. Neste sentido, este trabalho apresenta uma proposta de algoritmo de roteamento baseado em l?gica difusa para identifica??o dos melhores caminhos em uma rede de sensores sem fio indoor. S?o apresentados os par?metros utilizados (RSSI, Desvio Padr?o do RSSI e Taxa de Erro de Pacote) para a defini??o do custo de cada caminho, a sequ?ncia de identifica??o de melhor caminho e os resultados obtidos em simula??o e aplica??o pr?tica. A solu??o proposta agrega t?cnicas de roteamento em RSSF ? utiliza??o de l?gica difusa para caracteriza??o e defini??o dos custos dos enlaces entre os sensores. O algoritmo desenvolvido foi confrontado com uma solu??o de roteamento baseada em RSSI. Os experimentos demonstram que a solu??o permite a sele??o de enlaces de melhor qualidade, reduzindo a probabilidade de perda de pacote em compara??o ao algoritmo baseado apenas em RSSI.
49

Abordagens paralelas para Model Checking de redes de aut?matos estoc?sticos

Oleksinski, Lucas Giaretta 25 March 2013 (has links)
Made available in DSpace on 2015-04-14T14:50:05Z (GMT). No. of bitstreams: 1 451032.pdf: 3224202 bytes, checksum: 0ed1399ff0656c16c4c22f4f6e16cb87 (MD5) Previous issue date: 2013-03-25 / The use of critical and complex systems at automation of daily tasks increases the people s dependence, generating unease about the safety of such systems. In the last years several techniques have been developed to facilitate activities related to design validation in the early stages of the development cycle. Model Checking is an automatic formal technique that allows verification of finite-state concurrent systems under properties described in temporal logics by employing verification algorithms that exhaustively assess the correctness of the system under consideration. Indeed, this technique is costly with respect to storage and processing, justifying the development of parallel and distributed algorithms for powerful computing clusters. This dissertation reports the study and development of verification algorithms for models described in Stochastic Automata Networks and properties written in Computation Tree Logic temporal logic for environments that address memory spaces in a distributed way. / O emprego de sistemas complexos e cr?ticos para automa??o de tarefas do cotidiano faz crescer a depend?ncia das pessoas, gerando desconforto em rela??o ? seguran?a de tais sistemas. Nos ?ltimos anos algumas t?cnicas t?m sido desenvolvidas visando facilitar as atividades relacionadas ? valida??o de projetos nos est?gios iniciais do ciclo de desenvolvimento. Verifica??o de modelos ? uma t?cnica formal autom?tica que permite a verifica??o de sistemas concorrentes de estados finitos sob propriedades descritas em l?gicas temporais atrav?s do emprego de algoritmos que avaliam exaustivamente o sistema sob considera??o. Entretanto, esta t?cnica ? custosa no que tange ao armazenamento em mem?ria e processamento, justificando o desenvolvimento de algoritmos paralelos e distribu?dos para poderosos agregados computacionais. Esta disserta??o relata o estudo e desenvolvimento de algoritmos de verifica??o de modelos descritos em Redes de Aut?matos Estoc?sticos e propriedades descritas na l?gica temporal Computation Tree Logic para ambientes que endere?am espa?os de mem?ria de maneira distribu?da.
50

A influ?ncia da l?gica produtivista nas disputas de poder no interior do campo de p?s-gradua??o em administra??o no Rio de Janeiro: uma an?lise a partir da abordagem de Pierre Bourdieu / The logic of influence productionist In power disputes In interior postgraduate course In management In Rio De Janeiro: an analysis from the de Pierre Bourdieu approach

Bauer, Ana Paula Medeiros 06 April 2016 (has links)
Submitted by Sandra Pereira (srpereira@ufrrj.br) on 2017-01-09T13:35:45Z No. of bitstreams: 1 2016 - Ana Paula Medeiros Bauer.pdf: 1626047 bytes, checksum: 63432da2d09c13103cf61cceebe5a7fa (MD5) / Made available in DSpace on 2017-01-09T13:35:45Z (GMT). No. of bitstreams: 1 2016 - Ana Paula Medeiros Bauer.pdf: 1626047 bytes, checksum: 63432da2d09c13103cf61cceebe5a7fa (MD5) Previous issue date: 2016-04-06 / Funda??o Carlos Chagas Filho de Amparo ? Pesquisa do Estado do RJ - FAPERJ / The postgraduate education field in Brazil has gone through several changes over time, mainly related to its evaluation system. Such a system was implemented in 1976 original form and function was to develop education and research in the country. The first evaluation was mainly a result of the proposed development in each particular program (CAPES, 2014 s / p). The last major change in the system occurred in 1998, when it was deployed Qualis Ranking (VI PGNP, 2010), a stratification system that classifies vehicles disclosure of intellectual production (CAPES, 2004 s / p). Thus, the evaluation shall be taken from the analysis of the quality of the disclosure vehicles, or work quality is considered accepted if a vehicle which has good score QUALIS system. Thus, educational organizations tend to require their professors / researchers more production items to convert them into publication, aiming to win dominant positions on the field. In this sense, the logic of productivity is within the field of the country graduate governed by the excessive production of articles to achieve maximum points. These changes now reach the field of teaching in graduate management in the state of Rio de Janeiro, an area where are concentrated the main field programs. It seems possible to say that this marked change in the evaluation system led to a restructuring of the field, where the agents begin to modify their practices to suit the evaluation and gain more power. Thus, the objective of the study is to understand how the logic of productivity influenced the power struggles among organizations that make up the administration in post-graduate course in the state of Rio de Janeiro, from the theoretical perspectives of Bourdieu. The author sees the field as a force interactions of space between the officers with a particular type of capital among the different existing types, to conquer the field domain. / O campo de p?s-gradua??o no Brasil passou por diversas mudan?as ao longo do tempo, principalmente relacionadas ao seu sistema de avalia??o. Tal sistema foi implantado em 1976 de forma inicial, e tinha como fun??o desenvolver a educa??o e a pesquisa no pa?s. A primeira avalia??o teve como principal resultado a proposta de evolu??o de cada programa em particular (CAPES, 2014, s/p). A ?ltima grande mudan?a no sistema ocorreu em 1998, quando foi implantado o Ranking Qualis (VI PNPG, 2010), um sistema de estratifica??o que classifica os ve?culos de divulga??o da produ??o intelectual (CAPES, 2004,s/p). Sendo assim, a avalia??o passa a ser feita a partir da an?lise da qualidade dos ve?culos de divulga??o, ou seja, o trabalho ? considerado de qualidade se for aceito em um ve?culo que possui boa pontua??o no sistema Qualis. Com isso, as organiza??es educacionais tendem a exigir de seus professores/pesquisadores mais produ??o de artigos para convert?-los em publica??o, almejando conquistar posi??es dominantes no campo. Nesse sentido, a l?gica produtivista se insere no campo da p?s-gradua??o do pa?s, regida pela a produ??o excessiva de artigos para alcan?ar o m?ximo de pontos. Essas mudan?as atingem hoje o campo do ensino da p?s-gradua??o em administra??o no estado do Rio de Janeiro, ?rea onde o est?o concentrados os principais programas do campo. Parece ser poss?vel afirmar que essa marcante mudan?a no sistema de avalia??o provocou uma reestrutura??o do campo, onde os agentes come?am a modificar suas pr?ticas para se adequar a avalia??o e ganhar mais poder. Dessa forma, o objetivo do estudo ? compreender como a l?gica produtivista influenciou as disputas de poder entre as organiza??es que comp?em o campo de p?s-gradua??o em administra??o no estado do Rio de Janeiro, a partir das perspectivas te?ricas de Bourdieu. O autor percebe o campo como um espa?o de intera??es de for?as entre os agentes dotados de um determinado tipo de capital, dentre os diferentes tipos existentes, para conquistarem o dom?nio do campo.

Page generated in 0.0638 seconds