Practical algorithms for transposition-invariant string-matching

We consider the problems of (1) longest common subsequence (LCS) of two given strings in the case where the first may be shifted by some constant (that is, transposed) to match the second, and (2) transposition-invariant text searching using indel distance. These problems have applications in music comparison and retrieval. We introduce two novel techniques to solve these problems efficiently. The first is based on the branch and bound method, the second on bit-parallelism. Our branch and bound algorithm computes the longest common transposition-invariant subsequence (LCTS) in time O((m²+loglogσ)logσ) in the best case and O((m²+logσ)σ) in the worst case, where m and σ, respectively, are the length of the strings and the size of the alphabet. On the other hand, we show that the same problem can be solved by using bit-parallelism and thus obtain a speedup of O(w/logm) over the classical algorithms, where the computer word has w bits. The advantage of this latter algorithm over the present bit-parallel ones is that it allows the use of more complex distances, including general integer weights. Since our branch and bound method is very flexible, it can be further improved by combining it with other efficient algorithms such as our novel bit-parallel algorithm. We experiment on several combination possibilities and discuss which are the best settings for each of those combinations. Our algorithms are easily extended to other musically relevant cases, such as δ-matching and polyphony (where there are several parallel texts to be considered). We also show how our bit-parallel algorithm is adapted to text searching and illustrate its effectiveness in complex cases where the only known competing method is the use of brute force.     

A discontinuous Galerkin method for the Cahn-Hilliard equation

The Cahn-Hilliard equation is modeled to describe the dynamics of phase separation in glass and polymer systems. A priori error estimates for the Cahn-Hilliard equation have been studied by the authors. In order to control accuracy of approximate solutions, a posteriori error estimation of the Cahn-Hilliard equation is obtained by discontinuous Galerkin method.     

The effect of Mn substitution on thermoelectric properties of Ca3MnxCo4−xO9 at low temperatures

The effects of partial substitution of Mn for Co on the thermoelectric properties of Ca₃Mn_xCo_4−xO₉ (x=0, 0.03, 0.9), prepared by sol-gel process, were investigated at the temperatures from 380 K down to 5 K. The results indicate that the substitution of Mn for Co results in increase in thermopower at temperatures >∼80 K, and substantial (23-31% at 300 K) decrease in lattice thermal conductivity in the whole temperature range investigated. The temperature behavior of ZT suggests that Ca₃Mn_xCo_4−xO₉ with light Mn substitution would be a promising candidate for high-temperature thermoelectric applications.     

Repetition rate multipliers for efficient implementation of multiphoton and pump-probe fluorescence microscopy

With the advances in pulsed laser systems, microscopic imaging techniques such as multiphoton and pump-probe fluorescence microscopy have developed into effective tools for investigating intensity and time-resolved phenomena inside biological systems. However, pulsed lasers used in these techniques usually are commercial systems with repetition frequencies of around 80 MHz. While these systems have proven to be adequate for multiphoton and pump-probe microscopic imaging applications, the temporal separation of the laser pulse train (around 12.5 ns) is long compared to the fluorescence lifetimes of many common fluorescence species. In this work, we present the designs of repetition rate multipliers based on passive optical components that can be used to increase the efficiency in multiphoton and pump-probe fluorescence microscopy. Depending on the lifetime of fluorescence molecules under investigation, the passive repetition rate multiplier can increase the duty cycle of multiphoton or pump-probe microscopy up to fourfold.     

Catalytic Hydrosilylation of Furan, Thiophene, and Pyridine Aldimines

The addition of hydrosilanes (HSiEt₃, HSiMe₂Ph, H₂SiPh₂) to the CH=N bond of heterocyclic azomethines has been studied in the presence of monovalent complexes of rhodium and palladium. The effect on the reaction of the CF₃ group of the aldimines, which were obtained from O-, S-, and N-heteroaromatic aldehydes and 2-trifluoromethylaniline, has been clarified, as were other regularities of the processes being studied. A series of corresponding furans, thiophenes, and pyridine amines has been synthesized.     

Trace cocharacters and the Kronecker products of Schur functions

It follows from the theory of trace identities developed by Procesi and Razmyslov that the trace cocharacters arising from the trace identities of the algebra M_r(F) of r×r matrices over a field F of characteristic zero are given by TC_r,n=∑_λΛr(n)χ^λχ^λ where χ^λχ^λ denotes the Kronecker product of the irreducible characters of the symmetric group associated with the partition λ with itself and Λ_r(n) denotes the set of partitions of n with r or fewer parts, i.e. the set of partitions λ=(λ₁λ_k) with kr. We study the behavior of the sequence of trace cocharacters TC_r,n. In particular, we study the behavior of the coefficient of χ^(ν,n−m) in TC_r,n as a function of n where ν=(ν₁ν_k) is some fixed partition of m and n−mν_k. Our main result shows that such coefficients always grow as a polynomial in n of degree r−1.     

Spreading Code Design Using a Global Optimization Method

The performance of a code division multiple access system depends on the correlation properties of the employed spreading code. Low cross-correlation values between spreading sequences are desired to suppress multiple access interference and to improve bit error performance. An auto-correlation function with a distinct peak enables proper synchronization and suppresses intersymbol interference. However, these requirements contradict each other and a trade-off needs to be established. In this paper, a global two dimensional optimization method is proposed to minimize the out-of-phase average mean-square aperiodic auto-correlation with average mean-square aperiodic cross-correlation being allowed to lie within a fixed region. This approach is applied to design sets of complex spreading sequences. A design example is presented to illustrate the relation between various correlation characteristics. The correlations of the obtained sets are compared with correlations of other known sequences.     

Measurement of the dynamic elastic constants of short isotropic cylinders

A method based on a single test is proposed to characterize the elasticity of an isotropic homogeneous material in the shape of a cylinder of any slenderness (length-diameter) ratio. Firstly, the Rayleigh-Ritz method is used to determine the natural frequencies of the cylinders vibrating axisymmetrically. The study is focused on cylindrical samples with diameter and length of similar magnitude so that the shear modulus and the Poisson ratio can be calculated simultaneously. Subsequently, the theoretical results for cylinders of slenderness ratio between 0.1 and 3 are analyzed in order to obtain the data required to determine the elastic constants from one of the two lowest measured natural frequencies and their quotient. The analysis of the results demonstrates that any slenderness ratio is useful in the calculation of the elastic constants, although in some cases the third natural frequency should be used. Furthermore, the influence of the length-diameter quotient on the sensitivity of the method is analyzed by evaluating the systematic uncertainties for both dynamic elastic constants. Finally, the method is experimentally tested by characterizing two steel cylinders with slenderness ratios 0.1 and 1, respectively. The results demonstrate that uncertainties for both Poisson ratio and the shear modulus are smaller when the slenderness ratio is 1.     

Asymptotically balanced schemes for non-homogeneous hyperbolic systems – application to the Shallow Water equations

In this work we introduce a class of balanced numerical schemes, up to second order, for the solution of general non-homogeneous hyperbolic systems of conservation laws. We give a general technique to build such schemes. We also prove that they balance up to second order a large class of steady solutions in the whole domain but some subset whose measure tends to zero as the grid size decreases to zero. We finally present an application to Shallow Water equations that exhibit the good performances of some of the schemes introduced. To cite this article: T. Chacón Rebollo et al., C. R. Acad. Sci. Paris, Ser. I 338 (2004).