Deducción: natural y automática

La Lógica de Predicados pone a nuestra disposición un lenguaje que nos permitirá formalizar expresiones del conocimiento humano haciendo explícitos los objetos y las relaciones, así como sus restricciones. Además nos proporciona un método, la deducción matemática, para obtener nuevo conocimiento a partir del antiguo. Es por ello que la lógica se convierte en una asignatura presente en los primeros cursos de distintas titulaciones, especialmente de informática, ya que proporciona una base formal de trabajo. En la actualidad existe un variado número de herramientas que pueden servir de ayuda en el aprendizaje de la lógica. El razonamiento es el proceso cognitivo por medio del cual utilizamos y aplicamos nuestro conocimiento, permitiéndonos pasar de una información a otra relacionada con esta. Sin la posibilidad de hacer inferencias, el sistema de procesamiento de información se vería obligado a tener que definir todas las situaciones puntuales y específicas con las que se tenga que enfrentar. A las sentencias de las cuales partimos en el proceso de razonamiento se les llama premisas y a la sentencia a la cual llegamos se le denomina conclusión. Las premisas junto a la conclusión forman el argumento. El concepto lógico de deducción correcta dice que de premisas verdaderas debemos obtener conclusión verdadera, es decir, no podemos aceptar que las premisas sean verdaderas y la conclusión falsa. La lógica nos proporciona métodos de cálculo que nos permiten inferir, por simple manipulación sintáctica, nuevas fórmulas a partir de las conocidas. Uno de estos métodos es la Deducción Natural , cuyo mecanismo está muy cercano al razonamiento intuitivo del ser humano. Así, de forma sencilla, a partir de las fórmulas dadas como premisas y con el único apoyo de unas reglas básicas, obtenemos determinadas conclusiones. Podemos utilizar una herramienta didáctica diseñada específicamente para enseñar a los estudiantes a realizar deducciones naturales, el Asistente para Deducción Natural (ADN). Además podemos intentar abordar el tema de la automatización de la deducción. Para ello debemos realizar pequeñas modificaciones a esta técnica (de notación, de reglas a aplicar y de estrategia a utilizar) que nos lo permita. Todos estos desarrollos teóricos dieron lugar a la aparición de la programación lógica, como paradigma de resolución de problemas basado en la lógica. Prolog es el lenguaje de programación lógica más utilizado.

Verificación de algoritmos y estructuras de datos en Dafny

La verificación formal de un programa es la demostración de que este funciona de acuerdo a una descripción del comportamiento esperado en toda posible ejecución. La especificación de lo deseado puede utilizar técnicas diversas y entrar en mayor o menor detalle, pero para ganarse el título de formal esta ha de ser matemáticamente rigurosa. El estudio y ejercicio manual de alguna de esas técnicas forma parte del currículo común a los estudios de grado de la Facultad de Informática y del itinerario de Ciencias de la Computación de la Facultad de Ciencias Matemáticas de la Universidad Complutense de Madrid, como es el caso de la verificación con pre- y postcondiciones o lógica de Hoare. En el presente trabajo se explora la automatización de estos métodos mediante el lenguaje y verificador Dafny, con el que se especifican y verifican algoritmos y estructuras de datos de diversa complejidad. Dafny es un lenguaje de programación diseñado para integrar la especificación y permitir la verificación automática de sus programas, con la ayuda del programador y de un demostrador de teoremas en la sombra. Dafny es un proyecto en desarrollo activo aunque suficientemente maduro, que genera programas ejecutables.

¿Una comparación entre Java y .NET?

En este artículo se presentan una serie de reflexiones frente a las comparaciones que pueden hacerse entre dos plataformas de software: Java y .NET. Para ello se trata de hacer un breve recuento histórico de ambos casos, y después se presentan algunas de las diferencias que la autora ha encontrado entre ellas, mirando aspectos que tienen relación directa con la programación orientada a objetos, o con otros aspectos del lenguaje. Por último se presenta una breve aclaración, desde el punto de vista de la autora, frente al tema de portabilidad que ambos reclaman como la diferencia más relevante entre ellos.

Implementación de una API para la interacción del guante P5 con entornos de realidad virtual desarrollados en Java y Java 3D

Este artículo presenta el proceso de implementación de una API (Application Programming Interface) que permite la interacción del guante P5 de Essential Reality1 con un entorno virtual desarrollado en el lenguaje de programación Java y su librería Java 3D.2 Por otra parte, se describe un ejemplo implementado, haciendo uso de la API en cuestión. Con base en este ejemplo se presentan los resultados de la ejecución de pruebas de requerimientos de recursos físicos como la CPU y memoria física. Finalmente, se especifican las conclusiones y resultados obtenidos.

Actualización del software asociado a un sistema empresarial real en Django

El objetivo del TFG es ejectuar y documentar el proceso de actualizaci on de un sistema software real de car acter empresarial, perteneciente a la empresa dedicada a las transacciones de divisas Foreign Exchange Solutions SL. El sistema est a implementado en Python 2.7 usando el framework de desarrollo r apido de aplicaciones web Django que, comenzando por su versi on 1.3.1, terminar a al nal del proyecto en la versi on 1.4.10, lo que nos llevar a a tener que actualizar todas las librer as relacionadas, adem as de mejorar la calidad del c odigo e incluso cambiar la estructura del proyecto, prestando adem as especial atenci on a la pruebas unitarias y de regresi on para comprobar el correcto funcionamiento del sistema a lo largo del desarrollo. Todo esto con el n de conseguir las nuevas funcionalidades y caracter sticas que una versi on m as nueva nos ofrece, adem as de mejorar la calidad de la aplicaci on -aumentar la reutilizaci on del c odigo y reducir futuros errores gracias a un c odigo m as sencillo y legible-, aumentar el rendimiento, y obtener una buena cobertura de pruebas. Usaremos adem as la metodolog a agil Scrum, el SGBD PostgreSQL, adem as de otras herramientas como Solr, ElasticSearch, Redis, Celery o Mercurial para el control de versiones.

Un entorno de test colaborativo en JavaScript para Siette

En este proyecto nosotros vamos a hacer una pasada por un sistema colaborativo de resolución de test. En este entorno el estudiante resuelve preguntas en un grupo de estudiantes en tres fases diferentes (individual, colaborativa y final). Este sistema ha demostrado que los alumnos que resuelven los test en este entorno mejoran sus respuestas. Esto se debe a que los estudiante aprenden como sus compañeros se enfrentan a las cuestiones planteadas y como las resuelven. Este sistema esta actualmente funcionando en la plataforma siette, pero esta teniendo problemas de compatibilidad con algunos navegadores y esto presenta un problema para desarrollar nueva funcionalidad. Nosotros queremos resolver esto con la utilización de HTML5, CSS y JavaScript. Este Sistema será diseñado para funcionar en conjunto con la plataforma de resolución de tests (Siette) en un modo que llamaremos modo colaborativo que solo será usado para resolver test en grupo con otros compañeros. Siette nos propone un entorno donde trabajan profesores diseñando test y alumnos que testean su conocimiento.

Sistema de información didáctico para la enseñanza del proceso de consolidación de estados financieros, en la fase de diseño, basado en el ciclo de vida de los sistemas.

En la actualidad la tecnología de la información y comunicación es utilizada en las empresas para automatizar operaciones, agilizar los tiempos de respuesta, disminución del riesgo de error y otras ventajas más; esto se ha convertido en un factor clave en la competitividad de los negocios, lo cual las ha llevado a demandar de los profesionales de contaduría pública las competencias necesarias en el uso y manejo de sistemas de información computarizados en el ejercicio de la profesión. La Federación Internacional de Contadores por sus siglas en ingles IFAC, establece en la norma internacional de formación número siete denominada “Contenido de los programas profesionales de formación en contaduría” que dentro de las competencias necesarias para un profesional en contaduría deben incluirse la evaluación, diseño y gestión de las Tecnologías de Información (TI), sumado a esto debe incluirse la Declaración Práctica de Educación Internacional (International Education Practice Statement-IEPS) en la cual se dispone como requisito al profesional formarse con conocimientos generales en tecnología, y la solicitud que el Ministerio de Educación (MINED) hace a la Universidad de El Salvador del uso de tecnología en la formación para el desarrollo de los programas de formación profesional. Por lo anterior es necesario que al proponer los contenidos requeridos en la formación del profesional se incluya en la medida de lo práctico el uso de tecnologías de información, lo cual permitirá un mejor desarrollo de las competencias profesionales indispensables exigidas. Actualmente en la escuela de contaduría pública de la facultad de ciencias económicas de la Universidad de El Salvador (UES) se ha hecho esfuerzos en la capacitación docente, la adquisición de software y hardware, uso de diversas aplicaciones y otros proyectos, todos tendientes a mejorar la calidad de transmisión de la información y lograr aumentar el interés del estudiante. Existen conocimientos que para su mejor compresión, aprovechamiento del tiempo y experiencia práctica por parte del estudiante requieren del uso de otras herramientas tecnológicas específicas y especializadas, las cuales todavía no están disponibles en la escuela de contaduría pública. Tomando en cuenta lo anterior y conociendo que los docentes que imparten la temática sobre el “Proceso de consolidación de estados financieros” contenido en la cátedra de Contabilidad Financiera V no se apoyan en un software didáctico diseñado a la medida para la enseñanza de dicho material, se plantea la propuesta para resolver la problemática, la cual se basa en proporcionar el diseño de un software a la medida para la enseñanza del proceso de consolidación de estados financieros, temática incluida en la cátedra de Contabilidad Financiera V, haciendo uso del método de ciclo de vida de los sistemas, para que sea incorporado en el proceso de desarrollo en la consolidación de estados financieros, como parte de la tecnología de información que puede ser utilizada en la formación del profesional en contaduría pública. Para desarrollar dicha propuesta se apoyó en bibliografía existente en temas relacionados al diseño de software enfocando el trabajo para este caso en un sistema didáctico, con el fin de facilitar al docente y al estudiante la interactividad con el mismo. Por ello se procedió a correr encuestas dirigidas a los involucrados en el problema, seleccionando los estudiantes de contaduría pública que hayan cursado la asignatura de contabilidad financiera V que incluye el tema de los estados financieros consolidados, durante el año 2014 y que hayan aprobado tal asignatura y los docentes que imparten las materias técnicas en la Escuela de Contaduría Pública, mediante esto se indagó en la necesidad generada por las causas y efectos.Consecutivamente se realizó la tabulación, que permitió analizar y plantear el diagnóstico, determinando como principal problemática la inexistencia de un sistema computarizado diseñado conforme a los estándares indicados para su aplicabilidad. La propuesta del diseño de un sistema computarizado a la medida de la temática de consolidación de estados financieros se desarrolló realizando un estudio de la factibilidad técnica, operativa y económica de este, la descripción del lenguaje de programación y las respectivas relaciones entre las tablas que incluye la base de datos. Además se presenta cada uno de los formularios con las explicaciones necesarias de las funciones que generará el sistema. Finalmente se detallan las conclusiones del trabajo realizado y las respectivas recomendaciones dirigidas a las autoridades de la Escuela de Contaduría Pública, docentes y estudiantes para que desarrollen e implemente el software propuesto y así obtener los beneficios que este generaría.

PLAGUE. Un editor visual para PDDL

Plague es un editor de archivos escritos en lenguajes de planificación como STRIPS y PDDL, que permite lanzar el algoritmo GrahPlan a partir de los archivos de dominio y problema editados y encontrar una solución al problema planteado. El objetivo del editor es eminentemente pedagógico: su uso es muy simple y viene con variados ejemplos de ambos lenguajes de planificación, de modo que el usuario pueda aprenderlos de forma paulatina. Además, la salida de la ejecución permite ir viendo paso a paso el desarrollo del algoritmo GraphPlan: los operadores que se van ejecutando, los no-ops que se han seguido, los mutex que se han aplicado en cada nivel y el tiempo empleado, además de la solución final al problema si se alcanza. El programa hace uso de dos utilidades que permiten compilar el código STRIPS o PDDL que son JavaGP y PDDL4J. Una vez ejecutado el problema de planificación, se obtiene la salida en pantalla y también se puede imprimir el problema completo incluida la solución. El objetivo ha sido crear un programa que permita al usuario editar rápidamente archivos STRIPS y PDDL, los pueda compilar velozmente y obtener el resultado en un solo sitio, con una salida mucho más clara, organizada y entendible y se evite el problema de tener que usar editores externos y una ventana de línea de comando para ejecutar GraphPlan. Plague is a text editor for files written in action languages, such as STRIPS and PDDL, which allows running the GraphPlan algorithm from the domain archives and edited problems, and finding a solution to the proposed problem. The goal of the editor is primarily for pedagogical purposes: it is simple to use and comes equipped with a variety of examples in both action languages, so that the user can gradually learn. In addition, as the editor runs it allows the user to observe the step by step development of the GraphPlan algorithm: the operators being executed, the no-ops that have been followed, the mutex applied at each level and the time spent, as well as the final answer to the problem, if reached. The program uses two utilities allowing the STRIPS or PDDL code to be compiled: JavaGP and PDDL4J. Once the planning problem has been executed, the result is shown on screen and the complete problem can also be printed, including the solution. The objective has been to create a program that allows the user to quickly edit STRIPS and PDDL archives, to compile them swiftly and obtain the solution in a single place, with a result that is clear, organised and understandable, thus avoiding the problem of having to use external editors and command prompts to execute GraphPlan.

Especificación de un sistema de comercializacion móvil para el sector servicios

Este Trabajo Fin de Grado aborda la especificación para el desarrollo de un sistema de comercialización orientado al sector Servicios que trabaje en tiempo real y que se fundamente en poner en contacto la oferta y la demanda. De esta forma, cuando un cliente requiera un servicio se activa como demandante y los proveedores de ese servicio reciben esa petición y pueden enviarle una oferta. El proyecto consta de una primera parte de introducción y descripción de las herramientas empleadas, para luego pasar a la metodología. La planificación especifica los requisitos del sistema que serán estudiados con más profundidad posteriormente en el estudio de viabilidad. Para el diseño y el análisis del sistema nos centramos en la definición de los casos de uso y las clases que se van a emplear durante el desarrollo. Por último se describe un prototipo que define las interfaces con las que se comunicarán los usuarios de la aplicación. Se describen en la parte final unas conclusiones y los posibles avances futuros del proyecto.

Elaboración de un software administrativo para la gestión de la información, registro y control de clientes de las firmas de auditoría.

La evolución de las tecnologías de la información y comunicación, ha provocado que en el desarrollo de las labores de los profesionales sean incluidas herramientas tecnológicas que ayuden y faciliten a la consecución del trabajo de los mismos, así también que el buen desempeño de un profesional hoy en día no solo se mida por sus conocimientos teóricos sino también por su habilidad para el manejo de sistemas informáticos, también sobre cómo logran adatarlos a su trabajo para poder ser más eficientes en llevar a cabo sus responsabilidades. Es por ello que se vuelve indispensable contar con una herramienta tecnológica que facilite y automatice la mayor parte de los procesos en una profesión, ya que de no ser así significaría resistirse a los cambios y por lo tanto quedar en desventaja respecto a la competencia, debido a la evolución y globalización de la tecnología y por ende correr el riesgo de volverse obsoleto en el ámbito laboral por no hacer uso de las TIC en la formación y desarrollo de la profesión. Por tal razón se investigó la situación de las pequeñas firmas de auditoría en cuanto al uso e implementación de la tecnología en sus procesos, tal investigación confirmó que las mismas, tenían problemas en cuanto a la administración, registro y control de la cartera de clientes, así como también en la administración y registro de la información de los empleados, problemas en la agenda de las visitas, de los procedimientos a ejecutar, entre otros. Todo lo anterior porque la mayor parte de las firmas no implementan la tecnología en su trabajo debido al costo que implica adquirir un programa que automatice y facilite sus actividades; es por ello que como grupo de investigación se tomó a bien elaborar un software que se ajuste a las necesidades de las firmas con el objetivo de solventar la problemática identificada en las mismas. En tal sentido la propuesta para resolver la problemática identificada y comprobada, consistió en la elaboración de un software que fuera capaz de llevar un registro y control de la cartera de clientes y empleados; poder registrar los procedimientos a ejecutar en el desarrollo de una auditoría por cada cliente existente; de registrar y programar las visitas que se harán a los clientes; así como también hacer el registro y asignación de encargos a los empleados y poder registrar las capacitaciones que estos últimos reciben; que la aplicación pudiera hacer recordatorios de fechas claves concernientes a los encargos y contar con un buscador en donde se pueda consultar toda la información que en la misma se vacíe. Finalmente que esta sea capaz de generar reportes. Para el diseño y elaboración del intangible se utilizó bibliografía referente al diseño y programación de sistemas, así mismo se investigó referente a los diferentes tipos de entornos y lenguajes que más se adaptaban a nuestras necesidades; se siguió el ciclo de vida de los soportes lógicos con el fin de cumplir con las etapas del mismo y poder llevar a cabo la elaboración del sistema propuesto. El trabajo inició mediante el suministro de una encuesta a las unidades de análisis las cuales fueron firmas de auditoría, después de haber pasado el instrumento a todos los elementos que conformaron la muestra y haber obtenido los resultados, se procedió a hacer la tabulación y análisis para poder dar paso a la formulación del diagnóstico sobre la problemática en estudio, determinando la necesidad de un sistema computarizado diseñado conforme a los estándares manifestados por los auditores para su uso en el desarrollo de sus labores. Por lo demás se desarrolló la propuesta, la cual contempló el diseño y programación de la aplicación de acuerdo a los requerimientos planteados y a las especificaciones que se pudieron identificar previamente, así como también las identificadas después de la tabulación y análisis de los resultados; es decir de acuerdo a los requerimientos que los las unidades de análisis deseaban que también tuviese el software a parte de las que se les plantearon en la encuesta. Para esto se hizo un estudio sobre la factibilidad técnica, operativa y económica de este, describiendo el lenguaje de programación y las relaciones entre las tablas que incluye la base de datos. Asimismo se presenta cada formulario con sus respectivos botones de acción y barra de herramienta a tomar en cuenta y el esquema de los reportes que de forma indispensable debe generar como producto del procesamiento electrónico de los datos. Para finalizar se redactaron a criterio del grupo de investigación, algunas conclusiones del trabajo realizado acompañado de sus respectivas recomendaciones a considerar por las firmas auditoras.

Componente Editor & Analizador SPL-SQL de karat

Creación de un componente "Editor y Analizador para el lenguaje SPL-SQL" del producto karat para ayudar a los desarrolladores de una empresa en la programación de código de este lenguaje implementando diferentes funcionalidades que ayuden a esta tarea. El proyecto ha sido desarrollado con el lenguaje Java y la herramienta resultante adopta el formato de un Plug-in IDE Eclipse.

AlcoNQL : Herramienta de consulta SQL por medio de lenguaje natural

Herramienta de transformación de sentencias en lenguaje natural en consultas SQL, realización de peticiones a la base de datos y muestra de los resultados.

Una aproximación evolucionista para la generación automática de sentencias SQL a partir de ejemplos

En la actualidad, el uso de las tecnologías ha sido primordial para el avance de las sociedades, estas han permitido que personas sin conocimientos informáticos o usuarios llamados “no expertos” se interesen en su uso, razón por la cual los investigadores científicos se han visto en la necesidad de producir estudios que permitan la adaptación de sistemas, a la problemática existente dentro del ámbito informático. Una necesidad recurrente de todo usuario de un sistema es la gestión de la información, la cual se puede administrar por medio de una base de datos y lenguaje específico, como lo es el SQL (Structured Query Language), pero esto obliga al usuario sin conocimientos a acudir a un especialista para su diseño y construcción, lo cual se ve reflejado en costos y métodos complejos, entonces se plantea una pregunta ¿qué hacer cuando los proyectos son pequeñas y los recursos y procesos son limitados? Teniendo como base la investigación realizada por la universidad de Washington[39], donde sintetizan sentencias SQL a partir de ejemplos de entrada y salida, se pretende con esta memoria automatizar el proceso y aplicar una técnica diferente de aprendizaje, para lo cual utiliza una aproximación evolucionista, donde la aplicación de un algoritmo genético adaptado origina sentencias SQL válidas que responden a las condiciones establecidas por los ejemplos de entrada y salida dados por el usuario. Se obtuvo como resultado de la aproximación, una herramienta denominada EvoSQL que fue validada en este estudio. Sobre los 28 ejercicios empleados por la investigación [39], 23 de los cuales se obtuvieron resultados perfectos y 5 ejercicios sin éxito, esto representa un 82.1% de efectividad. Esta efectividad es superior en un 10.7% al establecido por la herramienta desarrollada en [39] SQLSynthesizer y 75% más alto que la herramienta siguiente más próxima Query by Output QBO[31]. El promedio obtenido en la ejecución de cada ejercicio fue de 3 minutos y 11 segundos, este tiempo es superior al establecido por SQLSynthesizer; sin embargo, en la medida un algoritmo genético supone la existencia de fases que amplían los rangos de tiempos, por lo cual el tiempo obtenido es aceptable con relación a las aplicaciones de este tipo. En conclusión y según lo anteriormente expuesto, se obtuvo una herramienta automática con una aproximación evolucionista, con buenos resultados y un proceso simple para el usuario “no experto”.

Programación de la enseñanza del lenguaje segun el método PERT.

Estudiar el método PERT, introduciéndolo en programación de la enseñanza del lenguaje en todos los cursos de Enseñanza Primaria. Expone el método PERT desde sus ventajas y las etapas para la realización de dicho método y muestra la programación de la enseñanza del lenguaje de los diferentes cursos desde segundo hasta octavo. 1) Es un método que centra la atención en las partes del proyecto que son susceptibles de impedir o demorar su realización e informa de la incompleta utilización de los recursos. 2) En la realización del método PERT son necesarias cuatro etapas: plan básico, planificar los acontecimientos, programar la hoja de planificación y red PERT, en esta última etapa la información se traspasa a las hojas de planificación en la forma de acontecimientos, iniciales, acción y finales. 3) El método del camino crítico es una de las técnicas relacionadas con el método PERT, es prácticamente idéntico a dicho método con la diferencia en las estimaciones del tiempo. 3) En la teoría de los conjuntos se llama grafo a toda aplicación de un conjunto en sí mismo, el concepto de grafo no exige más que la consideración de un conjunto de elementos entre los que existe ligaduras orientadas. 4) Las informaciones proporcionadas por el método PERT generalizado, permiten comparar las alternativas de un programa basándose en tres características: sus probabilidades relativas de realización, las operaciones que conducen a las mismas y sus fechas medias respectivas. Las operaciones necesarias para la realización de un objetivo, tales que se conozca para cada una de ellas, su duración y las relaciones de orden respectivas, se denomina progama. La primera tarea a realizar es establecer una lista de actividades, con mayor o menor precisión, deben ser tan simples como sea posible y sus tiempos operatorios de magnitudes semejantes.

Programación de lenguaje para Educación Infantil en Euskera.

Programación de Lengua vasca para todo el ciclo inicial articulada a partir de las distintas situaciones de comunicación que se dan en el lenguaje. En este caso se hizo la siguiente selección: relaciones institucionales, medios de comunicación, literatura, estudios.