Glyconanoparticle-DNA interactions: an atomic force microscopy study.

Glyconanoparticles which present carbohydrate and amino groups motifs at their surface were produced. These particles were highly stable and soluble in aqueous solutions. The presence of the carbohydrate groups also allowed the inclusion of more strongly binding groups, without affecting solubility. The binding of a model DNA, plasmid by these nanoparticles was studied by atomic force microscopy, transmission electron microscopy, and gel electrophoresis. Significant differences between the nanoparticles based on their affinities for the DNA were found, with implications for their potential use as nonviral gene delivery agents.     

Spot welding of metal laminated composites

Composite materials of steel sheets joined by interlayers of zinc or lead- tin, show very good impact and corrosion resistance properties. Resistance spot-weld characteristics of these composite materials made of steel sheets and non-ferrous metals have been tested. Spot welds of composites with both zinc and lead- tin interlayers present good behaviour in peeling tests. Shear tests of the welds also show very high strength, probably as a consequence of simultaneous brazing because of the alloyed layer of non-ferrous material around the weld spot. This good welding behaviour enhances the possibilities of application of this composite.     

Laser welding of Al55-Zn coated steel sheet

A study has been made of the procedures used for the lap and butt welding of 0.62 and 1.16 mm thickness steel sheets coated with Al55-Zn alloy, using laser-beam technology. The main problems arise in lap welding as a result of zinc evaporation from the coating. The vapour pressures of this element lead to cratering and blistering of the welds which are visible from the external surface and imply severe weld defects. An efficient solution to this problem consists in leaving a gap between the internal faces, thus allowing the zinc vapours to escape. Excessive gaps, however, lead to the molten metal collapse and to lack of penetration. In the present work, acceptable results were obtained with a maximum interface separation of 0.1 mm. This allows excellent continuity of the joints, without cracks, pores or non-metallic inclusions and with moderate hardnesses, thus demonstrating the good laser weldability of the coated material. A difficulty arises, however, in relation to the coating in zones close to the weld. In these high-temperature zones the coating is lost, and in the immediately adjacent areas the coating microstructure and phases are altered, as was shown by scanning electron microscope analyses.     

Correlation between magnetic hysteresis and magnetic relaxation in YBaCuO single crystals

The dependence of the magnetic momentm obtained from the hysteresis loops on the speed of the magnetic field sweep =dH _ext/dt is explained on the basis of Anderson's interpretation of the magnetic flux creep. In addition, a phenomenological model is suggested which predicts a linear dependence ofm on ln with the slope m/ ln , numerically equal to the relaxation rate m/ ln(t) from the usual magnetic relaxation. Such linear relations betweenm and ln were observed experimentally in single crystals of YBaCuO. Preliminary experiments on the complementary time dependent relaxation ofm after a simulated step change ofH _ext gave mostly relaxation rates close to the predicted values. The model here presented also enables one to compare the critical state in the superconductor at a field sweep rate with the critical state at some timet _eff after a step change ofH _ext. The values of analyzed in our experiments actually correspond to the critical state at timest _eff between0.04 and4 sec after an imaginary large step change ofH _ext.     

FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing

In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations was identified as the most relevant challenge in the field. This formalization could provide very valuable assets for tool developers such as a precise definition of the analysis operations and, what is more, a reference implementation, i.e., a trustworthy, not necessarily efficient implementation to compare different tools outputs. In this article, we present the FLAME framework as the result of facing this challenge. FLAME is a formal framework that can be used to formally specify not only feature models, but other variability modeling languages (VML s) as well. This reusability is achieved by its two-layered architecture. The abstract foundation layer is the bottom layer in which all VML-independent analysis operations and concepts are specified. On top of the foundation layer, a family of characteristic model layers—one for each VML to be formally specified—can be developed by redefining some abstract types and relations. The verification and validation of FLAME has followed a process in which formal verification has been performed traditionally by manual theorem proving, but validation has been performed by integrating our experience on metamorphic testing of variability analysis tools, something that has shown to be much more effective than manually designed test cases. To follow this automated, test-based validation approach, the specification of FLAME, written in Z, was translated into Prolog and 20,000 random tests were automatically generated and executed. Tests results helped to discover some inconsistencies not only in the formal specification, but also in the previous informal definitions of the analysis operations and in current analysis tools. After this process, the Prolog implementation of FLAME is being used as a reference implementation for some tool developers, some analysis operations have been formally specified for the first time with more generic semantics, and more VML s are being formally specified using FLAME.     

Cell formation in group technology using constraint programming and Boolean satisfiability

Cell formation consists in organizing a plant as a set of cells, each of them containing machines that process similar types or families of parts. The idea is to minimize the part flow among cells in order to reduce costs and increase productivity. The literature presents different approaches devoted to solve this problem, which are mainly based on mathematical programming and on evolutionary computing. Mathematical programming can guarantee a global optimal solution, however at a higher computational cost than an evolutionary algorithm, which can assure a good enough optimum in a fixed amount of time. In this paper, we model and solve this problem by using state-of-the-art constraint programming (CP) techniques and Boolean satisfiability (SAT) technology. We present different experimental results that demonstrate the efficiency of the proposed optimization models. Indeed, CP and SAT implementations are able to reach the global optima in all tested instances and in competitive runtime.     

A Stress and Coping Model of Medication Adherence and Viral Load in HIV-Positive Men and Women on Highly Active Antiretroviral Therapy (HAART).

The authors tested a structural model that incorporated age, time since diagnosis, social support, coping, and negative mood as predictors of medication adherence and HIV viral load on 188 men and 134 women on highly active antiretroviral therapy (HAART). The authors used psychosocial latent factors formed from baseline measures to predict latent factors of adherence, as assessed by electronic monitoring and self-report, and viral load defined by indicators assessed over a 15-month period. Results from the model indicate that greater negative mood and lower social support are related to greater use of avoidance-oriented coping strategies. Use of these coping strategies by patients on HAART is related to poorer medication adherence and, subsequently, higher viral load. This model advances researchers' understanding of the contribution of psychosocial variables in predicting treatment adherence and disease progression in HIV-positive men and women. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Glass-like CexOy sol–gel coatings for corrosion protection of aluminium and magnesium alloys

This work reports the preparation of glass-like, environmentally-friendly, cerium-based coatings for active corrosion protection of aluminium and magnesium alloys. It describes the production of cerium sol–gel sols from cerium nitrate and their deposition by immersion and automatic spray onto aluminium and magnesium alloys to produce uniform coatings with amorphous (glass-like) structures (Ce_xO_y). The coatings have been characterised by profilometry, scanning electron microscopy (SEM), spectral ellipsometry and UV–visible, in order to analyse the structure and density of the glass-like cerium coatings as well as their redox ratio Ce⁴⁺/Ce³⁺ as a function of pH and sintering temperature. Finally, electrochemical measurements (EIS) and standard corrosion tests (neutral salt spray, filiform corrosion, immersion–emersion test and adhesion on embossing and T-bend test) have been performed to study the corrosion behaviour of the cerium glass-like coatings on aluminium and magnesium alloys. EIS measurements confirm the healing or blocking of the defects by the corrosion inhibiting species. Excellent corrosion protection is provided by cerium glass-like coatings, satisfying the most demanding industrial requirements.