sábado, 28 de enero de 2012
viernes, 16 de septiembre de 2011
viernes, 26 de agosto de 2011
IMPORTANCIA DE LA LOGICA EN LA TOPOGRAFIA
La descripción y representación gráfica de la superficie terrestre es el objeto principal en la topografía, por ende esta incluye el estudio del conjunto de procedimientos y principios para lograrlos.
La altimétria es la parte de la topografía que se encarga del estudio de los sistemas de elevación, mientras que la planimetría comprende la representación en un plano horizontal imaginario que, se supone, es la superficie media de la tierra.
Con el avance de la tecnología ha surgido la inquietud de buscar nuevas maneras de realizar las operaciones y procedimientos para la obtención de levantamientos topográficos, entre estos avances se encuentran los programas como Auto CAD LT y Surfer 8.0.
Los programas o software dedicado al area de topografia tienen usos como uso: graficar curvas de nivel, realizar cortes geológicos, elaborar columnas estratigráficas, construir perfiles longitudinales y secciones transversales entre otras. Surfer 8.0 es un programa que tiene como principal función el levantamiento, en diversos formatos, de mapas basándose en coordenadas de puntos; con él, se logra la representación del relieve de una superficie de la tierra.
Es importante mencionar que la realización de levantamientos topográficos aplicando la lógica y el uso de instrumentos de avanzada tecnología, constituye una herramienta clave para el estudiante de Topografia.
PROGRAMAS GRATUITOS DE TOPOGRAFIA
-CivilCAD: Modulo de Autocad especifico para los profesionales de la Ingenieria Civil y Topografia
-Grid 2 CAD: Conversor que permite realizar el paso de datos GRID procedentes de alguna de las plataformas de ESRI
-Perigeo: Calcula curvas de nivel a partir de nubes de puntos
-Protopo: Topografía, Construcción e Ingeniería Civil integrado en AutoCAD
-TopoCal: Cálculo topográfico del Modelo Digital del Terreno
-TopoUtil: Un conjunto de utilidades topográficas dentro o fuera del entorno de AutoCad
-Viales: Permite el cálculo de los puntos secuenciales y el gráfico de planta de la definición planimétrica de un vial
-Grid 2 CAD: Conversor que permite realizar el paso de datos GRID procedentes de alguna de las plataformas de ESRI
-Perigeo: Calcula curvas de nivel a partir de nubes de puntos
-Protopo: Topografía, Construcción e Ingeniería Civil integrado en AutoCAD
-TopoCal: Cálculo topográfico del Modelo Digital del Terreno
-TopoUtil: Un conjunto de utilidades topográficas dentro o fuera del entorno de AutoCad
-Viales: Permite el cálculo de los puntos secuenciales y el gráfico de planta de la definición planimétrica de un vial
LOGICA Y PROGRAMACION
La programación lógica consiste en la aplicación del corpus de conocimiento sobre lógica para el diseño de lenguajes de programación; no debe confundirse con la disciplina de la lógica computacional.
la programación declarativa son: programación funcional, programación basada en restricciones, programas DSL (de dominio específico) e híbridos. La programación lógica gira en torno al concepto de predicado, o relación entre elementos. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático.
Motivación
Históricamente, los ordenadores se han programado utilizando lenguajes muy cercanos a las peculiaridades de la propia máquina: operaciones aritméticas simples, instrucciones de acceso a memoria, etc. Un programa escrito de esta manera puede ocultar totalmente su propósito a la comprensión de un ser humano, incluso uno entrenado. Hoy día, estos lenguajes pertenecientes al paradigma de la Programación imperativa han evolucionado de manera que ya no son tan crípticos.
En cambio, la lógica matemática es la manera más sencilla, para el intelecto humano, de expresar formalmente problemas complejos y de resolverlos mediante la aplicación de reglas, hipótesis y teoremas. De ahí que el concepto de "programación lógica" resulte atractivo en diversos campos donde la programación tradicional es un fracaso.
Campos de aplicación
La programación lógica encuentra su hábitat natural en aplicaciones de inteligencia artificial o relacionadas: sistema experto|Sistemas expertos, donde un sistema de información imita las recomendaciones de un experto sobre algún dominio de conocimiento.
•Demostración automática de teoremas, donde un programa genera nuevos teoremas sobre una teoría existente.
•Reconocimiento de lenguaje natural, donde un programa es capaz de comprender (con limitaciones) la información contenida en una expresión lingüística humana.
La programación lógica también se utiliza en aplicaciones más "mundanas" pero de manera muy limitada, ya que la programación tradicional es más adecuada a tareas de propósito general.
Fundamentos
La mayoría de los lenguajes de programación lógica se basan en la teoría lógica de primer orden, aunque también incorporan algunos comportamientos de orden superior. En este sentido, destacan los lenguajes funcionales, ya que se basan en el cálculo lambda, que es la única teoría lógica de orden superior que es demostradamente computable (hasta el momento).
la programación declarativa son: programación funcional, programación basada en restricciones, programas DSL (de dominio específico) e híbridos. La programación lógica gira en torno al concepto de predicado, o relación entre elementos. La programación funcional se basa en el concepto de función (que no es más que una evolución de los predicados), de corte más matemático.
Motivación
Históricamente, los ordenadores se han programado utilizando lenguajes muy cercanos a las peculiaridades de la propia máquina: operaciones aritméticas simples, instrucciones de acceso a memoria, etc. Un programa escrito de esta manera puede ocultar totalmente su propósito a la comprensión de un ser humano, incluso uno entrenado. Hoy día, estos lenguajes pertenecientes al paradigma de la Programación imperativa han evolucionado de manera que ya no son tan crípticos.
En cambio, la lógica matemática es la manera más sencilla, para el intelecto humano, de expresar formalmente problemas complejos y de resolverlos mediante la aplicación de reglas, hipótesis y teoremas. De ahí que el concepto de "programación lógica" resulte atractivo en diversos campos donde la programación tradicional es un fracaso.
Campos de aplicación
La programación lógica encuentra su hábitat natural en aplicaciones de inteligencia artificial o relacionadas: sistema experto|Sistemas expertos, donde un sistema de información imita las recomendaciones de un experto sobre algún dominio de conocimiento.
•Demostración automática de teoremas, donde un programa genera nuevos teoremas sobre una teoría existente.
•Reconocimiento de lenguaje natural, donde un programa es capaz de comprender (con limitaciones) la información contenida en una expresión lingüística humana.
La programación lógica también se utiliza en aplicaciones más "mundanas" pero de manera muy limitada, ya que la programación tradicional es más adecuada a tareas de propósito general.
Fundamentos
La mayoría de los lenguajes de programación lógica se basan en la teoría lógica de primer orden, aunque también incorporan algunos comportamientos de orden superior. En este sentido, destacan los lenguajes funcionales, ya que se basan en el cálculo lambda, que es la única teoría lógica de orden superior que es demostradamente computable (hasta el momento).
Suscribirse a:
Comentarios (Atom)