Hydration of C3S, C2S and their Blends. Micro- and Nanoscale Characterization

This study forms part of wider research conducted under a EU 7 th Framework Programme (COmputationally Driven design of Innovative CEment-based materials or CODICE). The ultimate aim is the multi-scale modelling of the variations in mechanical performance in degraded and non-degraded cementitious matrices. The model is being experimentally validated by hydrating the main tri-calcium silicate (T1-C3S) and bi-calcium silicate (β-C2S), phases present in Portland cement and their blends. The present paper discusses micro- and nanoscale studies of the cementitious skeletons forming during the hydration of C3S, C2S and 70 % / 30 % blends of both C3S/C2S and C2S/C3S with a water/cement ratio of 0.4. The hydrated pastes were characterized at different curing ages with 29 Si NMR, SEM/TEM/EDS, BET, and nanoindentation. The findings served as a basis for the micro- and nanoscale characterization of the hydration products formed, especially C-S-H gels. Differences were identified in composition, structure and mechanical behaviour (nanoindentation), depending on whether the gels formed in C3S or C2S pastes. The C3S gels had more compact morphologies, smaller BET-N2 specific surface area and lesser porosity than the gels from C2S-rich pastes. The results of nanoindentation tests appear to indicate that the various C-S-H phases formed in hydrated C3S and C2S have the same mechanical properties as those formed in Portland cement paste. Compared to the C3S sample, the hydrated C2S specimen was dominated by the loose-packed (LP) and the low-density (LD) C-S-H phases, and had a much lower content of the high density (HD) C-S-H phase

Anticorrelation between Ion Acceleration and Nonlinear Coherent Structures from Laser-Underdense Plasma Interaction

In laser-plasma experiments, we observed that ion acceleration from the Coulomb explosion of the plasma channel bored by the laser, is prevented when multiple plasma instabilities such as filamentation and hosing, and nonlinear coherent structures (vortices/post-solitons) appear in the wake of an ultrashort laser pulse. The tailoring of the longitudinal plasma density ramp allows us to control the onset of these insabilities. We deduced that the laser pulse is depleted into these structures in our conditions, when a plasma at about 10% of the critical density exhibits a gradient on the order of 250 {\mu}m (gaussian fit), thus hindering the acceleration. A promising experimental setup with a long pulse is demonstrated enabling the excitation of an isolated coherent structure for polarimetric measurements and, in further perspectives, parametric studies of ion plasma acceleration efficiency.

Particle and energy transport in quantum disordered and quasi-periodic chains connected to mesoscopic Fermi reservoirs

We study a model of nonequilibrium quantum transport of particles and energy in a many-body system connected to mesoscopic Fermi reservoirs (the so-called meso-reservoirs). We discuss the conservation laws of particles and energy within our setup as well as the transport properties of quasi-periodic and disordered chains.

Multidimensional, multislaces, and multiscale MRI for quality evaluation in food.

InsideFood explicitly aims at measuring food microstructure, the spatial distribution of food components within foods, with state of the art tomographic, spectroscopic and texture measurement techniques including X-ray micro-and nano CT, MRI,OCT, NMR, TRS and SRS, and acoustic emission. Nutritional quality (sugar and gluten free cereal products), sensory quality (texture of all foods) and safety (foreign material detection in cereal products) are considered. Online and inline techniques including NMR, MRI, TRS, SRS and X-ray imaging to visualise and monitor structure will be developed.

CSR Policies: Effects on Labour Productivity in Spanish Micro and Small Manufacturing Companies

This paper analyses empirical evidence of efforts to enable Spanish micro and small manufacturing companies to boost their labour productivity rates through the development of the main pillars of their corporate social responsibility (CSR) policies. This study aims to develop new approaches and sensibilities towards work from an ethical, values (virtues) and CSR perspective, showing how internal dimensions of CSR, such those related to relationships with employees and responsibility in processes and product quality, can improve labour performance and labour efficiency, thereby contributing to a better society. The results of a sample of 929 small businesses indicate that the social responsibility policies that most contributed to a short-term increase in labour productivity are those related to internal aspects of the company, in particular its involvement in the quality of processes and products, promotion of innovation and employee care. However, the impact on labour productivity of CSR policies related to external factors, such as relationship with stakeholders and environmental concern, could not be empirically proven in this paper.

Magnetic Attitude Control System for a Small Satellite. Impact on the Thermal Performance

El principal objetivo de la tesis es estudiar el acoplamiento entre los subsistemas de control de actitud y de control térmico de un pequeño satélite, con el fin de buscar la solución a los problemas relacionados con la determinación de los parámetros de diseño. Se considera la evolución de la actitud y de las temperaturas del satélite bajo la influencia de dos estrategias de orientación diferentes: 1) estabilización magnética pasiva de la orientación (PMAS, passive magnetic attitude stabilization), y 2) control de actitud magnético activo (AMAC, active magnetic attitude control). En primer lugar se presenta el modelo matemático del problema, que incluye la dinámica rotacional y el modelo térmico. En el problema térmico se considera un satélite cúbico modelizado por medio de siete nodos (seis externos y uno interno) aplicando la ecuación del balance térmico. Una vez establecido el modelo matemático del problema, se estudia la evolución que corresponde a las dos estrategias mencionadas. La estrategia PMAS se ha seleccionado por su simplicidad, fiabilidad, bajo coste, ahorrando consumo de potencia, masa coste y complejidad, comparado con otras estrategias. Se ha considerado otra estrategia de control que consigue que el satélite gire a una velocidad requerida alrededor de un eje deseado de giro, pudiendo controlar su dirección en un sistema inercial de referencia, ya que frecuentemente el subsistema térmico establece requisitos de giro alrededor de un eje del satélite orientado en una dirección perpendicular a la radiación solar incidente. En relación con el problema térmico, para estudiar la influencia de la velocidad de giro en la evolución de las temperaturas en diversos puntos del satélite, se ha empleado un modelo térmico linealizado, obtenido a partir de la formulación no lineal aplicando un método de perturbaciones. El resultado del estudio muestra que el tiempo de estabilización de la temperatura y la influencia de las cargas periódicas externas disminuye cuando aumenta la velocidad de giro. Los cambios de temperatura se reducen hasta ser muy pequeños para velocidades de rotación altas. En relación con la estrategia PMAC se ha observado que a pesar de su uso extendido entre los micro y nano satélites todavía presenta problemas que resolver. Estos problemas están relacionados con el dimensionamiento de los parámetros del sistema y la predicción del funcionamiento en órbita. Los problemas aparecen debido a la dificultad en la determinación de las características magnéticas de los cuerpos ferromagnéticos (varillas de histéresis) que se utilizan como amortiguadores de oscilaciones en los satélites. Para estudiar este problema se presenta un modelo analítico que permite estimar la eficiencia del amortiguamiento, y que se ha aplicado al estudio del comportamiento en vuelo de varios satélites, y que se ha empleado para comparar los resultados del modelo con los obtenidos en vuelo, observándose que el modelo permite explicar satisfactoriamente el comportamiento registrado. ABSTRACT The main objective of this thesis is to study the coupling between the attitude control and thermal control subsystems of a small satellite, and address the solution to some existing issues concerning the determination of their parameters. Through the thesis the attitude and temperature evolution of the satellite is studied under the influence of two independent attitude stabilization and control strategies: (1) passive magnetic attitude stabilization (PMAS), and (2) active magnetic attitude control (AMAC). In this regard the mathematical model of the problem is explained and presented. The mathematical model includes both the rotational dynamics and the thermal model. The thermal model is derived for a cubic satellite by solving the heat balance equation for 6 external and 1 internal nodes. Once established the mathematical model of the problem, the above mentioned attitude strategies were applied to the system and the temperature evolution of the 7 nodes of the satellite was studied. The PMAS technique has been selected to be studied due to its prevalent use, simplicity, reliability, and cost, as this strategy significantly saves the overall power, weight, cost, and reduces the complexity of the system compared to other attitude control strategies. In addition to that, another control law that provides the satellite with a desired spin rate along a desired axis of the satellite, whose direction can be controlled with respect to the inertial reference frame is considered, as the thermal subsystem of a satellite usually demands a spin requirement around an axis of the satellite which is positioned perpendicular to the direction of the coming solar radiation. Concerning the thermal problem, to study the influence of spin rate on temperature evolution of the satellite a linear approach of the thermal model is used, which is based on perturbation theory applied to the nonlinear differential equations of the thermal model of a spacecraft moving in a closed orbit. The results of this study showed that the temperature stabilization time and the periodic influence of the external thermal loads decreases by increasing the spin rate. However, the changes become insignificant for higher values of spin rate. Concerning the PMAS strategy, it was observed that in spite of its extended application to micro and nano satellites, still there are some issues to be solved regarding this strategy. These issues are related to the sizing of its system parameters and predicting the in-orbit performance. The problems were found to be rooted in the difficulties that exist in determining the magnetic characteristics of the ferromagnetic bodies (hysteresis rods) that are applied as damping devices on-board satellites. To address these issues an analytic model for estimating their damping efficiency is proposed and applied to several existing satellites in order to compare the results with their respective in-flight data. This model can explain the behavior showed by these satellites.

Formal Verification of Temporal Properties for Parametrized Concurrent Programs and Concurrent Data Structures

Los tipos de datos concurrentes son implementaciones concurrentes de las abstracciones de datos clásicas, con la diferencia de que han sido específicamente diseñados para aprovechar el gran paralelismo disponible en las modernas arquitecturas multiprocesador y multinúcleo. La correcta manipulación de los tipos de datos concurrentes resulta esencial para demostrar la completa corrección de los sistemas de software que los utilizan. Una de las mayores dificultades a la hora de diseñar y verificar tipos de datos concurrentes surge de la necesidad de tener que razonar acerca de un número arbitrario de procesos que invocan estos tipos de datos de manera concurrente. Esto requiere considerar sistemas parametrizados. En este trabajo estudiamos la verificación formal de propiedades temporales de sistemas concurrentes parametrizados, poniendo especial énfasis en programas que manipulan estructuras de datos concurrentes. La principal dificultad a la hora de razonar acerca de sistemas concurrentes parametrizados proviene de la interacción entre el gran nivel de concurrencia que éstos poseen y la necesidad de razonar al mismo tiempo acerca de la memoria dinámica. La verificación de sistemas parametrizados resulta en sí un problema desafiante debido a que requiere razonar acerca de estructuras de datos complejas que son accedidas y modificadas por un numero ilimitado de procesos que manipulan de manera simultánea el contenido de la memoria dinámica empleando métodos de sincronización poco estructurados. En este trabajo, presentamos un marco formal basado en métodos deductivos capaz de ocuparse de la verificación de propiedades de safety y liveness de sistemas concurrentes parametrizados que manejan estructuras de datos complejas. Nuestro marco formal incluye reglas de prueba y técnicas especialmente adaptadas para sistemas parametrizados, las cuales trabajan en colaboración con procedimientos de decisión especialmente diseñados para analizar complejas estructuras de datos concurrentes. Un aspecto novedoso de nuestro marco formal es que efectúa una clara diferenciación entre el análisis del flujo de control del programa y el análisis de los datos que se manejan. El flujo de control del programa se analiza utilizando reglas de prueba y técnicas de verificación deductivas especialmente diseñadas para lidiar con sistemas parametrizados. Comenzando a partir de un programa concurrente y la especificación de una propiedad temporal, nuestras técnicas deductivas son capaces de generar un conjunto finito de condiciones de verificación cuya validez implican la satisfacción de dicha especificación temporal por parte de cualquier sistema, sin importar el número de procesos que formen parte del sistema. Las condiciones de verificación generadas se corresponden con los datos manipulados. Estudiamos el diseño de procedimientos de decisión especializados capaces de lidiar con estas condiciones de verificación de manera completamente automática. Investigamos teorías decidibles capaces de describir propiedades de tipos de datos complejos que manipulan punteros, tales como implementaciones imperativas de pilas, colas, listas y skiplists. Para cada una de estas teorías presentamos un procedimiento de decisión y una implementación práctica construida sobre SMT solvers. Estos procedimientos de decisión son finalmente utilizados para verificar de manera automática las condiciones de verificación generadas por nuestras técnicas de verificación parametrizada. Para concluir, demostramos como utilizando nuestro marco formal es posible probar no solo propiedades de safety sino además de liveness en algunas versiones de protocolos de exclusión mutua y programas que manipulan estructuras de datos concurrentes. El enfoque que presentamos en este trabajo resulta ser muy general y puede ser aplicado para verificar un amplio rango de tipos de datos concurrentes similares. Abstract Concurrent data types are concurrent implementations of classical data abstractions, specifically designed to exploit the great deal of parallelism available in modern multiprocessor and multi-core architectures. The correct manipulation of concurrent data types is essential for the overall correctness of the software system built using them. A major difficulty in designing and verifying concurrent data types arises by the need to reason about any number of threads invoking the data type simultaneously, which requires considering parametrized systems. In this work we study the formal verification of temporal properties of parametrized concurrent systems, with a special focus on programs that manipulate concurrent data structures. The main difficulty to reason about concurrent parametrized systems comes from the combination of their inherently high concurrency and the manipulation of dynamic memory. This parametrized verification problem is very challenging, because it requires to reason about complex concurrent data structures being accessed and modified by threads which simultaneously manipulate the heap using unstructured synchronization methods. In this work, we present a formal framework based on deductive methods which is capable of dealing with the verification of safety and liveness properties of concurrent parametrized systems that manipulate complex data structures. Our framework includes special proof rules and techniques adapted for parametrized systems which work in collaboration with specialized decision procedures for complex data structures. A novel aspect of our framework is that it cleanly differentiates the analysis of the program control flow from the analysis of the data being manipulated. The program control flow is analyzed using deductive proof rules and verification techniques specifically designed for coping with parametrized systems. Starting from a concurrent program and a temporal specification, our techniques generate a finite collection of verification conditions whose validity entails the satisfaction of the temporal specification by any client system, in spite of the number of threads. The verification conditions correspond to the data manipulation. We study the design of specialized decision procedures to deal with these verification conditions fully automatically. We investigate decidable theories capable of describing rich properties of complex pointer based data types such as stacks, queues, lists and skiplists. For each of these theories we present a decision procedure, and its practical implementation on top of existing SMT solvers. These decision procedures are ultimately used for automatically verifying the verification conditions generated by our specialized parametrized verification techniques. Finally, we show how using our framework it is possible to prove not only safety but also liveness properties of concurrent versions of some mutual exclusion protocols and programs that manipulate concurrent data structures. The approach we present in this work is very general, and can be applied to verify a wide range of similar concurrent data types.

Effect of nano-Si2O and nano-Al2O3 on cement mortars for use in agriculture and livestock production

The effect of nano-silica, nano-alumina and binary combinations on surface hardness, resistance to abrasion and freeze-thaw cycle resistance in cement mortars was investigated. The Vickers hardness, the Los Angeles coefficient (LA) and the loss of mass in each of the freeze–thaw cycles to which the samples were subjected were measured. Four cement mortars CEM I 52.5R were prepared, one as control, and the other three with the additions: 5% nano-Si, 5% nano-Al and mix 2.5% n-Si and 2.5% n-Al. Mortars were tested at 7, 28 and 90 d of curing to determine compression strength, total porosity and pore distribution by mercury intrusion porosimetry (MIP) and the relationship between the CSH gel and Portlandite total by thermal gravimetric analysis (TGA). The capillary suction coefficient and an analysis by a scanning electron microscope (SEM) was made. There was a large increase in Vickers surface hardness for 5% n-Si mortar and a slight increase in resistance to abrasion. No significant difference was found between the mortars with nano-particles, whose LA was about 10.8, classifying them as materials with good resistance to abrasion. The microstructure shows that the addition of n-Si in mortars refines their porous matrix, increases the amount of hydrated gels and generates significant changes in both Portlandite and Ettringite. This produced a significant improvement in freeze–thaw cycle resistance. The effect of n-Al on mortar was null or negative with respect to freeze–thaw cycle resistance.

Family of MADS-Box Genes Expressed Early in Male and Female Reproductive Structures of Monterey Pine

Three MADS-box genes isolated from Monterey pine (Pinus radiata), PrMADS1, PrMADS2, and PrMADS3, are orthologs to members of the AGL2 and AGL6 gene subfamilies in Arabidopsis. These genes were expressed during early stages of pine shoot development in differentiating seed- and pollen-cone buds. Their transcripts were found within a group of cells that formed ovuliferous scale and microsporophyll primordia. Expression of PrMADS3 was also detected in a group of cells giving rise to needle primordia within differentiated vegetative buds, and in needle primordia.

Visualization of intermediate and transition-state structures in protein-tyrosine phosphatase catalysis.

Engineering site-specific amino acid substitutions into the protein-tyrosine phosphatase (PTPase) PTP1 and the dual-specific vaccinia H1-related phosphatase (VHR), has kinetically isolated the two chemical steps of the reaction and provided a rare opportunity for examining transition states and directly observing the phosphoenzyme intermediate. Changing serine to alanine in the active-site sequence motif HCXXGXXRS shifted the rate-limiting step from intermediate formation to intermediate hydrolysis. Using phosphorus 31P NMR, the covalent thiol-phosphate intermediate was directly observed during catalytic turnover. The importance of the conserved aspartic acid (D92 in VHR and D181 in PTP1) in both chemical steps was established. Kinetic analysis of D92N and D181N mutants indicated that aspartic acid acts as a general acid by protonating the leaving-group phenolic oxygen. Structure-reactivity experiments with native and aspartate mutant enzymes established that proton transfer is concomitant with P-O cleavage, such that no charge develops on the phenolic oxygen. Steady- and presteady-state kinetics, as well as NMR analysis of the double mutant D92N/S131A (VHR), suggested that the conserved aspartic acid functions as a general base during intermediate hydrolysis. As a general base, aspartate would activate a water molecule to facilitate nucleophilic attack. The amino acids involved in transition-state stabilization for cysteinylphosphate hydrolysis were confirmed by the x-ray structure of the Yersinia PTPase complexed with vanadate, a transition-state mimic that binds covalently to the active-site cysteine. Consistent with the NMR, x-ray, biochemical, and kinetic data, a unifying mechanism for catalysis is proposed.

Analysis of the relation between the sequence and secondary and three-dimensional structures of immunoglobulin molecules.

Methods of structural and statistical analysis of the relation between the sequence and secondary and three-dimensional structures are developed. About 5000 secondary structures of immunoglobulin molecules from the Kabat data base were predicted. Two statistical analyses of amino acids reveal 47 universal positions in strands and loops. Eight universally conservative positions out of the 47 are singled out because they contain the same amino acid in > 90% of all chains. The remaining 39 positions, which we term universally alternative positions, were divided into five groups: hydrophobic, charged and polar, aromatic, hydrophilic, and Gly-Ala, corresponding to the residues that occupied them in almost all chains. The analysis of residue-residue contacts shows that the 47 universal positions can be distinguished by the number and types of contacts. The calculations of contact maps in the 29 antibody structures revealed that residues in 24 of these 47 positions have contacts only with residues of antiparallel beta-strands in the same beta-sheet and residues in the remaining 23 positions always have far-away contacts with residues from other beta-sheets as well. In addition, residues in 6 of the 47 universal positions are also involved in interactions with residues of the other variable or constant domains.

Structural Characterization of Micro- and Mesoporous Carbon Materials Using In Situ High Pressure 129Xe NMR Spectroscopy

In situ high pressure 129Xe NMR spectroscopy in combination with volumetric adsorption measurements were used for the textural characterization of different carbon materials with well-defined porosity including microporous carbide-derived carbons, ordered mesoporous carbide-derived carbon, and ordered mesoporous CMK-3. Adsorption/desorption isotherms were measured also by NMR up to relative pressures close to p/p0 = 1 at 237 K. The 129Xe NMR chemical shift of xenon adsorbed in porous carbons is found to be correlated with the pore size in analogy to other materials such as zeolites. In addition, these measurements were performed loading the samples with n-nonane. Nonane molecules preferentially block the micropores. However, 129Xe NMR spectroscopy proves that the nonane also influences the mesopores, thus providing information about the pore system in hierarchically structured materials.

An annotated bibliography on the biological effects of constructing channels, jetties, and other coastal structures /

Includes index.

Acceleration and impact of structures moved by tsunamis or flash floods /

"February 1978."

Structural shapes; information and tables for architects, engineers and designers of buildings and other steel structures.

Cover-title: Bethlehem manual of steel construction.