925 resultados para Timing errors
Resumo:
This paper introduces a simple and efficient method and its implementation in an FPGA for reducing the odometric localization errors caused by over count readings of an optical encoder based odometric system in a mobile robot due to wheel-slippage and terrain irregularities. The detection and correction is based on redundant encoder measurements. The method suggested relies on the fact that the wheel slippage or terrain irregularities cause more count readings from the encoder than what corresponds to the actual distance travelled by the vehicle. The standard quadrature technique is used to obtain four counts in each encoder period. In this work a three-wheeled mobile robot vehicle with one driving-steering wheel and two-fixed rear wheels in-axis, fitted with incremental optical encoders is considered. The CORDIC algorithm has been used for the computation of sine and cosine terms in the update equations. The results presented demonstrate the effectiveness of the technique
Resumo:
A fully relativistic four-component Dirac-Fock-Slater program for diatomics, with numerically given AO's as basis functions is presented. We discuss the problem of the errors due to the finite basis-set, and due to the influence of the negative energy solutions of the Dirac Hamiltonian. The negative continuum contributions are found to be very small.
Resumo:
Testing constraints for real-time systems are usually verified through the satisfiability of propositional formulae. In this paper, we propose an alternative where the verification of timing constraints can be done by counting the number of truth assignments instead of boolean satisfiability. This number can also tell us how “far away” is a given specification from satisfying its safety assertion. Furthermore, specifications and safety assertions are often modified in an incremental fashion, where problematic bugs are fixed one at a time. To support this development, we propose an incremental algorithm for counting satisfiability. Our proposed incremental algorithm is optimal as no unnecessary nodes are created during each counting. This works for the class of path RTL. To illustrate this application, we show how incremental satisfiability counting can be applied to a well-known rail-road crossing example, particularly when its specification is still being refined.
Resumo:
En este artículo se presenta el análisis de los errores de puntuación realizado sobre un corpus formado a partir de exámenes de Selectividad. El estudio de los errores de puntuación que los estudiantes hacen en los escritos académicos que producen permite averiguar cuales son y en qué grado consiguen este tipo de errores.Estos datos permiten reflexionar sobre las representaciones que tienen los estudiantes sobre la puntuación, a la vez que permite hacerlo sobre la propia naturaleza de la puntuación. Desde este conocimiento es posible establecer una imagen más fiel de las carencias que presentan los estudiantes y de cómo se puede orientar la práctica educativa para erradicar estos errores de sus escritos.
Resumo:
Analizar las estrategias, las dificultades y los errores de los alumnos, manifestados en los aprendizajes de habilidades de orientación espacial y de habilidades espaciales ligados a los procesos de resolución. Asociar, cuando sea posible, las tipologías establecidas a los grupos de incidencia determinados por las variables sexo y escolarización.. 655 alumnos de edades entre 14-16 años de 16 centros diferentes de EGB, FP y BUP. 24 alumnos de la muestra anterior.. Elabora un cuestionario con una primera parte de carácter general, con preguntas de geometría escolar, y una segunda parte con contenido estrictamente espacial. Aplica el cuestionario a la muestra. Estudia los tipos de errores manifestados en las actividades del cuestionario donde la transformación geométrica es una rotación al espacio y los asocia a grupos de incidencia. Establece una tipología de procesos de resolución, analizando las estrategias, dificultades y errores, asociándola a grupos de incidencia.. Cuestionario. Análisis cualitativo. Análisis cuantitativo. Elabora las conclusiones en función de cada item del cuestionario. Las conclusiones generales se relacionan con la metodología utilizada; las estrategias, dificultades y errores de los alumnos; habilidad de orientación espacial de los alumnos; diferencias de comportamiento entre grupos; implementación de las habilidades..
Resumo:
Resumen basado en el de la publicación. Resumen en español
Resumo:
Manual diseñado para ayudar a los profesores de primaria a identificar en los niños sus conceptos erróneos en matemáticas. Considera tres perspectivas diferentes: el nivel del plan de estudios, el nivel del aula y el nivel de cada alumno. La comprensión de cómo los niños construyen su conocimiento matemático y los errores que cometen, permite identificar y explicar por qué ocurre el error. También permite adelantarse a conceptos erróneos habituales y a planificar las lecciones. Tiene un índice con referencias cruzadas para el programa nacional británico.
Resumo:
Resumen tomado de la publicación
Resumo:
Resumen basado en el de la publicaci??n
Resumo:
Resumen basado en el de la publicaci??n
Resumo:
Resumen basado en el de la publicaci??n
Resumo:
This is a descriptive study that analyzes the spelling abilities as well as a specific spelling error made by children between the ages of 5 and 9 who are deaf and wear cochlear implants.
Resumo:
This paper discusses a study done to test tactile errors of localization abilities, with and without a Tactaid VII communication aid.
Resumo:
This paper presents a study of common errors made during speech discrimination testing.