martes, 30 de octubre de 2012

REPORTE

En Esta entrada se realizaron pruebas a el sistema que se usara mas adelante, se utilizo el lenguaje de programacion octave .


Primero se tiene la funcion de transferencia que esta.


Ya teniendo nuestra funcion de transferencia las entradas sera la fuerza que entra al sistema.

"F(s) "


Le di una fuerza de entrada de 30

Codigo



El bode me arroja esto.





y el Step me arroja esto.
 
La funcion podemos ver que es estable, ya que se estabiliza a partir de los 25 segundos y no cuenta 
con ceros en el hiperplano derecho. 
 
. 

lunes, 29 de octubre de 2012

Modelado


Esta tarea se tenia que elegir un sistema y modelarlo , se dijo que podía modelarse ya sea por un sistema de transiciones o de un grafo.

Yo tome un sistema de plumas de una colonia privada.



Componentes:


Pluma de acceso : Es la que baja y sube  para dar acceso al vehiculo.

Persona : La persona en si es parte de el automovil , osea vendria implicito en el auto pero esta es la que lleva el carro hasta la pluma y se mantiene en espera mientras sube la pluma para avanzar.

 

Existen varios estados en este sistema por ejemplo.


Pluma de acceso: Tiene el estado de espera que es cuando no esta ningun vehiculo esperando.

Cuando llega el vehiculo se levanta la pluma y espera a que pase el vehiculo para bajar.

0 - cuando No ahy vehiculo.
1 - cuando llega el vehiculo y la pluma se levanta.
2 - cuando paso el vehiculo y la pluma baja.

Persona Estados:

0 - ( Depende de el horario y si exista fila para entrar enla colonia) : La persona se encuentra haciendo fila para llegar a el acceso .
1 - Espera: La persona espera a que la pluma se levante.

2 - Avance: cuando ya se levanta y acelera el automovil.


Diagrama de transiciones:


Aqui esta el diagrama de transicion .
 
Estados:


0, 1,2  = Estados del componente Persona (Hace fila para llegar al acceso, llega y espera a que se levante , se levanta y acelera)

0, 1, 2,  = Estados del componente Pluma de acceso(Espera, Cuando se levanta, Cuando el carro pasa y la pluma baja.)

0 - cuando No ahy vehiculo.
1 - cuando llega el vehiculo y la pluma se levanta.
2 - cuando paso el vehiculo y la pluma baja.

Para distinguir a cual se refiere  cada una , se manejara el primer numero para Estados de la persona y el segundo para estados de la pluma. En el sistema puede pasar que solo exista un automovil en la fila entonces el sistema regresara a 0,0 , o que exista automoviles en la fila entonces de el ultimo estado que es 2,2 pasaria a 1,0 , directament con un carro esperando a que se levante la pluma.





jueves, 18 de octubre de 2012

PROBLEMA

Esta entrada es relacionada con el lab. de automatización , se eligió un problema y se deberá resolver.


Este es el problema 

Un termómetro requiere de un minuto para alcanzar el 98% del valor final de la respuesta a una entrada escalón. Suponiendo que el termómetro es un sistema de primer orden, encuentre la constante de tiempo. Si el termómetro se coloca en un baño, cuya temperatura cambia en forma lineal a una velocidad de l0’/min, cuánto error muestra el termómetro?

A continuación la solución.




lunes, 15 de octubre de 2012

Aplicación de la lógica predicativa

Tiene muchos tipos de aplicaciones y un uno de ellos es en la  las bases de datos.

Un uso importante de la lógica de predicados o predicativa se encuentra en las bases de datos 
y mas generalmente una noción de "base de conocimientos", que se define como una base de datos más diversas reglas de cálculo

En esta aplicacion es muy común el uso de predicados que contienen variables como consultas. Los propios predicados representan los datos básicos almacenados , predicados computables o combinaciones de los mismo. 
Una consulta le pide al sistema encontrar todos los individuos correspondientes a las variables en la expresión de tal manera que si la expresión se satisface evaluara un 1. Esta idea puede demostrarse consultando en una base de datos utilizando el lenguaje Prolog que si bien no es el lenguaje de consulta mas utilizado sino el SQL , sino que es uno de los mas naturales para utilizarse.  

Un ejemplo de base de datos en Prolog

Existen muchas maneras de representar los predicados en una bae de datos, como por archivos estructurados representando tablas u hojas de cálculos etc. Aquí en este lenguaje una de las formas ara representar un predicado es solo una enumeración de todas las combinaciones de valores para los que el predicado es verdadero.

Se define el predicado madre y el padre de para poder modelar la familia de el arbol.


 

Es posible que una consulta no contenga variables, en cuyo caso se esperaría una respuesta de 1 o 0.
Por ejemplo
madre (Susan, Hank) ⇒ verdadero
madre (Susan, tom) ⇒ falso


Más interesante aún, cuando ponemos las variables en las consultas, esperamos obtener los valores para
aquellas variables que satisfacen el predicado:
mother(alice, X) ⇒ X = tom;  X = carol (two alternatives for X)
father(tom, X) ⇒ false (no such X exists)
mother(X, Y) ⇒ (several alternative combinations for X, Y)
X = alice, Y = tom;
X = alice, Y = carol;
X = carol, Y = george;
X = carol, Y = heather;
X = susan, Y = hank


Tenga en cuenta que los valores X y Y deben estar en correspondencia. No estaría bien que simplemente
se proporcionara el conjunto de X y el conjunto de Y por separado.

El lenguaje Prolog nos permite presentar consultas y recibir una respuesta automática en un estilo similar a la anterior. Por otra parte, Prolog nos permite definir nuevos predicados que utilizan lógica en lugar de la enumeración.


Tal predicado se define por la expresión lógica siguiente:
abuela (X, Y): - madre  (X, Z), padre (Z, Y).


Esto : - se lee como "si" y la coma que separa la madre y el padre se lee como "y". Esto es, en efecto, "X es la abuela de Y si X es la madre de (algunos) Z y Z es el
padre de Y "Aún tenemos que definir padre, pero vamos a hacer esto ahora.:

A continuación: - se lee como "si" y la coma que separa la madre y el padre se lee como "y". esta
Dice, en efecto, "X es la abuela de Y si X es la madre de (algunos) Z y Z es el padre de Y "Aún tenemos que definir padre, pero vamos a hacer esto ahora.:

padre (X, Y): - La madre de (X, Y).
padre (X, Y): - padre (X, Y).

Aquí tenemos dos afirmaciones distintas lógicas, que dice que "X es el padre de Y si X es la madre de Y ", y el otro diciendo algo similar para el padre. Estas afirmaciones no son contradictorio, por el término de enlace: - es "si" no ", si y sólo si". Sin embargo, la recogida de todas las afirmaciones con un símbolo de predicado dado en la lhs agota las posibilidades para ese predicado.

Así, las dos reglas anteriores juntos podría ser tomado como equivalente a:
padre (X, Y) si y sólo si (la madre (X, Y) o padre (X, Y))

Dadas estas definiciones, además de la base de datos, ahora tenemos una "base de conocimiento"
ya que contamos con las normas, así como enumeraciones. Podemos consultar los predicados se definen en la misma manera que consultan los enumerados.


grandmother(alice, Y) ⇒ Y = george; Y = heather
grandmother(X, Y) ⇒ X = alice, Y = george;
X = alice, Y = heather
X = carol, Y = hank
grandmother(susan, Y) ⇒ false


referencias:

http://www.cse.iitd.ernet.in/~kkb/CSL864-1.pdf http://www.cse.iitd.ernet.in/~kkb/CSL864-1.pdf
http://www.cs.hmc.edu/~keller/cs60book/10%20Predicate%20Logic.pdf