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).

A 800 kW I-V curve

This paper presents the measurement of the I-V curve of an 800 kW PV generator by means of an own-made capacitive load. Along the lines of some previous works, it is shown that an I-V curve analysis can also be applied to big PV generators and that, when measuring the operating conditions with reference modules and taking some precautions (especially regarding the operating 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.

Vortex pinning vs superconducting wire network: origin of periodic oscillations induced by applied magnetic fields in superconducting films with arrays of nanomagnets

Hybrid magnetic arrays embedded in superconducting films are ideal systems to study the competition between different physical (such as the coherence length) and structural length scales such as are available in artificially produced structures. This interplay leads to oscillation in many magnetically dependent superconducting properties such as the critical currents, resistivity and magnetization. These effects are generally analyzed using two distinct models based on vortex pinning or wire network. In this work, we show that for magnetic dot arrays, as opposed to antidot (i.e. holes) arrays, vortex pinning is the main mechanism for field induced oscillations in resistance R(H), critical current Ic(H), magnetization M(H) and ac-susceptibility χ ac(H) in a broad temperature range. Due to the coherence length divergence at Tc, a crossover to wire network behaviour is experimentally found. While pinning occurs in a wide temperature range up to Tc, wire network behaviour is only present in a very narrow temperature window close to Tc. In this temperature interval, contributions from both mechanisms are operational but can be experimentally distinguished.

Mercury determination in urine samples by gold nanostructured screen-printed carbon electrodes after vortex-assisted ionic liquid dispersive liquid–liquid microextraction

A novel approach is presented to determine mercury in urine samples, employing vortex-assisted ionic liquid dispersive liquid–liquid microextraction and microvolume back-extraction to prepare samples, and screen-printed electrodes modified with gold nanoparticles for voltammetric analysis. Mercury was extracted directly from non-digested urine samples in a water-immiscible ionic liquid, being back-extracted into an acidic aqueous solution. Subsequently, it was determined using gold nanoparticle-modified screen-printed electrodes. Under optimized microextraction conditions, standard addition calibration was applied to urine samples containing 5, 10 and 15 μg L−1 of mercury. Standard addition calibration curves using standards between 0 and 20 μg L−1 gave a high level of linearity with correlation coefficients ranging from 0.990 to 0.999 (N = 5). The limit of detection was empirical and statistically evaluated, obtaining values that ranged from 0.5 to 1.5 μg L−1, and from 1.1 to 1.3 μg L−1, respectively, which are significantly lower than the threshold level established by the World Health Organization for normal mercury content in urine (i.e., 10–20 μg L−1). A certified reference material (REC-8848/Level II) was analyzed to assess method accuracy finding 87% and 3 μg L−1 as the recovery (trueness) and standard deviation values, respectively. Finally, the method was used to analyze spiked urine samples, obtaining good agreement between spiked and found concentrations (recovery ranged from 97 to 100%).

Unit maintenance : carrier, personnel, full tracked, armored, M113A2, 2350-01-068-4077; carrier, command post, light tracked, M577A2, 2350-01-068-4089; carrier, mortar, 107-mm, M30, self-propelled, M106A2, 2350-01-069-6931; carrier, mortar, 81-mm, M29A1, self-propelled, M125A2, 2350-01-068-4087; chassis, gun, anti-aircraft artillery ... carrier, smoke generator, full tracked ... combat vehicle, anti-tank ....

"July 1990--[Vol. 2].

Gottfried Keller und J. V. Widmann : Briefwechsel /

"Anhang: drei Aufsatze J. V. Widmanns über Gottfried Keller'sche Werke": p. 133-173.

Quantum gate based on Stark tunable nanocrystal interactions with ultrahigh-Q/V field modes in fused silica microcavities

We investigate the use of nanocrystal quantum dots as a quantum bus element for preparing various quantum resources for use in photonic quantum technologies. Using the Stark-tuning property of nanocrystal quantum dots as well as the biexciton transition, we demonstrate a photonic controlled-NOT (CNOT) interaction between two logical photonic qubits comprising two cavity field modes each. We find the CNOT interaction to be a robust generator of photonic Bell states, even with relatively large biexciton losses. These results are discussed in light of the current state of the art of both microcavity fabrication and recent advances in nanocrystal quantum dot technology. Overall, we find that such a scheme should be feasible in the near future with appropriate refinements to both nanocrystal fabrication technology and microcavity design. Such a gate could serve as an active element in photonic-based quantum technologies.

Hairpin vortex solution in planar Couette flow: a tapestry of knotted vortices

A numerical continuation method has been carried out seeking solutions for two distinct flow configurations, planar Couette flow (PCF) and laterally heated flow in a vertical slot (LHF). We found that the spanwise vortex solution in LHF identifies a new solution in PCF. The vortical structure of our new solution has the shape of a hairpin observed ubiquitously in high-Reynolds-number turbulent flow, and we believe this discovery may provide the paradigm for a hierarchical organization of coherent structures in turbulent shear layers.

Modelling vortex formation in an unbaffled stirred tank reactors

Agitating liquids in unbaffled stirred tank leads to the formation of a vortex in the region of the impeller shaft when operating in the turbulent flow regime. A numerical model is presented here that captures such a vortex. The volume of fluid model, a multiphase flow model was employed in conjunction with a multiple reference frame model and the shear stress turbulence model. The dimensions of the tank considered here, were 0.585 m for the liquid depth and tank diameter with a 0.2925 m diameter impeller at a height of 0.2925 m. The impeller considered was an eight-bladed paddle type agitator that was rotating with an angular velocity of 7.54 rad s (72 rpm) giving a Reynolds number of 10 and Froude number of 0.043. Preliminary results of a second investigation into the effect of liquid phase properties on the vortex formed are also presented. © 2006 Elsevier B.V. All rights reserved.