Pres Iber 2010

Estocasticidad de un atractor catico
determinista
implementado en FPGA
L. De Micco, O. G. Zabaleta, C. M. Gonzlez , C. M. Arizmendi y H. A. Larrondo

Lab. de Componentes Electrnicos y Lab. de Mecnica Estadstica
Facultad de Ingeniera, UNMDP, Argentina.
I B E R C H I P XVI Workshop 23 a 25 de febrero 2010
2
Delineamiento
Introduccin

Implementacin

Resultados
Conclusiones
Agradecimientos

Simulacin con Simulink/Matlab
Simulacin con el software de desarrollo Quartus II
Implementacin fsica en la placa Cyclone III EP3C120
(Altera)
Generacin de ruido mediante sistemas caticos
Discretizacin de sistemas caticos continuos
Cuantificacin de estocasticidad
3
Delineamiento
Introduccin

Implementacin

Resultados
Conclusiones
Agradecimientos

(Altera)
4
Mtodo de multiplexacin por CDMA.
Mejora de la compatibilidad electromagntica en
circuitos electrnicos.
Muestreo aleatorio.
Encriptamiento.
Aplicaciones de ruidos en electrnica:
5
Secuencias de ruido

Sistemas estocsticos.
Ecuaciones alineales simples

Sistemas caticos.
Ecuaciones complejas
Las secuencias caticas son ms simples de implementar
que las estocsticas.
6
Caractersticas de los sistemas caticos:
>
Sist. continuos 3D Caos.
Sist. discretos 1D Caos.
>
Modelos deterministas simples y conocidos.
Alineales.
Evolucin temporal de sus variables tiene la apariencia de una seal
estocstica.
Gran sensibilidad a las condiciones iniciales.
Sist. continuos o discretos (mapas).
7
>
Sist. continuos 3D Caos.
Sist. discretos 1D Caos.
>
Modelos deterministas simples y conocidos.
Alineales.
Evolucin temporal de sus variables tiene la apariencia de una seal
estocstica.
Gran sensibilidad a las condiciones iniciales.
Sist. continuos o discretos (mapas).
Cmo son afectadas las propiedades estocsticas de los
sist. Continuos cuando son discretizados?
Caractersticas de los sistemas caticos:
8
Los sistemas caticos poseen dos caractersticas contrapuestas:

Son sistemas deterministas
Por tener un modelo matemtico que los describe.

Son sistemas estocsticos
Debido la sensibilidad a las condiciones iniciales que presentan, la
predictibilidad a largo plazo se pierde.
Para los cuales el anlisis se realiza por la va estadstica.

9
Los sistemas caticos poseen dos caractersticas contrapuestas:

Son sistemas deterministas
Por tener un modelo matemtico que los describe.

Son sistemas estocsticos
Debido la sensibilidad a las condiciones iniciales que presentan, la
predictibilidad a largo plazo se pierde.
Para los cuales el anlisis se realiza por la va estadstica.

Si fuera posible implementarlos con precisin infinita los sistemas
caticos seran deterministas en sentido estricto.

Esta dualidad determinista-estocstico de los sistemas
caticos los hace especialmente interesantes para la
ingeniera, dado que las seales que generan se pueden
utilizar como ruidos controlados en diversas aplicaciones.

10
En este trabajo se investiga el efecto de la
discretizacin sobre la estocasticidad del sistema
catico.

El sistema estudiado es el oscilador de Lorenz
implementado en una Field Programmable Gate Array
(FPGA).

La determinacin del grado de estocasticidad tiene
por objeto proporcionar una metodologa de diseo
optimizada para el uso que se pretenda dar al sistema
catico.
11
Delineamiento
Introduccin

Implementacin

Resultados
Conclusiones
Agradecimientos

(Altera)
12
En una implementacin real tanto el tiempo como los propios valores de las
seales son discretos.

La discretizacin del tiempo: Algoritmo reemplaza las ecuaciones diferenciales
tericas que modelan el sistema.
Algoritmos:
1) Euler de primer orden: es el ms simple, las derivadas son directamente
reemplazadas por incrementos finitos.
2) Runge-Kutta de orden 4 o mayor, algoritmos de paso variable: permiten un sistema
discreto ms cercano al sistema continuo , son ms elaborados, utilizan ms recursos.

13

Algoritmos:

La discretizacin en amplitud: equivale a definir un alfabeto finito y convertir la
serie original en una serie simblica (que en nuestro caso es tambin una
serie numrica).
As por ejemplo la representacin en aritmtica entera con n bits tiene un alfabeto de 2n
smbolos y una representacin punto flotante tiene un alfabeto que depende del
estndar adoptado.
Aritmtica:
1) Entera, 16 bits, 32 bits, etc.
2) Punto flotante: Standard IEEE 754 precisin simple, precisin doble, etc.
14

Algoritmos:

La discretizacin en amplitud: equivale a definir un alfabeto finito y convertir la
serie original en una serie simblica (que en nuestro caso es tambin una
serie numrica).
As por ejemplo la representacin en aritmtica entera con n bits tiene un alfabeto de 2
n

smbolos y una representacin punto flotante tiene un alfabeto que depende del
estndar adoptado.
Aritmtica:
1) Entera, 16 bits, 32 bits, etc.
2) Punto flotante: Standard IEEE 754 precisin simple, precisin doble, etc.
15
El sistema dinmico de Lorenz est definido por las siguientes ecuaciones
diferenciales ordinarias:
Donde , y son los parmetros constructivos del sistema.
Con:
el sistema presenta comportamiento catico
16
Discretizacin temporal
Aplicando el algoritmo de Euler al Sistema de Lorenz:
Algoritmos ms elaborados como el de Runge-Kutta de orden 4 o mayor,
los algoritmos de paso variable, o los de varios pasos permiten un sistema
discreto ms cercano al sistema continuo pero a un mayor costo en
recursos.
Entre los algoritmos usuales el ms simple es el mtodo de Euler de primer
orden en el que las derivadas son directamente reemplazadas por
incrementos finitos.
Donde es el paso
17
Discretizacin en amplitud - Aritmtica entera
El sistema resulta:
, en este caso son las ctes de
polarizacin
El hardware puede reducirse significativamente si se adopta una aritmtica entera y
se utilizan divisores potencia de 2. Para esto se polarizan las variables aleatorias para
emplear nmeros naturales:
usando

y la funcin floor()
18
Las operaciones aritmticas con nmeros en punto flotante:
insumen ms tiempo y
requieren un hardware ms complejo.

Por otra parte, se consigue:
alto margen dinmico y
mayor precisin.

Actualmente existen FPGAs, capaces de trabajar en punto flotante a frecuencias
muy altas, lo que disminuye considerablemente las desventajas de trabajar con
punto flotante.

31 30 23 22 0
23 bits de mantisa
8 bits de exponente bit de signo
En el estndar IEEE 754 de 32 bits:
Discretizacin en amplitud Punto flotante
(-2 * signo + 1) * 1,mantisa * 2
exponente
19
Delineamiento
Introduccin

Implementacin

Resultados
Conclusiones
Agradecimientos

(Altera)
20
Cuantificacin de estocasticidad - Cuantificadores
Hay infinitas posibilidades para asignar una PDF a una
dada secuencia de datos.
1) PDF basada en el histograma (hist):
Solo cuenta el nmero de veces en que aparece cada elemento de la serie.
No tiene en cuenta el orden temporal de los mismos.
21
Hay infinitas posibilidades para asignar una PDF a una
dada secuencia de datos.
1) PDF basada en el histograma (hist).
2) PDF de Bandt y Pompe (BP).
{ }
{ } { }
{ } { }
{ } { }
1 2
1 2 1
2 3 1 2
1
, ,...,
embedding dimension
, ,..., 1, 2,... !
, ,..., 1, 2,... !
, ,..., 1, 2,... !
N i
D
D
N D N D N N D
X x x x x R
D
x x x D
x x x D
x x x D
t
t
t
+
+
= e
e
e
e
dimensin de embedding
...
22
{ } N i p P
i
,..., 1 ; = = Caracterizan una dada PDF.

Entropa de Shannon (H)
Complejidad Estadstica (C)
] , [ ] [ ] [
e
P P Q P H P C =
] , [ ] , [
0 e e
P P D Q P P Q =
Orden erfecto
Q
LMPR
P. W. Lamberti, M. T. Martn, A. Plastino y O. A.Rosso,
Physica A 334, 119 (2004).
( )
2
) ( ) (
2
] , [
e e
e
P S P S P P
S P P D
+
+
=
Divergencia de Jensen-Shannon:
( ) | |
( ) ( )
max
1
2
/
log
S P S P H
p p P S
N
i
i i
=
=

=
) ( log
2 max
N S =
{ } N N P
e
/ 1 ,..., / 1 =
0 = S
Mxima aleatoriedad
Histograma Band y Pompe
23
Se generaron las series X, Y y Z de ms de 150000 valores de forma
de cubrir siempre la misma zona del atractor.
Con en el rango [0,003; 0,0045].
Para cada serie se calcul el valor de H y C con la PDF de Bandt y Pompe con
D=6, y se los represent en el plano entropa-complejidad (H-C)

Cuantificacin de estocasticidad - Representacin plano H-C
24
La regin accesible, que para el caso D = 6 est limitada por las
curvas puntedas en azul, puede dividirse en dos subregiones
indicadas como determinista (de baja entropa) y estocstica (de
alta entropa) respectivamente.
25
= 0,003; 0,004 y 0,0045
El incremento de produce un incremento de H y C pero el sistema se mantiene
dentro de la regin determinista. Si se intenta superar el valor = 0,0045 el
sistema deja de ser catico y alcanza un estado final con H = 0 y C = 0.
26
= 0,003; 0,004 y 0,0045
Si se intenta superar el valor = 0,0045 el sistema deja de ser catico y alcanza
un estado final con H = 0 y C = 0.
0,0045
27
Skipping de 2, 3, 5, 7, 9, 11, 20 y 23
Puede verse que, mediante esta tcnica, se obtienen secuencias cuyo punto
representativo en el plano C - H se encuentra en la regin estocstica.
= 0,0045
Skipping: Saltear valores de la serie
28
Skipping de 2, 3, 5, 7, 9, 11, 20 y 23
Puede verse que, mediante esta tcnica, se obtienen secuencias cuyo punto
representativo en el plano C - H se encuentra en la regin estocstica.
= 0,0045
Entran en
zona
estocstica
29
Aritmtica entera
Con aritmtica entera usando 16 bits se obtiene un punto en la zona determinista.
30
Randomizando
con bit ms
significativo
Para acercarse a la zona estocstica se utilizan tcnicas de randomizacin sobre
la serie, tcnica del bit ms significativo y menos significativo.
31
Randomizando
con bit menos
significativo
Para acercarse a la zona estocstica se utilizan tcnicas de randomizacin sobre
la serie, tcnica del bit ms significativo y menos significativo.
La tcnica del bit menos significativo permite un salto a la regin estocstica En
este ultimo caso el punto representativo corresponde a un PRNG.
32
Delineamiento
Introduccin

Implementacin

Resultados
Conclusiones
Agradecimientos

(Altera)
33
Simulacin con Simulink/Matlab - Herramientas utilizadas
DSPBuilder
Entorno Simulink
MATLAB
Altera DSP Builder Blockset
IP MegaCores
Herramientas Matlab
Simulacin sin retardos
Funcionamiento

Quartus II
ALTERA
Altera DSP Builder Blockset
IP Mega Cores
Bloques VHDL
Simulacin con retardos

Bloques VHDL
Proyectos
Trabajamos con el software Quartus que provee la
empresa ALTERA.
Tambin trabajamos en el entorno simulink de matlab
gracias al programa DSPBuilder que permite llevar
bloques y proyectos de un entorno a otro.
34
Simulacin con Simulink/Matlab - Esquema simplificado de
Sist. de Lorenz
35
Simulacin con Simulink/Matlab - Simulink
Ejemplo de la implementacin en Simulink de una de las ramas del Sistema de
Lorenz (Rama x)
36
Rama X del sistema que consta de un sumador, un restador y un multiplicador
en punto flotante (bloques de la librera de Altera).
Restador en
punto flotante
37
Multiplicador en
punto flotante
38
Sumador en punto
flotante
39
El bloque Registro es un latch que retarda un ciclo la salida del
sistema. Fue programado en VHDL e importado al Simulink.
40
Simulacin con Simulink/Matlab -Simulink
A la entrada del latch fue necesario insertar un bloque z
-1
para
evitar un problema propio de Simulink que surge cuando se
trabaja con lazos realimentados. Este retardo no afecta al diseo.
41
La salida del registro es tomada por el subsistema Floating Point
(FP) que se encarga de separar los bits de signo, exponente y
mantisa, y realizar la operacin:
42
El mismo procedimiento se aplica a las tres ramas. El osciloscopio virtual permite
visualizar los datos, que almacenados quedan disponibles para ser procesados y
graficados en Matlab, para una verificacin preliminar del diseo.
43
Delineamiento
Introduccin

Implementacin

Resultados
Conclusiones
Agradecimientos

(Altera)
44
La implementacin se realiz con el software de desarrollo de la
placa Cyclone III EP3C120 de Altera, es especial para el desarrollo
de sistemas que involucran el procesamiento de seales, ya que
cuenta con una interesante cantidad de memoria y multiplicadores.

El diseo se realiz en Quartus II ; si bien Matlab permite exportar el
proyecto, y programar el dispositivo desde el propio Simulink
presenta ciertas limitaciones, tales como la imposibilidad de
simulacin con retardos reales.
45
Rama x
46
Diagrama temporal de simulacin en entorno Quartus II 7.2
Las seales x, y, z corresponden a las salidas de los
registros. Los datos estn expresados como unsigned
integer y corresponden a nmeros en punto flotante.
47
Delineamiento
Introduccin

Implementacin

Resultados
Conclusiones
Agradecimientos

(Altera)
48
Resultados
Salida Signal Tap II
Signal Tap: Mientras que el diseo corre en la FPGA,
esta herramienta permite almacenar las seales
deseadas en la memoria del dispositivo.
Luego, la placa enva los datos a la PC para ser
analizados.
49
Resultados
Datos tomados con Signal Tap y graficados en Matlab
Series temporales obtenidas con la placa para
t = 0,0045.
50
Resultados
Datos tomados con Signal Tap y graficados en Matlab
Atractor obtenido con la placa para t = 0,0045.
51
Delineamiento
Introduccin

Implementacin

Resultados
Conclusiones
Agradecimientos

(Altera)
52
Conclusiones
1. Si el sistema catico va a ser utilizado en aplicaciones que
requieran predictibilidad a largo plazo el diseo debe ser tal que
el punto representativo se encuentre en la regin determinista
del plano C-H, que corresponde a sistemas con una fuerte
correlacin (no lineal) entre los valores sucesivos de las series
temporales.

2. Si el sistema catico va a reemplazar a un sistema estocstico el
punto representativo debe encontrarse en la zona estocstica.
En particular para el caso de un PRNG, debe encontrarse lo ms
cerca posible del punto H=1, C=0.
53
Conclusiones
3. Las secuencias generadas utilizando aritmtica de punto
flotante, si bien reproducen ms exactamente y con mayor
precisin el atractor de Lorenz, no tienen acceso a la zona
estocstica. Para lograr acceder a esta zona se utiliz la tcnica
de skipping.

4. Otra alternativa para acceder a la regin estocstica es utilizar
una implementacin en aritmtica entera que tiene la ventaja de
utilizar recursos significativamente menores y adems permite
un salto a la regin estocstica mediante la sencilla tcnica de
randomizacin de uso del bit menos significativo.
54
Delineamiento
Introduccin

Implementacin

Resultados
Conclusiones
Agradecimientos

(Altera)
55

Este trabajo ha sido parcialmente financiado
por CONICET (PIP2004),
ANPCyT (PICT 04) y UNMDP

AGRADECIMIENTOS
56
e-mail: ldemicco@fi.mdp.edu.ar
Gracias!

Pres Iber 2010

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Pres Iber 2010

Загружено:

Авторское право:

Доступные форматы

Estocasticidad de un atractor catico

Вам также может понравиться