A tutorial on program development and optimization using the Ciao preprocessor

We present in a tutorial fashion CiaoPP, the preprocessor of the Ciao multi-paradigm programming system, which implements a novel program development framework which uses abstract interpretation as a fundamental tool. The framework uses modular, incremental abstract interpretation to obtain information about the program. This information is used to validate programs, to detect bugs with respect to partial specifications written using assertions (in the program itself and/or in system libraries), to generate and simplify run-time tests, and to perform high-level program transformations such as multiple abstract specialization, parallelization, and resource usage control, all in a provably correct way. In the case of validation and debugging, the assertions can refer to a variety of program points such as procedure entry, procedure exit, points within procedures, or global computations. The system can reason with much richer information than, for example, traditional types. This includes data structure shape (including pointer sharing), bounds on data structure sizes, and other operational variable instantiation properties, as well as procedure-level properties such as determinacy, termination, non-failure, and bounds on resource consumption (time or space cost).

Theoretical Simulation of the A5 VEB Structure Pyrotechnique Shock Propagation

This paper presents some of the modelling criteria that have been used for the study of pyrotechnic shock propagation in the A5 VEB Structure, as well as the main conclusions from a mathematical model of the axymmetric effects in it. The separation of the lower stage of the ARIANE 5 Vehicle Equipment Bay (VEB)Structure is to be done using a pyrotechnic device. The wave propagation effects produced by the explosion have been analyzed with a computer program using as shape functions the analytical solution to the frequency response of a Timoshenko-Rayleigh beams and shells in that way the discretization can have elements as large as possible, depending on the material properties and boundary conditions. Moreover an enormous amount of possibilities in the treatment of concentrated masses, springs and dashpots, either with respect to a fixed reference or between nodes, is open for translational as well as rotational degrees of freedom.

A computer program for bridge retrofitting

This paper summarizes the work developed in order to establish a framework for seismic retrofitting of bridges. In this context, the first objetive is to find a numerical model to evaluate the damage induced in a structure, under seismic action, as an index of its vulnerability. The model used has the adventage that is based on concepts of fracture mechanics and concentrated plasticity. As a result, the work is based on basic principles. The performance of this model is being evaluated. Some results of the computer program developed for this purpose are shown.

Understanding the main drivers of value creation in an open innovation program

Innovation has been identified as the single most relevant element in fuelling corporations’ competitive advantage and ultimate value creation. Corporations no longer rely on a single, linear structure of innovation; the new paradigm of open innovation opens up new possibilities of organizing innovation within the ecosystem, thus giving rise to new drivers for value creation. These value drivers have an impact on the strategic position of the firm and have the ability to create superior financial performance. In this paper we explore the close relationship between open innovation and value creation and propose a framework to analyze this process as well as the most critical elements involved.

Analysis of the railway track as a spatially periodic structure

This article presents a new and computationally efficient method of analysis of a railway track modelled as a continuous beam of 2N spans supported by elastic vertical springs. The main feature of this method is its important reduction in computational effort with respect to standard matrix methods of structural analysis. In this article, the whole structure is considered to be a repetition of a single one. The analysis presented is applied to a simple railway track model, i.e. to a repetitive beam supported on vertical springs (sleepers). The proposed method of analysis is based on the general theory of spatially periodic structures. The main feature of this theory is the possibility to apply Discrete Fourier Transform (DFT) in order to reduce a large system of q(2N + 1) linear stiffness equilibrium equations to a set of 2N + 1 uncoupled systems of q equations each. In this way, a dramatic reduction of the computational effort of solving the large system of equations is achieved. This fact is particularly important in the analysis of railway track structures, in which N is a very large number (around several thousands), and q = 2, the vertical displacement and rotation, is very small. The proposed method allows us to easily obtain the exact solution given by Samartín [1], i.e. the continuous beam railway track response. The comparison between the proposed method and other methods of analysis of railway tracks, such as Lorente de Nó and Zimmermann-Timoshenko, clearly shows the accuracy of the obtained results for the proposed method, even for low values of N. In addition, identical results between the proposed and the Lorente methods have been found, although the proposed method seems to be of simpler application and computationally more efficient than the Lorente one. Small but significative differences occur between these two methods and the one developed by Zimmermann-Timoshenko. This article also presents a detailed sensitivity analysis of the vertical displacement of the sleepers. Although standard matrix methods of structural analysis can handle this railway model, one of the objectives of this article is to show the efficiency of DFT method with respect to standard matrix structural analysis. A comparative analysis between standard matrix structural analysis and the proposed method (DFT), in terms of computational time, input, output and also software programming, will be carried out. Finally, a URL link to a MatLab computer program list, based on the proposed method, is given

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.

DNA Replication in Quiescent Cell Nuclei: Regulation by the Nuclear Envelope and Chromatin Structure

Quiescent nuclei from differentiated somatic cells can reacquire pluripotence, the capacity to replicate, and reinitiate a program of differentiation after transplantation into amphibian eggs. The replication of quiescent nuclei is recapitulated in extracts derived from activated Xenopus eggs; therefore, we have exploited this cell-free system to explore the mechanisms that regulate initiation of replication in nuclei from terminally differentiated Xenopus erythrocytes. We find that these nuclei lack many, if not all, pre-replication complex (pre-RC) proteins. Pre-RC proteins from the extract form a stable association with the chromatin of permeable nuclei, which replicate in this system, but not with the chromatin of intact nuclei, which do not replicate, even though these proteins cross an intact nuclear envelope. During extract incubation, the linker histones H1 and H10 are removed from erythrocyte chromatin by nucleoplasmin. We show that H1 removal facilitates the replication of permeable nuclei by increasing the frequency of initiation most likely by promoting the assembly of pre-RCs on chromatin. These data indicate that initiation in erythrocyte nuclei requires the acquisition of pre-RC proteins from egg extract and that pre-RC assembly requires the loss of nuclear envelope integrity and is facilitated by the removal of linker histone H1 from chromatin.

Kids Alive! Support for Children of Parents with Cancer: An Exemplar Program for Children of Parents with Cancer

Cancer in a parent or caregiver is an event that affects the whole family. The roles and responsibilities of the diagnosed parent, as well as those of each family member, are affected at the time of diagnosis and throughout the progression of the illness. According to the American Cancer Society, there will be an estimated 1,665,540 new cancer cases diagnosed and 585,720 cancer deaths in 2014. This staggering statistic means there are a number of cancer diagnoses that will directly affect thousands of parents and their children. Past research suggests this upheaval in the system is particularly stressful on children and can lead to a number of responses including anxiety, depression, distress, and other negative reactions. Despite the large number of parents and caregivers diagnosed with cancer in the United States each year, there are relatively few support groups aimed at supporting children affected by parental cancer. Support groups provide opportunities to serve this population in a number of advantageous ways by providing safety, support, and a sense of community. Additionally, support groups allow this population of young people to express their fears and worries, connect to others going through similar circumstances, and explore their parent's diagnosis in a context that is helpful and developmentally appropriate. Past research has found that children who do not receive support during this life-changing event can be negatively affected throughout the life span. On the other hand, this event can be a time to build a child's resilience and provide the structure through which they may thrive in adversity. Support groups offer the opportunity to address this difficult event and lead to positive results. Kids Alive! is one such group that has been proactive in support for children of parents diagnosed with cancer since 1995. Kids Alive!, a support group that runs out of Porter Hospital in Denver Colorado, uses Joseph Campbell's Hero's Journey to structure monthly groups. The Hero's Journey, described in Campbell's The Hero with a Thousand Faces (1949), focuses on a set pattern that all heroes must go through during their journey towards an ultimate victory and self-discovery. Kids Alive! incorporates this journey into a curriculum aimed at helping children explore their thoughts and feelings around their parent's cancer and leads to a realization that they are not alone on this journey. Over the course of eight months, children in Kids Alive! receive support and solidarity that leads to life-changing experiences and an understanding of what a diagnosis of cancer in a parent can mean. Kids Alive! consists of professionals and volunteers who take time to recognize and support this underserved population. The program has led to positive outcomes for nearly two decades and consistently increases the numbers of children and families served. The purpose of this paper is to describe the Kids Alive! program as an exemplar program that addresses these problems by utilizing protective factors research has found in this population. Further, this paper will discuss areas of future research while providing the model of an effective program aimed at serving an important population. Additionally, the model of Kids Alive! will be described through this paper in a way that allows for other oncology settings to consider this relatively simple program that provides consistently positive results.

Emergence of half-metallicity in suspended NiO chains: Ab initio electronic structure and quantum transport calculations

Contrary to the antiferromagnetic and insulating character of bulk NiO, one-dimensional chains of this material can become half metallic due to the lower coordination of their atoms. Here we present ab initio electronic structure and quantum transport calculations of ideal infinitely long NiO chains and of more realistic short ones suspended between Ni electrodes. While infinite chains are insulating, short suspended chains are half-metallic minority-spin conductors that displays very large magnetoresistance and a spin-valve behavior controlled by a single atom.

Electronic structure of gated graphene and graphene ribbons

We study the electronic structure of gated graphene sheets. We consider both infinite graphene and finite width ribbons. The effect of Coulomb interactions between the electrically injected carriers and the coupling to the external gate are computed self-consistently in the Hartree approximation. We compute the average density of extra carriers n2D, the number of occupied subbands, and the density profiles as a function of the gate potential Vg. We discuss quantum corrections to the classical capacitance and we calculate the threshold Vg above which semiconducting armchair ribbons conduct. We find that the ideal conductance of perfectly transmitting wide ribbons is proportional to the square root of the gate voltage.

Spin alignment of extra electrons in K-phenanthrene clusters taken from the crystalline tripotassium-intercalated phenanthrene structure

The appearance of ferromagnetic correlations among π electrons of phenanthrene (C14H10) molecules in the herringbone structure is proven for K doped clusters both by ab initio quantum-chemistry calculations and by the direct solution of the many-body Pariser-Parr-Pople Hamiltonian. Magnetic ground states are predicted for one or three additional electrons per phenanthrene molecule. These results are a consequence of the small overlap between the lowest unoccupied molecular orbitals (and lowest unoccupied molecular orbitals + 1) of neutral neighboring phenanthrene molecules, which makes the gain in energy by delocalization similar to the corresponding increase due to the Coulomb interaction.

Effect of the porous structure in carbon materials for CO2 capture at atmospheric and high-pressure

Activated carbons prepared from petroleum pitch and using KOH as activating agent exhibit an excellent behavior in CO2 capture both at atmospheric (∼168 mg CO2/g at 298 K) and high pressure (∼1500 mg CO2/g at 298 K and 4.5 MPa). However, an exhaustive evaluation of the adsorption process shows that the optimum carbon structure, in terms of adsorption capacity, depends on the final application. Whereas narrow micropores (pores below 0.6 nm) govern the sorption behavior at 0.1 MPa, large micropores/small mesopores (pores below 2.0–3.0 nm) govern the sorption behavior at high pressure (4.5 MPa). Consequently, an optimum sorbent exhibiting a high working capacity for high pressure applications, e.g., pressure-swing adsorption units, will require a poorly-developed narrow microporous structure together with a highly-developed wide microporous and small mesoporous network. The appropriate design of the preparation conditions gives rise to carbon materials with an extremely high delivery capacity ∼1388 mg CO2/g between 4.5 MPa and 0.1 MPa. Consequently, this study provides guidelines for the design of carbon materials with an improved ability to remove carbon dioxide from the environment at atmospheric and high pressure.

Interplay Between Structure, Stoichiometry, and Electron Transfer Dynamics in SILAR-based Quantum Dot-Sensitized Oxides

We quantify the rate and efficiency of picosecond electron transfer (ET) from PbS nanocrystals, grown by successive ionic layer adsorption and reaction (SILAR), into a mesoporous SnO2 support. Successive SILAR deposition steps allow for stoichiometry- and size-variation of the QDs, characterized using transmission electron microscopy. Whereas for sulfur-rich (p-type) QD surfaces substantial electron trapping at the QD surface occurs, for lead-rich (n-type) QD surfaces, the QD trapping channel is suppressed and the ET efficiency is boosted. The ET efficiency increase achieved by lead-rich QD surfaces is found to be QD-size dependent, increasing linearly with QD surface area. On the other hand, ET rates are found to be independent of both QD size and surface stoichiometry, suggesting that the donor–acceptor energetics (constituting the driving force for ET) are fixed due to Fermi level pinning at the QD/oxide interface. Implications of our results for QD-sensitized solar cell design are discussed.

Mean grain size and structure of ODP Hole 140-504B samples

Microstructural investigations of ocean crust samples provide a complementary approach to both marine surveys and laboratory experiments. The recovery of relatively undeformed diabases from Deep Sea Drilling Project (DSDP)/Ocean Drilling Program (ODP) Hole 504B provides a first opportunity to examine a reference section of microstructural features that influence strain localization at depths of 2 km in the ocean crust. Syn- and post-crystallization features in plagioclase and augite crystals have been examined by optical microscopy and secondary and backscattered electron imaging. These features show a strong influence of modal composition and primary textures on early sites of strain localization. Thermal cracking and subsequent alteration intensities and distribution are strongly phase dependent. A consistently higher intragranular fracture density is observed in augite crystals relative to plagioclase. The impact of alteration on the mechanical response of diabases is likely to depend on the primary textural characteristics. Even where extensive augite alteration occurs, the rock remains supported by a framework of weakly altered plagioclase crystals. The Hole 504B diabases from Leg 140 provide a valuable comparison for future studies of more deformed sections likely to be encountered at depth. Advances in constraining the detailed rheology of the ocean crust at spreading centers would benefit from experimental deformation of texturally diverse diabase and gabbro samples.