• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 664
  • 112
  • 34
  • 33
  • 33
  • 29
  • 28
  • 19
  • 6
  • 5
  • 4
  • 2
  • 2
  • 2
  • 1
  • Tagged with
  • 815
  • 187
  • 181
  • 159
  • 105
  • 101
  • 90
  • 87
  • 87
  • 86
  • 74
  • 74
  • 71
  • 69
  • 62
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
611

Introduzindo o conceito de derivada a partir da ideia de variação

Lima, Airlan Arnaldo Nascimento de 11 December 2012 (has links)
Made available in DSpace on 2015-09-25T12:20:05Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-12-11 / Esta pesquisa teve como objetivo elaborar, aplicar e analisar uma sequência didática que possibilitasse a construção do conceito de derivada a partir da noção de variação. Resultados obtidos por pesquisadores como Silva e Igliori (1996), Dall Anese (2000), D Avloglio (2002), Rezende (2003) e Lehmann (2011) evidenciam que esta maneira de introduzir a derivada pode contribuir para a melhoria do aprendizado deste importante conceito matemático. O trabalho de campo foi realizado em uma instituição pública que oferece cursos de nível superior e a sequência didática foi aplicada em uma turma que iniciava seus estudos de Cálculo Diferencial e Integral. Optamos por pesquisar nossa própria sala de aula, e assim, de acordo com Lankshear e Knobel (2008), esta investigação caracteriza-se como uma pesquisa pedagógica. Princípios da Engenharia Didática estabelecidos por Artigue (1996) e as pesquisas de Silva e Igliori (ibidem), Dall Anese (ibidem) e D Avloglio (ibidem) nos forneceram subsídios metodológicos para a elaboração, aplicação e análise da sequência didática. A teoria de imagem de conceito e definição de conceito estabelecida por Tall e Vinner (1981) e as reflexões de Grattan-Guiness (1997) e Reis (2001) sobre rigor e intuição no ensino de Cálculo, contribuíram para a elaboração e análise da sequência didática. Os resultados obtidos nesta pesquisa indicam essencialmente que a maior parte dos alunos conseguiu conceitualizar adequadamente a derivada como uma medida de variação, compreendendo alguns dos seus significados, tais como: velocidade instantânea, taxa de variação instantânea e coeficiente angular da reta tangente ao gráfico de uma função.
612

Ensinagem de cálculo às equações de Maxwell no ensino médio: proposta extracurricular à luz da aprendizagem significativa / Learning of calculus to Maxwell's equations in high school: extracurricular proposal in the light of meaningful learning

Ferreira, Paulo Roberto 17 March 2017 (has links)
Submitted by Erika Demachki (erikademachki@gmail.com) on 2017-06-08T17:36:27Z No. of bitstreams: 2 Dissertação - Paulo Roberto Ferreira - 2017.pdf: 14996898 bytes, checksum: cdb17170fa3d2d81ae6bea7a5743f3a9 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-06-09T10:59:26Z (GMT) No. of bitstreams: 2 Dissertação - Paulo Roberto Ferreira - 2017.pdf: 14996898 bytes, checksum: cdb17170fa3d2d81ae6bea7a5743f3a9 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-06-09T10:59:26Z (GMT). No. of bitstreams: 2 Dissertação - Paulo Roberto Ferreira - 2017.pdf: 14996898 bytes, checksum: cdb17170fa3d2d81ae6bea7a5743f3a9 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-03-17 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / The proposal of this dissertation is the development of an extracurricular project that meets the demand of students that are about to conclude high school, of notable knowing in mathematics and physics, specifically in basic electromagnetics. Using the theory of meaningful learning of David Ausubel, the proposal of this project is to incorporate through expositive classes concepts of differential and integral calculus, dot product and vector product of higher education exact sciences courses to the high school environment in order to help high school students that present resourcefulness in exact sciences and yearn for new knowledge. Such mathematical tools presented are going to serve as prior organizers, according to the meaningful learning theory, to the understanding of the pool of the four most influential equations of electromagnetism as a whole: Maxwell's equations. The immediate solutions of Maxwell's equations allow students to link new concept with subsumers already acquired in their regular classes, providing a more detailed view of formulas and concepts only quoted before without any previous reference. In this sense, the goal of this dissertation is not to teach the whole concepts pertinent to higher education, but sharpen the interest for the study area, which is already shown by most students interested in joining exact sciences, engineering courses and similars. Hence, the project improves the performances of apprentices in higher education entrance exams and foments interest in subjects which are classified as boring and difficult both to teach and to learn for most students, although fascinating. / A proposta desta dissertação é o desenvolvimento de um projeto extracurricular que atende à demanda de alunos concluintes do Ensino Médio, de saber notório em matemática, em física, especificamente em eletromagnetismo básico. Utilizando a teoria da aprendizagem significativa de David Ausubel, o objetivo deste projeto é trazer, por meio de aulas expositivas, noções de Cálculo diferencial e integral, produto escalar e produto vetorial, do domínio de cursos superiores de exatas para o ambiente do Ensino Médio de modo a auxiliar estudantes secundaristas que apresentam desenvoltura em exatas e anseiam por um novo saber. Tais ferramentas matemáticas apresentadas servirão como organizadores prévios, de acordo com a teoria da aprendizagem significativa, para o entendimento do conjunto das quatro equações mais influentes do eletromagnetismo na sua forma integral: as equações de Maxwell. As soluções imediatas das equações de Maxwell permitem que os alunos relacionem o novo conceito a subsunçores adquiridos em suas aulas regulares, proporcionando uma visão mais detalhada de fórmulas e de conceitos antes apenas citados e sem qualquer referência anterior. Nesse sentido, a função do presente trabalho não é de ensinar, na sua totalidade, conceitos pertinentes ao ensino superior, mas aguçar o interesse pela área de estudo, que já é demonstrado pela maioria dos estudantes interessados em ingressar em cursos de exatas, engenharias e afins. Dessa forma, o projeto aperfeiçoa as performances dos aprendizes em exames de ingresso ao ensino superior e fomenta o interesse por assuntos que, na maioria das vezes, são classificados como entediantes e difíceis tanto para ensinar quanto para aprender, embora sejam fascinantes.
613

Métodos de estimação de derivadas via cálculo operacional e aplicações a problemas de controle. / Derivative estimation methods based on operational calculus and control applications.

Carlos Eduardo de Brito Novaes 12 March 2010 (has links)
Este trabalho versa sobre técnicas de estimação de derivadas de forma não assintótica conforme abordagem algébrica de Michel Fliess, e sua aplicação na determinação quase instantânea do estado interno de um sistema dinâmico, cria-se assim estimadores de estado que não se baseiam no observador de Luenberger. Resumo No desenvolvimento do trabalho demonstramos algumas características destes estimadores e apresentamos uma contribuição teórica para viabilizar a implementação destes estimadores em sistemas de controle de tempo real. Posteriormente, um sistema mecânico de dinâmica não linear foi construído e permitiu ensaios em laboratório que atestam, através dos resultados experimentais encontrados, a funcionalidade deste tipo de estimador de estados. / This work is about derivative estimation technique based on a algebraic and non-asymptotically approach, as devised by Michel Fliess, applied on quasi-instantaneous determination of the internal state of a dynamical system, using state estimators that aren\'t based on the Luenberger observer. Abstract Over this work we present some particularities of these estimators and a theoretical contribution that will able to implement these algebraic estimators in a real time control system. After that, a non-linear mechanical system was built to verify the functionality of these state estimators.
614

Influência do cálculo ureteral silencioso sobre a função renal antes e após o tratamento / The burden of silent ureteral stones on renal function before and after treatment

Giovanni Scala Marchini 19 November 2015 (has links)
Sua história natural e o real risco à função renal foram pouco estudados. Objetivo: Avaliar o impacto do cálculo ureteral silencioso sobre a função renal antes a após o tratamento, procurando por fatores preditivos de uma melhor evolução. Material e Método: O cálculo ureteral silencioso foi definido como aquele em que o paciente não apresentava nenhum sintoma subjetivo ou objetivo a ele relacionado. Os pacientes com cálculo ureteral silencioso foram prospectivamente incluídos no estudo, sendo avaliados com 99mTc-DMSA, creatinina sérica (Cr), ritmo de filtração glomerular (RFG) e ultrassonografia (USG) no pré-tratamento, três e 12 meses após o mesmo. Pacientes que receberam tratamento fora de nossa instituição e aqueles com avaliação perioperatória incompleta foram excluídos. A análise estatística incluiu os testes de ANOVA, Qui-quadrado/Fisher, e regressão logística/múltipla. O nível de significância foi estabelecido em p<0,05. Resultados: Entre jan/2006 e jan/2014, 26 pacientes com cálculo ureteral silencioso, correspondendo a 2,1% de todos os cálculos ureterais tratados, preencheram os critérios de inclusão do estudo. Treze pacientes eram do sexo feminino, com idade média de 59,3 ± 11,3 anos. O diagnóstico do cálculo foi relacionado a uma causa urológica em 14 (53,8%) casos. O diâmetro e densidade média dos cálculos era de 11,8 ± 2,8 mm e 1201 ± 272 UH, respectivamente. Apenas dois pacientes não apresentavam hidronefrose ao USG inicial e a espessura média do parênquima renal era 10,7 ± 4,1 mm. Os valores médios pré-operatórios de Cr, RFG e 99mTc-DMSA foram 1,24 ± 0.87 mg/dl, 72,5 ± 25.2 mL/min e 33,4 ± 16,7%, respectivamente. Vinte (77%) pacientes apresentavam 99mTc-DMSA < 45% no exame inicial. Regressão múltipla revelou que idade (p=0,041) e espessura do parênquima renal (p=0,001) predizem o valor do 99mTc-DMSA inicial. Quando comparados com os valores pré-operatórios, a Cr (p=0,89), o RFG (p=0,48) e a função renal ao 99mTc-DMSA (p=0,19) permaneceram inalterados com três e 12 meses após o tratamento. A hidronefrose apresentou melhora três meses após o tratamento (p < 0,01), mas manteve-se inalterada no período entre três e 12 meses (p=0,06). Nenhuma variável pré-operatória foi capaz de prever uma variação > 5% do 99mTc-DMSA entre pré e pós-operatório, sendo que o tamanho do cálculo (p=0,12) e tempo para tratamento (p=0,15) tiveram influência marginal. Conclusão: O cálculo ureteral silencioso está associado à diminuição da função renal e algum grau de hidronefrose já ao diagnóstico. Idade, espessura do parênquima renal e grau de hidronefrose predizem o valor inicial do 99mTc-DMSA. Enquanto a hidronefrose regride após a remoção do calculo, a função renal se mantém inalterada. Nenhum fator conseguiu predizer significativamente a evolução da função renal ao 99mTc-DMSA doze meses após o tratamento / Introduction: Ureteral stones may be asymptomatic in 0.3-5.3% of patients. The natural history and the disease influence on renal function have been poorly studied. Objective: to evaluate the impact of silent ureteral stone on renal function before and after treatment, searching for predictive factor of better outcomes. Material and Method: A ureteral stone was defined as silent if the patient had no subjective/objective symptoms related to the calculus. Patients with a silent ureteral stone were prospectively enrolled in the study. Patients were evaluated with 99mTc-DMSA scintigraphy, serum creatinine (Cr), Cr clearance (CrCl) and ultrasound (USG) pre and post-operatively on months three and 12. Patients treated outside our institution or with incomplete perioperative evaluation were excluded. ANOVA, Chi-square/Fisher test, and regression analysis were used. Significance was set at p < 0.05. Results: Between Jan/06-Jan/14, 26 patients with silent ureteral stones met our inclusion criteria, comprising 2.1% of all ureteral stones treated at our institution. Half of patients were female, mean age was 59.3 ± 11.3 years-old. Stone diagnosis was related to a urological cause in 14 (53.8%) cases. Mean stone diameter and density were 11.8 ± 2.8 mm and 1201 ± 272 HU, respectively. Only two patients had no hydronephrosis at initial USG evaluation and mean renal parenchyma thickness was 10.7 ± 4.1mm. Mean preoperative Cr, CrCl and 99mTc-DMSA were 1.24 ± 0.87 mg/dL, 72.5 ± 25.2 mL/min and 33.4 ± 16.7%, respectively. Twenty (77%) patients had 99mTc-DMSA < 45% at initial examination. Multiple regression revealed age (p=0.041) and renal parenchyma thickness (p=0.001) to predict initial 99mTc-DMSA. When compared to preoperative values, Cr (p=0.89), CrCl (p=0.48) and 99mTc-DMSA (p=0.19) remained unaltered three and 12 months postoperatively. Hydronephrosis improved from before to three months after treatment (p < 0.01), but remained unchanged from three to 12 months (p=0.06). No preoperative variable was able to predict a > 5% variation on 99mTc-DMSA from pre to postoperative periods, though stone size (p=0.12) and time to treatment (p=0.15) had a marginal influence. Conclusion: Silent ureteral stones are associated with decreased renal function and hydronephrosis already at diagnosis. Age, renal parenchyma thickness and degree of hydronephrosis predict initial 99mTc-DMSA. Hydronephrosis tends to diminish after stone removal, while renal function remains stable. No preoperative factor significantly predicted renal function progression twelve months postoperatively
615

Cálculo da Frequência Instantânea Cardíaca Utilizando o Algoritmo LMS e uma Interface de Aquisição de Dados / CALCULATION OF THE CARDIAC INSTANTANEOUS FREQUENCY USING ALGORITHM LMS AND AN INTERFACE OF ACQUISITION OF DATA

Brito, Deusdete de Sousa 11 October 2002 (has links)
Made available in DSpace on 2016-08-17T14:52:45Z (GMT). No. of bitstreams: 1 Deusdete Brito.PDF: 646824 bytes, checksum: 52d3dc54a7bd1d78f16e7b240f977ce8 (MD5) Previous issue date: 2002-10-11 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / In this work we consider the calculation of the heart instantaneous frequency from the estimate of the weights, gotten through LMS algorithm, (Least Mean Squares) when functioning as spectrum analyzer. It is known that the electrocardiogram (ECG) is a signal that is characterized for a repetitive regularity, which can be called quasi-periodicity. We explore this characteristic to extract the instantaneous frequency of the referred signal. For this, we use the LMS as a spectral analyzer. We use as reference inputs pairs of sines and cosines, inside the frequency band where if it finds the frequency of the desired signal, namely, the heart frequency. The algorithm estimates the frequency desired in real time, with the signal acquired through a data acquisition interface Intel 80C31. The results obtained show that the algorithm can be recommended for this purpose, as besides being easily implemented and generating small computational load it estimates the heart instantaneous frequency with a relative mean error of 0.025 which represent a difference of 18.89% between the two methods. / Neste trabalho propomos o cálculo da frequência instantânea cardíaca a partir da estimativa do espectrograma dos pesos sinápticos, obtidos através do algoritmo LMS, (Least Mean Square) quando funcionando como analisador de espectro. Sabe-se que o eletrocardiograma (ECG) é um sinal que se caracteriza por uma regularidade repetitiva, que se pode chamar quasiperiodicidade. Exploramos aqui essa característica para extrair a frequência instantânea do referido sinal. Para isso, utilizamos o LMS como analisador de espectro. Utilizamos como entradas de referència pares de senos e cossenos, dentro da faixa de frequência em que se encontra a frequência do sinal desejado, no caso, a frequência cardíaca. O algoritmo estima a frequência desejada em tempo real, com obtenção do sinal através de uma interface de aquisição de dados Intel 80C31. Os resultados obtidos mostraram que o algoritmo pode ser recomendado pra esta finalidade, pois além de ser facilmente implementável e por gerar pequena carga computacional ele estimou a frequência instantânea cardíaca com um erro relativo médio de 0.025 que representa uma diferença de 18.89% entre os dois métodos.
616

Estudo fitoquímico e investigação da atividade antilitiásica do extrato hidroalcoólico das partes aéreas de Copaifera langsdorffii / Phytochemical studies and investigation of antilithiatic activity of the hydroalcoholic extract of aerial parts of Copaifera langsdorffii

Ana Paula Santin Brancalion 30 March 2010 (has links)
A nefrolitíase pode ser definida como uma consequência de alterações nas condições de cristalização da urina no trato urinário. A incidência desta patologia nos Estados Unidos é de 5 % em mulheres e 12 % em homens e sua recorrência é de 50 % em 5 a 10 anos e 75 % em 20 anos. Cálculos renais são compostos por porções inorgânicas e orgânicas. Em seres humanos, a porção inorgânica é principalmente composta por sais de cálcio (cerca de 80 %), seguido pelos cálculos de ácido úrico (5-10 %). Estes também podem ser compostos por estruvita, cistina, entre outros.Quanto à matriz orgânica, ela é formada predominantemente por proteínas, como a nefrocalcina, osteopontina, hemoglobina, proteína de Tamm Horsfall, entre outras. As formas de tratamento desta patologia consistem em intervenção cirúrgica ou litotripsia de ondas de choque extracorpóreas (LOCE). As plantas pertencentes ao gênero Copaifera (Fabaceae, caesalpinoideae) são nativas de regiões tropicais da América Latina e da África Ocidental. Conhecidas no Brasil como copaibeiras, e popularmente como pau dóleo, estas árvores encontram-se amplamente distribuídas na Amazônia e regiões centrais do Brasil. C. langsdorffii Desf. é a espécie mais comum fora da Região Amazônica. Estudos realizados com seu óleoresina demonstraram diferentes atividades biológicas, tais como cicatrizante e antiinflamatória. Partes aéreas de C. langsdorffii foram coletadas no Campus da Faculdade de Ciências Farmacêuticas de Ribeirão Preto - USP e utilizadas na obtenção do extrato hidroalcoólico 7:3. Este extrato foi submetido a diferentes modalidades cromatográficas com o objetivo de isolar seus principais componentes. Para os ensaios in vivo, as pastilhas de oxalato de cálcio foram obtidas por meio de uma reação de supersaturação e a nefrolitíase foi induzida introduzindo-se estas pastilhas na bexiga de ratos. O tamanho dos cálculos, a bioquímica urinária e variáveis gerais, tais como peso corpóreo, volume de urina coletada por 24 horas e volume de água ingerida foram determinados. O extrato hidroalcoólico de partes aéreas de C. langsdorffii é constituído majoritariamente de compostos polares. Duas substâncias pertencentes à classe dos flavonóides foram isoladas e identificadas: os flavonóis quercetrina (quercetina 3-O--L-ramnopiranosídeo) e canferol 3-O--Lramnopiranosídeo. No ensaio in vivo, os animais tratados com o extrato hidroalcoólico de C. langsdorffii apresentaram menor média na massa de cálculos formados e menor média no número de cálculos formados (matriz + satélites). Além disso, sugere-se que o tratamento com o extrato altere a morfologia dos cálculos, já que a pressão necessária para desintegrar os cálculos dos animais sem tratamento é, em média, cerca de duas vezes maior do que a necessária para desintegrar aqueles retirados de animais tratados (6,90±3,45 vs. 3,00±1,51 kgf). / Nephrolithiasis can be defined as a consequence of alterations in the crystallization conditions of urine in the urinary tract. The incidence of the disease in United States is 5 % in women and 12 % in men and the recurrence is 50 % in 5 to 15 years and 75 % in 20 years. Renal calculi are composed by inorganic and organic portions. In humans, the inorganic portion is principally composed by calcium salts (around 80 %) and uric acid calculi (5-10 %). Also, they can be composed by struvite, cystine and so on. As far as the organic matrix is concerned, proteins, like nephrocalcin, osteopontin, hemoglobin and Tamm Horsfall protein basically compose it. The current treatment of nephrolithiasis is based on surgical interventions and extracorporeal shock wave lithotripsy (ESWL). Plants belonging to the genus Copaifera (Fabaceae, caesalpinoideae) are native of tropical regions of Latin America and Occidental Africa. In Brazil, known as copaibeiras, they are widely found in Amazon and central regions. C. langsdorffii Desf. is the specie commonly found out of the Amazon region. Studies with its oil-resin have showed biological properties, including healing and anti-inflammatory activities. Aerial parts of C. langsdorffii were collected at the FCFRP - USP Campus and used to obtain the hydroalcoholic extract 7:3. The extract was submitted to several chromatographic procedures in order to isolate its main compounds. In the in vivo assays, calcium oxalate disks were obtained by a supersaturation reaction and nephrolitiasis was induced by the introduction of those disks in the bladder of rats. Calculi size, urinary biochemistry and general parameters, e.g. body weight, 24 hours urine and water volume ingested were determined. Hydroalcoholic extract of aerial parts of C.langsdorffii is rich in polar compounds. Two compounds from flavonoids group were isolated and identified: the flavonols quercitrin (quercetin 3-O--L-rhamnopyranoside) and kaempferol 3-O--L-rhamnopyranoside. Results of in vivo experiments demonstrated that animals treated with C. langsdorffii showed reductions in the mean calculi mass and in the mean number of calculi (matrix and satellites). Besides, the experiment suggests that the treatment with C. langsdorffii modifies the calculi morphology, since the pressure needed to break calculi of non-treated animals is more than two-fold larger than the pressure needed to break those taken from treated animals (6,90±3,45 vs. 3,00±1,51 kgf).
617

Molecular simulation = methods and applications = Simulações moleculares : métodos e aplicações / Simulações moleculares : métodos e aplicações

Freitas, Rodrigo Moura, 1989- 23 August 2018 (has links)
Orientador: Maurice de Koning / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Física Gleb Wataghin / Made available in DSpace on 2018-08-23T00:50:21Z (GMT). No. of bitstreams: 1 Freitas_RodrigoMoura_M.pdf: 11496259 bytes, checksum: 41c29f22d80da01064cf7a3b9681b05f (MD5) Previous issue date: 2013 / Resumo: Devido aos avanços conceptuais e técnicos feitos em física computacional e ciência dos materiais computacional nos estamos aptos a resolver problemas que eram inacessíveis a alguns anos atrás. Nessa dissertação estudamos a evolução de alguma destas técnicas, apresentando a teoria e técnicas de simulação computacional para estudar transições de fase de primeira ordem com ênfase nas técnicas mais avançadas de calculo de energia livre (Reversible Scaling) e métodos de simulação de eventos raros (Forward Flux Sampling) usando a técnica de simulação atomística da Dinâmica Molecular. A evolução e melhora da e ciência destas técnicas e apresentada junto com aplicações a sistemas simples que permitem solução exata e também ao caso mais complexo da transição de fase Martenstica. Também apresentamos a aplicação de métodos numéricos no estudo do modelo de Pauling para o gelo. Nos desenvolvemos e implementamos um novo algoritmo para a criação e ciente de estruturas de gelo desordenadas. Este algoritmo de geração de cristais de gelo nos permitiu criar células de gelo Ih de tamanhos que não eram possíveis antes. Usando este algoritmo abordamos o problema de efeitos de tamanho finito não estudados anteriormente / Abstract: Due to the conceptual and technical advances being made in computational physics and computational materials science we have been able to tackle problems that were inaccessible a few years ago. In this dissertation we study the evolution of some of these techniques, presenting the theory and simulation methods to study _rst order phase transitions with emphasis on state-of-the-art free-energy calculation (Reversible Scaling) and rare event (Forward Flux Sampling) methods using the atomistic simulation technique of Molecular Dynamics. The evolution and efficiency improvement of these techniques is presented together with applications to simple systems that allow exact solution as well as the more the complex case of Martensitic phase transitions. We also present the application of numerical methods to study Pauling\'s model of ice. We have developed and implemented a new algorithm for efficient generation of disordered ice structures. This ice generator algorithm allows us to create ice Ih cells of sizes not reported before. Using this algorithm we address finite size effects not studied before / Mestrado / Física / Mestre em Física
618

Sobre o calculo diferencial paraconsistente de da Costa

Carvalho, Tadeu Fernandes de 30 June 2004 (has links)
Orientador : Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencia Humanas / Made available in DSpace on 2018-08-03T23:35:45Z (GMT). No. of bitstreams: 1 Carvalho_TadeuFernandesde_D.pdf: 5853507 bytes, checksum: 96ccd702fdeba40a1a0098acc9416bf8 (MD5) Previous issue date: 2004 / Resumo: O objetivo deste trabalho é desenvolver alguns principios básicos de um Cálculo Diferencw Paraconsistente. Como elementos motivadores para isso, apresentamos, na Introdução, alguns dados sobre o desenvolVÚI1ento do cálculo diferencial, desde suas origens ao advento da anãlise não-standard, bem como relativos à história da lógica e à da teoria de conjuntos, focalizando os sistemas lógicos paraconsistentes e as teorias paraconsistentes de conjuntos. Apresentamos, no Capítulo 1, propriedades básicas das hierarquias dos sistemas eu, Cn' e Cns, I ;S; n ;S; m, de da Costa, destacando o sistema CIs, e a teoria paraconsistente de conjuntos CHUI> de da Costa, respectivamente a lógica e a teoria de conjuntos subjacentes ao cálculo paraconsistente pretendido. No Capítulo 2 apresentamos algumas propriedades clássicas do cãlculo e das entidades infinitesimais, e esboçamos um cãlculo diferencial paraconsistente, à ia da Costa. Finalmente, no Capítulo 3 descrevemos algumas propriedades básicas de superestruturas, e introduzimos o conceito de superestrutura paraconsistente, para obter um Teorema de Transferência, com o qual encerramos o presente trabalho / Abstract: The aim ofthis work is to develop some basic principies ofa Paraconsistent Differential Calculus. We present at the ntroduction as motivation for this intent some notes about the history of differential ca1culus, from its birth to non-standard analysis's arrival, followed by some notes about the history of logic and set theory, focusing paraconsistent 10gica1 systems and paraconsistent set theories, introduced by Newton éameiro Monso da Costa. We present at Chapter 1 some basic properties of da Costa's paraconsistent logics hierarchies eu, Cn * and Cn-, 1 ;S; n;S; m, detaching CI=, and da Costa's paraconsistent system CHU!> once these are the intended Paraconsistent Calculus's logic and set theory. In Chapter 2 we present some classic properties of the differential calculus and infinitesimal entities, and outline a paraconsistent differential ca1culus a Ia da Costa. In Chapter 3 we describe basic properties on superstructures, and introduce paraconsistent superstructures, in order to obtain a Transfer Theorem, with which we end this work / Doutorado / Doutor em Filosofia
619

METODOLOGIA PARA ANÁLISE E AVALIAÇÃO DE RISCOS POR COMPOSIÇÃO DE MÉTODOS / A METHODOLOGY FOR ANALYSIS AND RISKS ASSESSMENT BY METHODS COMPOSITION

Amaral, Marisa Munaretto 02 August 2011 (has links)
The information has become a valuable asset for organizations, and computer systems, is subject to various types of threats. Risk management is responsible for ensuring the integrity, confidentiality and availability of this information, identifying key vulnerabilities and threats that surround an information system. To ensure the protection of assets and reduce the incidence of security breaches, it is necessary to adopt risk management practices. Several methods have been proposed for this purpose, however, some differ significantly from each other and may result in classifying different measurements, even when applied to the same domain. This thesis proposes a methodology for analysis and risk assessment, which uses the composition of methods for more accurate results, where the risk of higher priority is obtained by weighting the methods analyzed. In order to validate the proposed methodology, we developed a computational tool that automates all stages of the process and performs the calculations necessary to prioritize the risks. The application scenario was the Data Processing Center, Federal University of Santa Maria. As a result, we obtained risk indicators potentially more accurate, since they reflect the risks prioritized based on weighting of the methods analyzed. / A informação tornou-se um ativo valioso para as organizações e, em sistemas computacionais, está sujeita a diversos tipos de ameaças. A gestão de riscos é responsável por garantir a integridade, a confidencialidade e a disponibilidade dessas informações, identificando as principais vulnerabilidades e ameaças que cercam um sistema de informação. Para assegurar a proteção dos ativos e diminuir a incidência de falhas de segurança, é necessário adotar práticas de gerenciamento de riscos. Vários métodos já foram propostos com esse objetivo, no entanto, alguns divergem significativamente entre si, podendo resultar em quantificações classificatórias divergentes, mesmo sendo aplicados em um mesmo domínio. Este trabalho propõe uma metodologia para análise/avaliação de riscos, que utiliza a composição de métodos para obter resultados mais precisos, onde o risco de maior prioridade é obtido através da ponderação dos métodos analisados. Com o objetivo de validar a metodologia proposta, foi desenvolvida uma ferramenta computacional que automatiza todas as fases da metodologia e realiza os cálculos necessários para priorizar os riscos existentes. O cenário de aplicação foi o Centro de Processamento de Dados da Universidade Federal de Santa Maria. Como resultado, obteve-se indicadores de risco potencialmente mais precisos, uma vez que refletem os riscos priorizados com base na ponderação dos métodos analisados.
620

Existencia e multiplicidade de soluções para a Equação de Schrodinger não-linear em Rn / Existence and multiplicity of solutions for the non-linear Schrodinger Equation in Rn

Malavazi, Mazílio Coronel, 1983- 16 February 2007 (has links)
Orientador: Francisco Odair Vieira de Paiva, Aloisio Freiria Neves / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-08T02:49:07Z (GMT). No. of bitstreams: 1 Malavazi_MazilioCoronel_M.pdf: 786706 bytes, checksum: 9e4d9aae3bd0fdd46d7adf64ce8958ef (MD5) Previous issue date: 2007 / Resumo: Nesta dissertação obtemos resultados de multiplicidade de soluções fracas não triviais para o problema -Du + V (x)u = f (x; u); x 2 RN; onde V é contínua, f é C1, com f (x; 0) = 0 e f é assintoticamente linear. Utilizamos métodos variacionais e a teoria de grupos críticos, para obtermos e distinguirmos as soluções. Apresentamos também resultados de existência de solução não trivial para o problema -Du + V (x)u = f (u); x 2 RN; onde V e f são funções contínuas. Utilizamos as técnicas de concentração de compacidade e de aproximação do domínio por subconjuntos limitados, para obtermos a solução / Abstract: In this dissertation we get resulted of multiplicity of not trivial weak solutions for the problem -Du + V (x)u = f (x; u); x 2 RN; where V is continuous, f is C1, with f (x; 0) = 0 and f is asymptotically linear. We use variationals methods and the theory of critical groups, to get and to distinguish the solutions. We also present results of existence of not trivial solution for the problem -Du + V (x)u = f (u); x 2 RN; where V and f are continuous functions. We use the techniques of concentration of compactness and approximation of the domain for bounded subsets, to get the solution / Mestrado / Mestre em Matemática

Page generated in 0.0293 seconds