7 resultados para Sistema binari (Matemàtica) -- Informàtica
em Universidad de Alicante
Resumo:
Se presenta el sistema de climatización basado en suelo radiante coalimentado por fuentes de energía renovables, que es capaz de proporcionar calor o frío. Se ha modelado una instalación genérica, que ha sido particularizada e integrada en una vivienda-laboratorio de unos 54m2. El sistema está compuesto por placas termo-solares, calentador eléctrico, bomba de calor aire-agua, acumuladores, circuito de suelo radiante y fancoil. El sistema de control está basado en un autómata que integra sensores y actuadores de diversas tecnologías que permiten monitorizar el sistema, visualizar y gestionar la instalación de forma remota y realizar un control minimizando el gasto energético. El sistema de control es reactivo en tiempo real por lo que cada vez que sucede algún cambio en el entorno se desencadenas las acciones oportunas.
Resumo:
En esta memoria se describe el proyecto llevado a cabo para mejorar el seguimiento y la calidad de la docencia de las asignaturas del tercer curso del Grado en Ingeniería Informática. En concreto, en este proyecto, nos centramos en los mecanismos de evaluación y en su distribución a lo largo del curso, así como en los conceptos fundamentales que se asocian a las diferentes asignaturas que se imparten en tercer curso del Grado en Ingeniería Informática. Se realizaron diversas reuniones entre los coordinadores de las distintas asignaturas para poner en común problemas relacionados con la planificación de las asignaturas así como dudas sobre las actividades de evaluación. Las reuniones permitieron intercambiar diferentes planteamientos con los que se habían abordado la evaluación de las asignaturas participantes en la red y que posibilitaron resolver problemas comunes. De igual forma se plantearon cuestiones abiertas sobre la planificación y la evaluación de las asignaturas que se dirigieron desde la red a la coordinación de la titulación en la Escuela Politécnica Superior. Finalmente, también se discutieron diferentes propuestas junto con las redes de otros cursos de la titulación para abordarlas en futuras redes.
Resumo:
En esta memoria se describe el trabajo de la red docente para el seguimiento y control de calidad de las asignaturas del segundo curso del Grado en Ingeniería Informática impartido en la Escuela Politécnica Superior de la Universidad de Alicante. En esta edición, el trabajo de la red se ha centrado en el estudio de las necesidades formativas y los contenidos impartidos en las asignaturas. El resultado ha sido la creación de un grafo de dependencias entre asignaturas de segundo y primer curso (y de segundo curso entre sí), un mapa de necesidades formativas para acceder a las asignaturas de segundo curso y un mapa de los contenidos impartidos en éstas. Asimismo, se ha elaborado un calendario on-line de evaluaciones para el curso 2014-2015.
Resumo:
El trabajo de esta Red Docente se ha planteado como una continuación directa del realizado en el marco de la Red Docente 2733, del curso pasado. Continuamos con la elaboración del mapa conceptual, en el que ahora vamos a identificar solapamientos y lagunas en los conocimientos del egresado en el Grado en Ingeniería Informática. Por otro lado hemos simplificado y mejorado la gestión del calendario de evaluación, en el que se reflejan todas las pruebas evaluables que realizan los alumnos de la titulación, con el objetivo de mejorar la coordinación y evitar la excesiva concentración de pruebas en un reducido período de tiempo.
Resumo:
La enseñanza de Gestión del Proceso Constructivo en el grado de Arquitectura Técnica se realiza actualmente siguiendo un esquema teórico-práctico. A través de clases magistrales se define el proceso constructivo de una edificación y la relación e interdependencia entre los oficios. Estos contenidos se refuerzan en las sesiones prácticas a través de la herramienta gráfica diagrama de Gantt, donde el alumno se enfrenta de manera individual a la planificación de la obra siguiendo los criterios estipulados en la asignatura. Esta metodología no permite a los estudiantes enfrentarse a los problemas frecuentes de re-planificación y gestión de imprevistos en el entorno de la construcción. Como consecuencia, se plantea una propuesta para la implementación de la herramienta Last Planner en la asignatura como sistema de planificación colaborativa basado en la filosofía Lean Construction. A través del uso de Last Planner como técnica de Gamificación se pretende dotar de dinamismo a las sesiones teórico-prácticas. En cada sesión se simularán diferentes escenarios que requieran procesos constructivos variados, favoreciendo la motivación del alumnado, su capacidad para aprender y proponer soluciones justificadas huyendo de soluciones rígidas y estándar, y el trabajo en equipo de forma colaborativa.
Resumo:
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.
Resumo:
En esta comunicación se presentan resultados de una investigación cuyo objeto fue analizar concepciones de profesores de matemáticas de nivel medio superior sobre la inclusión de la historia de la matemática en su práctica docente. Se usó un método mixto para la recogida y análisis de datos. Para detectar concepciones de los profesores, se elaboraron un cuestionario y una entrevista. Los resultados de su aplicación indican que la mayoría de los profesores del estudio no están habituados a considerar la historia de la matemática en su enseñanza; además sus concepciones sobre incluir este recurso están condicionadas por su visión del sistema educativo.