Identification of a homolog of Arabidopsis DSP4 (SEX4) in chestnut: its induction and accumulation in stem amyloplasts during winter or in response to the cold_

Oligosaccharide synthesis is an important cryoprotection strategy used by woody plants during winter dormancy. At the onset of autumn, starch stored in the stem and buds is broken down in response to the shorter days and lower temperatures resulting in the buildup of oligosaccharides. Given that the enzyme DSP4 is necessary for diurnal starch degradation in Arabidopsis leaves, this study was designed to address the role of DSP4 in this seasonal process in Castanea sativa Mill. The expression pattern of the CsDSP4 gene in cells of the chestnut stem was found to parallel starch catabolism. In this organ, DSP4 protein levels started to rise at the start of autumn and elevated levels persisted until the onset of spring. In addition, exposure of chestnut plantlets to 4 °C induced the expression of the CsDSP4 gene. In dormant trees or cold-stressed plantlets, the CsDSP4 protein was immunolocalized both in the amyloplast stroma and nucleus of stem cells, whereas in the conditions of vegetative growth, immunofluorescence was only detected in the nucleus. The studies indicate a potential role for DSP4 in starch degradation and cold acclimation following low temperature exposure during activity–dormancy transition.

Development of a grid connected micro wind generator. A practical activity for the course on electric generation with wind energy

This paper describes a practical activity, part of the renewable energy course where the students have to build their own complete wind generation system, including blades, PM-generator, power electronics and control. After connecting the system to the electric grid the system has been tested during real wind scenarios. The paper will describe the electric part of the work surface-mounted permanent magnet machine design criteria as well as the power electronics part for the power control and the grid connection. A Kalman filter is used for the voltage phase estimation and current commands obtained in order to control active and reactive power. The connection to the grid has been done and active and reactive power has been measured in the system.

A generator of efficient abstract machine implementations and its application to emulator minimization

The implementation of abstract machines involves complex decisions regarding, e.g., data representation, opcodes, or instruction specialization levéis, all of which affect the final performance of the emulator and the size of the bytecode programs in ways that are often difficult to foresee. Besides, studying alternatives by implementing abstract machine variants is a time-consuming and error-prone task because of the level of complexity and optimization of competitive implementations, which makes them generally difficult to understand, maintain, and modify. This also makes it hard to genérate specific implementations for particular purposes. To ameliorate those problems, we propose a systematic approach to the automatic generation of implementations of abstract machines. Different parts of their definition (e.g., the instruction set or the infernal data and bytecode representation) are kept sepárate and automatically assembled in the generation process. Alternative versions of the abstract machine are therefore easier to produce, and variants of their implementation can be created mechanically, with specific characteristics for a particular application if necessary. We illustrate the practicality of the approach by reporting on an implementation of a generator of production-quality WAMs which are specialized for executing a particular fixed (set of) program(s). The experimental results show that the approach is effective in reducing emulator size.

A documentation generator for (C)LP systems

We describe lpdoc, a tool which generates documentation manuals automatically from one or more logic program source files, written in Ciao, ISO-Prolog, and other (C)LP languages. It is particularly useful for documenting library modules, for which it automatically generates a rich description of the module interface. However, it can also be used quite successfully to document full applications. A fundamental advantage of using lpdoc is that it helps maintaining a true correspondence between the program and its documentation, and also identifying precisely to what versión of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text assertions (declarations with types, modes, etc. ...) for the predicates in the program, and machine-readable comments. One of the main novelties of lpdoc is that these assertions and comments are written using the Ciao system asseriion language, which is also the language of communication between the compiler and the user and between the components of the compiler. This allows a significant synergy among specification, debugging, documentation, optimization, etc. A simple compatibility library allows conventional (C)LP systems to ignore these assertions and comments and treat normally programs documented in this way. The documentation can be generated interactively from emacs or from the command line, in many formats including texinfo, dvi, ps, pdf, info, ascii, html/css, Unix nroff/man, Windows help, etc., and can include bibliographic citations and images, lpdoc can also genérate "man" pages (Unix man page format), nicely formatted plain ASCII "readme" files, installation scripts useful when the manuals are included in software distributions, brief descriptions in html/css or info formats suitable for inclusión in on-line Índices of manuals, and even complete WWW and info sites containing on-line catalogs of documents and software distributions. The lpdoc manual, all other Ciao system manuals, and parts of this paper are generated by lpdoc.

A documentation generator for logic programming systems

We describe lpdoc, a tool which generates documentation manuals automatically from one or more logic program source files, written in ISO-Prolog, Ciao, and other (C)LP languages. It is particularly useful for documenting library modules, for which it automatically generates a rich description of the module interface. However, it can also be used quite successfully to document full applications. The documentation can be generated in many formats including t e x i n f o, dvi, ps, pdf, inf o, html/css, Unix nrof f/man, Windows help, etc., and can include bibliographic citations and images, lpdoc can also genérate "man" pages (Unix man page format), nicely formatted plain ascii "readme" files, installation scripts useful when the manuals are included in software distributions, brief descriptions in html/css or inf o formats suitable for inclusión in on-line Índices of manuals, and even complete WWW and inf o sites containing on-line catalogs of documents and software distributions. A fundamental advantage of using lpdoc is that it helps maintaining a true correspondence between the program and its documentation, and also identifying precisely to what versión of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text assertions (declarations with types, modes, etc. ...) for the predicates in the program, and machine-readable comments. These assertions and comments are written using the Ciao system assertion language. A simple compatibility library allows conventional (C)LP systems to ignore these assertions and comments and treat normally programs documented in this way. The lpdoc manual, all other Ciao system manuals, and most of this paper, are generated by lpdoc.

An automatic documentation generator for (C)LP - Reference manual

Lpdoc is an automatic program documentation generator for (C)LP systems. Lpdoc generates a reference manual automatically from one or more source files for a logic program (including ISO-Prolog, Ciao, many CLP systems, ...). It is particularly useful for documenting library modules, for which it automatically generates a description of the module interface. However, lpdoc can also be used quite successfully to document full applications and to generate nicely formatted plain ascii "readme" files. A fundamental advantage of using lpdoc to document programs is that it is much easier to maintain a true correspondence between the program and its documentation, and to identify precisely to what version of the program a given printed manual corresponds. The quality of the documentation generated can be greatly enhanced by including within the program text: • assertions (types, modes, etc. ...) for the predicates in the program, and • machine-readable comments (in the "literate programming" style). The assertions and comments included in the source file need to be written using the Ciao system assertion language. A simple compatibility library is available to make traditional (constraint) logic programming systems ignore these assertions and comments allowing normal treatment of programs documented in this way. The documentation is currently generated in HTML or texinf o format. From the texinf o output, printed and on-line manuals in several formats (dvi, ps, info, etc.) can be easily generated automatically, using publicly available tools, lpdoc can also generate 'man' pages (Unix man page format) as well as brief descriptions in html or emacs info formats suitable for inclusion in an on-line index of applications. In particular, lpdoc can create and maintain fully automatically WWW and info sites containing on-line versions of the documents it produces. The lpdoc manual (and the Ciao system manuals) are generated by lpdoc. Lpdoc is distributed under the GNU general public license. Note: lpdoc is fully supported on Linux, Mac OS X, and other Un*x-like systems. Due to the use of several Un*x-related utilities, some documentation back-ends may require Cygwin under Win32. This documentation corresponds to version 3.0 (2011/7/7, 16:33:15 CEST).

High Performance FPGA-oriented mersenne twister uniform random number generator

Mersenne Twister (MT) uniform random number generators are key cores for hardware acceleration of Monte Carlo simulations. In this work, two different architectures are studied: besides the classical table-based architecture, a different architecture based on a circular buffer and especially targeting FPGAs is proposed. A 30% performance improvement has been obtained when compared to the fastest previous work. The applicability of the proposed MT architectures has been proven in a high performance Gaussian RNG.

Application of a dynamic event tree methodolgy to steam generator tube rupture sequences

The Integrated Safety Assessment (ISA) methodology, developed by the Spanish Nuclear Safety Council (CSN), has been applied to a thermo-hydraulical analysis of a Westinghouse 3-loop PWR plant by means of the dynamic event trees (DET) for Steam Generator Tube Rupture (SGTR) sequences. The ISA methodology allows obtaining the SGTR Dynamic Event Tree taking into account the operator actuation times. Simulations are performed with SCAIS (Simulation Code system for Integrated Safety Assessment), which includes a dynamic coupling with MAAP thermal hydraulic code. The results show the capability of the ISA methodology and SCAIS platform to obtain the DET of complex sequences.

Power density of a bare electrodynamic tether generator

The maximum performance of bare electrodynamic tethers as power generating systems under OML-theory is analyzed. Results show that best performance in terms of power density is achieved by designing the tether in such a way to increase ohmic impedance with respect to plasma contact impedance, hence favoring longer and thinner tethers. In such condition the corresponding optimal value of the load impedance is seen to approach the ohmic impedance of the conducting tether. At the other extreme, when plasma contact impedance dominates (which is not optimal but can be relevant for some applications) optimum power generation is found by matching the load impedance with an effective tether-plasma contact impedance whose expression is derived.

An anodeless tether generator

A new simple concept for electron collection by an electrodynamic tether is presented. No anodic contactor Is needed, the tether itself, left bare, drawing a current with neither shielding nor magnetic effects. Application to a generator is discussed.

Transport of Pru p 3 across gastrointestinal epithelium - an essential step towards the induction of food allergy?

Background Since intestinal absorption of food protein can trigger an allergic reaction, the effect of plant food allergen on intestinal epithelial cell permeability and its ability to cross the epithelial monolayer was evaluated. Objective To study the interaction of Pru p 3 with intestinal epithelium, its natural entrance, analyzing transport kinetics and cellular responses that trigger. Methods This was achieved using Pru p 3, the peach LTP, as a model. Enterocytic monolayers were established by culturing Caco 2 cells, as a model of enterocytes, on permeable supports that separate the apical and basal compartments. Pru p 3 was added to the apical compartment, the transepithelial resistance (TEER) was measured, and the transport was quantified. Results The peach allergen that crossed the cell monolayer was detected in the cell fraction and in the basal medium by immunodetection with specific antibodies and the quantity was measured by ELISA assay. Pru p 3 was able to cross the monolayer without disturbing the integrity of the tight junctions. This transport was significantly higher than that of a non-allergenic peach LTP, LTP1, and occurred via lipid raft pathway. The incubation of Caco 2 cells with Pru p 3 and LTP1 produced the expression of epithelial-specific cytokines TSLP, IL33 and IL25. Conclusion These results suggest that Pru p 3 was able to cross the cell monolayer by the transcellular route and then induce the production of Th2 cytokines. The results of the present study represent a step towards clarifying the importance of Pru p 3 as a sensitizer. Clinical relevance The capacity of food allergens to cross the intestinal monolayer could explain their high allergenic capacity and its fast diffusion through the body associating to severe symptoms.

Induction of engineered residual stresses fields and enhancement of fatigue life of high reliability metallic components by laser shock processing

Laser shock processing (LSP) is being increasingly applied as an effective technology for the improvement of metallic materials mechanical and surface properties in different types of components as a means of enhancement of their corrosion and fatigue life behavior. As reported in previous contributions by the authors, a main effect resulting from the application of the LSP technique consists on the generation of relatively deep compression residual stresses field into metallic alloy pieces allowing an improved mechanical behaviour, explicitly the life improvement of the treated specimens against wear, crack growth and stress corrosion cracking. Additional results accomplished by the authors in the line of practical development of the LSP technique at an experimental level (aiming its integral assessment from an interrelated theoretical and experimental point of view) are presented in this paper. Concretely, follow-on experimental results on the residual stress profiles and associated surface properties modification successfully reached in typical materials (especially Al and Ti alloys characteristic of high reliability components in the aerospace, nuclear and biomedical sectors) under different LSP irradiation conditions are presented along with a practical correlated analysis on the protective character of the residual stress profiles obtained under different irradiation strategies. Additional remarks on the improved character of the LSP technique over the traditional “shot peening” technique in what concerns depth of induced compressive residual stresses fields are also made through the paper

Performance analysis of a 7-kW crystalline silicon generator after 17 years of operation in Madrid

The degradation observed on a 7-kWp Si-x photovoltaic array after 17 years of exposure on the roof of the Solar Energy Institute of the Polytechnic University of Madrid is presented. The mean peak power degradation has been 9% over this time, or an equivalent to 0.53% per year, whereas peak power standard deviation has remained constant. The main visual defects are backsheet delamination at the polyester/polyvinyl fluoride outer interface and cracks in the terminal boxes and at the joint between the frame and the laminate. Insulation resistance complies well with the requirements of the International Electrotechnical Commission 61215 tests.

A 500-kW pv generator I-V curve

This paper presents the measurement of the I-V curve of a 500-kW PV generator by means of an own-made capacitive load. It is shown that I-V curve analysis can also be applied to big PV generators and that when measuring the operation conditions with reference modules and taking some precautions (especially regarding the operation cell temperature), it is still a useful tool for characterizing them and therefore can be incorporated into maintenance procedures. As far as we know, this is the largest I-V curve measured so far.

Low Voltage Ride-through in DFIG Wind Generators by Controlling the Rotor Current without Crowbars

Among all the different types of electric wind generators, those that are based on doubly fed induction generators, or DFIG technology, are the most vulnerable to grid faults such as voltage sags. This paper proposes a new control strategy for this type of wind generator, that allows these devices to withstand the effects of a voltage sag while following the new requirements imposed by grid operators. This new control strategy makes the use of complementary devices such as crowbars unnecessary, as it greatly reduces the value of currents originated by the fault. This ensures less costly designs for the rotor systems as well as a more economic sizing of the necessary power electronics. The strategy described here uses an electric generator model based on space-phasor theory that provides a direct control over the position of the rotor magnetic flux. Controlling the rotor magnetic flux has a direct influence on the rest of the electrical variables enabling the machine to evolve to a desired work point during the transient imposed by the grid disturbance. Simulation studies have been carried out, as well as test bench trials, in order to prove the viability and functionality of the proposed control strategy.