Lógica ParaQuântica LPQ (parte VI): Determinação do Fator de Quantização Paraquântico h ψ

Tamanho: px
Começar a partir da página:

Download "Lógica ParaQuântica LPQ (parte VI): Determinação do Fator de Quantização Paraquântico h ψ"

Transcrição

1 Lógica ParaQuântica LPQ (parte VI): Determinação do Fator de Quantização Paraquântico h ψ Da Silva Filho, J.I. inacio@unisanta.br João Inácio da Silva Filho GLPA - Grupo de Lógica Paraconsistente Aplicada UNISANTA - Universidade Santa Cecília -Núcleo de Pesquisa em Eletrônica NPE Rua Osvaldo Cruz, 88 CEP Santos-SP Brasil IEA-USP- Instituto de Estudos Avançados da Universidade de São Paulo Av. Prof. Luciano Gualberto, Trav. J n o 374, Térreo, Cidade Universitária CEP , São Paulo - SP- Brasil. Resumo A Lógica ParaQuântica LPQ é uma lógica não-clássica originada dos fundamentos da Lógica Paraconsistente Anotada com anotação de dois valores (LPAv). Nesse trabalho é dado prosseguimento aos estudos iniciados anteriormente (parte I, II, III, IV e V) onde foram apresentados os conceitos e fundamentos da LPQ. Com base nas considerações anteriores verificou-se que a relação entre o mundo físico e o mundo paraquântico é feita com a utilização do Fator de Quantização Paraquântico h ψ cujo valor está relacionado a um estado Lógico especial denominado de estado Lógico Paraquântico de Quantização ψ hψ. Para reforçar essas considerações apresentamos nesse presente trabalho um processo trigonométrico para a obtenção do Fator de Quantização Paraquântico h ψ e dos seus Fatores de Limitação que delineiam a Região de Incerteza do Reticulado da LPQ. Os resultados que co-relacionam o Fator de Quantização Paraquântico h ψ aos Graus de Evidência obtidos no meio físico permitem a construção de um modelo Lógico Paraquântico capaz de analisar sistemas físicos em áreas da fisica newtoniana, da física das subpartículas e a que abrange a teoria da relatividade. Palavras chave: lógica Paraconsistente, lógica paraconsistente anotada, lógica Paraquântica, mecânica quântica, física quântica. Abstract The ParaQuantum Logic PQL is a non-classic logic originated of the foundations of the Paraconsistent Annotated Logic with annotation of two values (PALv). In this work pursuit is given to the initiate studies previously (part I, II, III, IV and V) where the concepts and foundations of PQL were presented. With base in these previous considerations was verified that the relationship between the physical world and the Paraquantum world is done with the use of the Paraquantum Quantization Factor h ψ, whose value is related to a special Logical state denominated of Paraquantum Logical state of Quantization ψ hψ. Now, we presented a trigonometrical process for the obtaining of the Paraquantum Quantization Factor h ψ and of their Factors of Limitation that delineate the Uncertainty Area of the PQL Lattice. The results that co-relate the Paraquantum Quantization Factor h ψ to the Degrees of Evidence obtained in the physical world allow the construction of a Paraquantum Logical model capable to analyze physical systems in areas of the physics classic, of the sub-particles and of the theory of the relativity. Keywords: Paraconsistent logic, Annotated paraconsistent logic, paraquantum logic, quantum mechanics, quantum physics. I INTRODUÇÃO Originada dos fundamentos da Lógica Paraconsistente Anotada com anotação de dois valores (LPAv) [9][11] a Lógica ParaQuântica LPQ [7] [8] [9][10], conforme foi mostrada nos trabalhos anteriores (parte I, II, III, IV e V), apresenta características que permitem a criação de modelos com capacidade de analisar certos fenômenos da Mecânica Quântica. Os resultados das análises efetuadas com a LPQ são obtidos a partir de equacionamentos e interpretações de estados Lógicos Paraquânticos ψ que aparecem e se propagam por um Reticulado de quatro Vértices originado dos estudos da LPAv. Apresentam-se inicialmente os principais conceitos da LPAv que pode ser vista com maiores detalhes em [1] [10] [1] e [1]. I.1 A LÓGICA PARACONSISTENTE ANOTADA COM ANOTAÇÃO DE DOIS VALORES LPAV Apresentando como principal característica a admissão de contradição em sua estrutura teórica, a Lógica Paraconsistente Anotada com anotação de dois valores (LPAv) pode ser representada de modo particular, através de um Reticulado de quatro Vértices [1] [3] [4] [5] [6]. Intuitivamente, as constantes de anotação representadas nos seus Vértices vão dar conotações de estados Lógicos extremos às proposições [1] [6] [9] e, dessa forma, pode-se obter uma representação das anotações, ou evidências, indicando de maneira quantitativa o conhecimento sobre uma proposição P. ISSN

2 Na LPAv essa análise é feita utilizando um Reticulado formado por pares ordenados de valores (µ, λ), os quais irão compor a anotação, conforme é visto na figura 1. T (1, 1) Reticulado de valores k, denominado de Eixo dos graus de certeza. O segundo termo no par ordenado da equação (1) denomina-se de Grau de Contradição G ct, que é obtido por: G ct = µ + λ 1 (3) Os valores resultantes de G ct pertencem ao conjunto R, e variam no intervalo fechado +1 e -1. Para a interpretação da LPAv estão expostos no eixo vertical do Reticulado de valores k, denominado de Eixo dos graus de contradição. F (0, 1) (0, 0) Figura 1 Reticulado de quatro Vértices. Também é fixado um operador ~: τ τ onde: τ = {(µ, λ) µ, λ [0, 1] R}. Sendo P é uma fórmula básica, então: ~ [(µ, λ)] = (λ, µ ) onde, µ, λ [0,1] R. E o operador ~ constitui o significado do símbolo lógico de negação do sistema que será considerado. Podem-se relacionar os estados Lógicos Paraconsistentes extremos representados nos quatro vértices do Reticulado com os valores dos Graus de Evidência favorável µ e desfavorável λ, da seguinte forma: P T = P (1, 1) A anotação (µ, λ) = (1, 1) P é inconsistente. P V = P (1, 0) A anotação (µ, λ) = (1, 0) P é verdadeira. P F = P (0, 1) A anotação (µ, λ) = (0, 1) P é falsa. P = P (0, 0) A anotação (µ, λ) = (0, 0) P é paracompleta. P I =P (0.5, 0.5) A anotação (µ, λ)= (0,5; 0,5) P é Indefinida. A negação lógica de P será: P( µ, λ ) = P( λ, µ ) I. O RETICULADO DE VALORES DA LPAv Com os valores de x e y entre 0 e 1 considerados em um Quadrado Unitário no Plano Cartesiano-QUPC permite-se encontrar transformações lineares para um Reticulado k de valores análogo ao Reticulado associado da LPAv [8][19][10]. Com esse processo matemático obtém-se assim a transformação linear representada pela equação: T(x, y)=(x-y, x+y-1) (1) Relacionando os componentes x e y conforme a nomenclatura usual da LPAv, vem que: x = µ Grau de Evidência favorável y = λ Grau de Evidência desfavorável O primeiro termo no par ordenado da equação (1) denomina-se de Grau de Certeza G C, que é obtido por: G C = µ - λ () Seus valores, que pertencem ao conjunto R, variam no intervalo fechado -1 e +1 e estão no eixo horizontal do V (1, 0) P (µ, λ) T = Inconsistente = P (1, 1) F = Falso = P (0, 1) V = verdadeiro = P (1, 0) = Indeterminado = P (0, 0) I.3 OS ESTADOS LÓGICOS PARACONSISTENTES ε τ Sendo a transformação linear T(x, y), mostrada em (1), na notação da LPAv função de µ e de λ [8][1], pode-se então das equações () e (3) em (1) representar um estado Lógico Paraconsistente ε τ tal que: ε τ(µ, λ) = (µ - λ, µ + λ - 1) (4) Ou então ε τ (µ, λ) = (G C, G ct ) (5) Onde: ε τ é o estado Lógico Paraconsistente. G C é o Grau de Certeza obtido em função dos dois Graus de Evidência µ e λ. G ct é o Grau de Contradição encontrado em função dos dois Graus de Evidência µ e λ. Como o estado Lógico Paraconsistente ε τ pode estar situado em qualquer ponto do Reticulado de valores k então um valor do Grau de Certeza real G CR projetado no eixo horizontal é obtido, conforme as condições mostradas abaixo: GCR = 1 (1 GC ) + G para G 0 ct C > (6) ou: G = (1 G ) + G 1 para G < 0 (7) CR C ct Se G C =0 então o estado Lógico é Indefinido com G CR =0. onde: GC = f ( µ, λ) e Gct = f ( µ, λ) O Grau de Evidência Resultante que expressa a intensidade do estado Lógico Paraconsistente ε τ é calculado por: G 1 µ CR + ER ( µ, λ) = (8) Onde: µ ER é o Grau de Evidência Resultante. G CR é o Grau de Certeza Real obtido através da equação (6) ou (7), dependendo da sinalização de G C. II A LÓGICA PARAQUÂNTICA LPQ Com base nas considerações anteriores, que se referem a LPAv, são criados os fundamentos que sustentam a Lógica ParaQuântica LPQ. II.1 A FUNÇÃO PARAQUÂNTICA ψ (PQ) E O ESTADO LÓGICO PARAQUÂNTICO ψ Um estado lógico Paraquântico ψ é criado a partir de um ponto de interpolação entre o valor do Grau de Certeza G C e o valor do Grau de Contradição G ct, com ambos dependentes dos valores das medições efetuadas em Variáveis Observáveis no meio físico representadas por µ e por λ. C ISSN

3 Pode-se então representar as equações () e (3) como função de µ e de λ obtendo-se assim as equações: G C(µ, λ) = µ λ (9) G ct(µ, λ) = µ + λ 1 (10) Sendo assim, uma função Paraquântica ψ (Pψ) é identificada como o estado Lógico Paraquântico ψ, tal que: ψ = ( G, G ) (11) ( PQ) C(µ, λ) ct (µ, λ) II. O RETICULADO PARAQUÂNTICO DE ESTADOS DA LPQ Verifica-se que para cada valor de µ e de λ obtidos pelas medições no mundo físico tem-se um único par ordenado (G C(µ,λ), G ct(µ,λ) ) que representa um único estado Lógico Paraquântico ψ como um ponto interno ao Reticulado da LPQ.. No eixo vertical dos graus de contradição os dois estados lógicos Paraquânticos contraditórios extremos são: O estado Lógico Paraquântico extremo contraditório que representa Inconsistência T: ψ T = (G C(1,1), G ct (1,1) ) = (0, 1) O estado Lógico Paraquântico extremo contraditório que representa Indeterminação : ψ = (G C(0,0), G ct (0,0) ) = (0, -1). No eixo horizontal dos graus de certeza os dois estados lógicos Paraquânticos Reais extremos são: O estado Lógico Paraquântico extremo Real que representa Veracidade V: ψ V = (G C(1,0), G ct (1,0) ) = (1, 0) O estado Lógico Paraquântico extremo Real que representa Falsidade F: ψ F = (G C(0,1), G ct (0,1) ) = (-1, 0) Um Vetor de Estado P(ψ) terá origem em um dos dois Vértices que compõem o eixo horizontal dos graus de certeza e extremidade no ponto formado pelo par ordenado, indicado pela função Paraquântica ψ (PQ) = (G C(µ, λ), G ct(µ, λ) ) A figura mostra um ponto no Reticulado Paraquântico de Estados da LPQ criado com um par ordenado (G C, G ct ) onde G C =ƒ(µ,λ) e G ct =ƒ(µ,λ) o qual representa um estado Lógico Paraquântico ψ. Figura Vetor de Estado P(ψ) representando um estado Lógico Paraquântico ψ no Reticulado Paraquântico de Estados no ponto de interpolação (G C, G ct ), portanto com G C >0.. Se o valor do Grau de Certeza for negativo (G C <0), então a origem do Vetor de Estado P(ψ) estará no Vértice do Reticulado que indica estado Lógico Paraquântico extremo Falso: ψ F = (-1, 0).. Se o valor do Grau de Certeza for positivo (G C >0), então a origem do Vetor de Estado P(ψ) estará no Vértice do Reticulado que indica estado Lógico Paraquântico extremo Verdadeiro: ψ V = (1, 0). Se o valor do Grau de Certeza for nulo (G C =0), então existe um estado Lógico Paraquântico Indefinido: ψ I =(0,5;0,5). O Vetor de Estado P(ψ) será sempre a soma vetorial de seus dois vetores componentes: X C Vetor na direção do eixo dos graus de certeza (horizontal) e cujo módulo é o complemento do valor do Grau de Certeza em módulo. XC = 1 G C Y ct Vetor na direção do eixo dos graus de contradição (vertical) e cujo módulo é o próprio valor do Grau de Contradição. Yct = Gct O comportamento característico da propagação dos estados Lógicos Paraquânticos ψ depende de medições efetuadas em Variáveis Observáveis no mundo físico. As características dos estados Lógicos Paraquânticos ψ e sua propagação no Reticulado de Estados da LPQ são estudadas através da equação (11). - Definido um estado Lógico Paraquântico atual ψ atual através do par ordenado, então, conforme a equação (11) calcula-se o módulo do Vetor de Estado P(ψ) por: MP(ψ) (1- GC ) Gct = + (1) Onde: G C = Grau de Certeza calculado pela equação (9). G ct = Grau de Contradição calculado pela equação (10). Para G C >0, o Grau de Certeza Real será calculado por: G CψR = 1 MP(ψ) (13) Portanto: G = 1 (1 G ) + G (14) CψR C ct Onde: G CψR = Grau de Certeza Real. G C = Grau de Certeza calculado pela equação (9). G ct = Grau de Contradição calculado pela equação (10). Para G C <0, o Grau de Certeza Real será calculado por: G CψR = MP(ψ) 1 (15) ou: GCψR = (1 GC ) + Gct 1 (16) Onde: G CψR = Grau de Certeza Real. G C = Grau de Certeza calculado pela equação (9). G ct =Grau de Contradição calculado pela equação (10). c) Para G C = 0, então o Grau de Certeza Real será nulo: G CψR = 0 O valor da Intensidade do estado Lógico Paraquântico Real é calculado por: GCψR + 1 µ ψr = (17) Onde: µ ψr = Grau de Intensidade do estado Lógico Paraquântico Real G CψR = Grau de Certeza Real calculado pela equação (14) ou pela equação (16), dependendo do sinal do Grau de Certeza G C obtido pela equação (9). ISSN

4 O ângulo α ψ de inclinação que o Vetor de Estado P(ψ) faz com o eixo horizontal de graus de certeza é calculado por: G α arc ct ψ = tg (18) ( 1 GC ) O Grau de Intensidade do estado Lógico Paraquântico Contraditório ψ ctrψ, é calculado por: G 1 µ ct + ctrψ = (19) Onde: µ ctrψ = Grau de Intensidade do estado Lógico Paraquântico Contraditório. G ct = Grau de Contradição, calculado pela equação (10). III OS ESTADOS LÓGICOS PARAQUÂNTICOS SUPERPOSTOS As variações das medições no meio físico são refletidas no Reticulado da LPQ propagando o estado Lógico Paraquântico ψ através de infinitos estados Lógicos Paraquânticos Superpostos ψ sup. Quando o Módulo do Vetor de Estado MP(ψ) é igual a 1, este estará representando os estados Lógicos Paraquânticos Superpostos Fundamentais máximos ψ supfmax que resultarão em valores de Grau de Certeza Real nulos. O Grau de Contradição máximo para essa condição é quando o Vetor de Estado P(ψ) faz um ângulo de 45 0 com o eixo horizontal dos graus de certeza. Portanto, sendo α ψ =45 0 o ângulo de inclinação do Vetor de Estado P(ψ) o Grau de Contradição máximo para essa condição é calculado por: Gct max =± 1. cosα 0 1 G ct max =± 1. cos 45 =± E o Grau de Certeza nessa condição extrema de contradição é calculado por: G =± 1 G G C C ψ ( ) ct max 0 1 =± 1 (1. cos 45 ) =± 1 ± Se as variações das medições no meio físico trazem contradição entre µ e λ, então haverá variações do Grau de Certeza Real G CψR e, portanto, do Grau de Intensidade do estado lógico Paraquântico Real µ ψr. Essas variações são inerentes da LPQ e tem a denominação de Saltos Paraquânticos por contradição nas medições. Estes fenômenos ficam restritos a uma Região de Incerteza da LPQ onde pode ser definida pelos intervalos da seguinte forma: a) Para a condição de G C < 0 o intervalo de variação será: ( ) ψr 1 < G C < 0 Portanto, o Grau de Intensidade do estado Lógico Paraquântico Real µ ψr terá um intervalo de variação: 1 1 < µ ctrψ < b) Para a condição de G C > 0 o intervalo de variação será: 1> G C ψr > 0 Portanto, o Grau de Intensidade do estado Lógico Paraquântico Real µ ψr terá um intervalo de variação: > µ 1 ctrψ > A figura 3 mostra a variação e o Salto Paraquântico da Região de Incerteza da LPQ quando ocorre contradição próxima do Vértice representante do estado Lógico Paraquântico extremo da Inconsistência. Essa condição acontece também quando o Vetor de Estado estiver com inclinação de α ψ = ou ainda com origem no Vértice extremo representante do estado Lógico Paraquântico extremo Falso. Em uma situação contraditória extrema o Módulo do Vetor de Estado MP(ψ) terá o seu valor máximo de MP(ψ)=. III.1 REGIÃO DE INCERTEZA PARAQUÂNTICA RLPQ A região de Incerteza no Reticulado de Estados da LPQ é estabelecida pela localização dos estados lógicos Paraquânticos Contraditórios desbalanceados ψ ctrd, portanto, acontece quando existe: G C > 0 e G CψR < 0 ou G C < 0 e G CψR > 0 São estas condições que estabelecem os estados lógicos Paraquânticos Contraditórios desbalanceados ψ ctrd, os quais são caracterizados pelo Vetor de Estados P(ψ) com módulo maior que a unidade. Figura 3 Representação no Reticulado Paraquântico de Estados da Região de Incerteza da LPQ quando existem Graus de Contradição relacionados ao estado lógico Paraquântico extremo Inconsistente T. IV OS FATORES DE LIMITAÇÃO MÁXIMA DE TRANSIÇÃO DA LPQ Para variações de µ e de λ ocasionadas por mudanças nas medições das Variáveis Observáveis no meio físico existem ISSN

5 pontos onde estão situados os estados Lógicos Paraquânticos ψ no Reticulado da LPQ que definem a Região de Incerteza da LPQ. Estes pontos são denominados de Fatores de limitação máxima de transição. Os quatros estados Lógicos Paraquânticos identificados com os pontos nos quais foram atribuídos fatores de limites para transição tem seus fatores denominados de: 1. Fator de Limitação Paraquântico Falso/Inconsistente h QψFT que é identificado com o estado Lógico Paraquântico definido por: ( G G ) ψ =, ( PQ) C(µ, λ) ct (µ, λ) 1 1 ψ ( PQ) = 1, h 1 1 ; 1 QψFT ; 1. Fator de Limitação Paraquântico Verdadeiro/Inconsistente h QψVT que é identificado com o estado Lógico Paraquântico definido por: ( G G ) ψ =, ( PQ) C(µ, λ) ct (µ, λ) 1 1 h ψ ( PQ) = 1, QψVT 1 1 1; 1; 3. Fator de Limitação Paraquântico Falso/Indeterminado h QψF que é identificado com o estado Lógico Paraquântico definido por: ( G G ) ψ =, ( PQ) C(µ, λ) ct (µ, λ) 1 1 ψ ( PQ) = 1, h QψF 1 1 0; 1-0; 1-4. Fator de Limitação Paraquântico Verdadeiro/Indeterminado h QψV é identificado com o estado Lógico Paraquântico definido por: ( G G ) ψ =, ( PQ) C(µ, λ) ct (µ, λ) 1 1 ψ ( PQ) = 1, ;0 1 ; 0 h QψV meio físico, então essas variações são refletidas no comportamento e na propagação dos estados Lógicos Paraquânticos Superpostos ψ sup no Reticulado da LPQ. Quando a propagação dos estados Lógicos Paraquânticos ψ sup ultrapassa o eixo vertical do Reticulado da LPQ são produzidos Saltos Paraquânticos identificados por mudanças repentinas de valores dos Graus de Certeza Real G CψR que estão expostos no eixo horizontal. Conforme foi visto, a região de Incerteza da LPQ é aquela onde podem acontecer os Saltos Paraquânticos e está identificada com o Módulo do Vetor de Estados maior que a unidade MP(ψ)>1. Essa região é bem definida através de estados lógicos Paraquânticos limites, os quais geram fatores co-relacionados com as variações nas medidas efetuadas nas Variáveis Observáveis no meio físico. Na propagação dos estados Lógicos Paraquânticos Superpostos ψ sup existe um ponto de equilíbrio que está situado sobre o eixo vertical dos Graus de contradição do Reticulado da LPQ. O estado de equilíbrio na propagação dos estados Lógicos Paraquânticos Superpostos ψ sup através da Região de Incerteza da LPQ é definido como o estado Lógico Paraquântico de Quantização ψ hψ. Dessa forma, o estado Lógico Paraquântico de Quantização ψ hψ é identificado com o valor do Grau de Contradição quando as variações nas Variáveis Observáveis no meio físico, na forma de ação e reação, levam o estado Lógico Paraquântico Superposto ψ sup a um ponto de equilíbrio na propagação. V.1 OBTENÇÃO ESTADO LÓGICO DE QUANTIZAÇÃO ATRAVÉS DE ANÁLISE TRIGONOMÉTRICA O estado Lógico Paraquântico de Quantização ψ hψ pode ser obtido através da trigonometria onde, inicialmente, considera-se o Reticulado da LPQ como dois triângulos isósceles com base e altura unitária. Os vértices dos dois triângulos isósceles são constituídos pelos pontos dos estados lógicos extremos e assim tem-se: Triângulo FTV: Falso Inconsistente Verdadeiro Triângulo F V: Falso Indeterminado Verdadeiro. A figura 4 mostra o Reticulado da LPQ separado nestes dois triângulos isósceles para estudos. Estes fatores estabelecem um estado lógico de equilíbrio no Reticulado denominado de: estado Lógico Paraquântico de Quantização ψ hψ estudado anteriormente [8][9]. O estado Lógico Paraquântico de Quantização ψ hψ pode ser obtido através de uma análise trigonométrica a qual identifica suas principais propriedades, conforme será mostrada a seguir. V ESTADO LÓGICO PARAQUÂNTICO DE QUANTIZAÇÃO ψ hψ A propagação dos estados Lógicos Paraquânticos Superpostos ψ sup através do Reticulado da LPQ acontece devido as variações contínuas nas medições das Variáveis Observáveis no meio físico. Como a análise paraquântica recebe na forma de Grau de Evidência favorável µ e desfavorável λ as medições nas Variáveis Observáveis no Figura 4 Reticulado da LPQ separado em dois triângulos isósceles para estudos. ISSN

6 A partir do triângulo isósceles FTV que compõem os Vértices dos estados Lógicos Paraquânticos extremos Falso, Inconsistente e Verdadeiro traça-se as bissetrizes internas e encontra-se o ponto notável Incentro I 1. Dessa forma, é encontrado o ponto I 1 eqüidistante dos lados do triângulo isósceles FTV. A figura 5 mostra o ponto I 1 com as distâncias correspondentes no triângulo isósceles do estudo. Verifica-se que a distância da base, formada pelo eixo horizontal do triângulo cujos Vértices estão os estados Lógicos Paraquânticos extremos Reais Falso e Verdadeiro, com o ponto Incentro I 1 é de: h 1= 1 Como o ponto Incentro I 1 está sobre o eixo vertical do Reticulado, então esse valor corresponde na LPQ ao Grau de Contradição G ct positivo. Os pontos A e B indicam o encontro do círculo traçado a partir do ponto Incentro I 1 com os lados do triângulo isósceles FTV. Dessa forma, o raio do círculo é o mesmo valor da distância h 1. os lados do triângulo isósceles F V. Dessa forma, o raio do círculo é o mesmo valor da distância com h 1. =h 1.1. Figura 6 Obtenção do ponto Incentro I no triângulo isósceles F V e as distâncias correspondentes. Juntando-se os dois triângulos isósceles forma-se o Reticulado da LPQ onde são traçadas retas paralelas pelos pontos; I 1 e I obtidos, ligando-as aos pontos de encontro A,B, C e D nos lados dos triângulos isósceles. A figura 7 mostra a co-relação de valores entre o meio físico e o Reticulado da LPQ. Figura 5 Obtenção do ponto Incentro I 1 no triângulo isósceles FTV e as distâncias correspondentes. A partir do triângulo isósceles que compõem os Vértices dos estados Lógicos Paraquânticos extremos Falso, Indeterminado e Verdadeiro traçando-se as bissetrizes internas encontra-se o ponto notável Incentro I. Dessa forma é encontrado o ponto I eqüidistante dos lados do triângulo isósceles F V. A figura 6 mostra o ponto I com as distâncias correspondentes no triângulo isósceles do estudo. Verifica-se que a distância da base, formada pelo eixo horizontal do triângulo cujos Vértices estão os estados Lógicos Paraquânticos extremos Reais Falso e Verdadeiro, com o ponto Incentro I é de: h = 1 Como o ponto Incentro I está sobre o eixo vertical do Reticulado esse valor corresponde na LPQ ao Grau de Contradição G ct negativo. Os pontos C e D indicam o encontro do círculo traçado a partir do ponto Incentro I com Figura 7 Co-relação de valores de distâncias entre o meio físico, representado na forma de Graus de Evidências, e o Reticulado da LPQ. As retas criadas dentro do Reticulado estarão com inclinação de ângulo α ψ de E as distâncias entre si são co-relacionadas às distâncias no eixo onde são expostos os valores dos Graus de Evidência favorável µ e desfavorável λ. ISSN

7 Dessa forma, como os valores normalizados dos Graus de Evidência favorável µ e desfavorável λ são representações das variações ocorridas em medições das Variáveis Observáveis no meio físico, então as distâncias correspondentes ao seu eixo refletem nos valores das distâncias do Reticulado da LPQ. Verifica-se que a variação de cada Grau de Evidência no meio físico entre os dois pontos Incentros é de: d = d1 d3 ou 1 1 que resulta em: d = 1 d = 1 Dessa forma, em relação ao ponto de indefinição eqüidistante dos Vértices do Reticulado da LPQ, portanto em torno de onde está localizado o estado Lógico paraquântico de Indefinição Puro ψ IP, a variação de valores dentro dos limites pode ser representada por: 1 1 d = ±. h QψVT Fator de Limitação Paraquântico Verdadeiro/Inconsistente. h QψF Fator de Limitação Paraquântico Falso/Indeterminado. h QψV Fator de Limitação Paraquântico Verdadeiro/Indeterminado Todos os estados Paraquânticos Superpostos ψ sup a estes e que terão variação do ângulo de inclinação α ψ até grau nulo delimitam a Região de Incerteza do Reticulado da LPQ. Portanto, estas características definem os pontos dos estados Lógicos Paraquânticos ψ relacionados aos fatores de limitação h quando na propagação dos estados Lógicos paraquânticos Superpostos ψ sup pelo Reticulado da LPQ. A figura 9 mostra estas interligações e características nas quais delimitam a Região de Incerteza do Reticulado da LPQ. V. OS FATORES LIMITANTES DA REGIÃO DE INCERTEZA DA LPQ Os pontos A, B, C e D, são aqueles onde estão situados os estados Lógicos Paraquânticos caracterizados por apresentarem o Vetor de Estados P(ψ) com ângulo de inclinação α ψ de 45 0 e com o módulo igual a unidade MP(ψ)=1. Estes são estados Lógicos Paraquânticos Limitantes da Região de Incerteza da LPQ nos quais as linhas tracejadas com inclinação de α ψ de 45 0 os interligam ao ponto Incentro, portanto, no ponto onde está situado o estado Lógico Paraquântico de Quantização ψ hψ. A figura 8 mostra estas interligações nas quais delimitam a Região de Incerteza do Reticulado da LPQ e onde estão definidos os quatros estados Lógicos Paraquânticos identificados com os pontos nos quais foram atribuídos fatores de limites para transição. Figura 9 Localização do estado Lógico Paraquântico de Quantização ψ hψ na região de Incerteza da LPQ com o fator de Quantização relacionado aos Graus de Evidência obtidos nas medições das Variáveis Observáveis no meio físico. Figura 8 Correlação de valores dos Graus de Evidência obtidos nas medições das Variáveis Observáveis no meio físico e os valores dos Graus de Certeza e Contradição no Reticulado da LPQ. Os pontos são co-relacionados aos fatores denominados de:. h QψFT Fator de Limitação Paraquântico Falso/Inconsistente A propagação dos estados Lógicos Paraquânticos Superpostos ψ sup, através do Reticulado da LPQ, acontece devido às variações contínuas nas medições das Variáveis Observáveis no meio físico. Como a análise paraquântica recebe na forma de Grau de Evidência favorável µ e desfavorável λ as medições nas Variáveis Observáveis no meio físico, então essas variações são refletidas no comportamento e na propagação dos estados Lógicos Paraquânticos Superpostos ψ sup no Reticulado da LPQ. O estado Lógico Paraquântico de Quantização ψ hψ está situado na posição de equilíbrio entre dois limites máximos consecutivos de propagação e, portanto, ao final de duas transições, estará sobre um dos eixos do Reticulado da LPQ. V.3 A PROPAGAÇÃO LIMITADA PELA REGIÃO DE INCERTEZA DA LPQ Quando duas transições máximas ocorrem, uma primeira variação máxima nas Variáveis Observáveis no meio físico ISSN

8 pode ser considerada como na forma de uma ação, cujo efeito é refletido no Grau de Evidência favorável µ. Dessa forma, a primeira transição provocada pela variação do Grau de Evidência favorável µ, pode ser definida como uma ação no meio físico que provoca um desequilíbrio. Essa ação provoca uma propagação máxima que somente permite a propagação chegar ao estado Lógico Paraquântico do valor limite h QψFT do Reticulado da LPQ. A segunda transição, provocada pela variação do Grau de Evidência desfavorável λ é definida como uma reação que tenta compensar o desequilíbrio e para isso diminui a contradição de um valor máximo alcançado na transição anterior. Essa reação diminui o Grau de Evidência desfavorável λ de modo que este somente alcance o ponto limite h QψVT. Ao final dessas duas transições, ocasionada por uma ação e reação no meio físico, o estado Lógico Paraquântico Superposto ψ sup estará sobre o eixo dos graus de contradição no ponto identificado como o estado Lógico Paraquântico de Quantização ψ hψ. A figura 10 mostra as duas transições e o alcance da propagação até o ponto onde está situado o estado Lógico Paraquântico de Quantização ψ hψ sobre o eixo dos graus de contradição do Reticulado da LPQ. no meio físico com o comportamento dos estados Lógicos Paraquânticos no Reticulado da LPQ. V.4 O GRAU DE CERTEZA REAL NO SALTO PARAQUÂNTICO DE QUANTIZAÇÃO Após o estado Lógico Paraquântico Superposto ψ sup alcançar o ponto onde está situado o estado Lógico Paraquântico de Quantização ψ hψ, que é identificado com o Fator de Quantização Paraquântico h ψ, será produzido um Salto Paraquântico. O Salto Paraquântico acontece no instante em que o estado Lógico Paraquântico Superposto ψ sup sair em direção ao ponto onde está representado o estado Lógico Paraquântico identificado com o Fator de Limitação Paraquântico. Neste caso, o módulo do Vetor de Estados P(ψ) é maior que a unidade, e será calculado por: MP(ψ) = 1 + h ψ (0) Dessa forma, no instante da passagem dos estados Lógicos Paraquânticos Superpostos ψ sup pelo estado Lógico Paraquântico de Quantização ψ hψ o Grau de Certeza Real terá variações da forma: C R = G ψ 1 1 ± + hψ (1) O que resulta em aproximadamente: GC ψ R = ± A figura 11 mostra os detalhes identificando a variação do Grau de Certeza Real G CψR produzido pelo Salto Paraquântico no instante em que os estados Lógicos Superpostos ψ sup alcançam o ponto representante do estado Lógico Paraquântico de Quantização ψ hψ. Verifica-se que ψ hψ está situado no eixo vertical dos graus de contradição do Vértice representante estado Lógico Paraquântico extremo da Inconsistência T. Figura 10 Estado Lógico Paraquântico de Quantização ψ hψ definido no ponto sobre o eixo dos graus de contradição do Reticulado de Estados da LPQ após duas transições. O estado Lógico Paraquântico Superposto ψ sup ao se propagar pelo Reticulado da LPQ fica estabelecido em um valor de quantização para cada ponto de equilíbrio, que é o valor do Grau de Contradição do estado Lógico Paraquântico de Quantização ψ hψ, tal que: h ψ = 1 Onde: h ψ é o Fator de Quantização Paraquântico. Desse modo, o Fator de Quantização Paraquântico h ψ é determinado pela passagem dos estados Lógicos Paraquânticos Superpostos ψ sup pelo eixo vertical dos graus de contradição, que assim co-relaciona os eventos ocorridos Figura 11 Representação do Salto Paraquântico no instante em que os estados Lógicos Superpostos ψ sup alcançam ponto representante do estado Lógico Paraquântico de Quantização ψ hψ no eixo vertical dos graus de contradição. A figura 1 mostra os detalhes no instante em que os estados Lógicos Superpostos ψ sup ultrapassam o eixo vertical ISSN

9 dos graus de contradição no ponto representante do estado Lógico Paraquântico de Quantização ψ hψ em direção ao Vértice representante do estado Lógico Paraquântico extremo da Inconsistência T até alcançar o ponto h ψvt. A figura 14 mostra os detalhes o valor do Grau de Certeza Real calculado pela equação (1) no instante em que os estados Lógicos Superpostos ultrapassam o eixo vertical dos graus de contradição no ponto representante o estado Lógico Paraquântico de Quantização ψ hψ do Reticulado da LPQ e se direcionam para o ponto h ψf. Figura 1 Representação do Salto Paraquântico no instante em que os estados Lógicos Superpostos ψ sup ultrapassam o eixo vertical dos graus de contradição no ponto representante do estado Lógico Paraquântico de Quantização ψ hψ. A figura 13 mostra os detalhes no instante em que os estados Lógicos Superpostos ψ sup alcançam ponto representante do estado Lógico Paraquântico de Quantização ψ hψ no eixo vertical dos graus de contradição do Vértice representante estado Lógico Paraquântico extremo da Indeterminação. Figura 14 Representação do Salto Paraquântico no instante em que os estados Lógicos Superpostos ψ sup ultrapassam o eixo vertical dos graus de contradição no ponto representante o estado Lógico Paraquântico de Quantização ψ hψ. A propagação pelo Reticulado da LPQ é um processo dinâmico, e a cada passagem dos estados Lógicos Superpostos ψ sup pelo ponto representante do estado Lógico Paraquântico de Quantização ψ hψ situado no eixo vertical dos graus de contradição é criado um Salto Paraquântico. O valor desse Salto Paraquântico devido ao movimento é obtido pela equação (1) sendo então adicionado ou subtraído do valor do Grau de Certeza Real calculado. VI CONCLUSÃO Figura 13 Os estados Lógicos Superpostos ψ sup ultrapassam o eixo vertical dos graus de contradição no ponto representante o estado Lógico Paraquântico de Quantização ψ hψ. Neste artigo foi demonstrada através do processo trigonométrico a obtenção do estado Lógico Paraquântico de Quantização ψ hψ. Verificou-se que a propagação dos estados Lógicos Paraquânticos Superpostos ψ sup têm a sua passagem pelo eixo vertical dos graus de contradição através de um ponto de equilíbrio identificado com o Incentro de um dos dois triângulos isósceles que compõe o Reticulado da LPQ. Ficou demonstrado que o ponto Incentro obtido através das bissetrizes no triângulo isósceles é onde está situado o estado Lógico Paraquântico de Quantização ψ hψ que, por sua vez, corresponde ao Fator de Quantização Paraquântico determinado por: h ψ = 1. ISSN

10 O Fator de Quantização Paraquântico h ψ é co-relacionado aos Graus de Evidência µ e λ obtidos através das medições das Variáveis Observáveis no meio físico e será de grande importância no modelo Lógico Paraquântico, pois, conforme será visto, é identificado com a constante de Planck h e vai ser utilizado em análises quantitativas nas diferentes áreas da Física. Verificou-se que a propagação dos estados Lógicos Paraquânticos Superpostos ψ sup, devido às variações dos Graus de Evidência µ e λ obtidos de medições efetuadas em variáveis Observáveis no meio físico, trazem Saltos Paraquânticos no ponto onde está situado o estado Lógico de Quantização Paraquântico ψ hψ. Os valores transitórios dos Saltos Paraquânticos podem ser calculados, sendo então, adicionados ou subtraídos ao valor do Fator de Quantização h ψ. No modelo Lógico Paraquântico, que tem a finalidade de quantificar as grandezas físicas, essa variação abrupta de valores será identificada com a inércia ou irradiação dos corpos em estudos. No prosseguimento desse trabalho será apresentado um modelo Lógico Paraquântico capaz quantificar grandezas físicas em sistemas físicos reais analisados nas áreas de estudos que vão, desde as pequenas dimensões das subpartículas, até as grandes dimensões tratadas pela teoria da relatividade. AGRADECIMENTOS O autor agradece ao INESC Instituto de Engenharia de Sistemas e Computadores do Porto de Portugal, em particular ao pesquisador Prof. Jorge Pereira pelo apoio recebido no desenvolvimento dessa pesquisa. VII BIBLIOGRAFIA [1] Abe, J. M. Fundamentos da Lógica Anotada, in Portuguese, Master's degree thesis, Tese de Doutoramento FFLCH/USP - São Paulo, 199. [] Anand R. e V.S. Subrahmanian, A Logic Programming System Based on a Six-Valued Logic, AAAI/Xerox Second Intl. Symp. on Knowledge Eng. - Madrid-Spain, [3] Da Costa, N.C.A., On the theory of inconsistent formal systems, Notre Dame J. of Formal Logic, 15, , [4] Da Costa, N.C.A.; Marconi, D., An overview of paraconsistent logic in the 80 s, The Journal of Non-Classical Logic, v.6, p (1989) [5] Da Costa, N.C.A. V.S. Subrahmanian e C. Vago, The Paraconsistent Logic PT, Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, Vol.37, pp ,1991. [6] Da Silva Filho, J. I., Lógica ParaQuântica LPQ (parte I): Introdução aos conceitos Fundamentais - Revista Seleção Documental n18, 17-6 pp. ISSN ano 5- abril/maio/junho, Editora Paralogike, Santos, São Paulo, Brasil, 010. [7] Da Silva Filho, J. I., Lógica ParaQuântica LPQ (parte II): Conceitos Fundamentais e Formalização em análise Estática - Revista Seleção Documental n18, 7-35 pp. ISSN ano 5- abril/maio/junho, Editora Paralogike, Santos, São Paulo Brasil, 010. [8] Da Silva Filho, J. I., Lógica ParaQuântica LPQ (parte III): Formalização e Estudo de Saltos Paraquânticos em Análise Estática - Revista Seleção Documental n19, 10-1 pp. ISSN ano 5 - julho/agosto/setembro, Editora Paralogike, Santos, São Paulo, Brasil, 010. [9] Da Silva Filho, J. I., Lógica ParaQuântica LPQ (parte IV): Propagação de estados Lógicos Paraquânticos ψ - Revista Seleção Documental n18, -34 pp. ISSN ano 5- julho/agosto/setembro, Editora Paralogike, Santos, São Paulo Brasil, 010. [10] Da Silva Filho, J.I., Métodos de interpretação da Lógica Paraconsistente Anotada com anotação com dois valores LPAv com construção de Algoritmo e implementação de Circuitos Eletrônicos, in portuguese PhD thesis, University of São Paulo, POLI/USP - São Paulo, [11] Da Silva Filho J.I., Rocco, A, Mario, M. C. Ferrara, L.F. P., Annotated Paraconsistent logic applied to an expert System Dedicated for supporting in an Electric Power Transmission Systems Re-Establishment, IEEE Power Engineering Society - PSC 006 Power System Conference and Exposition pp. 1-0, ISBN X Atlanta USA 006. [1] Deutsch D., The Fabric of Reality, Allen Lane, Though written for general audiences, in this book Deutsch argues forcefully against instrumentalism. [13] Jammer M., The Conceptual Development of Quantum Mechanics. New York: McGraw-Hill, [14] Jammer M., The Philosophy of Quantum Mechanics. New York, Wiley, [15] Ponczek,R. L. The idea of causality in classical physics, in Portuguese Cad.Bras.Ens.Fís., v.0, n.1: p.63-85, abr [16] Reichenbach H., Philosophic Foundations of Quantum Mechanics, Berkeley: University of California Press, [17] Wheeler J. A. and H. Z. Wojciech (eds), Quantum Theory and Measurement, Princeton: Princeton University Press, ISBN , LoC QC Q [18] Krause, D. and Bueno, O., `Scientific theories, models, and the semantic approach', Principia 11 (), 007, [19] Suppe, F. (ed.) (1977) The structure of scientific theories,.ed. Urbana, Illinois: University of Illinois Press. [0] Jas kowski, S., Propositional Calculus for Contraditory Deductive Systems, Studia Logica 4, p [1] Subrahmanian V.S., On the semantics of quantitative Lógic programs, Proc. 4 th. IEEE Symposium on Logic Programming, Computer Society Press, Washington D.C, João Inácio da Silva Filho É Coordenador do GLPA - Grupo de Lógica Paraconsistente Aplicada e membro do Grupo de Lógica e Teoria da Ciência do IEA - Instituto de Estudos Avançados da USP. O Professor Da Silva Filho, em 1999 doutorou-se em Engenharia Elétrica pela POLI/USP na área de Sistemas Digitais, e fez mestrado em Microeletrônica pela mesma Instituição. Em 009 fez seu Pós doutoramento no INESC Instituto de Engenharia de Sistemas e Computadores do Porto, em Portugal. Foi professor de Física Experimental em diversas universidades e criador do primeiro Robô a funcionar com Controlador lógico Paraconsistente (Robô Emmy), atualmente se dedica as pesquisas sobre aplicações das Redes Neurais Artificiais Paraconsistentes em Sistemas Especialistas e Robótica. Desde 6 de novembro de 009 é membro do IHGS - Instituto Histórico e Geográfico de Santos onde ocupa a Cadeira 73, cujo patrono é Afonso D Escragnolle Taunay. ISSN

Lógica ParaQuântica LPQ (parte V): Formas de propagação e o estado Lógico Paraquântico de Quantização ψ hψ

Lógica ParaQuântica LPQ (parte V): Formas de propagação e o estado Lógico Paraquântico de Quantização ψ hψ Lógica ParaQuântica LPQ (parte V): Formas de propagação e o estado Lógico Paraquântico de Quantização ψ hψ Da Silva Filho, J.I. inacio@unisanta.br João Inácio da Silva Filho GLPA - Grupo de Lógica Paraconsistente

Leia mais

Lógica ParaQuântica LPQ (parte VIII): Modelo Lógico Paraquântico de Análises Quantitativas

Lógica ParaQuântica LPQ (parte VIII): Modelo Lógico Paraquântico de Análises Quantitativas Lógica ParaQuântica LPQ (parte VIII): Modelo Lógico Paraquântico de Análises Quantitativas João Inácio da Silva Filho Da Silva Filho, J.I. inacio@unisanta.br GLPA - Grupo de Lógica Paraconsistente Aplicada

Leia mais

Lógica ParaQuântica LPQ (parte IV): Propagação de estados Lógicos Paraquânticos ψ

Lógica ParaQuântica LPQ (parte IV): Propagação de estados Lógicos Paraquânticos ψ Lógica ParaQuântica LPQ (parte IV): Propagação de estados Lógicos Paraquânticos ψ Da Silva Filho, J.I. inacio@unisanta.br João Inácio da Silva Filho GLPA - Grupo de Lógica Paraconsistente Aplicada UNISANTA

Leia mais

Introdução ao conceito de estado Lógico Paraconsistente ε τ

Introdução ao conceito de estado Lógico Paraconsistente ε τ Introdução ao conceito de estado Lógico Paraconsistente ε τ João Inácio da Silva Filho Da Silva Filho, J.I. inacio@unisanta.br GLPA - Grupo de Lógica Paraconsistente Aplicada UNISANTA - Universidade Santa

Leia mais

TÍTULO: DESENVOLVIMENTO DE PLATAFORMA DE TESTES PARA ALGORITMOS ESTRUTURADOS EM LÓGICA PARACONSISTENTE ANOTADA LPA

TÍTULO: DESENVOLVIMENTO DE PLATAFORMA DE TESTES PARA ALGORITMOS ESTRUTURADOS EM LÓGICA PARACONSISTENTE ANOTADA LPA TÍTULO: DESENVOLVIMENTO DE PLATAFORMA DE TESTES PARA ALGORITMOS ESTRUTURADOS EM LÓGICA PARACONSISTENTE ANOTADA LPA CATEGORIA: CONCLUÍDO ÁREA: ENGENHARIAS E ARQUITETURA SUBÁREA: ENGENHARIAS INSTITUIÇÃO:

Leia mais

Lógica ParaQuântica LPQ (parte VII): Análises Paraquânticas com Expansão e Contração do Reticulado da LPQ

Lógica ParaQuântica LPQ (parte VII): Análises Paraquânticas com Expansão e Contração do Reticulado da LPQ Lógica ParaQuântica LPQ (parte VII): Análises Paraquânticas com Expansão e ontração do Reticulado da LPQ João Inácio da Silva Filho Da Silva Filho, J.I. inacio@unisanta.br LPA - rupo de Lógica Paraconsistente

Leia mais

Métodos de Aplicações da Lógica Paraconsistente Anotada de anotação com dois

Métodos de Aplicações da Lógica Paraconsistente Anotada de anotação com dois Métodos de Aplicações da Lógica Paraconsistente Anotada de anotação com dois valores-lpa2v João Inácio da Silva Filho Email: Da Silva Filho, J.I. inacio@unisanta.br ou jinacsf@yahoo.com.br IEA- Instituto

Leia mais

Lógica ParaQuântica LPQ (parte IX): Análises em Sistemas Físicos e o Fator Gama Paraquântico γ Pψ

Lógica ParaQuântica LPQ (parte IX): Análises em Sistemas Físicos e o Fator Gama Paraquântico γ Pψ Lógica ParaQuântica LPQ (parte IX): Análises em Sistemas Físicos e o Fator Gama Paraquântico João Inácio da Silva Filho Da Silva Filho, J.I. inacio@unisanta. GLPA - Grupo de Lógica Paraconsistente Aplicada

Leia mais

ROLDEN BAPTISTA 1, JOÃO INÁCIO DA SILVA FILHO 1, CLOVIS MISSENO DA CRUZ 2.

ROLDEN BAPTISTA 1, JOÃO INÁCIO DA SILVA FILHO 1, CLOVIS MISSENO DA CRUZ 2. 6º Congresso Científico da Semana Nacional de Ciência e Tecnologia no IFSP 20-23 de outubro de 2015 Instituto Federal de São Paulo Bragança Paulista, SP, Brasil OBTENÇÃO DO GRAU DE CERTEZA ASSOCIADO À

Leia mais

XIX Seminário Nacional de Distribuição de Energia Elétrica. SENDI a 26 de novembro. São Paulo - SP - Brasil

XIX Seminário Nacional de Distribuição de Energia Elétrica. SENDI a 26 de novembro. São Paulo - SP - Brasil XIX Seminário Nacional de Distribuição de Energia Elétrica SENDI 2010 22 a 26 de novembro São Paulo - SP - Brasil Um Previsor De Perfil De Cargas Em Sistemas Elétricos De Potência Construído Com Lógica

Leia mais

Célula Neural Artificial Paraconsistente utilizada como um Módulo Redutor de Ruídos em Sinais com Amplitudes oscilantes

Célula Neural Artificial Paraconsistente utilizada como um Módulo Redutor de Ruídos em Sinais com Amplitudes oscilantes Unisanta Science and Technology, 017, 6, July Published Online 017 Vol.6 N o 1 http://periodicos.unisanta.br/index.php/sat) UNISANTA Science and Technology ISSN 317-1316 Célula Neural Artificial Paraconsistente

Leia mais

Leonardo do Espirito Santo, João Inácio da Silva Filho, Cláudio Luís M. Fernandes

Leonardo do Espirito Santo, João Inácio da Silva Filho, Cláudio Luís M. Fernandes Controle adaptativo utilizando algoritmo da Lógica Paraconsistente aplicado à uma unidade experimental no controle de vazão Leonardo do Espirito Santo, João Inácio da Silva Filho, Cláudio Luís M. Fernandes

Leia mais

ESTIMADOR DE ESTADO ADAPTATIVO PARACONSISTENTE PARACONSISTENT ADAPTIVE STATE ESTIMATOR. Resumo. Abstract. Introdução

ESTIMADOR DE ESTADO ADAPTATIVO PARACONSISTENTE PARACONSISTENT ADAPTIVE STATE ESTIMATOR. Resumo. Abstract. Introdução ESTIMADOR DE ESTADO ADAPTATIVO PARACONSISTENTE PARACONSISTENT ADAPTIVE STATE ESTIMATOR Arnaldo de Carvalho Jr 1, João Inácio da Silva Filho 2, Mauricio Conceição Mario 2 1 Instituto Federal de Educação,

Leia mais

Treinamento de uma Célula Neural Artificial Paraconsistente de Aprendizagem

Treinamento de uma Célula Neural Artificial Paraconsistente de Aprendizagem Treinamento de uma Célula Neural Artificial Paraconsistente de Aprendizagem Mauricio Conceição Mário, Luís Fernando P. Ferrara e João Inácio da Silva Filho Mário, M.C. Ferrara, L.F.P.. Da Silva Filho,

Leia mais

Robô Móvel Autônomo Emmy: Uma Aplicação eficiente da Lógica Paraconsistente Anotada

Robô Móvel Autônomo Emmy: Uma Aplicação eficiente da Lógica Paraconsistente Anotada Robô Móvel Autônomo Emmy: Uma Aplicação eficiente da Lógica Paraconsistente Anotada Da Silva Filho, J.I. Email: inacio@unisanta.br Abe, J.M. Email: jairabe@uol.com.br Torres, C.R. Email: c.r.t@uol.com.br

Leia mais

Lógica ParaFuzzy Um método de Aplicação da Lógica Paraconsistente e Fuzzy em Sistemas de Controle Híbridos

Lógica ParaFuzzy Um método de Aplicação da Lógica Paraconsistente e Fuzzy em Sistemas de Controle Híbridos Lógica ParaFuzzy Um método de Aplicação da Lógica Paraconsistente e Fuzzy em Sistemas de Controle Híbridos Email: jinacsf@yahoo.com.br João Inácio da Silva Filho IEA- Instituto de Estudos Avançados da

Leia mais

Treinamento de uma Célula Neural Artificial Paraconsistente de Aprendizagem (CNAPap) utilizando Microsoft Excel

Treinamento de uma Célula Neural Artificial Paraconsistente de Aprendizagem (CNAPap) utilizando Microsoft Excel Treinamento de uma Célula Neural Artificial Paraconsistente de Aprendizagem (CNAPap) utilizando Microsoft Excel Rodney Gomes da Silva 1,2, João Inácio da Silva Filho 1, Dorotéa Vilanova Garcia 1 1 UNISANTA-

Leia mais

Lógica Paraconsistente e Probabilidade Pragmática no Tratamento de Incertezas

Lógica Paraconsistente e Probabilidade Pragmática no Tratamento de Incertezas Lógica Paraconsistente e Probabilidade Pragmática no Tratamento de Incertezas Da Silva Filho, J.I Email:inacio@unisanta.br João Inácio da Silva filho 1 UNISANTA - Universidade Santa Cecília -Núcleo de

Leia mais

Modelo para Controle de níveis de um Processo multivariável de quatro tanques de petróleo com Rede de Análise Paraconsistente

Modelo para Controle de níveis de um Processo multivariável de quatro tanques de petróleo com Rede de Análise Paraconsistente Modelo para Controle de níveis de um Processo multivariável de quatro tanques de petróleo com Rede de Análise Paraconsistente Rolden Baptista 1,2, José Carlos Morilla 1 e João Inácio Da Silva Filho 1 Baptista,

Leia mais

Proposta de Controle de Válvula Automática de três vias através de algoritmos da Lógica Paraconsistente Anotada

Proposta de Controle de Válvula Automática de três vias através de algoritmos da Lógica Paraconsistente Anotada Unisanta Science and Technology, 2013, 6, December Published Online 2013 Vol.2 N o 2 http://periodicos.unisanta.br/index.php/sat) UNISANTA Science and Technology ISSN 2317-1316 Proposta de Controle de

Leia mais

Proposta de controle de nível utilizando Redes Neurais Artificiais Paraconsistente

Proposta de controle de nível utilizando Redes Neurais Artificiais Paraconsistente Proposta de controle de nível utilizando Redes Neurais Artificiais Paraconsistente Rolden Baptista, rolden.baptista@unimonte.edu.br UNIMONTE-Centro Universitário Monte Serrat. Rua comendador Martins, vila

Leia mais

Introdução às Células Neurais Artificiais Paraconsistentes

Introdução às Células Neurais Artificiais Paraconsistentes Introdução às Células Neurais Artificiais Paraconsistentes Da Silva Filho, J.I Email: inacio@unisanta.br João Inácio da Silva Filho GLPA-Grupo de Lógica Paraconsistente Aplicada UNISANTA-Universidade Santa

Leia mais

Nos parágrafos seguintes serão definidos os operadores NOT, OR e AND sobre o

Nos parágrafos seguintes serão definidos os operadores NOT, OR e AND sobre o 112 3.5.5 Os operadores NOT, OR e AND Nos parágrafos seguintes serão definidos os operadores NOT, OR e AND sobre o reticulado τ = < [0, 1] [0, 1], >, associado à lógica paraconsistente anotada evidencial

Leia mais

Grandeza Vetorial. Curso de Engenharia Civil Física Geral e Experimental I. Considerações. Vetores- Unidade 2 Prof.a : Msd Érica Muniz 1 período

Grandeza Vetorial. Curso de Engenharia Civil Física Geral e Experimental I. Considerações. Vetores- Unidade 2 Prof.a : Msd Érica Muniz 1 período Curso de Engenharia Civil Física Geral e Experimental I Vetores- Unidade 2 Prof.a : Msd Érica Muniz 1 período Grandeza Vetorial Algumas vezes necessitamos mais que um número e uma unidade para representar

Leia mais

Respostas transitórias de funções de transferências de controle de processos com o apoio do MatLab

Respostas transitórias de funções de transferências de controle de processos com o apoio do MatLab Respostas transitórias de funções de transferências de controle de processos com o apoio do MatLab Rolden Baptista 1,2, João Inácio da Silva Filho 1, Mauricio Conceição Mario 1, e Dorotéa Vilanova Garcia,1

Leia mais

Simulação do Reticulado da Lógica Paraconsistente Anotada com Anotação de dois Valores LPA2v aplicado em VB.net

Simulação do Reticulado da Lógica Paraconsistente Anotada com Anotação de dois Valores LPA2v aplicado em VB.net Simulação do Reticulado da Lógica Paraconsistente Anotada com Anotação de dois Valores LPA2v aplicado em VB.net Rodrigo Silvério da Silveira 1,2, Leonardo do Espirito Santo 1,2, João Inácio da Silva Filho

Leia mais

Conceitos de vetores. Decomposição de vetores

Conceitos de vetores. Decomposição de vetores Conceitos de vetores. Decomposição de vetores 1. Introdução De forma prática, o conceito de vetor pode ser bem assimilado com auxílio da representação matemática de grandezas físicas. Figura 1.1 Grandezas

Leia mais

Pontifícia Universidade Católica do Rio de Janeiro / PUC-Rio Departamento de Engenharia Mecânica. ENG1705 Dinâmica de Corpos Rígidos.

Pontifícia Universidade Católica do Rio de Janeiro / PUC-Rio Departamento de Engenharia Mecânica. ENG1705 Dinâmica de Corpos Rígidos. Pontifícia Universidade Católica do Rio de Janeiro / PUC-Rio Departamento de Engenharia Mecânica ENG1705 Dinâmica de Corpos Rígidos (Período: 2016.1) Notas de Aula Capítulo 1: VETORES Ivan Menezes ivan@puc-rio.br

Leia mais

A Method with Paraconsistent Partial Differential Equation Used in Explicit Solution of Onedimensional

A Method with Paraconsistent Partial Differential Equation Used in Explicit Solution of Onedimensional A Method with Paraconsistent Partial Differential Equation Used in Explicit Solution of Onedimensional Heat Conduction J. I. Da Silva Filho, Member, IEEE and C. M. Cruz, Member, IEEE Abstract Paraconsistent

Leia mais

Um Planejador Baseado em Lógica Paraconsistente

Um Planejador Baseado em Lógica Paraconsistente 2º SIMPÓSI9 BRASILEIRO DE AUTOMAÇAO INTELIGENTE CEFET-PR, 13 a 15 de Setembro de 1995 Curitiba -Paraná " Um Planejador Baseado em Lógica Paraconsistente José Pacheco de-almeida Prado Grupo de Inteligência

Leia mais

Palavras chave: Contêiner. Código Numérico. Lógica Paraconsistente. Lógica Paraconsistente Anotada.

Palavras chave: Contêiner. Código Numérico. Lógica Paraconsistente. Lógica Paraconsistente Anotada. Unisanta Science and Technology, 2016, 16, December Published Online 2016 Vol.5 N o 3 http://periodicos.unisanta.br/index.php/sat) UNISANTA Science and Technology ISSN 2317-1316 Modelo para auxiliar a

Leia mais

Bacharelado Engenharia Civil. Disciplina:Física Geral e Experimental I 1 período Prof.a: Msd. Érica Muniz

Bacharelado Engenharia Civil. Disciplina:Física Geral e Experimental I 1 período Prof.a: Msd. Érica Muniz Bacharelado Engenharia Civil Disciplina:Física Geral e Experimental I 1 período Prof.a: Msd. Érica Muniz Cálculo Vetorial Grandeza Vetorial Algumas vezes necessitamos mais que um número e uma unidade para

Leia mais

PROPOSTA DE RESOLUÇÃO DA PROVA DE MATEMÁTICA A DO ENSINO SECUNDÁRIO (CÓDIGO DA PROVA 635) 1ª FASE 23 DE JUNHO 2017 GRUPO I

PROPOSTA DE RESOLUÇÃO DA PROVA DE MATEMÁTICA A DO ENSINO SECUNDÁRIO (CÓDIGO DA PROVA 635) 1ª FASE 23 DE JUNHO 2017 GRUPO I PROPOSTA DE RESOLUÇÃO DA PROVA DE MATEMÁTICA A DO ENSINO SECUNDÁRIO (CÓDIGO DA PROVA 635) ª FASE 3 DE JUNHO 07. GRUPO I Dado que os algarismos que são usados são os do conjunto {,, 3, 4, 5, 6, 7, 8, 9

Leia mais

Prova Escrita de MATEMÁTICA A - 12o Ano a Fase

Prova Escrita de MATEMÁTICA A - 12o Ano a Fase Prova Escrita de MATEMÁTICA A - o Ano 06 - a Fase Proposta de resolução GRUPO I. Como P (A B) P (A B) P (B) P (A B) P (A B) P (B) vem que: P (A B) 6 0 60 0 Como P (A B) P (A) + P (B) P (A B), temos que:

Leia mais

CUFSA - FAFIL Graduação em Matemática TRIGONOMETRIA (Resumo Teórico)

CUFSA - FAFIL Graduação em Matemática TRIGONOMETRIA (Resumo Teórico) 1 INTRODUÇÃO CUFSA - FAFIL Graduação em Matemática TRIGONOMETRIA (Resumo Teórico) ARCOS: Dados dois pontos A e B de uma circunferência, definimos Arco AB a qualquer uma das partes desta circunferência

Leia mais

Física Geral Grandezas

Física Geral Grandezas Física Geral Grandezas Grandezas físicas possuem um valor numérico e significado físico. O valor numérico é um múltiplo de um padrão tomado como unidade. Comprimento (m) Massa (kg) Tempo (s) Corrente elétrica

Leia mais

Introdução ao Cálculo Vetorial

Introdução ao Cálculo Vetorial Introdução ao Cálculo Vetorial Segmento Orientado É o segmento de reta com um sentido de orientação. Por exemplo AB onde: A : origem e B : extremidade. Pode-se ter ainda o segmento BA onde: B : origem

Leia mais

CONTEÚDOS PARA BANCA MATEMÁTICA II. EDITAL Mestres e Doutores

CONTEÚDOS PARA BANCA MATEMÁTICA II. EDITAL Mestres e Doutores CONTEÚDOS PARA BANCA MATEMÁTICA II EDITAL 07-2010 Mestres e Doutores 1- Trigonometria: identidades trigonométricas e funções circulares; a) Defina função periódica e encontre o período das funções circulares,

Leia mais

PROPOSTA DE RESOLUÇÃO DA PROVA DE MATEMÁTICA A DO ENSINO SECUNDÁRIO (CÓDIGO DA PROVA 635) 2ª FASE 20 DE JULHO 2018 CADERNO 1

PROPOSTA DE RESOLUÇÃO DA PROVA DE MATEMÁTICA A DO ENSINO SECUNDÁRIO (CÓDIGO DA PROVA 635) 2ª FASE 20 DE JULHO 2018 CADERNO 1 PROPOSTA DE RESOLUÇÃO DA PROVA DE MATEMÁTICA A DO ENSINO SECUNDÁRIO (CÓDIGO DA PROVA 635) ª FASE 0 DE JULHO 08 CADERNO... P00/00 Como se trata de uma distribuição normal temos que: ( ) 0,9545. P µ σ

Leia mais

1Q1. Considere o ponto A = (1, 2, 3), a reta r : x+1

1Q1. Considere o ponto A = (1, 2, 3), a reta r : x+1 Com exceção da Questão 15, em todas as questões da prova considera-se fixado um sistema de coordenadas Σ = (O, E), onde E é uma base ortonormal positiva. 1Q1. Considere o ponto A = (1, 2, 3), a reta r

Leia mais

DISTRIBUIÇÃO DOS DOMÍNIOS POR PERÍODO

DISTRIBUIÇÃO DOS DOMÍNIOS POR PERÍODO DEPARTAMENTO DE MATEMÁTICA E CIÊNCIAS EXPERIMENTAIS Planificação Anual da Disciplina de Matemática 11.º ano Ano Letivo de 2016/2017 Manual adotado: Máximo 11 Matemática A 11.º ano Maria Augusta Ferreira

Leia mais

CENTRO DE CIÊNCIAS E TECNOLOGIA AGROALIMENTAR UNIDADE ACADÊMICA DE TECNOLOGIA DE ALIMENTOS DISCIPLINA: FÍSICA I ROTAÇÃO. Prof.

CENTRO DE CIÊNCIAS E TECNOLOGIA AGROALIMENTAR UNIDADE ACADÊMICA DE TECNOLOGIA DE ALIMENTOS DISCIPLINA: FÍSICA I ROTAÇÃO. Prof. CENTRO DE CIÊNCIAS E TECNOLOGIA AGROALIMENTAR UNIDADE ACADÊMICA DE TECNOLOGIA DE ALIMENTOS DISCIPLINA: FÍSICA I ROTAÇÃO Prof. Bruno Farias Introdução Neste capítulo vamos aprender: Como descrever a rotação

Leia mais

UNIVERSIDADE SANTA CECÍLIA PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA MECÂNICA MESTRADO EM ENGENHARIA MECÂNICA VANDER CELIO NUNES

UNIVERSIDADE SANTA CECÍLIA PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA MECÂNICA MESTRADO EM ENGENHARIA MECÂNICA VANDER CELIO NUNES UNIVERSIDADE SANTA CECÍLIA PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA MECÂNICA MESTRADO EM ENGENHARIA MECÂNICA VANDER CELIO NUNES APLICAÇÃO DA LÓGICA PARACONSISTENTE ANOTADA DE ANOTAÇÃO COM DOIS VALORES -

Leia mais

GEOMETRIA ANALÍTICA CONTEÚDOS. Distância entre pontos Equação da reta Distância ponto reta Coeficientes Equação da circunferência.

GEOMETRIA ANALÍTICA CONTEÚDOS. Distância entre pontos Equação da reta Distância ponto reta Coeficientes Equação da circunferência. GEOMETRIA ANALÍTICA CONTEÚDOS Distância entre pontos Equação da reta Distância ponto reta Coeficientes Equação da circunferência. AMPLIANDO SEUS CONHECIMENTOS Neste capítulo, estudaremos a Geometria Analítica.

Leia mais

Capítulo 2 Vetores. 1 Grandezas Escalares e Vetoriais

Capítulo 2 Vetores. 1 Grandezas Escalares e Vetoriais Capítulo 2 Vetores 1 Grandezas Escalares e Vetoriais Eistem dois tipos de grandezas: as escalares e as vetoriais. As grandezas escalares são aquelas que ficam definidas por apenas um número real, acompanhado

Leia mais

3ª série do Ensino Médio Turma 1º Bimestre de 2017 Data / / Escola Aluno

3ª série do Ensino Médio Turma 1º Bimestre de 2017 Data / / Escola Aluno AVALIAÇÃO DA APRENDIZAGEM EM PROCESSO Matemática 3ª série do Ensino Médio Turma 1º Bimestre de 2017 Data / / Escola Aluno EM 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 Avaliação da Aprendizagem em Processo

Leia mais

Figura 9.1: Corpo que pode ser simplificado pelo estado plano de tensões (a), estado de tensões no interior do corpo (b).

Figura 9.1: Corpo que pode ser simplificado pelo estado plano de tensões (a), estado de tensões no interior do corpo (b). 9 ESTADO PLANO DE TENSÕES E DEFORMAÇÕES As tensões e deformações em um ponto, no interior de um corpo no espaço tridimensional referenciado por um sistema cartesiano de coordenadas, consistem de três componentes

Leia mais

PROPOSTA DE RESOLUÇÃO DA PROVA DE MATEMÁTICA A DO ENSINO SECUNDÁRIO (CÓDIGO DA PROVA 635) 1ª FASE 23 DE JUNHO 2017 GRUPO I

PROPOSTA DE RESOLUÇÃO DA PROVA DE MATEMÁTICA A DO ENSINO SECUNDÁRIO (CÓDIGO DA PROVA 635) 1ª FASE 23 DE JUNHO 2017 GRUPO I Associação de Professores de Matemática Contactos: Rua Dr. João Couto, n.º 7-A 500-36 Lisboa Tel.: +35 76 36 90 / 7 03 77 Fax: +35 76 64 4 http://www.apm.pt email: geral@apm.pt PROPOSTA DE RESOLUÇÃO DA

Leia mais

3ª Igor/ Eduardo. Competência Objeto de aprendizagem Habilidade

3ª Igor/ Eduardo. Competência Objeto de aprendizagem Habilidade Matemática 3ª Igor/ Eduardo 9º Ano E.F. Competência Objeto de aprendizagem Habilidade C3 - Espaço e forma Números racionais. Números irracionais. Números reais. Relações métricas nos triângulos retângulos.

Leia mais

Capítulo 6 EXEMPLOS DE APLICAÇÃO

Capítulo 6 EXEMPLOS DE APLICAÇÃO Capítulo 6 EXEMPLOS DE APLICAÇÃO 6.1 Decisão Sobre a Abertura de um Novo Curso Superior por uma Instituição de Ensino 26 Como primeiro exemplo, será estudada a aplicação do processo de auxílio às tomadas

Leia mais

Universidade Tecnológica Federal do Paraná Câmpus Campo Mourão Departamento de Matemática

Universidade Tecnológica Federal do Paraná Câmpus Campo Mourão Departamento de Matemática Universidade Tecnológica Federal do Paraná Câmpus Campo Mourão Departamento de Matemática GA3X1 - Geometria Analítica e Álgebra Linear Lista de Exercícios: Estudo Analítico de Retas e Planos Prof. Lilian

Leia mais

PROPOSTA DE RESOLUÇÃO DA PROVA DE MATEMÁTICA A DO ENSINO SECUNDÁRIO (CÓDIGO DA PROVA 635) 2ª FASE 20 DE JULHO 2018 CADERNO 1

PROPOSTA DE RESOLUÇÃO DA PROVA DE MATEMÁTICA A DO ENSINO SECUNDÁRIO (CÓDIGO DA PROVA 635) 2ª FASE 20 DE JULHO 2018 CADERNO 1 Associação de Professores de Matemática Contactos: Rua Dr. João Couto, n.º 7-A 500-36 Lisboa Tel.: +35 76 36 90 / 7 03 77 Fax: +35 76 64 4 http://www.apm.pt email: geral@apm.pt PROPOSTA DE RESOLUÇÃO DA

Leia mais

STRUCTURAL DECISION SUPPORT IN MINING EXCAVATIONS ARC EFFECT APPLYING PARACONSISTENT LOGIC ANNOTATED WITH TWO VALUES IN COMPUTATIONAL ENGINEERING

STRUCTURAL DECISION SUPPORT IN MINING EXCAVATIONS ARC EFFECT APPLYING PARACONSISTENT LOGIC ANNOTATED WITH TWO VALUES IN COMPUTATIONAL ENGINEERING Blucher Mechanical Engineering Proceedings May 2014, vol. 1, num. 1 www.proceedings.blucher.com.br/evento/10wccm STRUCTURAL DECISION SUPPORT IN MINING EXCAVATIONS ARC EFFECT APPLYING PARACONSISTENT LOGIC

Leia mais

Álgebra Linear I - Lista 7. Respostas

Álgebra Linear I - Lista 7. Respostas Álgebra Linear I - Lista 7 Distâncias Respostas 1) Considere a reta r que passa por (1,0,1) e por (0,1,1). Calcule a distância do ponto (2,1,2) à reta r. Resposta: 3. 2) Ache o ponto P do conjunto { (x,

Leia mais

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO DEPARTAMENTO DE CIENCIAS NATURAIS EXPERIMENTO 2: EQUILÍBRIO ENTRE CORPOS NUM PLANO INCLINADO COM ATRITO

UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO DEPARTAMENTO DE CIENCIAS NATURAIS EXPERIMENTO 2: EQUILÍBRIO ENTRE CORPOS NUM PLANO INCLINADO COM ATRITO UNIVERSIDADE FEDERAL DO ESPÍRITO SANTO DEPARTAMENTO DE CIENCIAS NATURAIS EXPERIMENTO 2: EQUILÍBRIO ENTRE CORPOS NUM PLANO INCLINADO COM ATRITO Gabriel Lourena Néia OLIVEIRA; João Paulo PESSI; Luiza Alves

Leia mais

Mecânica Quântica: uma abordagem (quase) conceitual

Mecânica Quântica: uma abordagem (quase) conceitual Mecânica Quântica: uma abordagem (quase) conceitual Carlos Eduardo Aguiar Programa de Pós-Graduação em Ensino de Física Instituto de Física - UFRJ IF-UFRJ, fevereiro de 04 Sumário Dificuldades na aprendizagem

Leia mais

Problemas de Duas Partículas

Problemas de Duas Partículas Problemas de Duas Partículas Química Quântica Prof a. Dr a. Carla Dalmolin Massa reduzida Rotor Rígido Problemas de Duas Partículas Partícula 1: coordenadas x 1, y 1, z 1 Partícula 2: coordenadas x 2,

Leia mais

Física Geral Grandezas

Física Geral Grandezas Física Geral Grandezas Grandezas físicas possuem um valor numérico e significado físico. O valor numérico é um múltiplo de um padrão tomado como unidade. Comprimento (m) Massa (kg) Tempo (s) Corrente elétrica

Leia mais

QUESTÃO 03. QUESTÃO 02. QUESTÃO 04. Questões de Física: QUESTÃO 01.

QUESTÃO 03. QUESTÃO 02. QUESTÃO 04. Questões de Física: QUESTÃO 01. QUESTÃO 03. Analise o circuito elétrico e as afirmações que seguem. Leia as questões deste Simulado e, em seguida, responda-as preenchendo os parênteses com V (verdadeiro), F (falso) ou B (branco). Questões

Leia mais

CURSO INTRODUTÓRIO DE MATEMÁTICA PARA ENGENHARIA Vetores. Mateus Barros 3º Período Engenharia Civil

CURSO INTRODUTÓRIO DE MATEMÁTICA PARA ENGENHARIA Vetores. Mateus Barros 3º Período Engenharia Civil CURSO INTRODUTÓRIO DE MATEMÁTICA PARA ENGENHARIA 2018.1 Vetores Mateus Barros 3º Período Engenharia Civil Definição O que é um vetor? Um vetor é um segmento de reta orientado, que representa uma grandeza

Leia mais

Áreas de atuação da Biomecânica. Métodos de análise : quantitativo e qualitativo

Áreas de atuação da Biomecânica. Métodos de análise : quantitativo e qualitativo Aula 3: cinemática Relembrando... Áreas de atuação da Biomecânica Métodos de análise : quantitativo e qualitativo Modelos Biomecânicos Aula 3: cinemática Cinemática Análise 2D/ 3D Vetor Operações vetoriais

Leia mais

6.2 Análise da Viabilidade do Lançamento de um Produto 27

6.2 Análise da Viabilidade do Lançamento de um Produto 27 159 6.2 Análise da Viabilidade do Lançamento de um Produto 27 Neste caso, o MAB será aplicado em um problema com o qual, constantemente, se deparam os profissionais de marketing: estudar a viabilidade

Leia mais

UM CLASSIFICADOR DE SINAIS PROJETADO COM PRINCÍPIOS DAS REDES NEURAIS ARTIFICIAIS PARACONSISTENTES

UM CLASSIFICADOR DE SINAIS PROJETADO COM PRINCÍPIOS DAS REDES NEURAIS ARTIFICIAIS PARACONSISTENTES UM CLASSIFICADOR DE SINAIS PROJETADO COM PRINCÍPIOS DAS REDES NEURAIS ARTIFICIAIS PARACONSISTENTES Maurício Conceição Mário 1 e João Inácio da Silva Filho 2 Resumo - Neste artigo, com base nos conceitos

Leia mais

Material Teórico - Módulo: Vetores em R 2 e R 3. Módulo e Produto Escalar - Parte 1. Terceiro Ano - Médio

Material Teórico - Módulo: Vetores em R 2 e R 3. Módulo e Produto Escalar - Parte 1. Terceiro Ano - Médio Material Teórico - Módulo: Vetores em R 2 e R 3 Módulo e Produto Escalar - Parte 1 Terceiro Ano - Médio Autor: Prof. Angelo Papa Neto Revisor: Prof. Antonio Caminha M. Neto 1 Módulo de um vetor O módulo

Leia mais

Walter Carnielli Grupo!de Lógica Teórica e Aplicada. CLE e IFCH- UNICAMP

Walter Carnielli Grupo!de Lógica Teórica e Aplicada. CLE e IFCH- UNICAMP Computação Quântica e Lógicas Não-Clássicas Walter Carnielli Grupo!de Lógica Teórica e Aplicada CLE e IFCH- UNICAMP. O que é a lógica quântica?!raciocinar com proposições que levam em conta as leis da

Leia mais

ROTEIRO: 1. Cap. 2 Plano Cartesiano; 2. Vetores.

ROTEIRO: 1. Cap. 2 Plano Cartesiano; 2. Vetores. ROTEIRO: 1. Cap. 2 Plano Cartesiano; 2. Vetores. Capítulo 2 Plano Cartesiano / Vetores: Plano Cartesiano Foi criado pelo matemático René Descartes, associando a geometria à álgebra. Desse modo, ele pôde

Leia mais

Coordenadas Cartesianas

Coordenadas Cartesianas 1 Coordenadas Cartesianas 1.1 O produto cartesiano Para compreender algumas notações utilizadas ao longo deste texto, é necessário entender o conceito de produto cartesiano, um produto entre conjuntos

Leia mais

Módulo de Geometria Anaĺıtica Parte 2. Circunferência. Professores Tiago Miranda e Cleber Assis

Módulo de Geometria Anaĺıtica Parte 2. Circunferência. Professores Tiago Miranda e Cleber Assis Módulo de Geometria Anaĺıtica Parte Circunferência a série E.M. Professores Tiago Miranda e Cleber Assis Geometria Analítica Parte Circunferência 1 Exercícios Introdutórios Exercício 1. Em cada item abaixo,

Leia mais

Solução

Solução Uma barra homogênea e de secção constante encontra-se apoiada pelas suas extremidades sobre o chão e contra uma parede. Determinar o ângulo máximo que a barra pode formar com o plano vertical para que

Leia mais

1 Vetores no Plano e no Espaço

1 Vetores no Plano e no Espaço 1 Vetores no Plano e no Espaço Definimos as componentes de um vetor no espaço de forma análoga a que fizemos com vetores no plano. Vamos inicialmente introduzir um sistema de coordenadas retangulares no

Leia mais

24/Abr/2014 Aula /Abr/2014 Aula 15

24/Abr/2014 Aula /Abr/2014 Aula 15 /Abr/014 Aula 15 Ondas de matéria; comprimento de onda de de Broglie. Quantização do momento angular no modelo de Bohr. Difracção e interferência. Função de onda; representação matemática do pacote de

Leia mais

(1) O vetor posição de uma partícula que se move no plano XY é dado por:

(1) O vetor posição de uma partícula que se move no plano XY é dado por: 4320195-Física Geral e Exp. para a Engenharia I - 1 a Prova - 12/04/2012 Nome: N o USP: Professor: Turma: A duração da prova é de 2 horas. Material: lápis, caneta, borracha, régua. O uso de calculadora

Leia mais

VETORES. Física. primeiro à extremidade do último vetor traçado. magnético.

VETORES. Física. primeiro à extremidade do último vetor traçado. magnético. Prof. Paulino Mourão VETORES Física MARÇO/009 ursos C 1. GRANDEZAS FÍSICAS 3. SOMA DE VETORES º E.M. Master 11/03/09 1.1. Grandezas Escalares São totalmente definidas somente por um valor numérico associado

Leia mais

TÓPICO. Fundamentos da Matemática II APLICAÇÕES NA GEOMETRIA ANALÍTICA. Licenciatura em Ciências USP/ Univesp. Gil da Costa Marques

TÓPICO. Fundamentos da Matemática II APLICAÇÕES NA GEOMETRIA ANALÍTICA. Licenciatura em Ciências USP/ Univesp. Gil da Costa Marques APLICAÇÕES NA GEOMETRIA ANALÍTICA 4 Gil da Costa Marques TÓPICO Fundamentos da Matemática II 4.1 Geometria Analítica e as Coordenadas Cartesianas 4.2 Superfícies 4.2.1 Superfícies planas 4.2.2 Superfícies

Leia mais

Matemática B Semi-Extensivo V. 3

Matemática B Semi-Extensivo V. 3 Matemática Semi-Extensivo V. Exercícios 01 (x, x; (, 1; (7, d, = d, x x x x = x + 4x + 4 + x + x + 1 = x 14x + 49 + x 4x + 4 4x = 48 x = (, 0 (1, 1; G(, ; M(, 1 (x, y = x = 1 x x = 5 = y x y 1 = 1 y x

Leia mais

Quantificadores Modulados e o Método da Semântica de Sociedades

Quantificadores Modulados e o Método da Semântica de Sociedades Trabalho apresentado no XXXV CNMAC, Natal-RN, 2014. Quantificadores Modulados e o Método da Semântica de Sociedades Luiz Henrique C. Silvestrini Departamento de Matemática, FC, UNESP 17033-360, Bauru,

Leia mais

Prova Escrita de MATEMÁTICA A - 12o Ano a Fase

Prova Escrita de MATEMÁTICA A - 12o Ano a Fase Prova Escrita de MATEMÁTICA A - o Ano 04 - a Fase Proposta de resolução GRUPO I. Usando as leis de DeMorgan, e a probabilidade do acontecimento contrário, temos que: P A B P A B P A B então P A B 0,48

Leia mais

UNIVERSIDADE SANTA CECÍLIA PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA MECÂNICA MESTRADO EM ENGENHARIA MECÂNICA WELLINGTON TULER MORAES

UNIVERSIDADE SANTA CECÍLIA PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA MECÂNICA MESTRADO EM ENGENHARIA MECÂNICA WELLINGTON TULER MORAES UNIVERSIDADE SANTA CECÍLIA PROGRAMA DE PÓS-GRADUAÇÃO EM ENGENHARIA MECÂNICA MESTRADO EM ENGENHARIA MECÂNICA WELLINGTON TULER MORAES MODELO PARA AUXILIAR A IDENTIFICAÇÃO DE CÓDIGO NUMÉRICO UTILIZANDO A

Leia mais

CURSO E COLÉGIO OBJETIVO TREINO PARA PROVA DE FÍSICA PROF. Peixinho 1 o Ano E.M. 2 o Bimestre-2010

CURSO E COLÉGIO OBJETIVO TREINO PARA PROVA DE FÍSICA PROF. Peixinho 1 o Ano E.M. 2 o Bimestre-2010 VETORES 1 1. (G1) Observe a figura a seguir e determine quais as flechas que: a) tem a mesma direção. b) tem o mesmo sentido. c) tem o mesmo comprimento. d) são iguais. 2. (G1) Quantos sentidos possui

Leia mais

Uma pequena introdução à álgebra para mecânica

Uma pequena introdução à álgebra para mecânica Technical Report Uma pequena introdução à álgebra para mecânica quântica Prof. Dr. João Cândido Lima Dovicchi 1 Florianópolis SC 2014 1 Prof. Associado do Departamento de Informática e Estatística da Universidade

Leia mais

ASPECTOS DE COMPUTAÇÃO INTELIGENTE PARACONSISTENTE

ASPECTOS DE COMPUTAÇÃO INTELIGENTE PARACONSISTENTE ASPECTOS DE COMPUTAÇÃO INTELIGENTE PARACONSISTENTE JAIR MINORO ABE Instituto de Estudos Avançados da Universidade de São Paulo INSTITUTO DE ESTUDOS AVANÇADOS DA USP 2013 ASPECTOS DE COMPUTAÇÃO INTELIGENTE

Leia mais

MATEMÁTICA A - 12o Ano N o s Complexos - Conjuntos e condições Propostas de resolução

MATEMÁTICA A - 12o Ano N o s Complexos - Conjuntos e condições Propostas de resolução MATEMÁTICA A - o Ano N o s Complexos - Conjuntos e condições Propostas de resolução Exercícios de exames e testes intermédios. Escrevendo i na f.t. temos i i = ρ cis α, onde: ρ = i i = + ) = tg α = = ;

Leia mais

Em matemática definimos e estudamos conjuntos de números, pontos, retas curvas, funções etc.

Em matemática definimos e estudamos conjuntos de números, pontos, retas curvas, funções etc. INTRODUÇÃO Curso de Geometria Analítica Abrangência: Graduação em Engenharia e Matemática Professor Responsável: Anastassios H. Kambourakis Resumo Teórico 02 - Introdução, Plano Cartesiano, Pontos e Retas

Leia mais

TEMA TÓPICOS OBJETIVOS ESPECÍFICOS AVALIAÇÃO* Lei dos senos e lei dos cossenos. Extensão da definição das razões trigonométricas aos

TEMA TÓPICOS OBJETIVOS ESPECÍFICOS AVALIAÇÃO* Lei dos senos e lei dos cossenos. Extensão da definição das razões trigonométricas aos AGRUPAMENTO DE ESCOLAS DR. VIEIRA DE CARVALHO Escola Básica e Secundária Dr. Vieira de Carvalho Departamento de Matemática e Ciências Experimentais Planificação Anual de Matemática A 11º ano Ano Letivo

Leia mais

Aula 4: Gráficos lineares

Aula 4: Gráficos lineares Aula 4: Gráficos lineares 1 Introdução Um gráfico é uma curva que mostra a relação entre duas variáveis medidas. Quando, em um fenômeno físico, duas grandezas estão relacionadas entre si o gráfico dá uma

Leia mais

Exercícios de exames e provas oficiais

Exercícios de exames e provas oficiais mata Exercícios de exames e provas oficiais. Na figura, está representado, no plano complexo, um quadrado cujo centro coincide com a origem e em que cada lado é paralelo a um eixo. Os vértices deste quadrado

Leia mais

carga do fio: Q. r = r p r q figura 1

carga do fio: Q. r = r p r q figura 1 Uma carga Q está distribuída uniformemente ao longo de um fio reto de comprimento infinito. Determinar o vetor campo elétrico nos pontos situados sobre uma reta perpendicular ao fio. Dados do problema

Leia mais

Resolvendo inequações: expressões com desigualdades (encontrar os valores que satisfazem a expressão)

Resolvendo inequações: expressões com desigualdades (encontrar os valores que satisfazem a expressão) R é ordenado: Se a, b, c R i) a < b se e somente se b a > 0 (a diferença do maior com o menor será positiva) ii) se a > 0 e b > 0 então a + b > 0 (a soma de dois números positivos é positiva) iii) se a

Leia mais

Olimpíada Brasileira de Física 2006

Olimpíada Brasileira de Física 2006 Olimpíada rasileira de Física 2006 Gabarito - Segunda Fase Terceira Série Questão 01-3a série (6,0 pontos) G α Fa Fy 1,5m 1,5m P Fx a) trabalho realizado pelo pintor i) O estudante deve saber que o trabalho

Leia mais

Geometria Analítica - AFA

Geometria Analítica - AFA Geometria Analítica - AFA x = v + (AFA) Considerando no plano cartesiano ortogonal as retas r, s e t, tais que (r) :, (s) : mx + y + m = 0 e (t) : x = 0, y = v analise as proposições abaixo, classificando-

Leia mais

a) Triângulo retângulo: É o triângulo que possui um ângulo reto (90 ).

a) Triângulo retângulo: É o triângulo que possui um ângulo reto (90 ). Geometria Analítica Módulo 1 Revisão de funções trigonométricas, Vetores: Definições e aplicações Módulo, direção e sentido. Igualdades entre vetores 1. Revisão de funções trigonométricas a) Triângulo

Leia mais

Exemplo Aplicando a proporcionalidade existente no Teorema de Tales, determine o valor dos segmentos AB e BC na ilustração a seguir:

Exemplo Aplicando a proporcionalidade existente no Teorema de Tales, determine o valor dos segmentos AB e BC na ilustração a seguir: GEOMETRIA PLANA TEOREMA DE TALES O Teorema de Tales pode ser determinado pela seguinte lei de correspondência: Se duas retas transversais são cortadas por um feixe de retas paralelas, então a razão entre

Leia mais

APÊNDICE I Alguns procedimentos de obtenção do centro de gravidade de. figuras planas

APÊNDICE I Alguns procedimentos de obtenção do centro de gravidade de. figuras planas 245 APÊNDICE I Alguns procedimentos de obtenção do centro de gravidade de figuras planas 1. Demonstração da localização do centro de gravidade de um paralelogramo por Arquimedes (287-212 a.c) Arquimedes

Leia mais

1º S I M U L A D O - ITA IME - M A T E M Á T I C A

1º S I M U L A D O - ITA IME - M A T E M Á T I C A Professor: Judson Santos / Luciano Santos Aluno(a): nº Data: / /0 º S I M U L A D O - ITA IME - M A T E M Á T I C A - 0 0) Seja N o conjunto dos inteiros positivos. Dados os conjuntos A = {p N; p é primo}

Leia mais

Partícula na Caixa. Química Quântica Prof a. Dr a. Carla Dalmolin

Partícula na Caixa. Química Quântica Prof a. Dr a. Carla Dalmolin Partícula na Caixa Química Quântica Prof a. Dr a. Carla Dalmolin Caixa unidimensional Caixa tridimensional Degenerescência Partícula no anel (mov. de rotação) Partícula na Caixa Partícula numa caixa unidimensional

Leia mais

CENTRO DE CIÊNCIAS E TECNOLOGIA AGROALIMENTAR UNIDADE ACADÊMICA DE TECNOLOGIA DE ALIMENTOS DISCIPLINA: FÍSICA I ROTAÇÃO. Prof.

CENTRO DE CIÊNCIAS E TECNOLOGIA AGROALIMENTAR UNIDADE ACADÊMICA DE TECNOLOGIA DE ALIMENTOS DISCIPLINA: FÍSICA I ROTAÇÃO. Prof. CENTRO DE CIÊNCIAS E TECNOLOGIA AGROALIMENTAR UNIDADE ACADÊMICA DE TECNOLOGIA DE ALIMENTOS DISCIPLINA: FÍSICA I ROTAÇÃO Prof. Bruno Farias Introdução Neste capítulo vamos aprender: Como descrever a rotação

Leia mais

Matemática GEOMETRIA PLANA. Professor Dudan

Matemática GEOMETRIA PLANA. Professor Dudan Matemática GEOMETRIA PLANA Professor Dudan Ângulos Geometria Plana Ângulo é a região de um plano concebida pelo encontro de duas semirretas que possuem uma origem em comum, chamada vértice do ângulo. A

Leia mais

ESTUDO DA LÓGICA PARACONSISTENTE ANOTADA COM ANOTAÇÃO DE 2 VALORES (LPA2v) EM CONTROLE DE SISTEMAS

ESTUDO DA LÓGICA PARACONSISTENTE ANOTADA COM ANOTAÇÃO DE 2 VALORES (LPA2v) EM CONTROLE DE SISTEMAS ESTUDO DA LÓGICA PARACONSISTENTE ANOTADA COM ANOTAÇÃO DE 2 VALORES (LPA2v) EM CONTROLE DE SISTEMAS Gabriel Furlan 1, Aron Andrade 2, Jeison Fonseca 2, José Pereira 1, Victor Freitas Souto 1, Tarcísio Leão

Leia mais

Solução

Solução Uma barra homogênea e de secção constante encontra-se apoiada pelas suas extremidades sobre o chão e contra uma parede. Determinar o ângulo máximo que a barra pode formar com o plano vertical para que

Leia mais