jueves, 20 de septiembre de 2012

Tarea 3 laboratorio

Problema que se escogio:
Obtener la transferencia de funciones C(s) / R(s) y C(s) / D(s) del sistema mostrado en la figura 3-76.


Para generar formulas y poder realizar este problema le agregamos unas variables al sistema:


creamos nuestras formulas apartir de la imagen anterior
  1. E(s) = R(s) - H2C(s)
  2. U(s) = GcE(s) - H1G2
  3. C(s) = G3G2[D(s) + G1U(s)]
Sustituimos la formula 2 en 3 y nos queda de esta manera:
  • [4] C(s) = G2D(s) + G2G1 + G3D(s) + G3G1[GcE(s) - H1G2]
Ahora sustituimos 1 en 4, queda de la siguiente manera:
  • C(s) = G2D(s) + G2G1 + G3D(s) + G3G1{Gc[R(s) - H2C(s)] - H1G2}
Ahora resolvemos:
  • C(s) = G2D(s) + G2G1 + G3D(s) + G3G1{GcR(s) - GcH2C(s) - H1G2}
  • C(s) = G2D(s) + G2G1 + G3D(s) + G3G1GcR(s) - G3G1GcH2C(s) - G3G1H1G2

Evaluamos para C(s)
  •  C(s) + G3G1GcH2C(s) + G3G1H1G2 = G2D(s) + G2G1 + G3D(s) + G3G1GcR(s)

  • C(c) +  G3G1(GcH2C(s) + H1G2) = G2[D(s) + G1] + G3[D(s) + G1GcR(s)]

Nos queda asi despues de todo el proceso:

Ahora evaluamos con D = 0:

 
Ahora evaluamos para R= 0:
 

 

week 6: Web service RSA

In this week, we need to aplicated a server web with rsa system

Here the code:
In this code i have a problem with the variables and  forever show the message not him, i dont know why :C


here some images

here the page
http://alejandroave.260mb.org/Obed/

martes, 18 de septiembre de 2012

Tarea 6: Logica predicativa

En esta semana nos toco escoger un problema y realizarlo del siguiente pdf: http://www.logicinaction.org/docs/ch4.pdf

El ejercicio que se escogio fue el 4.28, en el que dice:
Which quantifier occurrence binds which variable occurrences?
∀x(Px  ⇒ ∃xRxx)
Traducido:
Que cuantificador de ocurrencia se unen con la variable de ocurrencia?
∀x(Px  ⇒ ∃xRxx)

Aqui el arbol, con el fin de ver mejor el problema o la solucion que queremos encontrar:

Solucion:
Las dos "x" son ocurrencia del primer cuantificador "∀x".
Y las ultimas dos "x" de esta sentencia "∃xRxx" son ocurrencias del cuantificador existencial "∃x".

martes, 11 de septiembre de 2012

Reporte 1 Automatizacion

Lo que se hará de proyecto para esta materia, será un "cooler" que sea controlado por medio de la temperatura de la laptop para evitar que sus componentes que se quemen.



Materiales:
  • Sensores de temperatura.
  • Controlador de voltaje.
  • Resistencias.
  • Cable.
  • Ventiladores (cooler).
Bien ahora vamos a sacar las entradas y salidas que serian acciones que produciría el funcionamiento de lo que deseamos hacer.

La entrada a mi parecer seria:


donde:
  • Q = Calor
  • I = Corriente eléctrica
  • R = Resistencia.
  • t = tiempo.
Y los valores de salida serian:

donde:
  • I = Corriente eléctrica
  • V = Voltaje 
  • R = Resistencia
Aquí esta formula la despejamos para encontrar voltaje ya que eso nos ayudara a controlar mejor los ventiladores, ya que a menor voltaje menor fuerza en las vueltas del ventilador. Para esto tenemos el controlador de voltaje.

Entonces nos quedaría de esta forma:


 Ahora de la siguiente ecuación:



Sustituiremos las entradas y las salidas o sea X y Y, y tenemos:



Sacamos su transformada:

L\left\{{G(t)}\right\} = L\left\{{\frac{R * I(t)}{I^2 * R * T(t)}}\right\} 

Así nos queda la función de transferencia:

Lógica Predicativa

Para la realizacion de la tarea 5, se escogio un ejercicio del libro "Lean Symbolic Logic" de  Lewis Carroll.

Este es el ejercicio escogido, el numero 12:

Some holidays are rainy;
Rainy days are tiresome.

Damos una equivalencia simbolica, aqui lo que hice:
  • H(x) = holidays
  • R(x) = rainy
  • T(x) = tiresome
 Cuantificadores:
  • ∀ = Para todos.
  • ∃ = Por lo menos uno, alguno 
Ahora combinamos y este es el resultado:

 Some holidays are rainy;
∃xH(x) -> R(x)
 
Rainy days are tiresome.
∀xR(x) -> T(x)

Entonces podriamos decir que:

Some holidays are rainy and tiresome
  ∴∃xH(x) -> R(x)^T(x)

jueves, 6 de septiembre de 2012

Tarea 2 lab.

Esta es la transformada inversa de laplace que me toco realizar:

 
El termino s+1 es s-a, es decir a = -1 y al aplicar el teorema de traslacion tenemos:

Sacando el 5 y e^-s.


y usando la tabla de las transformada de laplace


Tenemos que



es igual a





y

es igual a u(T - a)


La ecuacion queda de esta forma:


segun el teorema de traslacion es necesario cambiar la variable T por el recorrido de la funcion exponencial.

Por lo tanto queda de esta manera.


miércoles, 5 de septiembre de 2012

Diffie-hellman protocol

A little introduction:

The Diffie-Hellman cryptographic protocol, one due to Whitfield Diffie and Martin Hellman (Diffie-Hellman Problem-> DHP) is a key establishment protocol between parties who have had no previous contact, using an insecure channel, and anonymously (not authenticated).

It is generally used as a means to agree to be symmetric keys used for encryption of a session (session key establishment). Unauthenticated being, however, provides the basis for various protocols authenticated.

Your safety lies in the extreme difficulty (conjectured, not proven) to compute discrete logarithms in a finite field.



Excercise


Data are:
  • p = 11
  • g = 9
  • X = 4
  • Y = 9

The formulas are:
  • X = (g^x) mod p
  • Y = (g^y) mod p
  • k = (Y^x) mod p
  • k = (X^y) mod p

So,we had to find
  • x = ?
  • y = ?
  • k = ? 
for this task, i used the method of trial and error until the numbers were equal, so here is how we realize:

first find y with the following numbers:
first try :(
Y = 9^8 mod 11 = 9x9x9x9x9x9x9x9 mod 11 = 43046721 mod 11 =  3

second try :(
Y = 9^4 mod 11 = 9x9x9x9 mod 11 =  6561 mod 11 =  5

third try :(
Y = 9^9 mod 11 = 9x9x9x9x9x9x9x9x9 mod 11 = 387420489 mod 11 = 5

fourth try :(
Y = 9^10 mod 11 = 9x9x9x9x9x9x9x9x9x9 mod 11 = 3486784401 mod 11 = 1

fifth try :)
Y = 9^6 mod 11 = 9x9x9x9x9x9 mod 11 = 531441 mod 11 = 9

y = 6

then the x:

first try:
X = 9^5 mod 11 = 9x9x9x9x9 mod 11 = 59049 mod 11 = 1


second try:
X = 9^7 mod 11 = 9x9x9x9x9x9x9 mod 11 = 4782969 mod 11 = 4

x = 7

then find k:

k = 4^6 mod 11 = 4096 mod 11 = 4

k = 4 

here my calculations:




that's all.

sorry for my bad english

Bibliography:
http://es.wikipedia.org/wiki/Diffie-Hellman
Image

martes, 4 de septiembre de 2012

BDD: Diagrama de Decisión Binario

En esta semana la tarea es realizar las siguientes actividades:

1-. Crear una expresión Booleana
2-. Realizar un BDD con la misma
3-. Reducir el BDD a un ROBDD

La expresión Booleana a verificar es la siguiente:
y(x) = [(A ^ C) v (A v B)] ^ (¬B)

La tabla de verdad:



Aqui como queda el diagrama:



Unimos las C similares de 0 y 1


Como en las lineas de 1 de B las dos son iguales entonces eliminamos una C y unimos


El B como sus dos C son iguales a 0 entonces eliminamos uno y unimos

El B como sus dos resultados daran 0 entonces eliminamos el C.


Al final asi me queda: