ON SOME INTERPRETATIONS OF CLASSICAL LOGIC

In distinction from the well-known double-negation embeddings of the classical logic we consider some variants of single-negation embeddings and describe some classes of superintuitionistic first-order predicate logics in which the classical first-order calculus is interpretable in such a way. Also we find the minimal extensions of Heyting's logic in which the classical predicate logic can be embedded by means of these translations.     

关于高维系统中Poincαre—Bendixson定理的反例

本文给出了在n(n≥4)维系统中,Poincare-Bendixson定理不成立的多项式系统的反例。     

作物高产性的光合碳同化生理限制因子分析

对影响作物高产的光合作用碳同化的生理限制因子进行了分析，提出内外因子结合考虑是提高作物的光合效率和产量的关键．     

三峡库区兴山县平邑口滑坡稳定性及其工程治理研究

利用极限平衡方法,针对各种不同的库水位运行工况,对平邑口滑坡治理前后的稳定性进行了分析计算,对比分析计算结果说明了工程采用压脚回填处治措施是合理有效的.     

The semiclassical limit of a quantum Fermi accelerator

A classical Fermi accelerator model (FAM) is known to show chaotic behavior. The FAM is defined by a free particle bouncing elastically from two rigid walls, one fixed and the other oscillating periodically in time. The central aim of this paper is to connect the quantum and the classical solutions to the FAM in the semiclassical limit. This goal is accomplished using a finite inverted parametric oscillator (FIPO), confined to a box withfixed walls, as an alternative representation of the FAM. In the FIPO representation, an explicit correspondence between classical and quantum limits is accomplished using a Husimi representation of the quasienergy eigenfunctions.     

S桶空间的几个性质(Ⅱ)

讨论了S桶空间在归纳限和稠密子空间方面的一些基本性质．     

儒家"诚信"特色及其现代转化

儒家"诚信"作为具有中国特色的古典伦理形态,与现代"信用"有许多本质差异。要实现其现代转化,必须达到:由适用于"熟人"社会的特定伦理,转变为适用于"陌生人"社会的普遍伦理;由一般人伦伦理,引入经济伦理;由主观"自诚"模式,转变为契约"合意"模式;由从属于封建礼教的次要道德义务,转变为从属于"社会公正"的道德义务,并进而提升为反映现代人本质的基本道德义务。为达此转化,需要创设诸如完善市场机制、推行宪政民主、培养契约文明观念等社会文化条件。这将是一个艰难漫长的自然历史进程。     

氢原子的固有电偶极矩

用经典力学和双波量子力学计算了氢原子的固有电偶极矩。双波量子理论算得的结果在经典极限下与经典力学的结果一致。普通量子力学对氢原子Stark效应中表现出来的电偶极矩难以做出很好的解释，因为一个波函数描述的是系综而不是单个粒子。经典力学和双波量子力学可描述单个粒子的行为，对永久电偶极矩的计算和解释显得自然而合理。     

MAPLE在微积分教学中的应用

极限是微积分的重点和难点。本文简述了数学软件MAPLE在极限教学中的应用。