• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 296
  • 17
  • 15
  • 15
  • 15
  • 8
  • 7
  • 6
  • 6
  • 5
  • 5
  • 5
  • 1
  • Tagged with
  • 315
  • 315
  • 76
  • 57
  • 56
  • 55
  • 53
  • 45
  • 35
  • 35
  • 30
  • 30
  • 29
  • 29
  • 28
  • 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.
1

Um processo de sintese de sistemas reativos

Figueiredo Filho, Antonio Gonçalves 18 December 1991 (has links)
Orientador: Hans Kurt Edmund Liesenberg / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-14T02:20:01Z (GMT). No. of bitstreams: 1 FigueiredoFilho_AntonioGoncalves_M.pdf: 2872725 bytes, checksum: 4e5fa0936d1d93dfbbc8d3144be0ee22 (MD5) Previous issue date: 1991 / Resumo: Esta dissertação apresenta um gerador de programas adequado para implementar o controle de sistemas reativos complexos. Este processo de geração consiste em uma síntese de sistemas reativos a partir de uma especificação, baseada em estadogramas. Os estadogramas são diagramas de estados convencionais estendidos suportando conceitos de hierarquia, concorrência e comunicação. Esta ferramenta. comporta-se como um tradutor que recebe como entrada uma descrição textual (i.e., um programa escrito em uma linguagem descritiva de estadogramas - LEG) e produz como saída um programa funcionalmente equivalente em C. Um programa escrito em LEG associa código inerente ao tratamento do controle da aplicação (cÓdigo LEC propriamente dito) e cÓdigo responsáve1 pela aplicação, (cÓdigo escrito em C). Para ilustrar uma aplicação desta ferramenta, descreve-se sua. utilização na construção de um editor topológico. / Abstract: A Program generator appropriate to implement the complex reactive systems control is presented. This generation process consists in a synthesis of reactive systems from a statecharts-based specification. Statecharts are a broad extension of conventional state diagrams supporting the notion of hierarchy, concurrency and communication. This tool behaves like a translator that receives a textual description of a statechart (i.e., a program written in a statecharts language - LEG) in its input and it outputs a functionally equivalent C program A program written in LEG combines code inherent to application control (represented by LEG code) and to application code (code written in C). An application of this tool in a construction of a topological editor is described. / Mestrado / Mestre em Ciência da Computação
2

Estrategias de seleção de caminhos no contexto de criterios estruturais de teste de software

Peres, Leticia Mara 17 December 1999 (has links)
Orientadores: Silvia Regina Vergilio, Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-26T08:01:35Z (GMT). No. of bitstreams: 1 Peres_LeticiaMara_M.pdf: 8518550 bytes, checksum: 2de6ca87d235b1b8960f087717081807 (MD5) Previous issue date: 1999 / Resumo: Critérios estruturais de teste têm o objetivo de auxiliar a etapa de geração de dados de teste e de avaliar a adequação de um conjunto de casos de teste, oferecendo medidas de cobertura. Eles requerem a execução de caminhos do programa que exercitem alguns elementos, tais como: comandos, decisões, definições e usos de variáveis. A seleção de caminhos e conseqüente geração de dados de teste para aplicação de um critério estrutural é uma das etapas mais difíceis de serem automatizadas. Pois, é indecidível determinar um dado de entrada para executar um particular caminho em um programa; é indecidível determinar até mesmo se esse dado existe, ou seja, se o caminho é ou não executável. Isto, aliado à eficácia dos dados gerados, aumenta a importância dessa etapa e conseqüentemente os custos de teste. Por isso, vários trabalhos na literatura ressaltam a importância de estratégias para minimizar o número de caminhos não executáveis selecionados para satisfazer um dado critério estrutural. Este trabalho tem como objetivos estudar, propor e fornecer mecanismos para automatização e validação de estratégias de seleção de caminhos a serem utilizadas em conjunto com critérios de teste estrutural. São propostas estratégias que consideram diferentes características de programas para seleção de caminhos visando: aumentar a eficácia, facilitar a etapa de geração de dados, e reduzir os efeitos causados por caminhos não executáveis no teste de software. Uma estrutura de representação /automatização dessas estratégias é apresentada e um módulo que implementa essa estrutura é descrito. O módulo é uma extensão à ferramenta Poke-Tool que apóia a utilização de diferentes critérios de teste e foi utilizado para avaliar uma estratégia proposta com o objetivo de minimizar o número de caminhos não executáveis selecionados. Esta aplicação permitiu detectar algumas estruturas de programa para os quais a estratégia avaliada não alcança seu objetivo e também verificar aspectos de eficácia dos dados gerados para a execução dos caminhos selecionados / Abstract: Testing criteria are useful in the task of test case generation and they are predicates to consider the testing activity ended, that is, to determine the adequation of a test set. They require the execution of paths in the program that exercise some elements such as statements, decisions, definitions and uses of variables. Selecting paths and generating automatic test data for a given structural criterion are very hard activities since it is not always possible to determine a data that executes a particular path in a program; it is even undecidable whether this data exists, that is, whether the path is feasible. This makes those activities difficult and increases the cost of testing. Several researches attach importance to strategies that minimize the number of infeasible selected paths to cover structural criteria. The goal of this work is to study, propose and offer strategies to select paths and mechanisms to automate and validate these strategies to be used with structural criteria. The proposed strategies consider different characteristics of programs for paths selection with the goal of: increasing the efficacy, easing the test data generation and reducing the effects caused by infeasible paths in the software testing. A structure to represent these strategies are presented. A module that implements this structure is described. This module is an extension to the testing tool named Poke-Tool, that supports different structural testing criteria. It was used to evaluate a strategy that proposes to 'minimize the number of infeasible selected paths. This application was guided to the detection of some program structures for which the evaluated strategy did not meet its objective and pointed out some results about the efficacy of the generated test data / Mestrado / Mestre em Engenharia Elétrica
3

Desenvolvimento e avaliação de uma ferramenta computacional multimeios utilizada no auxílio ao aprendizado de projetos de experimentos básicos

Leitão, Fábio Bauermann January 2000 (has links)
Esta dissertação trata do desenvolvimento e avaliação de uma ferramenta computacional multimeios utilizada no auxílio ao aprendizado de projetos de experimentos básicos. A busca da sociedade por novos produtos e processos, cada vez melhores e de forma mais rápida, determina a necessidade da aplicação de técnicas mais objetivas e eficientes para se alcançar estes desafios. O trabalho de execução visando contemplar o mencionado anteriormente, procedeu-se da seguinte forma: (i) revisão e descrição dos conceitos relativos à Engenharia da Qualidade e ao Planejamento, Projeto e Análise de Experimentos (PPAE); (ii) identificação e descrição de métodos ou regras de planejamento experimental; (iii) investigação e identificação dos projetos e análises de experimentos considerados básicos; (iv) desenvolvimento de uma ferramenta multimeios para o auxílio ao aprendizado de PPAE; (v) avaliação da ferramenta desenvolvida, através de um estudo de caso; (vi) conclusões relacionadas ao trabalho desenvolvido. A abordagem adotada para apresentar a técnica experimental, destacou o planejamento, do projeto e análise, detalhando separadamente os mesmos. Este passo almejou, de forma objetiva, identificar aqueles projetos e análises básicos, iniciais ao aprendizado. A elaboração e posterior avaliação da ferramenta multimeios permitiu perceber a potencialidade da mesma, como um meio instrucional para o tema específico de projetos de experimentos, sendo sua aplicação de relativa facilidade. A avaliação mostrou ainda que existe muito a se avançar nos meios físicos de apresentação/execução deste tipo de ferramenta multimeios. / This dissertation is about the development and evaluation of a computational multimedia tool for supporting the learning of basic design of experiments. The society’s search for new and improved products and faster processes creates the need for the application of more objective and efficient techniques. Therefore, the work that follows deals with the aforementioned issues through the following steps: (i) revision and description of concepts relative to the Quality Engineering and Planning, Design and Analysis of Experiments (DOE); (ii) identification and description of methods and rules for experimental planning; (iii) investigation and identification of basic designs and analyses of experiments; (iv) development of a multimedia tool to support the learning of DOE; (v) evaluation of the proposed tool, through a case study; (vi) conclusions. The adopted approach for presenting the design of experiments, highlighted the experimental planning, as much as the design and analysis, in order to identify in an objective way, those basic designs and analyses that introducing the learning. The elaboration and evaluation of the proposed multimedia tool was promising. The evaluation also showed that a lot could still be done for improving the presentation/execution of physical means for this type of multimedia tool.
4

Projeto automático de edifícios

Ellwanger, Ronald Jose January 1979 (has links)
Este trabalho descreve um programa de computador destinado ao projeto estrutural de edifícios. No atual estágio, uma vez fornecidos os dados de geometria e carregamento, o programa realiza a análise estrutural e o dimensionamento dos pórticos de concreto armado. Inicialmente, são apresentados as bases teóricas e o formulário utilizado. A seguir, trata-se da organização do programa em si. Finalmente, apresenta-se o projeto de um edifício de cinco pavimentos, como exemplo de aplicação. / In this paper a computer program for the structural design of building is described. In the present stage of development, given the geometry anyloading conditions, the program carries out the structural analysis and dimensioning of reinforced concrete frames. The theoretical bases and design criteria are discussed in detail, as well as the internal organization of the computer program. Finally, as an example, a five-stories building is designed.
5

Desenvolvimento e avaliação de uma ferramenta computacional multimeios utilizada no auxílio ao aprendizado de projetos de experimentos básicos

Leitão, Fábio Bauermann January 2000 (has links)
Esta dissertação trata do desenvolvimento e avaliação de uma ferramenta computacional multimeios utilizada no auxílio ao aprendizado de projetos de experimentos básicos. A busca da sociedade por novos produtos e processos, cada vez melhores e de forma mais rápida, determina a necessidade da aplicação de técnicas mais objetivas e eficientes para se alcançar estes desafios. O trabalho de execução visando contemplar o mencionado anteriormente, procedeu-se da seguinte forma: (i) revisão e descrição dos conceitos relativos à Engenharia da Qualidade e ao Planejamento, Projeto e Análise de Experimentos (PPAE); (ii) identificação e descrição de métodos ou regras de planejamento experimental; (iii) investigação e identificação dos projetos e análises de experimentos considerados básicos; (iv) desenvolvimento de uma ferramenta multimeios para o auxílio ao aprendizado de PPAE; (v) avaliação da ferramenta desenvolvida, através de um estudo de caso; (vi) conclusões relacionadas ao trabalho desenvolvido. A abordagem adotada para apresentar a técnica experimental, destacou o planejamento, do projeto e análise, detalhando separadamente os mesmos. Este passo almejou, de forma objetiva, identificar aqueles projetos e análises básicos, iniciais ao aprendizado. A elaboração e posterior avaliação da ferramenta multimeios permitiu perceber a potencialidade da mesma, como um meio instrucional para o tema específico de projetos de experimentos, sendo sua aplicação de relativa facilidade. A avaliação mostrou ainda que existe muito a se avançar nos meios físicos de apresentação/execução deste tipo de ferramenta multimeios. / This dissertation is about the development and evaluation of a computational multimedia tool for supporting the learning of basic design of experiments. The society’s search for new and improved products and faster processes creates the need for the application of more objective and efficient techniques. Therefore, the work that follows deals with the aforementioned issues through the following steps: (i) revision and description of concepts relative to the Quality Engineering and Planning, Design and Analysis of Experiments (DOE); (ii) identification and description of methods and rules for experimental planning; (iii) investigation and identification of basic designs and analyses of experiments; (iv) development of a multimedia tool to support the learning of DOE; (v) evaluation of the proposed tool, through a case study; (vi) conclusions. The adopted approach for presenting the design of experiments, highlighted the experimental planning, as much as the design and analysis, in order to identify in an objective way, those basic designs and analyses that introducing the learning. The elaboration and evaluation of the proposed multimedia tool was promising. The evaluation also showed that a lot could still be done for improving the presentation/execution of physical means for this type of multimedia tool.
6

Desenvolvimento e avaliação de uma ferramenta computacional multimeios utilizada no auxílio ao aprendizado de projetos de experimentos básicos

Leitão, Fábio Bauermann January 2000 (has links)
Esta dissertação trata do desenvolvimento e avaliação de uma ferramenta computacional multimeios utilizada no auxílio ao aprendizado de projetos de experimentos básicos. A busca da sociedade por novos produtos e processos, cada vez melhores e de forma mais rápida, determina a necessidade da aplicação de técnicas mais objetivas e eficientes para se alcançar estes desafios. O trabalho de execução visando contemplar o mencionado anteriormente, procedeu-se da seguinte forma: (i) revisão e descrição dos conceitos relativos à Engenharia da Qualidade e ao Planejamento, Projeto e Análise de Experimentos (PPAE); (ii) identificação e descrição de métodos ou regras de planejamento experimental; (iii) investigação e identificação dos projetos e análises de experimentos considerados básicos; (iv) desenvolvimento de uma ferramenta multimeios para o auxílio ao aprendizado de PPAE; (v) avaliação da ferramenta desenvolvida, através de um estudo de caso; (vi) conclusões relacionadas ao trabalho desenvolvido. A abordagem adotada para apresentar a técnica experimental, destacou o planejamento, do projeto e análise, detalhando separadamente os mesmos. Este passo almejou, de forma objetiva, identificar aqueles projetos e análises básicos, iniciais ao aprendizado. A elaboração e posterior avaliação da ferramenta multimeios permitiu perceber a potencialidade da mesma, como um meio instrucional para o tema específico de projetos de experimentos, sendo sua aplicação de relativa facilidade. A avaliação mostrou ainda que existe muito a se avançar nos meios físicos de apresentação/execução deste tipo de ferramenta multimeios. / This dissertation is about the development and evaluation of a computational multimedia tool for supporting the learning of basic design of experiments. The society’s search for new and improved products and faster processes creates the need for the application of more objective and efficient techniques. Therefore, the work that follows deals with the aforementioned issues through the following steps: (i) revision and description of concepts relative to the Quality Engineering and Planning, Design and Analysis of Experiments (DOE); (ii) identification and description of methods and rules for experimental planning; (iii) investigation and identification of basic designs and analyses of experiments; (iv) development of a multimedia tool to support the learning of DOE; (v) evaluation of the proposed tool, through a case study; (vi) conclusions. The adopted approach for presenting the design of experiments, highlighted the experimental planning, as much as the design and analysis, in order to identify in an objective way, those basic designs and analyses that introducing the learning. The elaboration and evaluation of the proposed multimedia tool was promising. The evaluation also showed that a lot could still be done for improving the presentation/execution of physical means for this type of multimedia tool.
7

Projeto automático de edifícios

Ellwanger, Ronald Jose January 1979 (has links)
Este trabalho descreve um programa de computador destinado ao projeto estrutural de edifícios. No atual estágio, uma vez fornecidos os dados de geometria e carregamento, o programa realiza a análise estrutural e o dimensionamento dos pórticos de concreto armado. Inicialmente, são apresentados as bases teóricas e o formulário utilizado. A seguir, trata-se da organização do programa em si. Finalmente, apresenta-se o projeto de um edifício de cinco pavimentos, como exemplo de aplicação. / In this paper a computer program for the structural design of building is described. In the present stage of development, given the geometry anyloading conditions, the program carries out the structural analysis and dimensioning of reinforced concrete frames. The theoretical bases and design criteria are discussed in detail, as well as the internal organization of the computer program. Finally, as an example, a five-stories building is designed.
8

Um sistema gerador de compiladores

Jino, Mario, 1943- 20 July 2018 (has links)
Orientador: Nelson C. Machado / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-20T02:29:57Z (GMT). No. of bitstreams: 1 Jino_Mario_M.pdf: 3073919 bytes, checksum: c3827bc75fe74b4f0d7ebda110d1dbe0 (MD5) Previous issue date: 1974 / Resumo: Neste trabalho é apresentada a descrição de sistema gerador de compiladores que, a partir da especificação sintática de uma linguagem produz tabelas que dirigirão a análise sintática de programas da linguagem. A análise sintática é efetuada por dois analisadores lixos: um analisador "top down" de descida recursiva para a parte geral da linguagem e um analisador "bottom up" de precedência de operadores o para sub-conjuntos específicos da linguagem. São descritas a especificações aceitas pelo sistema, a construção das tabelas e os analisadores. A especificação semântica deve ser feira pelo próprio usuário do sistema / Abstract: Not informed / Mestrado / Mestre em Engenharia Elétrica
9

Poke-tool : uma ferramenta para suporte ao teste estrutural de programas baseado em analise de fluxo de dados

Chaim, Marcos Lordello 26 April 1991 (has links)
Orientador : Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T23:48:33Z (GMT). No. of bitstreams: 1 Chaim_MarcosLordello_M.pdf: 9685376 bytes, checksum: 62dd048f141f0aa396783b07b16c711e (MD5) Previous issue date: 1991 / Resumo: Os principais aspectos da especificação e implementação de uma ferramenta multilinguagem para suporte ao teste estrutural de programas baseado em fluxo de dados são apresentados. Na versão atual a ferramenta, denominada PORETOOL, suporta o teste de programas escritos na linguagem C e automatiza a aplicação dos critérios Potenciais Usos (PU) [MAL88a, MAL88b]. Os pontos mais relevantes e os principais algoritmos da implementaçâo são apresentados em detalhe. São também descritos os passos do procedimento a ser realizado por um usuário configurador para gerar configurações desta ferramenta para outras linguagens procedurais. Os aspectos funcionais e de controle de atividades da POKE- TOOL são ilustrados através de uma sessão de trabalho completa, que mostra a aplicação da ferramenta em um programa; o programa exemplo foi extraído de um conjunto de programas utilizado para conduzir um "benchmark" dos critérios Potenciais Usos / Abstract: The main aspects of the specification and implementation of a multilanguage tool for structural data flow testing of programs are presented. In the present version, the tool, named POKE- TOOL, supports the test of programs written in C; it automates the application of the Potential Uses Criteria [MAL88a, MAL88b]. The most relevant points and main algorithms of the implementation are presented in detail. We also describe the steps of the procedure to be carried out by a user-configurer to generate configurations of the tool for other procedural languages. Functional and activities control aspects of POKE- TOOL are ilustrated through a complete work session, showing the application of the tool on a program; the examp]e program was extracted from a set of programs used to conduct a benchmark of the Potential Uses criteria / Mestrado / Mestre em Engenharia Elétrica
10

Metodo Spline modificado : acoplamento do metodo da maxima verossimilhança ao metodo Spline

Nunhez, José Roberto, 1961- 16 January 1990 (has links)
Orientador: Milton Mori / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-14T03:49:19Z (GMT). No. of bitstreams: 1 Nunhez_JoseRoberto_M.pdf: 1859565 bytes, checksum: bde607f608c6d55e2a1d005ea119f81f (MD5) Previous issue date: 1990 / Resumo: O Método Spline Modificado foi desenvolvido para o alisamento de dados experimentais com incertezas em todas as variáveis medidas. Este método é uma extensão do Método Spline Estendido e é baseado no acoplamento do Método Spline ao Método da Máxima Verossimilhança. O Método Spline Estendido acopla o Método Spline cúbico ao Método dos Mínimos Quadrados. Este método foi desenvolvido anteriormente por Klaus Van-Ness[7]. São apresentadas diversas aplicações a dados Termodinâmicos como dados de equilíbrio líquido-vapor ( diagrama XversusY ), temperatura de ebulição como função da concentração de um sistema binário ( diagrama TversusX ) e calor de mistura de certos sistemas com álcoois ( ?H / X1 . X2versusX1 ). Em todos os casos o Método Spline Modificado mostra melhores resultados do que o Método Spline Estendido. Programas computacionais foram desenvolvidos nas linguagens BASIC e PASCAL incluindo o Método Spline cúbico e o Método Spline Estendido como casos particulares do Método Spline Modificado. / Abstract: The Modified Spline fit Technique has been developed for the smoothing of experimental data with uncertanties in all measured variables. This method is a new fit technique and is an extension of the Extended Spline fit Technique and it is based on the coupling of the Maximun Likelihood Principle to the Spline fit Technique. The Extended Spline fit Technique couples the cubic Spline fit Technique to the Least Square Method. It was developed before by Klaus Van-Ness 17]. Several applications to thermodynamic data such as vapor-liquid equilibrium of a binary system ( X versusY diagram ), boiling temperature as a function of the concentration of a binary system (TversusX diagram ) and heat of mixing data of certain alcohol systems ( ?H / X1X2versusX1 ) are presented, and the Modified Spline Method shows better results over the Extended Spline fit Technique. A computer program, in Basic and Pascal languages, has been developed and includes both the Spline fit Technique and the Extended Spline fit Technique as particular cases of the Modified Spline fit Technique. / Mestrado / Mestre em Engenharia Química

Page generated in 0.1197 seconds