A finite model property for RMImin

It is proved that the variety of relevant disjunction lattices has the finite embeddability property. It follows that Avron's relevance logic RMI _min has a strong form of the finite model property, so it has a solvable deducibility problem. This strengthens Avron's result that RMI _min is decidable. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The Linear Fokker-Planck Equation for the Ornstein-Uhlenbeck Process as an (Almost) Nonlinear Kinetic Equation for an Isolated N-Particle System

It is long known that the Fokker-Planck equation with prescribed constant coefficients of diffusion and linear friction describes the ensemble average of the stochastic evolutions in velocity space of a Brownian test particle immersed in a heat bath of fixed temperature. Apparently, it is not so well known that the same partial differential equation, but now with constant coefficients which are functionals of the solution itself rather than being prescribed, describes the kinetic evolution (in the N→∞ limit) of an isolated N-particle system with certain stochastic interactions. Here we discuss in detail this recently discovered interpretation. An erratum to this article can be found at     

非线性奇异边值问题的正解

利用锥映射的不动点指数定量，研究了一类非线性奇异边值问题多个正解的存在性问题。在构造的解的存在条件之下，证明了奇异边值问题至少有两个正解的存在性定理。     

Conjugate addition of pyrroles to α,β-unsaturated ketones using copper bromide as a catalyst

Copper bromide was used as a catalyst for the addition of pyrroles to enones. When both the reactants were used in equimolar amounts, mono and dialkylated products were obtained. However, the use of excess enone furnished only dialkylated products. Thus, copper bromide was shown to be an efficient catalyst for the dialkylation of pyrroles.     

Reductions of interval nonlinear programming problem

A general nonlinear programming problem with interval functions is considered. Two reductions of this problem to the deterministic nonlinear programming problem are proposed, and illustrative examples are discussed.     

A Modified Quasi-Newton Method for Structured Optimization with Partial Information on the Hessian

This paper develops a modified quasi-Newton method for structured unconstrained optimization with partial information on the Hessian, based on a better approximation to the Hessian in current search direction. The new approximation is decided by both function values and gradients at the last two iterations unlike the original one which only uses the gradients at the last two iterations. The modified method owns local and superlinear convergence. Numerical experiments show that the proposed method is encouraging comparing with the methods proposed in [4] for structured unconstrained optimization Presented at the 6th International Conference on Optimization: Techniques and Applications, Ballarat, Australia, December 9–11, 2004     

A triangular map with homoclinic orbits and no infinite ω-limit set containing periodic points

Recently, Forti, Paganoni and Smítal constructed an example of a triangular map of the unite square, F(x,y)=(f(x),g(x,y)), possessing periodic orbits of all periods and such that no infinite ω-limit set of F contains a periodic point. In this note we show that the above quoted map F has a homoclinic orbit. As a consequence, we answer in the negative the problem presented by A.N. Sharkovsky in the eighties whether, for a triangular map of the square, existence of a homoclinic orbit implies the existence of an infinite ω-limit set containing a periodic point. It is well known that, for a continuous map of the interval, the answer is positive.     

Ground-state properties of LiV2O4 and Li1-xZnx(V1-yTiy)2O4

We present susceptibility, microwave resistivity, NMR and heat-capacity results for Li_1-xZn_x(V_1-yTi_y)₂O₄ with 0 ? x ? 0.3 and 0 ? y ? 0.3. For all doping levels the susceptibility curves can be fitted with a Curie-Weiss law. The paramagnetic Curie-Weiss temperatures remain negative with an average value close to that of the pure compound Θ≈ - 36 K. Spin-glass anomalies are observed in the susceptibility, heat-capacity and NMR measurements for both type of dopants. From the temperature dependence of the spin-lattice relaxation rate we found critical-dynamic behavior in the Zn doped compounds at the freezing temperatures. For the Ti-doped samples two successive freezing transitions into disordered low-temperature states can be detected. The temperature dependence of the heat capacity for Zn-doped compounds does not resemble that of canonical spin glasses and only a small fraction of the total vanadium entropy is frozen at the spin-glass transitions. For pure LiV₂O₄ the spin-glass transition is completely suppressed. The temperature dependence of the heat capacity for LiV₂O₄ can be described using a nuclear Schottky contribution and the non-Fermi liquid model, appropriate for a system close to a spin-glass quantum critical point. Finally an ( x / y , T )-phase diagram for the low-doping regime is presented. Received 16 March 2001 and Received in final form 30 October 2001     

具连续时滞Liénard方程概周期解的存在唯一性

结合Liapunov泛函，研究了具连续时滞Lienard方程概周期解的存在唯一性和安全一致渐进稳定性。     

Acoustic Analysis of Pathological Voices Compressedwith MPEG System

The MPEG-1 Layer 3 compression schema of audio signal, commonly known as mp3, has caused a great impact in recent years as it has reached high compression rates while conserving a high sound quality. Music and speech samples compressed at high bitrates are perceptually indistinguishable from the original samples, but very little was known about how compression acoustically affects the voice signal. A previous work with normal voices showed a high fidelity at high-bitrate compressions both in voice parameters and the amplitude-frequency spectrum. In the present work, dysphonic voices were tested through two studies. In the first study, spectrograms, long-term average spectra (LTAS), and fast Fourier transform (FFT) spectra of compressed and original samples of running speech were compared. In the second study, intensities, formant frequencies, formant bandwidths, and a multidimensional set of voice parameters were tested in a set of sustained phonations. Results showed that compression at high bitrates (96 and 128 kbps) preserved the relevant acoustic properties of the pathological voices. With compressions at lower bitrates, fidelity decreases, introducing some important alterations. Results from both works, Gonzalez and Cervera and this paper, open up the possibility of using MPEG-compression at high bitrates to store or transmit high-quality speech recordings, without altering their acoustic properties.