Decision methods for linearly ordered Heyting algebras

The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.     

H原子与CO2分子碰撞的化学反应与能量转移

用时间分辨傅立叶红外发射光谱的方法对H原子与CO2分子的碰撞动力学进行了实验研究．用紫外激光光解的方法分别制备出三个不同平动能为174．7、241．0和306．2 kJ／mol的氢原子,并引发H CO2→OH CO反应．观察到了反应的产物,即振动激发的CO (v≤2)．同时也看到了在H原子与CO2分子的碰撞中发生高效的T- V能量转移．CO2的反对称伸缩模的最高振动能级为v=4．化学反应与能量转移的速率之比大约为10．     

F+H2→HF+H反应的全量子态分辨的散射动力学研究

利用高灵敏度的氢原子里德堡飞渡时间谱方法研究了 F H_2→HF H 反应碰撞能在5.02kJ/mol 下的交叉分子束反应态态散射动力学.所有在时间飞渡谱中被观测到的谱峰可以归属为 HF 产物的振转态结构.还观测到了明显的 HF(v’=3)前向散射,以及少许的 HF(v’=2)前向散射.     

随机动力系统的进展和问题

本文主要介绍随机动力系统的主要成果和进一步研究的问题。     

Effect of Finite Spectral Width on the Modulational Instability of Langmuir Waves described by a Nonlinear Schrödinger Equation

By using the two-point space correlation function an equation for the power spectral density for a random Langmuir field has been derived. The dispersion relation for a monochromatic wave is regained for a delta spectrum. For a Gaussian spectrum, the maximum growth rate is less than that for a monochromatic wave. For a “meander spectrum”, the growth rate is increased with the width of the spectrum in the first stage then decreased for further increase of the width.     

Pullback attractors for non-autonomous 2D-Navier–Stokes equations in some unbounded domains

In this Note we first introduce the concept of pullback asymptotic compactness. Next, we establish a result ensuring the existence of a pullback attractor for a non-autonomous dynamical system under the general assumptions of pullback asymptotic compactness and the existence of a pullback absorbing family of sets. Finally, we prove the existence of a pullback attractor for a non-autonomous 2D Navier–Stokes model in an unbounded domain, a case in which the theory of uniform attractors does not work since the non-autonomous term is quite general. To cite this article: T. Caraballo et al., C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

The complexification and degree of a semi-algebraic set

The complexification of a semi-algebraic set is the smallest complex algebraic set containing S. Let S be defined by s polynomials of degrees less than d. We prove that the geometric degree of the complexification is less than . Received: 9 January 1997; in final form: 11 August 2000 / Published online: 17 May 2001     

聚乙炔的CH面外振动红外光谱研究

采用从头计算方法，计算了反式和顺式聚乙炔的氢原子在垂直于聚乙炔分子面方向振动的红外光谱，计算表明，Gibson等用红外吸收实验所测得的谱线的确是聚乙炔的CH面外振动产生的谱线，经100℃长时间加热后，顺式聚乙炔变为反式聚炔，但波数为740cm^-1的谱级仍保留5％的强度。     

广义Hénon映射的滑模变结构控制同步

基于可线性化的非线性离散变结构跟踪控制方法实现了广义Hénon映射混沌系统的同步.广义Hénon映射的混沌吸引子比Hénon映射的混沌吸引子要复杂得多,对于保密通信来说,这种复杂性正是所期望的.提出的同步方法允许参数有适当的失配程度,这对工程实现是非常有利的,理论分析和仿真结果证实了该方法的有效性 关键词： 广义Hénon映射 混沌 同步 变结构控制