A dynamic programming approach to the formulation and solution of finite element equations

A method for formulating and algorithmically solving the equations of finite element problems is presented. The method starts with a parametric partition of the domain in juxtaposed strips that permits sweeping the whole region by a sequential addition (or removal) of adjacent strips. The solution of the difference equations constructed over that grid proceeds along with the addition removal of strips in a manner resembling the transfer matrix approach, except that different rules of composition that lead to numerically stable algorithms are used for the stiffness matrices of the strips. Dynamic programming and invariant imbedding ideas underlie the construction of such rules of composition. Among other features of interest, the present methodology provides to some extent the analyst's control over the type and quantity of data to be computed. In particular, the one-sweep method presented in Section 9, with no apparent counterpart in standard methods, appears to be very efficient insofar as time and storage is concerned. The paper ends with the presentation of a numerical example

Self-adaptive strategy based on fuzzy control systems for improving performance in wireless sensors networks

The solutions to cope with new challenges that societies have to face nowadays involve providing smarter daily systems. To achieve this, technology has to evolve and leverage physical systems automatic interactions, with less human intervention. Technological paradigms like Internet of Things (IoT) and Cyber-Physical Systems (CPS) are providing reference models, architectures, approaches and tools that are to support cross-domain solutions. Thus, CPS based solutions will be applied in different application domains like e-Health, Smart Grid, Smart Transportation and so on, to assure the expected response from a complex system that relies on the smooth interaction and cooperation of diverse networked physical systems. The Wireless Sensors Networks (WSN) are a well-known wireless technology that are part of large CPS. The WSN aims at monitoring a physical system, object, (e.g., the environmental condition of a cargo container), and relaying data to the targeted processing element. The WSN communication reliability, as well as a restrained energy consumption, are expected features in a WSN. This paper shows the results obtained in a real WSN deployment, based on SunSPOT nodes, which carries out a fuzzy based control strategy to improve energy consumption while keeping communication reliability and computational resources usage among boundaries.

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.

Analysis by finite element calculations of light scattering in laser-textured AZO films for PV thin-film solar cells

In the thin-film photovoltaic industry, to achieve a high light scattering in one or more of the cell interfaces is one of the strategies that allow an enhancement of light absorption inside the cell and, therefore, a better device behavior and efficiency. Although chemical etching is the standard method to texture surfaces for that scattering improvement, laser light has shown as a new way for texturizing different materials, maintaining a good control of the final topography with a unique, clean, and quite precise process. In this work AZO films with different texture parameters are fabricated. The typical parameters used to characterize them, as the root mean square roughness or the haze factor, are discussed and, for deeper understanding of the scattering mechanisms, the light behavior in the films is simulated using a finite element method code. This method gives information about the light intensity in each point of the system, allowing the precise characterization of the scattering behavior near the film surface, and it can be used as well to calculate a simulated haze factor that can be compared with experimental measurements. A discussion of the validation of the numerical code, based in a comprehensive comparison with experimental data is included.

Control of pre-mRNA accumulation by the essential yeast protein Nrd1 requires high-affinity transcript binding and a domain implicated in RNA polymerase II association

Nrd1 is an essential yeast protein of unknown function that has an RNA recognition motif (RRM) in its carboxyl half and a putative RNA polymerase II-binding domain, the CTD-binding motif, at its amino terminus. Nrd1 mediates a severe reduction in pre-mRNA production from a reporter gene bearing an exogenous sequence element in its intron. The effect of the inserted element is highly sequence-specific and is accompanied by the appearance of 3′-truncated transcripts. We have proposed that Nrd1 binds to the exogenous sequence element in the nascent pre-mRNA during transcription, aided by the CTD-binding motif, and directs 3′-end formation a short distance downstream. Here we show that highly purified Nrd1 carboxyl half binds tightly to the RNA element in vitro with sequence specificity that correlates with the efficiency of cis-element-directed down-regulation in vivo. A large deletion in the CTD-binding motif blocks down-regulation but does not affect the essential function of Nrd1. Furthermore, a nonsense mutant allele that produces truncated Nrd1 protein lacking the RRM has a dominant-negative effect on down-regulation but not on cell growth. Viability of this and several other nonsense alleles of Nrd1 appears to require translational readthrough, which in one case is extremely efficient. Thus the CTD-binding motif of Nrd1 is important for pre-mRNA down-regulation but is not required for the essential function of Nrd1. In contrast, the RNA-binding activity of Nrd1 appears to be required both for down-regulation and for its essential function.

Conformational influences of glycosylation of a peptide: A possible model for the effect of glycosylation on the rate of protein folding

Improved strategies for synthesis make it possible to expand the range of glycopeptides available for detailed conformational studies. The glycopeptide 1 was synthesized using a new solid phase synthesis of carbohydrates and a convergent coupling to peptide followed by deprotection. Its conformational properties were subjected to NMR analysis and compared with a control peptide 2 prepared by conventional solid phase methods. Whereas peptide 2 fails to manifest any appreciable secondary structure, the glycopeptide 1 does show considerable conformational bias suggestive of an equilibrium between an ordered and a random state. The implications of this ordering effect for the larger issue of protein folding are considered.

In silico detection of control signals: mRNA 3′-end-processing sequences in diverse species

We have investigated mRNA 3′-end-processing signals in each of six eukaryotic species (yeast, rice, arabidopsis, fruitfly, mouse, and human) through the analysis of more than 20,000 3′-expressed sequence tags. The use and conservation of the canonical AAUAAA element vary widely among the six species and are especially weak in plants and yeast. Even in the animal species, the AAUAAA signal does not appear to be as universal as indicated by previous studies. The abundance of single-base variants of AAUAAA correlates with their measured processing efficiencies. As found previously, the plant polyadenylation signals are more similar to those of yeast than to those of animals, with both common content and arrangement of the signal elements. In all species examined, the complete polyadenylation signal appears to consist of an aggregate of multiple elements. In light of these and previous results, we present a broadened concept of 3′-end-processing signals in which no single exact sequence element is universally required for processing. Rather, the total efficiency is a function of all elements and, importantly, an inefficient word in one element can be compensated for by strong words in other elements. These complex patterns indicate that effective tools to identify 3′-end-processing signals will require more than consensus sequence identification.

Global GacA-steered control of cyanide and exoprotease production in Pseudomonas fluorescens involves specific ribosome binding sites

The conserved two-component regulatory system GacS/GacA determines the expression of extracellular products and virulence factors in a variety of Gram-negative bacteria. In the biocontrol strain CHA0 of Pseudomonas fluorescens, the response regulator GacA is essential for the synthesis of extracellular protease (AprA) and secondary metabolites including hydrogen cyanide. GacA was found to exert its control on the hydrogen cyanide biosynthetic genes (hcnABC) and on the aprA gene indirectly via a posttranscriptional mechanism. Expression of a translational hcnA′-′lacZ fusion was GacA-dependent whereas a transcriptional hcnA-lacZ fusion was not. A distinct recognition site overlapping with the ribosome binding site appears to be primordial for GacA-steered regulation. GacA-dependence could be conferred to the Escherichia coli lacZ mRNA by a 3-bp substitution in the ribosome binding site. The gene coding for the global translational repressor RsmA of P. fluorescens was cloned. RsmA overexpression mimicked partial loss of GacA function and involved the same recognition site, suggesting that RsmA is a downstream regulatory element of the GacA control cascade. Mutational inactivation of the chromosomal rsmA gene partially suppressed a gacS defect. Thus, a central, GacA-dependent switch from primary to secondary metabolism may operate at the level of translation.

Genetic control of social organization in an ant

A central issue in evolutionary biology is the extent to which complex social organization is under genetic control. We have found that a single genomic element marked by the protein-encoding gene Gp-9 is responsible for the existence of two distinct forms of social organization in the fire ant Solenopsis invicta. This genetic factor influences the reproductive phenotypes and behavioral strategies of queens and determines whether workers tolerate a single fertile queen or multiple queens per colony. Furthermore, this factor affects worker tolerance of queens with alternate genotypes, thus explaining the dramatic differences in Gp-9 allele frequencies observed between the two social forms in the wild. These findings reveal how a single genetic factor can have major effects on complex social behavior and influence the nature of social organization.

Derepression of human embryonic ζ-globin promoter by a locus-control region sequence

A multiple protein–DNA complex formed at a human α-globin locus-specific regulatory element, HS-40, confers appropriate developmental expression pattern on human embryonic ζ-globin promoter activity in humans and transgenic mice. We show here that introduction of a 1-bp mutation in an NF-E2/AP1 sequence motif converts HS-40 into an erythroid-specific locus-control region. Cis-linkage with this locus-control region, in contrast to the wild-type HS-40, allows erythroid lineage-specific derepression of the silenced human ζ-globin promoter in fetal and adult transgenic mice. Furthermore, ζ-globin promoter activities in adult mice increase in proportion to the number of integrated DNA fragments even at 19 copies/genome. The mutant HS-40 in conjunction with human ζ-globin promoter thus can be used to direct position-independent and copy number-dependent expression of transgenes in adult erythroid cells. The data also supports a model in which competitive DNA binding of different members of the NF-E2/AP1 transcription factor family modulates the developmental stage specificity of an erythroid enhancer. Feasibility to reswitch on embryonic/fetal globin genes through the manipulation of nuclear factor binding at a single regulatory DNA motif is discussed.

pH gating of ROMK (Kir1.1) channels: Control by an Arg-Lys-Arg triad disrupted in antenatal Bartter syndrome

Inward-rectifier K+ channels of the ROMK (Kir1.1) subtype are responsible for K+ secretion and control of NaCl absorption in the kidney. A hallmark of these channels is their gating by intracellular pH in the neutral range. Here we show that a lysine residue close to TM1, identified previously as a structural element required for pH-induced gating, is protonated at neutral pH and that this protonation drives pH gating in ROMK and other Kir channels. Such anomalous titration of this lysine residue (Lys-80 in Kir1.1) is accomplished by the tertiary structure of the Kir protein: two arginines in the distant N and C termini of the same subunit (Arg-41 and Arg-311 in Kir1.1) are located in close spatial proximity to the lysine allowing for electrostatic interactions that shift its pKa into the neutral pH range. Structural disturbance of this triad as a result from a number of point mutations found in patients with antenatal Bartter syndrome shifts the pKa of the lysine residue off the neutral pH range and results in channels permanently inactivated under physiological conditions. Thus, the results provide molecular understanding for normal pH gating of Kir channels as well as for the channel defects found in patients with antenatal Bartter syndrome.

Molecular characterization of a mutable pigmentation phenotype and isolation of the first active transposable element from Sorghum bicolor

Accumulation of red phlobaphene pigments in sorghum grain pericarp is under the control of the Y gene. A mutable allele of Y, designated as y-cs (y-candystripe), produces a variegated pericarp phenotype. Using probes from the maize p1 gene that cross-hybridize with the sorghum Y gene, we isolated the y-cs allele containing a large insertion element. Our results show that the Y gene is a member of the MYB-transcription factor family. The insertion element, named Candystripe1 (Cs1), is present in the second intron of the Y gene and shares features of the CACTA superfamily of transposons. Cs1 is 23,018 bp in size and is bordered by 20-bp terminal inverted repeat sequences. It generated a 3-bp target site duplication upon insertion within the Y gene and excised from y-cs, leaving a 2-bp footprint in two cases analyzed. Reinsertion of the excised copy of Cs1 was identified by Southern hybridization in the genome of each of seven red pericarp revertant lines tested. Cs1 is the first active transposable element isolated from sorghum. Our analysis suggests that Cs1-homologous sequences are present in low copy number in sorghum and other grasses, including sudangrass, maize, rice, teosinte, and sugarcane. The low copy number and high transposition frequency of Cs1 imply that this transposon could prove to be an efficient gene isolation tool in sorghum.

Integrin-mediated Adhesion of Endothelial Cells Induces JAK2 and STAT5A Activation: Role in the Control of c-fos Gene Expression

Integrin-mediated adhesion induces several signaling pathways leading to regulation of gene transcription, control of cell cycle entry and survival from apoptosis. Here we investigate the involvement of the Janus kinase (JAK)/signal transducers and activators of transcription (STAT) pathway in integrin-mediated signaling. Plating primary human endothelial cells from umbilical cord and the human endothelial cell line ECV304 on matrix proteins or on antibody to β1- or αv-integrin subunits induces transient tyrosine phosphorylation of JAK2 and STAT5A. Consistent with a role for the JAK/STAT pathway in regulation of gene transcription, adhesion to matrix proteins leads to the formation of STAT5A-containing complexes with the serum-inducible element of c-fos promoter. Stable expression of a dominant negative form of STAT5A in NIH3T3 cells reduces fibronectin-induced c-fos mRNA expression, indicating the involvement of STAT5A in integrin-mediated c-fos transcription. Thus these data present a new integrin-dependent signaling mechanism involving the JAK/STAT pathway in response to cell–matrix interaction.

The Cytoplasmic Chaperone Hsp104 Is Required for Conformational Repair of Heat-denatured Proteins in the Yeast Endoplasmic Reticulum

Severe heat stress causes protein denaturation in various cellular compartments. If Saccharomyces cerevisiae cells grown at 24°C are preconditioned at 37°C, proteins denatured by subsequent exposure to 48–50°C can be renatured when the cells are allowed to recover at 24°C. Conformational repair of vital proteins is essential for survival, because gene expression is transiently blocked after the thermal insult. Refolding of cytoplasmic proteins requires the Hsp104 chaperone, and refolding of lumenal endoplasmic reticulum (ER) proteins requires the Hsp70 homologue Lhs1p. We show here that conformational repair of heat-damaged glycoproteins in the ER of living yeast cells required functional Hsp104. A heterologous enzyme and a number of natural yeast proteins, previously translocated and folded in the ER and thereafter denatured by severe heat stress, failed to be refolded to active and secretion-competent structures in the absence of Hsp104 or when an ATP-binding site of Hsp104 was mutated. During recovery at 24°C, the misfolded proteins persisted in the ER, although the secretory apparatus was fully functional. Hsp104 appears to control conformational repair of heat-damaged proteins even beyond the ER membrane.

Mouse cytoplasmic polyadenylylation element binding protein: An evolutionarily conserved protein that interacts with the cytoplasmic polyadenylylation elements of c-mos mRNA

Cytoplasmic polyadenylylation is an essential process that controls the translation of maternal mRNAs during early development and depends on two cis elements in the 3′ untranslated region: the polyadenylylation hexanucleotide AAUAAA and a U-rich cytoplasmic polyadenylylation element (CPE). In searching for factors that could mediate cytoplasmic polyadenylylation of mouse c-mos mRNA, which encodes a serine/threonine kinase necessary for oocyte maturation, we have isolated the mouse homolog of CPEB, a protein that binds to the CPEs of a number of mRNAs in Xenopus oocytes and is required for their polyadenylylation. Mouse CPEB (mCPEB) is a 62-kDa protein that binds to the CPEs of c-mos mRNA. mCPEB mRNA is present in the ovary, testis, and kidney; within the ovary, this RNA is restricted to oocytes. mCPEB shows 80% overall identity with its Xenopus counterpart, with a higher homology in the carboxyl-terminal portion, which contains two RNA recognition motifs and a cysteine/histidine repeat. Proteins from arthropods and nematodes are also similar to this region, suggesting an ancient and widely used mechanism to control polyadenylylation and translation.