111 |
Metodo Spline modificado : acoplamento do metodo da maxima verossimilhança ao metodo SplineNunhez, 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
|
112 |
Metodologia para implementação de sistemas PAC reconfiguraveisDaltrini, Beatriz Mascia, 1947- 12 December 1986 (has links)
Orientador: Marcio Luiz de Andrade Netto / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T17:52:53Z (GMT). No. of bitstreams: 1
Daltrini_BeatrizMascia_D.pdf: 4918108 bytes, checksum: 8761ae2c2e1be49150d170d4f61bc731 (MD5)
Previous issue date: 1986 / Resumo: Este trabalho aborda dois itens distintos porem interrelacionados. O primeiro é uma proposta de metodologia para implementação de Sistemas PAC reconfiguraveis. O segundo refere-se com o fato de capacitar este Sistema PAC com caracteristicas que possibilitem a execução de comandos em paralelo, permitindo que um processamento de longa duração seja executado como tarefa de fundo, enquanto o usuário trabalha por exemplo, em uma tarefa interativa...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: Not informed. / Doutorado / Doutor em Engenharia Elétrica
|
113 |
Desenvolvimento de um ambiente de simulação para projeto de sistemas de tempo realGomide, Eduardo Teixeira 04 July 1986 (has links)
Orientador : Mauricio Ferreira Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia de Campinas / Made available in DSpace on 2018-07-14T20:08:27Z (GMT). No. of bitstreams: 1
Gomide_EduardoTeixeira_M.pdf: 2884561 bytes, checksum: 824a15c82f92b7fd095b4f1d3c21111e (MD5)
Previous issue date: 1986 / Resumo: O simulador GMB* faz parte de um ambiente para projeto e programação de aplicações em tempo-real em desenvolvimento no Setor de Automação Industrial do Departamento de Engenharia Elétrica/FEG/UNICAMP. No projeto e na Implementação do simulador GMB* procurou-se enfatisar os aspectos de transportabilidade, estando o mesmo, atualmente, disponível em sistemas operacionais compatíveis com o CP/M e com o MS-DOS. A característica de modularidade foi também privilegiada permitindo a simulação de modelos de grandes dimensões em microcomputadores de oito e dezesseis 'bits'. Para a Interação com o usuário, o simulador dispõe de uma Interface 'homem-máquina' amigável que possibilita uma fácil manipulação do modelo da aplicação. Através da utilização do simulador pode-se validar várias fases de um projeto de aplicação em tempo-real, tendo em vista a dinâmica do modelo e o fluxo de dados do mesmo / Abstract: Not informed / Mestrado / Mestre em Ciências
|
114 |
Estados eletrônicos de superfície e interfaces em semicondutores : Si-Sno2Fulco, Paulo 24 July 1984 (has links)
Orientador: Cylon Eudóxio Tricot Gonçalves da Silva / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Fisica Gleb Wataghin / Made available in DSpace on 2018-07-15T01:03:46Z (GMT). No. of bitstreams: 1
Fulco_Paulo_D.pdf: 2104697 bytes, checksum: f36d25523eb45dcf14c8604f517a6986 (MD5)
Previous issue date: 1984 / Resumo: É desenvolvido uma técnica para calcular a densidade de estados de superfícies e interfaces. O método utilizado é o do Hamiltoniano de ligação forte, baseado no esquema de Slater-Koster. As funções de Green, surgidas do formalismo da teoria de espalhamento são desacopladas através do procedimento de renormalização. São estudadas as superfícies (100) do Si e SnO2, e a interface Si-SnO2, todas supostas ideais. Dentro desse esquema, realiza-se um estudo da origem, localização e caráter dos estados das superfícies e interface. Os resultados mostram que a técnica de renormalização reproduz o cálculo da densidade de estados efetuados por técnicas mais elaboradas. 0 teste foi realizado com as superfícies do Si e do SnO2 e a seguir foram obtidos resultados para a interface Si-SnO2 / Abstract: We develop a technique to calculate the density of state of surfaces and interfaces. The method used here is the tight-binding Hamiltonian based on the Slater-Koster approach. The Green functions, which arise from the formalism of the scattering theory, are decoupled through the renormalization's procedure. We study the ideal surface (100) of Si and SnO2, and the ideal interface Si-SnO2 This approach is used to investigate the origin, localization and behavior of the states on the surfaces and interfaces. Our results show that the renormalization technique gives the same density of state as it was found using more sophisticated techniques. We start with the surfaces of Si and SnO2 and we extend our calculations to a more complicated situation: the interface Si-SnO2 / Doutorado / Física / Doutor em Ciências
|
115 |
LIGG : uma linguagem grafica baseada em grafo para o MER/PACQuezada Gonzalez, Sergio 15 July 2018 (has links)
Orientador: Leo Pini Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-15T08:34:32Z (GMT). No. of bitstreams: 1
QuezadaGonzalez_Sergio_M.pdf: 8997663 bytes, checksum: f6faf8f30d206a762b95a9b19c40d97e (MD5)
Previous issue date: 1987 / Resumo: Neste trabalho uma linguagem gráfica baseada grafos (LIGG) para o MER/PAC é proposta. A definição da LIGG é feita através linguagem de especificação de projetos que possui estrutura controle semelhante às oferecidas em linguagens de alto nível. A LIGG permite a definição e manipulação de base de dados no contexto MER/PAC. O sistema de diálogo que a LIGG. Oferece instrumento de comunicação ao usuário, após procedimentos consistência no comando de diálogo, comunica-se com o GERPAC que através do SIGA acessa a base de dados. Os procedimentos que definem a LIGG são apresentados e um exemplo de implementação é desenvolvido / Abstract: In this work, a graphical language based on graphs (LIGG) for the MER/PAC is proposed. The definition of LIGG is done through a project specification language language with a control structure similar to that from high level languages. With LlGG one can define and manipulate a MER/PAC data base. The dialog system supported by LlGG for user communication, after consistency procedures, use the DBMS GERPAC functions that access the data base through the kernel system SIGA / Mestrado / Mestre em Engenharia Elétrica
|
116 |
Uma implementação de Modula-2 : analise e representação intermediariaPedro Junior, Jose 15 July 2018 (has links)
Orientador : Tomasz Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas. Isntituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-15T09:34:28Z (GMT). No. of bitstreams: 1
PedroJunior_Jose_M.pdf: 1220305 bytes, checksum: 202e709494def2efaa531bb7b5eb4452 (MD5)
Previous issue date: 1983 / Resumo: Implementou-se um compilador para a linguagem de programação MODULA-2. Esta redação descreve as análises léxica, sintática e de contexto, bem como a tradução do programa fonte para uma "representação intermediária". Tal representação é o ponto de partida para a geração de código (não descrita na redação) ...Observação: O resumo, na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: a compiler for the programming language MODULO-2 was implemented. This work describes the lexic, syntactic and context analysis, and also the source program translation to an "intermediate representation". This representation is the basis for code generation (not described here) ... Note: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Ciência da Computação
|
117 |
A função logistica com uma ou mais variaveis independentes para dados de resposta quanticaOliveira, Elizabete Rodrigues de 15 July 2018 (has links)
Orientador: Sonia Vieira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-15T15:40:31Z (GMT). No. of bitstreams: 1
Oliveira_ElizabeteRodriguesde_M.pdf: 1916585 bytes, checksum: 81bdf6a7d02e391524686adc7233e4e6 (MD5)
Previous issue date: 1979 / Resumo: A função logistica, definida por (fórmula) onde Pi representa a probabilidade no i-esimo grupo, .ß é um vetor-coluna de k+l parânietros desconhecidos e x1 é um vetor-linha de k+l constantes conhecidas, com primeiro elemento igual a 1, pode ser ajustada aos dados de resposta quântica. Neste trabalho são apresentados os estimadores dos parametros da função logistica usando o metodo de Berkson, o metodo dos minimos quadrados ponderados não-lineares e o metodo da máxima verossimilhança.¿Observação: O resumo, na íntegra poderá ser visualizado no texto completo da tese digital. / Abstract: The logistic function, defined by (formule) where Pi is the probability of success in the group, ß is a column of k+l unknown parameters and xi is a row of k+l known constants, with the first element equal to 1, can be fitted to quantal response data. In-this paper, estimators for parameters of the logistic function, by using Berkson's method, non-linear weighted least squares method and maxi mum likelihood method are presented ...Note: The complete abstract is available with the full electronic digital thesis or dissertations. / Mestrado / Mestre em Estatística
|
118 |
Tecnicas de otimização de codigo para arquiteturas RI&CSousa, Galileu Batista de 29 June 1992 (has links)
Orientador : Tomaz Kowaltowski / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-15T22:08:40Z (GMT). No. of bitstreams: 1
Sousa_GalileuBatistade_M.pdf: 5002494 bytes, checksum: 3ce4ddcb6d2ae6706550a45822ade9c4 (MD5)
Previous issue date: 1992 / Resumo: Computadores com conjunto de instruções reduzido (RISC) buscam a maximização do desempenho oferecendo instruções muito primitivas e de implementação eficiente. Por outro lado, análises de código objeto gerado por tradutores de linguagens de alto nível mostram que as instruções mais freqüentemente executadas são também as mais elementares. O aumento do desempenho de um computador de uso geral é, portanto, resultante de uma abordagem integrada entre compiladores e arquitetura. Estes conceitos têm mudado parcialmente as métricas de projeto nas duas áreas. Este trabalho consiste em caracterizar estas novas arquiteturas bem como seus relacionamentos com compiladores, ou mais precisamente, otimizadores de código. Aborda-se problemas fortemente identificados com o modelo RISC, tais como alocação de registradores e otimização de pipelines. Várias técnicas para tratar estes problemas são discutidas. Para validar as idéias descritas e/ou propostas, algumas das otimizações foram implementadas em um com.pilador de produção para a arquitetura SPARC / Abstract: Reduced Instruction Set Computers (RISCs) offer higher performance through their very simple instruction repertoire and its efficient hardware implementation. On the other hand, studies of object code generated by compilers for high level languages have shown that the most frequently executed instructions are exactly the simplest ones. The improvement in performance of a general purpose computer is thus result of an integrated approach to compiler construction and architecture. These ideas have influenced design concepts in both areas. In this dissertation we try to characterize these new architectures and their relation to compiling techniques, especially code optimization. Several aspects related to RISCs, such as, register allocation and pipelines optimization are discussed. Some of the ideas discussed or proposed were tried within a production compiling system on SPARC (Sun Microsystems) architecture / Mestrado / Mestre em Ciência da Computação
|
119 |
ANA-RE : um metodo para analise e especificação de requisitosToledo, Carlos Miguel Tobar 01 June 1989 (has links)
Orientador: Claudia Maria Bauzer Medeiros / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-17T02:02:11Z (GMT). No. of bitstreams: 1
Toledo_CarlosMiguelTobar_M.pdf: 7314679 bytes, checksum: 1ed586006c68948b58b190c92281d469 (MD5)
Previous issue date: 1989 / Resumo: Esta dissertação introduz o ANA-RE. um novo método para elaboração de modelos analíticos de problemas, bem como apresenta as caracter1sticas de ambiente automatizado SAES (Sistema de Apoio à Especificação de sistemas) que o suporta. Para mostrar a viabilidade desta automação, a dissertação descreve e desenvolvimento de um protótipo de um sistema de banco de dados que suporta o ANA-R E implementado em SMALLTALK [*].O método ANA-RE é o resultado de estudos para a automação do SADT [+] e visa permitir o desenvolvimento de um ambiente automatizado que suporte e complemente a técnica e os instrumentos descritos na literatura sobre SADT. A motivação é oferecer um apoio para a elaboração de modelos que permitam a análise, definição e comunicação de requisitos de sistemas de software. ANA-RE, além de permitir a sua automação, aumenta o espectro de problemas passiveis de especificação formal comparativamente ao SADT. / Abstract: Not informed. / Mestrado / Mestre em Ciência da Computação
|
120 |
Um ambiente de edição e simulação de estado-gramasElias, Valeria Gonçalves S 09 December 1992 (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-17T10:15:28Z (GMT). No. of bitstreams: 1
Elias_ValeriaGoncalvesS_M.pdf: 2055534 bytes, checksum: 943091da8859353f3ef41ef6c65e7800 (MD5)
Previous issue date: 1992 / Resumo: Este trabalho aprescnta um Editor Gráfico de Estadogramas. Estadogramas são uma extensão de diagramas de estados convencionais, acrescidos de conceitos de hierarquia, concorrência e comunicação. Apresentamos uma interface gráfica particular, que permite especificar sistemas reativos através da notação de estadogramas. No final de uma sessão de edição, fornecemos a opção de simulação de estadogramas. Nessa simulação são destacados os estados em que o sistema se encontra e são efetuadas as mudanças de estados que ocorrerem em decorrência de eventos. A cada estadograma editado, é gerada uma descrição textual passível de ser convertida em um programa em C que se comporta de forma funcionalmente equivalente ao estadograma. Paralelamente à execução deste programa, pode-se executar a simulação do estadograma original, onde através do mecanismo de sockets, o programa envia ao simulador os identificadores dos eventos ocorridos para serem realizadas as mudanças de estados decorrentes. Com este tipo de simulação fica disponível uma maneira de depurar programas a nível de estadogramas. / Abstract: A Graphic Editor of Statecharts is presented. Statecharts are an extension of conventional state diagrams where the concepts of hierarchy, concurrency and communication have been added. We present a particular graphic interface which supports the specification of reactive systems by means of the statechart notation. At the end of an editting session we offer a statechart simulation option. During a simulation the states, which the system is at, are highlighted and the state swappings due to event occurrences are performed. A textual description of an edited statechart may as well be generated. This description is liable to be converted into an executable program which behaves in a functionally equivalent manner. It is possible to execute this program at the same time the simulation of the original statechart is running. The program sends to the simulator the events identifiers, by means of the sockets mechanism, as soon as they occur. The simulator then applies the state swapping operation. With this kind of simulation it is possible to provide some support to debug programs at the statechart level. / Mestrado / Mestre em Ciência da Computação
|
Page generated in 0.0697 seconds