• Sonuç bulunamadı

Ahiret ile Ġlgili Mevzularda ÇeliĢir Gibi Görünen Ayetlerin Yorumu

3. ĠBN ÂġÛR’UN MÜġKĠL ADDEDĠLEN AYETLERE DAĠR YORUMLARI

3.2. Ahiret ile Ġlgili Mevzularda ÇeliĢir Gibi Görünen Ayetlerin Yorumu

O c´alculo dos parˆametros do Analisador de Novidade ´e realizado apresentando o con- junto de levantamento `a m´aquina para a qual se quer calcular os parˆametros. Para que a m´aquina consiga realizar a an´alise das corridas, ´e necess´ario que ela possua um conjunto inicial de parˆametros. Esse conjunto inicial tamb´em determina os limites m´ınimos ou m´a- ximos para cada um dos parˆametros calculados. Essa defini¸c˜ao de limites funciona como uma maneira do administrador do sistema interferir no c´alculo dos parˆametros, caso ele desconfie que os parˆametros calculados gerar˜ao muitos alarmes falsos, baseando-se na sua experiˆencia operacional para isso.

A escolha dos parˆametros iniciais da m´aquina ´e de vital importˆancia para a realiza¸c˜ao do levantamento dos parˆametros. Parˆametros iniciais muito restritivos podem fazer com que o sistema n˜ao alarme em alguns dos agarramentos, n˜ao detectando-os. Por outro lado, parˆametros muito abrangentes fazem com que a m´aquina alarme facilmente, podendo vir a trazer problemas caso o instante de in´ıcio do agarramento n˜ao tenha sido bem definido. Durante o levantamento dos parˆametros, a m´aquina analisa somente o per´ıodo que vai do instante de in´ıcio do agarramento (t0) menos o tamanho dos buffers de comportamento

(k), chamado de instante inicial de an´alise (ta), at´e o instante m´aximo para o disparo do

alarme (talarme

3.5 Calculadora de Parˆametros 122 qualquer valor, logo, n˜ao h´a como garantir que a corrida ir´a alarmar durante o per´ıodo correspondente de agarramento. Teoricamente, o instante de in´ıcio de agarramento ´e justamente o mesmo em que o comportamento da temperatura sai do que ´e considerado normal, assim, se a an´alise come¸car na janela de comportamento imediatamente anterior ao instante de in´ıcio do agarramento, tem-se mais garantias que a m´aquina adquire o comportamento normal correto para realizar a an´alise do agarramento. Caso a m´aquina n˜ao alarme, ou seja, n˜ao detecte o agarramento, automaticamente o instante inicial de an´alise ´e deslocado para t0− k − s, onde s assume inicialmente o valor 1 e vai sendo

incrementado a cada deslocamento. Esse processo ´e repetido at´e que o alarme da m´aquina seja acionado ou at´e que o instante inicial de an´alise alcance o instante inicial m´ınimo (ta

min). Um instante inicial de an´alise muito longe de t0−k pode deixar a an´alise ineficiente

e muito demorada, pois o modelo de comportamento normal vai ficando cada vez mais longe do modelo teoricamente “ideal”; assim, o instante inicial m´ınimo deve ser definido de forma a evitar que isso ocorra. As corridas que n˜ao tiverem o alarme acionado, mesmo ap´os os deslocamentos de ta, n˜ao ser˜ao consideradas no c´alculo dos parˆametros.

Nesta primeira fase do c´alculo, a Calculadora obt´em os seguintes valores para cada corrida do conjunto de levantamento que teve o alarme acionado:

• perturba¸c˜ao m´axima do termopar superior do canal foco (τmaxT SCF(i));

• perturba¸c˜ao m´ınima depois da ocorrˆencia da temperatura m´axima do termopar superior do canal foco (τT SCF DT

min (i));

• raz˜ao m´axima de derivada antes da ocorrˆencia da temperatura m´axima do termopar superior do canal foco (γT SCF AT

max (i));

• raz˜ao m´axima de derivada depois da ocorrˆencia da temperatura m´axima do termopar superior do canal foco (γT SCF DT

max (i));

• raz˜ao m´ınima de temperatura depois da ocorrˆencia da temperatura m´axima do termopar superior do canal foco (ψT SCF DT

min (i));

onde i ´e um ´ındice atribu´ıdo `as corridas do conjunto de levantamento que tiveram o alarme acionado.

De posse desses valores, a calculadora determina os parˆametros do Analisador de Novidade conforme as equa¸c˜oes 3.51 a 3.58.

τmaxEst ´agio 1= min(τmaxT SCF)η

Est ´agio 1

τ (3.51)

τEst ´agio 2

max = min(τmaxT SCF)η

Est ´agio 2

τ (3.52)

τminnegativo= max(τminT SCF DT)ητnegativo (3.53)

γminEst ´agio 2= min(γmaxT SCF AT)ηγEst ´agio 2 (3.54)

γminEst ´agio 3= min(γmaxT SCF AT)ηγEst ´agio 3 (3.55)

γminEst ´agio 4= min(γmaxT SCF DT)ηγEst ´agio 4 (3.56)

γminEst ´agio 5= min(γmaxT SCF DT)ηγEst ´agio 5 (3.57)

ψminEst ´agio 4= max(ψminT SCF DT)η

Est ´agio 4

ψ (3.58)

Onde:

min(Z) ´e o m´ınimo valor do conjunto Z; max(Z) ´e o m´aximo valor do conjunto Z;

τmaxEst ´agio 1 ´e a m´axima perturba¸c˜ao para o est´agio 1 da curva caracter´ıstica de

agarramento;

τmaxEst ´agio 2 ´e a m´axima perturba¸c˜ao para o est´agio 2 da curva caracter´ıstica de

agarramento;

τminnegativo ´e a m´ınima perturba¸c˜ao a ser atingida no est´agio 5 da curva caracte- r´ıstica de agarramento;

γminEst ´agio 2´e a raz˜ao m´ınima da derivada no est´agio 2 da curva caracter´ıstica de agarramento;

γminEst ´agio 3´e a raz˜ao m´ınima da derivada no est´agio 3 da curva caracter´ıstica de agarramento;

3.5 Calculadora de Parˆametros 124 γminEst ´agio 4´e a raz˜ao m´ınima da derivada no est´agio 4 da curva caracter´ıstica de

agarramento;

γminEst ´agio 5´e a raz˜ao m´ınima da derivada no est´agio 5 da curva caracter´ıstica de agarramento;

ψminEst ´agio 4´e a raz˜ao m´ınima da temperatura no est´agio 4 da curva caracter´ıstica de agarramento;

ητEst ´agio 1 ´e o peso de τmaxEst ´agio 1 em rela¸c˜ao `a m´ınima perturba¸c˜ao do conjunto

τT SCF max ;

ητEst ´agio 2 ´e o peso de τmaxEst ´agio 2 em rela¸c˜ao `a m´ınima perturba¸c˜ao do conjunto

τT SCF max ;

ητnegativo ´e o peso de τminnegativo em rela¸c˜ao `a m´axima perturba¸c˜ao dentre o con-

junto τT SCF DT

min ;

ηγEst ´agio 2 ´e o peso de γminEst ´agio 2 em rela¸c˜ao `a m´ınima raz˜ao de derivada do

conjunto γT SCF AT

max ;

ηγEst ´agio 3 ´e o peso de γminEst ´agio 3 em rela¸c˜ao `a m´ınima raz˜ao de derivada do

conjunto γmaxT SCF AT;

ηγEst ´agio 4 ´e o peso de γminEst ´agio 4 em rela¸c˜ao `a m´ınima raz˜ao de derivada do

conjunto γT SCF DT

max ;

ηγEst ´agio 5 ´e o peso de γminEst ´agio 5 em rela¸c˜ao `a m´ınima raz˜ao de derivada do

conjunto γmaxT SCF DT;

ηψEst ´agio 4 ´e o peso de ψminEst ´agio 4 em rela¸c˜ao `a m´axima raz˜ao de temperatura do

conjunto ψT SCF DT

min .

Todos os pesos η descritos anteriormente devem ser configurados manualmente pelo administrador do sistema, dependendo do objetivo de obter um sistema mais restritivo (com menor n´umero de alarmes falsos, mas com maior possibilidade de n˜ao detectar um agarramento) ou um sistema mais abrangente (com maior n´umero de alarmes falsos, mas com menor possibilidade de n˜ao detectar um agarramento). Apesar de ter que configurar manualmente esses pesos, eles representam um avan¸co em rela¸c˜ao `a configura¸c˜ao manual dos parˆametros, pois s˜ao relativamente independentes do conjunto de levantamento e, por se apresentarem em forma de raz˜ao, abstraem o administrador de ter que trabalhar com os valores brutos dos parˆametros.

Ao determinar os pesos η, o administrador deve ter em mente as seguintes restri¸c˜oes:

• 0 < ητnegativo≤ 1;

• 1 ≥ ηγEst ´agio 2> ηγEst ´agio 3> 0, pois γminEst ´agio 2> γ

Est ´agio 3

min ;

• 0 < ηγEst ´agio 4< ηγEst ´agio 5≤ 1, pois γminEst ´agio 4< γ

Est ´agio 5

min ;

• ηψEst ´agio 4> 1, pois o conjunto de ψminT SCF DT pode ter valores de ψ do est´agio 5 da

curva caracter´ıstica de agarramento.

No caso dos parˆametros τminnegativo e ψminEst ´agio 4, se os valores definidos pelos parˆametros iniciais forem menores do que os calculados, prevalecem os valores dos parˆametros iniciais. Para os outros parˆametros, se os valores definidos pelos parˆametros iniciais forem maiores do que os calculados, prevalecem os valores dos parˆametros iniciais.

3.5.1.1 Parˆametros do Analisador de Novidade n˜ao Calculados pela Calcula- dora de Parˆametros

H´a quatro parˆametros do Analisador de Novidade que n˜ao s˜ao calculados pela Calcu- ladora de Parˆametros: ξτEst ´agio 3, ξτEst ´agio 4, n

¯ δ + min e n

¯ δ −

min. Esses parˆametros est˜ao definidos

na subse¸c˜ao 3.3.2.

Como ξτEst ´agio 3 e ξτEst ´agio 4 j´a s˜ao dados em forma de raz˜ao, n˜ao faz sentido que a Cal-

culadora de Parˆametros defina os valores deles, cabendo esta atribui¸c˜ao ao administrador do sistema.

Os valores de nδ +min¯ e nδ −min¯ influenciam diretamente a sensibilidade do Analisador de Novidade nas mudan¸cas entre os estados do autˆomato. Decidiu-se deixar a atribui¸c˜ao de valores para esses parˆametros para o administrador, pois o c´alculo delas exigiria uma an´alise mais profunda das corridas do conjunto de levantamento, o que aumentaria muito a complexidade dessa an´alise, e poderia n˜ao fornecer um resultado satisfat´orio quanto `a sensibilidade pretendida para o Analisador de Novidade.