Orientador : Hans Kurt Edmund Liesenberg / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-03T23:51:28Z (GMT). No. of bitstreams: 1 Valente_EduardoCesar_M.pdf: 3137018 bytes, checksum: cb94fe299a9f4631ffe4ac5ebc50bdc0 (MD5) Previous issue date: 2004 / Resumo: No projeto de uma interface de usuário, cada vez mais a atenção está se voltando ao usuário final e às suas necessidades. Com isto, ganham evidência os princípios de usabilidade, para garantir um produto que corresponda às expectativas do usuário e que traga qualidade à solução apresentada. Por se tratar de interação entre pessoas e máquinas, a interface de usuário permite interpretações e abordagens diversas e, em algumas situações, conflitantes. Isto se traduz em degradação da qualidade do produto final e em frustração do usuário. Neste trabalho, serão apresentados os Padrões de Projeto, uma técnica de desenvolvimento de interfaces que vem experimentando uma boa aceitação entre os desenvolvedores de software, por privilegiar a usabilidade da interface e documentar a experiência adquirida de projetos anteriores para reuso. Analisaremos os padrões de projeto sob os princípios de usabilidade, verificando qual o diferencial que a utilização de tais padrões pode trazer a um bom projeto de interface de usuário / Abstract: On the design of a user-interface, increases the focus on the user and his needs. Because of that, the usability principles gains evidence, to assure a product that matches the user expectations and brings quality for the presented solution. Because we're dealing with interaction between people and machines, the user-interface allows several, and sometimes, conflicting, interpretations and approaches. This results at a poor quality final product and a user frustrated. In this work, we'll present the Design Patters, an interface design technique that has experimented a good acceptance among software engineering community, enhancing the interface usability and documenting the experience acquired from earlier projects for reuse. We'll analyze the Design Patters under usability principles, verifying what is the differential that the use of this patters can bring to a user-interface good design / Mestrado / Engenharia de Software / Mestre em Computação

Orientadores: Leo Pini Magalhães, Ivan Luiz Marques Ricarte / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-24T11:01:02Z (GMT). No. of bitstreams: 1 Tamiosso_FabianaSaldanha_M.pdf: 7969947 bytes, checksum: 6d129ef805d300ceceae4963cc3fa6ca (MD5) Previous issue date: 1998 / Resumo: O desenvolvimento de um ambiente para a construção de animações interativas é o tema deste trabalho. Esse ambiente possibilita que, de uma forma fácil e com informações simples, uma animação seja obtida incluindo um tipo de movimento e capacidade de interação com o usuário. Animações interativas são definidas por terem seu comportamento determinado por ações do usuário. As animações, construídas através do ambiente desenvolvido, apresentam a interatividade caracterizada no controle de parâmetros envolvidos na determinação do movimento. Neste tipo de animação o usuário interage com uma interface gráfica, associada à cena animada, de onde controla o movimento. VRML (Virtual Reality Modeling Language) é a linguagem utilizada neste trabalho para a definição de animações interativas. VRML, entre outras características, associa capacidade de processamento às cenas, tornando-as mais "inteligentes". Esta é a característica que torna possível a combinação de VRML com a linguagem lava e, é através desta combinação, que as animações interativas são obtidas. o processo para criar animações interativas pode ser complexo, envolvendo conhecimento de técnicas de modelagem e tecnologias de programação. O ambiente foi desenvolvido para facilitar este processo para os animadores, resumindo-o à definição de movimento e a sua associação a um objeto de uma cena VRML. ...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: The deveIopment of an environment for interactive animations building is the subject of this thesis. This environment allows that, in an easy way and with simpIe information, an animation is created including a kind of movement and user's interaction capacity. lnteractive animations are defined for having their behaviour controlled by user's actions. The animations, built by the deveIoped environment, present the interactivity based on the controI of parameters used in movement determination. In this kind of animation the user interacts with a graphicaI interface, linked with the animated scene, from where he controIs the movement. VRML (Virtual Reality Modeling Language) is the Ianguage used in this thesis to define interactive animations. Among other features, it links processing capacity to the scenes, making them more "intelligent". This is the feature which makes possibIe the combination between VRML and Java Ianguage and, by this combination, the interactive animations are gotten. The process of interactive animations conception may be compIex, invoIving knowIedge of modeIing techniques and programming technoIogies. The environment was deveIoped to tum the process easier to the animators, summarizing it to the definition of movement and its association to a VRML scene object. ...Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Automação / Mestre em Engenharia Elétrica

Orientador: Claudio Leonardo Lucchesi / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-14T01:00:50Z (GMT). No. of bitstreams: 1 Silva_LeilaMacieldeAlmeidae_M.pdf: 2512572 bytes, checksum: bac1797d1e4cff92457eeaac832615b5 (MD5) Previous issue date: 1991 / Resumo: Neste trabalho é desenvolvido o estudo de fluxos inteiros em grafos, especificamente as Conjeturas de Tutte sobre a existência de k-fluxos (k = 3,4,5) que generalizam teoremas sobre coloração de grafos planares. A dissertação consiste de cinco capítulos. O capítulo 1 apresenta as Conjeturas de Tutte, além de um breve histórico sobre coloração de grafos. O capítulo 2 apresenta relações entre colorações de grafos planares, fluxos inteiros e fluxos modulares. O capítulo 3 apresenta configurações redutíveis, ou seja, subgrafos que não ocorrem em contra-exemplos mínimos para as Conjeturas de Tutte. O capítulo 4 apresenta os seguintes resultados conhecidos sobre a Conjetura dos 5-' fluxos: teorema dos 8-fluxos (Jaeger), teorema dos 6-fluxos (Seymour) e teorema dos 5-fluxos para grafos em superfícies de gênus baixo (Younger Moller-Carstens Drinkmann). O capítulo 5 apresenta os seguintcs resultados conhecidos sobre a Conjetura dos 3-fiuxos: teorema dos 4-fluxos (Jaeger) e teorema dos 3-fiuxos para grafos planares (Grotzsch; Grünbaum-Aksionov; Steinberg- Younger). / Abstract: A study of integer flows in graphs is developed, specifically on Tutte's Conjectures on the existence of k-flows (k = 3,4,5) that generalize theorems about planar graph colourings. This work consists of five chapters. The first chapter presents Tutte's Conjectures and a brief historical review of graph colouring. Chapter 2 presents relations among planar graph colouring, integer flows and modular flows. Chapter 3 presents reducible configurations, that is, subgraphs that do not occur in minimal counter-examples for Tutte's Conjectures. Chapters 4 presents well ' known results on the 5-flow Conjecture: Jaeger's 8-flow theorem, Seymour's 6flow theorem and the 5-flow theorem for graphs embedded on surfaces of low genus (Younger; Mõller-Carstens-Dririkmalin). Chapter 5 presents well known results on the 3-fiow Conjecture: Jaeger's 4-flow theorem and the 3-flow theorem for planar graphs (Grõtzsch; Grünbaum-Aksionov, Steinberg-Younger). / Mestrado / Mestre em Ciência da Computação

Orientador : Claudio L. Lucchesi / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-15T05:25:59Z (GMT). No. of bitstreams: 1 MendoncaNeto_CandidoFerreiraXavierde_M.pdf: 1216674 bytes, checksum: 8e85895a8cb7f162a8e6807b1c063822 (MD5) Previous issue date: 1987 / Resumo: O primeiro capítulo introduz a noção de grafos perfeitos e as antigas conjeturas de Berge. A primeira delas, demontrada por Lovász, consta do capítulo 1 com o nome de Teorema dos Grafos Perfeitos. O segundo capítulo apresenta propriedades fundamentais dos grafos críticos (i. é, imperfeitos minimais) e os chamados grafos particionáveis. O capítulo termina com a apresentação dos grafos de cliques máximos de Tucker. O terceiro e último capítulo apresenta uma variada coleção de classes de grafos perfeitos. Foi consegui da uma tênue unificação de algumas dessas classes. O apêndice considera a segunda conjetura, a chamada conjetura "forte", e apresenta um resumo de algumas classes para as quais a conjetura vale / Abstract: The first chapter introduces the notion of perfect graphs and Berge's old conjecture, proved by Lovász, appears in chapter 1 under the name or Perfect Graphs Theorem. The second chapter presents fundamental properties of critical graphs (i. e., minimal imperfect graphs) and the so-called partitionable graphs. The chapter concludes with a presentation of Tucker's maximum clique graphs. The third and the last chapter presents a broad colection or classes of perfect graphs. The chapter presents a weak unification or these classes. The appendix analyzes the second conjecture, the so-called "strong" conjecture, and presents a survey of some classes over which this conjecture holds / Mestrado / Mestre em Ciência da Computação

Orientador: Ardemirio de Barros Silva / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil / Made available in DSpace on 2018-07-24T02:55:15Z (GMT). No. of bitstreams: 1 Orsi_AngelaCristina_M.pdf: 4584140 bytes, checksum: 980f74a132481be6d8c7365b8f31e9b4 (MD5) Previous issue date: 1997 / Resumo: O foco desta dissertação é a geração de banco de dados espaciais da área compreendida entre os meridianos 47° 14' 37" e 46° 49' 12"W e os paralelos 22° 52' 47" e 23° 52' 47" e 23° 03' 50" S na cidade de Campinas, no Estado de São Paulo. Esta região foi escolhida devido ao grande desenvolvimento industrial e ao crescimento urbano verificado nas últimas décadas, quando, na maioria dos casos, o crescimento tem ocorrido de forma caótica gerando sérios impactos ambientais. Baseado na evolução das análises ambientais e na tecnologia de SIG foi possível montar um banco de dados digital e a partir dele selecionar áreas propícias à implantação de aterros sanitários. Utilizando-se de análises booleanas, para cada um dos atributos referentes as variáveis escolhidas foram atribuidos pesos em potência de 2 que possibilitou apresentação de valores individualizados,gerando 3.960 categorias. A partir destas categorias, utilizando-se de comandos do GRASS 4.1, os resultados foram satisfatórios, pois um mapa com 230 possibilidades foi gerado, sendo que a base digital geo-referenciada criada pode atender a outros objetivos em diferentes áreas do conhecimento científico / Abstract: The aim of this dissertation is to analyze the methodological approach of creating a digital spatial data base of the southem part of Campinas, in the State of São Paulo. This region has been chosen because of the large industrial development and urban growth shown in last decades, where of the cases this growth has generated serious environrnentalimpacts. The digital data base produced is based on environrnental evaluation analysis and GIS technology. Those methodologies were used with the specific purpose of selecting favorable areas for landtill, one of most commonlytechnical solution used for waste and garbage disposals. For each variable chosen different grades, were attributed in terms of power of two, which generating 3960 categories. The results achieved were considered safisfactory and a map with 230 possibilities was created. Another important conclusion of this dissertation is the plausibilityof use of this georeferenced digital data base created in several different areas of the scientificknowledge / Mestrado / Saneamento / Mestre em Engenharia Civil

Orientadores: Luis Gimeno Latre, Maria Teresa Moreira Rodrigues / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-24T03:55:45Z (GMT). No. of bitstreams: 1 Reis_LuizAntonio_M.pdf: 11874763 bytes, checksum: e474465000fbd61c7044d333070b4910 (MD5) Previous issue date: 1998 / Resumo: O trabalho realizado objetiva o desenvolvimentode um sistema interativo de scheduling em sistemas de produção aplicados a plantas operando em batelada na indústria de processos. Esta tese mostra que os problemas de scheduling reais têm características multicritério. Neste trabalho a abordagem utilizada foi de desenvolver um sistema interativo com uma função de custo de objetivo único, competindo ao usuário a obtenção de uma solução "boa" do ponto de vista multicritério. o modeloutilizadona técnica de otimização baseia-sena representação STN (Rede Estado Tarefa) e na formulação apresentada em [Kondili et ai, 1993J . Utiliza-seum algoritmo de otimização MILP (Problema Linear Inteiro Misto) implementado em linguagem GAMS o sistema interativo desenvolvido em linguagem VISUALBASIC tem por função, entre outras facilidades, permitir a interação entre o usuário e o algoritmo de otimização. A idéia é que, mesmo que o sistema seja extremamente complexo e disponha de muitos recursos tecnológicos , o Homem deverá estar sempre presente porque muitos problemas podem ser melhor percebidos através da interação humana, face a face aos acontecimentos da vida real no sistema de produção. O sistema interativo permite que o usuário crie diferentes cenários o que permite fazer simulações do tipo" What Jf' , por exemplo a análise de cartas de Gantt resultantes de uma redução na oferta de recursos compartilhados. ...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: This thesis presents the development of a scheduling interactive for multipurpose batch plants. Real scheduling problems have multiobjective characteristics. In this work the interactive system uses a single objective cost unction and leaves the user responsible for obtaining a good compromise between comfliting objectives.The model used in the optimization technique is based on the STN (State Task Network) representation and the formulation presented in [Kondili et ai, 1993J . A MILP (Mixed Integer Linear Problem) optimization algorithm is implemented in GAMS language. The interactive system developed in VISUAL BASIC allows the user to interact with the optimization algorithm. The main idea is, even if the system being extremely complex with many technological resource, the an should always interact to the dynamic events of the production systems. The interactive system allows the user to create different sceneries that allows him to simulate " What If" conditions, for example the analysis of letters of Gantt resulting on a reduction in the offer of shared resources. The choice of VISUAL BASIC as programming language as the base of the interactive system search, was made in order to facilitate the implementation of the functionalities previously mentioned, and to allow the development and implementation of different scheduling techniques on another languages through mechanisms of DLL (Dynamic Link Library) type / Mestrado / Mestre em Engenharia Elétrica

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-13T23:12:52Z (GMT). No. of bitstreams: 1 Marana_AparecidoNilceu_M.pdf: 2954078 bytes, checksum: 8e532b96c0182ed58beb59f380d39ea0 (MD5) Previous issue date: 1990 / Resumo: TEX é um sistema de composição computadorizada de textos desenvolvido por Donald E. Knuth que apresenta excelentes resultados a.o compor textos, especialmente textos matemáticos. Com o intuito de auxiliar os usuários de TEX, Leslie Lamport desenvolveu sobre ele o sistema LATEX. Infelizmente, TEX- não dispõe de recursos gráficos e aqueles existentes em LATEX são muito restritos. Descreve-se, neste trabalho, a integração da linguagem FIG ao sistema LATEX. A partir desta integração, o usuário passa a especificar as figuras em FIG no próprio texto, no local onde deseja inseri-Ia. Tais figuras são convertidas em comandos LATEX ou PostScript. No final do processamento, obtêm-se as figuras automaticamente inseridas no texto que, então, pode ser submetido a LATEX. / Abstract: TEX is a computerized typesetting system developed by Donald E. Knuth designed to handle especially well mathematical texts. Leslie Lamport's LATEX system as developed as its extension for relatively all experienced users. TEX does not indude any facilities for drawillg pictures, and those existing in LATEX are very restricted. It's described in this work the integration of the language FIG into the LATEX system wruch allows the user to place the specifications of rus drawings within the LATEX text. These specifications are automatically translated into LATEX or PostScript commands, so that the drawings are inserted into the resulting text / Mestrado / Mestre em Ciência da Computação

Orientador: Armando Freitas da Rocha / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-18T11:20:45Z (GMT). No. of bitstreams: 1 Sato_AdemarTakashi_M.pdf: 3266616 bytes, checksum: b3d9f01577317b8eff12b4ed7e347d93 (MD5) Previous issue date: 1992 / Resumo: O trabalho apresenta a proposta de um Sistema Inteligente para Elaborar um Projeto de Perfuração de um Poço de Petróleo, que engloba o tratamento da base de dados, grafo de conhecimento para a escolha de poços de correlação, e recomendações para o posicionamento das sapatas com um grafo de conhecimento. Para tanto foram utilizadas diversas teorias e técnicas dentro da Inteligência Artificial. A aquisição do conhecimento de textos em linguagem natural, para a organização da base de dados utilizada, foi feita em um programa computacional, baseada em Redes Neurais Nebulosas e aprendizado evolutivo. A estruturação em relatórios que sintetizam um aglomerado de informações da base de dados, compreende a noção de programação orientada por objetos, e a construção de diversos grafos de conhecimento. A explicitação do conhecimento dos especialistas em Grafos de Conhecimento, que se baseiam em Redes Neurais Nebulosas, mostram-se adequados, devido a facilidade de se visualizar o problema em questão, e também. da facilidade de se efetuar a manutenção (aprendizado evol utivo) de eventuais correções / Abstract: The work presents a proposal of a Well Drilling Project Expert System, which includes database treatment, knowledge graph for correlation well choice, and recommendations for positioning casing shoes with a knowledge graph. Accordingly several Artificial Intelligence theories and techniques were used. A fuzzy neural net based and self leaming computer program was used for natural language text based knowledge acquisition. Structuring reports that summarize several database information involves an object oriented programming approach and several knowledge graphs. The experts knowledge explicitation through fuzzy neural nets based knowledge graphs are well-suited for modelling the problem in question and easing life cycle system maintenance through self learning techniques / Mestrado / Mestre em Engenharia de Petróleo

Orientador: Paulo de Barros Correia / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-07-18T13:12:48Z (GMT). No. of bitstreams: 1 ValenzuelaTurdera_EduardoMirko_M.pdf: 2718302 bytes, checksum: 5ae1d11b1e5e3300905fc72bd192fb85 (MD5) Previous issue date: 1993 / Resumo: Não informado / Abstract: This work studies the long term expansion system. The system has two suplier networks: the and the natural gas network. The coordinated expansion has been possible because both networks are coupled through the natural gas thermal plants. The simple-cycle and combined-cicle plants are included in the evaluation scenery from 2010 year, besides the hydroelectric projects. The expansion must to meet the local demands of electricity and natural gas and the commitment of natural gas exportation. The Bolivian Energy System is represented as an optimal expansion model when the objective function is to minimize the operation and investment costs of the projects. The generalized network algorithm an especialization of linear programming, is use as a tool for the solution of the energy model. The branch-and-bound technique helps to find the best alternatives for the expansion. The use of natural gas for output electricity in the next twenty years, in this expansion plan, cost and the dispossibility of big reserves, if it of Bolivian Energy electrical network will trend to rise because its low is considered the local consume / Mestrado / Mestre em Planejamento de Sistemas Energéticos

Orientadores : Mario Jino, Jose Carlos Maldonado / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-18T23:49:44Z (GMT). No. of bitstreams: 1 Vilela_PlinioRobertoSouza_M.pdf: 5744979 bytes, checksum: f8dcf850429c1e7981c14dc8a7803c38 (MD5) Previous issue date: 1994 / Resumo: Os principais aspectos da especificaçãoda ViewGraph, uma ferramenta cujo propósito é auxiliar a atividade de teste e depuração de programas, através da visualização de informações de teste fomecidas pela POKE-TOOL [CHA91], são apresentados. Os principais pontos relacionados do Teste Estrutural Baseado em Análise de Fluxo de Dados suportado pela POKE-TOOL, são também apresentados. Os principais algoritmos utilizados na ferramenta ViewGraph são aqueles que tratam da geração da disposição gráfica dos grafos de programa; sua descrição é mostrada em detalhes nessa dissertação. Uma avaliação empírica dos algoritmos foi realizada e os resultados são apresentados. As características bem como os principais problemas encontrados na implementação de um subconjunto da especificação da ViewGraph são também discutidos / Abstract: The specification and main features are presented of ViewGraph, a tool designed to aid in testing and debugging tasks by providing the visualization of test information produced by POKE-TOOL [CHA91]. The main points on Structural Testing based on Data Flow Analysis, supported by POKE-TOOL,are also presented. The most important algorithms in ViewGraph are the ones which deal with the visualization of program graphs; their detailed description is shown. An empirical evaluation of the algorithms was conducted and the results are presented. The characteristics as well as the major problems of the implementation of a subset of the specification of ViewGraph are aiso discussed.I / Mestrado / Mestre em Engenharia Elétrica