This paper describes a prototype English generator which can produce English descriptions of program specifications written in Gist, a program specification language being developed at ISI. Such a facility is required because although Gist is a high level specification language, specifications written in it, like those in all other formal specification languages, are unreadable. There are sever...

The shrinking generator is a well-known key stream generator composed of two LFSR’s, LFSRx and LFSRc, where LFSRx is clock-controlled according to the regularly clocked LFSRc. In this paper we investigate the minimum required length of the output sequence for successful reconstruction of the LFSRx initial state in an optimal probabilistic divide and conquer correlation attack. We extract an exa...

For a long period the theory of modules over rings on the one hand and comodules and Hopf modules for coalgebras and bialgebras on the other side developed quite independently. In this talk we want to outline how ideas from module theory can be applied to enrich the theory of comodules and vice versa. For this we consider A-corings C with grouplike elements over a ring A, in particular Galois c...

A multi-spark discharge generator was used for the synthesis of TiO2 nanoparticles. The nanoparticles were obtained in the form of fractal-like agglomerates with an average size of 30-60 nm consisting of primary spherical nanoparticles with a diameter of about 7-8 nm according to TEM measurements. We found that changing the operating parameters of the generator energy of the capacitor (2 to18 J...

Generator columns packed with a solid support and loaded with a liquid organic phase make it possible to rapidly and conveniently equilibrate water with the organic phase. By coupling the generator column to an extractor column for high pressure liquid chromatographic analysis of the aqueous solution, errors from surface adsorption and loss to the atmosphere are avoided. Using this method, the ...

This paper presents the sizing of a Doubly Fed Induction Generator (DFIG) with power 690.747 kW for coastal area Benin. The proposed DFIG starts from density offshore wind potential Benin obtained at 80 m sea surface to determine generator. Thanks geometrical, electrical and magnetic parameters after sizing, simulation generator operation was done using finite element analysis (FEA). is by runn...

We analyze a class of combined random number generators recently proposed by L'Ecuyer, which combines a set of linear congruential generators (LCG's) with distinct prime moduli. We show that the geometrical behavior of the vectors of points produced by the combined generator can be approximated by the lattice structure of an associated LCG, whose modulus is the product of the moduli of the indi...

Vibration energy harvesting is receiving a considerable amount of interest as a means for powering wireless sensor nodes. This paper presents a small (component volume 0.1 cm3, practical volume 0.15 cm3) electromagnetic generator utilizing discrete components and optimized for a low ambient vibration level based upon real application data. The generator uses four magnets arranged on an etched c...