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.     

临床试验(Ⅱ)

在本文的第Ⅰ部份，涉及了临床试验的内涵、研究中的偏性、困难与临床试验设计的进展．第Ⅱ部份主要涉及分析中的一些重要问题，其中包括：５，生存质量的测定；６，病人的依从性； ７， Ｍｅｔａ分析．     

Influence of concentration on the activation energy for diffusion in polymer-solvent systems

The self-diffusion of benzene, toluene, and ethylbenzene in polystyrene have been analyzed using the Vrentas/Duda free-volume diffusion model. Diffusion coefficient predictions suggest an exponential concentration dependence of the activation energy required to overcome attractive forces, E. Without the use of any diffusion data approximating E as zero over the entire concentration range yields self-diffusion coefficient predictions which are in good agreement with experimental data. © 1992 John Wiley & Sons, Inc.     

On the ion exchange defects in aluminosilicate lattices

Summary Samples of synthetic leucite and boron-substituted leucite are investigated by infrared spectroscopy and spectrally resolved thermoluminescence. Evidence is obtained in favour of the assumption that point defects in aluminosilicate lattices are originated by exchanges of Si⁺⁴ and Al⁺³ ions lying in different cells.     

Morphology of Nylon-6 blends with styrenic polymers

The morphology of blends of styrenic polymers in a matrix of 75% Nylon-6 prepared in a Brabender Plasti-Corder was examined by scanning electron microscopy. Styrene/acrylonitrile copolymers (SAN) form smaller particles as the AN level increases owing to the corresponding decrease in the SAN–polyamide interfacial tension. Various styrenic polymers containing functional groups, maleic anhydride or oxazoline type, that can react with Nylon-6 during melt processing were added to the SAN phase which also led to a decrease in the particle size owing to the graft copolymer formed in situ. The effects of functional group type, amount of functional groups per chain, amount of functional polymer added, and the miscibility of the styrene/maleic anhydride (SMA) and SAN copolymers on the morphology of the styrenic phase in the Nylon-6 matrix are described. © 1992 John Wiley & Sons, Inc.     

TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II

We proved in the first part [1] that plane geometry over Pythagorean fields is axiomatizable by quantifier-free axioms in a language with three individual constants, one binary and three ternary operation symbols. In this paper we prove that two of these operation symbols are superfluous.     

从数学解题看数学美

本论述了“教学好玩”(陈省身语)的五个方面；教学语言精确；教学发现(类比发现；归纳发现和直党发现)；教学解题思路；教学思想方法和数学应用都体现了教学关。     

Exact solutions and geometric phase factor of time-dependent three-generator quantum systems

There exist a number of typical and interesting systems and/or models, which possess three-generator Lie-algebraic structure, in atomic physics, quantum optics, nuclear physics and laser physics. The well-known fact that all simple 3-generator algebras are either isomorphic to the algebra sl (2, C) or to one of its real forms enables us to treat these time-dependent quantum systems in a unified way. By making use of both the Lewis-Riesenfeld invariant theory and the invariant-related unitary transformation formulation, the present paper obtains exact solutions of the time-dependent Schr?dinger equations governing various three-generator Lie-algebraic quantum systems. For some quantum systems whose time-dependent Hamiltonians have no quasialgebraic structures, it is shown that the exact solutions can also be obtained by working in a sub-Hilbert-space corresponding to a particular eigenvalue of the conserved generator (i.e., the time-independent invariant that commutes with the time-dependent Hamiltonian). The topological property of geometric phase factors and its adiabatic limit in time-dependent systems is briefly discussed. Received 6 July 2002 / Received in final form 21 October 2002 Published online 11 February 2003     

一个在水稻胚胎中差异表达基因的分离鉴定

通过筛选水稻开花后48～50h的原胚和120～122h的分化胚的cDNA文库,得到一个在胚胎发育过程中表达有差异的克隆,命名为OsEES,测序结果显示OsEES含有一个预测的亚精氨合成酶结构域,编码一个大小约38×103(pI6.5)的蛋白.同时RNA原位杂交的结果显示开花48～50h的原胚中的信号强度明显大于开花120～122h的分化胚,表明OsEES可能在水稻胚胎发生过程中起到一定的调控作用.