Using configuration management and product line software paradigms to support the experimentation process in software engineering.

There is no empirical evidence whatsoever to support most of the beliefs on which software construction is based. We do not yet know the adequacy, limits, qualities, costs and risks of the technologies used to develop software. Experimentation helps to check and convert beliefs and opinions into facts. This research is concerned with the replication area. Replication is a key component for gathering empirical evidence on software development that can be used in industry to build better software more efficiently. Replication has not been an easy thing to do in software engineering (SE) because the experimental paradigm applied to software development is still immature. Nowadays, a replication is executed mostly using a traditional replication package. But traditional replication packages do not appear, for some reason, to have been as effective as expected for transferring information among researchers in SE experimentation. The trouble spot appears to be the replication setup, caused by version management problems with materials, instruments, documents, etc. This has proved to be an obstacle to obtaining enough details about the experiment to be able to reproduce it as exactly as possible. We address the problem of information exchange among experimenters by developing a schema to characterize replications. We will adapt configuration management and product line ideas to support the experimentation process. This will enable researchers to make systematic decisions based on explicit knowledge rather than assumptions about replications. This research will output a replication support web environment. This environment will not only archive but also manage experimental materials flexibly enough to allow both similar and differentiated replications with massive experimental data storage. The platform should be accessible to several research groups working together on the same families of experiments.

Design techniques for xilinx virtex FPGA configuration memory scrubbers

SRAM-based FPGAs are in-field reconfigurable an unlimited number of times. This characteristic, together with their high performance and high logic density, proves to be very convenient for a number of ground and space level applications. One drawback of this technology is that it is susceptible to ionizing radiation, and this sensitivity increases with technology scaling. This is a first order concern for applications in harsh radiation environments, and starts to be a concern for high reliability ground applications. Several techniques exist for coping with radiation effects at user application. In order to be effective they need to be complemented with configuration memory scrubbing, which allows error mitigation and prevents failures due to error accumulation. Depending on the radiation environment and on the system dependability requirements, the configuration scrubber design can become more or less complex. This paper classifies and presents current and novel design methodologies and architectures for SRAM-based FPGAs, and in particular for Xilinx Virtex-4QV/5QV, configuration memory scrubbers.

A Knowledge Model for Automatic Configuration of Traffic Messages

This paper describes a knowledge model for a configuration problem in the do-main of traffic control. The goal of this model is to help traffic engineers in the dynamic selection of a set of messages to be presented to drivers on variable message signals. This selection is done in a real-time context using data recorded by traffic detectors on motorways. The system follows an advanced knowledge-based solution that implements two abstract problem solving methods according to a model-based approach recently proposed in the knowledge engineering field. Finally, the paper presents a discussion about the advantages and drawbacks found for this problem as a consequence of the applied knowledge modeling ap-proach.

The construction of sexpartite vaults in Europe

Sexpartite vaults constitute one of the most interesting chapters in European Gothic architecture. Originally, the use of the square cross-ribbed vault was limited to relatively small spaces, but when the need arose to cover spaces of considerable size, a new vault with very peculiar characteristics appeared. This new vault was a cross-ribbed vault that was reinforced in the centre by a rib that was parallel to the transverse ribs which effectively divided the vault in half. This configuration breaks the side arch into two fragments, creating a pair of windows on each side. The volumetrics of these vaults is extremely complex and the difficulties involved in their construction perhaps explain why they were abandoned in favour of the simple cross ribbed vault, now with rectangular sections. The existence of the sexpartite vault barely lasted more than fifty years, from the end of the XII century and the beginning of the XIII. Towards the end of the 19th century Viollet-le-Duc gave a succinct explanation of this type of vault. A. Choisy also, later, devotes some pages to the French sexpartite vault; since then, the subject has only been broached in a few references in later studies on Gothic architecture. However, despite its short period of existence, the sexpartite vault spread throughout Europe and was used to build important vaulting. Viollet-le-Duc's sexpartite vault could be considered to be the prototype of them all, while it is true that the studies that we have conducted so far lead us to affirm that there is a wide variety of vaults, with different volumetric spaces and different construction strategies. Therefore, we believe that this chapter of international Gothic deserves further study applying the knowledge and resources that are available today. This paper has been written to explore the most significant European sexpartite vaults. New measurement technology has led to a revolution in research into the history of construction, allowing studies to be conducted that were hitherto impossible. Thorough data collection using total station and photogrammetry has enabled us to identify the stereotomy of the voussoirs, tas-de-charges and keystones, as well as the bonding of the surfaces of the severies. A comparison of the construction techniques employed in the different vaults studied reveals common construction features and aspects that are specific to each country. Thus we are able to establish the relationship between sexpartite vaults in different European countries and their influence on each other.

Global Stability Analysis of a Compressible Turbulent Flow around a High-Lift Configuration

The purpose of this work is to analyze a complex high lift configuration for which significant regions of separated flow are present. Current state of the art methods have some diffculty to predict the origin and the progression of this separated flow when increasing the angle of attack. The mechanisms responsible for the maximum lift limit on multi-element wing con?gurations are not clear; this stability analysis could help to understand the physics behind the phenomenon and to find a relation between the flow separation and the instability onset. The methodology presented herein consists in the computation of a steady base flow solution based on a finite volume discretization and a proposal of the solution for a generalized eigenvalue problem corresponding to the perturbed and linearized problem. The eigenvalue problem has been solved with the Arnoldi iterative method, one of the Krylov subspace projection methods. The described methodology was applied to the NACA0012 test case in subsonic and in transonic conditions and, finally, for the first time to the authors knowledge, on an industrial multi-component geometry, such as the A310 airfoil, in order to identify low frequency instabilities related to the separation. One important conclusion is that for all the analyzed geometries, one unstable mode related to flow separation appears for an angle of attack greater than the one correspondent to the maximum lift coe?cient condition. Finally, an adjoint study was carried out in order to evaluate the receptivity and the structural sensitivity of the geometries, giving an indication of the domain region that could be modified resulting in the biggest change of the flowfield.

A proposal for a model-based approach for adapting software configuration to runtime environments

Las metodologías de desarrollo ágiles han sufrido un gran auge en entornos industriales durante los últimos años debido a la rapidez y fiabilidad de los procesos de desarrollo que proponen. La filosofía DevOps y específicamente las metodologías derivadas de ella como Continuous Delivery o Continuous Deployment promueven la gestión completamente automatizada del ciclo de vida de las aplicaciones, desde el código fuente a las aplicaciones ejecutándose en entornos de producción. La automatización se ve como un medio para producir procesos repetibles, fiables y rápidos. Sin embargo, no todas las partes de las metodologías Continuous están completamente automatizadas. En particular, la gestión de la configuración de los parámetros de ejecución es un problema que ha sido acrecentado por la elasticidad y escalabilidad que proporcionan las tecnologías de computación en la nube. La mayoría de las herramientas de despliegue actuales pueden automatizar el despliegue de la configuración de parámetros de ejecución, pero no ofrecen soporte a la hora de fijar esos parámetros o de validar los ficheros que despliegan, principalmente debido al gran abanico de opciones de configuración y el hecho de que el valor de muchos de esos parámetros es fijado en base a preferencias expresadas por el usuario. Esto hecho hace que pueda parecer que cualquier solución al problema debe estar ajustada a una aplicación específica en lugar de ofrecer una solución general. Con el objetivo de solucionar este problema, propongo un modelo de configuración que puede ser inferido a partir de instancias de configuración existentes y que puede reflejar las preferencias de los usuarios para ser usado para facilitar los procesos de configuración. El modelo de configuración puede ser usado como la base de un proceso de configuración interactivo capaz de guiar a un operador humano a través de la configuración de una aplicación para su despliegue en un entorno determinado o para detectar cambios de configuración automáticamente y producir una configuración válida que se ajuste a esos cambios. Además, el modelo de configuración debería ser gestionado como si se tratase de cualquier otro artefacto software y debería ser incorporado a las prácticas de gestión habituales. Por eso también propongo un modelo de gestión de servicios que incluya información relativa a la configuración de parámetros de ejecución y que además es capaz de describir y gestionar propuestas arquitectónicas actuales tales como los arquitecturas de microservicios. ABSTRACT Agile development methodologies have risen in popularity within the industry in recent years due to the speed and reliability of the processes they propose. The DevOps philosophy and specifically the methodologies derived from it such as Continuous Delivery and Continuous Deployment push for a totally automated management of the application lifecycle, from the source code to the software running in production environment. Automation in this regard is used as a means to produce repeatable, reliable and fast processes. However, not all parts of the Continuous methodologies are completely automatized. In particular, management of runtime parameter configuration is a problem that has increased its impact in deployment process due to the scalability and elasticity provided by cloud technologies. Most deployment tools nowadays can automate the deployment of runtime parameter configuration, but they offer no support for parameter setting o configuration validation, as the range of different configuration options and the fact that the value of many of those parameters is based on user preference seems to imply that any solution to the problem will have to be tailored to a specific application. With the aim to solve this problem I propose a configuration model that can be inferred from existing configurations and reflect user preferences in order to ease the configuration process. The configuration model can be used as the base of an interactive configuration process capable of guiding a human operator through the configuration of an application for its deployment in a specific environment or to automatically detect configuration changes and produce valid runtime parameter configurations that take into account those changes. Additionally, the configuration model should be managed as any other software artefact and should be incorporated into current management practices. I also propose a service management model that includes the configuration information and that is able to describe and manage current architectural practices such as the microservices architecture.

Fractionation factors and activation energies for exchange of the low barrier hydrogen bonding proton in peptidyl trifluoromethyl ketone complexes of chymotrypsin

NMR investigations have been carried out of complexes between bovine chymotrypsin Aα and a series of four peptidyl trifluoromethyl ketones, listed here in order of increasing affinity for chymotrypsin: N-Acetyl-l-Phe-CF3, N-Acetyl-Gly-l-Phe-CF3, N-Acetyl-l-Val-l-Phe-CF3, and N-Acetyl-l-Leu-l-Phe-CF3. The D/H fractionation factors (φ) for the hydrogen in the H-bond between His 57 and Asp 102 (His 57-Hδ1) in these four complexes at 5°C were in the range φ = 0.32–0.43, expected for a low-barrier hydrogen bond. For this series of complexes, measurements also were made of the chemical shifts of His 57-Hɛ1 (δ2,2-dimethylsilapentane-5-sulfonic acid 8.97–9.18), the exchange rate of the His 57-Hδ1 proton with bulk water protons (284–12.4 s−1), and the activation enthalpies for this hydrogen exchange (14.7–19.4 kcal⋅mol−1). It was found that the previously noted correlations between the inhibition constants (Ki 170–1.2 μM) and the chemical shifts of His 57-Hδ1 (δ2,2-dimethylsilapentane-5-sulfonic acid 18.61–18.95) for this series of peptidyl trifluoromethyl ketones with chymotrypsin [Lin, J., Cassidy, C. S. & Frey, P. A. (1998) Biochemistry 37, 11940–11948] could be extended to include the fractionation factors, hydrogen exchange rates, and hydrogen exchange activation enthalpies. The results support the proposal of low barrier hydrogen bond-facilitated general base catalysis in the addition of Ser 195 to the peptidyl carbonyl group of substrates in the mechanism of chymotrypsin-catalyzed peptide hydrolysis. Trends in the enthalpies for hydrogen exchange and the fractionation factors are consistent with a strong, double-minimum or single-well potential hydrogen bond in the strongest complexes. The lifetimes of His 57-Hδ1, which is solvent shielded in these complexes, track the strength of the hydrogen bond. Because these lifetimes are orders of magnitude shorter than those of the complexes themselves, the enzyme must have a pathway for hydrogen exchange at this site that is independent of dissociation of the complexes.

Borate-Rhamnogalacturonan II Bonding Reinforced by Ca2+ Retains Pectic Polysaccharides in Higher-Plant Cell Walls1

The extent of in vitro formation of the borate-dimeric-rhamnogalacturonan II (RG-II) complex was stimulated by Ca2+. The complex formed in the presence of Ca2+ was more stable than that without Ca2+. A naturally occurring boron (B)-RG-II complex isolated from radish (Raphanus sativus L. cv Aokubi-daikon) root contained equimolar amounts of Ca2+ and B. Removal of the Ca2+ by trans-1,2-diaminocyclohexane-N,N,N′,N′-tetraacetic acid induced cleavage of the complex into monomeric RG-II. These data suggest that Ca2+ is a normal component of the B-RG-II complex. Washing the crude cell walls of radish roots with a 1.5% (w/v) sodium dodecyl sulfate solution, pH 6.5, released 98% of the tissue Ca2+ but only 13% of the B and 22% of the pectic polysaccharides. The remaining Ca2+ was associated with RG-II. Extraction of the sodium dodecyl sulfate-washed cell walls with 50 mm trans-1,2-diaminocyclohexane-N,N,N′,N′-tetraacetic acid, pH 6.5, removed the remaining Ca2+, 78% of B, and 49% of pectic polysaccharides. These results suggest that not only Ca2+ but also borate and Ca2+ cross-linking in the RG-II region retain so-called chelator-soluble pectic polysaccharides in cell walls.

RIGS (repeat-induced gene silencing) in Arabidopsis is transcriptional and alters chromatin configuration.

We have previously reported repeat-induced gene silencing (RIGS) in Arabidopsis, in which transgene expression may be silenced epigenetically when repeated sequences are present. Among an allelic series of lines comprising a primary transformant and various recombinant progeny carrying different numbers of drug resistance gene copies at the same locus, silencing was found to depend strictly on repeated sequences and to correlate with an absence of steady-state mRNA. We now report characterization, in nuclei isolated from the same transgenic lines, of gene expression by nuclear run-on assay and of chromatin structure by nuclease protection assay. We find that silencing is correlated with absence of run-on transcripts, indicating that expression is silenced at the level of transcription. We find further that silencing is also correlated with increased resistance to both DNase I and micrococcal nuclease, indicating that the silenced state reflects a change in chromatin configuration. We propose that silencing results when a locally paired region of homologous repeated nucleotide sequences is flanked by unpaired heterologous DNA, which leads chromatin to adopt a local configuration that is difficult to transcribe, and possibly akin to heterochromatin.

The fifth epidermal growth factor-like domain of thrombomodulin does not have an epidermal growth factor-like disulfide bonding pattern.

The disulfide bonding pattern of the fourth and fifth epidermal growth factor (EGF)-like domains within the smallest active fragment of thrombomodulin have been determined. In previous work, this fragment was expressed and purified to homogeneity, and its cofactor activity, as measured by Kcat for thrombin activation of protein C, was the same as that for full-length thrombomodulin. CNBr cleavage at the single methionine in the connecting region between the domains and subsequent deglycosylation yielded the individual EGF-like domains. The disulfide bonds were mapped by partial reduction with tris(2-carboxyethyl)phosphine according to the method of Gray [Gray, W. R. (1993) Protein Sci. 2, 1732-1748], which provides unambiguous results. The disulfide bonding pattern of the fourth EGF-like domain was (1-3, 2-4, 5-6), which is the same as that found previously in EGF and in a synthetic version of the fourth EGF-like domain. Surprisingly, the disulfide bonding pattern of the fifth domain was (1-2, 3-4, 5-6), which is unlike that found in EGF or in any other EGF-like domain analyzed so far. This result is in line with an earlier observation that the (1-2, 3-4, 5-6) isomer bound to thrombin more tightly than the EGF-like (1-3, 2-4, 5-6) isomer. The observation that not all EGF-like domains have an EGF-like disulfide bonding pattern reveals an additional element of diversity in the structure of EGF-like domains.

Interresidue hydrogen bonding in a peptide nucleic acid.RNA heteroduplex.

Previous molecular mechanics calculations suggest that strands of peptide nucleic acids (PNAs) and complementary oligonucleotides form antiparallel duplexes stabilized by interresidue hydrogen bonds. In the computed structures, the amide carbonyl oxygen nearest the nucleobase (O7') forms an interresidue hydrogen bond with the backbone amide proton of the following residue, (n + 1)H1'. Of the 10 published two dimensional 1H NMR structures of a hexameric PNA.RNA heteroduplex. PNA(GAACTC).r(GAGUUC), 9 exhibit two to five potential interresidue hydrogen bonds. In our minimized average structure, created from the coordinates of these 10 NMR structures, three of the five possible interresidue hydrogen bond sites within the PNA backbone display the carbonyl oxygen (O7') and the amide proton (n + 1)H1' distances and N1'-H1'-(n - 1)O7' angles optimal for hydrogen bond formation. The finding of these interresidue hydrogen bonds supports the results of our previous molecular mechanics calculations.

A maximum likelihood algorithm for genome mapping of cytogenetic loci from meiotic configuration data.

Frequencies of meiotic configurations in cytogenetic stocks are dependent on chiasma frequencies in segments defined by centromeres, breakpoints, and telomeres. The expectation maximization algorithm is proposed as a general method to perform maximum likelihood estimations of the chiasma frequencies in the intervals between such locations. The estimates can be translated via mapping functions into genetic maps of cytogenetic landmarks. One set of observational data was analyzed to exemplify application of these methods, results of which were largely concordant with other comparable data. The method was also tested by Monte Carlo simulation of frequencies of meiotic configurations from a monotelodisomic translocation heterozygote, assuming six different sample sizes. The estimate averages were always close to the values given initially to the parameters. The maximum likelihood estimation procedures can be extended readily to other kinds of cytogenetic stocks and allow the pooling of diverse cytogenetic data to collectively estimate lengths of segments, arms, and chromosomes.

Modulation of pair bonding in female prairie voles (Microtus ochrogaster) by corticosterone.

Glucocorticoid levels in animals may respond to and influence the development of social attachments. This hypothesis was tested in prairie voles (Microtus ochrogaster), monogamous rodents that form long-term heterosexual pair bonds. In socially naive female prairie voles, cohabitation with an unfamiliar male resulted in a dramatic decline in serum corticosterone levels. When corticosterone levels were reduced via adrenalectomy, females developed partner preferences after 1 h of cohabitation, while sham-operated and untreated females required 3 h or more of nonsexual cohabitation to establish a partner preference. In adrenalectomized and intact females, exogenous injections of corticosterone, given prior to social exposure, prevented the development of preferences for the cohabitating male. Although corticosterone inhibited the development of partner preferences, it did not interfere with the expression of previously established social preferences. These results suggest that social stimuli can modulate adrenal activity and that adrenal activity, in turn, is capable of influencing the formation of adult social preferences in female prairie voles. The involvement of the adrenal axis in the formation of partner preferences and the subsequent development of pair bonds provides a mechanism through which environmental and social factors may influence social organization in this species.

Recognition by viral and cellular DNA polymerases of nucleosides bearing bases with nonstandard hydrogen bonding patterns.

The ability of DNA polymerases (pols) to catalyze the template-directed synthesis of duplex oligonucleotides containing a nonstandard Watson-Crick base pair between a nucleotide bearing a 5-(2,4-diaminopyrimidine) heterocycle (d kappa) and a nucleotide bearing either deoxyxanthosine (dX) or N1-methyloxoformycin B (pi) has been investigated. The kappa-X and kappa-pi base pairs are jointed by a hydrogen bonding pattern different from and exclusive of those joining the AT and GC base pairs. Reverse transcriptase from human immunodeficiency virus type 1 (HIV-1) incorporates dXTP into an oligonucleotide opposite d kappa in a template with good fidelity. With lower efficiency and fidelity, HIV-1 reverse transcriptase also incorporates d kappa TP opposite dX in the template. With d pi in the template, no incorporation of d kappa TP was observed with HIV reverse transcriptase. The Klenow fragment of DNA pol I from Escherichia coli does not incorporate d kappa TP opposite dX in a template but does incorporate dXTP opposite d kappa. Bovine DNA pols alpha, beta, and epsilon accept neither dXTP opposite d kappa nor d kappa TP opposite d pi. DNA pols alpha and epsilon (but not beta) incorporate d kappa TP opposite dX in a template but discontinue elongation after incorporating a single additional base. These results are discussed in light of the crystal structure for pol beta and general considerations of how polymerases must interact with an incoming base pair to faithfully copy genetic information.