Orientador: Pushpa Narayan Rathie / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-20T00:57:38Z (GMT). No. of bitstreams: 1 Guimaraes_PauloRobertoMendes_M.pdf: 689100 bytes, checksum: 7176ea8a4275ce2bae4d78653eabdfc6 (MD5) Previous issue date: 1980 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Estatística

Submitted by Marco Antônio de Ramos Chagas (mchagas@ufv.br) on 2018-04-27T14:10:41Z No. of bitstreams: 1 texto completo.pdf: 18481185 bytes, checksum: e77f19591c9b76ec4e145021accd1625 (MD5) / Made available in DSpace on 2018-04-27T14:10:41Z (GMT). No. of bitstreams: 1 texto completo.pdf: 18481185 bytes, checksum: e77f19591c9b76ec4e145021accd1625 (MD5) Previous issue date: 2018-02-26 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Este trabalho propôs avaliar a eficiência de diferentes matrizes de covariâncias sobre as estimativas dos componentes principais (CP), de acordo com diferentes métodos de estimação do desvio-padrão utilizado na padronização da variável. Além disso, procurou também, determinar a importância relativa de cada variável aleatória avaliada, normal ou não, que fez parte da composição do CP. A estimação do desvio-padrão foi feita de acordo com quatro métodos: desvio-padrão total, Lenth, Juan e Pena e Dong. Para isso, foram simulados 60 conjuntos de dados compostos por quatro variáveis aleatórias com 10.000 observações cada, com três diferentes graus de correlação, dois tipos de médias, dois tipos de variâncias e cinco percentuais de outliers. Os outliers foram adicionados com o intuito de quebrar a aleatoriedade das variáveis. De acordo com os resultados, o fator mais importante em afetar a qualidade da estimativa do desvio-padrão foi a proporção de outliers. Nesse sentido, o melhor método de estimação foi o de Lenth para até 2% de outliers. A matriz que forneceu os melhores resultados para a análise dos CPs, foi a que utilizou a estimativa do desvio-padrão obtida pelo método do desvio-padrão total, na ausência de outliers, com variâncias iguais e diferentes. Já para o conjunto de dados com outliers e variâncias iguais e diferentes, a matriz baseada no método de Lenth forneceu resultados mias satisfatórios para a análise de CPs. / This study proposed to evaluate the efficiency of different covariance matrices on the principal components (PC) estimates, according to different estimation methods of the standard deviation used in the standardization of the variable. Furthermore, this project also sought to determine the relative importance of each random variable evaluated, whether normal or not, that composed the PC. The estimation of the standard deviation was done according to four methods: total standard deviation, Lenth, Juan and Pena and Dong. For this purpose, 60 datasets were simulated containing four random variables with 10.000 observations each with three different degrees of correlation, two types of mean, two types of variances and five percentages of outliers. The outliers were added with the aim to break the randomness of the variables. According to the results, the most import fact that affects the quality of the standard deviation estimation was the proportion of outliers. In this regard, the best method of estimation was the Lenth one for up to 2% of outliers. The matrix that provided the best results for the PCs analysis was the one that utilized the estimative of the standard deviation obtained by the total standard deviation method, in the absence of outliers, with equal and different variances. As for the dataset with outliers using equal and different variances, the matrix obtained through the Lenth method provided more satisfactory results for the PCs analysis.

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas. / Made available in DSpace on 2012-10-17T15:28:58Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T19:17:26Z : No. of bitstreams: 1 170074.pdf: 1661870 bytes, checksum: 1fbfe9c10fdab7889a1cabd91a6a8d2b (MD5) / Estuda os fluxos de Toda generalizados caracterizados pela equação diferencial

Programa de Pós-Graduação em Engenharia Ambiental. PROÁGUA, Pró-Reitoria de Pesquisa e Pós Graduação, Universidade Federal de Ouro Preto. / Submitted by Maurílio Figueiredo (maurilioafigueiredo@yahoo.com.br) on 2015-01-06T16:40:29Z No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_OtimizaçãoIndiceQualidade.pdf: 4310779 bytes, checksum: d13eb947bbb5bff523d8a1e8cbd26af4 (MD5) / Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2015-01-21T18:22:56Z (GMT) No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_OtimizaçãoIndiceQualidade.pdf: 4310779 bytes, checksum: d13eb947bbb5bff523d8a1e8cbd26af4 (MD5) / Made available in DSpace on 2015-01-21T18:22:56Z (GMT). No. of bitstreams: 2 license_rdf: 22190 bytes, checksum: 19e8a2b57ef43c09f4d7071d2153c97d (MD5) DISSERTAÇÃO_OtimizaçãoIndiceQualidade.pdf: 4310779 bytes, checksum: d13eb947bbb5bff523d8a1e8cbd26af4 (MD5) Previous issue date: 2014 / O principal objetivo deste trabalho foi reduzir o número de parâmetros compõem o Índice de Qualidade da Água (IQA), desenvolvido pela National Sanitation Foundation, por meio da aplicação de análise estatística multivariada. Para isto, foram utilizados os resultados fornecidos pelo Instituto Mineiro de Gestão das Águas - IGAM de cada parâmetro integrante do IQA (oxigênio dissolvido, coliformes termotolerantes, pH, DBO, nitrato, fosfato, temperatura, turbidez e sólidos totais) e os respectivos valores de IQA, de cada estação de monitoramento da Bacia do Rio das Velhas, no período de 2000 a 2010. Para a redução do número de dados avaliados foi primeiramente investigada a aplicação da análise de componentes principais (PCA), cuja aplicação não foi satisfatória para a avaliação do conjunto de dados estudado. Desta forma, a rede neural de Kohonen foi utilizada, proporcionando a redução do conjunto de dados inicial composto por 1834 resultados para 524. A viabilidade da aplicação da redução do número de resultados foi avaliada pela comparação entre a correlação dos dados originais e os dados reduzidos. A redução do número de conjuntos de dados também mostrou que a frequência de avaliação das estações de monitoramento poderia ser reduzida, em relação a frequência atualmente praticada pelo IGAM, culminando em redução de custos com monitoramento. O novo conjunto de dados formado por 524 resultados foi avaliado pela técnica OPS (ordered predictors selection), visando obter a redução do número de parâmetros do IQA. Nesta análise verificou-se a possibilidade da criação de um novo modelo para determinação do IQA, formado pelos parâmetros coliformes termotolerantes, DBO, fosfato, oxigênio dissolvido e turbidez. A calibração do novo modelo se deu com a aplicação da ferramenta PLS (partial least squares), prevendo os valores de IQA gerados pelo novo modelo e comparando-os aos valores originais de IQA, para o conjunto de dados, calculados pela fórmula tradicional. A calibração indicou que os dados se ajustaram ao modelo, cujo coeficiente de determinação (R2) foi igual a 0,96, e o gráfico de resíduos apresentou distribuição aleatória, com valores dos resíduos bem próximos de zero. O modelo ainda foi avaliado estimando os resultados de IQA, com o uso de cinco parâmetros, e a aplicação dos resultados de monitoramento de qualidade da água do ano de 2011. Os resultados obtidos na validação retratam a previsão do IQA pelo modelo muito próxima aos resultados obtidos por meio do cálculo tradicional, apontando R2 igual a 0,92, confirmando a aplicabilidade do novo modelo construído. ____________________________________________________________________________________________ / ABSTRACT: The main objective of this work was to reduce the number of parameters comprising the Water Quality Index (WQI) by the application of multivariate statistical analysis. For this, the results of monitoring conducted by the Water Management Institute of Minas Gerais (IGAM) for each parameter of the WQI (dissolved oxygen, fecal coliform, pH, BOD, nitrate, phosphate, temperature, turbidity and total solids) and the respect WQI score obtained at each monitoring station in the Velhas River Basin, in the period between 2000 and 2010. The reduction of the number of evaluated data was first investigated by means of application of principal component analysis (PCA), whose implementation is not suitable for evaluating the data set studied. Thus, the Kohonen`s neural network was used, providing a reduction in the initial data set from 1834 to 524 results of analyses. The viability of this data reduction was assessed by comparing the correlation between the original data and the reduced data. The reduction of the number of data sets also showed that the monitoring frequency of all stations could be reduced, compared to currently practiced by IGAM, culminating in important cost savings with monitoring. The new data set formed by 524 results were evaluated by the OPS (Ordered Predictors Selection) to reduce the number of parameters of WQI. In this analysis there was the possibility of creating a new model for determining the WQI. This model was formed by five parameters: thermotolerant coliform, BOD, phosphate, dissolved oxygen and turbidity. The calibration of the new model was done by PLS (Partial Least Square) tool, predicting WQI values generated by the new model and comparing the results to the original forecast WQI values for the data set, calculated by the traditional formula. The calibration indicated that the data fitted the model, whose coefficient of determination (R2) was equal to 0.96, and the graph of residues showed a random distribution, with values close to zero. The model was further assessed for prediction of the results of WQI, using this model with five parameters, and applying the results of monitoring of water quality in the year 2011 carried out by IGAM. The results of the validation depicted very close to WQI results obtained by the traditional calculation and R2 was 0.92, confirming the applicability of the new model constructed

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnologico / Made available in DSpace on 2016-01-08T20:29:53Z (GMT). No. of bitstreams: 1 105390.pdf: 1488361 bytes, checksum: ad6b7b6f2f4ba202017cd97c1c9597a7 (MD5) Previous issue date: 1996 / Foi proposto um método para minimização de funções não lineares com restrições canalizadas. Como caso particular foi obtido um método de minimização irrestrita. O método apresentado é do tipo região de confiança, e sua característica principal é que não são utilizadas matrizes Hessianas verdadeiras, mas aproximações do tipo banda para as Hessianas. Essas matrizes de aproximação são também simétricas, e são obtidas por técnicas secantes. Esse tipo de estrutura prefixada permite grande economia de memória computacional, permitindo o uso do algoritmo para problemas de grande porte. Foram apresentados resultados computacionais, quando se utiliza aproximações diagonais, tridiagonas ou pentadiagonais.

Dissertação (mestrado profissional) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-Graduação em Matemática, Florianópolis, 2015. / Made available in DSpace on 2016-10-19T12:43:35Z (GMT). No. of bitstreams: 1 338980.pdf: 3398188 bytes, checksum: b39af39af5211569515c4f15cb1c6b66 (MD5) Previous issue date: 2015 / Nesta dissertação, serão definidas as possíveis superfícies quádricas, através das equações do segundo grau em três variáveis. Para este estudo, será utilizado o teorema espectral da álgebra linear, e o problema da diagonalização de matrizes simétricas, bem como os elementos básicos de álgebra linear necessários para tal. Por fim, serão abordadas as possíveis intersecções entre cones de revolução e planos no espaço.<br> / Abstract : On this dissertation, it will be defined the possible quadric surfaces, through the second degree equation with three variables. For such study, it will be used the spectral theorem of linear algebra, and the problem of diagonalization of symmetric matrices, as well as the necessary basic elements of linear algebra. In the end, it will be covered the possible intersections between revolution cones and plans in the space.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Pós-Graduação em Matemática, 2014. / Submitted by Ana Cristina Barbosa da Silva (annabds@hotmail.com) on 2015-01-30T14:49:50Z No. of bitstreams: 1 2014_AndreiaBorgesAvelar.pdf: 1538432 bytes, checksum: a4c007b570815d67eeac5de0133a52bb (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2015-05-04T10:30:29Z (GMT) No. of bitstreams: 1 2014_AndreiaBorgesAvelar.pdf: 1538432 bytes, checksum: a4c007b570815d67eeac5de0133a52bb (MD5) / Made available in DSpace on 2015-05-04T10:30:29Z (GMT). No. of bitstreams: 1 2014_AndreiaBorgesAvelar.pdf: 1538432 bytes, checksum: a4c007b570815d67eeac5de0133a52bb (MD5) / Uma nova estrutura baseada em digrafos e denominada Grafos com Matrizes de Medida (MWGs) é apresentada. Esta estrutura se baseia na estrutura conhecida como Grafos de Contextos de Chamado (CCGs) e é aplicada na verificação de terminaçãao de programas funcionais de primeira-ordem especificados no estilo da linguagem de especifica¸cao do as- sistente de prova PVS. Similarmente a CCGs, os vértices em um MWG correspondem aos chamados recursivos da função modelada. Caminhos em um MWG, assim como em um CCG, representam o fluxo de execução dos chamados recursivos do programa em questão. De acordo com o princípio de mudança de tamanho, MWGs são aplicados na verificação de terminação através da especificação de critérios para garantir que todos os circuitos no MWG, que corresponderiam a possíveis execuções infinitas de chamados recursivos, nao podem ser repetidos infinitamente. Em CCGs, isto é realizado através da construção de combinação de medidas, sobre o domínio de uma relação bem-fundada, definidas nos parâmetros da função recursiva que está sendo modelada. Assim, a fim de verificar terminação da função, deve-se verificar que a combinação de medidas decresce estritamente em todos os possíveis circuitos. Ao invés de procurar uma combinação de medidas para cada circuito, em MWGs as arestas são rotuladas com matrizes quadradas cujas entradas expressam relaçoes entre diferentes medidas aplicadas aos parâmetros formais e atuais. Desta forma, o comportamento das medidas após executar uma sequência de chamados recursivos associada a um caminho no MWG é expresso através da multiplicação especializada das matrizes que rotulam as arestas do caminho. O critério de terminação em MWG corresponde a uma simples noção de positividade da matrix associada a um determinado circuito. As matrizes de medida modelam o resultado das combinações de medidas da tecnologia CCG de uma forma muito elegante possibilitando a formulação de critérios simples de terminação em MWGs. Tais critérios baseiam-se na positividade dos ciclos (circuitos simples) do MWG, levando a positividade de qualquer circuito. Dois critérios de terminação para MWGs são formalizados. A correspondência entre terminação em CCGs e MWGs é formalizada. A especificação de uma simples linguagem funcional de primeira-ordem com sua respectiva semântica para terminação é apresentada, e são discutidos os elementos necessários para a formalizaçao da correspondência entre a semântica de terminação para esta linguagem e terminação em MWGs. _____________________________________________________________________________ ABSTRACT / A new digraph structure called Matrix-Weigthed Graphs (MWGs) is presented. This structure is based on Calling Context Graphs (CCGs) and is applied to verify termination of first-order functional programs written in the style of the specification language of the PVS proof assistant restricted to its first-order fragment. Similarly to CCGs, a MWG has nodes that correspond to the recursive calls of the modeled program. Paths in a MWG, as well as in a GCC, model the execution ow of recursive calls in the associated program. According to the size-change termination principle, MWGs are used to verify termination of the specification through criteria that guarantee that all circuits in the MWG, would correspond to possible infinite executions of recursive calls, can not be repeated infinitely. In CCG, this is done by building well-founded measures for the parameters of the recursive functions that should be proved to strictly decreasing in all possible circuits. Instead searching a combination of measures for any circuit that guarantees the impossibility of infinite recursive calls as done in CCGs, MWGs edges are labelled with square matrices whose components express relations between different measures applied to the formal and actuals parameters. In this way, the behavior of measures after executing the recursive calls associated to a path in the MWG is expressed by an specialized multiplication of the matrices labeling the edges in the path. The termination criterion in the MWG corresponds to a simple notion of positivity of the matrix associated to a given circuit. The measure matrices model the results of combination of measures of the CCG's technology in a very elegant manner making possible the formulation of simple termination criteria in MWGs. Such criteria is based on the positivity of the cycles (simple circuits) of the MWG, leading to positivity of any circuit. Two termination criteria for MWG are formalized. The correspondence between the termination in CCGs and MWGs is formalized. The specification of a simple first-order language with its semantics for termination is presented and the necessary elements to formalize the correspondence between the semantics of termination of this language and termination in MWGs.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, Programa de Pós-Graduação, 2013. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2014-04-25T11:06:26Z No. of bitstreams: 1 2013_LuisFelipeGoncalvesFonseca.pdf: 889893 bytes, checksum: 04a134eefff71ede60dfedaa8054c6b4 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2014-04-25T11:15:24Z (GMT) No. of bitstreams: 1 2013_LuisFelipeGoncalvesFonseca.pdf: 889893 bytes, checksum: 04a134eefff71ede60dfedaa8054c6b4 (MD5) / Made available in DSpace on 2014-04-25T11:15:24Z (GMT). No. of bitstreams: 1 2013_LuisFelipeGoncalvesFonseca.pdf: 889893 bytes, checksum: 04a134eefff71ede60dfedaa8054c6b4 (MD5) / Sejam K um domínio de integridade infinito e Mn(K) a álgebra das matrizes n x n sobre K. Os objetivos da primeira parte desta tese serão:• Encontrar uma base para as identidades Z-graduadas de Mn(K); • Encontrar uma base para as identidades Zn-graduadas de Mn(K); • Encontrar uma base para as identidades graduadas de Mn(K) com uma graduação elementar cuja componente neutra coincide com a subálgebra das matrizes diagonais; • Descrever as identidades graduadas de Mn(K) equipada com uma graduação induzida das matrizes elementares; • Descrever os polinômios centrais Zp-graduados de Mp(K) quando p é um número primo; • Descrever os polinômios centrais Z-graduados de Mn(K). Com exceção do quarto item, todos os resultados listados acima têm versões conhecidas quando K é um corpo infinito; veja: [2],[3],[8] e [38]. Sejam K um corpo infinito de característica p > 2 e E a álgebra de Grassmann unitária gerada por um espaço vetorial de dimensão infinita V sobre K. Na segunda parte desta tese, nós descreveremos as identidades polinomiais Z2-graduadas de E para qualquer graduação em que uma base de V é homogênea com relação a essa graduação. _______________________________________________________________________________________ ABSTRACT / Let K be an infinite integral domain and Mn(K) be the algebra of all n x n matrices over K. This thesis aims for the following goals:• Find a basis for the Z-graded identities of Mn(K);• Find a basis for the Zn-graded identities of Mn(K); • Find a basis for the graded identities for elementary grading in Mn(K) when the neutral component and diagonal components coincide; •Describe the matrix units-graded identities of Mn(K); • Describe the Zp-graded central polynomials of Mp(K) when p is a prime number; • Describe the Z-graded central polynomials of Mn(K). Except for the fourth item, all results listed above have known version when K is an infinite field; see [2],[3],[8], and [38]. Let K be a infinite field of characteristic p > 2 and let E be the unitary Grassmann algebra generated by an infinite dimensional vector space V over K. In the second part of this thesis, we found a basis of the Z2-graded polynomial identities for any non-trivial Z2-grading such that a basis of V is homogeneous in this grading.

Orientador : Biswa Nath Datta / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-14T08:34:22Z (GMT). No. of bitstreams: 1 Chamma_OlindaThome_M.pdf: 1061205 bytes, checksum: a2e8e86cc1f5ccd1cba718fca6802e41 (MD5) Previous issue date: 1979 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientador: Biswa Nath Datta / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-17T22:06:37Z (GMT). No. of bitstreams: 1 Taube_AnamariaGomide_M.pdf: 1194220 bytes, checksum: d73b7969e99f116bd1d29afe6741c7f6 (MD5) Previous issue date: 1978 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática