The modal logic S5 gives us a simple technical tool to analyze some main notions from philosophy (e.g. metaphysical necessity and epistemological concepts such as knowledge and belief). Although S5 can be axiomatized by some simple rules, this logic shows some puzzling properties. For example, an interpolation result holds for the propositional version, but this same result fails when we add first-order quantifiers to this logic. In this dissertation, we study the failure of the Definability and Interpolation Theorems for first-order S5. At the same time, we combine the results of justification logic and we investigate the quantified justification counterpart of S5 (first-order JT45). In this way we explore the relationship between justification logic and modal logic to see if justification logic can contribute to the literature concerning the restoration of the Interpolation Theorem. / A lógica modal S5 nos oferece um ferramental técnico para analizar algumas noções filosóficas centrais (por exemplo, necessidade metafísica e certos conceitos epistemológicos como conhecimento e crença). Apesar de ser axiomatizada por princípios simples, esta lógica apresenta algumas propriedades peculiares. Uma das mais notórias é a seguinte: podemos provar o Teorema da Interpolação para a versão proposicional, mas esse mesmo teorema não pode ser provado quando adicionamos quantificadores de primeira ordem a essa lógica. Nesta dissertação vamos estudar a falha dos Teoremas da Definibilidade e da Interpolação para a versão quantificada de S5. Ao mesmo tempo, vamos combinar os resultados da lógica da justificação e investigar a contraparte da versão quantificada de S5 na lógica da justificação (a lógica chamada JT45 de primeira ordem). Desse modo, vamos explorar a relação entre lógica modal e lógica da justificação para ver se a lógica da justificação pode contribuir para a restauração do Teorema da Interpolação.

Neural networks, control and systems theory and techniques are utilized in this work to improve the accuracy of measurement instruments. Contributions can be classified by subject under the major field they belong to. One contributions is the mathematical formulation of instruments based on system approach; it permits the global treatment of the measurements system without particularizing parts or having to specify the cause of the problems. Therefore, it guarantees that the advantages of systems approach are reached. Another contribution is the utilization of neural networks as estimators or as neurocontrollers. The neural estimators of measurement system functions are called emulator herein. Within this context the second method of Lyapunov is employed to study the stability and tracking of the system, resulting in a compensating measurement system with self adjustment. Another contribution is a basic procedure to building neural networks in a way that their capability to universal approximation to continuous functions is taken advantage of. Methodologies used in neural networks are reviewed, they are used to choosing the topology of the neural network and the number of hidden neurons. The innovation of this procedure is the utilization of polynomial interpolation theory, more specifically the Chebyshev theorem. It determines the size of the training set and indicates the elements of this training set to achieve the desired accuracy.

A flexão é um problema já há muito conhecido pelos engenheiros e cientistas. A evolução dos aviões e veículos espaciais exigiu que estes se tornassem cada ver mais leves, mas isto fez com que a rigidez estrutural fosse sacrificada. Por isso, a flexão deixou de ser um problema a ser evitado, e passou a ser assunto comum em projetos atuais, sendo necessário conhecê-la, para decidir posteriormente se é necessário realizar o seu controle, ou simplesmente filtrá-la para que esta não interfira nas leituras dos sensores da aeronave ou do foguete em questão. O que este trabalho objetiva é apresentar uma metodologia de ensaios em mesa rotativa para excitação dos modos flexíveis de um corpo qualquer, e medir as frequências de ressonância e os coeficientes de amortecimento deste através do uso de extensômetros. Como exemplo, as técnicas foram aplicadas a duas barras de aço e foram coletados resultados que possuíam qualidade suficiente para construir um conjunto de polinômios que descrevesse o comportamento dinâmico dessas barras.

In this work we study twisted sums induced by complex interpolation, of Banach spaces as well as of operator spaces. In the first part of the thesis we focus on Banach spaces, and clarify how interpolation of families, as of couples, induces an extension of the interpolation space, called the derived space. We study how the types and cotypes of the spaces being interpolated determine the triviality or singularity of the derived space, and we apply the results to the study of submodules of the Schatten classes and in the obtainment of nontrivial twisted sums in which all of the three spaces in the short exact sequence do not have the approximation property. In the second part we develop the theory of twisted sums in the category of operator spaces and present many examples of twisted sums which are completely singular and completely nontrivial. In particular, we solve two versions of Palais\' problem for operator spaces. / Neste trabalho estudamos somas torcidas induzidas por interpolação complexa, tanto de espaços de Banach como de espaços de operadores. Na primeira parte da tese focamos em espaços de Banach, e esclarecemos como a interpolação de famílias, assim como a de pares, gera uma extensão do espaço interpolado, chamada de espaço derivado. Estudamos como os tipos e cotipos dos espaços sendo interpolados influenciam na trivialidade ou singularidade do espaço derivado, e aplicamos os resultados para o estudo de submódulos das classes de Schatten e para a obtenção de somas torcidas não-triviais em que os três espaços da sequência exata curta não possuem a propriedade da aproximação. Na segunda parte, desenvolvemos a teoria de somas torcidas na categoria de espaços de operadores, e apresentamos vários exemplos de somas torcidas completamente singulares e completamente não-triviais nessa categoria. Em particular, resolvemos duas versões do problema de Palais para espaços de operadores.

A regionalização hidrológica é uma técnica que permite transferir informação entre bacias hidrográficas semelhantes, a fim de calcular em sítios que não dispõem de dados, as variáveis hidrológicas de interesse; assim, a mesma caracteriza-se por ser uma ferramenta útil na obtenção de outorga de direitos de uso de recursos hídricos, instrumento previsto na Lei 9433/97. Devido à desatualização do modelo atual de regionalização hidrológica do Estado de São Paulo, proposto na década de 80, este estudo tem como objetivo geral avaliar se o mesmo está adequado ao uso, de acordo com a atualização de seu banco de dados, e propor um novo que supere as limitações do antigo. O estudo foi realizado no Estado de São Paulo, que tem área de aproximadamente 248197 km², localizado entre as longitudes -44° 9\', e -53º 5\', e entre as latitudes -22° 40\', e -22° 39\'. Utilizou-se, inicialmente, dados de 176 estações fluviométricas administradas pelo DAEE e pela ANA, disponíveis em http://www.sigrh.sp.gov.br. Determinou-se para as estações, a precipitação média anual da bacia hidrográfica (P), a vazão média plurianual (Q), a vazão mínima média de 7 dias seguidos com período de retorno de 10 anos (Q7,10) e as vazões com 90 e 95% de permanência no tempo (Q90 e Q95). Posteriormente, fez-se análise de consistência excluindo as estações inconsistentes do estudo; assim, restaram 172 para serem utilizadas na avaliação do modelo e formulação de um novo. A avaliação do modelo fez-se pelo índice de confiança (c), que é definido pelo produto entre o coeficiente de correlação (r) e o índice de concordância (d), utilizando como valor de estimativa as vazões geradas pelo modelo, e como valor padrão as calculadas por intermédio das estações fluviométricas. Todas as vazões avaliadas foram classificadas como ótimas, com índice de confiança (c) acima de 0,85; assim, o atual modelo rejeitou a hipótese de que a atualização de seu banco de dados pudesse inferir em sua capacidade preditiva; portanto, o mesmo pode ser usado na obtenção das vazões estudadas que são referência na emissão de outorga em diferentes Estados do Brasil. Entretanto, o modelo apresentou algumas limitações, como extrapolação para áreas de bacias de drenagem menores do que as utilizadas para formulá-lo, e problemas em seu aplicativo computacional: o mesmo informa a precipitação média anual na coordenada geográfica do local de captação da água, e não da bacia de drenagem a montante do referido local. Neste enfoque, foi formulado um novo modelo, que superou as limitações e proporcionou capacidade preditiva maior que a do antigo. / A hydrological regionalization is a technique that allows to transfer information between similar watersheds in order to calculate, in sites where there are no data on the hydrological variables of interest. This technique becomes a useful tool to ensure the rights of water resources use, instrument provided by Law 9433/97. Due to the outdated hydrological regionalization model of São Paulo State, proposed in the 1980\'s, this study aims to broadly assess whether the current model is appropriate to use, according to an analysis of its update database and to propose a new model to overcome the limitations of the current one. The study was conducted in State São Paulo with area of approximately 248197 km ², located between longitudes -44 ° 9 \', and -53 ° 5\', and between latitudes 40 ° -22\' and -22 ° 39\'. We used data from 176 initially gauged stations administered by ANA and DAEE available at http://www.sigrh.sp.gov.br, where it was determined to the stations, the average annual rainfall of the basin (P) multiannual average streamflow (Q), streamflow minimum average of 7 consecutive days with a return period of 10 years (Q7,10) and streamflows with 90 and 95% of permanence in time(Q90 e Q95). Afterwards, we analyzed the consistency excluding the inconsistent stations from the study, thus, remaining 172 to be used in the model evaluation and development of a new model. The model evaluation was made by the confidence index (c), which is the product between the correlation coefficient (r) and the agreement index (d), using as estimate value the streamflows generated by the model and as the standard value, the streamflows calculated through the gauged stations. All streamflows evaluated were classified as optimal, with confidence index (c) above 0.85, therefore, the current model rejected the hypothesis that upgrading the database could infer its predictive ability, so, it can be used to obtain the streamflows studied that refer to use grants in different States of Brazil. However, the model had some limitations, such as extrapolation to areas of smaller watersheds than those used to formulate it, and computer application problems, being that, it reports the average annual precipitation at the geographic coordinate at the local catchment water, not the watershed upstream of that location. A new model was formulated that surpasses the limitations and provides greater predictive ability than the current one.

O conhecimento do estoque florestal é uma importante ferramenta para que o planejamento de curto, médio e longo prazo possam ser realizados. Em cada talhão o estoque é obtido através do inventário florestal. O trabalho realizado teve como objetivo aplicar conceitos de geoestatística que se beneficiem da dependência espacial de certas variáveis para estimar o volume em pontos não amostrados. Para a realização deste estudo, foram utilizados métodos de interpolação, procedimento pelo qual se estimam valores de uma variável em área interior aos pontos de amostragem disponíveis, permitindo representar o comportamento de variáveis amostradas pontualmente e extrapolar valores da variável fora dos limites da área amostrada. Foram instaladas 34 parcelas para estimativa do inventário florestal e 36 parcelas de controle para comparar as diferenças entre o valor estimado e o valor efetivamente medido das variáveis: volume, área basal e altura média de um povoamento de clones de eucalipto em aproximadamente 205 ha, localizados em Mogi-Guaçu-SP. Além destas parcelas, foram mensuradas 24 parcelas em uma área vizinha aos talhões em estudo para compor cenários que pudessem melhorar a estimativa em regiões de borda. Com o auxílio do software Geomedia Professional®, três métodos de interpolação foram testados: Krigagem universal, Inverso da distância ponderada (IDW) e Spline. Para cada um dos métodos foram realizadas simulações com a inclusão de novas parcelas visando avaliar o comportamento da estimativa com o aumento da intensidade amostral. Nesse procedimento, foram criados 6 diferentes cenários com crescente números de parcelas: Am com 34 parcelas; G com 58 parcelas; G+5 com 63 parcelas; G+10 com 68 parcelas; G+15 com 73 parcelas e G+20.com 78 parcelas. A comparação entre o valor estimado e valor medido foi feita através dos erros em porcentagem para cada parcela. Todos os modelos testados apresentaram uma tendência, em média, a subestimar os valores. O erro mínimo encontrado para volume foi de -3,17% estimado pelo modelo Spline. Para altura média e área Basal os menores desvios foram de -1,7% e 0,82% igualmente estimados pelo modelo Spline. Na estimativa realizada através do modelo Krigagem, o melhor resultado foi de - 7,95%, -2,25% e -5,75% de desvio para área basal, altura e volume, respectivamente. Já o modelo IDW resultou num desvio de -7,48%, -1,29%, 7,53% para as mesmas variáveis. A análise dos resultados mostra que a estimativa por meio de interpolação utilizando modelos implícitos em software geoestatísticos produz alguns desvios significativos e o uso de modelos geoestatísticos ajustados ao conjunto de dados pode produzir estimativas melhores. / The Knowledge about the forest stock is an important tool to support the short, medium and long term planning. In each stand the stock is obtained through the forest inventory. This work aimed to apply geostatistics concepts that get benefits from the spatial dependence of certain variables to estimate the volume at non sampled points. For this study, it were used interpolation methods ,which procedure is used to estimate the variables values in the internal area of the sampled points, allowing to represent the locally sampled variables behavior and extrapolate the variables value to the outside sampled area. It were sampled 34 plots to estimates the forest inventory and 36 control plots were sampled to compare the differences between the estimated and actually measured value for the variables: volume, basal area and average height of a cloned Eucalyptus group of stands in approximately 205 ha, located in Mogi-Guaçu-SP. Futher these plots, it were measure more 24 plots in an adjacent area which were used to compose a scenarios study that could support the improvements in borders regions estimations. Using the Geomedia Professional ® software, three interpolation methods were tested: Kriging, Inverse Distance Weighting (IDW) and Spline. For each method it was performed simulations considering the inclusion of new plots to evaluate the estimate behavior by increasing the sample size. In this procedure, we created 6 different scenarios with increasing numbers of plots: Am with 34 plots, G with 58 plots, G +5 with 63 plots, G +10 with 68 plots, G +15 with 73 plots and G +20 with 78 plots. The comparison between the estimated and measured value was made through the errors in percentage for each plot. All the tested models had a tendency, on average, to underestimate the values. The minimum error found for volume was -3.17% estimated by the Spline model. For height and basal area the minor deviations were -1.7% and 0.82% estimated by the Spline model also. In the estimations made by the Kriging model, the best result was -7.95%, -2.25% and -5.75% deviation for basal area, height and volume, respectively. IDW model resulted in a deviation of -7.48%, -1.29%, -7.53% for the same variables. The result analysis shows that the estimations made by the interpolation models using implicit geostatistical software models produces some significant deviations and the use of adjusted geostatistical models to the data set may produce better estimates.

Submitted by Flaviani Cristina da Silva Cruz (flavianicruz@gmail.com) on 2018-05-28T16:39:36Z No. of bitstreams: 1 dissertacao finallllll.pdf: 1641212 bytes, checksum: a98d0d98cacf7206b9dca507069233a8 (MD5) / Rejected by Ana Paula Santulo Custódio de Medeiros null (asantulo@rc.unesp.br), reason: - Folha de aprovação: falta o ano na data da defesa: 07 de maio .... - Ficha catalográfica incorreta: a ficha catalográfica só pode ser elaborada por um bibliotecário e não é a que você recebeu pela biblioteca em 21/05/2018: NOTA: De acordo com a Resolução CFB nº 184/2017 de 29/09/2017 – na Ficha catalográfica deve constar o nome do Bibliotecário/CRB, e ser elaborada de acordo com as normas vigentes segundo à AACR2. OBSERVAÇÃO: Caso se faça necessário acrescentar ou modificar alguma informação na Ficha catalográfica do seu trabalho, informá-la no campo recomendado do Sistema 3S ou responder este e-mail. É proibido perante a lei (Art. 297 – Código Penal) qualquer alteração documental, sem autorização do Bibliotecário responsável. DA FALSIDADE DOCUMENTAL: (I) FALSIDADE DE DOCUMENTO PUBLICO ART. 297: Falsificar, no todo ou em parte, documento publico, ou alterar documento publico verdadeiro: Pena – reclusão, de dois a seis anos, e multa. DOCUMENTO PUBLICO: é aquele elaborado por funcionário publico, de acordo com as formalidades, e desempenho de suas funções. Art. 232, CPP - Consideram-se documentos quaisquer escritos, instrumentos ou papéis, públicos ou particulares. on 2018-05-28T19:00:26Z (GMT) / Submitted by Flaviani Cristina da Silva Cruz (flavianicruz@gmail.com) on 2018-05-29T13:52:43Z No. of bitstreams: 1 dissertacao-final-final.pdf: 1600591 bytes, checksum: d5829fa27d80336f1e24b663680531f8 (MD5) / Approved for entry into archive by Adriana Aparecida Puerta null (dripuerta@rc.unesp.br) on 2018-05-29T14:23:36Z (GMT) No. of bitstreams: 1 cruz_fcs_me_rcla.pdf: 1625066 bytes, checksum: c010643fc4461e0b244b4ddd4414af66 (MD5) / Made available in DSpace on 2018-05-29T14:23:36Z (GMT). No. of bitstreams: 1 cruz_fcs_me_rcla.pdf: 1625066 bytes, checksum: c010643fc4461e0b244b4ddd4414af66 (MD5) Previous issue date: 2018-05-07 / Esta dissertação objetiva-se ao estudo analítico de técnicas de interpolação integral – fundamentadas na teoria de distribuição, também conhecida como teoria de funções generalizadas – e suas aplicações a reconstrução de imagens formadas por partículas (noise image) e à forma anisotrópica das equações da hidrodinâmica com partículas suavizadas, no inglês smoothed particle hydrodynamics, bem conhecida como SPH. A aplicação a processamento de imagens é um caso particular da técnica de interpolação utilizada em SPH. A imagem original é fragmentada na forma de partículas (em duas dimensões), aleatoriamente colhidas dos píxeis da imagem original, cuja densidade de probabilidade é proporcional à escala de cinza de cada píxel vizinho. Então é feita uma reconstrução da imagem através de interpolação anisotrópica, evidenciando que detalhes estruturais do contexto original são mais bem recuperados do que a correspondente técnica isotrópica. Apesar de não realizarmos diretamente simulações de mecânica dos fluidos neste trabalho, o que é proposto aqui é uma revisão das equações fundamentais da técnica de simulação SPH para o caso anisotrópico. As interpolações apresentadas neste trabalho foram feitas a partir de um núcleo normalizado de suavização, definido na forma de uma função regulada por partes, conhecida como cubic-B-spline, que é de classe analítica C2. / This mastered dissertation aims at the analytical study of integral interpolation techniques – based on the theory of distribution, also known as generalized function theory – and its applications the reconstruction of images formed by particles (noise image) and the anisotropic form of the fundamental equations of smoothed particle hydrodynamics, well known as SPH. The application to image processing is a particular case of the interpolation technique used in SPH. The original image is fragmented in the form of particles (in two dimensions), randomly drawn from the píxels of the original image, whose density is proportional to the gray scale of each neighboring píxel. Then a reconstruction of the image is made through anisotropic interpolation, evidencing that structural details of the original context are better recovered than the corresponding isotropic technique. Although we do not directly perform fluid mechanics simulations in this work, what is proposed here is a review of the fundamental equations of the SPH simulation technique for the anisotropic case. The interpolations presented in this work were made from a normalized smoothing kernel, defined as cubic-B-spline, which is of analytic class C2.

In this work we study twisted sums induced by complex interpolation, of Banach spaces as well as of operator spaces. In the first part of the thesis we focus on Banach spaces, and clarify how interpolation of families, as of couples, induces an extension of the interpolation space, called the derived space. We study how the types and cotypes of the spaces being interpolated determine the triviality or singularity of the derived space, and we apply the results to the study of submodules of the Schatten classes and in the obtainment of nontrivial twisted sums in which all of the three spaces in the short exact sequence do not have the approximation property. In the second part we develop the theory of twisted sums in the category of operator spaces and present many examples of twisted sums which are completely singular and completely nontrivial. In particular, we solve two versions of Palais\' problem for operator spaces. / Neste trabalho estudamos somas torcidas induzidas por interpolação complexa, tanto de espaços de Banach como de espaços de operadores. Na primeira parte da tese focamos em espaços de Banach, e esclarecemos como a interpolação de famílias, assim como a de pares, gera uma extensão do espaço interpolado, chamada de espaço derivado. Estudamos como os tipos e cotipos dos espaços sendo interpolados influenciam na trivialidade ou singularidade do espaço derivado, e aplicamos os resultados para o estudo de submódulos das classes de Schatten e para a obtenção de somas torcidas não-triviais em que os três espaços da sequência exata curta não possuem a propriedade da aproximação. Na segunda parte, desenvolvemos a teoria de somas torcidas na categoria de espaços de operadores, e apresentamos vários exemplos de somas torcidas completamente singulares e completamente não-triviais nessa categoria. Em particular, resolvemos duas versões do problema de Palais para espaços de operadores.

Made available in DSpace on 2015-03-03T11:52:40Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-08-08Bitstream added on 2015-03-03T12:06:09Z : No. of bitstreams: 1 000806982.pdf: 4202371 bytes, checksum: dd9c9e8ab34358e313d370f4db354977 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Nesta dissertação é realizado um estudo comparativo sobre alguns tipos de algoritmos aplicados a imagens digitais voltado para interpolação. Este trabalho inclui os métodos clássicos, que são: replicação, bilinear, bicúbica, Lagrange e interpolação pela função sinc; e alguns recentes: algoritmo-localmente adaptativo, método New Edge-Direction Interpolation (NEDI), improved New Edge Direction Interpolation (iNEDI), iterative curvaturebased interpolation (ICBI), interpolação utilizando wavelets redundantes e utilizando filtro bilateral. Todos os novos métodos possuem melhorias em aspectos visuais e redução de ruídos nas bordas em relação aos clássicos. Os métodos avaliados são comparados visualmente e quantitativamente utilizando as métricas estatísticas: erro médio quadrático (MSE), Raíz do Erro Médio Quadrático (RMSE), Erro Médio Quadrático Normalizado (NMSE), Relação Sinal-Ruído (SNR), Coeficiente de Correlação (CC) e Índice de Qualidade Universal (IQI). Também é realizada uma discussão dos resultados obtidos, analisando as qualidades e os defeitos dos métodos estudados. Por fim, são propostas algumas ideias para trabalhos futuros, visando aprimorar as técnicas já existentes. / In this dissertation, a comparative study of some types of interpolation algorithms for digital images is carried out. This dissertation presents the classical methods, which are: replication, bilinear, bicubic, and Lagrange interpolation by the function sinc; and some newer methods: adaptive locally algorithm adaptive, New Interpolation Edge Direction (NEDI), improved New Edge-Direction Interpolation (iNEDI), iterative curvature-based interpolation (ICBI) , interpolation method that uses redundant wavelets and interpolation method using the bilateral filter. All new methods have improvements to visual aspects and reduction of noise at the edges compared to classical. All evaluated methods are compared visually and quantitatively using statistical metrics, such as: Mean Square Error (MSE), Root Mean Square Error (RMSE), Normalized Mean Square Error (NMSE), Signal Noise Ratio (SNR), Correlation Coefficient (CC) and Universal Image Quality Index (IQI). A discussion of the results is also performed, analyzing the strengths and weaknesses of the methods studied. Finally, we propose some ideas for future work, aiming to improve existing techniques.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-17T07:08:45Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T01:17:14Z : No. of bitstreams: 1 262782.pdf: 2523455 bytes, checksum: 8d2f523a99da96fdbb3da5677580ea36 (MD5)