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)     

安徽省农民收入的灰关联动态分析

文章运用灰关联分析方法，对安徽省农民收入与投入因子的关联以及农民收入与农村社会成果的关联进行了实证分析。得出如下结论：不同时段，各投入因子对农民收入的影响不同；农民收入与农业发展基本同步；农村非农产业的发展对农民收入贡献率降低；价格政策对农民收入影响很大。文章的最后是作者的几点思考。     

Stochastic resonance in perspective

Summary We outline the historical development of stochastic resonance (SR), a phenomenon in which the signal and/or the signal-to-noise ratio in a nonlinear system increase with increasing intensity of noise. We discuss basic theoretical ideas explaining and describing SR, and we review some revealing experimental data that place SR within the wider context of statistical physics. We emphasize the close relationship of SR to some effects that are well known in condensed-matter physics. Paper presented at the International Workshop ?Fluctuations in Physics and Biology: Stochastic Resonance, Signal Processing and Related Phenomena?, Elba, 5–10 June 1994.     

Statistical mechanics of warm and cold unfolding in proteins

We present a statistical mechanics treatment of the stability of globular proteins which takes explicitly into account the coupling between the protein and water degrees of freedom. This allows us to describe both the cold and the warm unfolding, thus qualitatively reproducing the known thermodynamics of proteins. Received: 19 March 1998 / Revised and Accepted: 25 May 1998     

Conformational and electronic study of dopamine interacting with the D2 dopamine receptor

We report an exhaustive conformational and electronic study on dopamine (DA) interacting with the D₂ dopamine receptor (D₂DR). For the first time, the complete surface of the conformational potential energy of the complex DA/D₂DR is reported. Such a surface was obtained through the use of QM/MM calculations. A detailed study of the molecular interactions that stabilize and destabilize the different molecular complexes was carried out using two techniques: Quantum Theory of Atoms in Molecules computations and nuclear magnetic shielding constants calculations. A comparative study of the behavior of DA in the gas phase, aqueous solution, and in the active site of D₂DR has allowed us to evaluate the degree of deformation suffered by the ligand and, therefore, analyze how rustic are the lock-key model and the induced fit theory in this case. Our results allow us to propose one of the conformations obtained as the “biologically relevant” conformation of DA when it is interacting with the D₂DR.     

天空背景下飞行器结构特征提取的新方法

针对天空背景下低信噪比的飞行器,提出了一种基于SUSAN算法、灰色系统理论和数学形态学相结合的飞行器结构特征提取的新方法。在Visual C++6.0平台下,首先利用SUSAN算法从背景中提取飞行器的结构边缘信息,并与原图像相加实现目标增强;然后用灰色系统理论检测出飞行器的结构特征边缘;最后利用条件膨胀和重构算法,实现云层的抑制,并重构出飞行器目标。实验结果表明:该方法对于实现飞行器的跟踪、结构特征提取以及事后判读有重要的意义,同时验证了该方法的可行性。     

地下化学爆炸地运动信号关联探索

分析了弹性区域中应力传播的波动方程,说明该应力传播过程可以使用线性系统模型进行描述。根据系统辨识领域的脉冲响应方法,建立了应力测点的脉冲序列与源函数和响应序列之间的关系。在此基础上,建立了各测点间应力序列之间的关联响应模型,给出了采用神经网络的自适应优化方法求解关联参数的方法,并采用某次黄土介质中化学爆炸的实验数据进行了验证。将该模型用于测点数据的预测,预测值和实测值之间的误差很小。这表明,各测点间存在与测量数据无关的客观联系,仅由实验中爆炸源、测点位置和地介质力学参数分布等所决定。     

远红外分光技术及其应用

介绍远红外光源、远红外光学材料和元件、检出器、分光装置、相关光源等，最后阐述远红外技术的各种应用。     

A Note on the KAM Theorem for Symplectic Mappings

The mapping version of Pöschel's theory on differentiable foliation structures of invariant tori is presented and the relevant estimates explicitly in terms of the diophantine constant and the nondegeneracy parameters of frequency maps are given. As a direct application of the main result, a generalization of Moser's small twist theorem to high dimensions is given.