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.

Statistical modelling of variability in sediment-water nutrient and oxygen fluxes

Peer reviewed

Altered phosphorylation and intracellular distribution of a (CUG)n triplet repeat RNA-binding protein in patients with myotonic dystrophy and in myotonin protein kinase knockout mice

Myotonic dystrophy (DM) is associated with expansion of CTG repeats in the 3′-untranslated region of the myotonin protein kinase (DMPK) gene. The molecular mechanism whereby expansion of the (CUG)n repeats in the 3′-untranslated region of DMPK gene induces DM is unknown. We previously isolated a protein with specific binding to CUG repeat sequences (CUG-BP/hNab50) that possibly plays a role in mRNA processing and/or transport. Here we present evidence that the phosphorylation status and intracellular distribution of the RNA CUG-binding protein, identical to hNab50 protein (CUG-BP/hNab50), are altered in homozygous DM patient and that CUG-BP/hNab50 is a substrate for DMPK both in vivo and in vitro. Data from two biological systems with reduced levels of DMPK, homozygous DM patient and DMPK knockout mice, show that DMPK regulates both phosphorylation and intracellular localization of the CUG-BP/hNab50 protein. Decreased levels of DMPK observed in DM patients and DMPK knockout mice led to the elevation of the hypophosphorylated form of CUG-BP/hNab50. Nuclear concentration of the hypophosphorylated CUG-BP/hNab50 isoform is increased in DMPK knockout mice and in homozygous DM patient. DMPK also interacts with and phosphorylates CUG-BP/hNab50 protein in vitro. DMPK-mediated phosphorylation of CUG-BP/hNab50 results in dramatic reduction of the CUG-BP2, hypophosphorylated isoform, accumulation of which was observed in the nuclei of DMPK knockout mice. These data suggest a feedback mechanism whereby decreased levels of DMPK could alter phosphorylation status of CUG-BP/hNab50, thus facilitating nuclear localization of CUG-BP/hNab50. Our results suggest that DM pathophysiology could be, in part, a result of sequestration of CUG-BP/hNab50 and, in part, of lowered DMPK levels, which, in turn, affect processing and transport of specific subclass of mRNAs.

Interaction of Fibroblast Growth Factor-2 (FGF-2) with Free Gangliosides: Biochemical Characterization and Biological Consequences in Endothelial Cell Cultures

Exogenous gangliosides affect the angiogenic activity of fibroblast growth factor-2 (FGF-2), but their mechanism of action has not been elucidated. Here, a possible direct interaction of sialo-glycolipids with FGF-2 has been investigated. Size exclusion chromatography demonstrates that native, but not heat-denatured, 125I-FGF-2 binds to micelles formed by gangliosides GT1b, GD1b, or GM1. Also, gangliosides protect native FGF-2 from trypsin digestion at micromolar concentrations, the order of relative potency being GT1b > GD1b > GM1 = GM2 = sulfatide > GM3 = galactosyl-ceramide, whereas asialo-GM1, neuraminic acid, and N-acetylneuramin-lactose were ineffective. Scatchard plot analysis of the binding data of fluorochrome-labeled GM1 to immobilized FGF-2 indicates that FGF–2/GM1 interaction occurs with a Kd equal to 6 μM. This interaction is inhibited by the sialic acid-binding peptide mastoparan and by the synthetic fragments FGF-2(112–129) and, to a lesser extent, FGF-2(130–155), whereas peptides FGF-2(10–33), FGF-2(39–59), FGF-2(86–96), and the basic peptide HIV-1 Tat(41–60) were ineffective. These data identify the COOH terminus of FGF-2 as a putative ganglioside-binding region. Exogenous gangliosides inhibit the binding of 125I-FGF-2 to high-affinity tyrosine-kinase FGF-receptors (FGFRs) of endothelial GM 7373 cells at micromolar concentrations. The order of relative potency was GT1b > GD1b > GM1 > sulfatide a = sialo-GM1. Accordingly, GT1b,GD1b, GM1, and GM2, but not GM3 and asialo-GM1, prevent the binding of 125I-FGF-2 to a soluble, recombinant form of extracellular FGFR-1. Conversely, the soluble receptor and free heparin inhibit the interaction of fluorochrome-labeled GM1 to immobilized FGF-2. In agreement with their FGFR antagonist activity, free gangliosides inhibit the mitogenic activity exerted by FGF-2 on endothelial cells in the same range of concentrations. Also in this case, GT1b was the most effective among the gangliosides tested while asialo-GM1, neuraminic acid, N-acetylneuramin-lactose, galactosyl-ceramide, and sulfatide were ineffective. In conclusion, the data demonstrate the capacity of exogenous gangliosides to interact with FGF-2. This interaction involves the COOH terminus of the FGF-2 molecule and depends on the structure of the oligosaccharide chain and on the presence of sialic acid residue(s) in the ganglioside molecule. Exogenous gangliosides act as FGF-2 antagonists when added to endothelial cell cultures. Since gangliosides are extensively shed by tumor cells and reach elevated levels in the serum of tumor-bearing patients, our data suggest that exogenous gangliosides may affect endothelial cell function by a direct interaction with FGF-2, thus modulating tumor neovascularization.

Selenoprotein oxidoreductase with specificity for thioredoxin and glutathione systems

Thioredoxin (Trx) and glutathione (GSH) systems are considered to be two major redox systems in animal cells. They are reduced by NADPH via Trx reductase (TR) or oxidized GSH (GSSG) reductase and further supply electrons for deoxyribonucleotide synthesis, antioxidant defense, and redox regulation of signal transduction, transcription, cell growth, and apoptosis. We cloned and characterized a pyridine nucleotide disulfide oxidoreductase, Trx and GSSG reductase (TGR), that exhibits specificity for both redox systems. This enzyme contains a selenocysteine residue encoded by the TGA codon. TGR can reduce Trx, GSSG, and a GSH-linked disulfide in in vitro assays. This unusual substrate specificity is achieved by an evolutionary conserved fusion of the TR and glutaredoxin domains. These observations, together with the biochemical probing and molecular modeling of the TGR structure, suggest a mechanism whereby the C-terminal selenotetrapeptide serves a role of a protein-linked GSSG and shuttles electrons from the disulfide center within the TR domain to either the glutaredoxin domain or Trx.

Predicted highly expressed and putative alien genes of Deinococcus radiodurans and implications for resistance to ionizing radiation damage

Predicted highly expressed (PHX) and putative alien genes determined by codon usages are characterized in the genome of Deinococcus radiodurans (strain R1). Deinococcus radiodurans (DEIRA) can survive very high doses of ionizing radiation that are lethal to virtually all other organisms. It has been argued that DEIRA is endowed with enhanced repair systems that provide protection and stability. However, predicted expression levels of DNA repair proteins with the exception of RecA tend to be low and do not distinguish DEIRA from other prokaryotes. In this paper, the capability of DEIRA to resist extreme doses of ionizing and UV radiation is attributed to an unusually high number of PHX chaperone/degradation, protease, and detoxification genes. Explicitly, compared with all current complete prokaryotic genomes, DEIRA contains the greatest number of PHX detoxification and protease proteins. Other sources of environmental protection against severe conditions of UV radiation, desiccation, and thermal effects for DEIRA are the several S-layer (surface structure) PHX proteins. The top PHX gene of DEIRA is the multifunctional tricarboxylic acid (TCA) gene aconitase, which, apart from its role in respiration, also alerts the cell to oxidative damage.

The evaluation of 1975 Torino type 2 restraint systems with web locking and force limiting features. Test report.

National Highway Traffic Safety Administration, Washington, D.C.

Shock tube studies of the effects of sharp-rising, long-duration overpressures on biological systems /

Shock tubes have been used successfully by a number of investigators to study the biological effects of variations in environmental pressures (1,2,3). Recently an unusually versatile laboratory pressurization source became available with the capability of consistently reproducing a wide variety of pressure-time phenomena of durations equal to and well beyond those associated with the detonation of nuclear devices (4). Thus it became possible to supplement costly full-scale field research in blast biology carried out at the Nevada Test Site (5,6) by using an economical yet realistic laboratory tool. In one exploratory study employing pressure pulses of 5 to 10 sec duration wherein the times to max overpressure and the magnitudes of the overpressures were varied, a relatively high tolerance of biological media to pressures well over 150 psi was demonstrated (7). In contrast, the present paper will describe the relatively high biological susceptibility to long duration overpressures in which the pressure rises occurred in single and double fast-rising steps.

A Tahitian and English dictionary, with introductory remarks on the Polynesian language, and a short grammar of the Tahitian dialect: with an appendix containing a list of foreign words used in the Tahitian Bible, in commerce, etc., with the sources from whence they have been derived.

Mode of access: Internet.

A grammar of the Hindūstānī language, in the Oriental and roman character, with numerous copper-plate illustrations of the Persian and Devanāgarī systems of alphabetic writing. To which is added, a copious selection of easy extracts for reading, in the Persi-Arabic & Devanāgarī characters, forming a complete introduction to the Bagh-o-bahar; together with a vocabulary, and explanatory notes.

Mode of access: Internet.