Modelos formales de computacion

Páginas: 5 (1018 palabras) Publicado: 1 de septiembre de 2014




Materia: Estructura de Datos.

















Indice

















“Introducción”.
En esta actividad de investigación se desarrollan los diferentes operadores que pueden realizar los modelos de computación, los autómatas ylas máquinas de turning ya que se relacionan en el ámbito de la computación. Se definirán cada uno de los operadores, sus características que representan cada uno, las aplicaciones que tiene cada operador y sus ventajas y desventajas de capa operador para poder realizar un proceso. Ya que estos operadores se utilizan en la vida cotidiana y permiten a las personas ser más accesibles su trabajo.“MODELOS FORMALES DE COMPUTACION”.
Definición:
Un conjunto de operaciones permitibles usadas en el cómputo y sus respectivos costos. Solo asumiendo un cierto modelo de computación es posible analizar los recursos de cómputo requeridos, como la el tiempo de ejecución o el espacio de memoria, o discutir las limitaciones de algoritmos o computadores.
Características:
Hay muchos modelos decomputación, diferenciándose en el conjunto de operaciones admisibles y de su costo computacional. Ellos entran en las amplias categorías siguientes:

-La máquina abstracta, usada en pruebas de computabilidad y de los límites superiores en la complejidad computacional de algoritmos.
-El modelo de árbol de decisión, usado en las pruebas de los límites más bajos en la complejidad computacional de problemasalgorítmicos.
Ventajas y desventajas:
Ventajas
Un modelo funcional se caracteriza por tener simplemente funciones sin variable, en este tipo de sistemas la descripción
En este tipo de sistemas encontramos que se usan un número fijo de formularios
Llamados formularios funcionales.
Desventajas.
Los formularios funcionales, al contrario que la mayoría de las construcciones
De programación,están asociadas al álgebra lo que ofrece poderosas construcciones de
Programación pero también tienen propiedades algebraicas atractivas:
Una lección de ellas para maximizar la fuerza y utilidad de las leyes del álgebra que las
Relacionan con otros formularios de este sistema.

“AUTOMATAS”.
Definición:
La automatización de una máquina o proceso productivo simple tiene como consecuencia laliberación física y mental del hombre de dicha labor. Entendemos por «automatismo» el dispositivo físico (ya sea eléctrico, neumático electrónico, etc.) que realiza esta función controlando su funcionamiento.
Características:
A diferencia de otros equipos es que los autómatas están blindados para condiciones severas (como el polvo, humedad, calor, frío) y tienen la facilidad para ampliar susentradas/salidas (I/O). A estas E/S se conectan sensores y actuadores. PLC lee interruptores, variables analógicas del proceso (como temperatura y presión), posiciones de los sistemas de posicionamiento complejos. Los hay de uso para aplicaciones de visión artificial. En el lado del actuador, motores eléctricos, cilindros neumáticos o hidráulicos, relés magnéticos, solenoides o salidas analógicas.Aplicaciones:
Las primeras aplicaciones de los autómatas se dieron en la industria automotriz para sustituir los complejos equipos basados en relés. Sin embargo, la disminución de tamaño y el menor costo han permitido que los autómatas sean utilizados en todos los sectores de la industria. Sólo a modo de ejemplo, se mencionan a continuación algunos de los múltiples campos de aplicación.
-Automóvil.-Plantas quimias y petroquímicas.
-Metalurgia.
-Alimentación.
-Papeleras y maderas.
-Fabricación de neumáticos.

Entre otros.

Ventajas y desventajas:
Un beneficio de la automatización es acelerar procesos de producción y perfeccionarlos, también tiene otra ventaja: se puede eliminar mano de obra para ser sustituida por maquinas, que prácticamente esto es una desventaja para los...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Modelos formales de computacion
  • Los modelos de la computacion
  • Lógica y Metodos Formales En La Computación
  • Metodos formales de la computacion
  • Modelo formal de desarrollo sustentable
  • Modelo Carta Formal
  • Modelo de Imputación Formal
  • Modelo osi en computación

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS