Orientador: Jose Armando Valente / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T01:01:07Z (GMT). No. of bitstreams: 1 Silva_HeloisaVieiradaRochaCorrea_D.pdf: 20592525 bytes, checksum: 667d76ca4fa24c45d92b856e2b82f0f5 (MD5) Previous issue date: 1991 / Resumo: O objetivo deste trabalho foi o de explorar o uso de representações computacionais, em tempo real, como auxilio ao aprendizado de conceitos e processos abstratos. O domínio de aprendizado escolhido foi programação de computadores. Programação de computadores foi escolhido por existirem conceitos e processos tais como variáveis, fluxo de execução, recursão, iteração, etc., difíceis de serem assimilados através de meios convencionais. Considerando-se a linguagem Logo aliada a sua metodologia de aprendizado foi desenvolvido um sistema que ampliou o ambiente de programação, criando um ambiente onde são apresentadas representações alternativas de um programa em execução. O objetivo do sistema foi facilitar o desenvolvimento de um modelo mental adequado que guiasse toda interação do usuário com a linguagem de programação. O projeto do sistema baseou-se na hipótese de que uma das dificuldades básicas para entender esses conceitos computacionais é a falta de visibilidade do processo de execução dos programas. Dada a opacidade do computador enquanto máquina e a natureza abstrata dos conceitos computacionais, deve-se utilizar outras representações caso se deseje tornar o processo de execução de alguma forma "visível¿. E como o processo é dinâmico deve-se ter representações dinâmicas. Os resultados mostraram que as pessoas realmente têm um modelo mental falho do funcionamento de processos computacionais, mais especificamente, de procedimentos recursivos. Isto não se restringe às pessoas não especialistas em computação. O uso do sistema, na maioria dos casos, mostrou-se útil como ferramenta auxiliar na correção e aquisição de modelos mentais adequados. Os resultados obtidos neste trabalho no contexto de programação podem ser estendidos para outras áreas de conhecimento, como Física, Química, Biologia, etc... Nesses domínios existe uma série de conceitos abstratos como velocidade, equilíbrio, pressão, etc., também bastante difíceis de serem compreendidos. Certamente a compreensão destes conceitos pode ser facilitada com o uso de outros tipos de representações de fenômenos onde estão presentes estes conceitos / Abstract: The aim of this thesis was to explore the use of real time computational system of representations, as an aid to the learning of abstract concepts and processes. The chosen learning domain concerned computer programming.The choice was based on the fact that there are many concepts and processes, such as, variables, execution flow, recursion, loops, etc., which pose several difficulties to be assimilated through conventional means. The Logo programming language together with its learning methodology was utilized in order to develop a system that enlarged the programming environment,adding another environment where aIternative representations of a program under execution are presented. The goal of the system was to 'facilitatethe development of an adequate user mental model to guide the interactionbetween the user and the programminglanguage. The design of the system was based on the assumption that one of the basic difficulties to understand computational concepts is the lack of visibility of the processe that involve the execution of the programs. Give the opacity of the computer machinery and the abstract nature of the computational concepts, one should utilize representations so as to render the execution processe somewhat more "visible". These representations should be dynamic since the processe involved is dynamic itself. The results showed that people possess misconceptions in their models of how work computational processes, more precisely, a recursive procedure. This fact applied to people other than nonspecialists in computing. In most cases, the use of the system proved to be a useful tool in the acquisition and adjust of mental models. The results obtained in this thesis in the programming concepts context, could be extended to another knowledge domain, such as, Physic, Chemistry, Biology, etc., where the comprehension of several abstract concepts - velocity, balance, pressure, friction, etc.- present difficulties. Their comprehension could certainly be facilitated by the use of other kinds of representation of the phenomena where these concepts are present / Doutorado / Doutor em Engenharia Elétrica

Orientador: Arthur João Catto / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-14T02:04:30Z (GMT). No. of bitstreams: 1 Rubira_CeciliaMaryFischer_M.pdf: 1743339 bytes, checksum: 48d2cb6de912c144c1721d797fa1fa45 (MD5) Previous issue date: 1989 / Resumo: Este trabalho apresenta um estudo detalhado da geração de código de uma linguagem de alto nível voltada para programação paralela denominada SISAL, implementada na Máquina de Fluxo de Dados de Manchester. Os pontos de deterioração de paralelismo obtidos na geração de código são identificados, apresentando sempre que possível otimizações que explorem o assincronismo e o poder computacional paralelo da máquina. O compilador SISAL gera código num formato intermediário gráfico chamado IFI, que é então traduzido para o código de máquina (grafos de fluxo de dados) através de um sistema de tradução. As otimizações aqui implementadas se concentram nos esquemas utilizados para a tradução do formato IF1 para código dependente de máquina. / Abstract: Not informed. / Mestrado / Mestre em Ciência da Computação

Orientador: Clovis Perin Filho / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-14T02:44:48Z (GMT). No. of bitstreams: 1 Silva_GustavoPeixoto_M.pdf: 1810173 bytes, checksum: a1944ac8ac4c940f289c30c233c64387 (MD5) Previous issue date: 1992 / Resumo: Este trabalho consiste no estudo e na implementação do algoritmo de Goldberg e Tarjan para o problema' do fluxo máximo. Este algoritmo tem destacada importância por apresentar uma das complexidades mais baixas e também pelo fato de abordar o problema de maneira diferenciada. Goldberg e Tarjan utilizam a estrutura de dados árvores dinâmicas para atingir a complexidade O(nm log(n2/m)) numa rede n-nós, m-arcos. Em redes densas (m = O (n2)) a complexidade deste algoritmo é tão boa quanto qualquer outro algoritmo, tendo uma das melhores complexidades em redes de densidade moderada. (m = O(n3/2)). Este algoritmo apresenta duas versões, uma que não utiliza a estrutura de dados árvores dinâmicas e tem complexidade O(n3), e outra versão que incorpora ao algoritmo anterior as árvores dinâmicas, conseguindo a complexidade de O(nm log(n2 1m)). Foram realizados testes comparativos com as duas versões e os principais al&oritmos conhecidos para o problema, tendo em vista o tempo de CPU em cada método. As redes utilizadas neste trabalho têm características particulares. / Abstract: Not informed. / Mestrado / Mestre em Matemática Aplicada

Orientador : Hermano de Medeiros F. Tavares / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-14T10:19:05Z (GMT). No. of bitstreams: 1 Fernandes_JurandirFernandoRibeiro_D.pdf: 2992577 bytes, checksum: c93cc051ebce23ae5d1a64b00b41a84e (MD5) Previous issue date: 1979 / Resumo: O presente trabalho trata da resolução, sob o enfoque da decomposição, de um problema de estrutura multidivisória, bloco diagonal, com restrições de acoplamento. O critério (função objetivo) a otimizar é linear por partes, separável. As restrições são lineares / Abstract: Not informed / Doutorado / Doutor em Engenharia Elétrica

Orientador : Mario Jino / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-14T11:26:22Z (GMT). No. of bitstreams: 1 Capretz_MiriamAkemiManabe_M.pdf: 3800512 bytes, checksum: 5319a3fe271eba6e5dd7b5f513fece33 (MD5) Previous issue date: 1988 / Resumo: O Gerenciamento de Configuração de Software (OCS) é uma disciplina que visa controlar as modificações de cada um dos componentes gerados durante o ciclo de vida de um produto de software. Os princípios do GCB formam a base de qualquer processo de desenvolvimento de software, quando suportado manual ou automaticamente em um ambiente de desenvolvimento de software. A automatização desta disciplina facilita o seu uso por projetistas, pois sem um suporte computacional adequado, é uma tarefa trabalhosa e que requer tempo, sendo portanto negligenciada pelos projetistas. O objetivo deste trabalho é mostrar como os procedimentos da disciplina Gerenciamento de Configuração de Software podem ser automatizados no SIPS (Sistema Integrado para Produção de Software), um ambiente voltado à produção de software, que está em desenvolvimento no Instituto de Automação do Centro Tecnológico para Informática. Para isto, a disciplina Gerenciamento de Configuração de Software foi formalizada e modelada usando o MRO (Modelo de Representação de Objetos). A sua implementação básica consiste na construção de primitivas para, o ambiente SIPS e de uma ferramenta denominada Gerenciador , de Configuração de Software. A automatização do GCS proposta é possível uma vez que o ambiente SIPS fornece uma série de características favoráveis providas por uma base de dados centralizada e única que é utilizada por várias ferramentas para desenvolvimento de sistemas de software cobrindo potencialmente todas as fases do ciclo de vida / Abstract: Software Configuration Management (SCM) is a discipline whose objective is to control changes in each one of comp6nents generated during the life cycle of a software product. The principles of SCM constitute a base for an software development process, when supported manual or automatically in a software development environment. The automat ion of this discipline eases its use by designers; without an adequate computational support, it is a hard task and demands time, being usually neglected by designers. The objective of this work is to show how the procedures of Software Configuration Management can be automated in SIPS (Integrated System for Software Production), an environment aimed to support the software production, under development at Automation Institute of Informatica Technological Center. For this purpose, the Software configuration Management discipline must be formalized and modeled using the ORM (Object Representation Model). Its basic implementation consists in the construction of primitives for SIPS environment and a tool named Software Configuration Manager. The SCM automation proposed is possible because SIPS environment provides suitable characteristics supplied by a centralized database used by several tools for development of software systems covering potentially all life cycle phases / Mestrado / Mestre em Engenharia Elétrica

Orientador: Jose Mario Martinez / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T20:14:19Z (GMT). No. of bitstreams: 1 Guerra_RenatoBorges_D.pdf: 3855753 bytes, checksum: 0bb18fc042b8ae9b9964bab783a2a007 (MD5) Previous issue date: 1987 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Doutor em Engenharia Elétrica

Orientador: Ana Friedlander / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-14T20:14:05Z (GMT). No. of bitstreams: 1 GomesNeto_FranciscodeAssisMagalhaes_M.pdf: 5530849 bytes, checksum: e4405c0d9c5879c60b77b0edb1bded22 (MD5) Previous issue date: 1989 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática Aplicada

Orientador : Roberto Aristobulo Macias / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-14T23:21:53Z (GMT). No. of bitstreams: 1 Gomes_LuizAntonioPereira_M.pdf: 1456925 bytes, checksum: 883b9aa570b9d12ca50b0737a282f927 (MD5) Previous issue date: 1978 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientador : Tomasz Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-15T03:49:55Z (GMT). No. of bitstreams: 1 Santos_OsvaldoAlvesdos_M.pdf: 2166507 bytes, checksum: 4edb0602a740e4d32818fd40f621d55e (MD5) Previous issue date: 1985 / Resumo: A linguagem de programação Ada é uma linguagem de propósito geral, possuindo os recursos oferecidos pelas linguagens clássicas tais como Pascal e Algol bem como as facilidades de elaboração de programas modulares. Programação de sistemas e programação em tempo real, que normalmente são encontradas somente em linguagens específicas. Neste texto é apresentada uma proposta de um sistema de execução para Ada. Dada a extensão do trabalho, será tratada somente a parte concorrente e as exceções da linguagem. Foi suposto que o sistema hospedeiro pode possuir multiprocessadores / Abstract: Ada is a general purpose programming language, includes features found in classical languages such Pascal Algol, as well as features for modular programming system and real-time programming, which are usually found only in specific languages. We present in this thesis a proposal for a run-time system for Ada. Due to the complexity of the language, we treat only the concurrency and exception handling. We assume that the underlying computing system allows for multiple processors / Mestrado / Mestre em Ciência da Computação

Orientador: João Carlos Setubal / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-20T10:42:14Z (GMT). No. of bitstreams: 1 Menezes_RonaldoParentede_M.pdf: 3928510 bytes, checksum: ea2fba03acca3afbcc6c42b92cf68f1c (MD5) Previous issue date: 1995 / Resumo: Modelos de Computação são uma ferramenta muito importante para um bom desenvolvimento de algoritmos. Em geral, eles visam facilitar o trabalho de projetistas abstraindo diversos fatores existentes nas máquinas reais. Em computação paralela, a necessidade de um modelo é extrema devido a grande variedade de arquiteturas. O surgimento de um modelo de computação paralela poderia impulsionar ainda mais o crescimento da área que já é bastante acentuado, devido a limitações físicas existentes em computadores seqüenciais. Nesta dissertação fazemos um estudo de modelos de computação paralela sob o ponto de vista de projeto de algoritmos e com enfoque na computação paralela derivada da arquitetura de von Neumann. Para tanto, começamos por estudar um conjunto de máquinas paralelas para que suas diferenças fiquem claras. Escolhemos as máquinas paralelas mais conhecidas, ou mais difundidas, como: CM-2, Sequent Symmetry, MasPar MP-l, CM-5, entre outras. Após este estudo de máquinas, partimos diretamente para os modelos de computação paralela. Escolhemos três como base. Tais modelos apresentam características bem distintas quanto a simplicidade e realismo. Os modelos estudados são PRAM, BSP [Val90] e LogP [CKP+93]. Muitos defendem que continuemos usando o modelo PRAM , pois este, apesar de ser muito abstrato, facilita bastante o trabalho dos projetistas. A proposta do modelo BSP é um pouco mais ousada pois Valiant tenta, com seu modelo, influenciar as áreas de hardware e software da mesma forma que a arquitetura von Neumann fez com a computação seqüencial. Já a proposta do modelo LogP é bastante imediatista, visto que tenta resolver o problema atual de dificuldade de projeto de algoritmos. Para que pudéssemos avaliar um modelo sob o ponto de vista de projeto de algoritmos, fizemos um estudo de casos com os problemas de Transformada de Fourier e Eliminação de Gauss. Com este estudo de casos pudemos avaliar quão fácil ou difícil é projetar algoritmos em cada um dos modelos. / Abstract: Models of Computation are one of most important tools in algorithm design With these models, the work of an algorithm designer becomes easier, because these models leave out many characteristics of real machines. In parallel computing there is a great need for a general model, because we have many different parallel machines. The advent of a parallel computing model could make the area grow more than it is already growing. In this dissertation we study some parallel computing models. First we take a look at a representative set of parallel machines, in order to learn the differences between each architecture. Our set of machines contains some of the most important commercial machines such as: CM-2, Sequent Symmetry, MasPar MP-l and CM-5. After this, we study the models themselves. The models chosen were: PRAM, BSP [Va190] and LogP [CKP+93]. Many researchers argue that the PRAM is the best model for algorithm design although it is not realistic. The proposal of the BSP mo dei is bold, since it also seeks to influence parallel architecture design The proposal of LogP model although similar to the BSP, does not require parallel machines to have synchronization mechanisms. This makes LogP the most realistic but also the most difficult model to use. We evaluate these models based on the problems of Fourier Transform and Gaussian Elimination. After this study we made an evaluation of the three models. / Mestrado / Mestre em Ciência da Computação