946 resultados para Programación concurrente
Resumo:
Ejercicios de la práctica 2. Programación con GRAFCET de un PLC.
Resumo:
Esta divulgación docente recoge los ejercicios resueltos de aquellos exámenes realizados durante los curso 2005-2011, correspondientes a la asignatura Aplicación de Ordenadores de 3º curso de la titulación de Ingeniería Técnica de Obras Públicas de la Escuela Politécnica Superior de la Universidad de Alicante. El contenido de esta colección de exámenes versa sobre fundamentos de programación y algoritmos.
Resumo:
Este artículo aborda la investigación, realizada con los estudiantes del primer semestre de la titulación de Informática de la Facultad de Filosofía, Letras y Ciencias de la Educación de la Universidad Central del Ecuador, cuyo propósito ha sido analizar el uso de entornos de programación no mediados simbólicamente como herramienta didáctica para el desarrollo del pensamiento computacional. Se pretende establecer las posibles ventajas de aplicar este tipo de entorno para que los estudiantes desarrollen habilidades del pensamiento computacional tales como la creatividad, modelación y abstracción, entre otras, consideradas relevantes dentro de la programación. La metodología en que se apoyó la investigación es mixta, con investigación de campo y documental a nivel descriptivo. Se utilizó como instrumento un cuestionario para la recolección de datos entre el alumnado de la titulación. Finalmente, con la información recopilada se procedió al procesamiento de datos a partir de la estadística descriptiva para, así, obtener resultados que permitiesen alcanzar las pertinentes conclusiones y recomendaciones.
Resumo:
El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.
Resumo:
Cada vez son más los usuarios que optan por usar un juez online de programación como entrenamiento para un concurso de programación o inclusive como herramienta de estudio en el ámbito docente. No obstante, es natural que con su uso se cometan errores que muchas veces no se alcanzan a entender. Por ello, en este proyecto, se trata de resolver esa carencia mediante el ofrecimiento de pistas a los usuarios. Es decir, dado un problema con un formato concreto y una solución en código fuente, se devuelve una ayuda sobre el error cometido en la solución, lo cual supone, no solo una ayuda para participantes en concursos, sino también para alumnos y profesores que pueden beneficiarse de esta ayuda. De hecho, el uso de herramientas de corrección automática está en aumento, y con la solución propuesta, se podría obtener pistas para los problemas que respeten el formato esperado.
Resumo:
Programa de doctorado: Patología quirúrgica, reproducción humana y factores psicológicos y el proceso de enfermar. La fecha de publicación es la fecha de lectura.
Resumo:
El TDAH es uno de los diagnósticos más frecuentes en psiquiatría infantil, su diagnóstico temprano reviste una gran importancia para su intervención familiar, escolar y social. Basándose en la clasificación internacional del funcionamiento, la discapacidad y la salud CIF, se diseñó un cuestionario para la evaluación de limitaciones en la actividad y restricciones en la participaciónen niños con TDAH, el cuestionario CLARP-TDAH versión padres y profesores. El objetivo de este artículo es determinar el grado de consistencia interna de los CLARP-TDAH y su validez concurrente con el cuestionario de capacidades y dificultades SDQ versión padres y maestros.
Resumo:
Aquí se expone un ejemplo de programación dinámica, el cual muestra una aplicación directa del principio de optimalidad en problemas de múltiples etapas. No obstante que la aplicación de este ejemplo se reduce a casos en que hay que tomar dos decisiones únicamente, en situaciones reales son diversos los problemas de este tipo y de ahí su importancia. Por otra parte, la forma de solución aquí expuesta resulta accesible aun para aquellos poco versados en programación dinámica. Creador de principios de optimalidad y uno de los principales propulsores de los principios teóricos que gobiernan esta variedad reciente de la programación matemática es R. E. Bellman. El término programación dinámica se define como: un sistema de optimización donde se puede representar cada una de las variables como función de un parámetro común y si este parámetro es el tiempo, entonces se trata de un problema de programación dinámica. Las técnicas de solución son aplicables, entre otros, a los procesos de decisiones de múltiples etapas en las cuales la decisión que se toma en cada etapa depende de las decisiones tomadas previamente.
Resumo:
Tesis (Ingeniero(a) en Automaziación).--Universidad de La Salle. Facultad de Ingeniería. Programa de Ingeniería en Automatización, 2014
Resumo:
El problema de selección de requisitos (o Next Release Problem, NRP) consiste en seleccionar el subconjunto de requisitos que se va a desarrollar en la siguiente versión de una aplicación software. Esta selección se debe hacer de tal forma que maximice la satisfacción de las partes interesadas a la vez que se minimiza el esfuerzo empleado en el desarrollo y se cumplen un conjunto de restricciones. Trabajos recientes han abordado la formulación bi-objetivo de este problema usando técnicas exactas basadas en resolutores SAT y resolutores de programación lineal entera. Ambos se enfrentan a dificultades cuando las instancias tienen un gran tamaño, sin embargo la programación lineal entera (ILP) parece ser más efectiva que los resolutores SAT. En la práctica, no es necesario calcular todas las soluciones del frente de Pareto (que pueden llegar a ser muchas) y basta con obtener un buen número de soluciones eficientes bien distribuidas en el espacio objetivo. Las estrategias de búsqueda basadas en ILP que se han utilizado en el pasado para encontrar un frente bien distribuido en cualquier instante de tiempo solo buscan soluciones soportadas. En este trabajo proponemos dos estrategias basadas en ILP que son capaces de encontrar el frente completo con suficiente tiempo y que, además, tienen la propiedad de aportar un conjunto de soluciones bien distribuido en el frente objetivo en cualquier momento de la búsqueda.
Resumo:
Tesis (Ingeniero(a) Eléctrico).--Universidad de La Salle. Facultad de Ingeniería. Programa de Ingeniería Eléctrica, 2014
Resumo:
El objetivo de este documento es presentar dos aproximaciones generales a la axiomatización de clases y conjuntos. De una parte, la aproximación matemáticas, mostrando el origen, evolución y desarrollo de la teoría matemática de clases y conjuntos, sin formular completamente el desarrollo axiomático, sólo mostrando los conceptos básicos y las crisis generadas por ellos y la solución más usualmente aceptada. Por otra parte, la aproximación dada por el paradigma orientado a objetos, siguiendo especialmente la línea marcada por el lenguaje smalltalk-80
Resumo:
Bogotá (Colombia) : Universidad de La Salle. Facultad de Ciencias de La Educación. Licenciatura en Lengua Castellana, Inglés y Francés
Área de Psicología de la Real Federación Española de Atletismo: programación y desempeño profesional
Resumo:
Desde una amplia trayectoria profesional del psicólogo del deporte dentro del organigrama de los servicios médicos de la Real Federación Española de Atletismo, se presenta la programación y desempeño profesional del Área de Psicología. Los objetivos principales son que los atletas profesionales obtengan su máximo rendimiento deportivo, el logro de objetivos, que las jóvenes promesas lleguen a la élite del atletismo y colaborar con los servicios médicos en materia de lesiones y salud de los deportistas. Las acciones se centran principalmente en la intervención individual con el atleta, la participación en las concentraciones de jóvenes talentos, la asistencia en las competiciones nacionales e internacionales e integración en las sesiones clínicas de los servicios médicos. Se discuten estas cuestiones y se proponen perspectivas futuras de mejora.