Setting Inventory Levels of CONWIP Flow Lines via Linear Programming

This paper treats the problem of setting the inventory level and optimizing the buffer allocation of closed-loop flow lines operating under the constant-work-in-process (CONWIP) protocol. We solve a very large but simple linear program that models an entire simulation run of a closed-loop flow line in discrete time to determine a production rate estimate of the system. This approach introduced in Helber, Schimmelpfeng, Stolletz, and Lagershausen (2011) for open flow lines with limited buffer capacities is extended to closed-loop CONWIP flow lines. Via this method, both the CONWIP level and the buffer allocation can be optimized simultaneously. The first part of a numerical study deals with the accuracy of the method. In the second part, we focus on the relationship between the CONWIP inventory level and the short-term profit. The accuracy of the method turns out to be best for such configurations that maximize production rate and/or short-term profit.

Flow-R, a model for susceptibility mapping of debris flows and other gravitational hazards at a regional scale

The development of susceptibility maps for debris flows is of primary importance due to population pressure in hazardous zones. However, hazard assessment by process-based modelling at a regional scale is difficult due to the complex nature of the phenomenon, the variability of local controlling factors, and the uncertainty in modelling parameters. A regional assessment must consider a simplified approach that is not highly parameter dependant and that can provide zonation with minimum data requirements. A distributed empirical model has thus been developed for regional susceptibility assessments using essentially a digital elevation model (DEM). The model is called Flow-R for Flow path assessment of gravitational hazards at a Regional scale (available free of charge under http://www.flow-r.org) and has been successfully applied to different case studies in various countries with variable data quality. It provides a substantial basis for a preliminary susceptibility assessment at a regional scale. The model was also found relevant to assess other natural hazards such as rockfall, snow avalanches and floods. The model allows for automatic source area delineation, given user criteria, and for the assessment of the propagation extent based on various spreading algorithms and simple frictional laws. We developed a new spreading algorithm, an improved version of Holmgren's direction algorithm, that is less sensitive to small variations of the DEM and that is avoiding over-channelization, and so produces more realistic extents. The choices of the datasets and the algorithms are open to the user, which makes it compliant for various applications and dataset availability. Amongst the possible datasets, the DEM is the only one that is really needed for both the source area delineation and the propagation assessment; its quality is of major importance for the results accuracy. We consider a 10 m DEM resolution as a good compromise between processing time and quality of results. However, valuable results have still been obtained on the basis of lower quality DEMs with 25 m resolution.

Step-Wise Changes in Glacier Flow Speed Coincide With Calving and Glacial Earthquakes at Helheim Glacier, Greenland

Geodetic observations show several large, sudden increases in flow speed at Helheim Glacier, one of Greenland's largest outlet glaciers, during summer, 2007. These step-like accelerations, detected along the length of the glacier, coincide with teleseismically detected glacial earthquakes and major iceberg calving events. No coseismic offset in the position of the glacier surface is observed; instead, modest tsunamis associated with the glacial earthquakes implicate glacier calving in the seismogenic process. Our results link changes in glacier velocity directly to calving-front behavior at Greenland's largest outlet glaciers, on timescales as short as minutes to hours, and clarify the mechanism by which glacial earthquakes occur. Citation: Nettles, M., et al. (2008), Step-wise changes in glacier flow speed coincide with calving and glacial earthquakes at Helheim Glacier, Greenland, Geophys. Res. Lett., 35, L24503, doi: 10.1029/2008GL036127.

Interhemispheric cerebral blood flow balance during recovery of motor hand function after ischemic stroke - a longitudinal MRI study using arterial spin labeling perfusion

BACKGROUND Unilateral ischemic stroke disrupts the well balanced interactions within bilateral cortical networks. Restitution of interhemispheric balance is thought to contribute to post-stroke recovery. Longitudinal measurements of cerebral blood flow (CBF) changes might act as surrogate marker for this process. OBJECTIVE To quantify longitudinal CBF changes using arterial spin labeling MRI (ASL) and interhemispheric balance within the cortical sensorimotor network and to assess their relationship with motor hand function recovery. METHODS Longitudinal CBF data were acquired in 23 patients at 3 and 9 months after cortical sensorimotor stroke and in 20 healthy controls using pulsed ASL. Recovery of grip force and manual dexterity was assessed with tasks requiring power and precision grips. Voxel-based analysis was performed to identify areas of significant CBF change. Region-of-interest analyses were used to quantify the interhemispheric balance across nodes of the cortical sensorimotor network. RESULTS Dexterity was more affected, and recovered at a slower pace than grip force. In patients with successful recovery of dexterous hand function, CBF decreased over time in the contralesional supplementary motor area, paralimbic anterior cingulate cortex and superior precuneus, and interhemispheric balance returned to healthy control levels. In contrast, patients with poor recovery presented with sustained hypoperfusion in the sensorimotor cortices encompassing the ischemic tissue, and CBF remained lateralized to the contralesional hemisphere. CONCLUSIONS Sustained perfusion imbalance within the cortical sensorimotor network, as measured with task-unrelated ASL, is associated with poor recovery of dexterous hand function after stroke. CBF at rest might be used to monitor recovery and gain prognostic information.

Interstellar neutral helium in the heliosphere from Interstellar Boundary Explorer observations. III. Mach number of the flow, velocity vector, and temperature from the first six years of measurements

We analyzed observations of interstellar neutral helium (ISN He) obtained from the Interstellar Boundary Explorer (IBEX) satellite during its first six years of operation. We used a refined version of the ISN He simulation model, presented in the companion paper by Sokol et al. (2015b), along with a sophisticated data correlation and uncertainty system and parameter fitting method, described in the companion paper by Swaczyna et al. We analyzed the entire data set together and the yearly subsets, and found the temperature and velocity vector of ISN He in front of the heliosphere. As seen in the previous studies, the allowable parameters are highly correlated and form a four-dimensional tube in the parameter space. The inflow longitudes obtained from the yearly data subsets show a spread of similar to 6 degrees, with the other parameters varying accordingly along the parameter tube, and the minimum chi(2) value is larger than expected. We found, however, that the Mach number of the ISN He flow shows very little scatter and is thus very tightly constrained. It is in excellent agreement with the original analysis of ISN He observations from IBEX and recent reanalyses of observations from Ulysses. We identify a possible inaccuracy in the Warm Breeze parameters as the likely cause of the scatter in the ISN He parameters obtained from the yearly subsets, and we suppose that another component may exist in the signal or a process that is not accounted for in the current physical model of ISN He in front of the heliosphere. From our analysis, the inflow velocity vector, temperature, and Mach number of the flow are equal to lambda(ISNHe) = 255 degrees.8 +/- 0 degrees.5, beta(ISNHe) = 5 degrees.16 +/- 0 degrees.10, T-ISNHe = 7440 +/- 260 K, nu(SNHe) = 25.8 +/- 0.4 km s(-1), and M-ISNHe = 5.079 +/- 0.028, with uncertainties strongly correlated along the parameter tube.

Vasculogenesis: A process of vessel formation and its role during Ewing's sarcoma development

Vasculogenesis is the process by which Endothelial Precursor Cells (EPCs) form a vasculature. This process has been traditionally regarded as an embryological process of vessel formation. However, as early as in the 60's the concept of postnatal vasculogenesis was introduced, with a strong resurface of this idea in recent years. Similarly, previous work on a mouse skin tumor model provided us with the grounds to consider the role of vasculogenesis during tumor formation. ^ We examined the contribution of donor bone marrow (BM)-derived cells to neovascularization in recipient nude mice with Ewing's sarcoma. Ewing's sarcoma is a primitive neuroectodermal tumor that most often affects children and young adults between 5 and 30 years of age. Despite multiple attempts to improve the efficacy of chemotherapy for the disease, the 2-year metastases-free survival rate for patients with Ewing's sarcoma has not improved over the past 15 years. New therapeutic approaches are therefore needed to reduce the mortality rate. ^ The contribution of BM endothelial precursor cells in the development of Ewing's sarcoma was examined using different strategies to track the donor-derived cells. Using a BMT model that takes advantage of MHC differences between donor and recipient mice, we have found that donor BM cells were involved in the formation of Ewing's sarcoma vasculature. ^ Cells responsible for this vasculogenesis activity may be located within the stem cell population of the murine BM. These stem cells would not only generate the hematopoietic lineage but they would also generate ECs. Bone marrow SP (Side Population) cells pertain to a subpopulation that can be identified using flow cytometric analysis of Hoechst 33342-stained BM. This population of cells has HSC activity. We have tested the ability of BM SP cells to contribute to vasculogenesis in Ewing's sarcoma using our MHC mismatched transplant model. Mice transplanted with SP cells developed tumor neovessels that were derived from the donor SP cells. Thus, SP cells not only replenished the hematopoietic system of the lethally irradiated mice, but also differentiated into a non-hematopoietic cell lineage and contributed to the formation of the tumor vasculature. ^ In summary, we have demonstrated that BM-derived cells are involved in the generation of the new vasculature during the growth of Ewing's sarcoma. The finding that vasculogenesis plays a role in Ewing's sarcoma development opens the possibility of using genetically modified BM-derived cells for the treatment of Ewing's sarcomas. ^

Bench-scale evaluation of the activated sludge process for treatment of a high -strength chemical plant wastewater

A bench-scale treatability study was conducted on a high-strength wastewater from a chemical plant to develop an alternative for the existing waste stabilization pond treatment system. The objective of this study was to determine the treatability of the wastewater by the activated sludge process and, if treatable, to determine appropriate operating conditions, and to evaluate the degradability of bis(2-chloroethyl)ether (Chlorex) and benzene in the activated sludge system. Four 4-L Plexi-glass, complete mixing, continuous flow activated sludge reactors were operated in parallel under different operating conditions over a 6-month period. The operating conditions examined were hydraulic retention time (HRT), sludge retention time (SRT), nutrient supplement, and Chlorex/benzene spikes. Generally the activated sludge system treating high-strength wastewater was stable under large variations of organic loading and operating conditions. At an HRT of 2 days, more than 90% removal efficiency with good sludge settleability was achieved when the organic loading was less than 0.4 g BOD$\sb5$/g MLVSS/d or 0.8 g COD/g MLVSS/d. At least 20 days of SRT was required to maintain steady operation. Phosphorus addition enhanced the performance of the system especially during stressed operation. On the average, removals of benzene and Chlorex were 73-86% and 37-65%, respectively. In addition, the low-strength wastewater was treatable by activated sludge process, showing more than 90% BOD removal at a HRT of 0.5 days. In general, the sludge had poor settling characteristics. The aerated lagoon process treating high-strength wastewater also provided significant organic reduction, but did not produce an acceptable effluent concentration. ^

A formalism and method for representing and reasoning with process models authored by subject matter experts

Enabling Subject Matter Experts (SMEs) to formulate knowledge without the intervention of Knowledge Engineers (KEs) requires providing SMEs with methods and tools that abstract the underlying knowledge representation and allow them to focus on modeling activities. Bridging the gap between SME-authored models and their representation is challenging, especially in the case of complex knowledge types like processes, where aspects like frame management, data, and control flow need to be addressed. In this paper, we describe how SME-authored process models can be provided with an operational semantics and grounded in a knowledge representation language like F-logic in order to support process-related reasoning. The main results of this work include a formalism for process representation and a mechanism for automatically translating process diagrams into executable code following such formalism. From all the process models authored by SMEs during evaluation 82% were well-formed, all of which executed correctly. Additionally, the two optimizations applied to the code generation mechanism produced a performance improvement at reasoning time of 25% and 30% with respect to the base case, respectively.

Accurate Parabolic Navier-Stokes solutions of the supersonic flow around and elliptic cone

Flows of relevance to new generation aerospace vehicles exist, which are weakly dependent on the streamwise direction and strongly dependent on the other two spatial directions, such as the flow around the (flattened) nose of the vehicle and the associated elliptic cone model. Exploiting these characteristics, a parabolic integration of the Navier-Stokes equations is more appropriate than solution of the full equations, resulting in the so-called Parabolic Navier-Stokes (PNS). This approach not only is the best candidate, in terms of computational efficiency and accuracy, for the computation of steady base flows with the appointed properties, but also permits performing instability analysis and laminar-turbulent transition studies a-posteriori to the base flow computation. This is to be contrasted with the alternative approach of using order-of-magnitude more expensive spatial Direct Numerical Simulations (DNS) for the description of the transition process. The PNS equations used here have been formulated for an arbitrary coordinate transformation and the spatial discretization is performed using a novel stable high-order finite-difference-based numerical scheme, ensuring the recovery of highly accurate solutions using modest computing resources. For verification purposes, the boundary layer solution around a circular cone at zero angle of attack is compared in the incompressible limit with theoretical profiles. Also, the recovered shock wave angle at supersonic conditions is compared with theoretical predictions in the same circular-base cone geometry. Finally, the entire flow field, including shock position and compressible boundary layer around a 2:1 elliptic cone is recovered at Mach numbers 3 and 4

Guidelines for the design of an environmental flow regime program at the regional scale: Application of the ELOHA framework in the Ebro River basin

La gestión de los recursos hídricos se convierte en un reto del presente y del futuro frente a un panorama de continuo incremento de la demanda de agua debido al crecimiento de la población, el crecimiento del desarrollo económico y los posibles efectos del calentamiento global. La política hidráulica desde los años 60 en España se ha centrado en la construcción de infraestructuras que han producido graves alteraciones en el régimen natural de los ríos. Estas alteraciones han provocado y acrecentado los impactos sobre los ecosistemas fluviales y ribereños. Desde los años 90, sin embargo, ha aumentado el interés de la sociedad para conservar estos ecosistemas. El concepto de caudales ambientales consiste en un régimen de caudales que simula las características principales del régimen natural. Los caudales ambientales están diseñados para conservar la estructura y funcionalidad de los ecosistemas asociados al régimen fluvial, bajo la hipótesis de que los elementos que conforman estos ecosistemas están profundamente adaptados al régimen natural de caudales, y que cualquier alteración del régimen natural puede provocar graves daños a todo el sistema. El método ELOHA (Ecological Limits of Hydrological Alteration) tiene como finalidad identificar las componentes del régimen natural de caudales que son clave para mantener el equilibrio de los ecosistemas asociados, y estimar los límites máximos de alteración de estas componentes para garantizar su buen estado. Esta tesis presenta la aplicación del método ELOHA en la cuenca del Ebro. La cuenca del Ebro está profundamente regulada e intervenida por el hombre, y sólo las cabeceras de los principales afluentes del Ebro gozan todavía de un régimen total o cuasi natural. La tesis se estructura en seis capítulos que desarrollan las diferentes partes del método. El primer capítulo explica cómo se originó el concepto “caudales ambientales” y en qué consiste el método ELOHA. El segundo capítulo describe el área de estudio. El tercer capítulo realiza una clasificación de los regímenes naturales de la cuenca (RNC) del Ebro, basada en series de datos de caudal mínimamente alterado y usando exclusivamente parámetros hidrológicos. Se identificaron seis tipos diferentes de régimen natural: pluvial mediterráneo, nivo-pluvial, pluvial mediterréaneo con una fuerte componente del caudal base, pluvial oceánico, pluvio-nival oceánico y Mediterráneo. En el cuarto capítulo se realiza una regionalización a toda la cuenca del Ebro de los seis RNC encontrados en la cueca. Mediante parámetros climáticos y fisiográficos se extrapola la información del tipo de RNC a puntos donde no existen datos de caudal inalterado. El patrón geográfico de los tipos de régimen fluvial obtenido con la regionalización resultó ser coincidente con el patrón obtenido a través de la clasificación hidrológica. El quinto capítulo presenta la validación biológica de los procesos de clasificación anteriores: clasificación hidrológica y regionalización. La validación biológica de los tipos de regímenes fluviales es imprescindible, puesto que los diferentes tipos de régimen fluvial van a servir de unidades de gestión para favorecer el mantenimiento de los ecosistemas fluviales. Se encontraron diferencias significativas entre comunidades biológicas en cinco de los seis tipos de RNC encontrados en la cuenca. Finalmente, en el sexto capítulo se estudian las relaciones hidro-ecológicas existentes en tres de los seis tipos de régimen fluvial encontrados en la cuenca del Ebro. Mediante la construcción de curvas hidro-ecológicas a lo largo de un gradiente de alteración hidrológica, se pueden sugerir los límites de alteración hidrológica (ELOHAs) para garantizar el buen estado ecológico en cada uno de los tipos fluviales estudiados. Se establecieron ELOHAs en tres de los seis tipos de RNC de la cuenca del Ebro Esta tesis, además, pone en evidencia la falta de datos biológicos asociados a registros de caudal. Para llevar a cabo la implantación de un régimen de caudales ambientales en la cuenca, la ubicación de los puntos de muestreo biológico cercanos a estaciones de aforo es imprescindible para poder extraer relaciones causa-efecto de la gestión hidrológica sobre los ecosistemas dependientes. ABSTRACT In view of a growing freshwater demand because of population raising, improvement of economies and the potential effects of climate change, water resources management has become a challenge for present and future societies. Water policies in Spain have been focused from the 60’s on constructing hydraulic infrastructures, in order to dampen flow variability and granting water availability along the year. Consequently, natural flow regimes have been deeply altered and so the depending habitats and its ecosystems. However, an increasing acknowledgment of societies for preserving healthy freshwater ecosystems started in the 90’s and agreed that to maintain healthy freshwater ecosystems, it was necessary to set environmental flow regimes based on the natural flow variability. The Natural Flow Regime paradigm (Richter et al. 1996, Poff et al. 1997) bases on the hypothesis that freshwater ecosystems are made up by elements adapted to natural flow conditions, and any change on these conditions can provoke deep impacts on the whole system. Environmental flow regime concept consists in designing a flow regime that emulates natural flow characteristics, so that ecosystem structure, functions and services are maintained. ELOHA framework (Ecological Limits of Hydrological Alteration) aims to identify key features of the natural flow regime (NFR) that are needed to maintain and preserve healthy freshwater and riparian ecosystems. Moreover, ELOHA framework aims to quantify thresholds of alteration of these flow features according to ecological impacts. This thesis describes the application of the ELOHA framework in the Ebro River Basin. The Ebro River basin is the second largest basin in Spain and it is highly regulated for human demands. Only the Ebro headwaters tributaries still have completely unimpaired flow regime. The thesis has six chapters and the process is described step by step. The first chapter makes an introduction to the origin of the environmental flow concept and the necessity to come up. The second chapter shows a description of the study area. The third chapter develops a classification of NFRs in the basin based on natural flow data and using exclusively hydrological parameters. Six NFRs were found in the basin: continental Mediterranean-pluvial, nivo-pluvial, continental Mediterranean pluvial (with groundwater-dominated flow pattern), pluvio-oceanic, pluvio-nival-oceanic and Mediterranean. The fourth chapter develops a regionalization of the six NFR types across the basin by using climatic and physiographic variables. The geographical pattern obtained from the regionalization process was consistent with the pattern obtained with the hydrologic classification. The fifth chapter performs a biological validation of both classifications, obtained from the hydrologic classification and the posterior extrapolation. When the aim of flow classification is managing water resources according to ecosystem requirements, a validation based on biological data is compulsory. We found significant differences in reference macroinvertebrate communities between five over the six NFR types identified in the Ebro River basin. Finally, in the sixth chapter we explored the existence of significant and explicative flow alteration-ecological response relationships (FA-E curves) within NFR types in the Ebro River basin. The aim of these curves is to find out thresholds of hydrological alteration (ELOHAs), in order to preserve healthy freshwater ecosystem. We set ELOHA values in three NFR types identified in the Ebro River basin. During the development of this thesis, an inadequate biological monitoring in the Ebro River basin was identified. The design and establishment of appropriate monitoring arrangements is a critical final step in the assessment and implementation of environmental flows. Cause-effect relationships between hydrology and macroinvertebrate community condition are the principal data that sustain FA-E curves. Therefore, both data sites must be closely located, so that the effects of external factors are minimized. The scarce hydro-biological pairs of data available in the basin prevented us to apply the ELOHA method at all NFR types.

Tridimensional simulation of the speed, pressure and turbulence fields of the air flow on the geometry of a freight truck inside a wind tunnel

This study shows the air flow behavior through the geometry of a freight truck inside a AF6109 wind tunnel with the purpose to predict the speed, pressure and turbulence fields made by the air flow, to decrease the aerodynamic resistance, to calculate the dragging coefficient, to evaluate the aerodynamics of the geometry of the prototype using the CFD technique and to compare the results of the simulation with the results obtained experimentally with the “PETER 739 HAULER” scaled freight truck model located on the floor of the test chamber. The Geometry went through a numerical simulation process using the CFX 5,7. The obtained results showed the behavior of the air flow through the test chamber, and also it showed the variations of speed and pressure at the exit of the chamber and the calculations of the coefficient and the dragging force on the geometry of the freight truck. The evaluation of the aerodynamics showed that the aerodynamic deflector is a device that helped the reduction the dragging produced in a significant way by the air. Furthermore, the dragging coefficient and force on the prototype freight truck could be estimated establishing an incomplete similarity.

Motivación, flow e intención de práctica físico-deportiva en estudiantes de educación física de España y Latinoamérica

A pesar de los innegables beneficios físicos y psicosociales que la práctica de actividad física tiene para la población en las últimas décadas se observa un importante descenso en el nivel de práctica de actividad física durante la adolescencia. La Educación Física (EF) es una asignatura presente en las primeras etapas educativas de los currículums de todos los países y supone para la población infantil y adolescente, durante el periodo de escolarización obligatoria, un entorno de contacto cotidiano con la actividad física y deportiva lo que explica el creciente interés que existe por investigar en este contexto y extraer conclusiones que puedan ayudar a revertir el proceso de progresivo abandono de la práctica en estas edades. El presente trabajo se centra en un periodo, la adolescencia, especialmente sensible al abandono de la práctica de actividad física. Apoyándonos en tres de los marcos teóricos más importantes de los últimos años - Teoría de Metas de Logro, Teoría de la Autodeterminación y Teoría del Flow - hemos realizado un diseño con tres estudios complementarios que nos permitan avanzar en el conocimiento de las variables que afectan a esta realidad. En el primero de los estudios, en el que participaron 3990 estudiantes de EF de España, Argentina, Colombia y Ecuador con edades comprendidas entre 12 y 18 años, se fijaron como objetivos el establecimiento de perfiles motivacionales en estudiantes de EF considerando las orientaciones motivacionales, la motivación intrínseca y el flow disposicional; la comprobación de la posible estabilidad de los perfiles establecidos en cuatro países diferentes; y el análisis de la relación entre los perfiles motivacionales establecidos con la práctica de actividad física realizada en la actualidad y la intención de ser activo en el futuro. Los resultados revelaron la existencia de tres perfiles motivacionales en los estudiantes: perfil de motivación baja-moderada, perfil de motivación de alta motivación con bajo ego y perfil de alta motivación. Se encontraron similitudes en los perfiles motivacionales obtenidos en los cuatro países analizados, sugiriéndose la posibilidad de que la lengua materna compartida pueda ser una variable de influencia en la existencia de patrones conductuales similares. La orientación al ego resultó ser un elemento diferenciador en la relación de los dos perfiles que mostraron niveles más altos de motivación intrínseca, flow disposicional y orientación a la tarea con las variables de práctica. Mayores niveles de orientación al ego determinaron mayores valores de práctica e intención de práctica. En el segundo estudio, en el que participaron 365 estudiantes de EF de España, Argentina y Colombia con edades comprendidas entre 12 y 16 años, se testó un modelo explicativo de la intención de ser físicamente activo en el futuro en estudiantes de EF poco motivados introduciendo el flow disposicional como variable explicativa junto a las orientaciones motivacionales y la motivación intrínseca. El modelo de ecuaciones estructurales testado muestra que tanto la orientación al ego como la orientación a la tarea y la motivación intrínseca predijeron el flow disposicional. No se encontró un efecto significativo de la orientación a la tarea sobre la motivación intrínseca, ni de esta sobre la intención de práctica de AFD en el futuro. El flow disposicional resultó ser un mediador entre ambas orientaciones motivacionales y dicha intención, adquiriendo un papel relevante en la predicción de la intención de realizar actividad física en el futuro en los sujetos con poca motivación hacia la clase de EF. En el último estudio, con una muestra de 53 estudiantes de EF pertenecientes a dos clases de segundo curso de ESO con edades comprendidas entre 13 y 15 años, se analizó el efecto de una intervención de apoyo a las NPB sobre la satisfacción de las mismas, la motivación intrínseca, la disposición a experimentar flow y la intención de ser físicamente activo en el futuro; estudiándose también el efecto de la misma sobre ciertas variables presentes en el proceso de enseñanza-aprendizaje tales como la diversión, el aprendizaje y el gusto hacia el contenido y la metodología empleada. La intervención resultó efectiva en la mejora de todas las variables motivacionales analizadas a excepción de la satisfacción de la necesidad de relaciones sociales, variable que podría ser más difícilmente modificable en tanto que los grupos de clase suelen permanecer estables a lo largo de esta etapa educativa. Los alumnos de la condición experimental presentaron niveles más elevados de diversión, aprendizaje y gusto hacia el contenido y la metodología empleada. ABSTRACT Despite the undeniable physical and psychological benefits that physical activity has on health, a significant drop in the level of physical activity during adolescence has been observed over the last few decades. Physical education (PE) is present in the early stages of educational curricula of all countries, creating an environment in which children and adolescents can maintain daily contact with sport and physical activity during the period of compulsory education. There is thus a growing interest in research within this context, helping to draw conclusions aimed at reversing the progressive decline of physical activity in this age bracket. The work presented here focuses on adolescence – a period particularly sensitive when faced with declining rates of physical activity. Relying on three of the most important recent theoretical frameworks – Achievement Goal Theory, Self-Determination Theory and Flow Theory – we have carried out a design using three complementary studies that allow us to advance the understanding of variables affecting this reality. The first two studies employ a correlational methodology while the third follows a quasi-experimental design. The objectives of the first study, with the participation of 3990 PE students aged 12 to 18 from Spain, Argentina, Colombia and Ecuador, were: a) to establish motivational profiles in physical education students taking into consideration motivational orientations, intrinsic motivation and dispositional flow; b) to check the possible stability of the established profiles in the four countries; and c) to analyze the relationship between motivational profiles and both current levels of physical activity and intention to be physically active in the future. Results revealed the existence of three motivational profiles: low-moderate motivation profile, high motivation and low ego profile and high motivation profile. Similarities were found across the four countries, which presents the possibility that sharing the same mother tongue might influence the existence of similar behavioral patterns. Amongst the profiles that showed the highest levels of intrinsic motivation, dispositional flow and task orientation with practice variables, ego orientation became apparent as a differentiating element. Higher levels of ego orientation correlated with higher levels both in current level of physical activity and intention to be physically active in the future. In the second study, with the participation of 365 PE students aged 12 to 16 from Spain, Argentina and Colombia, an explanatory model of the intention to be physically active within the low-moderate motivation profile was tested, including dispositional flow as an influence variable together with motivational orientations and intrinsic motivation. The structural model equation in the low-moderate motivation profile shows some differences with respect to findings of similar studies using heterogeneous samples in motivational profiles. It was found that ego orientation, task orientation and intrinsic motivation predicted dispositional flow. No significant effects of task orientation on intrinsic motivation, or of intrinsic motivation on intention to be physically active in the future were found. Dispositional flow emerged as a mediator between both motivational orientations and intention, acquiring an important role in the prediction of future intentions to be physically active in adolescents who show low levels of motivation towards physical education. In the last of the three studies, with the participation of 53 PE students drawn from two classes in the second year of secondary education aged 13 to 15, the effect of an intervention to support basic psychological needs was tested against the satisfaction of these needs, intrinsic motivation, disposition to experience flow and intention to be physically active in the future. Alongside this, the aforementioned intervention was tested on certain variables present in the teaching-learning process such as fun, learning and taste for the activity and methodology. Supportive intervention was effective in improving all the motivational variables, except for the satisfaction of the relatedness variable, which may be more difficult to modify as class groups tend to remain stable throughout this educational state. Students in the experimental condition showed higher levels of fun, learning and taste for the content and methodology.

Hydrostatic instabilities in floating zone cristal growth process

If only Fluid Mechanics aspects are considered, the configuration appearing in the floating zone technique for crystal growth can be modelled as a mass of liquid spanning between two solid rods. Besides, if now the influence of temperature gradients and heat flow are not considered, the simplest fluid model consists of an isothermal liquid mass of constant properties (density and surface tension) held by capillary forces between two solid disks placed a distance L apart: the so called liquid bridge. As it is well known, if both supporting disks were parallel, coaxial and of the same diameter, 2R, the volume of liquid, V, were equal to that of a cylinder of the same L and R (V=KR~L) and no body forces were acting on the liquid column, the fluid configuration (under these conditions of cylindrical shape) will become unstable when the distance between the disks equals the length of the circumference of the supporting disks (L=2KR, the so-called Rayleigh stability limit). One should be aware that the Rayleigh stability limit can be dramatically modified when the geometry differs from the above described cylinder (due to having non-coaxial disks, different diameter disks, liquid volume different from the cylindrical one, etc) or when other external effects like accelerations either axial or lateral are considered. In this paper the stability limits of liquid bridges considering different types of perturbations are reviewed.

Automated wordlength optimization framework for multi-source statistical interval-based analysis of nonlinear systems with control-flow structures

El uso de aritmética de punto fijo es una opción de diseño muy extendida en sistemas con fuertes restricciones de área, consumo o rendimiento. Para producir implementaciones donde los costes se minimicen sin impactar negativamente en la precisión de los resultados debemos llevar a cabo una asignación cuidadosa de anchuras de palabra. Encontrar la combinación óptima de anchuras de palabra en coma fija para un sistema dado es un problema combinatorio NP-hard al que los diseñadores dedican entre el 25 y el 50 % del ciclo de diseño. Las plataformas hardware reconfigurables, como son las FPGAs, también se benefician de las ventajas que ofrece la aritmética de coma fija, ya que éstas compensan las frecuencias de reloj más bajas y el uso más ineficiente del hardware que hacen estas plataformas respecto a los ASICs. A medida que las FPGAs se popularizan para su uso en computación científica los diseños aumentan de tamaño y complejidad hasta llegar al punto en que no pueden ser manejados eficientemente por las técnicas actuales de modelado de señal y ruido de cuantificación y de optimización de anchura de palabra. En esta Tesis Doctoral exploramos distintos aspectos del problema de la cuantificación y presentamos nuevas metodologías para cada uno de ellos: Las técnicas basadas en extensiones de intervalos han permitido obtener modelos de propagación de señal y ruido de cuantificación muy precisos en sistemas con operaciones no lineales. Nosotros llevamos esta aproximación un paso más allá introduciendo elementos de Multi-Element Generalized Polynomial Chaos (ME-gPC) y combinándolos con una técnica moderna basada en Modified Affine Arithmetic (MAA) estadístico para así modelar sistemas que contienen estructuras de control de flujo. Nuestra metodología genera los distintos caminos de ejecución automáticamente, determina las regiones del dominio de entrada que ejercitarán cada uno de ellos y extrae los momentos estadísticos del sistema a partir de dichas soluciones parciales. Utilizamos esta técnica para estimar tanto el rango dinámico como el ruido de redondeo en sistemas con las ya mencionadas estructuras de control de flujo y mostramos la precisión de nuestra aproximación, que en determinados casos de uso con operadores no lineales llega a tener tan solo una desviación del 0.04% con respecto a los valores de referencia obtenidos mediante simulación. Un inconveniente conocido de las técnicas basadas en extensiones de intervalos es la explosión combinacional de términos a medida que el tamaño de los sistemas a estudiar crece, lo cual conlleva problemas de escalabilidad. Para afrontar este problema presen tamos una técnica de inyección de ruidos agrupados que hace grupos con las señales del sistema, introduce las fuentes de ruido para cada uno de los grupos por separado y finalmente combina los resultados de cada uno de ellos. De esta forma, el número de fuentes de ruido queda controlado en cada momento y, debido a ello, la explosión combinatoria se minimiza. También presentamos un algoritmo de particionado multi-vía destinado a minimizar la desviación de los resultados a causa de la pérdida de correlación entre términos de ruido con el objetivo de mantener los resultados tan precisos como sea posible. La presente Tesis Doctoral también aborda el desarrollo de metodologías de optimización de anchura de palabra basadas en simulaciones de Monte-Cario que se ejecuten en tiempos razonables. Para ello presentamos dos nuevas técnicas que exploran la reducción del tiempo de ejecución desde distintos ángulos: En primer lugar, el método interpolativo aplica un interpolador sencillo pero preciso para estimar la sensibilidad de cada señal, y que es usado después durante la etapa de optimización. En segundo lugar, el método incremental gira en torno al hecho de que, aunque es estrictamente necesario mantener un intervalo de confianza dado para los resultados finales de nuestra búsqueda, podemos emplear niveles de confianza más relajados, lo cual deriva en un menor número de pruebas por simulación, en las etapas iniciales de la búsqueda, cuando todavía estamos lejos de las soluciones optimizadas. Mediante estas dos aproximaciones demostramos que podemos acelerar el tiempo de ejecución de los algoritmos clásicos de búsqueda voraz en factores de hasta x240 para problemas de tamaño pequeño/mediano. Finalmente, este libro presenta HOPLITE, una infraestructura de cuantificación automatizada, flexible y modular que incluye la implementación de las técnicas anteriores y se proporciona de forma pública. Su objetivo es ofrecer a desabolladores e investigadores un entorno común para prototipar y verificar nuevas metodologías de cuantificación de forma sencilla. Describimos el flujo de trabajo, justificamos las decisiones de diseño tomadas, explicamos su API pública y hacemos una demostración paso a paso de su funcionamiento. Además mostramos, a través de un ejemplo sencillo, la forma en que conectar nuevas extensiones a la herramienta con las interfaces ya existentes para poder así expandir y mejorar las capacidades de HOPLITE. ABSTRACT Using fixed-point arithmetic is one of the most common design choices for systems where area, power or throughput are heavily constrained. In order to produce implementations where the cost is minimized without negatively impacting the accuracy of the results, a careful assignment of word-lengths is required. The problem of finding the optimal combination of fixed-point word-lengths for a given system is a combinatorial NP-hard problem to which developers devote between 25 and 50% of the design-cycle time. Reconfigurable hardware platforms such as FPGAs also benefit of the advantages of fixed-point arithmetic, as it compensates for the slower clock frequencies and less efficient area utilization of the hardware platform with respect to ASICs. As FPGAs become commonly used for scientific computation, designs constantly grow larger and more complex, up to the point where they cannot be handled efficiently by current signal and quantization noise modelling and word-length optimization methodologies. In this Ph.D. Thesis we explore different aspects of the quantization problem and we present new methodologies for each of them: The techniques based on extensions of intervals have allowed to obtain accurate models of the signal and quantization noise propagation in systems with non-linear operations. We take this approach a step further by introducing elements of MultiElement Generalized Polynomial Chaos (ME-gPC) and combining them with an stateof- the-art Statistical Modified Affine Arithmetic (MAA) based methodology in order to model systems that contain control-flow structures. Our methodology produces the different execution paths automatically, determines the regions of the input domain that will exercise them, and extracts the system statistical moments from the partial results. We use this technique to estimate both the dynamic range and the round-off noise in systems with the aforementioned control-flow structures. We show the good accuracy of our approach, which in some case studies with non-linear operators shows a 0.04 % deviation respect to the simulation-based reference values. A known drawback of the techniques based on extensions of intervals is the combinatorial explosion of terms as the size of the targeted systems grows, which leads to scalability problems. To address this issue we present a clustered noise injection technique that groups the signals in the system, introduces the noise terms in each group independently and then combines the results at the end. In this way, the number of noise sources in the system at a given time is controlled and, because of this, the combinato rial explosion is minimized. We also present a multi-way partitioning algorithm aimed at minimizing the deviation of the results due to the loss of correlation between noise terms, in order to keep the results as accurate as possible. This Ph.D. Thesis also covers the development of methodologies for word-length optimization based on Monte-Carlo simulations in reasonable times. We do so by presenting two novel techniques that explore the reduction of the execution times approaching the problem in two different ways: First, the interpolative method applies a simple but precise interpolator to estimate the sensitivity of each signal, which is later used to guide the optimization effort. Second, the incremental method revolves on the fact that, although we strictly need to guarantee a certain confidence level in the simulations for the final results of the optimization process, we can do it with more relaxed levels, which in turn implies using a considerably smaller amount of samples, in the initial stages of the process, when we are still far from the optimized solution. Through these two approaches we demonstrate that the execution time of classical greedy techniques can be accelerated by factors of up to ×240 for small/medium sized problems. Finally, this book introduces HOPLITE, an automated, flexible and modular framework for quantization that includes the implementation of the previous techniques and is provided for public access. The aim is to offer a common ground for developers and researches for prototyping and verifying new techniques for system modelling and word-length optimization easily. We describe its work flow, justifying the taken design decisions, explain its public API and we do a step-by-step demonstration of its execution. We also show, through an example, the way new extensions to the flow should be connected to the existing interfaces in order to expand and improve the capabilities of HOPLITE.

Vascular imprints of neuronal activity: Relationships between the dynamics of cortical blood flow, oxygenation, and volume changes following sensory stimulation

Modern functional neuroimaging methods, such as positron-emission tomography (PET), optical imaging of intrinsic signals, and functional MRI (fMRI) utilize activity-dependent hemodynamic changes to obtain indirect maps of the evoked electrical activity in the brain. Whereas PET and flow-sensitive MRI map cerebral blood flow (CBF) changes, optical imaging and blood oxygenation level-dependent MRI map areas with changes in the concentration of deoxygenated hemoglobin (HbR). However, the relationship between CBF and HbR during functional activation has never been tested experimentally. Therefore, we investigated this relationship by using imaging spectroscopy and laser-Doppler flowmetry techniques, simultaneously, in the visual cortex of anesthetized cats during sensory stimulation. We found that the earliest microcirculatory change was indeed an increase in HbR, whereas the CBF increase lagged by more than a second after the increase in HbR. The increased HbR was accompanied by a simultaneous increase in total hemoglobin concentration (Hbt), presumably reflecting an early blood volume increase. We found that the CBF changes lagged after Hbt changes by 1 to 2 sec throughout the response. These results support the notion of active neurovascular regulation of blood volume in the capillary bed and the existence of a delayed, passive process of capillary filling.