Problemas asociados a la medida de emisiones másicas instantáneas en motores de vehículos

Se ha desarrollado un equipo de medida de emisiones contaminantes de motores térmicos, embarcable en un vehículo, que mide la concentración, el caudal y todas las condiciones termodinámicas asociadas al flujo de escape en tiempo real. Se discute la metodología empleada en la determinación de las emisiones másicas instantáneas, las totales y los factores de emisión, detallando por un lado la configuración física del caudalímetro, la frecuencia de muestreo, el registro de datos, y los cálculos. Y por otro, las correcciones sobre las concentraciones instantáneas por tipo de medida y dinámica propia de los analizadores es necesario realizar. El trabajo se enfoca principalmente en los aspectos termodinámicos asociados, pero se discutirán los problemas físicos de este tipo de medidas: condensado, arrastre de partículas y oscilaciones del flujo. Con objeto de ilustrar las dificultades encontradas y legitimar las soluciones adoptadas, se presentan y se discuten algunos resultados reales obtenidos en un motor en condiciones normales de funcionamiento, y los resultados de validación en base a medidas en banco de rodillos. Los resultados muestran la importancia del diseño físico del caudalímetro, de la precisión y rapidez de los analizadores y de la adecuada frecuencia de muestreo.

Some considerations on the compile-time analysis of constraint logic programs

This paper discusses some issues which arise in the dataflow analysis of constraint logic programming (CLP) languages. The basic technique applied is that of abstract interpretation. First, some types of optimizations possible in a number of CLP systems (including efficient parallelization) are presented and the information that has to be obtained at compile-time in order to be able to implement such optimizations is considered. Two approaches are then proposed and discussed for obtaining this information for a CLP program: one based on an analysis of a CLP metainterpreter using standard Prolog analysis tools, and a second one based on direct analysis of the CLP program. For the second approach an abstract domain which approximates groundness (also referred to as "definiteness") information (i.e. constraint to a single valué) and the related abstraction functions are presented.

Experimenting with independent and-parallel prolog using standard prolog

This paper presents an approximation to the study of parallel systems using sequential tools. The Independent And-parallelism in Prolog is an example of parallel processing paradigm in the framework of logic programming, and implementations like ded. Such implementations include tests for parallelism in And-Prolog, a correctnesschecking meta-interpreter of

Repercusiones de las etapas del desarme sobre las políticas nacionales de ciencia y tecnología

Cuando el título de la presente contribución fue escrito, estaban aún cercanos los ecos de toda la serie acontecimientos que llenaron, de forma esperanzada, la primera mitad del presente año. Parecía que el miedo a una conflagración global se había alejado y que los dos grandes bloques habían llegado a un entendimiento que presagiaba un futuro brillante. Artículos como el célebre ¿El fin de la historia?, de Francis Fukuyama, marcaron el inicio de un conjunto de visiones optimistas de la historia, en las que el hombre iba, por fin, a poderse dedicar a toda una serie de tareas que, hasta ahora, había pospuesto ante la inminencia de tensiones más o menos reales. Parecía que un nuevo espíritu se había adueñado de la Humanidad y que todos los problemas de carácter político iban a desaparecer en virtud de la aceptación universal de un principio de armonía en torno a los valores incuestionables de la Democracia. Puede ser conveniente, a efectos de resaltar este espíritu que comentamos, entresacar algún párrafo del citado artículo de Fukuyama.