Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Errores de redondeo
Solucin:
a) La distancia pedida ser z (-z) = 2z = 2(0.d1d2....ds)10e.
b) Siendo w el nmero mquina inmediatamente superior al que es
inmediatamente superior al inmediatamente superior a z, suponiendo que los
exponentes de z y de w sean el mismo, se tiene que:
w = 0.d1d2....ds-1ds10e + 0.00...0310e
Por tanto, en ese caso w z = 310e-s. Obsrvese que para que el exponente
de w y de z sean el mismo la mantisa de z debe ser inferior a 0.99...97.
En el caso en que z sea un nmero de la forma z = 0.99....9710e =
99....97 10e-s el nmero mquina siguiente sera z1 = 0.99....9810e =
99...9810e-s , el siguiente a l z2 = 0.99...9910e = 99...9910e-s y el nmero
mquina siguiente a z2 ser w= 0.10...0010e+1 = 100....0010e-s. Por tanto en
este caso tambin la distancia pedida es w z = 310e-s
En el caso en que z sea un nmero de la forma z = 0.99....9810e =
99....98 10e-s el nmero mquina siguiente sera z1 = 0.99....9910e =
99...9910e-s , el siguiente a l z2 = 0.10...0010e+1 = 100...010e-s y el nmero
mquina siguiente a z2 ser w= 0.10...0110e+1 = 100....1010e-s. Por tanto en
este caso la distancia pedida es w z = (100...10 99...98)10e-s = 1210e-s.
1
310e- s
1210e- s
e- s
2110
z = 0.99....9810e
z = 0.99....9910e
3) Cuntos nmeros mquina del sistema F(4, -10, 10, 10) son
estrictamente mayores que 103 y estrictamente inferiores que 1237?.
Solucin:
El nmero 103 en el sistema de nmeros mquina se representa por: z =
0.103103. Estrictamente mayores que l pero con el mismo exponente
existirn los nmeros mquina 0.104103, 0.105103, 0.106103, ....., 0.999103.
Es decir 896 nmeros.
Por otra parte el nmero mquina que aproxima a 1237 ser 0.123104 (si se
acta por truncado) o 0.124104 si se procede mediante redondeo. En todo
caso el mayor nmero mquina estrictamente inferior a 1237 es 0.123104. Con
exponente igual a 4 y que sean menores o iguales que 0.123104 se tienen los
nmeros mquina 0.100104, 0.101104 , 0.102104 , ...., 0.122104 y 0.123104.
Es decir 24 nmeros mquina.
En resumen se tienen 896 + 24 = 920 nmeros mquina del sistema F(4, -10,
10, 10) estrictamente superiores a 103 y estrictamente inferiores a 1237.
4) Cuantos nmeros mquina del sistema F(5, -10, 10, 10) son
estrictamente mayores que 23 y menores que 8429?.
Solucin:
El nmero real 23 se representa en el sistema F(5, -10, 10, 10) por el nmero
mquina z = -0.2300102. Sern mayores que l todos aquellos nmeros
mquina negativos con exponente igual a 2 en los que, independientemente del
valor de sus dos ltimos dgitos decimales de la mantisa, el primer dgito sea un
2 y el segundo un 0, un 1 o un 2 (es decir 10103 = 300 nmeros) o en los que
sus tres ltimos dgitos decimales tomen el valor que sea y el primer dgito sea
igual a 1 (es decir 101010 = 1000 nmeros).
Asimismo sern superiores a 23 todos aquellos nmeros mquina negativos
con exponentes inferiores a 2, es decir con exponentes 1, 0, -1, -2, ..., -10. Ello
proporciona otros 129101010 = 108000 nmeros mquina adicionales.
En resumen, en el sistema F(5, -10, 10, 10) habr 109300 nmeros mquina
negativos estrictamente superiores a 23.
A ellos debe aadirse el nmero 0 y los nmeros positivos estrictamente
inferiores a 8429 = 0.8429104. Estos sern:
s = -1 -
ln(0.001953125)
=8
ln(2)
Por tanto el sistema de nmeros mquina utilizado emplea 8 bits para los decimales de
la mantisa.
Por otra parte, el mayor exponente que puede utilizarse en este sistema de nmeros
mquina ser, en binario, el nmero:
que, en base 10, es:
M2 = + 1111
M = 23 + 22 + 21 + 20 = 24 1 = 15
= (20 + 2-1 + 2-2 + 2-3 + 2-4 + 2-5 + 2-6 + 2-7 + 2-8 ) 215 =
= (28 + 27 + 26 + 25 + 24 + 23 + 22 + 21 + 20 ) 27 =
= (29 1) 27 = 65408
El nmero de overflow ser el primer nmero positivo que no puede ser aproximado por
este nmero mquina N. Como se est actuando mediante la tcnica de redondeo tal
nmero ser:
Noverflow = (1.111111111)2 215 =
= (20 + 2-1 + 2-2 + 2-3 + 2-4 + 2-5 + 2-6 + 2-7 + 2-8 + 2-9 ) 215 =
= (29 + 28 + 27 + 26 + 25 + 24 + 23 + 22 + 21 + 20 ) 26 =
= (210 1) 26 = 65472
3
3
3
x1 = 1 + ( y1 + ) = y2 + .
2
2
2
4
4
3
x3 = 1 + (-1)3 x2 = 1 - ( y2 + ) = y3 - 2
3
3
2
5
5
5
x4 = 1 + (-1)4 x3 = 1 + ( y3 - 2) = y4 -
4
4
2
6
6
5
x5 = 1 + (-1)5 x4 = 1 - ( y4 - ) = y5 + 3
5
5
2
x2 = 1 + (-1)2
............
6
Los clculos anteriores parecen indicar que el valor absoluto del error absoluto responde
a la expresin:
i +1
xi yi =
2
Ms concretamente, si se observa que el signo del error absoluto cambia cada dos
elementos se podra escribir que el error absoluto parece comportarse segn la
siguiente ley:
x 2i1 y 2i1 = ( 1)(i+1) i
2i + 1 (i = 1,2,3,....)
x 2i y 2i = ( 1)(i+1)
2i + 1
2i + 1
x2i-1 = 1 +
(y2i-1 +(-1)(i+1) i) =
2i
2i
= y2i + (-1)(i+1)
(2i + 1)i
(2i + 1)
= y2i +(-1)(i+1)
2i
2
por lo que:
x 2i y 2i = ( 1)(i+1)
2i + 1
Supongamos entonces que para un determinado ndice par, 2i, se verifica que:
x 2i y 2i = ( 1)(i+1)
2i + 1
2i + 2
2i + 2
2i + 1
x2i = 1 (y2i +(-1)(i+1)
) =
2i + 1
2i + 1
2
(2i + 2)(2i + 1)
= y2i+1 +(-1)(i+2)(i+1) =
(2i + 1)2
por lo que si consideramos que 2i+1 = 2(i+1) 1 podemos escribir que:
= y2i+1 +(-1)(i+2)
obtenido, 0.d1(i +1) d (i2 +1) .d 3(i +1) ....d (im+1) para el clculo de posteriores dgitos binarios. Si
0.d1(i +1) d (i2 +1) .d 3(i +1) ....d (im+1) tuviera sus m decimales iguales a 0 ya no habra ms decimales
significativos en la parte decimal de (a)2. Y si no fuesen nulos se continuara el proceso.
Pero m dgitos decimales se pueden combinar slo de 10m formas distintas (en el
ejemplo, con 3 decimales slo podemos formar 1000 nmeros diferentes 0.000, 0.001,
0.002, ...., 0.998, 0.999- ). Por tanto, antes o despus uno de los nmeros
) (k )
(k )
0.d1(k ) d (k
2 .d 3 ....d m que se obtengan o bien ser nulo o bien coincidir con otro nmero
(i)
(i)
0.d1(i) d (i)
2 .d 3 ....d m previamente calculado. En el primer caso (a)2 tendr un nmero finito
(k) decimales. En el segundo caso la expresin de la parte decimal de (a)2 tendr una
periodicidad a partir del i-simo dgito (repitindose peridicamente los dgitos
bibi+1...bk).
10
los nmeros mquina del sistema. Como en dicho caso no tiene mayor sentido hablar de
error de redondeo en la operacin pues la operacin no puede ser realizada, puede
considerarse que la afirmacin es correcta.
11