Ir al contenido principal

Entradas

Mostrando entradas de agosto, 2012

Prueba de Frecuencia (Monobit)

La entrada para esta semana era hacer un programa que evaluara si nuestras claves eran realmente random.   Pero ¿porque es importante saber si es realmente random? Bueno, unos de los problemas mas comunes en criptografía es que un mensaje se puede descubrir con ataques de frecuencia, haciendo este método nos aseguramos y hacemos que nos ataquen de otra forma mas complicada, en otras palabras, se las ponemos mas difícil. Existen como 8 pruebas (de lo que alcance a ver, checa el link de las referencias) para evaluar si tus números o caracteres son realmente random, en mi programa use la de prueba de frecuencia monobit; pero ¿cual es el propósito o como funciona esta prueba? El propósito de esta prueba, es determinar si el número de unos y ceros en una secuencia son aproximadamente la misma que sería de esperar para una secuencia verdaderamente aleatoria. La aparición de un cero o un uno en la secuencia debería ser igualmente probables, de modo que el defecto detectado por este

Lógica Proposicional

Lógica Proposicional La tarea de esta semana consiste en investigar y documentar una aplicación de la lógica proposicional. Para empezar que es la lógica proposicional? La lógica Proposicional pretende estudiar las frases declarativas simples (enunciados o proposiciones) que son los elementos básicos de transmisión de conocimiento humano. De manera informal, una proposición se define como una frase que puede ser considerada Verdadera o Falsa y que no se puede descomponer en otras frases Verdaderas o Falsas. Para relacionar las distintas proposiciones se utilizan las siguientes conectivas: Técnicas Semánticas de Estudio de Validez Proposicional Existen varios formas para resolver estas proposiciones como tablas de verdad, arboles semánticos, demostraciones por contradiccion, resolución proposicional. Tablas de Verdad Una tabla de verdad es una representación en forma de árbol del valor de una fórmula en todas las posibles interpretaciones. Por ejemplo, para calcula

LAB Automatización - Semana 1

Para esta semana tenemos que explicar un tema que se nos repartió, en mi caso es "Funciones desplazadas en el tiempo". Que son las funciones desplazadas en el tiempo? Decimos que dos funciones f1 y f2 son iguales pero desplazadas en el tiempo cuando se cumple para todo instante de tiempo que los valores que f1 adquiere en el instante de tiempo t, f2 los repite en el instante de tiempo t+ td. En general por responder las dos funciones f1 y f2 a la misma característica, aunque desplazada en el tiempo, se les llama con el mismo nombre y diremos que si f1(t) = f(t), entonces f2(t) = f(t-td) Para evitar errores se acostumbra usar la función paso para dar la correcta definición de estas funciones. Así la función rampa se suele expresar "tu−1(t )". Usando la función paso desplazada, u−1 (t − ∆ ) , una función desplazada quedaría Sin embargo, esta nomenclatura a veces complica extraordinariamente la escritura de algunas expres

Gnuplot - Recordatorio

Esta entrada es solo para no olvidar algunos comandos básicos en GNUPLOT Como graficar desde terminal. Que es lo interesante? Podemos dar valor a las variables. Para graficar, anteponemos la palabra "plot" a la formula y esto nos abrira una ventana con nuestra grafica.   Algunas variantes.  Lo que también podemos hacer es: Graficar varias ecuaciones dentro de una gráfica. Cambiar el grosor de las lineas Establecer los rangos de "x" o de "y" y si se quiere graficar en 3 dimensiones solo se antepone una "s" a la palabra "plot"

Tautología

Como entrada de esta semana tenemos que ser una tautología de 3 variables. Primero que nada que es una tautología? = Una tautología es un caso especial de proposiciones lógicas caracterizadas por tener exclusivamente el valor verdadero en la columna final de su tabla de verdad, independientemente del valor de las demás proposiciones. Las tautologías son muy importantes en lógica porque son leyes en las que nos podemos apoyar para demostraciones matemáticas.  Entonces creamos la tabla de verdad que cumpla con esta definición.   Lo siguiente es sacar la expresión booleana de la tabla de verdad. Yo lo hice con Miniterminos (suma de productos): Los "0" (de las variables) se convierten a "1". Cabe destacar que aun haciéndolo con Maxiterminos llegamos al MISMO resultado. NOTA:  (abc) => (a AND b AND c) => (a & b & c) (ab + bc) => (a AND b OR b AND c) => (a & b | b & c) Ahora sacamos la función de la forma disyunt

Introducción

Las   pruebas de validación   en la   ingeniería de software   son el proceso de revisión que el sistema de   software   producido cumple con las especificaciones y que cumple su cometido. Es normalmente una parte del proceso de   pruebas de software   de un proyecto, que también utiliza técnicas tales como evaluaciones, inspecciones, y   tutoriales . La validación es el proceso de comprobar lo que se ha especificado es lo que el   usuario   realmente quería. Tipos:  Pruebas de aceptación: desarrolladas por el cliente. Pruebas   alfa   realizadas por el usuario con el desarrollador como observador en un entorno controlado (simulación de un entorno de producción). Pruebas   beta: realizadas por el usuario en su   entorno de trabajo   y sin observadores. El objetivo último del proceso de verificación y validación es comprobar que el sistema está hecho para un propósito. Esto significa que el sistema debe ser lo suficientemente bueno para su uso previsto. El nivel de confianza requ

Idea -Redes Neuronales

Adios "Fulano": La idea de tener la casa inteligente no esta lejos de nosotros y una casa que distinga quien eres y que solo a ti se te abran puertas, que al momento de bañarte te tenga la temperatura del agua a tu gusto, etc. Son ideas que a mi punto personal es algo necesario al momento de hablar de inteligencia.   Mi idea del proyecto para redes neuronales es una red que pueda distinguir personas con una cámara web. El objetivo es que al momento de " ver " una persona, la red te distinga " quien es " y así decidir que hacer (tener una respuesta). Por ejemplo: La red detecta a Fulano y que la televisión se encienda en su canal preferido, por ejemplo.  Entre las herramientas que ocupare es un entrenamiento previo en openCV, arduino con su modulo bluetooth y la camara web.