• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 254
  • 6
  • 6
  • 1
  • Tagged with
  • 269
  • 183
  • 44
  • 39
  • 36
  • 32
  • 31
  • 28
  • 27
  • 26
  • 24
  • 24
  • 24
  • 23
  • 21
  • 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.
111

A descrição skinneriana de ensino em livros de psicologia direcionados à formação de professores e critérios para sua produção e publicação / The skinnerian description to teaching in psychology books directed to teachers‟ formation, and criteria for producing and publishing those books

Silva, Leidiany Cristina da 10 May 2012 (has links)
Made available in DSpace on 2016-04-29T13:17:44Z (GMT). No. of bitstreams: 1 Leidiany Cristina da Silva.pdf: 1113662 bytes, checksum: b81d8b935f301e8dfc65b235d5afe7f0 (MD5) Previous issue date: 2012-05-10 / This work is comprised of two studies. The first one (Study 1) aimed at investigating psychology school books directed to teachers. The objective was analyzing whether the teaching proposals of radical behaviorism were precisely described in the books, and what kind of behavior analysts bibliographical production was used as the basis for the teaching descriptions. Three books were analyzed. Each book was analyzed as regards three aspects: references to Skinner s works, references to the works of other behavior analysts and the descriptive texts about the radical behaviorism approach s on teaching. All kinds of references were analyzed direct and/or indirect quotes and/or final bibliographies. It was observed that the three books had at least one reference to works by behavior analysts. When it was observed the largest number of references to behavior analysts works, there was also a sounder and more up to date theoretical-conceptual description about the radical behaviorism approach. Two books used a small number of references, when compared to the number of references used in the description of other approaches, which indicates little familiarity with the works of behavior analysts. The analysis of the radical behaviorism s approach on teaching has considered five dimensions about skinnerian approach on the subject (what is to teach?, the teacher s role, how to teach, what to teach), and also critics on the skinnerian approach. It was found that being an expert on the approach could be related to producing more complete descriptions as well as exploring the inter-relationships between the different subject matters worked upon. The Study 2 was proposed in order to identify criteria for publishing books as well as understanding the reasons behind the imprecisions. In order to identify the criteria, this Study was based upon the literature, in the criteria for the evaluation of graduate programs, in interviews with professionals involved in books editoring, and with the authors of the books analyzed on Study 1. It was possible to systematize eight criteria for school books' evaluation: the work as the product of graduate programs; the book as a product of inter-institutionality; the peer evaluation; the author s compromise with the discussion and reformulation asked by the evaluator; the potential impact; the novelty in the field; conceptual precision; applicability of the skinnerian concepts in the learning situation. In order to apply the criteria, two of the books cited on Study 1 were selected, and their authors were interviewed. The book 1 has complied five of the criteria, and the book 2 has complied two of them. The main criterion that was identified was the theoretical-conceptual precision. Given the imprecisions cited in the Study 1, it can be concluded that some of these books and their responsibles have not considered the most fundamental aspect to publishing a book. It is discussed some actions that could revert this negligence with the description of the approach / O presente trabalho realizou dois estudos. O Estudo 1 teve como objetivo investigar livros didáticos de psicologia dirigidos a professores. Buscou-se analisar se a proposta de ensino do behaviorismo radical foi precisamente descrita nos livros e que material bibliográfico de analistas do comportamento foi utilizado como suporte para as descrições de ensino. Foram analisados três livros. Buscou-se em cada livro informações com base em três fontes: referências às obras de Skinner, referências às obras de outros analistas do comportamento e textos descritivos da abordagem sobre o ensino. Analisaram-se todos os tipos de referência - citações diretas e/ou indiretas e/ou bibliografia ao final do texto. Constatou-se que os três livros utilizaram, pelo menos, uma referência a obras de analistas do comportamento. Quando ocorreu maior número de referências de analistas do comportamento, também houve uma descrição teórico-conceitual mais fundamentada e atualizada sobre a abordagem. Dois livros utilizaram número reduzido de referências, comparativamente ao número de referências utilizadas na descrição de outras abordagens, indicando pouca familiaridade com a publicação de analistas do comportamento. A análise da descrição da abordagem considerou cinco dimensões sobre a visão skinneriana de ensino (o que é ensinar, o papel do professor, como ensinar, o que ensinar e para que ensinar) e críticas sobre a abordagem. Constatou-se que ser especialista na abordagem produziu descrições mais completas e inter relação entre os diferentes aspectos abordados. O Estudo 2 foi proposto para identificar critérios para publicação de livros e compreender as razões de imprecisões. Para a identificação dos critérios, este Estudo baseou-se: na literatura, nos critérios de avaliação de programas de pós-graduação, em entrevistas realizadas com diferentes profissionais envolvidos na editoração de livros e com os envolvidos na autoria dos livros analisados no Estudo 1. Foi possível sistematizar oito critérios de avaliação de livros didáticos: obra como produto de programas de pós-graduação; o livro como um produto da interinstitucionalidade; a avaliação por pares; o compromisso do autor - pesquisador com a discussão e a reformulação solicitada no parecer; a potencialidade de impacto; novidade da publicação sobre o tema; a precisão conceitual; aplicabilidade dos conceitos (abordagem) na situação de ensino. Considerou-se para aplicação dos critérios identificados dois dos livros analisados no Estudo 1,cujos autores foram entrevistados. O livro 1 atendeu a cinco dos critérios e o livro 2 a dois. O critério principal identificado foi a precisão teórico-conceitual. Dadas as imprecisões arroladas no Estudo 1, pode-se concluir que alguns destes Livros e seus responsáveis desconsideraram o critério mais fundamental para publicação. Discutem-se ações que revertam essa negligência com a descrição da abordagem
112

Jornalismo em processo: dinâmicas da cobertura socioambiental na imprensa brasileira

Pedrotti, Janaina Sarah 13 February 2017 (has links)
Submitted by Filipe dos Santos (fsantos@pucsp.br) on 2017-02-22T11:44:10Z No. of bitstreams: 1 Janaina Sarah Pedrotti.pdf: 9898633 bytes, checksum: 6b87849833a694a4591bb4197df9de9f (MD5) / Made available in DSpace on 2017-02-22T11:44:10Z (GMT). No. of bitstreams: 1 Janaina Sarah Pedrotti.pdf: 9898633 bytes, checksum: 6b87849833a694a4591bb4197df9de9f (MD5) Previous issue date: 2017-02-13 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / Fundação São Paulo - FUNDASP / To think about journalism as a process, you have to look at the complex and diffuse paths of its practice to broaden the theoretical understanding of the scientific field. This thesis discusses the theme through the bias of the practice of commercial press with its organizational and structural characteristics and the singular relations. The corpus focuses on the entanglement of the journalistic practice around the press coverage in the socio-environmental area. The process of, production and edition is explored, considering also that these processes have impregnated the collective production dynamics, while it develops in apparent and contradictory individual activity. The adopted perspective is inserted in the discussion about the creation of communication networks processes in different entrances, in order to consider this entanglement of the process of creation in journalism, considering the procedural studies of Cecilia Salles. Texture that led to the expansion of the conception of the journalism making that this thesis brings, by looking at the coverage dynamics of the Folha de S. Paulo, Estado de S. Paulo, Folha do Estado (MT) newspapers and their respective websites with emphasis on the monitoring of the withdraw process in Marãiwetesédé in 2012 and 2013. And later in the journalistic coverage of the rupture of the tailings dam of the mining company Samarco in Bento Rodrigues, district of Mariana (MG) in 2015. The theoretical body is formed by a multidisciplinary framework of two interconnected central axes. The first is supported by a theoretical-methodological approach based on semiotics, subsidized in the formulations of C. Peirce, the complexus of E. Morin and the procedural perspective of C. A. Sales, which allowed us to understand nuances and questions that were not so comprehensible to other approaches. The second axis focuses on the discussions in the field of journalism under guardianship of theoretical such as M. Chaparro, R. Alsina and Medina in conceptual dialogues with the field. This background provided support for the meta-theoretical articulation around the connections in journalistic coverage brought by the dimensions: Expansion of journalistic making; shifts in journalistic coverage - from local to global; mobility of the team; sources of information and conflict and catastrophe in catharsis / Pensar jornalismo enquanto processo é olhar pelos percursos complexos e difusos de sua prática para, desta forma, ampliar a compreensão teórica do campo. A tese discute o tema pelo viés do trabalho da imprensa comercial com suas características organizacionais, estruturais e as relações singulares oriundas da rede acionada pelos sujeitos envoltos nessas dinâmicas. O corpus centra-se no enredamento do fazer jornalístico, em torno da cobertura da imprensa, na área sócio ambiental, explorando seu processo de elaboração, produção e edição. Também considera que estes processos têm impregnado, no seu amago, a dinâmica da produção coletiva, embora se desenvolva em aparente e contraditória atividade individual. A perspectiva adotada insere-se na discussão sobre processos de criação como redes comunicativas em diferentes entradas, de forma a considerar esse enredamento da dinâmica de criação no jornalismo, à luz dos estudos processuais de Cecília Salles. Tessitura que levou à concepção da interação do fazer jornalístico que a tese traz pelo olhar nas dinâmicas de cobertura dos jornais Folha de S. Paulo, O Estado de S. Paulo, Folha do Estado (MT), e seus respectivos sites, com ênfase no acompanhamento do processo de desintrusão em Marãiwatsédé (MT), em 2012 e 2013 e, posteriormente, na cobertura jornalística do rompimento da barragem de rejeitos da mineradora Samarco em Bento Rodrigues, distrito de Mariana (MG), em 2015. O corpo teórico é formado por um quadro multidisciplinar de dois eixos centrais interligados. O primeiro é sustentado por uma abordagem teórico-metodológica, pautada na semiótica, subsidiada pelas formulações de C. S. Peirce, pelo complexus de E. Morin e pela perspectiva processual de C. A. Sales, o que permitiu compreender nuances e questões antes não tão perceptíveis a outras abordagens. O segundo eixo recorre às discussões no campo do jornalismo, acionando-se teóricos como M. Chaparro, R. Alsina e Medina em diálogos conceituais com jornalistas de campo que são referência na atividade. Esse pano de fundo ofereceu sustentação para a articulação meta-teórica em torno das conexões na cobertura jornalística trazidas pelas dimensões: Interação do fazer jornalístico; Deslocamentos na cobertura jornalística- do local ao global; Mobilidade da equipe; Fontes de informação e Conflito e catástrofe em catarse
113

A aceleração dos meios de comunicação e a elaboração das notícias nos portais da internet

Peroni, Gabriel Prado 19 August 2009 (has links)
Made available in DSpace on 2016-04-26T18:18:08Z (GMT). No. of bitstreams: 1 Gabriel Prado Peroni.pdf: 2042508 bytes, checksum: 23092fdadc7c70e9ddb3be7ab40ef90c (MD5) Previous issue date: 2009-08-19 / The objective of this piece is to dissert on how the acceleration of online communication interferes positively or negatively on news production on the internet as well as on the results of this production. The intention was to demonstrate how, once exposed to the logistic of the speed, the online news could bend on two paths: the first one an efficient journalism which, even though made under the influence of the acceleration, presented a satisfactory result, agreeable to the immediacy expected from the online public. On the other hand, the online speed can deteriorate the good quality journalism concept, offering its public contents which will not be satisfying. Those are superficial and trivial news, when not simply forged. What will determine the benefic or malicious outcome of online journalism will be the criteria adopt by each communication vehicle and by its employees, the journalists themselves. The methodological and theoretical bases are works from thinkers from the new media and from others from the worldwide computer network as the international Pierre Lévy and, from Brazil, Eugênio Trivinho, as well as media critics like Paul Virilio and, from Brazil, Eugênio Bucci. Press and Journalism history were also considered. The subject of the research being a selection of 12 news from four Brazilian websites UOL, G1, Globo Online and Agência Estado, extracted inside the period from July 2007 to June 2009. The analysis should elucidate the follow premise: how the accelerating process adopted on communication vehicles acts on the origins of news productions which may or not offer quality to its public. The result sought being to contribute on an overall reflection of the journalism in the cyber cultural era / O objetivo deste trabalho é dissertar sobre como a aceleração dos meios de comunicação online interfere positiva ou negativamente na produção das notícias na internet bem como no resultado dessa produção. Buscamos mostrar como, submetidas à lógica da velocidade, as notícias online podem enveredar para dois caminhos: o primeiro diz respeito a um jornalismo eficiente, que, mesmo realizando sob o dorso da aceleração, apresenta um resultado satisfatório, condizente com o imediatismo desejado pelo internauta. Por outro lado, a velocidade da internet pode acabar degradando o conceito do jornalismo de qualidade, oferecendo ao internauta conteúdos que deixam a desejar. São notícias descontextualizadas e superficiais, quando não são falsas. O que vai determinar o efeito benéfico ou maléfico do jornalismo online será o critério adotado por cada veículo de comunicação e seus respectivos funcionários, no caso, os próprios jornalistas. As bases teórico-metodológicas são os trabalhos de pensadores das novas mídias e da rede mundial de computadores tais que Pierre Lévy e, no Brasil, Eugênio Trivinho, bem como de críticos das mídias tais que Paul Virilio e, no Brasil, Eugênio Bucci. Trabalhamos também com histórias da imprensa e do jornalismo. O corpus da pesquisa constitui-se de uma seleção de 12 notícias de quatro portais brasileiros UOL, G1, Globo Online e Agência Estado, extraídas dos respectivos sites entre julho de 2007 e junho de 2009. A análise do corpus deverá permitir elucidar a seguinte hipótese de trabalho: como o processo acelerativo adotado pelos meios de comunicação está na origem de uma produção noticiosa que pode oferecer qualidade ou não ao internauta. O resultado que ambicionamos é contribuir para uma reflexão sobre o jornalismo na era da cibercultura
114

Estudo e definição do teste de integração de software para o contexto de sistemas robóticos móveis / Study and definition of the software integration test for robotic mobile systems

Brito, Maria Adelina Silva 11 April 2017 (has links)
Durante o processo de desenvolvimento de software a atividade de teste pode contribuir com a melhoria de qualidade, produtividade e redução de custos, por meio da aplicação de técnicas e critérios de teste. Esses instrumentos viabilizam a detecção de defeitos, minimizando a quantidade de falhas no produto final. Durante o desenvolvimento de sistemas robóticos móveis, técnicas VST (Virtual Simulation Tools/Technology) são enormemente utilizadas. Apesar dos testes usando simulação serem eficientes em alguns casos, eles não permitem uma sistematização da atividade de teste com relação à cobertura de código. Este projeto de doutorado contribui nessa direção, explorando essa lacuna e propondo uma abordagem de teste de integração híbrida, composta por teste funcional e estrutural, a qual explora defeitos relacionados à comunicação entre os processos do sistema robótico. Este estudo foi conduzido com base em conceitos explorados no teste de programas concorrentes, dado que os sistemas robóticos podem apresentar problemas similares aos encontrados nos programas concorrentes, como não determinismo, diferentes possibilidades de comunicação, entre outros. Durante o trabalho foi definida uma abordagem de teste de integração e critérios de cobertura aplicados a sistemas robóticos. Os estudos exploratórios conduzidos indicaram que a abordagem proposta é aplicável e pode contribuir para revelar defeitos não explorados pela simulação e técnicas de teste utilizadas anteriormente. / During the software development process the test activity contributes in terms of increased software quality, team productivity and cost reduction by application of techniques and test criteria. These mechanisms allow the defects detection, reducing the failures in the final product. In a robotic systems development context, VST techniques (Virtual Simulation Tools/Technology) are widely used. Although these approaches be efficient, in some cases they not allow great systematization of the test activity including code coverage analysis. This project explores this gap and proposes an approach for integration testing applied to robotic embedded systems, composed of functional and structural testing, looking for defects mainly related to the communication among processes of these systems. This study was initially conducted by mapping coverage criteria, defined for concurrent programs testing and exploring problems related to non-determinism, communication, and other undesired situations. During the project we defined an approach of integration testing and coverage criteria for mobile robotic systems. The exploratory case studies indicate that the proposed approach is applicable and can contributes to reveal defects not found using simulations or traditional testing of mobile robotic systems.
115

Critérios para projeto de edifícios com paredes portantes de concreto pré-moldado / Criteria for design of buildings with loadbearing walls of precast concrete

Tomo, Fabricio da Cruz 21 March 2013 (has links)
A demanda por construções habitacionais vem crescendo de forma considerável nos últimos anos, devido à boa fase da economia brasileira. A busca por processos construtivos que contribuam para melhor qualidade e eficiência no processo de produção é uma meta que tem sido perseguida por aqueles que militam na construção civil. O objetivo deste trabalho consiste em apresentar critérios para projeto de paredes portantes de concreto pré-moldado, como alternativa de sistema construtivo para edifícios. São apresentados conceitos teóricos para distribuição de esforços horizontais e verticais entre as paredes e para dimensionamento dos elementos estruturais desse sistema construtivo (paredes e juntas). O trabalho também considera a análise de um edifício, com o objetivo de avaliar a influência das juntas verticais nos deslocamentos horizontais dos pavimentos, causados pelo vento. É apresentada, ainda, uma comparação entre os resultados de três modelos numéricos, em que cada um considera a junta vertical de forma diferente. Os modelos numéricos foram elaborados no programa SAP2000, admitindo-se uma análise elástica linear, sem considerar a interação solo-estrutura. Por fim são mostrados exemplos para dimensionamento de paredes portantes e de juntas verticais e horizontais. Portanto este trabalho apresenta conceitos teóricos e aplicações de critérios para projeto de estruturas de paredes portantes pré-moldadas, ressaltando a importância de juntas verticais resistentes ao cisalhamento, por conta da contribuição significativa dessas juntas na redução dos deslocamentos horizontais do edifício. / The demand for housing has been growing considerably in recent years due to the good moment of the Brazilian economy. The search for constructive processes that contribute towards better quality and efficiency in a production process is a target that has been pursued by those who militate in civil construction. The purpose of this work is to provide design criteria for loadbearing walls of precast concrete as a construction system alternative for buildings. Theoretical concepts are presented for horizontal and vertical load distribution among the walls and for the structural members design of this construction system (walls and joints). The work also considers the analysis of a building with the aim of evaluating the influence of vertical joints in horizontal displacements of the floors caused by wind. The work also presents a comparison among the results of three numerical models, wherein each one considers the vertical joint differently. The numerical models were developed in SAP2000 software, assuming a linear elastic analysis without considering the soil-structure interaction. Finally examples are shown for design of loadbearing walls and vertical and horizontal joints. Therefore this paper presents theoretical concepts and applications of criteria for the design of loadbearing precast walls structures, emphasizing the importance of vertical joints resistant to shear, due to the significant contribution of these joints in reducing the horizontal displacements of the building.
116

Validação de especificações de sistemas reativos: Definição e análise de critérios de teste. / Validation of the reactive systems specifications: definition and analysis of the testing criteria.

Simone do Rocio Senger de Souza 14 December 2000 (has links)
Este trabalho investiga a aplicação de critérios de teste para o teste de especificações do aspecto comportamental de Sistemas Reativos, descritos em Estelle e em Statecharts. A utilização de Sistemas Reativos em várias atividades humanas, requer uma maior qualidade tanto do produto como do processo de desenvolvimento, pois falhas nesses sistemas podem ocasionar riscos para vidas humanas e perdas econômicas. Os critérios de teste propostos nesta tese visam a fornecer uma medida de cobertura dos testes, permitindo que a qualidade da atividade de teste possa ser mensurada e avaliada. Esta tese apresenta contribuições para as três atividades fundamentais no contexto de teste de software, que são: definição de critérios de teste, desenvolvimento de estudos teóricos/empíricos e desenvolvimento de ferramentas. Com relação à definição de critérios de teste, é proposta a aplicação do Teste de Mutação para Estelle e a aplicação de critérios de Fluxo de Controle para Estelle e Statecharts. Para o Teste de Mutação, são identificados os tipos de erros em especificações Estelle, definidos os operadores de mutação, estratégias de teste incrementais e critérios de mutação alternativa que visam a diminuir o custo de aplicação desse critério. Para os critérios de Fluxo de Controle, foram definidas duas famílias de critérios: FCCS - Família de Critérios de Cobertura para Statecharts e FCCE - Família de Critérios de Cobertura para Estelle. Estudos teóricos são realizados visando a analisar a complexidade do Teste de Mutação para Estelle e a relação de inclusão dos critérios FCCS e FCCE. Estudos empíricos são realizados visando a comparar os critérios de teste definidos e a analisar a sua aplicação durante a simulação de especificações Estelle e Statecharts. Com relação ao desenvolvimento de ferramentas, a família de ferramentas Proteum, que apóia a aplicação do teste de Mutação, e os ambientes para simulação de especificações Estelle (EDT) e Statecharts (StaSim) fornecem uma base essencial para o desenvolvimento das ferramentas. São apresentadas algumas ponderações que devem ser consideradas para a definição de ferramentas de apoio à aplicação dos critérios propostos. / Reactive Systems are applied to several human activities and as failures in these systems may cause human or economical losses, it is required the use of high-quality software development processes that would lead to the production of high-quality products. This thesis investigates criteria for testing of Reactive Systems\' behavior specifications, specified either in Estelle or in Statecharts. These criteria systematize the testing activity and provide mechanisms for the software tests quality assessment. This thesis presents contributions to the three fundamental activities in the context of software testing, which are: definition of testing criteria, theoretical studies and tool development. In relation to the definition of testing criteria, it is proposed the use of Mutation Testing for Estelle specifications and the use of Control Flow Testing for Estelle and Statecharts specifications. For Mutation Testing, the errors types in Estelle specifications are identified; mutation operators are defined and incremental testing strategies are established. In this context, it is explored the alternative mutation criteria, which aim at reducing the cost of application of the Mutation Testing. For Control Flow Testing, two families of criteria are defined: SCCF - Statechart Coverage Criteria Family and ECCF - Estelle Coverage Criteria Family. Theoretical studies are accomplished to analyze the complexity of the Mutation Testing to Estelle and the inclusion relation for the FCCS and FCCE criteria. Case studies are conducted to evaluate the testing criteria defined in this thesis. The application of these criteria during the simulation of Estelle and Statecharts specifications is analyzed. The Proteum family tools, that support the application of Mutation Testing, and the simulation environments to Estelle (EDT) and Statecharts (StatSim) supply an essential base for tools development. Considerations about the definition of supporting tools to the application of the proposed criteria are realized.
117

Validação de especificações de sistemas reativos: Definição e análise de critérios de teste. / Validation of the reactive systems specifications: definition and analysis of the testing criteria.

Souza, Simone do Rocio Senger de 14 December 2000 (has links)
Este trabalho investiga a aplicação de critérios de teste para o teste de especificações do aspecto comportamental de Sistemas Reativos, descritos em Estelle e em Statecharts. A utilização de Sistemas Reativos em várias atividades humanas, requer uma maior qualidade tanto do produto como do processo de desenvolvimento, pois falhas nesses sistemas podem ocasionar riscos para vidas humanas e perdas econômicas. Os critérios de teste propostos nesta tese visam a fornecer uma medida de cobertura dos testes, permitindo que a qualidade da atividade de teste possa ser mensurada e avaliada. Esta tese apresenta contribuições para as três atividades fundamentais no contexto de teste de software, que são: definição de critérios de teste, desenvolvimento de estudos teóricos/empíricos e desenvolvimento de ferramentas. Com relação à definição de critérios de teste, é proposta a aplicação do Teste de Mutação para Estelle e a aplicação de critérios de Fluxo de Controle para Estelle e Statecharts. Para o Teste de Mutação, são identificados os tipos de erros em especificações Estelle, definidos os operadores de mutação, estratégias de teste incrementais e critérios de mutação alternativa que visam a diminuir o custo de aplicação desse critério. Para os critérios de Fluxo de Controle, foram definidas duas famílias de critérios: FCCS - Família de Critérios de Cobertura para Statecharts e FCCE - Família de Critérios de Cobertura para Estelle. Estudos teóricos são realizados visando a analisar a complexidade do Teste de Mutação para Estelle e a relação de inclusão dos critérios FCCS e FCCE. Estudos empíricos são realizados visando a comparar os critérios de teste definidos e a analisar a sua aplicação durante a simulação de especificações Estelle e Statecharts. Com relação ao desenvolvimento de ferramentas, a família de ferramentas Proteum, que apóia a aplicação do teste de Mutação, e os ambientes para simulação de especificações Estelle (EDT) e Statecharts (StaSim) fornecem uma base essencial para o desenvolvimento das ferramentas. São apresentadas algumas ponderações que devem ser consideradas para a definição de ferramentas de apoio à aplicação dos critérios propostos. / Reactive Systems are applied to several human activities and as failures in these systems may cause human or economical losses, it is required the use of high-quality software development processes that would lead to the production of high-quality products. This thesis investigates criteria for testing of Reactive Systems\' behavior specifications, specified either in Estelle or in Statecharts. These criteria systematize the testing activity and provide mechanisms for the software tests quality assessment. This thesis presents contributions to the three fundamental activities in the context of software testing, which are: definition of testing criteria, theoretical studies and tool development. In relation to the definition of testing criteria, it is proposed the use of Mutation Testing for Estelle specifications and the use of Control Flow Testing for Estelle and Statecharts specifications. For Mutation Testing, the errors types in Estelle specifications are identified; mutation operators are defined and incremental testing strategies are established. In this context, it is explored the alternative mutation criteria, which aim at reducing the cost of application of the Mutation Testing. For Control Flow Testing, two families of criteria are defined: SCCF - Statechart Coverage Criteria Family and ECCF - Estelle Coverage Criteria Family. Theoretical studies are accomplished to analyze the complexity of the Mutation Testing to Estelle and the inclusion relation for the FCCS and FCCE criteria. Case studies are conducted to evaluate the testing criteria defined in this thesis. The application of these criteria during the simulation of Estelle and Statecharts specifications is analyzed. The Proteum family tools, that support the application of Mutation Testing, and the simulation environments to Estelle (EDT) and Statecharts (StatSim) supply an essential base for tools development. Considerations about the definition of supporting tools to the application of the proposed criteria are realized.
118

Projeto otimizado de redes de terra em subestações

Silva, Francisco Samuel Bessa da January 2012 (has links)
Tese de mestrado integrado. Engenharia Electrotécnica e de Computadores (Área de Especialização de Energia). Faculdade de Engenharia. Universidade do Porto. 2012
119

Políticas de comunicação da produção científica da Universidade Federal da Bahia e o movimento de acesso livre à informação

Barros, Susane January 2010 (has links)
Submitted by Rodrigo Meirelles (rodrigomei@ufba.br) on 2012-11-02T18:42:34Z No. of bitstreams: 1 SusaneBarrosDissertacaoVF.pdf: 1648053 bytes, checksum: 1cef2fb9cf1a8d7d8fd2913df1b3b1c0 (MD5) / Made available in DSpace on 2012-11-02T18:42:34Z (GMT). No. of bitstreams: 1 SusaneBarrosDissertacaoVF.pdf: 1648053 bytes, checksum: 1cef2fb9cf1a8d7d8fd2913df1b3b1c0 (MD5) Previous issue date: 2010 / A comunicação científica é uma atividade intrínseca ao papel das universidades e a internet é um canal que tem sido cada vez mais utilizado para a disponibilização de conteúdos por elas produzidos, tornando ainda mais importante a criação de políticas que orientem suas comunidades a darem visibilidade a sua produção. Esta pesquisa buscou identificar e analisar as políticas e práticas estabelecidas pela UFBA para a divulgação de sua produção científica e verificar como a instituição e seus pesquisadores se posicionam em relação ao acesso livre à informação científica. Para sua execução foram associados três métodos de investigação: o estudo de caso, a pesquisa documental e o survey ou levantamento. As técnicas de coleta utilizadas foram observação indireta, entrevistas e aplicação de questionários. Anotações cursivas, questionários e roteiros de entrevistas foram os instrumentos de coleta definidos para a pesquisa. Os resultados demonstram a inexistência de uma política voltada para a divulgação dos resultados das pesquisas realizadas na UFBA. No entanto, a Instituição dispõe de diversos documentos que apresentam a questão de forma bastante fragmentada e de instâncias responsáveis pela pesquisa e pela pós-graduação que atuam com limitações no estabelecimento de diretrizes. Os esforços localizados de elaboração de uma política de comunicação não receberam o devido tratamento. A pesquisa apresenta ainda evidências de relações de dependência entre as políticas da universidade e as políticas dos órgãos de fomento e de avaliação, por seus critérios valorizarem quantitativamente a produção dos docentes-pesquisadores. Estes últimos mostram-se mais abertos em relação ao acesso livre à informação científica do que os membros da PRPPG, da Câmara de Pós-Graduação e do Conselho Editorial da Edufba. Conclui-se que não há compreensão do real objetivo da Câmara e da necessidade de formulação de políticas claras sobre a questão e que os pesquisadores reconhecem que os recursos eletrônicos apresentam vantagens para a divulgação de sua produção. Apesar da percepção de que o grau de confiabilidade em relação a esse canal ainda é baixo, vislumbra-se uma tendência de aumento de sua utilização nos próximos anos, mesmo considerando o comportamento de diferentes áreas do conhecimento.
120

O melhor canal de distribuição para um novo produto : extintor veicular ABC

Zimmermann, Rui André January 2006 (has links)
Devido aos constantes avanços tecnológicos e a grande competitividade no mercado atual, as empresas devem definir de forma mais objetiva possível, suas estratégias e formas de atuação. Para que se coloque um novo produto no mercado, este deve ser muito bem estudado pela empresa, a fim de ter o melhor resultado possível em sua distribuição, de forma que chegue da melhor maneira ao consumidor final. A pesquisa se justifica pela necessidade da empresa Kidde Brasil se adequar às exigências de uma nova resolução, “Resolução 157 do Contran”, de 22 de abril de 2004, onde foram regulamentadas várias mudanças na fabricação e comercialização do “Extintor de Incêndio Veicular”, bem como a substituição do antigo extintor por um novo e mais eficiente. Surgiu o interesse em desenvolver um estudo de modo que pudesse atender as necessidades da empresa Kidde Brasil em colocar o produto no mercado, através do melhor canal de distribuição possível. Esta pesquisa tem como objetivos avaliar a escolha correta por um canal de distribuição, no lançamento de um novo produto, o Extintor Veicular ABC; identificar os diferentes canais de distribuição para o Extintor Veicular ABC; organizar os critérios de escolha destes canais, a fim de utilizar um modelo de decisão; verificar o resultado, comparado com o canal escolhido pela empresa. O método de desenvolvimento é baseado no “Sistema Ranking”, que é um sistema de apoio a decisões multicriteriais que combina a metodologia de modelagem visual e interativa e o método de função de valor, para apoiar no processo de decisão. Sendo assim ,o sistema Ranking auxilia o decisor,para que este tenha um melhor entendimento de todo o processo,fornecendo suporte e sugerindo ações. Os resultados revelam que o melhor canal de distribuição para o novo extintor veicular, são as empresas recarregadoras, que já trabalhavam com produto similar. / Due the constants technological’s advances and the great competitivity in the actual market, the enterprises must define in a most objective way, it’s strategies and action’s ways. To a new product be introduced in the market, the enterprise must study it a lot, to have the best possible result in it’s distribution, to reach the final consumer in a better way. The research is justified by the Kidde Brasil enterprise necessity to be adequated in the demanding of a new resolution, “Contran’s Resolution 157”, by 22 apryl of 2004, on which many changes were registered in law to the fabrication and trading of the “Car’s Fire Extinguisher”, as well the old extinguisher’s fire substitution by a new and more effective one. Appeared the interest in the development of a study to attend the necessities of the Kidde Brasil enterprise in introduce a product in the market, trought a best distribution chanel. guisher, are the reload enterprises, which has already worked with similar product. This research has the objectives to evaluate the correct choice by a best distribution chanel, in the entry of a new product, the Car’s Fire Extnguisher ABC, identify the differents distribution chanels to the Car’s Fire Extinguisher ABC, organize the criterions to choose these chanels, with the purpose of using a decision model, analise the result, compared with the chanel choose by the enterprise. The development way will have the base in the “Ranking System”, which is a system of to the decisions with many criterials which combinate the methods of visual modeling and interactive and the method of value function to support the decision process. So, the Ranking System helps the one who makes the decision, to this one have a better understanding of all the process, giving support and suggesting actions. The results revelate that the best distribution chanel to the new car’s fire extinguisher, are the reload enterprises, which has already worked with similar product.

Page generated in 0.1103 seconds