Correlation Analysis of the Alternating Step Generator

The alternating step generator is a well-known keystream generator consisting of two stop/go clocked LFSRs, LFSR₁ and LFSR₂, whose clocks are controlled by another LFSR, LFSR₃, which is clocked regularly. A probabilistic analysis of this generator is conducted which shows that the posterior probabilites of individual bits of the first derivatives of the regularly clocked LFSR₁ and LFSR₂ sequences, when conditioned on a given segment of the first derivative of the keystream sequence, can be computed efficiently in a number of probabilistic models of interest. The expected values of these probabilities, for a random keystream sequence, are derived by an approximate theoretical analysis and are also verified by systematic computer experiments. It is pointed out that these posterior probabilities can be enhanced in a resynchronization scenario and thus used for a low-complexity fast correlation attack on the two LFSRs. More generally, it is argued that even without resynchronization these probabilities may be significantly different from one half for fast correlation attacks based on iterative decoding algorithms to be successful, although with incresead complexity. A related method for computing the posterior probabilities of individual bits of the LFSR₃ sequence, when conditioned on both the keystream sequence and the LFSR₁ and LFSR₂ sequences, is also developed. As these posterior probabilities are much more different from one half, they can be used for a low-complexity fast correlation attack on LFSR₃, provided that the initial states of LFSR₁ and LFSR₂ are previously reconstructed.     

Biochemical evidence for the tyrosine involvement in cationic intermediate stabilization in mouse β-carotene 15, 15'-monooxygenase

Background  

β-carotene 15,15'-monooxygenase (BCMO1) catalyzes the crucial first step in vitamin A biosynthesis in animals. We wished to explore the possibility that a carbocation intermediate is formed during the cleavage reaction of BCMO1, as is seen for many isoprenoid biosynthesis enzymes, and to determine which residues in the substrate binding cleft are necessary for catalytic and substrate binding activity. To test this hypothesis, we replaced substrate cleft aromatic and acidic residues by site-directed mutagenesis. Enzymatic activity was measured in vitro using His-tag purified proteins and in vivo in a β-carotene-accumulating E. coli system.     

The development of information storage materials — How microscopy can help?

The response of giant magnetoresistance (GMR) devices depends critically on the film microstructure, with parameters such as layer thickness and interfacial abruptness being crucial. This paper presents results obtained using high resolution electron microscopy (HREM), chemical mapping and atom probe microanalysis. Local variations in the magnetic properties are induced by the microstructure and also when the films are patterned to form small elements. These lead to changes in the magnetization reversal mechanism. Some results of the studies of the magnetization reversal carried out using in situ in Lorentz transmission electron microscopy (LTEM) magnetizing experiments are also included.     

Control of a coupled map lattice model for vortex shedding in the wake of a cylinder

The flow behind a vibrating flexible cable at low Reynolds numbers can exhibit complex wake structures such as lace-like patterns, vortex dislocations and frequency cells. These structures have been observed in experiments and numerical simulations, and are predicted by a previously developed low-order coupled map lattice (CML). The discrete (in time and space) CML models consist of a series of diffusively coupled circle map oscillators along the cable span. Motivated by a desire to modify the complex wake patterns behind flexible vibrating cables we have studied the addition of control terms into the highly efficient CML models and explored the resulting dynamics. Proportional, adaptive proportional and discontinuous non-linear (DNL) control methods were used to derive the control laws. The first method employed occasional proportional feedback. The adaptive method used spatio-temporal feedback control. The DNL method used a discontinuous feedback linearization procedure, and the controller was designed for the resulting linearized system using eigenvalue assignment. These techniques were applied to a modeled vortex dislocation structure in the wake of a vibrating cable in uniform freestream flow. Parallel shedding patterns were achieved for a range of forcing frequency-forcing amplitude combinations studied to validate the control theory. The adaptive proportional and DNL methods were found to be more effective than the proportional control method due to the incorporation of a spatially varying feedback gain across the cylinder span. The DNL method was found to be the most efficient controller of the low-order CML model. The required control level across the cable span was correlated to the 1/1 lock-on behavior of the temporal circle map.