ESPOL. Proyecto Maquina Surtidora - Math

Escuela Superior Politcnica del Litoral
Estructuras Lgicas en Sistemas de Vlvulas CAICEDO FAUSTO-CAICEDO PABLO-RICARDO LVARO-VACA ROBERT-VLEZ LUIS
ESPOL
2013
PROYECTO DE: ESTRUCTURAS LGICAS EN SISTEMAS DE VLVULAS
ELABORADO POR: CAICEDO CEVALLOS FAUSTO EDUARDO CAICEDO CEVALLOS JUAN PABLO VACA REYES ROBERT BORIS VELEZ GILER LUIS MANUEL RICARDO RICARDO LVARO PATRICIO
PROFESOR: ING. Yadira Moreno Medina

NDICE
Objetivos.3 Introduccin3-4 Marco terico...4-8 Parte experimental...9 Materiales utilizados Proceso del proyecto
Impacto social del producto..13 Conclusiones y recomendaciones...13 Referencias bibliogrficas.13

OBJETIVOS Dar a conocer en detalle el proceso sistemtico de la aplicacin de la Lgica Matemtica en la vida diaria. El mismo que mediante la utilizacin de conocimientos y recursos cientficos adquiridos en las aulas, busca ser un proyecto capaz de demostrar la Ley de la Disyuncin Inclusiva (dbil). II. Con este modesto trabajo de nuestra investigacin y esfuerzo esperamos sirva para futuras generaciones y entiendan la lgica a medida que experimentan con proyectos reales y fructferos III. Impacto social positivo. I.
INTRODUCCIN Para la humanidad el trmino desarrollo ha estado ligado siempre, sin importar la poca o sociedad, a un impacto directo hacia el medio ambiente. Desde que el hombre aprendi aprovechar los recursos de la naturaleza para mejorar su calidad de vida ha dedicado sus esfuerzos a la creacin e innovacin de continuas tecnologas dedicadas a este fin. Esto puede referirse tanto una innovacin de producto, como tambin a una forma organizacional, una tecnologa, un procedimiento o un campo de aplicacin. Por otra parte, la investigacin en innovacin se interesa por el cmo se pueden realizar esas metas; trabaja entonces con los procesos de innovacin. El presente proyecto est fundamentado en esta idea. Es decir proporcionar a la sociedad un diferente y competitivo con sus semejantes. Debido a su importancia la lgica se aplica a varias reas entre ellas la ingeniera, en la electrnica para el diseo de circuitos mediante compuertas lgicas y en programacin para el diseo de programas que requieren la unin de operadores lgicos. La lgica no es solo objeto de estudio como ciencia exacta sino que es relevante en cuanto a que todos estamos haciendo uso de ella en la vida cotidiana, por ejemplo los operadores lgicos han de ser utilizados todos los das al expresarnos mediante nuestro idioma y al tomar decisiones en cualquier aspecto de la vida de aqu la importancia que se le da a esta ciencia.

MARCO TERICO MARCO TERICO Lgica matemtica La lgica matemtica es una parte de la lgica y las matemticas, que consiste en el estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. La lgica matemtica tiene estrechas conexiones con las ciencias de la computacin y la lgica filosfica. La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y computacin. La lgica estudia las reglas de deduccin formales, las capacidades expresivas de los diferentes lenguajes formales y las propiedades metalgicas de los mismos. En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido un argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lgica matemtica se ocupa de la posibilidad de axiomatizar las teoras matemticas, de clasificar su capacidad expresiva, y desarrollar mtodos computacionales tiles en sistemas formales. La teora de la demostracin y la matemtica inversa son dos de los razonamientos ms recientes de la lgica matemtica abstracta. Debe sealarse que la lgica matemtica se ocupa de sistemas formales que pueden no ser equivalentes en todos sus aspectos, por lo que la lgica matemtica no es mtodo de descubrir verdades del mundo fsico real, sino slo una fuente posible de modelos lgicos aplicables a teoras cientficas, muy especialmente a la matemtica convencional. La lgica matemtica no se encarga por otra parte del concepto de razonamiento humano general o del proceso creativo de construccin de demostraciones matemticas mediante argumentos rigurosos pero hechas usando lenguaje informal con algunos signos o diagramas, sino slo de demostraciones y razonamientos que pueden ser completamente formalizados en todos sus aspectos. La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas. Actualmente se usan indiferentemente como sinnimos las expresiones: lgica simblica (o logstica), lgica matemtica, lgica teortica y lgica formal. La lgica matemtica no es la lgica de las matemticas sino la matemtica de la lgica. Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas matemticamente.

HISTORIA Lgica matemtica fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lgica de Aristteles, pero desde el punto de vista de una nueva notacin, ms abstracta, tomada del lgebra. Previamente ya se hicieron algunos intentos de tratar las operaciones lgicas formales de una manera simblica por parte de algunos filsofos matemticos como Leibniz y Lambert, pero su labor permaneci desconocida y aislada. Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema matemtico para modelar operaciones lgicas. La lgica tradicional aristotlica fue reformada y completada, obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemtica. El tradicional desarrollo de la lgica enfatizaba su centro de inters en la forma de argumentar, mientras que la actual lgica matemtica lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un nivel sintctico (por ejemplo, el envo de una cadena de smbolos perteneciente a un lenguaje formal a un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una mquina), como a un nivel semntico, construyendo modelos apropiados (teora de modelos). Sistemas lgicos La lgica matemtica se interesa por tres tipos de aspectos de los sistemas lgicos:
La sintaxis de los lenguajes formales, es decir, las reglas de formacin de smbolos interpretables construidos a partir de un determinado alfabeto, y las reglas de inferencia. En concreto el conjunto de teoremas deducibles de un conjunto de axiomas. La semntica de las lenguajes formales, es decir, los significados atribuibles a un conjunto de signos, as como el valor de verdad atribuible a algunas de las proposiciones. En general las expresiones de un sistema formal interpretadas en un modelo son ciertas o falsas, por lo que un conjunto de proposiciones que admite un modelo es siempre consistente. Los aspectos metalgicos de las lenguas formales, como por ejemplo la completitud, la consistencia, la compacidad o la existencia de modelos de cierto tipo, etc. Los diferentes tipos de sistemas lgicos pueden ser clasificados en:
Lgica proposicional (Lgica de orden cero): En ella existe smbolos para variables proposicionales (que pueden ser interpretados informalmente como enunciados que puden ser ciertos o falsos) adems de smbolos para diversas conectivas. Estas conectivas

permiten formar expresiones complejas a partir de variables proposicionales simples. Un sistema lgico puede incluir diversos tipos de conectivas, entre ellos, la lgica clsica suele hacer uso de los siguientes: se lee no se lee y se lee o se lee implica o si,entonces, se lee equivalente con o "si, slo s" Dentro de la lgica proposicional pueden distinguirse varios tipos, por ejemplo restringiendo las posibilidades de interpretacin semntica se obtiene la lgica intuicionista y ampliando la complejidad de las interpretaciones semnticas se obtienen las lgicas modales.
Lgica de predicados: Esta no incluye smbolos para variables proposicionales sino que las proposiciones ms elementales son predicados atmicos (formados a partir de variables interpretables como objetos singulares, relaciones (entre estas frecuentemente se usan = , <, >, etc.), funciones matemticas. Adems smbolos para representar variables, relaciones y funciones este tipo de lgicas incluyen cuantificadores. Dentro de la lgica de precidados se pueden distinguir ciertos tipos:
Lgica de primer orden que usualmente es finitaria (slo se admiten proposiciones formadas mediante un nmero finito de pasos) aunque tambin existen lgicas infinitarias.
Lgica de segundo orden que a su vez pueden ser de diferentes subtipos. COMPUERTAS LGICAS
Una compuerta lgica es un dispositivo que nos permite obtener resultados, dependiendo de los valores de las seales que le ingresemos. Es necesario aclarar entonces que las compuertas lgicas se comunican entre s (incluidos los microprocesadores), usando el sistema BINARIO. Este consta de solo 2 indicadores 0 y 1 llamados BIT dado que en electrnica solo hay 2 valores equivalentes 0=0volt 1=5volt (conectado-desconectado). Es decir que cuando conectamos una compuerta a el negativo equivale a introducir un cero (0) y por el contrario si derivamos la entrada a 5v le estamos enviando un uno (1). Ahora para comprender como se comporta cada compuerta se debe ver su TABLA DE VERDAD. Esta nos muestra todas las combinaciones lgicas posibles y su resultado.

En el presente proyecto lo que buscamos es aplicar las compuertas lgicas, las cuales tomarn vida en un sistema de vlvulas conectados a canales plsticos (mangueras), por los que circularan ciertos lquidos con el propsito de siempre obtener un producto. Que corrobore el valor que se le d a las variables interventoras. COMPUERTA BUFFER (YES) La compuerta BUFFER es la ms basica de todas, simplemente toma el valor que se le entrega y lo deja pasar tal cual. Esto sirve para ajustar y aislar niveles lgicos ya que no se pueden conectar infinita cantidad de compuertas a una misma seal, ya que el voltaje del nivel 1 empieza a decaer y el sistema falla. COMPUERTA NOT La compuerta NOT es un tanto parecida al buffer salvo por que invierte el valor que se le entrega. Tambin tiene la utilidad de ajustar niveles pero tomando en cuenta que invierte la seal.

COMPUERTA AND La compuerta AND hace la funcin de multiplicacin lgica. Es decir toma los valores que le aplicamos a sus entradas y los multiplica.
COMPUERTA NAND La compuerta NAND tambin hace la funcin de multiplicacin, pero entrega el valor negado. Esto es muy util, dado que si estubieramos usando una AND normal tendriamos que usar otro chip con un NOT para negar el resultado. COMPUERTA OR La compuerta OR realiza la funcin de suma lgica. Cuando se le aplica un uno a cualquiera de sus entradas el resultado de salida ser uno, independiente del valor de la otra entrada. Excepto cuando las dos entradas esten en 0 la salida ser 0. COMPUERTA NOR La compuerta NOR realiza la funcin de suma, pero entrega el resultado invertido, ahorrandonos un NOT. Su salida ser 1 solo si las dos entradas son 0. COMPUERTA X-OR Esta compuerta XOR (or-exclusiva) se comporta de una manera especial. Su caracteristica especial es que el resultado de salida ser 1 si las dos entradas son distintas, sean 0-1 1-0.
COMPUERTA X-NOR Esta compuerta XNOR o Nor exclusiva, tambin se comporta de una manera especial. Su caracteristica es que el resultado de salida ser 1 si las dos entradas son del mismo valor, sean 0-0 1-1. Las compuertas lgicas son una aplicacion de la lgica llevada al diseo de circuitos. Los operadores lgicos utilizados en programacin son los mismos de la lgica de proposiciones.

PARTE EXPERIMENTAL Para la realizacin de este innovador y prometedor proyecto, en el que como ya habamos dicho lo que se pretende es demostrar la ley de la Disyuncin Inclusiva. Hemos seguido una serie de pasos, los ismos que van desde una buena organizacin y trabajo en equipo con los integrantes del grupo conformado para este objetivo. Empezamos analizando las leyes de la Lgica para temas generales, hasta llegar al punto en donde nos dimos cuenta que una buena y excelente manera de realizar un excelente trabajo era adems de trabajar en equipo, trabajar por algo que sea comn en la sociedad; es decir, que podamos aplicar nuestro proyecto a la sta. Para esto, utilizamos una serie de materiales, esto fue necesario para poder esquematizar fsicamente nuestros conocimientos de las matemticas, especficamente en el campo de la Lgica booleana. stos se resumen a continuacin:
MATERIALES UTILIZADOS Tubos en forma de T Tubos en forma de codo Pistola para silicn Abrazaderas Broca Clavo de cemento Llaves de paso Adaptador de PVC Adaptador para tanque Vlvula compuerta Amarras plsticas Plancha galvanizada Entre otros.

Cabe decir que aproximadamente invertimos $120 DETALLES IMPORTANTES DEL PROYECTO FORMA PROPOSICIONAL UTILIZADA
q v svr
v q
rvs
p r
REALIZACIN DE LA TABLA DE VERDAD A p q r s p q r s rvs p ^r p q B svr C rvs p r 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 m n MvN A q V ^C B 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1
0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1
0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1
0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1
0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1
1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0
1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0
1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0
1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
1 0 1 1 1 0 1 1 1 0 1 1 1 0 1 1
0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0
1 1 0 1 1 1 0 1 1 1 0 1 1 1 0 1
10

Aqu apreciamos una de las primeras fases del proyecto
11

Cabe decir que el trabajo se realiz en equipo
Aqu se ve reflejado el trabajo arduo y dedicado. Sin prestarle tanta atencin al tiempo que transcurra, sea maana, tarde o noche; lo ms importante y primordial siempre fue el xito de este Proyecto.
12

IMPACTO SOCIAL DEL PRODUCTO Uno de nuestros principales objetivos es dar a conocer la lgica matemtica de una manera interactiva, donde el campo cientfico tiene muchsima importancia. Es decir para personas que estn iniciando sus estudios de esta materia. Es ms, nuestro proyecto apunta a ser parte de un impulso ecolgico. En el que con el uso de esta mquina que funciona mecnicamente, se disminuya en algo la emanacin de CO2 al medio ambiente.
CONCLUSIONES Y RECOMENDACIONES Realizar investigaciones que nos permitan desarrollar nuevos medios para la comprensin de las otras ramas de las matemticas. Seguir trabajando en ste proyecto y mejorarlo. El presente proyecto, adems de ser amigable con el medio ambiente, insta al estudiante a la realizacin de grandes obras. Como nos hemos dado cuenta, ste es la base de las maquinas surtidoras que encontramos alrededor de todo el mundo.
BIBLIOGRAFA Agazzi, Evandro (1986). Lgica simblica. Herder. ISBN 9788425401305 http://es.wikipedia.org/wiki/L%C3%B3gica_matem%C3%A1tica http://logica-mate.blogspot.com/2010/05/aplicaciones-de-la-logica.html http://symploke.trujaman.org/index.php?title=Disyunci%F3n http://es.wikipedia.org/wiki/Estructura_(l%C3%B3gica) http://es.wikipedia.org/wiki/Operador#Operadores_l.C3.B3gicos
13

ESPOL. Proyecto Maquina Surtidora - Math

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

ESPOL. Proyecto Maquina Surtidora - Math

Încărcat de

Drepturi de autor:

Formate disponibile

Escuela Superior Politcnica del Litoral

PROYECTO DE: ESTRUCTURAS LGICAS EN SISTEMAS DE VLVULAS

PROFESOR: ING. Yadira Moreno Medina

Escuela Superior Politcnica del Litoral

Impacto social del producto..13 Conclusiones y recomendaciones...13 Referencias bibliogrficas.13

Escuela Superior Politcnica del Litoral

Escuela Superior Politcnica del Litoral

Escuela Superior Politcnica del Litoral

Escuela Superior Politcnica del Litoral

Escuela Superior Politcnica del Litoral

Escuela Superior Politcnica del Litoral

Escuela Superior Politcnica del Litoral

Escuela Superior Politcnica del Litoral

REALIZACIN DE LA TABLA DE VERDAD A p q r s p q r s rvs p ^r p q B svr C rvs p r 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 m n MvN A q V ^C B 1 0 1 1 0 1 0 1 1 1 1 1 1 0 1 1 0 1 0 0 0 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 0 0 0 1 0 1

Escuela Superior Politcnica del Litoral

Aqu apreciamos una de las primeras fases del proyecto

Escuela Superior Politcnica del Litoral

Cabe decir que el trabajo se realiz en equipo

Escuela Superior Politcnica del Litoral

S-ar putea să vă placă și