RAZONAMIENTO BASADO EN MODELOS: RAZONAMIENTO CUALITATIVO RAZONAMIENTO CUALITATIVO BASADO EN RESTRICCIONES

Tamaño: px
Comenzar la demostración a partir de la página:

Download "RAZONAMIENTO BASADO EN MODELOS: RAZONAMIENTO CUALITATIVO RAZONAMIENTO CUALITATIVO BASADO EN RESTRICCIONES"

Transcripción

1 RAZONAMIENTO BASADO EN MODELOS: RAZONAMIENTO CUALITATIVO RAZONAMIENTO CUALITATIVO BASADO EN RESTRICCIONES 1

2 CONTENIDOS Introducción al modelado basado en restricciones La variable cualitativa y su representación QV(f,t) bajo este paradigma Concepto de estado Concepto de comportamiento cualitativo de un sistema Formas de representación de comportamientos Ecuaciones diferenciales cualitativas. Definición Restricciones cualitativas Operadores de signo Valores correspondientes Condiciones asociadas a las restricciones cualitativas Algoritmos de resolución de conjuntos de restricciones Algoritmo de propagación. Definición. Ejemplo Algoritmo de satisfacción de restricciones (CSP). Definición Algoritmo Cfilter. Definición. Ejemplo Algoritmo QSIM Definición Algoritmo del estado completo (SCA) Filtros globales Inconvenientes 2

3 PLANTEAMIENTO GENERAL Problema (Sistema del Mundo real) Simulación Ontología (Representación + conjunto de operadores) Modelo (Abstración) Conocimiento experto Inferencia Información 3

4 MODELADO BASADO EN RESTRICCIONES: QSIM (KUIPER 86) Sistema real Conducta real solución numérica/analítica ODE State (t 0 ) f i : R R * simulación cualitativa QDE QState(t 0 ) Beh 1..Beh n 4

5 LA VARIABLE CUALITATIVA Características de la variable cualitativa: La variable cualitativa representa una función razonable, es decir, una función continuamente diferenciable. f:r R * Donde R* es la línea de los reales extendida. F es una función dependiente del tiempo (parámetro global) No debe presentar oscilaciones infinitas alrededor de un punto. 5

6 REPRESENTACIÓN FORMAL DEL VALOR DE UNA VARIABLE CUALITATIVA El valor de una variable cualitativa f(t) para un instante de tiempo dado, QV(f,t), con respecto del espacio de medida l 1 <l 2 <...<l k se representa mediante <qmag,qdir>, donde: qmag= l j si f(t)=l j (un landmark) y t es un punto distinguible de tiempo. (l j ) si f(t) (l j,l j+1 ) (un intervalo abierto.) qdir= inc si f (t)>0 std si f (t)=0 dec si f (t)<0 QSIM (qmag) Signos QSIM (qdir) Símbolos (0, ) [+] inc 0 [0] std θ (-,0) [-] dec (-, ) [?] ign * 6

7 LANDMARKS Y PUNTOS LÍMITES Un landmark bajo esta representación puede ser: Un valor crítico de una variable f (t)=0 cuando f(t)=l j donde l j es un landmark. Un punto límite que define el cambio de una región de comportamiento a otra (transición). Un valor inicial de una variable cualitativa. Para la variable tiempo los valores landmark se denominan puntos distinguibles de tiempo (t i tal que f(t i )=l j donde l j es un landmark de f ). 7

8 REPRESENTACIÓN DE UN COMPORTAMIENTO PARA UNA SÓLA VARIABLE El comportamiento cualitativo de una variable f es la secuencia de valores cualitativos de f definido de la siguiente forma: QV(f,t o ), QV(f,(t o,t 1 )), QV(f,t 1 ),..., QV(f,(t n-1,t n )), QV(f,t n ) Ejemplo: Df: A...B... (dominio de valores de f) f(t): <B,dec> <(A,B),dec> <A,std> <(A,B)inc> <B,inc> 8

9 REPRESENTACIÓN CUALITATIVA DE UN COMPORTAMIENTO CONTINUO f B A QV(f,t 0 )=<B, > QV(f,(t 0,t 1 ))=< (A,B), > QV(f,t 1 )=< A,θ> QV(f,(t 1,t 2 ))=<(A,B), > QV(f,t 2 )=< B, > t 0 t 1 t 2 t f(t)=<b, >, <(A,B), >, <A,θ>,<(A,B), >,<B, > 9

10 CONCEPTO DE ESTADO Dado un sistema definido por un conjunto F={f 1,...,f m } de funciones razonables tal que f j :R R *, el estado cualitativo de dicho sistema viene definido por una tupla de la siguiente forma: QS(F,t i )=<QV(f 1,t i ), QV(f 2,t i ),...,QV(f m,t i )> QS(F,(t i,t i+1 ))=<QV(f 1,(t i,t i+1 )), QV(f 2,(t i,t i+1 )),..., QV(f m,(t i,t i+1 ))> 10

11 CONCEPTO DE COMPORTAMIENTO El concepto de comportamiento bajo esta nueva perspectiva viene definido como una secuencia alternada de estados que tienen lugar sobre puntos distinguibles de tiempo o intervalos abiertos de tiempo: QS(F,t o ), QS(F,(t o,t 1 )), QS(F,t 1 ),..., QS(F,(t n-1,t n )), QS(F,t n ) 11

12 FORMAS DE REPRESENTACIÓN DE LOS COMPORTAMIENTOS DEL SISTEMA Este paradigma de modelado permite dos formas posibles de representación para los comportamientos del sistema: Árbol de comportamientos (modo de simulación dinámico normal). Grafo de comportamientos 12

13 ÁRBOL DE COMPORTAMIENTO Dadas las EDQ y un estado inicial la simulación cualitativa se resuelve obteniendo de forma repetitiva todos los posibles estados sucesores a uno dado. Los comportamientos aparecen representados por los distintos caminos que se pueden describir desde la raíz a las hojas del árbol. t 0 t 0,t 1 t 1 t 1,t 2 t 2 13

14 GRAFO DE COMPORTAMIENTO (Total Envisionment) El grafo de comportamientos o predicción global (Total Envisionment): consiste en, dadas las EDQ, obtener todos los posibles estados y transiciones entre ellos. Los distintos caminos que configuran el grafo representan los distintos comportamientos del sistema. Predicción global Para el problema del muelle X=<(0, ), > V=<(0, ), > A=<(-,0), > X=<(0, ),θ> V=<0, > A=<(-,0), θ > X=<(0, ), > V=<(-,0), > A=<(-,0), > X=<0, > V=<(0, ), θ > A=<0, > X=<0, θ > V=<0, θ > A=<0, θ > X=<0, > V=<(0, ), θ > A=<0, > X=<(-,0), > V=<(0, ), > A=<(0, ), > X=<(-,0), θ > V=<0, > A=<(0, ), θ > X=<(-,0 ), > V=<(-,0), > A=<(0, ), > 14

15 GRAFO DE COMPORTAMIENTO (Attainable Envisionment) La predicción vía un estado inicial (attainable envisionment): es el subconjunto de estados de la predicción global que son alcanzables a partir de un estado inicial dado. A esta representación se puede acceder cambiando sólo unos pocos aspectos respecto del modo normal de simulación dinámica: No se crean nuevos landmarks Se emplea el criterio débil para la detección de comportamientos cíclicos. Las transiciones entre estados no se dan ya entre estados sucesores sino entre cualquiera de los estados que componen el árbol. El tamaño de la predicción vía un estado inicial depende de la información que demos sobre el estado inicial: Llega a ser igual al del visionado global cuando no se da información alguna sobre el estado inicial. 15

16 ECUACIONES DIFERENCIALES CUALITATIVAS (EDQ) Una ecuación diferencial cualitativa (EDQ) es una tupla de cuatro componentes <V,Q,C,T> definidas de la siguiente forma: V es un conjunto de variables cada una de las cuales es una función razonable del tiempo. Q es un conjunto de espacios de medida, uno por cada variable en V. C es un conjunto de restricciones aplicadas a las variables en V. T es un conjunto de transiciones las cuales son reglas que definen los límites de validez de las QDE. 16

17 RESTRICCIONES CUALITATIVAS Las relaciones entre las variables cualitativas se expresan mediante restricciones cualitativas. Entre las más usuales cabe destacar las siguientes: Relaciones matemáticas: (add x y z) x(t)+y(t)=z(t) (mult x y z) x(t)*y(t)=z(t) (minus x y z) x(t)-y(t)=z(t) (d/dt x y ) dx(t)/dt=y(t) (constant x ) dx(t)/dt=0 Relaciones funcionales (M + x y) y(t)=f(x(t)), f M + (M - x y) y(t)=-f(x(t)), f M + 17

18 OPERADORES QUE EVALÚAN EL SIGNO DE UNA VARIABLE CUALITATIVA Operadores de signo: [x] 0 = signo(x) =[+] si x>0 =[0] si x=0 =[-] si x<0 [x] x0 =signo(x-x o ) donde x o represente en valor de referencia. [x ]=[dx/dt]=sign(dx/dt) [x] = [+] si x= = [0] si x es una valor finito = [-] si x=- etc... 18

19 VALORES CORRESPONDIENTES Tupla de valores landmark que toman, en un instante de tiempo dado, todas las variables implicadas en una restricción. Debido a que los espacios de medida de las distintas variables cualitativas no están relacionados entre sí, los valores correspondientes introducen nueva información que permite vincular dichos espacios entre sí. Ejemplo: ((M + amount level) (0 0) (full top) (inf inf)) 19

20 DESCOMPOSICIÓN DE LAS EDO EN SUS CORRESPONDIENTES EXPRESIONES CUALITATIVAS EDO: (d 2 u/dt 2 )=-ku donde u=f(t) (M.A.S.) EDQ: (abstracción estructural de las EDO) v 1 =du/dt (d/dt u v 1 ) v 2 =dv 1 /dt (d/dt v 1 v 2 ) v 2 =-ku ((M - u v 2 ) (minf inf) (0 0) (inf minf)) 20

21 CONDICIONES ASOCIADAS A LAS RESTRICCIONES CUALITATIVAS Cada restricción cualitativa en QSIM lleva asociado un conjunto de condiciones {P 1,...,P 2 } Para poder rechazar una asignación de valores asociados a las variables cualitativas que aparecen en la restricción sólo es necesario que se cumpla: P 1 P 2... P n A i 21

22 CONDICIONES ASOCIADAS A LAS FUNCIONES MONOTÓNICAS Funciones monotónicas ((M + x y)... (x i y i )...) [dx/dt]=[dy/dt] [x] xi =[y] yi ((M - x y)... (x i y i )...) [dx/dt]=-[dy/dt] [x] xi =-[y] yi 22

23 CONDICIONES ASOCIADAS A LA SUMA CUALITATIVA Suma cualitativa ((add x y z)... (x i y i z i )...) [dx/dt]+[dy/dt]=[dz/dt] [x] xi +[y] yi =[z] zi add [+] [0] [-] [+] [+] [+] [+]/[0]/[-] [0] [+] [0] [-] [-] [+]/[0]/[-] [-] [-] [x] +[y] =[z] donde [x] = [+] si x= [0] si x= Valor finito [-] si x= - 23

24 CONDICIONES ASOCIADAS A LA MULTIPLICACIÓN CUALITATIVA Multiplicación cualitativa ((mult x y z)... (x i y i z i )...) [x] 0 [y] 0 =[z] 0 [y] 0 [dx/dt]+[dy/dt][x] 0 =[dz/dt], si [x] 0 =[y] 0 =[+] entonces [dx/dt]+[dy/dt] =[dz/dt], mult [+] [0] [-] [+] [+] [0] [-] [0] [0] [0] [0] [-] [-] [0] [+] [abs(x)] abs(xi) +[abs(y)] abs(yi) =[abs(z)] abs(zi) 24

25 CONDICIONES ASOCIADAS A LA NEGACIÓN CUALITATIVA Negación cualitativa ((minus x y)... (x i y i )...) [dx/dt]=-[dy/dt] [x] xi =-[y] yi 25

26 CONDICIONES ASOCIADAS A LA DERIVADA CUALITATIVA Derivada cualitativa (d/dt x y) [dx/dt]=[y] 0 26

27 ALGORITMOS DE RESOLUCIÓN DE CONJUNTOS DE RESTRICCIONES Algoritmo de Propagación Algoritmo de Satisfacción de Restricciones (CSP) 27

28 EL ALGORITMO DE PROPAGACIÓN Propagar las descripciones cualitativas desde una variable a otra a través de las restricciones que las conectan. Cada restricción puede ser considerada como un procesador local que tiene acceso a los valores de las variables que aparecen en dicha restricción. Una representación gráfica ayuda a seguir el proceso de propagación. 28

29 CONDICIÓN DE APLICABILIDAD DEL ALGORITMO DE PROPAGACIÓN Para poder aplicar el algoritmo de propagación es necesario que todas menos una de las variables involucradas en una restricción tengan un valor definido. En general la propagación local es posible cuando las restricciones del sistema pueden ser escritas como sigue: x 1 =c; x 2 =f 1 (x 1 ); x 3 =f 2 (x 1, x 2 ); Etc Donde f 1, f 2 representan expresiones explicitas que pueden ser evaluadas. En caso contrario es mejor aplicar CSP. 29

30 INCONVENIENTES DEL ALGORITMO DE PROPAGACIÓN El problema de dicho algoritmo es que la propagación se puede ver bloqueada por la configuración de las restricciones que definen el sistema. Ejemplo: divisor de tensión (valores iniciales: v 1 =[+], v 3 =[0]). [R 1 ]=[+] [R 2 ]=[+] I 1 =I 2 I 1 *R 1 =v 1 -v 2 I 2 *R 2 =v 2 -v 3 30

31 EJEMPLO DE PROPAGACIÓN Problema de los dos tanques amounta flowab amountb pressurea pressureb 31

32 EDQ PARA EL PROBLEMA DE LOS DOS TANQUES (define-qde U-tube (quantity-spaces (amt A (0 Amax inf)) (PressureA (0 inf)) (amtb (0 Bmax inf)) (PressureB (0 inf)) (pab (minf 0 inf)) (flowab (minf 0 inf)) (-flowab (minf 0 inf)) (total (0 inf))) (constraints ((M + amta pressurea) (0 0) (inf inf)) ((M + amtb pressureb) (0 0) (inf inf)) ((add pab pressureb pressurea)) ((M + pab flowab)) (minf minf) (0 0) (inf inf)) ((minus flowab -flowab)) ((d/dt amtb flowab)) ((d/dt amta -flowab)) ((add amta amtb total)) ((constant total))) (transitions ((amta (Amax inc)) -> tank-a-overflow) ((amtb (Bmax inc)) -> tank-b-bursts))) 32

33 DETERMINACIÓN DEL ESTADO INICIAL Condiciones iniciales: t=t 0 amta = <Amax?> (tanque A lleno) amtb = <0?> (tanque B vacío) 33

34 REPRESENTACIÓN GRÁFICA DEL ALGORITMO DE PROPAGACIÓN 3 (0, ) θ amta Amax (0) amtb (0, ) (0) (0, ) (0, ) 34

35 PROPAGACIÓN PASO A PASO PARA LA DETERMINACIÓN DEL ESTADO INICIAL COMPLETO 1. (M + amtb pressureb) (0 0) pressureb = <0,?> 2. (M + amta pressurea) entre (0 0) y (inf inf) pressurea = <(0 ),?> 3. (add pab pressureb pressurea) pab = <(0 ),?> 4. (add amta amtb total) total = <(0 ),?> 5. (M + pab flowab) flowab = <(0 ),?> 6. (d/dt amta -flowab) (d/dt amtb flowab) amta =<Amax, dec> amtb =<0, inc> 7. (M + amta pressurea) (M + amtb pressureb) pressurea = <(0 ), dec> pressureb = <0, inc> 8. (add pab pressureb pressurea) pab = <(0 ), dec > 9. (M + pab flowab) flowab = <(0 ), dec > 35

36 ESTADO INICIAL (t=t 0 ) amta =<Amax, dec> amtb =<0, inc> pressurea = <(0 ), dec> pressureb = <0, inc> pab = <(0 ), dec > flowab = <(0 ), dec > 36

37 ALGORITMO DE SATISFACCIÓN DE RESTRICCIONES (CSP), DEFINICIÓN Dado un problema definido por la tupla <V,D,P>, donde: V ={v 1,., v n } es un conjunto de varibles. D={D 1,.., D n } tal que cada D i representa el posible dominio de valores correspondiente a cada variable v i. P={P 1,.., P m }, es un conjunto de restricciones donde cada P j hace referencia a las relaciones entre un subconjunto de variables en V. La solución mediante CSP de <V,D,P> representa un conjunto de asignaciones para las V. 37

38 ALGORITMO DE SATISFACCIÓN DE RESTRICCIONES (CSP) Dado un problema definido por la tupla <V,D,P> 1. Generación de cada uno de las posibles asignaciones <x 1,...,x n > para las variables en V. 2. Comprobación de cada una de estas asignaciones frente a cada una de las restricciones, descartando aquellas que sean inconsistentes respecto de estas últimas. 3. Devolver el conjunto de asignaciones que no hayan sido descartadas. 38

39 INCONVENIENTES DEL CSP Es intratable excepto para los casos más sencillos. Cálculo del número de asignaciones: Producto cartesiano de los dominios de valores de cada variable: Si disponemos de n variables y el dominio de cada variable tiene un tamaño d el número de asignaciones sería del orden de d n. 39

40 SOLUCIÓN PARA EL CSP Emplear la información del estado inicial para poder restringir los dominios de las variables implicadas mediante las reglas de estados sucesores de esta forma el número de estados que se generan es mucho menor (subespacio del producto cartesiano). 40

41 ALGORITMO DUAL DE WALTZ (WALTZ 72) Este algoritmo analiza, mediante un grafo, la consistencia tanto de arco como de nodo. En dicho grafo los nodos contienen las restricciones y los arcos que unen dichos nodos representan las variables implicadas. La consistencia de nodo considera p-tuplas de valores para las variables asociadas a la restricción, rechazando aquellas que sean inconsistentes con respecto a estas últimas. La consistencia de arco garantiza que las tuplas asignadas a dos nodos adyacentes presentan los mismos valores para variables compartidas. 41

42 ALGORITMO CFILTER Dado una EDQ y su dominio de conocimiento el CSP es resuelto de la siguiente forma: 1. Restricción del dominio. Para cada variable v i se determina su dominio de valores a través de un conjunto de reglas que definen los posibles estados sucesores a uno dado (state-successor rules). 2. Consistencia de Nodos. 3. Consistencia de Arco. 4. Búsqueda Exhaustiva. Genera todas las posibles asignaciones a partir de las tuplas que no han sido rechazadas (algoritmo de backtracking). 42

43 REGLAS PARA DEFINIR LOS ESTADOS SUCESORES Puesto que nuestras variables son funciones continuamente diferenciables sólo existen unas pocas relaciones para poder establecer los posibles valores cualitativos sucesores a partir de uno dado. 43

44 TIPOS DE ESTADOS SUCESORES De punto a intervalo P-sucesores De intervalo a punto I-sucesores L j+1 L j+1 L j L j L j-1 L j-1 t 0 t 1 t 2 t 0 t 1 t 2 44

45 REGLAS DE DEFINICIÓN DE LOS ESTADOS SUCESORES P - Sucesores:de punto a intervalo QV(v,t i ) QV(v,t i,,t i+1 ) <l j, std> <l j, std> <l j, std> <(l j ), inc> <l j, std> <(l j-1, l j ), dec> <l j, inc> <(l j ), inc> <l j, dec> <(l j-1, l j ), dec> <(l j ), inc> <(l j ), inc> <(l j ), dec> <(l j ), dec> <(l j ), std> <(l j ),std> <(l j ), std> <(l j ), inc> <(l j ), std> <(l j ), dec> I - Sucesores: de intervalo a punto QV(v,t i,,t i+1 ) QV(v,t i+1 ) <l j, std> <l j, std> <(l j ), inc> <l j+1, std> <(l j ), inc> <l j+1, inc> <(l j ), inc> <(l j ), inc> <(l j ), inc> <(l j ), std> <(l j ), dec> <l j, std> <(l j ), dec> <l j, dec> <(l j ), dec> <(l j ), dec> <(l j ), dec> <(l j ), std> <(l j ), std> <(l j ), std> 45

46 INTERPRETACIÓN DE LOS P-SUCESORES P - Sucesores:de punto a intervalo QV(v,t i ) QV(v,t i,,t i+1 ) <l j, std> <l j, std> <l j, std> <(l j ), inc> <l j, std> <(l j-1, l j ), dec> <l j, inc> <(l j ), inc> <l j, dec> <(l j-1, l j ), dec> <(l j ), inc> <(l j ), inc> <(l j ), dec> <(l j ), dec> <(l j ), std> <(l j ),std> <(l j ), std> <(l j ), inc> <(l j ), std> <(l j ), dec> Interpretación No hay cambio Cambio con incremento Cambio con decremento Evolución de un punto límite Evolución de un punto límite No hay cambio No hay cambio No Hay cambio (nuevo landmark) Cambio con incremento(nuevo landmark) Cambio con decremento (nuevo landmark) 46

47 INTERPRETACIÓN DE LOS I-SUCESORES I - Sucesores: de intervalo a punto QV(v,t i,,t i+1 ) QV(v,t i+1 ) <l j, std> <l j, std> <(l j ), inc> <l j+1, std> <(l j ), inc> <l j+1, inc> <(l j ), inc> <(l j ), inc> <(l j ), inc> <(l j ), std> <(l j ), dec> <l j, std> <(l j ), dec> <l j, dec> <(l j ), dec> <(l j ), dec> <(l j ), dec> <(l j ), std> <(l j ), std> <(l j ), std> Interpretación No hay cambio Evolución hacia un landmark Evolición hacia un punto límite No hay cambio Evolución hacia un nuevo landmark Evolución hacia un landmark Evolución hacia un punto límite No hay cambio Evolución hacia un nuevo landmark No hay cambio 47

48 EJEMPLO: ALGORITMO CFILTER PARA EL CASO DE UN TANQUE inflow amount netflow outflow 48

49 RESTRICCIONES PARA EL PROBLEMA DE UN TANQUE (define-qde Minimal-Bathtub (quantity-spaces (amount (0 full inf)) (outflow (0 inf)) (inflow (0 if* inf)) (netflow (minf 0 inf))) (constraints ((M + amount outflow) (0 0) (inf inf)) ((add netflow outflow inflow)) ((d/dt amount netflow)) ((constant inflowl))) (transitions ((amount (full inc)) -> tank-overflow) 49

50 PASO 0: DEFINICIÓN DE LAS CONDICIONES INICIALES t 0 t 0, t 1 amount 0, (0,full),, outflow 0, (0, ), inflow { if*, θ } { if*, θ } netflow (0, ), (0, ), 50

51 PASO 1: RESTRICCIÓN DEL DOMINIO Para el instante t 1, y según las reglas de definición del estado sucesor, las variables implicadas sólo podrán tomar los siguientes valores: t 1 amount { full,, full, θ, (0,full),, (0, full), θ } outflow {,,, θ, (0, ),, (0, ), θ } inflow { if*, θ } netflow { 0,, 0, θ, (0, ),, (0, ), θ } 51

52 PASO 2: CONSISTENCIA DE NODO Para cada restricción formamos todas las tuplas de posibles valores de sus variables y las enfrentamos con la definición de cada restricción. (constraints ((M + amount outflow) ((add netflow outflow inflow)) ((d/dt amount netflow)) ((constant inflow))) (0 0) (inf inf)) 52

53 PASO 2: CONSISTENCIA DE NODO ((M + amount outflow) (0 0) (inf inf)) outflow amount full, full, θ (0,full), (0, full), θ, X 2 X 1,2 X 2 X 1,2, θ X 1,2 X 2 X 1,2 X 2 (0, ), X 1 X 1 (0, ), θ X 1 X 1 1. Viola el hecho de que [d(amount)/dt]=[d(outflow)/dt] 2. Violan el valor correspondiente (inf inf) 53

54 PASO 2: CONSISTENCIA DE NODO ((add netflow outflow inflow)) dando por hecho de que inflow=<if * θ> outflow netflow 0, 0, θ (0, ), (0, ), θ, X 4 X 3,4 X 4 X 3,4, θ X 3,4 X 4 X 3,4 X 4 (0, ), X 3 X 3 (0, ), θ X 3 X 3 3. Viola el hecho de que [d(netflow)/dt]+[d(outflow)/dt]=[d(inflow)/dt] 4. A partir de [x] +[y] =[z] se obtiene [+]+[0] [0]. 54

55 PASO 2:CONSISTENCIA DE NODO ((d/dt amount netflow)) netflow amount full, full, θ (0,full), (0, full), θ 0, X 5 X 5 0, θ X 5 X 5 (0, ), X 5 X 5 (0, ), θ X 5 X 5 5. Viola el hecho de que [d(amount)/dt]=[netflow] 0 55

56 PASO 3 CONSISTENCIA DE ARCO ((M + amount outflow) (0 0) (inf inf)) Amount Outflow full, (0, ), full, θ (0, ), θ (0,full), (0, ), (0,full), θ (0, ), θ 56

57 PASO 3 CONSISTENCIA DE ARCO ((add netflow outflow inflow)) Netflow Outflow 0, (0, ), 0, θ (0, ), θ (0, ), (0, ), (0, ), θ (0, ), θ 57

58 PASO 3: CONSISTENCIA DE ARCO ((d/dt amount netflow)) Amount Netflow full, (0, ), full, (0, ) θ full, θ 0, full, θ 0, θ (0, full), (0, ), (0, full), (0, ), θ (0, full), θ 0, (0, full), θ 0,θ 58

59 PASO 3: CONSISTENCIA DE ARCO Todas las tuplas supervivientes satisfacen el test de consistencia de arco. 59

60 PASO 4: BÚSQUEDA EXHAUSTIVA A partir de los valores de las tuplas supervivientes, podemos hacer una búsqueda exhaustiva hacia atrás creando todos los conjuntos de asignaciones globales consistentes amount full, full, θ (0,full), (0, full), θ outflow (0, ),, (0, ), θ (0, ), (0, ), θ inflow if*, θ if*, θ if*, θ if*, θ netflow (0, ), 0, θ (0, ), 0, θ 60

61 FILTRADO GLOBAL La solución 3 se descarta por no representar ningún cambio. Los estados 1,2 y 4 se consideran como posibles estados del sistema para el instante t 1. El estado 1 representa una transición a otro régimen de operación. Los estados 2 y 4 representan estados equiescentes. 61

62 ÁRBOL DE COMPORTAMIENTOS Árbol de comportamientos obtenido para el modelo de un tanque t 0 t 0,t 1 t 1 QS 1 (F,t0), QS 1 (F,(t 0,t 1 )),QS 1 (F,t 1 ) QS 2 (F,t 0 ), QS 2 (F,(t 0,t 1 )),QS 2 (F,t 1 ) QS 3 (F,t 0 ), QS 3 (F,(t 0,t 1 )),QS 3 (F,t 1 ) 62

63 COMPORTAMIENTO 1 Amount inf full Inflow inf If* t 0 t 1 t 0 t 1 outflow inf o-2 Netflow inf N-0 N-1 t 0 t 1 t 0 t 1 minf 63

64 COMPORTAMIENTO 2 Amount inf full A-0 Inflow inf If* t 0 t 1 t 0 t 1 outflow Netflow inf o-0 inf N-0 t 0 t 1 t 0 t 1 minf 64

65 COMPORTAMIENTO 3 Amount inf Inflow inf full If* t 0 t 1 t 0 t 1 outflow Netflow inf o-1 inf N-0 t 0 t 1 t 0 t 1 minf 65

66 CONDUCTAS REALES PARA EL PROBLEMA DEL TANQUE Rebosa Estado inicial. lleno 66

67 ALGORITMO ASOCIADO A QSIM Algoritmo QSIM: Dado una EDQ y su dominio de conocimiento parcial, QSIM predice el conjunto de posibles comportamientos cualitativos {Beh 1,...Beh 2 } de la siguiente forma: 67

68 ALGORITMO ASOCIADO A QSIM 1. Inicializa la agenda: Con el conjunto de estados iniciales completos usando para ello el SCA (State- Completion Algorithm). 2. Si la agenda está vacía o si los recursos son excedidos el algoritmo para. Los caminos definidos desde la raíz hasta las hojas describen los distintos comportamientos. En cualquier otro caso sacamos un estado S de la agenda. 3. Algoritmo CFilter: Para cada variable v i en las EDQ se determinan los posibles valores sucesores a QV(v i,s). Estos son interpretados como dominios de restricción por el algorimo Cfilter. Determinar todo los posibles estados sucesores {S 1,..,S k } consistentes con los dominios restringidos y con las QDE. 4. Si S es un estado que representa un intervalo de tiempo el algoritmo elimina todos los estados sucesores S i cuyos valores son idénticos con dicho estados (no change filter). 5. Para cada S i se establecen las relaciones de sucesores (S, S i ) y predecesores (S i,s). Inserción en el árbol de comportamientos de los nuevos estados. 6. Se aplican los filtros globales a cada estado sucesor de S i. 7. Se añade cada posible estado sucesor a la agenda. Un nuevo estado sucesor S i creado es añadido a la agenda a menos que sea declarado por un filtro global como: inconsistente(s I ), Quiescente(S i ), Cíclico(S i ), Transición(S i ), o que t= en S i. 8. Se continua a partir del paso 2. 68

69 ALGORITMO DEL ESTADO COMPLETO (SCA) SCA: (State Completion Algorithm) Algoritmo que permite describir si un estado es completo o no. Estado completo: Un estado es completo si cada variable de dicho estado posee un valor tanto para su magnitud cualitativa como para su dirección de cambio cualitativa. 69

70 ALGORITMO DEL ESTADO COMPLETO (SCA) PASO A PASO 1. Dada la descripción de un estado S: Si S es completo. Finaliza el algoritmo. Se afirma Complete(S). 2. Se aplica propagación para obtener una más completa descripción de S Si S es completo. Finaliza el algoritmo. Se afirma Complete(S). 3. Aplicamos el algoritmo Cfilter para derivar todos los posibles estados {S 1,..., S n } que son completos a partir de la información disponible. Se afirma que el conjunto de estados generados de esta forma es completo, Completion(S, S i ) además de afirmarlo para cada S i. 70

71 FILTROS GLOBALES Estos filtros nos permiten: Determinar la inconsistencia de un estado que no es visible a través de las restricciones. Hacer una descripción más específica de un estado, sin perdida de validez o generalidad, a través de la inclusión de nuevos landmarks o identificando nuevos valores correspondientes. 71

72 TIPOS DE FILTROS GLOBALES Hay dos tipos de filtros globales: filtros de estado y filtros de comportamiento. Los filtros de estado tienen carácter local considerando sólo la información del estado actual bajo estudio y tal vez de su predecesor inmediato. Los filtros de comportamiento consideran la información global sobre un comportamiento completo que finaliza en el estado actual. 72

73 MODELADO BASADO EN RESTRICCIONES: QSIM Filtros Globales: Filtros de estado. Filtro No change. Filtro de valores infinitos. Filtro de estados quiescentes. Filtro para la creación de nuevos landmarks. Filtro para la creación de nuevos valores correspondientes. Filtro de reconocimiento de comportamientos cíclicos. Filtro para la identificación de las transiciones entre regiones de operación. Filtro de las derivadas de orden superior. Filtros de comportamiento. Restricción sobre funciones analíticas. Restricción sobre la no intersección. Restricción sobre la energía global. Uso de otras informaciones cualitativas. 73

74 INCONVENIENTE: GENERACIÓN DE ESTADOS ESPÚREOS Los estados espúreos son aquellos estados que satisfaciendo las restricciones no representan ningún estado físico posible. Ejemplo del muelle Los valores iniciales de las variables del sistema hacen referencia a la energía total de éste. En esos puntos el valor de la energía está definido (valores landmarks). Cuando el sistema evoluciona hacia un intervalo abierto el valor de la energía deja de estar definido para convertirse en un intervalo de valores. Esta incertidumbre en el valor de la energía se propaga a lo largo de la simulación dando lugar a la aparición de los estados espúreos. Solución: inclusión explícita de nuevas restricciones modelado semicuantitativo etc... 74

Tema 3: Problemas de Satisfacción de Restricciones

Tema 3: Problemas de Satisfacción de Restricciones Tema 3: Problemas de Satisfacción de Restricciones Universidad de Granada Tema 3: Satisfacción de Restricciones Contenido Problemas de satisfacción de restricciones Métodos de búsqueda Búsqueda local para

Más detalles

Restricciones. Inteligencia Artificial. Ingeniería Superior en Informática, 4º Curso académico: 2011/2012 Profesores: Ramón Hermoso y Matteo Vasirani

Restricciones. Inteligencia Artificial. Ingeniería Superior en Informática, 4º Curso académico: 2011/2012 Profesores: Ramón Hermoso y Matteo Vasirani Restricciones Ingeniería Superior en Informática, 4º Curso académico: 2011/2012 Profesores: Ramón Hermoso y Matteo Vasirani 1 Tema 2: Agentes basados en Búsqueda Resumen: 2. Agentes basados en búsqueda

Más detalles

Representación basada en Restricciones

Representación basada en Restricciones Representación basada en Restricciones Asunción Gómez-Pérez asun@fi.upm.es Departamento de Inteligencia Artificial Facultad de Informática Universidad Politécnica de Madrid Campus de Montegancedo sn, 28660

Más detalles

DEPARTAMENTO DE INGENIERÍA EN SISTEMAS Y COMPUTACIÓN OPCIÓN I

DEPARTAMENTO DE INGENIERÍA EN SISTEMAS Y COMPUTACIÓN OPCIÓN I 1INSTITUTO TECNOLÓGICO DE CIUDAD MADERO DEPARTAMENTO DE INGENIERÍA EN SISTEMAS Y COMPUTACIÓN OPCIÓN I TESIS: Desarrollo de Algoritmos de Retroceso Aplicados a la solución del Problema del Diseño de la

Más detalles

El proyecto realizado consiste en un resolutor de sudokus mediante CSP.

El proyecto realizado consiste en un resolutor de sudokus mediante CSP. Introducción El proyecto realizado consiste en un resolutor de sudokus mediante CSP. El problema del sudoku fue inventado por Howard Garns en 1979 y se volvió muy popular en Japón en 1986. En España ha

Más detalles

Algoritmos para CSP 1

Algoritmos para CSP 1 Algoritmos para CSP 1 1. Técnicas de Consistencia, o Inferenciales I. Inferencia, o consistencia completa Proceso que permite la síntesis de todas las restricciones de un problema en una única restricción

Más detalles

Hoja de Problemas Tema 6 Búsqueda con estados estructurados: Restricciones

Hoja de Problemas Tema 6 Búsqueda con estados estructurados: Restricciones Ejercicio 1: 1.1. Si se resuelve un problema de satisfacción de restricciones mediante búsqueda con asignaciones parciales, entonces (a) (b) (c) (d) (e) Un estado siempre asigna un valor a todas las variables

Más detalles

Problemas de Satisfacción de Restricciones

Problemas de Satisfacción de Restricciones Problemas de Satisfacción de estricciones José Luis uiz eina José Antonio Alonso Jiménez Franciso J. Martín Mateos María José Hidalgo Doblado Dpto. Ciencias de la Computación e Inteligencia Artificial

Más detalles

Problemas de satisfacción de restricciones.

Problemas de satisfacción de restricciones. Problemas de satisfacción de restricciones. In whitch we see how treating states as more than just little black boxes leads to the invention of a range of powerful new search methods and a deeper understanding

Más detalles

Programación con Restricciones Constraint Programming

Programación con Restricciones Constraint Programming Programación con Restricciones Constraint Programming Introducción basada en Roman Barták: Guide to Constraint Programming http://kti.ms.mff.cuni.cz/~bartak/constraints/index.html Constraint Programming

Más detalles

III. BÚSQUEDA Y RESOLUCIÓN DE PROBLEMAS. III.3.

III. BÚSQUEDA Y RESOLUCIÓN DE PROBLEMAS. III.3. III. BÚSQUEDA Y RESOLUCIÓN DE PROBLEMAS. III.3. Búsquedas con retroceso. III.3.1. Búsquedas con retroceso a ciegas. III.3.1.1. Procedimientos con retroceso. La búsqueda con retroceso, o backtracking, es

Más detalles

Problemas de satisfacción de restricciones. Javier Ramírez Rodríguez Departamento de Sistemas Universidad Autónoma Metropolitana

Problemas de satisfacción de restricciones. Javier Ramírez Rodríguez Departamento de Sistemas Universidad Autónoma Metropolitana Problemas de satisfacción de restricciones Javier Ramírez Rodríguez Departamento de Sistemas Universidad Autónoma Metropolitana La programación con restricciones (PR) ha generado gran expectación entre

Más detalles

Sistemas de producción y búsqueda de soluciones. Area de Computación e Inteligencia Artificial 1

Sistemas de producción y búsqueda de soluciones. Area de Computación e Inteligencia Artificial 1 Sistemas de producción y búsqueda de soluciones Area de Computación e Inteligencia Artificial 1 Técnicas de búsqueda Resolución de problemas en Inteligencia Artificial. En general, podemos afirmar que

Más detalles

Tema 5: Problemas de satisfacción de restricciones

Tema 5: Problemas de satisfacción de restricciones Tema 5: Problemas de satisfacción de restricciones José Luis uiz eina José Antonio Alonso Franciso J. Martín Mateos María José Hidalgo Departamento de Ciencias de la Computación e Inteligencia Artificial

Más detalles

Descripción inicial del sistema. Descripción final del sistema. Estado 1 Estado 2 Estado n

Descripción inicial del sistema. Descripción final del sistema. Estado 1 Estado 2 Estado n Búsqueda en Inteligencia Artificial Fernando Berzal, berzal@acm.org Búsqueda en I.A. Introducción Espacios de búsqueda Agentes de búsqueda Uso de información en el proceso de búsqueda Búsqueda sin información

Más detalles

Restricciones sobre dominios finitos con Gprolog

Restricciones sobre dominios finitos con Gprolog Autores: Rubén García Portal Nikolai Smirnov Restricciones sobre dominios finitos con Gprolog Introducción. Este documento explicará brevemente las funciones que se utilizan en Gprolog para resolución

Más detalles

Problemas Resueltos de Desigualdades y Programación Lineal

Problemas Resueltos de Desigualdades y Programación Lineal Universidad de Sonora División de Ciencias Exactas y Naturales Departamento de Matemáticas. Problemas Resueltos de Desigualdades y Programación Lineal Para el curso de Cálculo Diferencial de Químico Biólogo

Más detalles

EN INFORMÁTICA DE SISTEMAS

EN INFORMÁTICA DE SISTEMAS INGENIERÍA TÉCNICA EN INFORMÁTICA DE SISTEMAS Curso Académico 2009/2010 Proyecto Fin de Carrera PLANIFICACIÓN CUALITATIVA DE CAMINOS DE ROBOTS MÓVILES EN ENTORNOS POLIGONALES BASADA EN LA TEORÍA DE MATROIDES

Más detalles

Tablas. Estas serán las tablas que usaremos en la mayoría de ejemplos. Empleado

Tablas. Estas serán las tablas que usaremos en la mayoría de ejemplos. Empleado Álgebra Relacional Un álgebra es un sistema matemático constituido por Operandos: objetos (valores o variables) desde los cuales nuevos objetos pueden ser construidos. Operadores: símbolos que denotan

Más detalles

Satisfacción de Restricciones

Satisfacción de Restricciones Satisfacción de Restricciones Introducción Componentes del estado: Variables Dominios (valores posibles para las variables) Restricciones binarias entre las variables Objetivo: Encontrar un estado que

Más detalles

Programación Genética

Programación Genética Programación Genética Programación Genética consiste en la evolución automática de programas usando ideas basadas en la selección natural (Darwin). No sólo se ha utilizado para generar programas, sino

Más detalles

Ingeniería de Software con UML Unified Modeling Language Lenguaje Unificado de Modelado

Ingeniería de Software con UML Unified Modeling Language Lenguaje Unificado de Modelado Ingeniería de Software con UML Unified Modeling Language Lenguaje Unificado de Modelado 1. Introducción Unified Modeling Languaje Fuente: Booch- Jacobson-Rumbauch y diversos sitios Internet, entre otros:

Más detalles

Ortogonalidad y Series de Fourier

Ortogonalidad y Series de Fourier Capítulo 4 Ortogonalidad y Series de Fourier El adjetivo ortogonal proviene del griego orthos (recto) y gonia (ángulo). Este denota entonces la perpendicularidad entre dos elementos: dos calles que se

Más detalles

INDICE. XVII Prólogo a la edición en español. XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas

INDICE. XVII Prólogo a la edición en español. XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas INDICE Prologo XVII Prólogo a la edición en español XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas 1 1.1.1. Introducción 1.1.2. Algunos argumentos lógicos importantes 2 1.1.3. Proposiciones

Más detalles

Desarrollo de SBC. cbea (LSI - FIB) Sistemas Basados en el Conocimiento IA - Curso 2008/2009 1 / 41

Desarrollo de SBC. cbea (LSI - FIB) Sistemas Basados en el Conocimiento IA - Curso 2008/2009 1 / 41 Desarrollo de SBC Ingeniería de los SBC Desarrollo de SBC El punto más importante del desarrollo de SBC es la extracción del conocimiento Requiere la interacción entre el Ingeniero del Conocimiento y el

Más detalles

TAD Lineales: Pila, Cola y Lista

TAD Lineales: Pila, Cola y Lista TAD Lineales: Pila, Cola y Lista Objetivos! Dar a conocer los TAD lineales pila, cola y lista! Presentar la especificación de cada uno de los TAD! Discutir implementaciones alternativas para cada uno de

Más detalles

Editor: Editorial de la Universidad de Granada Autor: Óscar Jesús García Pérez D.L.: Gr. 1885-2007 ISBN: 978-84-338-4439-2

Editor: Editorial de la Universidad de Granada Autor: Óscar Jesús García Pérez D.L.: Gr. 1885-2007 ISBN: 978-84-338-4439-2 Editor: Editorial de la Universidad de Granada Autor: Óscar Jesús García Pérez D.L.: Gr. 1885-2007 ISBN: 978-84-338-4439-2 II - Índice de ilustraciones...viii III - Índice de algoritmos...x IV - Presentación...2

Más detalles

TÉCNICAS DE PLANIFICACIÓN Y CONTROL DE PROYECTOS 1

TÉCNICAS DE PLANIFICACIÓN Y CONTROL DE PROYECTOS 1 Técnicas de planificación y control de proyectos Andrés Ramos Universidad Pontificia Comillas http://www.iit.comillas.edu/aramos/ Andres.Ramos@comillas.edu TÉCNICAS DE PLANIFICACIÓN Y CONTROL DE PROYECTOS

Más detalles

7. MODELADO EN DINAMICA DE SISTEMAS

7. MODELADO EN DINAMICA DE SISTEMAS 7. MODELADO EN DINAMICA DE SISTEMAS 7.1. Dinámica de Sistemas El origen de la dinámica de sistemas se encuentra ligado al desarrollo de una aplicación para analizar los pedidos de una empresa fabricante

Más detalles

En este capitulo se presentan los métodos y algoritmos utilizados para el desarrollo del

En este capitulo se presentan los métodos y algoritmos utilizados para el desarrollo del 33 En este capitulo se presentan los métodos y algoritmos utilizados para el desarrollo del sistema de procesamiento de imágenes para controlar un robot manipulador y se describen en la forma como serán

Más detalles

RESUMEN INFORMATIVO PROGRAMACIÓN DIDÁCTICA CURSO 2015 /2016

RESUMEN INFORMATIVO PROGRAMACIÓN DIDÁCTICA CURSO 2015 /2016 RESUMEN INFORMATIVO PROGRAMACIÓN DIDÁCTICA CURSO 2015 /2016 DEPARTAMENTO: MATEMÁTICAS MATERIA: MATEMÁTICAS ACADÉMICAS CURSO: 3º ESO OBJETIVOS DEL ÁREA DE MATEMÁTICAS A LAS ENSEÑANZAS ACADÉMICAS 3º ESO

Más detalles

Trabajo Práctico Introductorio Matlab, Simulink y Métodos de Integración Numérica

Trabajo Práctico Introductorio Matlab, Simulink y Métodos de Integración Numérica Trabajo Práctico Introductorio Matlab, Simulink y Métodos de Integración Numérica Control I Dinámica de los Sistemas Físicos 1. Introducción Los sitemas continuos habitualmente se representan mediante

Más detalles

4.2 CÓMO SE NOS PRESENTAN LAS FUNCIONES

4.2 CÓMO SE NOS PRESENTAN LAS FUNCIONES Tema 4 Funciones. Características - Matemáticas B 4º E.S.O. 1 TEMA 4 FUNCIONES. CARACTERÍSTICAS 4.1 CONCEPTOS BÁSICOS 3º 4.1.1 DEFINICIONES 3º Una función liga dos variables numéricas a las que, habitualmente,

Más detalles

INTRODUCCIÓN A. Autor: José Antonio Glez. Reboredo

INTRODUCCIÓN A. Autor: José Antonio Glez. Reboredo INTRODUCCIÓN A Autor: José Antonio Glez. Reboredo 1. MÉTODOS FORMALES... 3 1.1. INTRODUCCIÓN... 3 1.2. ESPECIFICACIÓN... 4 1.3. VERIFICACIÓN... 5 1.3.1. COMPROBACIÓN DE MODELOS... 5 1.3.2. PRUEBA DE TEOREMAS...

Más detalles

Algoritmos sobre Grafos

Algoritmos sobre Grafos Sexta Sesión 27 de febrero de 2010 Contenido Deniciones 1 Deniciones 2 3 4 Deniciones sobre Grafos Par de una lista de nodos y una lista de enlaces, denidos a su vez como pares del conjunto de nodos.

Más detalles

Optimización de consultas Resumen del capítulo 14

Optimización de consultas Resumen del capítulo 14 Optimización de consultas Resumen del capítulo 14 Libro: Fundamentos de Bases de Datos Silberschatz et al. 5ed. Dr. Víctor J. Sosa Agenda 1. Visión general 2. Estimación de las estadísticas de los resultados

Más detalles

Matemáticas. 1 o ESO. David J. Tarifa García. info@esobachilleratouniversidad.com.es

Matemáticas. 1 o ESO. David J. Tarifa García. info@esobachilleratouniversidad.com.es Matemáticas 1 o ESO David J. Tarifa García info@esobachilleratouniversidad.com.es 1 Matemáticas - 1 o ESO 2 Índice 1 Tema 1. Los números naturales 6 1.1 Suma de números naturales................................

Más detalles

Equipo Docente de Fundamentos Físicos de la Informática. Dpto.I.I.E.C.-U.N.E.D. Curso 2001/2002.

Equipo Docente de Fundamentos Físicos de la Informática. Dpto.I.I.E.C.-U.N.E.D. Curso 2001/2002. TEMA 11. FENÓMENOS TRANSITORIOS. 11 Fenómenos transitorios. Introducción. 11.1. Evolución temporal del estado de un circuito. 11.2. Circuitos de primer y segundo orden. 11.3. Circuitos RL y RC en régimen

Más detalles

Capítulo V Operaciones Booleanas

Capítulo V Operaciones Booleanas 85 Capítulo V Operaciones Booleanas 5.1 Introducción Es muy posible que en muchos casos sea necesario comparar dos objetos y determinar cuál es su parte común. Esto implica intersectar los dos objetos

Más detalles

árbol como un conjunto de nodos y líneas

árbol como un conjunto de nodos y líneas ÁRBOLES CAPÍTULO 6 ÁRBOLES Desde el punto de vista conceptual, un árbol es un objeto que comienza con una raíz (root) y se extiende en varias ramificaciones o líneas (edges), cada una de las cuales puede

Más detalles

Razonamiento. con. Restricciones. Esquema Global. Tutorial IBERAMIA 2002. 1. Introducción - Definiciones - Ejemplos

Razonamiento. con. Restricciones. Esquema Global. Tutorial IBERAMIA 2002. 1. Introducción - Definiciones - Ejemplos Esquema Global Razonamiento con Restricciones Tutorial IBERAMIA 2002 Javier Larrosa Dep. LSI, UPC, Barcelona Pedro Meseguer IIIA, CSIC, Bellaterra 1. Introducción - Definiciones - Ejemplos 2. Métodos de

Más detalles

Matemáticas 2º BTO Aplicadas a las Ciencias Sociales

Matemáticas 2º BTO Aplicadas a las Ciencias Sociales Matemáticas 2º BTO Aplicadas a las Ciencias Sociales CONVOCATORIA EXTRAORDINARIA DE JUNIO 2014 MÍNIMOS: No son contenidos mínimos los señalados como de ampliación. I. PROBABILIDAD Y ESTADÍSTICA UNIDAD

Más detalles

PREPROCESADO DE DATOS PARA MINERIA DE DATOS

PREPROCESADO DE DATOS PARA MINERIA DE DATOS Ó 10.1007/978-3-319-02738-8-2. PREPROCESADO DE DATOS PARA MINERIA DE DATOS Miguel Cárdenas-Montes Frecuentemente las actividades de minería de datos suelen prestar poca atención a las actividades de procesado

Más detalles

1 Conceptos Básicos de Señales y Sistemas

1 Conceptos Básicos de Señales y Sistemas CAPÍTULO 1 Conceptos Básicos de Señales y Sistemas Cuando se hace referencia a los conceptos de señales y sistemas, su aplicación es válida para una variedad amplia de disciplinas, tales como sismología,

Más detalles

Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo

Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo Semánticas del cálculo de predicados proporcionan las bases formales para determinar el valor

Más detalles

Inecuaciones y Sistemas de Inecuaciones Lineales con una Incóg

Inecuaciones y Sistemas de Inecuaciones Lineales con una Incóg PreUnAB Inecuaciones y Sistemas de Inecuaciones Lineales con una Incógnita Clase # 11 Agosto 2014 Intervalos Reales Orden en R Dados dos números reales a y b, se dice que a es menor que b, a < b, si b

Más detalles

Universidad de Costa Rica Escuela de Matemática CONARE-PROYECTO RAMA. Funciones

Universidad de Costa Rica Escuela de Matemática CONARE-PROYECTO RAMA. Funciones Universidad de Costa Rica Escuela de Matemática CONARE-PROYECTO RAMA Funciones José R. Jiménez F. Temas de pre-cálculo I ciclo 007 Funciones 1 Índice 1. Funciones 3 1.1. Introducción...................................

Más detalles

TEMA 3 (parte 2). Representación del Conocimiento

TEMA 3 (parte 2). Representación del Conocimiento TEMA 3 (parte 2). Representación del Conocimiento Francisco José Ribadas Pena INTELIGENCIA ARTIFICIAL 5 Informática ribadas@uvigo.es 13 de noviembre de 2009 FJRP ccia [Inteligencia Artificial] 3.2.2 Lógica

Más detalles

Matemáticas. Si un error simple ha llevado a un problema más sencillo se disminuirá la puntuación.

Matemáticas. Si un error simple ha llevado a un problema más sencillo se disminuirá la puntuación. UNIVERSIDAD POLITÉCNICA DE CARTAGENA PRUEBAS DE ACCESO A LA UNIVERSIDAD DE LOS MAYORES DE 25 AÑOS CONVOCATORIA 2014 CRITERIOS DE EVALUACIÓN Matemáticas GENERALES: El examen constará de dos opciones (dos

Más detalles

Capítulo 3: APLICACIONES DE LAS DERIVADAS

Capítulo 3: APLICACIONES DE LAS DERIVADAS Capítulo : Aplicaciones de la derivada 1 Capítulo : APLICACIONES DE LAS DERIVADAS Dentro de las aplicaciones de las derivadas quizás una de las más importantes es la de conseguir los valores máimos y mínimos

Más detalles

{} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por.

{} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por. 2. Nociones sobre Teoría de Conjuntos y Lógica Para llevar a cabo nuestro propósito de especificar formalmente los problemas y demostrar rigurosamente la correctitud de nuestro programas, introduciremos

Más detalles

Razonamiento. con. Restricciones. Esquema Global. Tutorial CAEPIA 2003. 1. Introducción - Definiciones - Ejemplos

Razonamiento. con. Restricciones. Esquema Global. Tutorial CAEPIA 2003. 1. Introducción - Definiciones - Ejemplos Esquema Global Razonamiento con Restricciones Tutorial CAEPIA 2003 Javier Larrosa Dep. LSI, UPC, Barcelona Pedro Meseguer IIIA, CSIC, Bellaterra 1. Introducción - Definiciones - Ejemplos 2. Métodos de

Más detalles

Tema 3. Espacios vectoriales

Tema 3. Espacios vectoriales Tema 3. Espacios vectoriales Estructura del tema. Definición y propiedades. Ejemplos. Dependencia e independencia lineal. Conceptos de base y dimensión. Coordenadas Subespacios vectoriales. 0.1. Definición

Más detalles

PROCESO DE INNOVACIÓN EN LA ENSEÑANZA DE LA GESTIÓN DE EQUIPOS INDUSTRIALES EN INGENIERÍA

PROCESO DE INNOVACIÓN EN LA ENSEÑANZA DE LA GESTIÓN DE EQUIPOS INDUSTRIALES EN INGENIERÍA PON-C-22 PROCESO DE INNOVACIÓN EN LA ENSEÑANZA DE LA GESTIÓN DE EQUIPOS INDUSTRIALES EN INGENIERÍA A. García Sánchez (1), M. Ortega Mier (2), E. Ponce Cueto (3) Dpto. de Ingeniería de Organización, Administración

Más detalles

INTRODUCCIÓN A LA INTELIGENCIA ARTIFICIAL: LOS SISTEMAS EXPERTOS

INTRODUCCIÓN A LA INTELIGENCIA ARTIFICIAL: LOS SISTEMAS EXPERTOS Introducción a los Sistemas Expertos 1 INTRODUCCIÓN A LA INTELIGENCIA ARTIFICIAL: LOS SISTEMAS EXPERTOS ÍNDICE 1. INTRODUCCIÓN. EVOLUCIÓN HISTÓRICA 2. DEFINICIÓN Y CARACTERÍSTICAS DE LOS SE. 3. TIPOS Y

Más detalles

TEMA 5. MICROELECTRÓNICA ANALÓGICA INTEGRADA

TEMA 5. MICROELECTRÓNICA ANALÓGICA INTEGRADA TEMA 5. MCOEECTÓCA AAÓGCA TEGADA 5.. esistencias activas En el capítulo tercero se puso de manifiesto la dificultad que conlleva la realización de resistencias pasivas de elevado valor con tecnología CMOS,

Más detalles

5. AJUSTE DE PARÁMETROS DE LA BÚSQUEDA TABÚ

5. AJUSTE DE PARÁMETROS DE LA BÚSQUEDA TABÚ 5.Ajuste de parámetros de la búsqueda tabú 5. AJUSTE DE PARÁMETROS DE LA BÚSQUEDA TABÚ El algoritmo de Búsqueda Tabú (TS) utiliza un gran número de parámetros asociados a distintas etapas de la resolución.

Más detalles

Ecuaciones Diferenciales Tema 2. Trasformada de Laplace

Ecuaciones Diferenciales Tema 2. Trasformada de Laplace Ecuaciones Diferenciales Tema 2. Trasformada de Laplace Ester Simó Mezquita Matemática Aplicada IV 1 1. Transformada de Laplace de una función admisible 2. Propiedades básicas de la transformada de Laplace

Más detalles

Integrador, realimentación y control

Integrador, realimentación y control Prctica 1 Integrador, realimentación y control El programa Simulink es un programa incluido dentro de Matlab que sirve para realizar la integración numérica de ecuaciones diferenciales a efectos de simular

Más detalles

Registro (record): es la unidad básica de acceso y manipulación de la base de datos.

Registro (record): es la unidad básica de acceso y manipulación de la base de datos. UNIDAD II 1. Modelos de Bases de Datos. Modelo de Red. Representan las entidades en forma de nodos de un grafo y las asociaciones o interrelaciones entre estas, mediante los arcos que unen a dichos nodos.

Más detalles

Tema 7: Optimización sobre Redes Muchos de los problemas de Investigación Operativa pueden modelizarse y resolverse sobre un grafo: conjunto de

Tema 7: Optimización sobre Redes Muchos de los problemas de Investigación Operativa pueden modelizarse y resolverse sobre un grafo: conjunto de Tema 7: Optimización sobre Redes Muchos de los problemas de Investigación Operativa pueden modelizarse y resolverse sobre un grafo: conjunto de vértices o nodos conectados con arcos y/o aristas. Diseñar

Más detalles

BASES DE DATOS MIS 308

BASES DE DATOS MIS 308 2. MODELOS DE DATOS Introducción 2.1 Entidad relación 2.2 Jerárquico 2.3 De red 2.4 Relacional Introducción Hoy en día las empresas manejan una gran cantidad de datos. Cualquier empresa que se precie debe

Más detalles

Desarrollo de un nuevo algoritmo para resolver programas lineales enteros y su aplicación práctica en el desarrollo económico.

Desarrollo de un nuevo algoritmo para resolver programas lineales enteros y su aplicación práctica en el desarrollo económico. Desarrollo de un nuevo algoritmo para resolver programas lineales enteros y su aplicación práctica en el desarrollo económico. 7071 Febrero, 2014 Resumen Es importante señalar que en un entorno social

Más detalles

CATÁLOGO DE INFERENCIAS

CATÁLOGO DE INFERENCIAS Las inferencias son los elementos claves en los modelos de conocimiento o Son los elementos constitutivos de los procesos de razonamiento No existe ningún estándar CommonKADS ofrece un catálogo que cubre

Más detalles

La gestión de proyectos es la rama de la ciencia de la administración que trata de la planificación y el control de proyectos.

La gestión de proyectos es la rama de la ciencia de la administración que trata de la planificación y el control de proyectos. DEFINICIÓN DE PROYECTO Un proyecto es un conjunto de acciones No repetitivas Únicas De duración determinada Formalmente organizadas Que utilizan recursos Podremos considerar un proyecto, a efectos de aplicarle

Más detalles

Unidad V: Integración

Unidad V: Integración Unidad V: Integración 5.1 Introducción La integración es un concepto fundamental de las matemáticas avanzadas, especialmente en los campos del cálculo y del análisis matemático. Básicamente, una integral

Más detalles

CONTENIDOS MÍNIMOS BACHILLERATO

CONTENIDOS MÍNIMOS BACHILLERATO CONTENIDOS MÍNIMOS BACHILLERATO I.E.S. Vasco de la zarza Dpto. de Matemáticas CURSO 2013-14 ÍNDICE Primero de Bachillerato de Humanidades y CCSS...2 Primero de Bachillerato de Ciencias y Tecnología...5

Más detalles

Bases de datos activas, un enfoque de red de Petri

Bases de datos activas, un enfoque de red de Petri Bases de datos activas, un enfoque de red de Petri Joselito Medina-Marín, Xiaoou Li, Aurora Pérez-Rojas, Oscar Montaño-Arango, y José Ramón Corona-Armenta Resumen. Las bases de datos activas (BDA) son

Más detalles

BASES DE DATOS TEMA 4 DISEÑO DE BASES DE DATOS RELACIONALES

BASES DE DATOS TEMA 4 DISEÑO DE BASES DE DATOS RELACIONALES BASES DE DATOS TEMA 4 DISEÑO DE BASES DE DATOS RELACIONALES El modelo relacional se basa en dos ramas de las matemáticas: la teoría de conjuntos y la lógica de predicados de primer orden. El hecho de que

Más detalles

Apuntes de Matemática Discreta 6. Relaciones

Apuntes de Matemática Discreta 6. Relaciones Apuntes de Matemática Discreta 6. Relaciones Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 6 Relaciones Contenido 6.1 Generalidades.....................................

Más detalles

+ 7 es una ecuación de segundo grado. es una ecuación de tercer grado.

+ 7 es una ecuación de segundo grado. es una ecuación de tercer grado. ECUACIONES Y DESIGUALDADES UNIDAD VII VII. CONCEPTO DE ECUACIÓN Una igualdad es una relación de equivalencia entre dos epresiones, numéricas o literales, que se cumple para algún, algunos o todos los valores

Más detalles

FICHEROS Y BASES DE DATOS (E44) 3º INGENIERÍA EN INFORMÁTICA. Tema 10. Álgebra Relacional

FICHEROS Y BASES DE DATOS (E44) 3º INGENIERÍA EN INFORMÁTICA. Tema 10. Álgebra Relacional FICHEROS Y BASES DE DATOS (E44) 3º INGENIERÍA EN INFORMÁTICA Tema 10. Álgebra Relacional 1.- Introducción. 2.- Una Sintaxis para el Álgebra Relacional. 3.- Asignación Relacional. 4.- Operaciones Tradicionales

Más detalles

CAPITULO 1 RESOLUCIÓN DE PROBLEMAS. Espacio de Estados. Características Generales de los Procesos de Búsqueda

CAPITULO 1 RESOLUCIÓN DE PROBLEMAS. Espacio de Estados. Características Generales de los Procesos de Búsqueda CAPITULO 1 RESOLUCIÓN DE PROBLEMAS Espacio de Estados Características Generales de los Procesos de Búsqueda Estrategias de Exploración del Espacio de Estados Resumen Textos Básicos 1. RESOLUCIÓN DE PROBLEMAS

Más detalles

Inteligencia Artificial para desarrolladores Conceptos e implementación en C#

Inteligencia Artificial para desarrolladores Conceptos e implementación en C# Introducción 1. Estructura del capítulo 19 2. Definir la inteligencia 19 3. La inteligencia de los seres vivos 22 4. La inteligencia artificial 24 5. Dominios de aplicación 26 6. Resumen 28 Sistemas expertos

Más detalles

Introducción. Conceptos y principios. Introducción. Introducción. Elementos del modelo de análisis. Elementos del modelo de diseño.

Introducción. Conceptos y principios. Introducción. Introducción. Elementos del modelo de análisis. Elementos del modelo de diseño. Definición de diseño Proceso para la definición detallada de un sistema con el fin de su realización física. Ingeniería del Software 1 Ingeniería del Software 2 Modelo de diseño vs. Paradigma de IS 3 actividades

Más detalles

Tema IV. Unidad aritmético lógica

Tema IV. Unidad aritmético lógica Tema IV Unidad aritmético lógica 4.1 Sumadores binarios 4.1.1 Semisumador binario (SSB) 4.1.2 Sumador binario completo (SBC) 4.1.3 Sumador binario serie 4.1.4 Sumador binario paralelo con propagación del

Más detalles

Tema 6. Restricciones a la Base de Datos: Integridad y seguridad

Tema 6. Restricciones a la Base de Datos: Integridad y seguridad Tema 6. Restricciones a la Base de Datos: Integridad y seguridad Juan Ignacio Rodríguez de León Resumen Las restricciones desde el punto de vista de integridad de bases de datos. se presentan dependencias

Más detalles

RECOMENDACIÓN UIT-R TF.538-3 MEDICIONES DE LA INESTABILIDAD DE FRECUENCIA Y EN EL TIEMPO (FASE) (Cuestión UIT-R 104/7)

RECOMENDACIÓN UIT-R TF.538-3 MEDICIONES DE LA INESTABILIDAD DE FRECUENCIA Y EN EL TIEMPO (FASE) (Cuestión UIT-R 104/7) Caracterización de las fuentes y formación de escalas de tiempo Rec. UIT-R TF.538-3 1 RECOMENDACIÓN UIT-R TF.538-3 MEDICIONES DE LA INESTABILIDAD DE FRECUENCIA Y EN EL TIEMPO (FASE) (Cuestión UIT-R 104/7)

Más detalles

TEMA 4: TÉCNICAS DE PLANIFICACIÓN DE PROYECTOS

TEMA 4: TÉCNICAS DE PLANIFICACIÓN DE PROYECTOS TEMA 4: TÉCNICAS DE PLANIFICACIÓN DE PROYECTOS 4.1. Objetivos Establecer una relación esfuerzo / tiempo cronológico Estudiar el posible paralelismo de las tareas Situar las tareas en un esquema cronológico

Más detalles

Complejidad - Problemas NP-Completos. Algoritmos y Estructuras de Datos III

Complejidad - Problemas NP-Completos. Algoritmos y Estructuras de Datos III Complejidad - Problemas NP-Completos Algoritmos y Estructuras de Datos III Teoría de Complejidad Un algoritmo eficiente es un algoritmo de complejidad polinomial. Un problema está bien resuelto si se conocen

Más detalles

Modelos matemáticos de simulación

Modelos matemáticos de simulación Modelos matemáticos de simulación Andrés Ramos Andres.Ramos@iit.icai.upcomillas.es Universidad Pontificia Comillas Begoña Vitoriano bvitoriano@mat.ucm.es Universidad Complutense de Madrid Índice Sistemas,

Más detalles

INECUACIONES: DESIGUALDADES. 3. Usa métodos para solucionar desigualdades lineales y cuadráticas.

INECUACIONES: DESIGUALDADES. 3. Usa métodos para solucionar desigualdades lineales y cuadráticas. FUNDACIÓN INSTITUTO A DISTANCIA EDUARDO CABALLERO CALDERON Espacio Académico: Matemáticas Docente: Mónica Bibiana Velasco Borda mbvelascob@uqvirtual.edu.co CICLO: V INICIADORES DE LOGRO INECUACIONES: DESIGUALDADES

Más detalles

Métodos para la construcción de software fiable: Interpretación Abstracta. María del Mar Gallardo Melgarejo Pedro Merino Gómez

Métodos para la construcción de software fiable: Interpretación Abstracta. María del Mar Gallardo Melgarejo Pedro Merino Gómez Métodos para la construcción de software fiable: Interpretación Abstracta María del Mar Gallardo Melgarejo Pedro Merino Gómez Dpto. de Lenguajes y Ciencias de la Computación Universidad de Málaga (gallardo,pedro)@lcc.uma.es

Más detalles

Profesoresdematemáticaswww.institu teofmathematics.webs.comprofesores dematemáticaswww.instituteofmathe. matics.webs.comprofesoresdematemá

Profesoresdematemáticaswww.institu teofmathematics.webs.comprofesores dematemáticaswww.instituteofmathe. matics.webs.comprofesoresdematemá Profesoresdematemáticaswww.institu teofmathematics.webs.comprofesores dematemáticaswww.instituteofmathe Matemáticas IV matics.webs.comprofesoresdematemá ENP ticaswww.instituteofmathematics.web s.comprofesoresdematematicaswww.i

Más detalles

Universidad de Costa Rica Escuela de Matemática ALGEBRA LINEAL. x x1 n. θ y. 1 n x1 n ȳ1 n. Carlos Arce S. William Castillo E. Jorge González V.

Universidad de Costa Rica Escuela de Matemática ALGEBRA LINEAL. x x1 n. θ y. 1 n x1 n ȳ1 n. Carlos Arce S. William Castillo E. Jorge González V. Universidad de Costa Rica Escuela de Matemática ALGEBRA LINEAL x x x1 n θ y y ȳ1 n 1 n x1 n ȳ1 n Carlos Arce S. William Castillo E. Jorge González V. 2003 Algebra Lineal Carlos Arce S., William Castillo

Más detalles

PROGRAMACIÓN CON RESTRICCIONES PARA EL TRATAMIENTO DE INCERTIDUMBRE EN CSP NUMÉRICOS

PROGRAMACIÓN CON RESTRICCIONES PARA EL TRATAMIENTO DE INCERTIDUMBRE EN CSP NUMÉRICOS Universidad Técnica Federico Santa María Departamento de Informática Valparaíso Chile PROGRAMACIÓN CON RESTRICCIONES PARA EL TRATAMIENTO DE INCERTIDUMBRE EN CSP NUMÉRICOS Tesis presentada como requerimiento

Más detalles

UNIDAD DIDÁCTICA: ELECTRÓNICA DIGITAL

UNIDAD DIDÁCTICA: ELECTRÓNICA DIGITAL IES PABLO RUIZ PICASSO EL EJIDO (ALMERÍA) CURSO 2013-2014 UNIDAD DIDÁCTICA: ELECTRÓNICA DIGITAL ÍNDICE 1.- INTRODUCCIÓN A LA ELECTRÓNICA DIGITAL 2.- SISTEMA BINARIO 2.1.- TRANSFORMACIÓN DE BINARIO A DECIMAL

Más detalles

CIRCUITOS DC Y AC. En las fuentes reales, ya sean de voltaje o corriente, siempre se disipa una cierta cantidad de energía en forma de calor.

CIRCUITOS DC Y AC. En las fuentes reales, ya sean de voltaje o corriente, siempre se disipa una cierta cantidad de energía en forma de calor. CIRCUITOS DC Y AC 1. Fuentes de tensión y corriente ideales.- Una fuente ideal de voltaje se define como un generador de voltaje cuya salida V=V s es independiente de la corriente suministrada. El voltaje

Más detalles

ALGEBRA LINEAL. Héctor Jairo Martínez R. Ana María Sanabria R.

ALGEBRA LINEAL. Héctor Jairo Martínez R. Ana María Sanabria R. ALGEBRA LINEAL Héctor Jairo Martínez R. Ana María Sanabria R. SEGUNDO SEMESTRE 8 Índice general. SISTEMAS DE ECUACIONES LINEALES.. Introducción................................................ Conceptos

Más detalles

http://www.cepamarm.es ACFGS - Matemáticas ESG - 05/2013 Pág. 1 de 17

http://www.cepamarm.es ACFGS - Matemáticas ESG - 05/2013 Pág. 1 de 17 http://www.cepamarm.es ACFGS - Matemáticas ESG - 05/2013 Pág. 1 de 17 1 CONCEPTOS BÁSICOS 1.1 DEFINICIONES Una función liga dos variables numéricas a las que, habitualmente, se les llama x e y. x es la

Más detalles

Ingeniería en Informática

Ingeniería en Informática Departamento de Informática Universidad Carlos III de Madrid Ingeniería en Informática Aprendizaje Automático Junio 2007 Normas generales del examen El tiempo para realizar el examen es de 3 horas No se

Más detalles

Programación orientada a

Programación orientada a Programación orientada a objetos con Java Pedro Corcuera Dpto. Matemática Aplicada y Ciencias de la Computación Universidad de Cantabria corcuerp@unican.es Objetivos Presentar los conceptos de la programación

Más detalles

FICHEROS Y BASES DE DATOS (E44) 3º INGENIERÍA EN INFORMÁTICA. Tema 11. Cálculo Relacional

FICHEROS Y BASES DE DATOS (E44) 3º INGENIERÍA EN INFORMÁTICA. Tema 11. Cálculo Relacional FICHEROS Y BASES DE DATOS (E44) 3º INGENIERÍA EN INFORMÁTICA Tema 11. Cálculo Relacional 1.- Introducción. 2.- Cálculo Relacional Orientado a Tuplas. 3.- Cálculo Relacional vs Álgebra Relacional: Algoritmo

Más detalles

13. Técnicas de simulación mediante el método de Montecarlo

13. Técnicas de simulación mediante el método de Montecarlo 13. Técnicas de simulación mediante el método de Montecarlo Qué es la simulación? Proceso de simulación Simulación de eventos discretos Números aleatorios Qué es la simulación? Simulación = técnica que

Más detalles

INTRODUCCIÓN A LA PROGRAMACIÓN MATEMÁTICA

INTRODUCCIÓN A LA PROGRAMACIÓN MATEMÁTICA INTRODUCCIÓN A LA PROGRAMACIÓN MATEMÁTICA Dentro del campo general de la teoría de la optimización, también conocida como programación matemática conviene distinguir diferentes modelos de optimización.

Más detalles

Ejercicios de Funciones, límites y continuidad.

Ejercicios de Funciones, límites y continuidad. Matemáticas 1ºBach CNyT. Ejercicios Funciones. Pág 1/12 Ejercicios de Funciones, límites y continuidad. 1. Estudia el dominio de las siguientes funciones 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14.

Más detalles

ORIENTACIONES PARA LA PRUEBA DE APTITUD PARA EL ACCESO A LA UNIVERSIDAD

ORIENTACIONES PARA LA PRUEBA DE APTITUD PARA EL ACCESO A LA UNIVERSIDAD ORIENTACIONES PARA LA PRUEBA DE APTITUD PARA EL ACCESO A LA UNIVERSIDAD MODALIDAD CIENTÍFICO-TÉCNICO 1. NOMBRE DE LA MATERIA: Matemáticas II 2. NOMBRE DEL COORDINADOR: Miguel Delgado Pineda (mdelgado@mat.uned.es,

Más detalles

CONSTRUCCION DE SISTEMAS EXPERTOS

CONSTRUCCION DE SISTEMAS EXPERTOS CONSTRUCCION DE SISTEMAS EXPERTOS TECNICAS DE EDUCCION DEL CONOCIMIENTO Dr. Ramón GARCIA MARTINEZ GRAFOS ARQUETÍPICOS En muchos dominios de conocimiento, puede reconocerse una estructura de representación

Más detalles

Tecnólogo Informático- Estructuras de Datos y Algoritmos- 2009

Tecnólogo Informático- Estructuras de Datos y Algoritmos- 2009 Árboles Ejemplos de estructuras arborescentes: con forma de árbol Regla de Alcance: los objetos visibles en un procedimiento son aquellos declarados en él mismo o en cualquier ancestro de él (cualquier

Más detalles

Análisis espectral de señales periódicas con FFT

Análisis espectral de señales periódicas con FFT Análisis espectral de señales periódicas con FFT 1 Contenido 7.1 Introducción a la Transformada Discreta de Fourier 3-3 7.2 Uso de la Transformada Discreta de Fourier 3-5 7.3 Método de uso de la FFT 3-8

Más detalles