Incremental Verification of Timing Constraints for Real-Time Systems

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.

The Benefits of Re-Evaluating Real-Time Fulfillment Decisions

At the time of a customer order, the e-tailer assigns the order to one or more of its order fulfillment centers, and/or to drop shippers, so as to minimize procurement and transportation costs, based on the available current information. However this assignment is necessarily myopic as it cannot account for all future events, such as subsequent customer orders or inventory replenishments. We examine the potential benefits from periodically re-evaluating these real-time order-assignment decisions. We construct near-optimal heuristics for the re-assignment for a large set of customer orders with the objective to minimize the total number of shipments. We investigate how best to implement these heuristics for a rolling horizon, and discuss the effect of demand correlation, customer order size, and the number of customer orders on the nature of the heuristics. Finally, we present potential saving opportunities by testing the heuristics on sets of order data from a major e-tailer.

Protein Microarray: "Theory" to "Real Practice"

Fueled by ever-growing genomic information and rapid developments of proteomics–the large scale analysis of proteins and mapping its functional role has become one of the most important disciplines for characterizing complex cell function. For building functional linkages between the biomolecules, and for providing insight into the mechanisms of biological processes, last decade witnessed the exploration of combinatorial and chip technology for the detection of bimolecules in a high throughput and spatially addressable fashion. Among the various techniques developed, the protein chip technology has been rapid. Recently we demonstrated a new platform called “Spacially addressable protein array” (SAPA) to profile the ligand receptor interactions. To optimize the platform, the present study investigated various parameters such as the surface chemistry and role of additives for achieving high density and high-throughput detection with minimal nonspecific protein adsorption. In summary the present poster will address some of the critical challenges in protein micro array technology and the process of fine tuning to achieve the optimum system for solving real biological problems.

El ocio y el tiempo libre a través de una sociedad deportiva y social : el Real Club de Tenis de Oviedo 1949-1959.

a) Reconocer al ocio como ámbito socio-educativo beneficioso; b) Conocer las formas de ocio pasado para el desarrollo de las relaciones personales; c) Conocer las dimensiones y manifestaciones actuales de ocio; d) Aceptar al ocio como un camino para la equiparación de oportunidades mediante su educación. Estudio de tipo histórico que parte de la recogida de información de dos fuentes: el libro de actas del Real Club de Tenis de Oviedo (Asturias) y la correspondencia archivada en el mismo. También se acuden a fuentes indirectas como son las referencias bibliográficas especializadas. La profundización y respuesta a los problemas de ocio no puede hacerse de una forma aislada sino global, lo cual lleva a una visión integral del mundo, la vuelta al humanismo. En este campo la opción ideal para las personas será el ocio autotélico capaz de realizar a las personas y dar sentido a sus vidas, es un ocio inteligente para los que sepan elegir.

El Real Hospicio de Oviedo y su labor con los marginados : los niños ilegítimos y los expósitos (1750-1775).

Realizar un estudio cuantitativo sobre los niños expósitos del hospicio de Oviedo, desde su fundación hasta finalizar el siglo XVIII. Situación de los niños expósitos e ilegítimos en el Real Hospicio de Oviedo. Los aspectos de análisis más relevantes en este estudio son: Volumen de expósitos: distribución anual, estacional, repercusiones de crisis económicas, etc. Mortalidad: distribución anual y estacional de las muertes de niños expósitos, comparadas con otras Instituciones similares de otras provincias, causas de las muertes, diferencias en sexos. Características de las amas de cría: edad, origen social, procedencia, salarios, oblicaciones, etc.. Además de diferentes obras bibliográficas del periódo cronológico de estudio, se consultaron una serie de obras manuscritas: Archivos de la Diputación de Asturias: libros de expósitos. Juntas de Dirección del Hospicio, ordenanzas y mandatos dados por Gil de Jaza, etc. Archivo del Ayuntamiento de Oviedo. Archivo Nacional de Simancas. Frecuencias y porcentajes de las variables de estudio citadas anteriormente: número de expósitos, mortalidad, etc. Para la elaboración de estos índices se parte del vaciado de las actas de niños expósitos localizadas en la Diputación provincial. Para la representación gráfica de los datos se utilizan diagramas de barras, gráficas y mapas. En la segunda mitad del siglo XVIII abunda la construcción de centros para acoger a la población marginada. La mayoría de los expósitos acogidos en el Real Hospicio de Oviedo son hijos ilegítimos. No hay diferencias importantes entre el número de niñas y el de niños que son expuestos. El porcentaje de fallecimientos de los niños ingresados en esta Institución durante los años de estudio es del 50 por ciento. El mayor número de muertos se registra durante los seis primeros meses de ingreso y tampoco en este caso se dan diferencias relevantes en razón del sexo. Después de unos días de su ingreso en el hospicio, el expósito es puesto al cuidado de un ama exterior, que cobra por su trabajo un sueldo muy bajo, al cabo de seis años pasa nuevamente al hospicio. Esta investigación sobre el hospicio ovetense y sobre los niños en él ingresados, es considerada por su autora como una pequeña aportación a futuras investigaciones, destinadas a conocer más exahustivamente las clases marginadas de la España de la Edad Moderna.

Evaluación de las necesidades educativas de las familias con hijos-as adolescentes en riesgo de abandono escolar.

a) Evaluar las necesidades de apoyo socio-educativo de las familias con hijos escolarizados en la Educación Secundaria Obligatoria y en riesgo de abandono académico; b) Proponer orientaciones para la promoción de las relaciones entre las familias y los centros académicos. Se parte de as siguientes hipótesis: a) Las madres asumen en un mayor número de veces que los padres, las tareas relacionadas con la educación de sus hijos; b) Los padres y madres con hijos en riesgo de abandono escolar desarrollan estrategias con las que elevar la autoestima y autoconcepto de sus hijos; c) Cuanto mayor es el nivel de ingresos de la familia, mayor es la probabilidad de que los recursos educativos/culturales existentes en el hogar sean más y mejores; d) El alumnado en situación de fracaso escolar manifiesta un reducido hábito lector; e) Las expectativas educativas que los padres desarrollan con respecto a sus hijos se relacionan con sus propios niveles de estudios; f)La existencia de la televisión y ordenador en la habitación condiciona el surgimiento de altercados; g) Los padres con niveles educativos bajos ayudan en menor medida a sus hijos en las tareas de aprendizaje; h) Una de las formas de apoyo indirecto de los padres es proporcionar materiales de tipo educativo; i) Las familias con hijos en riesgo de abandono escolar tienen una buena concepción del profesorado. Tres centros educativos de titularidad pública del Principado de Asturias. Estos centros se seleccionan basándose en tres criterios: voluntariedad de participar en el estudio, ubicación en distintos contextos socioculturales y tener un porcentaje destacable de alumnado de la ESO en situación de riesgo de abandono escolar. El total de las familias participantes en el estudio es de 61 siendo los criterios de selección: a) Ubicación; b) Que tuviesen hijos cursando primero, segundo o tercero de ESO; c) Que sus hijos sean alumnos en situación de abandono escolar: bajos rendimientos educativos, alumnado absentista, problemas adaptativos y de comportamiento. La metodología de investigación adoptada es la no experimental o expost-facto. Para conseguir los objetivos propuestos se administra un cuestionario en forma de entrevista personal con cada una de las familias participantes en el estudio, no manipulando ni los contextos ni las personas. Se analiza la realidad (riesgo de abandono escolar) partiendo del estudio de sus diferentes manifestaciones. La manipulación de las variables independientes no se produce, tratando de encontrar argumentos o causas que expliquen el riesgo de abandono general a través de los comentarios de las familias. El procedimiento utilizado en la recogida de información es un cuestionario integrado por 67 variables clasificadas en cinco dimensiones, a saber: datos sociodemográficos, recursos culturales existentes en el hogar y/o el entorno, usos del tiempo libre, percepción que los padres tienen de su implicación en las actividades de aprendizaje de sus hijos y expectativas de los padres con respecto al futuro académico de su hijo. A su vez, cada una de estas categorías incluyen una serie de variables que concretan su expresión. Análisis de datos cuantitativos a través del programa estadístico SPSS en su versión 11.0: análisis descriptivos univariados, análisis de contingencia y análisis correlacionales y/o predictivos. Como complemento se realiza un análisis de contenido de los comentarios textuales aparecidos en las entrevistas. A) Las familias valoran altamente: la existencia en el domicilio de libros de consulta para sus hijos, la disponibilidad de ordenador y el abastecimiento de todo el material que sus hijos necesiten para el estudio. B) A la hora de implicarse en las actividades de aprendizaje de sus hijos, las familias demandan: asesoramiento profesional sobre métodos y habilidades con los que ayudar a sus hijos, más información sobre los progresos educativos y/o personales así como sobre los problemas de aprendizaje o comportamiento, conocer las etapas evolutivas de la adolescencia, tener mayor información sobre las actividades de aprendizaje y los exámenes desde el centro, conocer y dominar estrategias de comunicación para con sus hijos y necesidad de fomentar en sus hijos el hábito y gusto por la lectura. C) Las familias con hijos adolescentes en riesgo de abandono escolar no cesan en sus intentos por motivar y animar al joven a que se implique más en el estudio.

Cicle de Stirling real (applet) [versió comprimida]

Simulació del cicle d'Stirling

Cicle de Stirling real (applet)

Simulació del cicle d'Stirling

Visualització en temps real de multituds

Avui en dia, hi ha moltes pel.lícules o videojocs on apareixen grans quantitats de persones. Sovint és molt costós aconseguir grans quantitats de persones per realitzar les escenes, amb els problemes que això comporta (ja siguin econòmics o d’infraestructura) i la majoria de les vegades resulta inviable. Amb l’arribada de les noves targes gràfiques, és possible calcular aquesta visualització en temps real, donades una sèrie de simplificacions respecte de l’estructuració dels models a visualitzar. El que es pretén amb el GdM no és oferir una visualització molt realista de multituds (com ho faria el Massive Software, per exemple), sinó que el que es vol és la simulació de multituds usant molt menys temps per obtenir uns resultats prou bons per a simular el comportament i el moviment d' una multitud humana. Aquest projecte consta de dues parts: la primera, és la creació del model de persones que formaran la multitud. La segona, és la creació del GdM i la integració d’aquest model per la generació de la multitud

Premios de Fomento de la Lectura para Centros Educativos : curso 2001-2002

Resumen basado en el de la publicaci??n

Alimentaci??n saludable : gu??a para las familias

La poblaci??n infantil espa??ola con problemas de sobrepeso se ha triplicado en los ??ltimos 15 a??os, debido a causas como los cambios nutricionales o el sedentarismo. Una alimentaci??n saludable es uno de los pilares del buen estado general y del rendimiento escolar. Ser?? la que proporcione los nutrientes necesarios para un adecuado crecimiento y desarrollo y posibilite la necesaria actividad f??sica. La escuela, durante la etapa obligatoria, tiene la responsabilidad de conseguir que el alumnado adquiera la informaci??n, la formaci??n y los valores necesarios para vivir una vida saludable, pero este trabajo no puede ser exclusivo de ella, sino que es preciso que reciba un apoyo por parte de las familias. Es primordial que padres y madres alimenten a los menores de forma equilibrada, variada y suficiente. Esta gu??a, adaptaci??n de la publicada por los Ministerios de Educaci??n, Pol??tica Social y Deporte y de Sanidad y Consumo, como herramienta para el desarrollo del Programa Perseo, intenta ofrecer ayuda a las familias en torno a la alimentaci??n saludable de sus hijos para que exista una correlaci??n entre lo aprendido en el centro educativo y la vida cotidiana.

Nuestro centro : propuestas para la participaci??n de las familias en los centros educativos

Material anejo publicado en los idiomas: polaco, ruso, ingl??s, franc??s, chino, rumano, portugu??s y ??rabe

Orientaciones a las familias Andaluzas.

Resumen basado en el de la publicación

Guía de derechos y responsabilidades de las familias Andaluzas en la Educación : infantil y primaria.

Resumen basado en el de la publicación

Guía de derechos y responsabilidades de las familias Andaluzas en la Educación : secundaria.

Resumen basado en el de la publicación